Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 1747580079] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0420 geometric_solution 4.47799909 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721273572517 0.051045135808 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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.485963732787 0.171736975827 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 0 0 0 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 0 0 0 -1 0 0 1 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.618327737065 3.550559239278 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 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 0 0 0 -0.218535850533 0.509401332034 5 5 3 6 1230 3012 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.274586057312 1.174549558696 4 4 6 3 1230 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 1 -1 -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 0 0 0 1.274586057312 1.174549558696 5 6 4 6 2310 1302 0132 2031 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380636460906 0.616305202964 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 6160824872798040752579592585958611831034889175822383781858779385809\ 8950867207375326183071896274076447016673/21856063796481172964663779\ 7426246783873840745215227007020515998612740747199809518367993917674\ 39248619633792*c_0101_5^27 + 36029942665147196084454103933008727905\ 4383602129347184818130961063029215467583379534567341990511496859808\ 687/218560637964811729646637797426246783873840745215227007020515998\ 61274074719980951836799391767439248619633792*c_0101_5^26 + 7922603222019826173170190796963862912764968686570023242970391710935\ 47486649489905568690922240252773458744147/2732007974560146620582972\ 4678280847984230093151903375877564499826592593399976189795999239709\ 29906077454224*c_0101_5^25 - 17531989359630922519128426828556471941\ 6638092374553651245444775574541618388281040721013716820629664758996\ 03869/5464015949120293241165944935656169596846018630380675175512899\ 965318518679995237959199847941859812154908448*c_0101_5^24 - 7423130929412418630952533340413196628411939655783199178218122184956\ 1345001140441159075879645643384462198498071/21856063796481172964663\ 7797426246783873840745215227007020515998612740747199809518367993917\ 67439248619633792*c_0101_5^23 - 19394373727476216119258533534199959\ 0942970490000927107225377201871065527834184753256930238052794901169\ 94275043/1092803189824058648233188987131233919369203726076135035102\ 5799930637037359990475918399695883719624309816896*c_0101_5^22 + 1786117444124154875570438288642832316728583738994089058067454967171\ 8523597554952651517945276530175839902295554661/21856063796481172964\ 6637797426246783873840745215227007020515998612740747199809518367993\ 91767439248619633792*c_0101_5^21 + 3814604459125058222395876672380923119572829535475040253898578799943\ 677140247717216135137691798441993685105244379/109280318982405864823\ 3188987131233919369203726076135035102579993063703735999047591839969\ 5883719624309816896*c_0101_5^20 + 416308470606149993814487694363024\ 6484632147073154907748171025637691271906900335306057341062834122388\ 5024402085745/21856063796481172964663779742624678387384074521522700\ 702051599861274074719980951836799391767439248619633792*c_0101_5^19 - 3164412581196490905638135047672021523630227769809824599540399209607\ 036665573891715658042957344278656157099731283/136600398728007331029\ 1486233914042399211504657595168793878224991329629669998809489799961\ 985464953038727112*c_0101_5^18 - 1736700909151901027220156455460964\ 6378225055084119544239595511194979750193918589007696160367105402311\ 5471255017767/21856063796481172964663779742624678387384074521522700\ 702051599861274074719980951836799391767439248619633792*c_0101_5^17 + 2118641326961566907704464743362522168532470138448843665301140170865\ 17424972033491810793626750049493599642441949827/2185606379648117296\ 4663779742624678387384074521522700702051599861274074719980951836799\ 391767439248619633792*c_0101_5^16 + 2858973297472427944822260726103635162901735055919125388900251288232\ 4361375578047922425947696368265684815305871155/10928031898240586482\ 3318898713123391936920372607613503510257999306370373599904759183996\ 95883719624309816896*c_0101_5^15 - 2059990155864421227556670167454078363653805113654775881864597007808\ 79405161482482186167166751334206472896364441417/1092803189824058648\ 2331889871312339193692037260761350351025799930637037359990475918399\ 695883719624309816896*c_0101_5^14 + 2021485043690637528306091077502665136898365193765183980081081814907\ 8092431664257786035775737537821190651791499311/54640159491202932411\ 6594493565616959684601863038067517551289996531851867999523795919984\ 7941859812154908448*c_0101_5^13 + 204548395031689032820794189647731\ 0377103991263217626070884155984381464304722951045525137387798182751\ 05881946848643/1092803189824058648233188987131233919369203726076135\ 0351025799930637037359990475918399695883719624309816896*c_0101_5^12 - 17774462841104516054811842417971411952400568523556193286681965149\ 210501642059049650659951790718994024803498704949/109280318982405864\ 8233188987131233919369203726076135035102579993063703735999047591839\ 9695883719624309816896*c_0101_5^11 - 1444725379633040419055115056661552796150802626678572917781831861624\ 65173006378305601451327913473256200476426348135/1092803189824058648\ 2331889871312339193692037260761350351025799930637037359990475918399\ 695883719624309816896*c_0101_5^10 + 6645494086133210205993155916747220681429214754238488512406520172312\ 992401830982614825997976096159993191896179037/109280318982405864823\ 3188987131233919369203726076135035102579993063703735999047591839969\ 5883719624309816896*c_0101_5^9 + 2014976328395347762875654063548461\ 3049713709128324079684351567646633668829051098550320817254801972466\ 100300295905/273200797456014662058297246782808479842300931519033758\ 7756449982659259339997618979599923970929906077454224*c_0101_5^8 - 1668608766882314723657500029002537118866658156984338994081186330845\ 870575985739965219308761979738094874619264629/136600398728007331029\ 1486233914042399211504657595168793878224991329629669998809489799961\ 985464953038727112*c_0101_5^7 - 58318664163602712455772620787956683\ 0686108804688019522262207993982810402729595923947120122272156303795\ 50329841293/2185606379648117296466377974262467838738407452152270070\ 2051599861274074719980951836799391767439248619633792*c_0101_5^6 + 4416922334548570774653336431957178761466993783179645953430134096543\ 32627812888755339680990509779700356458486377/6830019936400366551457\ 4311695702119960575232879758439693911249566481483499940474489998099\ 2732476519363556*c_0101_5^5 + 2915569389139090831475650309049637196\ 8534519843238574490044118437819709794844367166005096849484189524913\ 16923877/5464015949120293241165944935656169596846018630380675175512\ 899965318518679995237959199847941859812154908448*c_0101_5^4 - 2988823979831674409445953378939882669726123609530776791978459118161\ 12129859247907382754648133339379756807651899/2732007974560146620582\ 9724678280847984230093151903375877564499826592593399976189795999239\ 70929906077454224*c_0101_5^3 - 377877220928639164564421810930551568\ 3321713530636558753529854484171479483239893799797983199949789840609\ 3174431/68300199364003665514574311695702119960575232879758439693911\ 2495664814834999404744899980992732476519363556*c_0101_5^2 + 3623620511113433056895781094395228775705195196280127519773868490579\ 375831698615799342812699020074848949819227/683001993640036655145743\ 1169570211996057523287975843969391124956648148349994047448999809927\ 32476519363556*c_0101_5 + 74185546715638870348984732946372590348180\ 9545653304333990247104014334791266609500502869942943209756354321775\ /341500996820018327572871558478510599802876164398792198469556247832\ 407417499702372449990496366238259681778, c_0011_0 - 1, c_0011_4 + 434179887705092748412476418189025702381735274685039897212982\ 8319980289697199309516533913566974401163725/91447965675653443366794\ 0575005216668928203954875426807617221751517743712133094219112945262\ 23595182508928*c_0101_5^27 - 61846267491150370468467733073030301040\ 09076797255476143058620892276638691475551403377361833095594646009/2\ 2861991418913360841698514375130416723205098871885670190430543787943\ 592803327355477823631555898795627232*c_0101_5^26 - 2249966247292327645121290853936156454568882463575755854046409049864\ 93055052951608443630227948389085674461/4572398283782672168339702875\ 0260833446410197743771340380861087575887185606654710955647263111797\ 591254464*c_0101_5^25 + 2436211794167839681493316040071807499394433\ 846854577921811005418742033413529960230540552308365427377972763/457\ 2398283782672168339702875026083344641019774377134038086108757588718\ 5606654710955647263111797591254464*c_0101_5^24 + 5921932935339352799581622480365859590744799570278520880108405634667\ 266440869790988888265517733446790953897/914479656756534433667940575\ 0052166689282039548754268076172217515177437121330942191129452622359\ 5182508928*c_0101_5^23 + 405333214865160293697083062230033604757780\ 6493192182491769663783123692055076779380577274657476564195094093/91\ 4479656756534433667940575005216668928203954875426807617221751517743\ 71213309421911294526223595182508928*c_0101_5^22 - 7858609516636010654372747721000446337541852427926913559876810640735\ 5939793633267870825001394769404677636387/57154978547283402104246285\ 9378260418080127471797141754760763594698589820083183886945590788897\ 4698906808*c_0101_5^21 - 181526048964125437985304807841929801929085\ 758106023603836600420142465525932297968788978070032168345547717107/\ 2286199141891336084169851437513041672320509887188567019043054378794\ 3592803327355477823631555898795627232*c_0101_5^20 - 3159005972110878780857707932507239955588124845747194950690389322118\ 780779171515493899634357832281424753128201/914479656756534433667940\ 5750052166689282039548754268076172217515177437121330942191129452622\ 3595182508928*c_0101_5^19 + 296644527145753705502832113495525222574\ 9448332295561922396375674754261400619190205589401866709855144961111\ 829/914479656756534433667940575005216668928203954875426807617221751\ 51774371213309421911294526223595182508928*c_0101_5^18 + 3852758631839710663260776898615705615154878998660726963237983885798\ 42892088224981651128933664338091491668377/2857748927364170105212314\ 2968913020904006373589857087738038179734929491004159194347279539444\ 87349453404*c_0101_5^17 - 12984918877118973043967454430377057533358\ 0998182615123807709088312066200277617046788805077097611702120109841\ 33/9144796567565344336679405750052166689282039548754268076172217515\ 1774371213309421911294526223595182508928*c_0101_5^16 - 4798589586193778486288264933375110527895375117590351549042431381820\ 718348061096131575081628438346624643945693/914479656756534433667940\ 5750052166689282039548754268076172217515177437121330942191129452622\ 3595182508928*c_0101_5^15 + 277168994400561389875938613288025573280\ 0494900098726828771005767966488457889240270524608831742514893068561\ 3809/91447965675653443366794057500521666892820395487542680761722175\ 151774371213309421911294526223595182508928*c_0101_5^14 - 2272752584809274365931262515794015071686754443295602583262008612423\ 846385458264118873857346369539548717515795/914479656756534433667940\ 5750052166689282039548754268076172217515177437121330942191129452622\ 3595182508928*c_0101_5^13 - 269866803605752795653645636464012969656\ 1433910083746165170537151556695308492248677603205760534149399747923\ 1413/91447965675653443366794057500521666892820395487542680761722175\ 151774371213309421911294526223595182508928*c_0101_5^12 - 6553141210014432463780792160221750367177231351722389407955116036558\ 37825250888288622604225814303822610225987/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^11 + 1823350377389241246363374229015667478026\ 1391259285785820684238029439158318214885001853378253012708671130157\ 555/914479656756534433667940575005216668928203954875426807617221751\ 51774371213309421911294526223595182508928*c_0101_5^10 + 7222913871387496741410316094398435874284709440282674959602761933427\ 20105761109346477601276594077331309083185/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^9 - 10124675623502148015675198737990777498042\ 2877872008976252861328719566774443203864713178092990795477953087665\ 91/9144796567565344336679405750052166689282039548754268076172217515\ 1774371213309421911294526223595182508928*c_0101_5^8 + 9887914489033259174189373316760151223100780285927431322189172345257\ 94544064622829943212137423773034388932533/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^7 + 18232029553003665789204549978818776695566\ 6979434116695944748659446000305715994804886343195984693331123491990\ 1/45723982837826721683397028750260833446410197743771340380861087575\ 887185606654710955647263111797591254464*c_0101_5^6 - 2067897413703766090806720557757112427088857694105630390238811590078\ 0187444283477515371022230514781928907695/28577489273641701052123142\ 9689130209040063735898570877380381797349294910041591943472795394448\ 7349453404*c_0101_5^5 - 8688840003134486400611563376822165669339804\ 3628220927796714972837558232110596516773135860963812963282358305/11\ 4309957094566804208492571875652083616025494359428350952152718939717\ 96401663677738911815777949397813616*c_0101_5^4 + 3589982536476144374493840841002779419001986376447501978993683618172\ 521771710407682164572867155022236409669/285774892736417010521231429\ 6891302090400637358985708773803817973492949100415919434727953944487\ 349453404*c_0101_5^3 + 20349122757383736765629630847123915969717276\ 04354175145993044758053621173247692810773792029708891242943937/2857\ 7489273641701052123142968913020904006373589857087738038179734929491\ 00415919434727953944487349453404*c_0101_5^2 - 8981728832575645314511236627340107188108578569853408609086379559793\ 2168075611108764526652821628483315963/14288744636820850526061571484\ 4565104520031867949285438690190898674647455020795971736397697224367\ 4726702*c_0101_5 - 179946405891697483634637715838453795310922652632\ 61436034166025834331146120416528978426347284163248145095/7144372318\ 4104252630307857422282552260015933974642719345095449337323727510397\ 9858681988486121837363351, c_0011_6 - 137783190195851378730035154189258321973135723535354357844901\ 3927737456299384726500062836258101034940425/91447965675653443366794\ 0575005216668928203954875426807617221751517743712133094219112945262\ 23595182508928*c_0101_5^27 + 19985516470002855197657754680157530415\ 69086129609712445549262172778351048181803254949294760679505593729/2\ 2861991418913360841698514375130416723205098871885670190430543787943\ 592803327355477823631555898795627232*c_0101_5^26 + 7102468596551886052556797656482275958356244777225483866488742224827\ 6957381380223895170710365495106741969/45723982837826721683397028750\ 2608334464101977437713403808610875758871856066547109556472631117975\ 91254464*c_0101_5^25 - 78072478687152943739672657486763809074306693\ 5473889236753458534031632116619684233640719594959418931641583/45723\ 9828378267216833970287502608334464101977437713403808610875758871856\ 06654710955647263111797591254464*c_0101_5^24 - 1725148765281498804659312511695521126940412747656951521353811978836\ 961502805306951819923251156165507077685/914479656756534433667940575\ 0052166689282039548754268076172217515177437121330942191129452622359\ 5182508928*c_0101_5^23 - 101993215174964997564350054496437319347032\ 1463570367943174342119549781626531134701108419332857022277111481/91\ 4479656756534433667940575005216668928203954875426807617221751517743\ 71213309421911294526223595182508928*c_0101_5^22 + 2495525300725579151780485500787895735954836564984630722107617948548\ 3376298202020371096201021596556197827829/57154978547283402104246285\ 9378260418080127471797141754760763594698589820083183886945590788897\ 4698906808*c_0101_5^21 + 472400414089705694017159102866844093048739\ 27476570762611349782842713267001007866977293456387009392613313203/2\ 2861991418913360841698514375130416723205098871885670190430543787943\ 592803327355477823631555898795627232*c_0101_5^20 + 9592885683401091727240371356275611974656439459683005578683874217416\ 78712312274991632447599271783828788696149/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^19 - 1068320259136467049918838717785472421819\ 0384479267036811861096509717457834296058261825159659753667626519075\ 53/9144796567565344336679405750052166689282039548754268076172217515\ 1774371213309421911294526223595182508928*c_0101_5^18 - 1211235407146765750430107167818702502196757645552193613395579447150\ 62550148351474365681096593354297723037593/2857748927364170105212314\ 2968913020904006373589857087738038179734929491004159194347279539444\ 87349453404*c_0101_5^17 + 45379304763529118265336115321095569794341\ 5656474214697587195362405353264164715182548614840313874646920552027\ 3/91447965675653443366794057500521666892820395487542680761722175151\ 774371213309421911294526223595182508928*c_0101_5^16 + 1287435081226454795782308462031087660772242108146125005149148587807\ 081293456225355358117125201796628509066089/914479656756534433667940\ 5750052166689282039548754268076172217515177437121330942191129452622\ 3595182508928*c_0101_5^15 - 903770917448875562084745904842199774101\ 3619552533983913123924802522009656553610111797854433887785889447630\ 141/914479656756534433667940575005216668928203954875426807617221751\ 51774371213309421911294526223595182508928*c_0101_5^14 + 1515720401187578460854295628245859556070882393975716684862890551295\ 814435714500798606931033547941417905466391/914479656756534433667940\ 5750052166689282039548754268076172217515177437121330942191129452622\ 3595182508928*c_0101_5^13 + 883699768107692961482413131505086781861\ 2444819448450503416272199787974724688946525627537790357223897359584\ 305/914479656756534433667940575005216668928203954875426807617221751\ 51774371213309421911294526223595182508928*c_0101_5^12 - 5107886937610443009672225497591932221034956458706427906939462687044\ 11560028057631130725483908215689504315129/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^11 - 6116577574620491236822643483457418759295\ 1776018051707535643423294662976761751288998891723134840359522285186\ 47/9144796567565344336679405750052166689282039548754268076172217515\ 1774371213309421911294526223595182508928*c_0101_5^10 + 1743805010899033716432463314415858849361730590687984389252273419691\ 65322593052424381270329853979230044112803/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^9 + 33991400778905956468244516087694931884841\ 8964988441431292816647967863041983476541286185428312625668290322273\ 9/91447965675653443366794057500521666892820395487542680761722175151\ 774371213309421911294526223595182508928*c_0101_5^8 - 5366990948790948605834168319275912710341280048783011755808272788049\ 19782685242704229721746699277139569407793/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^7 - 60667228880975326971743202534713461291984\ 3646324355238420132969391745191940498301294093363973429414402029417\ /457239828378267216833970287502608334464101977437713403808610875758\ 87185606654710955647263111797591254464*c_0101_5^6 + 1812006078123074318635972948188516524793097353097409104532707944168\ 6004539995284896174520146401216113113175/57154978547283402104246285\ 9378260418080127471797141754760763594698589820083183886945590788897\ 4698906808*c_0101_5^5 + 2881154727858284956720251906661909820849261\ 0316657249580183692962489668839782759328364337581110272436082761/11\ 4309957094566804208492571875652083616025494359428350952152718939717\ 96401663677738911815777949397813616*c_0101_5^4 - 1522564379956679481395036577148093178816876005220596117939008710588\ 376889445802202691370092228627468250203/285774892736417010521231429\ 6891302090400637358985708773803817973492949100415919434727953944487\ 349453404*c_0101_5^3 - 68130772355664864461651287977098785374814116\ 3600782621593610854102488832302791381679808351813852504798489/28577\ 4892736417010521231429689130209040063735898570877380381797349294910\ 0415919434727953944487349453404*c_0101_5^2 + 3774997473000479258785001848530867536049199031356052201287591390893\ 7265805920802694910292550350647996495/14288744636820850526061571484\ 4565104520031867949285438690190898674647455020795971736397697224367\ 4726702*c_0101_5 + 637643017066573344985941057090485699917551830742\ 7429081330402984262420757740768414459190378977602582167/71443723184\ 1042526303078574222825522600159339746427193450954493373237275103979\ 858681988486121837363351, c_0101_0 + 454558485435549662428466939997882715442365775528923849240483\ 103700376821820018454424580485956590955819/914479656756534433667940\ 5750052166689282039548754268076172217515177437121330942191129452622\ 3595182508928*c_0101_5^27 - 123902148869787593847221757919718667062\ 0650183445110522977169420068840630702665244904427986525821598573/45\ 7239828378267216833970287502608334464101977437713403808610875758871\ 85606654710955647263111797591254464*c_0101_5^26 - 2389684377309768476655461996455887413137081079523128635028888436512\ 7591813417753840442850783686880785885/45723982837826721683397028750\ 2608334464101977437713403808610875758871856066547109556472631117975\ 91254464*c_0101_5^25 + 24938685471977431055481980110948316400594320\ 3518292155070375321255977683469241969285746548322931570083111/45723\ 9828378267216833970287502608334464101977437713403808610875758871856\ 06654710955647263111797591254464*c_0101_5^24 + 7501493414746792583715735620806058250721864114268368784437198161377\ 49685379212237893377525607200365427171/9144796567565344336679405750\ 0521666892820395487542680761722175151774371213309421911294526223595\ 182508928*c_0101_5^23 + 5262383239916206784183296745093830656561754\ 73809202556595948363308292694719467120059121223211387063082413/9144\ 7965675653443366794057500521666892820395487542680761722175151774371\ 213309421911294526223595182508928*c_0101_5^22 - 6579273710422694695536878745776838117791865859904620678698969377282\ 0560403517038884019747128306136704471989/45723982837826721683397028\ 7502608334464101977437713403808610875758871856066547109556472631117\ 97591254464*c_0101_5^21 - 13559550032693087842079453999612423832031\ 543119513525989726332228681524509760555889530455011808919215321517/\ 1143099570945668042084925718756520836160254943594283509521527189397\ 1796401663677738911815777949397813616*c_0101_5^20 - 3365490367185310915975193550095617220557284926361970059034046213217\ 30009270432628099841916834917786475273535/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^19 + 2343092740398115060219603615390404188638\ 4631806831875830449427453605726541777176723736093313199715322027087\ 3/91447965675653443366794057500521666892820395487542680761722175151\ 774371213309421911294526223595182508928*c_0101_5^18 + 7011965531319672366184432386794673119581545113486562904788015856752\ 94983344130498246994020902463657754808191/4572398283782672168339702\ 8750260833446410197743771340380861087575887185606654710955647263111\ 797591254464*c_0101_5^17 - 1073844897592746851092273031425123312113\ 1842717132128920570503946526874850233505295125177189878569736386145\ 51/9144796567565344336679405750052166689282039548754268076172217515\ 1774371213309421911294526223595182508928*c_0101_5^16 - 9450581655442499818770666080889833283121891810658745967496944431658\ 27673936416136749562101922365982688670949/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^15 + 2930433504658049676008420624689768006739\ 9130064165235337015665506359531224647118644926084749673541757311068\ 17/9144796567565344336679405750052166689282039548754268076172217515\ 1774371213309421911294526223595182508928*c_0101_5^14 + 4663987085110299784592031642575043284855501169911318877955989555536\ 92449676935100634157015974584379409285641/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^13 - 3151952738505143601800725191606335498867\ 0092339359060456619470315847227627861850673984970404633830785204335\ 25/9144796567565344336679405750052166689282039548754268076172217515\ 1774371213309421911294526223595182508928*c_0101_5^12 - 6799591461932086857538101716294447170618766335208053145498220869097\ 26575498648591512923361678920556523614603/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^11 + 2092721137303403144122750336329913390981\ 4985474249861054341455934952631691919699959305674149597742596583583\ 31/9144796567565344336679405750052166689282039548754268076172217515\ 1774371213309421911294526223595182508928*c_0101_5^10 + 4857136749177969317912676935491521696787035911025082094219104403731\ 31615752828410617628285073659299890598209/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^9 - 11786495864518217549930215774647673017791\ 2901317953685792255715237155806512153942458927615910698437442171151\ 5/91447965675653443366794057500521666892820395487542680761722175151\ 774371213309421911294526223595182508928*c_0101_5^8 - 1122358106166950467434365384023344802558664515878347079877662382529\ 24075483408121055671170280479364721147143/9144796567565344336679405\ 7500521666892820395487542680761722175151774371213309421911294526223\ 595182508928*c_0101_5^7 + 12096024308407537038391619958787389598259\ 2367932762178570412088779516317853902900945172273627649450269935897\ /228619914189133608416985143751304167232050988718856701904305437879\ 43592803327355477823631555898795627232*c_0101_5^6 - 7179682994595519904136550647816827799200543562609583052515511382317\ 56223913270923059391350797306328296565/5715497854728340210424628593\ 7826041808012747179714175476076359469858982008318388694559078889746\ 98906808*c_0101_5^5 - 136801217440564970007724763024116449501222786\ 95190794001444962003756981054156224853156577926849411081665585/1143\ 0995709456680420849257187565208361602549435942835095215271893971796\ 401663677738911815777949397813616*c_0101_5^4 + 1269771195034124184855071561670785350632982839686900991280307727632\ 90630399989540120461477884569027812591/1428874463682085052606157148\ 4456510452003186794928543869019089867464745502079597173639769722436\ 74726702*c_0101_5^3 + 352982865956154409639353635229903043408986014\ 703164891054453123892367504045910756082105140696688232351693/285774\ 8927364170105212314296891302090400637358985708773803817973492949100\ 415919434727953944487349453404*c_0101_5^2 - 1539410759988797714399609059829574638902331042206910864662080996512\ 0975237754573150259491604262954341753/14288744636820850526061571484\ 4565104520031867949285438690190898674647455020795971736397697224367\ 4726702*c_0101_5 - 315799753615750360029246451203432343669277882981\ 9827124551438381045456000046995353557024269302720965541/71443723184\ 1042526303078574222825522600159339746427193450954493373237275103979\ 858681988486121837363351, c_0101_1 + 276242143691886439502200260290173971519263581254815380282704\ 2760309564804150043550903222798560449152119/45723982837826721683397\ 0287502608334464101977437713403808610875758871856066547109556472631\ 11797591254464*c_0101_5^27 - 81037131148287083754782186741428746037\ 13176691594723030694185924962015575972495743430793765396468966301/2\ 2861991418913360841698514375130416723205098871885670190430543787943\ 592803327355477823631555898795627232*c_0101_5^26 - 1420171599051185013779850063277408599515361872786385556756034436126\ 69266785589252810460660166655648183473/2286199141891336084169851437\ 5130416723205098871885670190430543787943592803327355477823631555898\ 795627232*c_0101_5^25 + 1575310008132451398791026079296089290314543\ 845085142300863233877438840652619485537982059431172345477732049/228\ 6199141891336084169851437513041672320509887188567019043054378794359\ 2803327355477823631555898795627232*c_0101_5^24 + 3284640271325273673812533908879122249224763147940311500463287349426\ 351005600534825355155619600036538278439/457239828378267216833970287\ 5026083344641019774377134038086108757588718560665471095564726311179\ 7591254464*c_0101_5^23 + 151194406686577589827585700489724959327624\ 0945359151293334825591398289493843952242673461914814600774830705/45\ 7239828378267216833970287502608334464101977437713403808610875758871\ 85606654710955647263111797591254464*c_0101_5^22 - 4005650799557061522506474223785686694870204722390108026439299202585\ 42183068883446803582025278555432210361721/2286199141891336084169851\ 4375130416723205098871885670190430543787943592803327355477823631555\ 898795627232*c_0101_5^21 - 8179475841240667799379045163123034368782\ 9323751804003542983639843238584068072542311255632099596062976103015\ /114309957094566804208492571875652083616025494359428350952152718939\ 71796401663677738911815777949397813616*c_0101_5^20 - 1817105755534522747773953959777561591085566121610689151609073422798\ 444669690279543464548005002082602170114839/457239828378267216833970\ 2875026083344641019774377134038086108757588718560665471095564726311\ 1797591254464*c_0101_5^19 + 233789443275995353618847382849082826076\ 3566558447498832268858312978376077591440738399813930032540277518621\ 069/457239828378267216833970287502608334464101977437713403808610875\ 75887185606654710955647263111797591254464*c_0101_5^18 + 3933674345228786233067880036007056789939703663977978147117965498101\ 000645495250080960469018069773224527332583/228619914189133608416985\ 1437513041672320509887188567019043054378794359280332735547782363155\ 5898795627232*c_0101_5^17 - 971946136022819018273312592473925981195\ 6843597678826981862283767925089526164243566990380751298235080024315\ 855/457239828378267216833970287502608334464101977437713403808610875\ 75887185606654710955647263111797591254464*c_0101_5^16 - 2794526317167874787176104564432550608264602292564940308220866714634\ 303828603742463035757802420999122200984205/457239828378267216833970\ 2875026083344641019774377134038086108757588718560665471095564726311\ 1797591254464*c_0101_5^15 + 188835399031199944521738717908790470014\ 1436930210574980597743384603644862640010810413333065247397101431048\ 6165/45723982837826721683397028750260833446410197743771340380861087\ 575887185606654710955647263111797591254464*c_0101_5^14 - 3830585731236706240547319675519279162484554195172591648185892564297\ 738619360158359066315486444800095933897399/457239828378267216833970\ 2875026083344641019774377134038086108757588718560665471095564726311\ 1797591254464*c_0101_5^13 - 191338744808442341230921530281964246713\ 1538099256151290912418795012546054478807307706932374478825855255870\ 9957/45723982837826721683397028750260833446410197743771340380861087\ 575887185606654710955647263111797591254464*c_0101_5^12 + 1900464650334802998248959609612430276441278740140594515647610376244\ 928802134799471859452466512729229924771333/457239828378267216833970\ 2875026083344641019774377134038086108757588718560665471095564726311\ 1797591254464*c_0101_5^11 + 136708846028291338121286677581621683107\ 7845693378153711490850497765973323125265011546253784392138610552338\ 5683/45723982837826721683397028750260833446410197743771340380861087\ 575887185606654710955647263111797591254464*c_0101_5^10 - 7079922688205994578891786266236953257320401499675341050761630663496\ 87542255990665056552769656663907505708343/4572398283782672168339702\ 8750260833446410197743771340380861087575887185606654710955647263111\ 797591254464*c_0101_5^9 - 76718155177956868783451941360659672399305\ 3386270660848172376455553569896641209936023482459784776285329107034\ 7/45723982837826721683397028750260833446410197743771340380861087575\ 887185606654710955647263111797591254464*c_0101_5^8 + 1263552076192224177380667779297363438539713309450904432521366938356\ 545740425861831135355841611194984613273521/457239828378267216833970\ 2875026083344641019774377134038086108757588718560665471095564726311\ 1797591254464*c_0101_5^7 + 8874271101121246678714721382704258422624\ 6530383174413554225464650280294460483447793155140221201302836046495\ /142887446368208505260615714844565104520031867949285438690190898674\ 6474550207959717363976972243674726702*c_0101_5^6 - 1728680200107960056742152161827700624478949494704913323749208594611\ 46826988362309998754278426336803199478611/1143099570945668042084925\ 7187565208361602549435942835095215271893971796401663677738911815777\ 949397813616*c_0101_5^5 - 14729585229969331246625883743924659212572\ 5711381723787768560246369104499712057303799696326243032781259835609\ /114309957094566804208492571875652083616025494359428350952152718939\ 71796401663677738911815777949397813616*c_0101_5^4 + 7887971780761001755935914874021717711508217251057937521819948835586\ 896788903353655861531439525972722694171/285774892736417010521231429\ 6891302090400637358985708773803817973492949100415919434727953944487\ 349453404*c_0101_5^3 + 38907890213245550858711138371907616780610338\ 57850519851676913883071269406298838600055645090408086546037585/2857\ 7489273641701052123142968913020904006373589857087738038179734929491\ 00415919434727953944487349453404*c_0101_5^2 - 2125565844074524456180771792176329190874724861897481179741935632888\ 28603087668781001198182742966911536505/1428874463682085052606157148\ 4456510452003186794928543869019089867464745502079597173639769722436\ 74726702*c_0101_5 - 38196920779640388790503350160009362888769712280\ 403352975999362213450320528604183843818152574906718459309/714437231\ 8410425263030785742228255226001593397464271934509544933732372751039\ 79858681988486121837363351, c_0101_2 - 446715403485565597621643853418448833274757801304027937298074\ 01392551814591996941948740806179902232045/2286199141891336084169851\ 4375130416723205098871885670190430543787943592803327355477823631555\ 898795627232*c_0101_5^27 + 5198932192020720666964099911400043933529\ 75668567194373733893637805357214001705951495019880463197502577/4572\ 3982837826721683397028750260833446410197743771340380861087575887185\ 606654710955647263111797591254464*c_0101_5^26 + 2305901177728956997670032432979890442587056129043101285201283330642\ 501918619541340053843590668330323161/114309957094566804208492571875\ 6520836160254943594283509521527189397179640166367773891181577794939\ 7813616*c_0101_5^25 - 507615027242761676538387746231669720042305663\ 71004323839205643082398370630749761709816810674693732772201/2286199\ 1418913360841698514375130416723205098871885670190430543787943592803\ 327355477823631555898795627232*c_0101_5^24 - 2809924605062953802880527495086406856502743471689483041068002059095\ 3431692753367704943226975788201351999/11430995709456680420849257187\ 5652083616025494359428350952152718939717964016636777389118157779493\ 97813616*c_0101_5^23 - 40736649194317655367370207012035217404067340\ 684547447022634837159604024623895475592613643918239653216533/457239\ 8283782672168339702875026083344641019774377134038086108757588718560\ 6654710955647263111797591254464*c_0101_5^22 + 2592762832535182862638316281728848181892941884660835862082769652112\ 6118470047816676069798204614024193532645/45723982837826721683397028\ 7502608334464101977437713403808610875758871856066547109556472631117\ 97591254464*c_0101_5^21 + 14804246296951529930465115079498368046900\ 88071277251701782276669772797111185140320869652193337120359203507/5\ 7154978547283402104246285937826041808012747179714175476076359469858\ 98200831838869455907888974698906808*c_0101_5^20 + 2789033409173773325563955191366898243478247871882462114683707129115\ 6542573699527995019092968539457469819105/22861991418913360841698514\ 3751304167232050988718856701904305437879435928033273554778236315558\ 98795627232*c_0101_5^19 - 75647311290319793937618974987029051064548\ 895149052331654797325705055225896035780584131455132265144566298383/\ 4572398283782672168339702875026083344641019774377134038086108757588\ 7185606654710955647263111797591254464*c_0101_5^18 - 2678086484324549144871279226555534942544546066969223572180219950994\ 60554651390930430869653506089614259397571/4572398283782672168339702\ 8750260833446410197743771340380861087575887185606654710955647263111\ 797591254464*c_0101_5^17 + 1538677001419644966425484613197496941364\ 0772675858942132743697352521014959888753398269681880195832379677521\ 7/22861991418913360841698514375130416723205098871885670190430543787\ 943592803327355477823631555898795627232*c_0101_5^16 + 1405054820326814358757435016210236264124546009776252911361595399541\ 76605489005815563329629707405418626018213/4572398283782672168339702\ 8750260833446410197743771340380861087575887185606654710955647263111\ 797591254464*c_0101_5^15 - 6340553542834432896514663190732268343409\ 8781320450306549277047092043187510704984892909962725787664450871945\ 5/45723982837826721683397028750260833446410197743771340380861087575\ 887185606654710955647263111797591254464*c_0101_5^14 + 7759154621751195132158878240817589674362966307899015375483057410686\ 0442052851473514013707409854713858984339/45723982837826721683397028\ 7502608334464101977437713403808610875758871856066547109556472631117\ 97591254464*c_0101_5^13 + 69721917943688934055730442232246226140160\ 9032686923833750559931451815277763011223674583912965074934400722523\ /457239828378267216833970287502608334464101977437713403808610875758\ 87185606654710955647263111797591254464*c_0101_5^12 - 2388839778389444937816202482525184996046064343859854803057163354846\ 5508470624219993070826664678434206213851/45723982837826721683397028\ 7502608334464101977437713403808610875758871856066547109556472631117\ 97591254464*c_0101_5^11 - 51324658157124551510133962517008960926079\ 5980662502107639828293752113901677472786211900405137272586381795829\ /457239828378267216833970287502608334464101977437713403808610875758\ 87185606654710955647263111797591254464*c_0101_5^10 - 1315268454833267469365898510829819193738436028255919612000533680688\ 0476999996558044662520194519041706455555/45723982837826721683397028\ 7502608334464101977437713403808610875758871856066547109556472631117\ 97591254464*c_0101_5^9 + 290084770028706727580620046769076478007296\ 782471590933023141549588809382517535397468951725183401861109025331/\ 4572398283782672168339702875026083344641019774377134038086108757588\ 7185606654710955647263111797591254464*c_0101_5^8 - 2104637543827835537118893014611853188549536579765879299242489704261\ 0890016680065181170560723372628058797701/45723982837826721683397028\ 7502608334464101977437713403808610875758871856066547109556472631117\ 97591254464*c_0101_5^7 - 116676907822256338132344520498537519649456\ 552797035299326098578774400268170945962581055959107370266461559107/\ 4572398283782672168339702875026083344641019774377134038086108757588\ 7185606654710955647263111797591254464*c_0101_5^6 + 8852928716716499976386801460725725645706039733238563065552564026812\ 639068227071181862516100543429546635009/228619914189133608416985143\ 7513041672320509887188567019043054378794359280332735547782363155589\ 8795627232*c_0101_5^5 + 7075629193936121815560017334744761926683323\ 332795142183640053389246816403076800341143761083489955574747181/114\ 3099570945668042084925718756520836160254943594283509521527189397179\ 6401663677738911815777949397813616*c_0101_5^4 - 2464560202743164542363622513793941130552814519808766960791876957241\ 59911714243427320889539910104304166567/2857748927364170105212314296\ 8913020904006373589857087738038179734929491004159194347279539444873\ 49453404*c_0101_5^3 - 214839844611013043529714630822074905997743603\ 343039735752353130815665074490874927780938470933065557902635/285774\ 8927364170105212314296891302090400637358985708773803817973492949100\ 415919434727953944487349453404*c_0101_5^2 + 1054482074818484884195401147828293139120739702238413872580009163325\ 6121456377476578013293534337946534547/14288744636820850526061571484\ 4565104520031867949285438690190898674647455020795971736397697224367\ 4726702*c_0101_5 + 230380950237863301155366759832872375528383533863\ 1789194054522793860911269887333058745328450384280890729/71443723184\ 1042526303078574222825522600159339746427193450954493373237275103979\ 858681988486121837363351, c_0101_5^28 - 6*c_0101_5^27 - 102*c_0101_5^26 + 1154*c_0101_5^25 + 1033*c_0101_5^24 + 431*c_0101_5^23 - 289982*c_0101_5^22 - 79784*c_0101_5^21 - 653877*c_0101_5^20 + 914819*c_0101_5^19 + 2693178*c_0101_5^18 - 3905733*c_0101_5^17 - 416463*c_0101_5^16 + 6968211*c_0101_5^15 - 2409613*c_0101_5^14 - 6549239*c_0101_5^13 + 1816679*c_0101_5^12 + 4680729*c_0101_5^11 - 1128037*c_0101_5^10 - 2666505*c_0101_5^9 + 951571*c_0101_5^8 + 926116*c_0101_5^7 - 442256*c_0101_5^6 - 162240*c_0101_5^5 + 91024*c_0101_5^4 + 13184*c_0101_5^3 - 8128*c_0101_5^2 - 384*c_0101_5 + 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB