Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 2934911607] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1744 geometric_solution 5.44078361 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.460353566840 0.184776531777 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.166292869476 0.241317884168 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.873069786853 0.501491474418 2 5 6 4 0132 0132 0132 2031 0 0 0 0 0 1 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475812340207 0.571228801553 6 3 2 5 1023 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475812340207 0.571228801553 5 3 4 5 3201 0132 0132 2310 0 0 0 0 0 -1 0 1 -1 0 1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.086617857991 0.920476456568 6 4 6 3 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476266938859 0.740638853877 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 37 Groebner basis: [ t + 3954836382256381469441593687900127044710254243715123426751072571912\ 9491718795895042140318/21932602492451710346321889039344144365691775\ 845750060903028281517917665035155829209267*c_0101_5^36 - 3190710334502320397630027193711611261257754579920690375550330816717\ 3184388845361170291863/21932602492451710346321889039344144365691775\ 845750060903028281517917665035155829209267*c_0101_5^35 - 1391939494597509703012244933614233869637418813686812580258142315857\ 082932554660671203014448/219326024924517103463218890393441443656917\ 75845750060903028281517917665035155829209267*c_0101_5^34 + 1431875087312273291681295954923047551677308622470499288404648514224\ 091771367462378564182396/219326024924517103463218890393441443656917\ 75845750060903028281517917665035155829209267*c_0101_5^33 + 1753600480102450777318540493659750617460469732223618733973951177725\ 6704227220562190517330579/21932602492451710346321889039344144365691\ 775845750060903028281517917665035155829209267*c_0101_5^32 - 1609032397707056601410962068185153142649287233934416652193483148229\ 2015917999520882115646049/21932602492451710346321889039344144365691\ 775845750060903028281517917665035155829209267*c_0101_5^31 - 1159030053387311459823160347145083181870345025546023649934489749258\ 73868791040335492567917915/2193260249245171034632188903934414436569\ 1775845750060903028281517917665035155829209267*c_0101_5^30 + 6352523181311765626161686068120185820484823934264020395150758759564\ 1118196841193399499660606/21932602492451710346321889039344144365691\ 775845750060903028281517917665035155829209267*c_0101_5^29 + 4183071517604998276556878897733803525834904377700180620632525305092\ 11341927042447798608431381/2193260249245171034632188903934414436569\ 1775845750060903028281517917665035155829209267*c_0101_5^28 - 9108517996745718101559182852556924914409926194219717588682185986526\ 5399233661291088755142922/21932602492451710346321889039344144365691\ 775845750060903028281517917665035155829209267*c_0101_5^27 - 9446387896776826759434476167982862115401032928348991609810934527682\ 27038970979443006901161917/2193260249245171034632188903934414436569\ 1775845750060903028281517917665035155829209267*c_0101_5^26 + 1694681359541959730018783398046230289987628896728985906376652988032\ 97233440259538310619284922/2193260249245171034632188903934414436569\ 1775845750060903028281517917665035155829209267*c_0101_5^25 + 3524148012890075322660580024606613609336360646382948440562964537798\ 66986099919170815349052163/3133228927493101478045984148477734909384\ 539406535722986146897359702523576450832744181*c_0101_5^24 - 5273634641019141954951696992645932014214229812093326345370017474137\ 22888939628157694500400770/2193260249245171034632188903934414436569\ 1775845750060903028281517917665035155829209267*c_0101_5^23 - 8577814254612646358554798467315843105597640051831413861048822270803\ 309652752289899418426787435/219326024924517103463218890393441443656\ 91775845750060903028281517917665035155829209267*c_0101_5^22 - 7771073083451311682134825046718546506518572661976384573584774532366\ 89858119654366212406880941/2193260249245171034632188903934414436569\ 1775845750060903028281517917665035155829209267*c_0101_5^21 + 2306583580243164098653877306390820062193855104504901628830995926658\ 7874657942342496585753015780/21932602492451710346321889039344144365\ 691775845750060903028281517917665035155829209267*c_0101_5^20 + 8332914811301348346614263716746686489892500933453420511576894332304\ 308331600488321412607773755/219326024924517103463218890393441443656\ 91775845750060903028281517917665035155829209267*c_0101_5^19 - 4026987927240961983737402689622422348616943752025555283093053761751\ 8973617982437134139098964871/21932602492451710346321889039344144365\ 691775845750060903028281517917665035155829209267*c_0101_5^18 - 2054872041101969461055760896349047232086286494913129775237662074180\ 8246708742405774707431502835/21932602492451710346321889039344144365\ 691775845750060903028281517917665035155829209267*c_0101_5^17 + 4592786007414675816015794271380581822784404702211547022569788600485\ 4646339473547902246670751128/21932602492451710346321889039344144365\ 691775845750060903028281517917665035155829209267*c_0101_5^16 + 3708096540785267996685842275564838479613642505856259118447278653857\ 118780883124984730001461361/313322892749310147804598414847773490938\ 4539406535722986146897359702523576450832744181*c_0101_5^15 - 3576689365232706966514258255037585879950667699450353845027560622663\ 4807578676267056248453631632/21932602492451710346321889039344144365\ 691775845750060903028281517917665035155829209267*c_0101_5^14 - 1946524343322113762173760342958045563940944896605260497737667939284\ 3651511682262180834486665348/21932602492451710346321889039344144365\ 691775845750060903028281517917665035155829209267*c_0101_5^13 + 2836408992684502255137864182382844232645054850585111019018778640116\ 147558771468949779929080637/313322892749310147804598414847773490938\ 4539406535722986146897359702523576450832744181*c_0101_5^12 + 9126118157561012309285400999086371786846417699163176139996199684833\ 823572328367810349086904917/219326024924517103463218890393441443656\ 91775845750060903028281517917665035155829209267*c_0101_5^11 - 8082876555854714985655691785779034736770684289643057053985391120731\ 710199843798003627193408018/219326024924517103463218890393441443656\ 91775845750060903028281517917665035155829209267*c_0101_5^10 - 2705586532296124783147459702751024751550443117796889445484939554522\ 082198262697619785665259465/219326024924517103463218890393441443656\ 91775845750060903028281517917665035155829209267*c_0101_5^9 + 2429403617932478555826157341330140261719679846397031552733720832388\ 010774237533906788748783689/219326024924517103463218890393441443656\ 91775845750060903028281517917665035155829209267*c_0101_5^8 + 4981875615177354232768817481682068039700343708097513148910347228655\ 42308706580329143458094931/2193260249245171034632188903934414436569\ 1775845750060903028281517917665035155829209267*c_0101_5^7 - 5260274002677477497471876625686728202087452083617740931929682896332\ 61549188889299150731360773/2193260249245171034632188903934414436569\ 1775845750060903028281517917665035155829209267*c_0101_5^6 - 5308455779253209453446486171879849999321135015562754212603455386006\ 2945581340872887413102417/21932602492451710346321889039344144365691\ 775845750060903028281517917665035155829209267*c_0101_5^5 + 1082727565891101773708156062301867455908197712732859776808257823014\ 0268898812036212892117904/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^4 + 2395274821514992841684192256516685885604915775799981628387430727606\ 002022573810074735527501/219326024924517103463218890393441443656917\ 75845750060903028281517917665035155829209267*c_0101_5^3 - 5947283381277279157034375883340981981421875859867406391020329362638\ 573263191464046159599798/219326024924517103463218890393441443656917\ 75845750060903028281517917665035155829209267*c_0101_5^2 - 2156031557030980391970304186784905949117342853040850042579436398518\ 2763735475111902675168/21932602492451710346321889039344144365691775\ 845750060903028281517917665035155829209267*c_0101_5 + 1740149523960943467544847233472290968256544304607531288707309726295\ 18591363540361702952861/2193260249245171034632188903934414436569177\ 5845750060903028281517917665035155829209267, c_0011_0 - 1, c_0011_1 - 512432362430682231967390021395559804712219592307689108388639\ 92081295104974894617454614/3133228927493101478045984148477734909384\ 539406535722986146897359702523576450832744181*c_0101_5^36 + 3214390758601290788343868560255542923049747263575810296396151490252\ 7822985153324675859/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5^35 + 1803730611442806152650892502970776368580013561046997102797886887740\ 307641390825498985607/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^34 - 1531352170034968979112904525082545369882224117034025369554896177226\ 652406373978477750432/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^33 - 2279933836135706694225499740495454807759233301898692783999713858540\ 8744704185300313454416/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^32 + 1670641529851764736653345956871760602688632471816809693938404868565\ 2125809860196013355165/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^31 + 1506498026660953564076192770029229854347161519332188605546678223056\ 72962395439950418358353/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^30 - 5494647028836466198622386802624525415685369354857811192413513224019\ 6430955573203078996950/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^29 - 5351324834422406328939250411690767178171713630995744491949023112169\ 28661962235743205901862/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^28 + 2587766206999913233780511739644116589024420736958518842831482369603\ 6342783644034446231708/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^27 + 1171916452432652142294561367184937996625974256026597134257765488208\ 951932374773027364818418/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^26 - 3999480536206974150025764957487144929677378640377803995265434757736\ 0831416809106740437233/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^25 - 3091988251499726338080861446255503527519101958153935412670135741415\ 782076423918072412843233/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^24 + 1904815654448985262989630958075314891847032495200416310201103135327\ 69286653492210969760939/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^23 + 1084427603134085691466243978526311343844067873377975918266953022408\ 9087452007536164081504108/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^22 + 2792821224884224485896894745250330136297432311315479855135133447826\ 137645613938976720386031/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^21 - 2828627259278494178939201566550907376273138695449878979345193337173\ 0222220594143124392078505/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^20 - 1491480119472002552410280574614289325908787793985781122709143397615\ 4430395768048918668427475/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^19 + 4694399025723347590149757687130303023644224443784361826143107387029\ 9546314705590028716636649/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^18 + 3188599472905776677532807770015364223194149618018289682920850343447\ 5560764711084639414126645/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^17 - 5044882655363734375311650405254619644131986429062823901156796937805\ 7604083824627579995703469/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^16 - 3715899171875915983503449445995318601315809645336407010544000947942\ 3333555439355912675814397/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^15 + 3732278496650262560716339605082790207673319433266746386976021024315\ 6229738629333319945723014/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^14 + 2635769575602284620369622026700964379226258017054232518112022781792\ 9368407529390115084128552/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^13 - 2012297721030254772568142017800411927024780879808608350525372400076\ 0115562912908609880749101/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^12 - 1194322965151882879810346516489874684706621364933663458650657763083\ 4392047650869274516523178/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^11 + 8157723495813582234401796077176566250244025919764462996060277880221\ 885551498868114674755827/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^10 + 3513648076511587935102521815289480769021546163676256406255893143291\ 354298216139616979340330/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^9 - 2475394406279877112537786243254631530690145602871169941150648467610\ 516735954929634830202987/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^8 - 6654639183915600297982558248884563057635150336440864736983004049670\ 71973528803982976710616/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^7 + 5400694764910911240109897982360935085056740593464103420602176943495\ 13056147010424757398480/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^6 + 7653876953552656031200448321381088418449312921006085779337995983109\ 5178811583403885830420/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^5 - 7776164412611049509180789602032012821724237704677464230463892468490\ 0311248637844296060475/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^4 - 4177081574124999496731827848182300020484666739842494317024502264035\ 467653276838725000316/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^3 + 6064921807753530041934239652064822166490532192419640423096035029630\ 827180176718161570953/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^2 + 7241462825336567800292665508369361395045596136477216725552245205993\ 1585529621039013743/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5 - 1776049225060731777122698894666784902819171322857276870275663333385\ 71067817365058806307/3133228927493101478045984148477734909384539406\ 535722986146897359702523576450832744181, c_0011_4 - 405859306088352124679347588920903797773700159476894314107827\ 43123342854162161508648796/3133228927493101478045984148477734909384\ 539406535722986146897359702523576450832744181*c_0101_5^36 + 2679313002928038980454625381725483588751653087551282199438544428044\ 8394631807254834448/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5^35 + 1429165511621557996542598697180506511340484651561906790046568705062\ 737662762799543032102/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^34 - 1259182068144754814261570698767355471495510149248535646453932250198\ 633188954918975185688/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^33 - 1806692973222328384184051976105117536344436923186628555174559076917\ 0437432543600077277220/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^32 + 1381354471028207291547197007424384097080239856335002157843106254208\ 6315520623442004979547/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^31 + 1195119716651004637458930155818383213680269111819932624220652996073\ 99601759183825753468195/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^30 - 4720996572594902742492123305982289482768741547606834746936907934733\ 3595472878575796477293/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^29 - 4265034095441386349429214598190137297049882401357742170619643209080\ 26405704516587766569499/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^28 + 3140936717817139580992395293211474953557327119375087950100657664443\ 1969162525184353571401/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^27 + 9403326132891461755753157337104162300210968418684311523633273634482\ 67112584556050643275062/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^26 - 4805958205906941601226390673828892922338475652832994319419871813746\ 5770677371129759342618/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^25 - 2469241751693667201947068602679111578128430250735487017253030599472\ 567942107273691291147590/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^24 + 2049360423685655628835736058296535163501477635068937142735642511079\ 02099082497063145512408/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^23 + 8648070937128964414255452176472974024860884108322604323209523342268\ 431813444504683688279070/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^22 + 2002340954126060442554700220332723981247672161177588663839548383423\ 279312020122293516161382/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^21 - 2271783202284280263806840545162960338398658552635408115575243131808\ 1110164041946109700658233/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^20 - 1143864314380107093215625486489549977693434384268550622211805324660\ 6305538471714020440266706/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^19 + 3803755918014459614566904798979843496244385913822652606479674316309\ 5320242099264050691691650/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^18 + 2506579385278207752974345337896297936323759507395112126524106315106\ 1192798981879911769330859/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^17 - 4112905042573108496285673330639394926522888556895684694447365696903\ 2740255613603418417033794/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^16 - 2969785570985306673326762754263254256243935652715742815496296080632\ 0017764744053051460843585/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^15 + 3036325451430735957686002620108369278819443624066962577292768988714\ 4731317319755285021329179/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^14 + 2126579618281635193791030846699550197120601042849200344017889047705\ 8523879357350187357620125/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^13 - 1619746251843031806938917797966951529231753898546787581345659209706\ 1231063022922221687785842/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^12 - 9657526245173082824979244003258463549733489708666182197060934968269\ 180837363310400381200229/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^11 + 6476334101530262125688755915068053487341731630607154961475953093592\ 842990795663793964664482/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^10 + 2831182311320777567599775037503366409746628522890860422416960568548\ 571468396408713804421673/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^9 - 1942885578696626528992476038903572110867034343726335169661107829869\ 136191149676893947248058/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^8 - 5343153188672180945392323025989715342254668605387124440056515398070\ 20895408720871759358513/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^7 + 4194472377831897819920452589276158263275151322613752242404858902624\ 01284908487373345945351/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^6 + 6194810653885662970910507640905792185943269908243593266562389467539\ 7578862706946770197030/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^5 - 5926116320287086098292935640080429355936657232648260923511733878260\ 5282743817390729128022/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^4 - 3459453249571836951834356926380273326162624431659580233807545862751\ 465201408308406777069/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^3 + 4444458278215386784691911893032275016316239401872653011067331566724\ 343586715026878033716/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^2 + 5387913677638898441198884622669801581903918244769186113393555527549\ 8427952041414648193/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5 - 1239270379975324714387361172153023218398882556806930841302290849402\ 61665973203179560194/3133228927493101478045984148477734909384539406\ 535722986146897359702523576450832744181, c_0101_0 + 708595251619766214290028957395897226468597763869148176265981\ 8637220936965320377985846/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^36 + 3938414273652553328524250864751460163454641251758139674268206472124\ 59370662506924088/3133228927493101478045984148477734909384539406535\ 722986146897359702523576450832744181*c_0101_5^35 - 2512557858505566990019638091959428791063129276104800040390295495907\ 21245964540453381808/3133228927493101478045984148477734909384539406\ 535722986146897359702523576450832744181*c_0101_5^34 + 4028085321229529014443945420301319220164994203261051922919612819628\ 1875442851626684970/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5^33 + 3254558875798539674457221016636966899895840704631074808256669667106\ 892204098431827910816/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^32 - 1075188673106825993528630242677250665161009996017557907950266717517\ 68337957790636578953/3133228927493101478045984148477734909384539406\ 535722986146897359702523576450832744181*c_0101_5^31 - 2186132410332579555077160319659335874148402609985136429757644822696\ 5715844318991537617449/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^30 - 7194789017590198152009272532467124225735769141016320799726352212654\ 031117910716595422170/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^29 + 7545603945613253745492271179883312497062644222153125510969284002934\ 4706932955175880506943/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^28 + 4934376406004649459539792878824905750467705356611902721591052047054\ 3707203184380243283128/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^27 - 1502190519438162855042343418887585159339032309572712145500074066205\ 97574069853993394616903/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^26 - 1086301561748651342344665993375722644205648840473622143689652265230\ 43383717529491160971301/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^25 + 3971660463418890285915542300172018584967890645160117245654416348877\ 40439223609963477300143/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^24 + 2692456967853495078545206790594876076384291305151468002865659256797\ 89574998392323831766961/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^23 - 1433375405129920448809136249241935794792547860235576227185608275804\ 311003255518846890428274/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^22 - 1426704062484540865337915864906215691490590448024444631468540181116\ 341052361526350663731654/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^21 + 3359871668879228600100515253268896239145765476529508984959294742260\ 030958344721688465447504/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^20 + 4719673003529889150545342820513566881876937488125546247660515542697\ 053861855807305824857114/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^19 - 4266808363775270788436040302481742675643751116533453241667353210950\ 384463024097263117364899/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^18 - 8541350708579293237148214578988592940106728623472008544354656118468\ 278594930975147700673561/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^17 + 2479737883456617405094808273385148736518304347495752045064919688558\ 795688059344146219070865/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^16 + 9016571780181849516264741385971801631756384982579395448414900549467\ 416765243626644666634004/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^15 + 2376592047126364106364122675043328320871499989484441713884597081909\ 6480552651218129359046/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^14 - 5903176041720993295609783197841728596799055446451479667290719355043\ 915832481008177333331065/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^13 - 8864417476566981077451727494398967807009887215246723182723477812236\ 64282923181054544236167/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^12 + 2530172032314388694948757400965955682464561820635316744426214214515\ 720235745330189852450610/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^11 + 5460763856690519601322210001612725963500281601530938242365908175054\ 30170871006807879390630/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^10 - 7566160342535163219723320259778126084640088192499123563214512406872\ 60503853523913807601482/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^9 - 1725119425781290601042549770444273895011122839921123892709939233583\ 11695158532572047531779/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^8 + 1697091229420133374463883764196080956754967216713715540432499664169\ 12233821973971302134381/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^7 + 3722725281165255622847724690768806761121900133488145703513880186471\ 3835143602302500713726/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^6 - 2828059376548383889881187996731581492786869389677605404724137636424\ 9751813628599697733340/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^5 - 6494338983061692617893114872579780109691393786998116586193738016579\ 930037661231423694774/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^4 + 2800099362045717773346773440031564644598389228871752330622253144795\ 998838967552589402833/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^3 + 7414231707228122113320962164052638741450434029514034921811519597575\ 14285896803304231497/3133228927493101478045984148477734909384539406\ 535722986146897359702523576450832744181*c_0101_5^2 - 9884443373264636554474255971865807557927622773138123568388909807551\ 6142924898611918750/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5 - 2612812973999304591665233611741888044871930003697106611295029574520\ 4796920204460689653/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181, c_0101_2 + 341273147793280055060380570978387694531113510267145639417357\ 70737808132311359280197880/3133228927493101478045984148477734909384\ 539406535722986146897359702523576450832744181*c_0101_5^36 - 2064034508140620527836120871091353100121333366733347206886482732487\ 8788921481151421988/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5^35 - 1202284849685281544618769626046281487876853766208730109199396990895\ 460104568672101461024/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^34 + 9922093349847358909417759569655620683763740875824440022312465618879\ 69559683588101083993/3133228927493101478045984148477734909384539406\ 535722986146897359702523576450832744181*c_0101_5^33 + 1522582794050333755865621360062778422087022392800397841382249994155\ 1271008339522764223663/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^32 - 1076640226031788407040579891124892884970304428857505251137450688993\ 5839446060712674147214/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^31 - 1008208512898586223233634536777373733966019436395862026612802248495\ 08742640521831446012081/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^30 + 3407107756543347819860325280814099081753193737149223299052128927976\ 3349409184163394160226/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^29 + 3587342984016626183745627495778825766419305271058079631316509835205\ 13730933023870412538918/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^28 - 6897134671265337700594975480090018332768132498563510979104893823617\ 086754816290611350266/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^27 - 7849798816405094852868985732830067876887906193971181397538270851381\ 92879672397451230920958/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^26 + 6590041065516298825177256482062371691810413418268356662441159863851\ 356580400280973426/313322892749310147804598414847773490938453940653\ 5722986146897359702523576450832744181*c_0101_5^25 + 2064104531172832767725386957277362853709417514242162282308765584639\ 252172437950450771893959/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^24 - 6434627163940373871819457249309090834087416547705892894894349279598\ 7127020248343839424082/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^23 - 7242393732955199370969300091004713771451431516085462820449314105714\ 711426814417488758616882/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^22 - 2068468630412757795790491675742438401753455989712085555979577655004\ 557498702830952094676809/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^21 + 1886968702447472010922308476619922281561628260794202940205762462544\ 9145245249862299396156197/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^20 + 1056487777346450582997187030599393135031977125773719457552188825239\ 8997289146828974647656040/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^19 - 3112014571288429880969803102780791136304474421618361706462133451627\ 7537506326612931454151855/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^18 - 2247029873809082753470715070767172245586186460022415443954431348321\ 0745366286498609393044345/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^17 + 3296244349015259302326755966115034540118807516937022437362576374368\ 0638740676883062707252582/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^16 + 2620896574571587961150901522716868786534445364325059347232285343980\ 7107355246833631116921614/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^15 - 2379444240541289147403577459208258150639282519560134863335527906538\ 2483109545195664102272335/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^14 - 1858973630978245223598887584088677320341421459156701803178406490573\ 5737725901582598490958877/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^13 + 1246809018571084115281754168158515838820981303264502076178695185387\ 3815421391709673838511903/31332289274931014780459841484777349093845\ 39406535722986146897359702523576450832744181*c_0101_5^12 + 8413382263933218265001992719240055222157057352779931969973968482227\ 682575640099350496740284/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^11 - 4949555333783316395047486374514773015663745417497811101598856934068\ 829997801459892988363889/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^10 - 2482748588595896013363550993762075011737185692020563809270291724944\ 779260600805505342460837/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^9 + 1489743871518903036210906421717644182954881060453341555267373868758\ 076405654619598293977800/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^8 + 4804078544621219042963171627543013362115275224756729375988914377297\ 64282771193692014870553/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^7 - 3237369202833013440946123431462419822133322672875465290083944784967\ 67386900738947834486362/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^6 - 5902969483011343028907479964004595841349450274146881858740309886660\ 7132393926330252005789/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^5 + 4590523330023466424123690769500731670251738076938268739485085482720\ 1373603353186210803012/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^4 + 3792836350760584794378788217834063581994780478844001326296072533098\ 256035900387456116629/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^3 - 3457199077578834216049044684483156282376229562834363422986136778621\ 038619095181930192453/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^2 - 8856999615260842560669384488362520636787966418193485453952823258061\ 1534017263006050148/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5 + 1001610494402587920621882007650124515686751704924056350948422098398\ 87332462400653777151/3133228927493101478045984148477734909384539406\ 535722986146897359702523576450832744181, c_0101_3 + 373718864269747865563845522834176838127246419876268000112934\ 822586655726934236259628/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^36 - 5074625072214454939658878988228231006106925403715734919882656778507\ 221373936227378806/313322892749310147804598414847773490938453940653\ 5722986146897359702523576450832744181*c_0101_5^35 - 1190870293289422009311355456846160612324237384831988109077469032802\ 2031809923248930603/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5^34 + 1822925116049105136903694142742428675046024643866230729714162392404\ 08184529711273675422/3133228927493101478045984148477734909384539406\ 535722986146897359702523576450832744181*c_0101_5^33 + 8498872470873360261957734982052080063528771490334469235887531429463\ 7913155792717641722/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5^32 - 2315607055637892191902824843526243183481387875116640274163908581010\ 405826762160832115122/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^31 - 3320801000373884235886874591437051014328798536286746857484631724709\ 16890274053545787622/3133228927493101478045984148477734909384539406\ 535722986146897359702523576450832744181*c_0101_5^30 + 1504287981212235636181532504808941037072707502797451728752449354232\ 1418811441840894266721/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^29 + 4145390854199112176571266070660374204776769207257168487645746999496\ 674875065893994803454/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^28 - 5147942521725961773152881290605963837909519477114647584958250972136\ 3742819983378556342250/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^27 - 2549967090866442703008594541733699872766154394546185991466901153052\ 6791621728078431754244/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^26 + 1073500268781375136219229161595073366649409199064293068129580404933\ 79304514088921307782417/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^25 + 6062914440818236852130000952114354885024684435135723722562995614422\ 6705826359262554726254/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^24 - 2839293052561051110995211817386476639160924009743766045472959624439\ 49220221463218129129032/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^23 - 1697291027868287029531400995086926577723933782526543733667178250811\ 72779561241865986620987/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^22 + 9839877559677507582129307273650925288801481135498567275487309995934\ 92069482552889010656769/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^21 + 8529316573669949245097366008873810352476510631834006054915333155055\ 10993220464460405698683/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^20 - 2374616999502166045805211864191061576124478664461634617008988019788\ 162262370541301315924637/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^19 - 2731358269350161548782334566828272140418782260835887002147878768201\ 750083348519044786177575/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^18 + 3422068053874683836177697353798147939728677322644942476170264910636\ 710617835674233144395800/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^17 + 4913192235623371731672558864018068213671803244228229129931945221829\ 656865912206003043079611/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^16 - 2910709873095239366601206518322731916536378939560414227534967450125\ 579672385438966167699579/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^15 - 5240025941990930967317498851727020511199384922361664902409906320098\ 625576853378708199168152/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^14 + 1510556588100685627090218854385964793510805749679308586009048428560\ 524200110588584873757089/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^13 + 3509103210185309263338953373239231742196680395196227366284448845085\ 228796680885785798034134/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^12 - 5313937642172857897373935616688670993227644369427760468605362407217\ 88979778920799759410230/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^11 - 1544916594432234580335036752331929522155851130657756720986466526122\ 463621915348085370818355/313322892749310147804598414847773490938453\ 9406535722986146897359702523576450832744181*c_0101_5^10 + 1649205141626301222215771159354939711359913960788352673293340930628\ 98553294395373359510043/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^9 + 4661188544761866856673333277218336311233306486833418114784963391453\ 73433607388612013104821/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^8 - 5283093815969847396707583615968360054194293590764307037319641143999\ 1382693826573459978723/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^7 - 1000931777250562940096449943077638850002240635170025132900384521116\ 17139314959587258121220/3133228927493101478045984148477734909384539\ 406535722986146897359702523576450832744181*c_0101_5^6 + 1287749734844598995549695621073986922717986719989910865746868586151\ 6140478744298829860834/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^5 + 1508519786645375386494598064603042800529074057831134950034988724435\ 1844832408781591262539/31332289274931014780459841484777349093845394\ 06535722986146897359702523576450832744181*c_0101_5^4 - 1657814447569032538279863674392881611401002409229581089141533275296\ 696481970161343830910/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^3 - 1344101511924946753300507663209473475221905029177953708567877581841\ 501096781342105055786/313322892749310147804598414847773490938453940\ 6535722986146897359702523576450832744181*c_0101_5^2 + 6747401914235822475472047959198868926839107943839876543626201217870\ 5148134235836419709/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181*c_0101_5 + 4660997586831547054339102587506223617116501414425188894028385149938\ 0896867061082033168/31332289274931014780459841484777349093845394065\ 35722986146897359702523576450832744181, c_0101_5^37 - c_0101_5^36 - 35*c_0101_5^35 + 43*c_0101_5^34 + 435*c_0101_5^33 - 492*c_0101_5^32 - 2834*c_0101_5^31 + 2168*c_0101_5^30 + 10147*c_0101_5^29 - 4360*c_0101_5^28 - 23030*c_0101_5^27 + 9070*c_0101_5^26 + 60720*c_0101_5^25 - 25733*c_0101_5^24 - 212081*c_0101_5^23 + 23138*c_0101_5^22 + 579002*c_0101_5^21 + 92114*c_0101_5^20 - 1039738*c_0101_5^19 - 302422*c_0101_5^18 + 1234891*c_0101_5^17 + 395280*c_0101_5^16 - 1009383*c_0101_5^15 - 279754*c_0101_5^14 + 585996*c_0101_5^13 + 109730*c_0101_5^12 - 244733*c_0101_5^11 - 18896*c_0101_5^10 + 73137*c_0101_5^9 - 2127*c_0101_5^8 - 15246*c_0101_5^7 + 1797*c_0101_5^6 + 2067*c_0101_5^5 - 386*c_0101_5^4 - 149*c_0101_5^3 + 34*c_0101_5^2 + 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB