Magma V2.19-8 Tue Aug 20 2013 23:39:12 on localhost [Seed = 695160191] Type ? for help. Type -D to quit. Loading file "K13a640__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a640 geometric_solution 8.73141572 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 2 0132 0132 0132 1230 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 0 1 0 -1 0 0 0 0 1 -6 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.183497783572 1.103400594276 0 4 5 5 0132 0132 0213 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 1 -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.387788681942 0.339676501875 0 0 7 6 3012 0132 0132 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 -1 0 1 1 0 0 -1 0 0 0 0 -5 6 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433348775358 0.585616654356 5 4 8 0 0132 1023 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651199300798 0.503704701853 3 1 7 7 1023 0132 2103 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 -1 1 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.844473190384 0.787915482264 3 1 1 6 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.248944859403 0.692958800930 8 7 2 5 1302 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.576892770699 0.440242897219 4 4 6 2 2103 1302 0213 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 -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.844473190384 0.787915482264 9 6 9 3 0132 2031 2310 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.825980117113 0.819015969832 8 8 10 10 0132 3201 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.395406367645 0.188683879000 9 10 9 10 2310 2310 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 -1.473508705246 0.333556149305 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_3']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_0110_4'], 'c_1001_6' : d['c_0110_4'], 'c_1001_1' : d['c_0011_7'], 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0101_3'], 'c_1010_10' : d['c_0101_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1010_5'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_1010_5'], 'c_1100_6' : d['c_1010_5'], 'c_1100_1' : d['c_1010_5'], 'c_1100_0' : negation(d['c_0011_8']), 'c_1100_3' : negation(d['c_0011_8']), 'c_1100_2' : d['c_1010_5'], 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_1010_5'], 'c_1010_5' : d['c_1010_5'], 'c_1010_4' : d['c_0011_7'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : d['c_0011_6'], 'c_1100_8' : negation(d['c_0011_8']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_8']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0101_3']), 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], '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_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0101_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_8']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0110_4, c_1010_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 15184186812031336224220868484390841/32761151902363800182478752800*c\ _1010_5^26 - 6079875901687505724535445405284293/4095143987795475022\ 809844100*c_1010_5^25 + 23393929457837129416141658743658683/2047571\ 993897737511404922050*c_1010_5^24 - 850467528275321202070889227308631579/32761151902363800182478752800*\ c_1010_5^23 + 176424253677233934040804119419156943/1638057595118190\ 009123937640*c_1010_5^22 - 5986003077175744027411447189297255327/32\ 761151902363800182478752800*c_1010_5^21 + 2105066133492509439828777711663865567/4095143987795475022809844100*\ c_1010_5^20 - 99333991174555882019353899776173149/14625514242126696\ 5100351575*c_1010_5^19 + 45927066638690098433100218455375787743/327\ 61151902363800182478752800*c_1010_5^18 - 3116275245052356616550129753712608327/2047571993897737511404922050*\ c_1010_5^17 + 10148774725287909194656070484148595199/40951439877954\ 75022809844100*c_1010_5^16 - 9624410182610467523782070304064435817/\ 4095143987795475022809844100*c_1010_5^15 + 53965367477959657212678971592382712027/1638057595118190009123937640\ 0*c_1010_5^14 - 22604656017964516713331399602558364271/819028797559\ 0950045619688200*c_1010_5^13 + 107743162493032564643620937752538379\ 29/3276115190236380018247875280*c_1010_5^12 - 15935589402082609314081153494325174667/6552230380472760036495750560\ *c_1010_5^11 + 16690954009817410119904413990616806109/6552230380472\ 760036495750560*c_1010_5^10 - 3881089127231521959190419365287563419\ /2340082278740271441605625200*c_1010_5^9 + 49107583919410592216171985489605483253/3276115190236380018247875280\ 0*c_1010_5^8 - 27417270627881374942958402258428003141/3276115190236\ 3800182478752800*c_1010_5^7 + 2139409668510377837874700421342162852\ 3/32761151902363800182478752800*c_1010_5^6 - 1969654068169041505199117973759120413/6552230380472760036495750560*\ c_1010_5^5 + 1281077389670699560877464010071807819/6552230380472760\ 036495750560*c_1010_5^4 - 88581818660380626101905072908449863/13104\ 46076094552007299150112*c_1010_5^3 + 228562061049967746077147666941091/6605070948057217778725555*c_1010_\ 5^2 - 215733221343483907923075545190790279/327611519023638001824787\ 52800*c_1010_5 + 74291859756172362242437979361597941/32761151902363\ 800182478752800, c_0011_0 - 1, c_0011_10 + 247661941313946067/2092468847712978380*c_1010_5^26 + 20358975453912829/523117211928244595*c_1010_5^25 + 1001027932939891292/523117211928244595*c_1010_5^24 + 5450729456060742871/2092468847712978380*c_1010_5^23 + 6345673609723377329/523117211928244595*c_1010_5^22 + 67527824172217120791/2092468847712978380*c_1010_5^21 + 20684595744668787704/523117211928244595*c_1010_5^20 + 17391774988562237013/104623442385648919*c_1010_5^19 + 159517123914285621669/2092468847712978380*c_1010_5^18 + 226127692706292126512/523117211928244595*c_1010_5^17 + 51218422042097766779/523117211928244595*c_1010_5^16 + 354763594189335537391/523117211928244595*c_1010_5^15 + 17943741214033074369/209246884771297838*c_1010_5^14 + 436663810778927209566/523117211928244595*c_1010_5^13 + 63133840713903495401/1046234423856489190*c_1010_5^12 + 1511064690509014081703/2092468847712978380*c_1010_5^11 + 9320610684045643047/418493769542595676*c_1010_5^10 + 517494287689065674727/1046234423856489190*c_1010_5^9 + 36035365073856589579/2092468847712978380*c_1010_5^8 + 501221917839189475493/2092468847712978380*c_1010_5^7 + 21993376940658715553/2092468847712978380*c_1010_5^6 + 171820798925533789581/2092468847712978380*c_1010_5^5 + 17144762439568504881/2092468847712978380*c_1010_5^4 + 34508203447112893899/2092468847712978380*c_1010_5^3 + 433675472162601304/104623442385648919*c_1010_5^2 + 437497541683320103/418493769542595676*c_1010_5 + 558988791219114367/2092468847712978380, c_0011_6 - 355414704859337038/104623442385648919*c_1010_5^26 + 4255559761168639688/523117211928244595*c_1010_5^25 - 7852985095782205038/104623442385648919*c_1010_5^24 + 65035432931514991536/523117211928244595*c_1010_5^23 - 335691376144320877062/523117211928244595*c_1010_5^22 + 386192469690508548199/523117211928244595*c_1010_5^21 - 1444897663273481094527/523117211928244595*c_1010_5^20 + 234707390468677158006/104623442385648919*c_1010_5^19 - 3494041183366178112351/523117211928244595*c_1010_5^18 + 2186797956668444541931/523117211928244595*c_1010_5^17 - 5449707971103248290373/523117211928244595*c_1010_5^16 + 606868036986871645057/104623442385648919*c_1010_5^15 - 6576164443012865916867/523117211928244595*c_1010_5^14 + 3080985535047936241752/523117211928244595*c_1010_5^13 - 5739941437227101011748/523117211928244595*c_1010_5^12 + 2418595112438162249179/523117211928244595*c_1010_5^11 - 3928381840473182219523/523117211928244595*c_1010_5^10 + 1397682830551317615577/523117211928244595*c_1010_5^9 - 386261339658545442395/104623442385648919*c_1010_5^8 + 583263740513185658042/523117211928244595*c_1010_5^7 - 671557990480421031451/523117211928244595*c_1010_5^6 + 30648981101557168747/104623442385648919*c_1010_5^5 - 137309513512345177474/523117211928244595*c_1010_5^4 + 17164654706941012742/523117211928244595*c_1010_5^3 - 8483484650313836864/523117211928244595*c_1010_5^2 - 852437722362769339/523117211928244595*c_1010_5 + 580667927593493072/523117211928244595, c_0011_7 + 7436370677385136333/20924688477129783800*c_1010_5^26 - 7822367531253306173/5231172119282445950*c_1010_5^25 + 46845125289842138731/5231172119282445950*c_1010_5^24 - 550625607470238418707/20924688477129783800*c_1010_5^23 + 85118330228479945689/1046234423856489190*c_1010_5^22 - 3886270454590248790051/20924688477129783800*c_1010_5^21 + 1840250632686242918337/5231172119282445950*c_1010_5^20 - 3597989763473527011757/5231172119282445950*c_1010_5^19 + 16824719233611415138759/20924688477129783800*c_1010_5^18 - 3971657097502895343997/2615586059641222975*c_1010_5^17 + 2983937477614693215037/2615586059641222975*c_1010_5^16 - 5970051235898243815281/2615586059641222975*c_1010_5^15 + 13708523126259913279111/10462344238564891900*c_1010_5^14 - 13626594883485747946043/5231172119282445950*c_1010_5^13 + 2055825703115390068269/2092468847712978380*c_1010_5^12 - 9316587842014488475383/4184937695425956760*c_1010_5^11 + 2544248697016621019869/4184937695425956760*c_1010_5^10 - 15213925567278893713949/10462344238564891900*c_1010_5^9 + 4420122017399265126889/20924688477129783800*c_1010_5^8 - 14880470901882738173533/20924688477129783800*c_1010_5^7 + 880864676850183749239/20924688477129783800*c_1010_5^6 - 1004069215826770247053/4184937695425956760*c_1010_5^5 - 8095069329663269949/836987539085191352*c_1010_5^4 - 228903391629315056507/4184937695425956760*c_1010_5^3 - 3081486996042788339/523117211928244595*c_1010_5^2 - 107788446336704149227/20924688477129783800*c_1010_5 - 5119616928179468867/20924688477129783800, c_0011_8 + 45387680270331515517/20924688477129783800*c_1010_5^26 - 26902157996809860467/5231172119282445950*c_1010_5^25 + 250880155681976616969/5231172119282445950*c_1010_5^24 - 1645747242482383000763/20924688477129783800*c_1010_5^23 + 430410177247477781903/1046234423856489190*c_1010_5^22 - 9795428649470614437579/20924688477129783800*c_1010_5^21 + 9327925851454652466223/5231172119282445950*c_1010_5^20 - 7482933554401237791643/5231172119282445950*c_1010_5^19 + 91298166923558524696511/20924688477129783800*c_1010_5^18 - 7040482336072360131618/2615586059641222975*c_1010_5^17 + 18047588781646655992958/2615586059641222975*c_1010_5^16 - 9855148227710365103619/2615586059641222975*c_1010_5^15 + 87767035246787776829459/10462344238564891900*c_1010_5^14 - 20141488832985193174617/5231172119282445950*c_1010_5^13 + 15504385445662392989257/2092468847712978380*c_1010_5^12 - 12797242605329776189943/4184937695425956760*c_1010_5^11 + 21393613691424504597213/4184937695425956760*c_1010_5^10 - 18606868476587411023721/10462344238564891900*c_1010_5^9 + 53110563269807698668761/20924688477129783800*c_1010_5^8 - 15856266278563410272957/20924688477129783800*c_1010_5^7 + 18711959528341111741231/20924688477129783800*c_1010_5^6 - 849382763216104500877/4184937695425956760*c_1010_5^5 + 770880158874488731111/4184937695425956760*c_1010_5^4 - 107475424630645642251/4184937695425956760*c_1010_5^3 + 6401795884282388936/523117211928244595*c_1010_5^2 + 11641611587933449157/20924688477129783800*c_1010_5 - 19714662839104666523/20924688477129783800, c_0101_0 - 8980358092857815693/20924688477129783800*c_1010_5^26 + 2226901225531320733/5231172119282445950*c_1010_5^25 - 42842675730899116431/5231172119282445950*c_1010_5^24 + 58928684867483784187/20924688477129783800*c_1010_5^23 - 13058498295376064825/209246884771297838*c_1010_5^22 - 291022896284333613309/20924688477129783800*c_1010_5^21 - 1292714853484134748527/5231172119282445950*c_1010_5^20 - 863565900904462910333/5231172119282445950*c_1010_5^19 - 11925583442082233879199/20924688477129783800*c_1010_5^18 - 1366339368655611539768/2615586059641222975*c_1010_5^17 - 2266738638560445921447/2615586059641222975*c_1010_5^16 - 2222651840578379009219/2615586059641222975*c_1010_5^15 - 10484173889468013461171/10462344238564891900*c_1010_5^14 - 5803055193983752943337/5231172119282445950*c_1010_5^13 - 365750975652439972597/418493769542595676*c_1010_5^12 - 4044375723146609771169/4184937695425956760*c_1010_5^11 - 2425388579502593382477/4184937695425956760*c_1010_5^10 - 7111429635402635829971/10462344238564891900*c_1010_5^9 - 6343517364244601663249/20924688477129783800*c_1010_5^8 - 6867833568985128309747/20924688477129783800*c_1010_5^7 - 2328379893920431882719/20924688477129783800*c_1010_5^6 - 471784845936654257059/4184937695425956760*c_1010_5^5 - 139666943500693420511/4184937695425956760*c_1010_5^4 - 91579232064808533709/4184937695425956760*c_1010_5^3 - 2357503213423987544/523117211928244595*c_1010_5^2 - 19992358282949741533/20924688477129783800*c_1010_5 + 13488317799744647467/20924688477129783800, c_0101_10 + 2833286628969617291/2092468847712978380*c_1010_5^26 - 344604451523081283/104623442385648919*c_1010_5^25 + 3140577520129005614/104623442385648919*c_1010_5^24 - 21242206552453397961/418493769542595676*c_1010_5^23 + 134637056880160687899/523117211928244595*c_1010_5^22 - 639577662291960837357/2092468847712978380*c_1010_5^21 + 116185015005447625564/104623442385648919*c_1010_5^20 - 497311471056971431416/523117211928244595*c_1010_5^19 + 5625897134355259574761/2092468847712978380*c_1010_5^18 - 191253129324462359744/104623442385648919*c_1010_5^17 + 2189678166234557669141/523117211928244595*c_1010_5^16 - 272123973939271662044/104623442385648919*c_1010_5^15 + 5269073237893674758153/1046234423856489190*c_1010_5^14 - 1419331411037211853133/523117211928244595*c_1010_5^13 + 4609113309306391870741/1046234423856489190*c_1010_5^12 - 4612757492323437103077/2092468847712978380*c_1010_5^11 + 1260594682694322658031/418493769542595676*c_1010_5^10 - 276152146604698579575/209246884771297838*c_1010_5^9 + 3119260868322783640991/2092468847712978380*c_1010_5^8 - 1232124454777965348171/2092468847712978380*c_1010_5^7 + 218928129220705418209/418493769542595676*c_1010_5^6 - 355813736712623862539/2092468847712978380*c_1010_5^5 + 224173154508058667601/2092468847712978380*c_1010_5^4 - 57106965061727412361/2092468847712978380*c_1010_5^3 + 730650950222842939/104623442385648919*c_1010_5^2 - 1718804461414813661/2092468847712978380*c_1010_5 - 1842232893483947129/2092468847712978380, c_0101_2 + 3210821317173196883/20924688477129783800*c_1010_5^26 - 2923119701383152853/5231172119282445950*c_1010_5^25 + 19031589036045681671/5231172119282445950*c_1010_5^24 - 197910649851548902517/20924688477129783800*c_1010_5^23 + 32976806167574654141/1046234423856489190*c_1010_5^22 - 1343319018036368735821/20924688477129783800*c_1010_5^21 + 673752936190199753807/5231172119282445950*c_1010_5^20 - 1206282793083568422817/5231172119282445950*c_1010_5^19 + 5560498263208400760129/20924688477129783800*c_1010_5^18 - 1326533498949567559912/2615586059641222975*c_1010_5^17 + 796591639889260171537/2615586059641222975*c_1010_5^16 - 2054521460628344963046/2615586059641222975*c_1010_5^15 + 2706388183321761807521/10462344238564891900*c_1010_5^14 - 4817291093676293063743/5231172119282445950*c_1010_5^13 + 161062340163483998879/2092468847712978380*c_1010_5^12 - 3429276347601704664929/4184937695425956760*c_1010_5^11 - 243037026237387856413/4184937695425956760*c_1010_5^10 - 5913050578165072554239/10462344238564891900*c_1010_5^9 - 2339258316566438532321/20924688477129783800*c_1010_5^8 - 6073517437617528843643/20924688477129783800*c_1010_5^7 - 1820778978693242080071/20924688477129783800*c_1010_5^6 - 453198450634857291147/4184937695425956760*c_1010_5^5 - 31945265721394637331/836987539085191352*c_1010_5^4 - 21376593112812419617/836987539085191352*c_1010_5^3 - 5396438930797181101/523117211928244595*c_1010_5^2 - 65155512115426512917/20924688477129783800*c_1010_5 - 18677450979742107077/20924688477129783800, c_0101_3 + 9942516824353381533/20924688477129783800*c_1010_5^26 - 8433421791622780843/5231172119282445950*c_1010_5^25 + 60224407303721396461/5231172119282445950*c_1010_5^24 - 578189577689048617707/20924688477129783800*c_1010_5^23 + 109384240500667980251/1046234423856489190*c_1010_5^22 - 3966532349603617806611/20924688477129783800*c_1010_5^21 + 2449412237413673506667/5231172119282445950*c_1010_5^20 - 3569495072622935306527/5231172119282445950*c_1010_5^19 + 24237162999649140036679/20924688477129783800*c_1010_5^18 - 3854709414400604801662/2615586059641222975*c_1010_5^17 + 4778884160789463637742/2615586059641222975*c_1010_5^16 - 5736723886916022642086/2615586059641222975*c_1010_5^15 + 23380053967921057881911/10462344238564891900*c_1010_5^14 - 12938214897679214150383/5231172119282445950*c_1010_5^13 + 4096130752353810797173/2092468847712978380*c_1010_5^12 - 8712949760067402218159/4184937695425956760*c_1010_5^11 + 5642025552177797937333/4184937695425956760*c_1010_5^10 - 14016311533584823395609/10462344238564891900*c_1010_5^9 + 13673269605325080371369/20924688477129783800*c_1010_5^8 - 13181061230961186475013/20924688477129783800*c_1010_5^7 + 4622146784848935972799/20924688477129783800*c_1010_5^6 - 846597694654891198501/4184937695425956760*c_1010_5^5 + 154438435389049528879/4184937695425956760*c_1010_5^4 - 32019764870003018431/836987539085191352*c_1010_5^3 - 247412516809542215/104623442385648919*c_1010_5^2 - 45047296845754143987/20924688477129783800*c_1010_5 - 18033469376448164147/20924688477129783800, c_0110_4 - 1945145413841891521/1046234423856489190*c_1010_5^26 + 2084447141808093449/523117211928244595*c_1010_5^25 - 4170997297980897353/104623442385648919*c_1010_5^24 + 60284158454500047461/1046234423856489190*c_1010_5^23 - 173846063585380736994/523117211928244595*c_1010_5^22 + 329756228366544894381/1046234423856489190*c_1010_5^21 - 730656899698247353716/523117211928244595*c_1010_5^20 + 445466917863706765737/523117211928244595*c_1010_5^19 - 3447244342534621087627/1046234423856489190*c_1010_5^18 + 737429733494458597198/523117211928244595*c_1010_5^17 - 2620617579294714701421/523117211928244595*c_1010_5^16 + 195485486704376173927/104623442385648919*c_1010_5^15 - 3090914979148982808064/523117211928244595*c_1010_5^14 + 885443041039845538492/523117211928244595*c_1010_5^13 - 523016915555960363011/104623442385648919*c_1010_5^12 + 1317493742000282303821/1046234423856489190*c_1010_5^11 - 3468022435229901003573/1046234423856489190*c_1010_5^10 + 327617184523061970391/523117211928244595*c_1010_5^9 - 1625603834692621341451/1046234423856489190*c_1010_5^8 + 232355017301115251323/1046234423856489190*c_1010_5^7 - 530670446057732796331/1046234423856489190*c_1010_5^6 + 37919800660197027239/1046234423856489190*c_1010_5^5 - 19146811149860981321/209246884771297838*c_1010_5^4 - 5156386853632726547/1046234423856489190*c_1010_5^3 - 1653940069560393352/523117211928244595*c_1010_5^2 - 1393040042124430853/1046234423856489190*c_1010_5 + 310604056190859821/1046234423856489190, c_1010_5^27 - 3*c_1010_5^26 + 24*c_1010_5^25 - 51*c_1010_5^24 + 221*c_1010_5^23 - 347*c_1010_5^22 + 1029*c_1010_5^21 - 1240*c_1010_5^20 + 2727*c_1010_5^19 - 2669*c_1010_5^18 + 4680*c_1010_5^17 - 3984*c_1010_5^16 + 6078*c_1010_5^15 - 4510*c_1010_5^14 + 5886*c_1010_5^13 - 3805*c_1010_5^12 + 4430*c_1010_5^11 - 2461*c_1010_5^10 + 2507*c_1010_5^9 - 1148*c_1010_5^8 + 1042*c_1010_5^7 - 362*c_1010_5^6 + 290*c_1010_5^5 - 60*c_1010_5^4 + 45*c_1010_5^3 + c_1010_5^2 + 2*c_1010_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.250 Total time: 0.460 seconds, Total memory usage: 32.09MB