Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 2564359260] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0432 geometric_solution 4.48546909 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 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 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.722630398270 0.088358760803 0 0 2 2 0132 3201 2310 0132 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 0 -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.831198331588 0.454611986526 3 1 1 3 0132 3201 0132 1023 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 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 1.164417757877 0.286982837693 2 4 5 2 0132 0132 0132 1023 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 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.645926639143 0.496206629644 6 3 5 5 0132 0132 1302 2031 0 0 0 0 0 0 0 0 1 0 -1 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 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 0.438918242349 0.398802724428 4 4 6 3 2031 1302 0132 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.438918242349 0.398802724428 4 6 6 5 0132 1230 3012 0132 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 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 0 0 0.751984126988 1.133951798456 ==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_2']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 347327265225380505860658395512770882137073918143/618795506130387995\ 5914697349946197626922297827*c_0101_6^26 - 568325725573428205762972424585844946452716169603/618795506130387995\ 5914697349946197626922297827*c_0101_6^25 - 6512873251587884729055796489494638882465140608581/61879550613038799\ 55914697349946197626922297827*c_0101_6^24 + 10247011335619054421886500208915775550003875335007/6187955061303879\ 955914697349946197626922297827*c_0101_6^23 + 51579513096378653411919470654210474134574794369989/6187955061303879\ 955914697349946197626922297827*c_0101_6^22 - 77021156679916978647164414172859586319928045347316/6187955061303879\ 955914697349946197626922297827*c_0101_6^21 - 251831029657104967971182576141910210384723403103727/618795506130387\ 9955914697349946197626922297827*c_0101_6^20 + 312287221015356900450377068985052572396447650713515/618795506130387\ 9955914697349946197626922297827*c_0101_6^19 + 805586250042915541056835980721742316364743981580751/618795506130387\ 9955914697349946197626922297827*c_0101_6^18 - 786451434317417451494531536592776041409820035867731/618795506130387\ 9955914697349946197626922297827*c_0101_6^17 - 1455436598051597290059995534996097702307308795421653/61879550613038\ 79955914697349946197626922297827*c_0101_6^16 + 1338842792113475353509979682072634407921947809225660/61879550613038\ 79955914697349946197626922297827*c_0101_6^15 + 1471661684316897673190626349383128941513505167397881/61879550613038\ 79955914697349946197626922297827*c_0101_6^14 - 1523469927727703384622727131268641873813081519912580/61879550613038\ 79955914697349946197626922297827*c_0101_6^13 - 1487705984321236611286869795789941577173673975661684/61879550613038\ 79955914697349946197626922297827*c_0101_6^12 + 879439400272476365745002436525933890051367508440599/618795506130387\ 9955914697349946197626922297827*c_0101_6^11 + 1122235416069090094973115387799072254481675856419232/61879550613038\ 79955914697349946197626922297827*c_0101_6^10 - 1153988470086824930674846963110711846077432947545980/61879550613038\ 79955914697349946197626922297827*c_0101_6^9 - 572463718466734945594623586923698418995530149421134/618795506130387\ 9955914697349946197626922297827*c_0101_6^8 + 1019588217767058498631668662703006802388526800845787/61879550613038\ 79955914697349946197626922297827*c_0101_6^7 + 12334626682640439171095300021065799986247033903425/6187955061303879\ 955914697349946197626922297827*c_0101_6^6 - 243333004563523597625885464730291982595816332099303/618795506130387\ 9955914697349946197626922297827*c_0101_6^5 + 126324569519708640933213213451106761566433923497852/618795506130387\ 9955914697349946197626922297827*c_0101_6^4 + 55834439138284122947830856312242773341601365934628/6187955061303879\ 955914697349946197626922297827*c_0101_6^3 - 9147012691130248732589097850736231595265297627775/61879550613038799\ 55914697349946197626922297827*c_0101_6^2 - 10150932240449825565396462027758471030616709633568/6187955061303879\ 955914697349946197626922297827*c_0101_6 - 4069806783810250922063494513126203073473560721380/61879550613038799\ 55914697349946197626922297827, c_0011_0 - 1, c_0011_2 + 16738175431644400223876673098058800706466021/618795506130387\ 9955914697349946197626922297827*c_0101_6^26 + 112983946172361285124206879916124803100287827/618795506130387995591\ 4697349946197626922297827*c_0101_6^25 - 670012015312028190250837304563418727326358907/618795506130387995591\ 4697349946197626922297827*c_0101_6^24 - 1877167672607316260708011126897659402646313070/61879550613038799559\ 14697349946197626922297827*c_0101_6^23 + 8849776227472525099966890283750528433362853173/61879550613038799559\ 14697349946197626922297827*c_0101_6^22 + 12523524473246390853569360611997447334127492486/6187955061303879955\ 914697349946197626922297827*c_0101_6^21 - 59415297236417464449515953464430711898999697335/6187955061303879955\ 914697349946197626922297827*c_0101_6^20 - 53070173572307681790713492895567770474920902969/6187955061303879955\ 914697349946197626922297827*c_0101_6^19 + 237432840856032532722972419015495212486094314259/618795506130387995\ 5914697349946197626922297827*c_0101_6^18 + 152599879902158401626662167069369957899526766834/618795506130387995\ 5914697349946197626922297827*c_0101_6^17 - 600818482094369478901354019748355440751965772823/618795506130387995\ 5914697349946197626922297827*c_0101_6^16 - 185413927636983520252424756773433941200470754042/618795506130387995\ 5914697349946197626922297827*c_0101_6^15 + 927074862457847666634537221834370407745828211393/618795506130387995\ 5914697349946197626922297827*c_0101_6^14 - 1275380668323782057205348259520970978728317829/61879550613038799559\ 14697349946197626922297827*c_0101_6^13 - 880685272433723948438137826241010578358161003193/618795506130387995\ 5914697349946197626922297827*c_0101_6^12 - 78982265426396174284498524414886667668188762122/6187955061303879955\ 914697349946197626922297827*c_0101_6^11 + 635607134372381614172652983621883861694058012760/618795506130387995\ 5914697349946197626922297827*c_0101_6^10 + 134882557883880637670621811504465293787753908174/618795506130387995\ 5914697349946197626922297827*c_0101_6^9 - 664632003305840949270296373839881941857406885702/618795506130387995\ 5914697349946197626922297827*c_0101_6^8 + 214565992043957941904940490499482914419323227660/618795506130387995\ 5914697349946197626922297827*c_0101_6^7 + 346171633539102416418334404608438807800017307020/618795506130387995\ 5914697349946197626922297827*c_0101_6^6 - 234367695438122043632935954349354325190621090975/618795506130387995\ 5914697349946197626922297827*c_0101_6^5 + 32016378695065845385255519741180808410940633412/6187955061303879955\ 914697349946197626922297827*c_0101_6^4 + 11195096161404542315333281865591370883532008921/6187955061303879955\ 914697349946197626922297827*c_0101_6^3 - 484423135279097771134214252944784331408955350/618795506130387995591\ 4697349946197626922297827*c_0101_6^2 - 1385963103630796315530520282072674529094063912/61879550613038799559\ 14697349946197626922297827*c_0101_6 - 2058761776260986113628787289414007808033080152/61879550613038799559\ 14697349946197626922297827, c_0011_5 + 259123935169334318478104101042812836262174006/61879550613038\ 79955914697349946197626922297827*c_0101_6^26 - 428401955440634371515986548591171180503062471/618795506130387995591\ 4697349946197626922297827*c_0101_6^25 - 4839497134088969387175187912708512376702386904/61879550613038799559\ 14697349946197626922297827*c_0101_6^24 + 7699921420714872989569168956171857079134107483/61879550613038799559\ 14697349946197626922297827*c_0101_6^23 + 38126164098111668153051431511059500686345067082/6187955061303879955\ 914697349946197626922297827*c_0101_6^22 - 57587373916512941277824228778456787530213291360/6187955061303879955\ 914697349946197626922297827*c_0101_6^21 - 185191099676954785807910677818618339298904313723/618795506130387995\ 5914697349946197626922297827*c_0101_6^20 + 231853149227977360401643406931782378890001635622/618795506130387995\ 5914697349946197626922297827*c_0101_6^19 + 589204768501350992357662161919925040244040240360/618795506130387995\ 5914697349946197626922297827*c_0101_6^18 - 576777017285388432803275947397831021053529160543/618795506130387995\ 5914697349946197626922297827*c_0101_6^17 - 1052288608518836336927686429087996418555443346258/61879550613038799\ 55914697349946197626922297827*c_0101_6^16 + 955853481071838376569891576893176095756993135082/618795506130387995\ 5914697349946197626922297827*c_0101_6^15 + 1042821688662880266606547849350499373320537347349/61879550613038799\ 55914697349946197626922297827*c_0101_6^14 - 1030568892781724494289397844768866603362831582522/61879550613038799\ 55914697349946197626922297827*c_0101_6^13 - 1067932614370007014746678833076744799277656093698/61879550613038799\ 55914697349946197626922297827*c_0101_6^12 + 514783712812451648766292815065862714055449654544/618795506130387995\ 5914697349946197626922297827*c_0101_6^11 + 820164052929754862747904573384271231419332256165/618795506130387995\ 5914697349946197626922297827*c_0101_6^10 - 742122883270740625481528097251711819925603416897/618795506130387995\ 5914697349946197626922297827*c_0101_6^9 - 396446569487216981959473661109374600288076010159/618795506130387995\ 5914697349946197626922297827*c_0101_6^8 + 635851008002986099513323150623644699115938304601/618795506130387995\ 5914697349946197626922297827*c_0101_6^7 - 15292058132474465172212473298066762470676440315/6187955061303879955\ 914697349946197626922297827*c_0101_6^6 - 74348096137850824497031024700044782958600190012/6187955061303879955\ 914697349946197626922297827*c_0101_6^5 + 59470928287480876882875446169978521919268141873/6187955061303879955\ 914697349946197626922297827*c_0101_6^4 + 3179494745830140085849684663076592042156777979/61879550613038799559\ 14697349946197626922297827*c_0101_6^3 + 14206013517213484467922986911189085001331379934/6187955061303879955\ 914697349946197626922297827*c_0101_6^2 - 4826635308386173379125098295888050658338469659/61879550613038799559\ 14697349946197626922297827*c_0101_6 - 1220496201091574329926758911500147318050180174/61879550613038799559\ 14697349946197626922297827, c_0101_0 + 56815895476204707185828735259387690287805898/618795506130387\ 9955914697349946197626922297827*c_0101_6^26 - 622523985527769542473863870712208604471736965/618795506130387995591\ 4697349946197626922297827*c_0101_6^25 + 94886408275158637433744580052240691479383540/6187955061303879955914\ 697349946197626922297827*c_0101_6^24 + 10989612084234435894802891119660083097192058239/6187955061303879955\ 914697349946197626922297827*c_0101_6^23 - 12386587993113911374776724148588405150829864342/6187955061303879955\ 914697349946197626922297827*c_0101_6^22 - 80231650578790676203157220954214297963599718047/6187955061303879955\ 914697349946197626922297827*c_0101_6^21 + 114384703075716857293842243289994910251920196029/618795506130387995\ 5914697349946197626922297827*c_0101_6^20 + 353407155845687643323098575934320145860580287298/618795506130387995\ 5914697349946197626922297827*c_0101_6^19 - 516882556621936327214766303086761452199708276711/618795506130387995\ 5914697349946197626922297827*c_0101_6^18 - 1021782408826202184132578794403979265019226154291/61879550613038799\ 55914697349946197626922297827*c_0101_6^17 + 1475419404025985723439850241895907409211824925966/61879550613038799\ 55914697349946197626922297827*c_0101_6^16 + 1573630499575323869099647529427665638017569471452/61879550613038799\ 55914697349946197626922297827*c_0101_6^15 - 2594630141348863417082918862861814421996196485440/61879550613038799\ 55914697349946197626922297827*c_0101_6^14 - 1101601383220999899937302669231975690755170820997/61879550613038799\ 55914697349946197626922297827*c_0101_6^13 + 2614135270258182452488304540568249006110241792915/61879550613038799\ 55914697349946197626922297827*c_0101_6^12 + 1058305067517028656674690963764915238937387662570/61879550613038799\ 55914697349946197626922297827*c_0101_6^11 - 1722412694092349679729288562485871359318107622045/61879550613038799\ 55914697349946197626922297827*c_0101_6^10 - 1076445265300597993624141330791750252501854332035/61879550613038799\ 55914697349946197626922297827*c_0101_6^9 + 2148598133884693468315551694616040311783065070784/61879550613038799\ 55914697349946197626922297827*c_0101_6^8 - 17619135926284867025689402703212475783681745529/6187955061303879955\ 914697349946197626922297827*c_0101_6^7 - 1437665646285502664750967020588348345861903180423/61879550613038799\ 55914697349946197626922297827*c_0101_6^6 + 637472609659864864800685348527427553993189592568/618795506130387995\ 5914697349946197626922297827*c_0101_6^5 + 55016507022269167247504268228900777010757130516/6187955061303879955\ 914697349946197626922297827*c_0101_6^4 - 169227641561203850581968074581164884588635028837/618795506130387995\ 5914697349946197626922297827*c_0101_6^3 - 4493305414747235140493672477603451483996532452/61879550613038799559\ 14697349946197626922297827*c_0101_6^2 + 6190470189537950808652742602827870663023884235/61879550613038799559\ 14697349946197626922297827*c_0101_6 + 3455870294109920380880603539874860193202991608/61879550613038799559\ 14697349946197626922297827, c_0101_1 - 157999358665947799943774768986996312572089903/61879550613038\ 79955914697349946197626922297827*c_0101_6^26 - 258856562038225475405003672177215703931241188/618795506130387995591\ 4697349946197626922297827*c_0101_6^25 + 4020612060081133851204969275469511028409264047/61879550613038799559\ 14697349946197626922297827*c_0101_6^24 + 4587125570550215548127957113509931074773812945/61879550613038799559\ 14697349946197626922297827*c_0101_6^23 - 42478001732894043173371416541852257395931535562/6187955061303879955\ 914697349946197626922297827*c_0101_6^22 - 33630339649375686716841456634630418137662155048/6187955061303879955\ 914697349946197626922297827*c_0101_6^21 + 256853200717632106625772707999431715489102380411/618795506130387995\ 5914697349946197626922297827*c_0101_6^20 + 171784079888063413360014754473930696905411676258/618795506130387995\ 5914697349946197626922297827*c_0101_6^19 - 956262870839351284800295407362359433562609803252/618795506130387995\ 5914697349946197626922297827*c_0101_6^18 - 586189521830017495960122736205100314965620413646/618795506130387995\ 5914697349946197626922297827*c_0101_6^17 + 2205649578035989187100401646997588215150069071757/61879550613038799\ 55914697349946197626922297827*c_0101_6^16 + 882881005676588465888390738724305974513592705091/618795506130387995\ 5914697349946197626922297827*c_0101_6^15 - 3242076369063413397193434658943145145226464755561/61879550613038799\ 55914697349946197626922297827*c_0101_6^14 - 377706795991056254062971675653433712553635036300/618795506130387995\ 5914697349946197626922297827*c_0101_6^13 + 3326748832227218540135513944069422744346678306398/61879550613038799\ 55914697349946197626922297827*c_0101_6^12 + 685325248923186682943818576636476195876768968385/618795506130387995\ 5914697349946197626922297827*c_0101_6^11 - 2192474972543192907863872422037349291226875994586/61879550613038799\ 55914697349946197626922297827*c_0101_6^10 - 414768994532139217776633633509905636264670957665/618795506130387995\ 5914697349946197626922297827*c_0101_6^9 + 2336438840792180420710261275469940204518221654890/61879550613038799\ 55914697349946197626922297827*c_0101_6^8 - 482060249049527863123463387275290392936540589254/618795506130387995\ 5914697349946197626922297827*c_0101_6^7 - 1432544701338012096407902653371847716224921413523/61879550613038799\ 55914697349946197626922297827*c_0101_6^6 + 698214990388801233161522596294281044181523940913/618795506130387995\ 5914697349946197626922297827*c_0101_6^5 + 5679730737540931745245030908795729644337922781/61879550613038799559\ 14697349946197626922297827*c_0101_6^4 - 228295693601751264432891797210439326310981633399/618795506130387995\ 5914697349946197626922297827*c_0101_6^3 - 2903571575669156742155639240449462232105916527/61879550613038799559\ 14697349946197626922297827*c_0101_6^2 + 11654373591682841903404623821271385363879618129/6187955061303879955\ 914697349946197626922297827*c_0101_6 + 4689257502830822986984773049455568285807642300/61879550613038799559\ 14697349946197626922297827, c_0101_3 - 217234344347754959668290258709077833953826749/61879550613038\ 79955914697349946197626922297827*c_0101_6^26 + 675748332478644965799181694313190827489568262/618795506130387995591\ 4697349946197626922297827*c_0101_6^25 + 3388187679282293181549598655643404666557720988/61879550613038799559\ 14697349946197626922297827*c_0101_6^24 - 12067559343731720450627291049676355642235018281/6187955061303879955\ 914697349946197626922297827*c_0101_6^23 - 19970156005025805767098577384213968070027943830/6187955061303879955\ 914697349946197626922297827*c_0101_6^22 + 89506831263002310130114694168911142454383788957/6187955061303879955\ 914697349946197626922297827*c_0101_6^21 + 65816051709726150414022232493457590217228080608/6187955061303879955\ 914697349946197626922297827*c_0101_6^20 - 381053830014139943265413547413213576879128116663/618795506130387995\ 5914697349946197626922297827*c_0101_6^19 - 123547907733038373531304848959296276838608524131/618795506130387995\ 5914697349946197626922297827*c_0101_6^18 + 1041725515787109176253833064666551850591209340261/61879550613038799\ 55914697349946197626922297827*c_0101_6^17 - 86050426013091175894543343699919600467451131365/6187955061303879955\ 914697349946197626922297827*c_0101_6^16 - 1672693670957742425140350942993739007508190823076/61879550613038799\ 55914697349946197626922297827*c_0101_6^15 + 716791561877881713202419093367513715596562891508/618795506130387995\ 5914697349946197626922297827*c_0101_6^14 + 1474897026957137926840897832205625846057815915078/61879550613038799\ 55914697349946197626922297827*c_0101_6^13 - 700400175998064780961951707153462328567797006153/618795506130387995\ 5914697349946197626922297827*c_0101_6^12 - 1087743954434921642770442383061469959081338703762/61879550613038799\ 55914697349946197626922297827*c_0101_6^11 + 331401954368946291609979045945869121239843401382/618795506130387995\ 5914697349946197626922297827*c_0101_6^10 + 1219452940464212439335783180714635571635816419007/61879550613038799\ 55914697349946197626922297827*c_0101_6^9 - 913191908531571527342557949913131584207701049763/618795506130387995\ 5914697349946197626922297827*c_0101_6^8 - 498008341818651454541553538361863929893976191237/618795506130387995\ 5914697349946197626922297827*c_0101_6^7 + 827104206428316802597264380240465702475566963258/618795506130387995\ 5914697349946197626922297827*c_0101_6^6 - 276412736953462008099036982693202402349744075648/618795506130387995\ 5914697349946197626922297827*c_0101_6^5 - 62000345766567496269870726897363200457392932059/6187955061303879955\ 914697349946197626922297827*c_0101_6^4 + 83580665187998513916993706600191342074360788044/6187955061303879955\ 914697349946197626922297827*c_0101_6^3 - 4797161663831872196954783808915085999395128165/61879550613038799559\ 14697349946197626922297827*c_0101_6^2 - 655938630429564471297640093677203453223193687/618795506130387995591\ 4697349946197626922297827*c_0101_6 - 1189745004739746339406043002207180496966031880/61879550613038799559\ 14697349946197626922297827, c_0101_6^27 - 2*c_0101_6^26 - 18*c_0101_6^25 + 36*c_0101_6^24 + 135*c_0101_6^23 - 270*c_0101_6^22 - 624*c_0101_6^21 + 1120*c_0101_6^20 + 1900*c_0101_6^19 - 2932*c_0101_6^18 - 3092*c_0101_6^17 + 4924*c_0101_6^16 + 2413*c_0101_6^15 - 5186*c_0101_6^14 - 2407*c_0101_6^13 + 3353*c_0101_6^12 + 2012*c_0101_6^11 - 4047*c_0101_6^10 - 185*c_0101_6^9 + 2945*c_0101_6^8 - 996*c_0101_6^7 - 329*c_0101_6^6 + 445*c_0101_6^5 + 37*c_0101_6^4 - 40*c_0101_6^3 - 17*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB