Magma V2.19-8 Tue Aug 20 2013 23:39:55 on localhost [Seed = 2884488990] Type ? for help. Type -D to quit. Loading file "K12a723__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a723 geometric_solution 10.14565759 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 -0.101732603103 0.785113511175 0 4 4 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 2.055388335441 0.866677107742 5 0 6 6 0132 0132 2103 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 0 1 1 0 0 -1 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.291641175527 0.697542533567 7 7 8 0 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 -12 13 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291641175527 0.697542533567 5 1 1 9 1023 0132 1023 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 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.212961241716 1.720209008081 2 4 9 10 0132 1023 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 1 -1 -1 0 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.003765698456 0.432084089517 2 7 2 7 2103 0213 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 -1 1 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.489799004265 1.220290291828 3 6 6 3 0132 2310 0213 2031 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 0 0 0 12 1 0 -13 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716717317763 0.705773396774 11 11 9 3 0132 1230 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 -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.578937029207 1.256259680335 10 5 4 8 0213 0213 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 -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.284834494514 0.128266106233 9 11 5 11 0213 2103 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 1 0 0 0 -1 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.697423329723 0.656573775561 8 10 8 10 0132 2103 3012 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 0 0 0 0 0 0 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.697423329723 0.656573775561 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : d['c_0101_4'], 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : negation(d['c_1001_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_9'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : 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_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_3'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : negation(d['c_1001_8']), 'c_1100_10' : d['c_1001_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : d['c_1001_8'], 'c_1010_8' : d['c_0101_11'], 'c_1100_8' : d['c_1100_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : negation(d['c_0101_8']), 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0011_9'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_9'], 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_9, c_0101_1, c_0101_11, c_0101_4, c_0101_8, c_1001_0, c_1001_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t + 986628632299/9609485249*c_1001_8^8 - 11722113194126/9609485249*c_1001_8^7 + 43869576244141/9609485249*c_1001_8^6 - 28769536627781/9609485249*c_1001_8^5 - 26813293198688/9609485249*c_1001_8^4 + 45275580384880/9609485249*c_1001_8^3 - 642813791016/1372783607*c_1001_8^2 - 827190742143/739191173*c_1001_8 + 5705536806132/9609485249, c_0011_0 - 1, c_0011_10 + 32374/62819*c_1001_8^8 - 395328/62819*c_1001_8^7 + 1575535/62819*c_1001_8^6 - 1536155/62819*c_1001_8^5 - 49298/62819*c_1001_8^4 + 1041976/62819*c_1001_8^3 - 395257/62819*c_1001_8^2 - 27560/62819*c_1001_8 + 60248/62819, c_0011_3 + 32374/62819*c_1001_8^8 - 395328/62819*c_1001_8^7 + 1575535/62819*c_1001_8^6 - 1536155/62819*c_1001_8^5 - 49298/62819*c_1001_8^4 + 1041976/62819*c_1001_8^3 - 395257/62819*c_1001_8^2 - 27560/62819*c_1001_8 + 60248/62819, c_0011_6 + 8637/62819*c_1001_8^8 - 99341/62819*c_1001_8^7 + 347097/62819*c_1001_8^6 - 128493/62819*c_1001_8^5 - 253197/62819*c_1001_8^4 + 268343/62819*c_1001_8^3 + 131566/62819*c_1001_8^2 - 139526/62819*c_1001_8 + 8533/62819, c_0011_9 + 39183/62819*c_1001_8^8 - 482728/62819*c_1001_8^7 + 1964007/62819*c_1001_8^6 - 2121458/62819*c_1001_8^5 + 302609/62819*c_1001_8^4 + 1341422/62819*c_1001_8^3 - 758377/62819*c_1001_8^2 + 51265/62819*c_1001_8 + 129634/62819, c_0101_1 - 45545/62819*c_1001_8^8 + 555146/62819*c_1001_8^7 - 2195480/62819*c_1001_8^6 + 2004498/62819*c_1001_8^5 + 561529/62819*c_1001_8^4 - 1976074/62819*c_1001_8^3 + 640046/62819*c_1001_8^2 + 223500/62819*c_1001_8 - 108572/62819, c_0101_11 + 39183/62819*c_1001_8^8 - 482728/62819*c_1001_8^7 + 1964007/62819*c_1001_8^6 - 2121458/62819*c_1001_8^5 + 302609/62819*c_1001_8^4 + 1341422/62819*c_1001_8^3 - 758377/62819*c_1001_8^2 + 51265/62819*c_1001_8 + 129634/62819, c_0101_4 + 53439/62819*c_1001_8^8 - 667950/62819*c_1001_8^7 + 2778264/62819*c_1001_8^6 - 3159160/62819*c_1001_8^5 + 160032/62819*c_1001_8^4 + 2159772/62819*c_1001_8^3 - 1040344/62819*c_1001_8^2 - 105304/62819*c_1001_8 + 138918/62819, c_0101_8 + 8637/62819*c_1001_8^8 - 99341/62819*c_1001_8^7 + 347097/62819*c_1001_8^6 - 128493/62819*c_1001_8^5 - 253197/62819*c_1001_8^4 + 268343/62819*c_1001_8^3 + 131566/62819*c_1001_8^2 - 139526/62819*c_1001_8 + 8533/62819, c_1001_0 - c_1001_8, c_1001_8^9 - 12*c_1001_8^8 + 46*c_1001_8^7 - 36*c_1001_8^6 - 17*c_1001_8^5 + 40*c_1001_8^4 - 6*c_1001_8^3 - 7*c_1001_8^2 + 3*c_1001_8 + 1, c_1100_0 - 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_9, c_0101_1, c_0101_11, c_0101_4, c_0101_8, c_1001_0, c_1001_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 46819565199026741500598750676733204541607952/3674953980411037020871\ 862414252618605037*c_1001_8^21 - 2713405283228407524258783161108266\ 49857435392/3674953980411037020871862414252618605037*c_1001_8^20 + 1821586245343968840048381205614314099769841431/36749539804110370208\ 71862414252618605037*c_1001_8^19 - 11954688455457986563535327924320812169874187790/3674953980411037020\ 871862414252618605037*c_1001_8^18 + 44961964664587414623284586245418538898485785773/3674953980411037020\ 871862414252618605037*c_1001_8^17 - 102467897421490912429695251303005845655660575534/367495398041103702\ 0871862414252618605037*c_1001_8^16 + 161962840708962451583391053917875054952130545001/367495398041103702\ 0871862414252618605037*c_1001_8^15 - 193406934708122777524453682814609371513855308387/367495398041103702\ 0871862414252618605037*c_1001_8^14 + 157094515653039632156754590277972507964126074408/367495398041103702\ 0871862414252618605037*c_1001_8^13 - 33638028779613006940287653250798628836451731175/3674953980411037020\ 871862414252618605037*c_1001_8^12 - 12052215633279486581529891380460703202649137672/5249934257730052886\ 95980344893231229291*c_1001_8^11 + 71645003575140610997885958165389128161896253907/3674953980411037020\ 871862414252618605037*c_1001_8^10 + 27747340010482120280672373443076940376837509886/3674953980411037020\ 871862414252618605037*c_1001_8^9 - 3592203870028168174391599310611958431433771065/19341863054794931688\ 7992758644874663423*c_1001_8^8 + 2851560210025522388861707757338823\ 4826095498556/3674953980411037020871862414252618605037*c_1001_8^7 + 9314520715885731216324271987556491351077085795/36749539804110370208\ 71862414252618605037*c_1001_8^6 - 112996845060264563315768064244754\ 93869208962669/3674953980411037020871862414252618605037*c_1001_8^5 + 1984487799942076113465563064535646090977214212/36749539804110370208\ 71862414252618605037*c_1001_8^4 + 120147362668664999872372930753004\ 3897757326134/3674953980411037020871862414252618605037*c_1001_8^3 - 70820233804971323643405312855154095326027675/5249934257730052886959\ 80344893231229291*c_1001_8^2 - 138763264658476776987242748967738222\ 51058610/3674953980411037020871862414252618605037*c_1001_8 + 30928328349232194319979455712644938455214785/3674953980411037020871\ 862414252618605037, c_0011_0 - 1, c_0011_10 + 33530383098879345012195187790544/24489484336710094033472932\ 98937*c_1001_8^21 - 188013570257031924279520292122876/2448948433671\ 009403347293298937*c_1001_8^20 + 1261911157830974361580887577944932\ /2448948433671009403347293298937*c_1001_8^19 - 8286728219837638429503605365345792/2448948433671009403347293298937*\ c_1001_8^18 + 30384343487022779715451497324310110/24489484336710094\ 03347293298937*c_1001_8^17 - 65989717493881920382831878692340269/24\ 48948433671009403347293298937*c_1001_8^16 + 97764623966269783278378986262867432/2448948433671009403347293298937\ *c_1001_8^15 - 108431836570839572751046544771616529/244894843367100\ 9403347293298937*c_1001_8^14 + 76029218669493210154698124334531051/\ 2448948433671009403347293298937*c_1001_8^13 + 6825439560332726749926112985181877/2448948433671009403347293298937*\ c_1001_8^12 - 68594976514269874773854904338857820/24489484336710094\ 03347293298937*c_1001_8^11 + 33164445103987254031331398993482429/24\ 48948433671009403347293298937*c_1001_8^10 + 38412668529296256080666826368942860/2448948433671009403347293298937\ *c_1001_8^9 - 43814539636879051490013719048586901/24489484336710094\ 03347293298937*c_1001_8^8 + 3539568785089817739592974390638382/2448\ 948433671009403347293298937*c_1001_8^7 + 13073467848719501254834338379894919/2448948433671009403347293298937\ *c_1001_8^6 - 4403366986321661374549109042801593/244894843367100940\ 3347293298937*c_1001_8^5 - 1534122783331174373852058082299977/24489\ 48433671009403347293298937*c_1001_8^4 + 793711149117388755430065484469926/2448948433671009403347293298937*c\ _1001_8^3 + 105163002969665095876884337599435/244894843367100940334\ 7293298937*c_1001_8^2 - 55333149914471731439513365832028/2448948433\ 671009403347293298937*c_1001_8 - 9096865017006501777797913902356/24\ 48948433671009403347293298937, c_0011_3 + 29380103247649154712093820904916/244894843367100940334729329\ 8937*c_1001_8^21 - 185720095183378275482920864919467/24489484336710\ 09403347293298937*c_1001_8^20 + 1230573029774262980166566822356156/\ 2448948433671009403347293298937*c_1001_8^19 - 8087781619579749808773402533687826/2448948433671009403347293298937*\ c_1001_8^18 + 32063331842507829581411354384213804/24489484336710094\ 03347293298937*c_1001_8^17 - 78502080409163648532611634295947654/24\ 48948433671009403347293298937*c_1001_8^16 + 132744007945559547183797388661991044/244894843367100940334729329893\ 7*c_1001_8^15 - 167788955538717537203928733615932390/24489484336710\ 09403347293298937*c_1001_8^14 + 15023482694441424314551501479644603\ 3/2448948433671009403347293298937*c_1001_8^13 - 57478186315249134293896941644235447/2448948433671009403347293298937\ *c_1001_8^12 - 56050490928159464944886777552187816/2448948433671009\ 403347293298937*c_1001_8^11 + 78593010326569412096831123874457826/2\ 448948433671009403347293298937*c_1001_8^10 - 583201385139380492531157598697059/2448948433671009403347293298937*c\ _1001_8^9 - 60017781335622529278946025940394752/2448948433671009403\ 347293298937*c_1001_8^8 + 39895674708180667157039727930142698/24489\ 48433671009403347293298937*c_1001_8^7 + 2949668344167656056712819948671444/2448948433671009403347293298937*\ c_1001_8^6 - 13596361851906334015175883634101191/244894843367100940\ 3347293298937*c_1001_8^5 + 4070593846333914570187487118029592/24489\ 48433671009403347293298937*c_1001_8^4 + 1312438107039376126190468755493189/2448948433671009403347293298937*\ c_1001_8^3 - 813804835136042572566331584192365/24489484336710094033\ 47293298937*c_1001_8^2 - 772235318243573466422673898020/24489484336\ 71009403347293298937*c_1001_8 + 50147595696769022615965024328571/24\ 48948433671009403347293298937, c_0011_6 - 69212163279428411232353963507560/244894843367100940334729329\ 8937*c_1001_8^21 + 384723325356857081245052059822486/24489484336710\ 09403347293298937*c_1001_8^20 - 2607407067139963552369968048962380/\ 2448948433671009403347293298937*c_1001_8^19 + 17088821042549458573055726864722856/2448948433671009403347293298937\ *c_1001_8^18 - 62644111100481822641268065259689237/2448948433671009\ 403347293298937*c_1001_8^17 + 138122254014007232291557948766694832/\ 2448948433671009403347293298937*c_1001_8^16 - 212350079652312167276352819470653340/244894843367100940334729329893\ 7*c_1001_8^15 + 248436294577987787119586557126101161/24489484336710\ 09403347293298937*c_1001_8^14 - 19320949084391688062737334766486025\ 0/2448948433671009403347293298937*c_1001_8^13 + 26851917508289611767233562516497638/2448948433671009403347293298937\ *c_1001_8^12 + 113443098861019419208517964283552416/244894843367100\ 9403347293298937*c_1001_8^11 - 77379986935108540550904500199428174/\ 2448948433671009403347293298937*c_1001_8^10 - 46589542168663997032250031322045534/2448948433671009403347293298937\ *c_1001_8^9 + 81224808822260181950775186619644169/24489484336710094\ 03347293298937*c_1001_8^8 - 28830883657845857758880081934221445/244\ 8948433671009403347293298937*c_1001_8^7 - 11177913292011365545052244311962535/2448948433671009403347293298937\ *c_1001_8^6 + 11988985776062827649085679005168893/24489484336710094\ 03347293298937*c_1001_8^5 - 2405550049082485418547275058536939/2448\ 948433671009403347293298937*c_1001_8^4 - 1138499635702855380554274370703019/2448948433671009403347293298937*\ c_1001_8^3 + 603001528661365083625185225660070/24489484336710094033\ 47293298937*c_1001_8^2 - 18664081583496473239027221880384/244894843\ 3671009403347293298937*c_1001_8 - 45435955362845093758916915764260/\ 2448948433671009403347293298937, c_0011_9 + 20488888479873449296658645795304/244894843367100940334729329\ 8937*c_1001_8^21 - 103106289801645524890275341375182/24489484336710\ 09403347293298937*c_1001_8^20 + 719923563915817418215199861601926/2\ 448948433671009403347293298937*c_1001_8^19 - 4695472795096248782213040453474980/2448948433671009403347293298937*\ c_1001_8^18 + 16174786473718211089383979024355469/24489484336710094\ 03347293298937*c_1001_8^17 - 33044237264059338641440400705904300/24\ 48948433671009403347293298937*c_1001_8^16 + 48200878460200953097057916266836075/2448948433671009403347293298937\ *c_1001_8^15 - 55032457862554672453844475184880209/2448948433671009\ 403347293298937*c_1001_8^14 + 39928635222391981648789824877241039/2\ 448948433671009403347293298937*c_1001_8^13 - 1690150970014650286291653731480752/2448948433671009403347293298937*\ c_1001_8^12 - 21190083911185597866242425414048949/24489484336710094\ 03347293298937*c_1001_8^11 + 6632441394940262329511691011069935/244\ 8948433671009403347293298937*c_1001_8^10 + 11961759155835342656967408999887597/2448948433671009403347293298937\ *c_1001_8^9 - 10446680931525188399828326599714835/24489484336710094\ 03347293298937*c_1001_8^8 + 3485553852914632859074454184753574/2448\ 948433671009403347293298937*c_1001_8^7 - 770978666007006465018610103466612/2448948433671009403347293298937*c\ _1001_8^6 - 723224959682985382608211564748923/244894843367100940334\ 7293298937*c_1001_8^5 + 1073916575301170383003013640433537/24489484\ 33671009403347293298937*c_1001_8^4 - 226453422710767630685812768516988/2448948433671009403347293298937*c\ _1001_8^3 - 155502028869475676485065402336339/244894843367100940334\ 7293298937*c_1001_8^2 + 52827995301264438433492593740827/2448948433\ 671009403347293298937*c_1001_8 + 14137068747053586474670977308180/2\ 448948433671009403347293298937, c_0101_1 + 36301271106658258174810751171052/244894843367100940334729329\ 8937*c_1001_8^21 - 163645991429639068417784576785885/24489484336710\ 09403347293298937*c_1001_8^20 + 1167179268170241670843508176936578/\ 2448948433671009403347293298937*c_1001_8^19 - 7593121884276741493709493818461547/2448948433671009403347293298937*\ c_1001_8^18 + 23887399023613305983898775241345881/24489484336710094\ 03347293298937*c_1001_8^17 - 40864514739521880953397516925109793/24\ 48948433671009403347293298937*c_1001_8^16 + 46249894500366587426583592650621102/2448948433671009403347293298937\ *c_1001_8^15 - 37862408562440461222177697559828549/2448948433671009\ 403347293298937*c_1001_8^14 + 2033781463997398838938776301865121/24\ 48948433671009403347293298937*c_1001_8^13 + 49408596092508259829387384063359915/2448948433671009403347293298937\ *c_1001_8^12 - 42147835024365821439063385165057966/2448948433671009\ 403347293298937*c_1001_8^11 - 23386213542770953107962410346620084/2\ 448948433671009403347293298937*c_1001_8^10 + 42272156225380752339783074520212897/2448948433671009403347293298937\ *c_1001_8^9 - 939320644703703621774289004207848/2448948433671009403\ 347293298937*c_1001_8^8 - 18170424887656891256830164513032972/24489\ 48433671009403347293298937*c_1001_8^7 + 3874000991868122947096712833587770/2448948433671009403347293298937*\ c_1001_8^6 + 3714888799306886805951540143545498/2448948433671009403\ 347293298937*c_1001_8^5 - 717989149876067179120549970611675/2448948\ 433671009403347293298937*c_1001_8^4 - 527065337179223044573334306452807/2448948433671009403347293298937*c\ _1001_8^3 + 10208345213172869267745309531163/2448948433671009403347\ 293298937*c_1001_8^2 + 74978983220318716101843787962858/24489484336\ 71009403347293298937*c_1001_8 + 18638794529015412939099838077620/24\ 48948433671009403347293298937, c_0101_11 + 20488888479873449296658645795304/24489484336710094033472932\ 98937*c_1001_8^21 - 103106289801645524890275341375182/2448948433671\ 009403347293298937*c_1001_8^20 + 719923563915817418215199861601926/\ 2448948433671009403347293298937*c_1001_8^19 - 4695472795096248782213040453474980/2448948433671009403347293298937*\ c_1001_8^18 + 16174786473718211089383979024355469/24489484336710094\ 03347293298937*c_1001_8^17 - 33044237264059338641440400705904300/24\ 48948433671009403347293298937*c_1001_8^16 + 48200878460200953097057916266836075/2448948433671009403347293298937\ *c_1001_8^15 - 55032457862554672453844475184880209/2448948433671009\ 403347293298937*c_1001_8^14 + 39928635222391981648789824877241039/2\ 448948433671009403347293298937*c_1001_8^13 - 1690150970014650286291653731480752/2448948433671009403347293298937*\ c_1001_8^12 - 21190083911185597866242425414048949/24489484336710094\ 03347293298937*c_1001_8^11 + 6632441394940262329511691011069935/244\ 8948433671009403347293298937*c_1001_8^10 + 11961759155835342656967408999887597/2448948433671009403347293298937\ *c_1001_8^9 - 10446680931525188399828326599714835/24489484336710094\ 03347293298937*c_1001_8^8 + 3485553852914632859074454184753574/2448\ 948433671009403347293298937*c_1001_8^7 - 770978666007006465018610103466612/2448948433671009403347293298937*c\ _1001_8^6 - 723224959682985382608211564748923/244894843367100940334\ 7293298937*c_1001_8^5 + 1073916575301170383003013640433537/24489484\ 33671009403347293298937*c_1001_8^4 - 226453422710767630685812768516988/2448948433671009403347293298937*c\ _1001_8^3 - 155502028869475676485065402336339/244894843367100940334\ 7293298937*c_1001_8^2 + 52827995301264438433492593740827/2448948433\ 671009403347293298937*c_1001_8 + 14137068747053586474670977308180/2\ 448948433671009403347293298937, c_0101_4 - 23345965449020111395655113614184/244894843367100940334729329\ 8937*c_1001_8^21 + 90790231836883796487911881215950/244894843367100\ 9403347293298937*c_1001_8^20 - 670916048446812406135670732496942/24\ 48948433671009403347293298937*c_1001_8^19 + 4343763949621209288482238465466172/2448948433671009403347293298937*\ c_1001_8^18 - 11826186476023324152060405488288755/24489484336710094\ 03347293298937*c_1001_8^17 + 13411329566621487540660226369529137/24\ 48948433671009403347293298937*c_1001_8^16 - 1850676909535161380106928135434910/2448948433671009403347293298937*\ c_1001_8^15 - 17312730814321016417062550690337568/24489484336710094\ 03347293298937*c_1001_8^14 + 45540334902876048910957945143468549/24\ 48948433671009403347293298937*c_1001_8^13 - 65384961725166311702475645764717118/2448948433671009403347293298937\ *c_1001_8^12 + 26149567126852446051083775331226868/2448948433671009\ 403347293298937*c_1001_8^11 + 42192322689356032630668551323460750/2\ 448948433671009403347293298937*c_1001_8^10 - 41545431880644235914820193956548290/2448948433671009403347293298937\ *c_1001_8^9 - 13396847555502390760945207392494118/24489484336710094\ 03347293298937*c_1001_8^8 + 29440926652081924550944747805335093/244\ 8948433671009403347293298937*c_1001_8^7 - 5341730099614493077552437819329171/2448948433671009403347293298937*\ c_1001_8^6 - 6965383117059181333864680499012533/2448948433671009403\ 347293298937*c_1001_8^5 + 2568561154134869268806860001768339/244894\ 8433671009403347293298937*c_1001_8^4 + 634848836570958884852576501889775/2448948433671009403347293298937*c\ _1001_8^3 - 323818221887098442178763724779964/244894843367100940334\ 7293298937*c_1001_8^2 - 40483712862277731971729933027526/2448948433\ 671009403347293298937*c_1001_8 + 4808621099392137853650732914424/24\ 48948433671009403347293298937, c_0101_8 + 2759735191301781848332224532752/2448948433671009403347293298\ 937*c_1001_8^21 - 14512103653237525937243103097604/2448948433671009\ 403347293298937*c_1001_8^20 + 99208208220022956373449451861718/2448\ 948433671009403347293298937*c_1001_8^19 - 649158632855671482447240451690030/2448948433671009403347293298937*c\ _1001_8^18 + 2286945407661140792553033670627115/2448948433671009403\ 347293298937*c_1001_8^17 - 4714886800022003068514853001392543/24489\ 48433671009403347293298937*c_1001_8^16 + 6644314347505769764757231807547440/2448948433671009403347293298937*\ c_1001_8^15 - 6982396247264018902023258863336373/244894843367100940\ 3347293298937*c_1001_8^14 + 4184245878231997364544886188901080/2448\ 948433671009403347293298937*c_1001_8^13 + 1807879366312604910767363672755425/2448948433671009403347293298937*\ c_1001_8^12 - 5206265072262333890110733165621304/244894843367100940\ 3347293298937*c_1001_8^11 + 1570639056793430248158943253635817/2448\ 948433671009403347293298937*c_1001_8^10 + 3324388050894764517924546925666742/2448948433671009403347293298937*\ c_1001_8^9 - 2857899141873390732929501994909097/2448948433671009403\ 347293298937*c_1001_8^8 - 208050454677910929980554295340931/2448948\ 433671009403347293298937*c_1001_8^7 + 1086103611101600193351585307348312/2448948433671009403347293298937*\ c_1001_8^6 - 258105550674408885775831252478226/24489484336710094033\ 47293298937*c_1001_8^5 - 176132228421134246879234918270282/24489484\ 33671009403347293298937*c_1001_8^4 + 74663745698300193254660167818413/2448948433671009403347293298937*c_\ 1001_8^3 + 18396584407034426308122817748375/24489484336710094033472\ 93298937*c_1001_8^2 - 11491179643016702790687811746281/244894843367\ 1009403347293298937*c_1001_8 - 818549251537095608692887891694/24489\ 48433671009403347293298937, c_1001_0 + 60071056767189803325391866839348/244894843367100940334729329\ 8937*c_1001_8^21 - 366368427021412045848384130173187/24489484336710\ 09403347293298937*c_1001_8^20 + 2430432416634008002727999075454544/\ 2448948433671009403347293298937*c_1001_8^19 - 15979079758674443295960198542949858/2448948433671009403347293298937\ *c_1001_8^18 + 61881567800721621669268200240333916/2448948433671009\ 403347293298937*c_1001_8^17 - 145951282191809439568323911687538346/\ 2448948433671009403347293298937*c_1001_8^16 + 236705252581400320815097842888046594/244894843367100940334729329893\ 7*c_1001_8^15 - 287602484999848847729521593983305027/24489484336710\ 09403347293298937*c_1001_8^14 + 24222921798458856929822202874935238\ 6/2448948433671009403347293298937*c_1001_8^13 - 66183925121718965547320068385745588/2448948433671009403347293298937\ *c_1001_8^12 - 121359267011414325158893191552441592/244894843367100\ 9403347293298937*c_1001_8^11 + 121310223372623006543172582375868288\ /2448948433671009403347293298937*c_1001_8^10 + 32177639159553898807978513911794902/2448948433671009403347293298937\ *c_1001_8^9 - 109221203636939910843890611627540729/2448948433671009\ 403347293298937*c_1001_8^8 + 49295288273847707961284708456975261/24\ 48948433671009403347293298937*c_1001_8^7 + 15645839378478751690614465489331792/2448948433671009403347293298937\ *c_1001_8^6 - 19100578210196294126688490247977783/24489484336710094\ 03347293298937*c_1001_8^5 + 2610018743919854384479102868176958/2448\ 948433671009403347293298937*c_1001_8^4 + 2263841079526386929317586007837267/2448948433671009403347293298937*\ c_1001_8^3 - 696281706923043352469485750898139/24489484336710094033\ 47293298937*c_1001_8^2 - 75754604685569055654121588525337/244894843\ 3671009403347293298937*c_1001_8 + 36035697342010829731944115103571/\ 2448948433671009403347293298937, c_1001_8^22 - 23/4*c_1001_8^21 + 77/2*c_1001_8^20 - 1011/4*c_1001_8^19 + 3773/4*c_1001_8^18 - 2109*c_1001_8^17 + 6453/2*c_1001_8^16 - 7357/2*c_1001_8^15 + 5441/2*c_1001_8^14 - 117/2*c_1001_8^13 - 2209*c_1001_8^12 + 5819/4*c_1001_8^11 + 3829/4*c_1001_8^10 - 3209/2*c_1001_8^9 + 793/2*c_1001_8^8 + 430*c_1001_8^7 - 269*c_1001_8^6 - 85/4*c_1001_8^5 + 211/4*c_1001_8^4 - 23/4*c_1001_8^3 - 19/4*c_1001_8^2 + 3/4*c_1001_8 + 1/4, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.420 Total time: 0.630 seconds, Total memory usage: 32.09MB