Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 54697945] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1724 geometric_solution 5.43255882 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.473709333014 0.170792978126 2 0 3 0 0132 2310 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.658136358978 0.502758534641 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 1 -1 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 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.660698523608 1.282619041365 5 2 4 1 3201 1230 3201 0132 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 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.660698523608 1.282619041365 3 2 6 6 2310 0132 2310 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.064321541105 0.895361844935 5 5 2 3 1302 2031 0132 2310 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 0 -1 1 -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.674775845628 1.459791305206 6 4 4 6 3201 3201 0132 2310 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 0 -0.290511874863 0.796611325501 ==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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 2156652123781701792030630400158098413420771/23261337878823708088994\ 20787776251276809*c_0101_3^27 - 89974858930504917084873178703070876\ 5308361/2326133787882370808899420787776251276809*c_0101_3^26 + 34080574619223783498199077122907795242340147/2326133787882370808899\ 420787776251276809*c_0101_3^25 + 1207812757416976554319932143570524\ 9702912537/2326133787882370808899420787776251276809*c_0101_3^24 - 102004295917983159271702040739169520830493897/232613378788237080889\ 9420787776251276809*c_0101_3^23 + 674403682762144823958945340692495\ 5352424473/2326133787882370808899420787776251276809*c_0101_3^22 - 14504230162815775540484206060416860974268581/2326133787882370808899\ 420787776251276809*c_0101_3^21 - 4253492070487361014065353014923003\ 344843785/2326133787882370808899420787776251276809*c_0101_3^20 - 363448431348496050617512516029459221218267032/232613378788237080889\ 9420787776251276809*c_0101_3^19 - 115780231395267289205216315912719\ 2519428942176/2326133787882370808899420787776251276809*c_0101_3^18 + 1101574418890450882115994534711072594862725415/23261337878823708088\ 99420787776251276809*c_0101_3^17 + 2736097488294644026611295522488285132257498295/23261337878823708088\ 99420787776251276809*c_0101_3^16 - 660896715401638222602943224312835937722939606/232613378788237080889\ 9420787776251276809*c_0101_3^15 - 573288410371638878594613597878401\ 48632803130/2326133787882370808899420787776251276809*c_0101_3^14 + 4562832477220002220259398997776176377938968795/23261337878823708088\ 99420787776251276809*c_0101_3^13 + 574227595265322416998666875420672201938279356/232613378788237080889\ 9420787776251276809*c_0101_3^12 - 614904756262797097517712445034452\ 3941454221647/2326133787882370808899420787776251276809*c_0101_3^11 - 2875090930658876989299422535870796672377379608/23261337878823708088\ 99420787776251276809*c_0101_3^10 + 2244872814661140486063089803453593031932938412/23261337878823708088\ 99420787776251276809*c_0101_3^9 - 171329907917057405300636064735177\ 645014304233/2326133787882370808899420787776251276809*c_0101_3^8 - 2500048149065198609446776903051051644693172394/23261337878823708088\ 99420787776251276809*c_0101_3^7 - 211080939637088565366664914547354\ 150422978996/2326133787882370808899420787776251276809*c_0101_3^6 + 1317580263047764931686627343397582017748041789/23261337878823708088\ 99420787776251276809*c_0101_3^5 + 411308387952162016788759897403492\ 128036852557/2326133787882370808899420787776251276809*c_0101_3^4 - 245382137844795305927267407981598697906284342/232613378788237080889\ 9420787776251276809*c_0101_3^3 - 9766102683528871714652922508046983\ 6046058148/2326133787882370808899420787776251276809*c_0101_3^2 + 15507166671175287709321459977770577474366686/2326133787882370808899\ 420787776251276809*c_0101_3 + 4688921202559877911525210123769802276\ 708279/2326133787882370808899420787776251276809, c_0011_0 - 1, c_0011_1 - 229813725687968842438341882291525567596197/23261337878823708\ 08899420787776251276809*c_0101_3^27 - 114365779833468919059336853523006635072078/232613378788237080889942\ 0787776251276809*c_0101_3^26 + 362065486570355487609326306998312792\ 1828941/2326133787882370808899420787776251276809*c_0101_3^25 + 1571778582826398079690960802352075733203323/23261337878823708088994\ 20787776251276809*c_0101_3^24 - 10717088151184280883353640408221089\ 285266374/2326133787882370808899420787776251276809*c_0101_3^23 - 43753132329026245931097404458090775261974/2326133787882370808899420\ 787776251276809*c_0101_3^22 - 1606241580810197105417070343731453074\ 007112/2326133787882370808899420787776251276809*c_0101_3^21 - 821144251334597612799482742751725436358687/232613378788237080889942\ 0787776251276809*c_0101_3^20 - 387702490336424475831114928875963555\ 90189081/2326133787882370808899420787776251276809*c_0101_3^19 - 126625821341572111765628300290195258105182688/232613378788237080889\ 9420787776251276809*c_0101_3^18 + 106914541947040155661367127440354\ 527830051636/2326133787882370808899420787776251276809*c_0101_3^17 + 298175237188312924719856705130175851554007707/232613378788237080889\ 9420787776251276809*c_0101_3^16 - 485742952327171077488867972892781\ 41316179584/2326133787882370808899420787776251276809*c_0101_3^15 - 4993492564171777835262338512269646814629407/23261337878823708088994\ 20787776251276809*c_0101_3^14 + 49145520959424366172538444974419022\ 2113310957/2326133787882370808899420787776251276809*c_0101_3^13 + 99660537329410540838930084721907497218104883/2326133787882370808899\ 420787776251276809*c_0101_3^12 - 6415046475598003127876802349968558\ 69179790548/2326133787882370808899420787776251276809*c_0101_3^11 - 345895373743642705500758928586838364756237092/232613378788237080889\ 9420787776251276809*c_0101_3^10 + 207987183670174233379497775994784\ 311313292607/2326133787882370808899420787776251276809*c_0101_3^9 - 16553953859255729481234301641504582289106280/2326133787882370808899\ 420787776251276809*c_0101_3^8 - 27277927864206721796873303528574645\ 7736031872/2326133787882370808899420787776251276809*c_0101_3^7 - 42632512758365995004377105863123455634623743/2326133787882370808899\ 420787776251276809*c_0101_3^6 + 13237714500231752118996348984842825\ 9374495868/2326133787882370808899420787776251276809*c_0101_3^5 + 48598026568551313895538717124167602874552434/2326133787882370808899\ 420787776251276809*c_0101_3^4 - 22394282675112528830553420129756530\ 735389423/2326133787882370808899420787776251276809*c_0101_3^3 - 10158099886702884681063927083931183654733860/2326133787882370808899\ 420787776251276809*c_0101_3^2 + 14115552052714695862178370054590749\ 05397271/2326133787882370808899420787776251276809*c_0101_3 + 462962202542337505154500389002002537436868/232613378788237080889942\ 0787776251276809, c_0011_3 - 498731635530375187129045658001123047228755/23261337878823708\ 08899420787776251276809*c_0101_3^27 - 246073692743853350345257808324006718781183/232613378788237080889942\ 0787776251276809*c_0101_3^26 + 785705138626455884237793390622827996\ 9175760/2326133787882370808899420787776251276809*c_0101_3^25 + 3378237118615428711319291282334957472941922/23261337878823708088994\ 20787776251276809*c_0101_3^24 - 23250346545934749090794528588457537\ 074637038/2326133787882370808899420787776251276809*c_0101_3^23 - 6834723661792966108253073532904867912677/23261337878823708088994207\ 87776251276809*c_0101_3^22 - 35491381075544311069863982571327919314\ 61151/2326133787882370808899420787776251276809*c_0101_3^21 - 1710691515818255138449558217976965320119541/23261337878823708088994\ 20787776251276809*c_0101_3^20 - 84167748165136193112876742269464125\ 773768662/2326133787882370808899420787776251276809*c_0101_3^19 - 274415301391380308839141479390358565992188874/232613378788237080889\ 9420787776251276809*c_0101_3^18 + 232942951842743058578260780872643\ 279979564482/2326133787882370808899420787776251276809*c_0101_3^17 + 645564598350102548552336943238238929337032989/232613378788237080889\ 9420787776251276809*c_0101_3^16 - 106917560035698714134047951346331\ 357545696805/2326133787882370808899420787776251276809*c_0101_3^15 - 9441623247585488783014520606624664558395379/23261337878823708088994\ 20787776251276809*c_0101_3^14 + 10651237376064921994526575068599029\ 64330900895/2326133787882370808899420787776251276809*c_0101_3^13 + 212471082498373548717834877654963047574695886/232613378788237080889\ 9420787776251276809*c_0101_3^12 - 139064007546990208116650275640567\ 3863063929503/2326133787882370808899420787776251276809*c_0101_3^11 - 746627584604324540394567023838477573689732845/232613378788237080889\ 9420787776251276809*c_0101_3^10 + 451258850955001907787594760529775\ 857482949285/2326133787882370808899420787776251276809*c_0101_3^9 - 36974864089905251120013860172741276615637803/2326133787882370808899\ 420787776251276809*c_0101_3^8 - 59014454768058395487636774365991969\ 0715425419/2326133787882370808899420787776251276809*c_0101_3^7 - 91090155229260317516287535136193637022980812/2326133787882370808899\ 420787776251276809*c_0101_3^6 + 28684519449228954169251525921398861\ 5567551985/2326133787882370808899420787776251276809*c_0101_3^5 + 105076005484137830651362560488277460479672422/232613378788237080889\ 9420787776251276809*c_0101_3^4 - 4845486473519003990712684323541876\ 2562933188/2326133787882370808899420787776251276809*c_0101_3^3 - 21991159610727482484382032118501444429194311/2326133787882370808899\ 420787776251276809*c_0101_3^2 + 30235933424763485503735312394743374\ 10824694/2326133787882370808899420787776251276809*c_0101_3 + 1003993360680283416118643961390802816965454/23261337878823708088994\ 20787776251276809, c_0011_5 + 376129710045635382381131149486919257274718/23261337878823708\ 08899420787776251276809*c_0101_3^27 + 185807163039270503019014242232608016924122/232613378788237080889942\ 0787776251276809*c_0101_3^26 - 592549268599816622985084294051131507\ 7117658/2326133787882370808899420787776251276809*c_0101_3^25 - 2551216019903667284524284814194604771074545/23261337878823708088994\ 20787776251276809*c_0101_3^24 + 17533698221512100986438583144595200\ 369520006/2326133787882370808899420787776251276809*c_0101_3^23 + 14020937004129056861047632628291361837338/2326133787882370808899420\ 787776251276809*c_0101_3^22 + 2675976244087791113123907533371103472\ 781913/2326133787882370808899420787776251276809*c_0101_3^21 + 1296491727008341831266068574757060616014990/23261337878823708088994\ 20787776251276809*c_0101_3^20 + 63473279631155991122631309049036579\ 598559237/2326133787882370808899420787776251276809*c_0101_3^19 + 206999611922020685671825298443685714365626076/232613378788237080889\ 9420787776251276809*c_0101_3^18 - 175564206131100139026242482461922\ 136556885118/2326133787882370808899420787776251276809*c_0101_3^17 - 486966761282350478850381810260335046680321683/232613378788237080889\ 9420787776251276809*c_0101_3^16 + 804049813046619503091570667831723\ 35474062846/2326133787882370808899420787776251276809*c_0101_3^15 + 7114590959161194978156824332682053402045001/23261337878823708088994\ 20787776251276809*c_0101_3^14 - 80335531497900759716489438819237087\ 6962718007/2326133787882370808899420787776251276809*c_0101_3^13 - 160641772944485816791737198557715725146322196/232613378788237080889\ 9420787776251276809*c_0101_3^12 + 104866033569491721881194258282599\ 6972050250604/2326133787882370808899420787776251276809*c_0101_3^11 + 563552086398581300314562474323967092664123888/232613378788237080889\ 9420787776251276809*c_0101_3^10 - 339966944086152123453352988848851\ 536521131340/2326133787882370808899420787776251276809*c_0101_3^9 + 27833638961961044033531727390214908557103625/2326133787882370808899\ 420787776251276809*c_0101_3^8 + 44510902114948162765260819668579179\ 4541195727/2326133787882370808899420787776251276809*c_0101_3^7 + 68913991211888638379732064672251818627581196/2326133787882370808899\ 420787776251276809*c_0101_3^6 - 21625115042961322714173853293855987\ 8169181049/2326133787882370808899420787776251276809*c_0101_3^5 - 79327684743830427421914026682151813095105033/2326133787882370808899\ 420787776251276809*c_0101_3^4 + 36490851044531553950930134853554104\ 276613445/2326133787882370808899420787776251276809*c_0101_3^3 + 16587540076001219951483794705951624117253261/2326133787882370808899\ 420787776251276809*c_0101_3^2 - 22741944616532706719711525472375144\ 73994348/2326133787882370808899420787776251276809*c_0101_3 - 756875469722213875276902991289145517825748/232613378788237080889942\ 0787776251276809, c_0011_6 - 311538293727395543250341895189085994863564/23261337878823708\ 08899420787776251276809*c_0101_3^27 - 153913258786701219773303652907515174737214/232613378788237080889942\ 0787776251276809*c_0101_3^26 + 490789568816764521438782478997701574\ 3474768/2326133787882370808899420787776251276809*c_0101_3^25 + 2113316737700863215791272868518743611428846/23261337878823708088994\ 20787776251276809*c_0101_3^24 - 14522244305081357789358487230594143\ 061763466/2326133787882370808899420787776251276809*c_0101_3^23 - 12128449586145937969397027463676696750572/2326133787882370808899420\ 787776251276809*c_0101_3^22 - 2216807568846082082203098167084451503\ 906906/2326133787882370808899420787776251276809*c_0101_3^21 - 1074023993397665967309103805616998622641783/23261337878823708088994\ 20787776251276809*c_0101_3^20 - 52575853376215631856675062583343416\ 627464356/2326133787882370808899420787776251276809*c_0101_3^19 - 171452866166393905575464969063393573704386607/232613378788237080889\ 9420787776251276809*c_0101_3^18 + 145400935792979844159546877330769\ 487560797473/2326133787882370808899420787776251276809*c_0101_3^17 + 403334667871581548535808662703723399690019830/232613378788237080889\ 9420787776251276809*c_0101_3^16 - 665743579046581606189198379074650\ 15834309413/2326133787882370808899420787776251276809*c_0101_3^15 - 5889431347512322087394737877807833886019947/23261337878823708088994\ 20787776251276809*c_0101_3^14 + 66543100199202781671184254284831809\ 4157429573/2326133787882370808899420787776251276809*c_0101_3^13 + 133123529917354057396010226462531240772410983/232613378788237080889\ 9420787776251276809*c_0101_3^12 - 868557225287255636126417315752425\ 051439087520/2326133787882370808899420787776251276809*c_0101_3^11 - 466758661648256745319721244899584364654862646/232613378788237080889\ 9420787776251276809*c_0101_3^10 + 281586461336251430721780031057536\ 198839622500/2326133787882370808899420787776251276809*c_0101_3^9 - 23121762311871636718821095541105352158812056/2326133787882370808899\ 420787776251276809*c_0101_3^8 - 36873507356844203774899349797639253\ 4708330901/2326133787882370808899420787776251276809*c_0101_3^7 - 57097004632203420718706215378639440135178022/2326133787882370808899\ 420787776251276809*c_0101_3^6 + 17909360121854920936105864671573393\ 4675686232/2326133787882370808899420787776251276809*c_0101_3^5 + 65664169539260248343924473704702147419855620/2326133787882370808899\ 420787776251276809*c_0101_3^4 - 30235148843157390078068745681362297\ 294534684/2326133787882370808899420787776251276809*c_0101_3^3 - 13729862420313064916712598482547575676626259/2326133787882370808899\ 420787776251276809*c_0101_3^2 + 18860264730621258853409282434107831\ 73976507/2326133787882370808899420787776251276809*c_0101_3 + 626466327488671303823301061606934117649511/232613378788237080889942\ 0787776251276809, c_0101_0 - 56067278421692283131852013672008849854098/232613378788237080\ 8899420787776251276809*c_0101_3^27 - 30472570596168261098594259666095980371298/2326133787882370808899420\ 787776251276809*c_0101_3^26 + 8827465310368355400934754272103843300\ 29624/2326133787882370808899420787776251276809*c_0101_3^25 + 423479535328116463266610845376436008714512/232613378788237080889942\ 0787776251276809*c_0101_3^24 - 260812900537099534786000179355456392\ 8614233/2326133787882370808899420787776251276809*c_0101_3^23 - 122293580836793288898970117896687083816776/232613378788237080889942\ 0787776251276809*c_0101_3^22 - 359848711246681773240635131233508581\ 510395/2326133787882370808899420787776251276809*c_0101_3^21 - 254781698011736139386810092931824659977049/232613378788237080889942\ 0787776251276809*c_0101_3^20 - 944606604306770384963676208974907089\ 9368580/2326133787882370808899420787776251276809*c_0101_3^19 - 31343946367099853489894320703004982640675713/2326133787882370808899\ 420787776251276809*c_0101_3^18 + 2479235533316655452772734437856920\ 5017828279/2326133787882370808899420787776251276809*c_0101_3^17 + 74180020877129172492740525699996560986262148/2326133787882370808899\ 420787776251276809*c_0101_3^16 - 9236566818677964616235704112018725\ 980365812/2326133787882370808899420787776251276809*c_0101_3^15 - 2131063025355429035969429341114001529383140/23261337878823708088994\ 20787776251276809*c_0101_3^14 + 12075634444067517399040022884345376\ 3529689806/2326133787882370808899420787776251276809*c_0101_3^13 + 29382817420819636179342587995157499452763533/2326133787882370808899\ 420787776251276809*c_0101_3^12 - 1565423263732425140333793272644028\ 29658755877/2326133787882370808899420787776251276809*c_0101_3^11 - 90264775642207936272042051781067611186679328/2326133787882370808899\ 420787776251276809*c_0101_3^10 + 4852209053304523709643348935268932\ 6276165994/2326133787882370808899420787776251276809*c_0101_3^9 - 2545069148365820680308693531649804673547105/23261337878823708088994\ 20787776251276809*c_0101_3^8 - 677437234446135342362666615693765649\ 70417711/2326133787882370808899420787776251276809*c_0101_3^7 - 12825497092784599700876191021329647868774823/2326133787882370808899\ 420787776251276809*c_0101_3^6 + 32157245649714825485294587725937706\ 536810968/2326133787882370808899420787776251276809*c_0101_3^5 + 12764048536159006672919206719675721311231987/2326133787882370808899\ 420787776251276809*c_0101_3^4 - 52341561014774163621726462841081697\ 73484696/2326133787882370808899420787776251276809*c_0101_3^3 - 2592625607560654553598288129052041805987592/23261337878823708088994\ 20787776251276809*c_0101_3^2 + 322654401862971990629920461418851673\ 915339/2326133787882370808899420787776251276809*c_0101_3 + 117671318890391577778866027302568182079295/232613378788237080889942\ 0787776251276809, c_0101_3^28 - 16*c_0101_3^26 + c_0101_3^25 + 50*c_0101_3^24 - 23*c_0101_3^23 + 7*c_0101_3^22 + 167*c_0101_3^20 + 467*c_0101_3^19 - 739*c_0101_3^18 - 1065*c_0101_3^17 + 855*c_0101_3^16 - 85*c_0101_3^15 - 2147*c_0101_3^14 + 629*c_0101_3^13 + 3003*c_0101_3^12 + 119*c_0101_3^11 - 1649*c_0101_3^10 + 521*c_0101_3^9 + 1149*c_0101_3^8 - 403*c_0101_3^7 - 667*c_0101_3^6 + 74*c_0101_3^5 + 202*c_0101_3^4 - 4*c_0101_3^3 - 28*c_0101_3^2 + c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB