Magma V2.19-8 Wed Aug 21 2013 00:56:35 on localhost [Seed = 525927891] Type ? for help. Type -D to quit. Loading file "L13n2698__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2698 geometric_solution 11.84352491 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 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 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544636058872 0.940450356691 0 5 7 6 0132 0132 0132 0132 1 0 1 1 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 0 7 0 -7 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.441010078322 0.332742905387 8 0 10 9 0132 0132 0132 0132 1 1 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 -1 0 1 1 0 0 -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.744965396320 0.920256457750 4 11 11 0 3201 0132 3201 0132 1 0 1 0 0 0 0 0 -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 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.278613725168 1.368578600371 12 6 0 3 0132 3012 0132 2310 1 0 0 1 0 0 0 0 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 -1 1 0 -1 0 1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199903158752 0.985397354877 10 1 8 6 1023 0132 2031 0321 1 1 1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 -1 8 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.744965396320 0.920256457750 4 5 1 7 1230 0321 0132 0321 1 0 1 1 0 1 -1 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 -8 7 1 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 1.058467291207 0.981698827967 11 6 12 1 3201 0321 0321 0132 1 0 1 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 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.779679229755 1.234338056228 2 10 10 5 0132 1023 3120 1302 1 1 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 -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.314818191438 0.694936181474 12 11 2 12 3012 0213 0132 2031 1 1 0 1 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 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.634209318767 0.579096301696 8 5 8 2 1023 1023 3120 0132 1 1 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 0 0 1.069007611222 1.132493285107 3 3 9 7 2310 0132 0213 2310 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.201549704161 0.423656061394 4 9 7 9 0132 1302 0321 1230 1 0 1 0 0 0 0 0 -1 0 0 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 1 0 0 -1 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.779679229755 1.234338056228 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_12']), 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0110_9'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_9']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : d['c_0101_8'], 'c_1010_11' : negation(d['c_0011_9']), 'c_1010_10' : negation(d['c_0011_6']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_9'], '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_12' : 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' : 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_1100_9' : negation(d['c_0101_8']), 'c_1100_8' : negation(d['c_0101_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : d['c_0110_9'], 'c_1100_6' : d['c_0110_9'], 'c_1100_1' : d['c_0110_9'], 'c_1100_0' : negation(d['c_0011_11']), 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : negation(d['c_0101_8']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : d['c_0101_2'], 's_3_1' : d['1'], 's_3_0' : 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'], 'c_1100_12' : d['c_0110_9'], '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' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : d['c_0011_12'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0011_9'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_9'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_9'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0011_9'], 'c_0011_10' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_6, c_0011_9, c_0101_0, c_0101_10, c_0101_12, c_0101_2, c_0101_8, c_0110_9, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 841965438182625333928613229661903639402830/461632057194423077509557\ 7006445594831*c_1001_1^19 + 129741313071876411473566221190110721058\ 906/4616320571944230775095577006445594831*c_1001_1^18 - 2565612754408783232795366635208626468146909/92326411438884615501911\ 54012891189662*c_1001_1^17 + 34157690544628403172320748589755868030\ 24768/4616320571944230775095577006445594831*c_1001_1^16 + 5650488294072732671187298355330749825752129/92326411438884615501911\ 54012891189662*c_1001_1^15 + 18912129011991576058975854222260835212\ 471564/4616320571944230775095577006445594831*c_1001_1^14 + 26724346712938938354043785143758685809480531/4616320571944230775095\ 577006445594831*c_1001_1^13 + 9347920270922837917897430622927716224\ 8120663/9232641143888461550191154012891189662*c_1001_1^12 + 54370179030699028231352130815146616964270613/4616320571944230775095\ 577006445594831*c_1001_1^11 + 1281315354463117487946502705092890618\ 61119607/9232641143888461550191154012891189662*c_1001_1^10 + 58964084023842584735312727321502463844800136/4616320571944230775095\ 577006445594831*c_1001_1^9 + 39877513597161938196886557254703491296\ 216002/4616320571944230775095577006445594831*c_1001_1^8 + 33616801738180876039481746375136416061064915/9232641143888461550191\ 154012891189662*c_1001_1^7 + 77700487953564936929950906567626863192\ 07191/9232641143888461550191154012891189662*c_1001_1^6 + 5129231351544843622050762992948958228655048/46163205719442307750955\ 77006445594831*c_1001_1^5 + 574007648053253701682765578927071802900\ 0029/4616320571944230775095577006445594831*c_1001_1^4 + 8103180964833739481962741168935346522342163/92326411438884615501911\ 54012891189662*c_1001_1^3 + 132167968966205566898680405462122796842\ 2548/4616320571944230775095577006445594831*c_1001_1^2 + 535786468801317052447829617969344648014709/461632057194423077509557\ 7006445594831*c_1001_1 + 220039204509309035767009641586675291394179\ /4616320571944230775095577006445594831, c_0011_0 - 1, c_0011_11 - 115375754649269897372548115622399990/1642818708876950453770\ 6679738240551*c_1001_1^19 + 385551605680487079657069266137039828/16\ 428187088769504537706679738240551*c_1001_1^18 - 660963338076044114126888786073647763/164281870887695045377066797382\ 40551*c_1001_1^17 + 1370537863721065127573454518531004522/164281870\ 88769504537706679738240551*c_1001_1^16 - 1876214313676786836998292150060120274/16428187088769504537706679738\ 240551*c_1001_1^15 + 3492640237419013676679672175836357888/16428187\ 088769504537706679738240551*c_1001_1^14 - 4358138961700268906419555965514301182/16428187088769504537706679738\ 240551*c_1001_1^13 + 3707171477079451025249811936423149717/16428187\ 088769504537706679738240551*c_1001_1^12 - 5199225460261341023566025030660079817/16428187088769504537706679738\ 240551*c_1001_1^11 + 1875121430124299383075413191562066845/16428187\ 088769504537706679738240551*c_1001_1^10 - 4742106711254318623126217937879260567/16428187088769504537706679738\ 240551*c_1001_1^9 - 570164963346517751171288180507438989/1642818708\ 8769504537706679738240551*c_1001_1^8 - 1006010993753420735499140705906273307/16428187088769504537706679738\ 240551*c_1001_1^7 + 1115881275797594250480278956458978858/164281870\ 88769504537706679738240551*c_1001_1^6 - 292968240541639351477905158182823991/164281870887695045377066797382\ 40551*c_1001_1^5 - 577509231379096016721672015243395517/16428187088\ 769504537706679738240551*c_1001_1^4 + 40064431642310142375352300079515634/1642818708876950453770667973824\ 0551*c_1001_1^3 - 40736351464961555446530916512918890/1642818708876\ 9504537706679738240551*c_1001_1^2 + 8018525781481589091136524798087237/16428187088769504537706679738240\ 551*c_1001_1 - 10301319113921030411161350979515462/1642818708876950\ 4537706679738240551, c_0011_12 - 37979478378898963420198915851453305/16428187088769504537706\ 679738240551*c_1001_1^19 + 139400441707218155399745381646316886/164\ 28187088769504537706679738240551*c_1001_1^18 - 357414937870126979330053709899960499/164281870887695045377066797382\ 40551*c_1001_1^17 + 682701278832779605633746175100781931/1642818708\ 8769504537706679738240551*c_1001_1^16 - 1031317436706466466128970498368796110/16428187088769504537706679738\ 240551*c_1001_1^15 + 1996924678105826526129797278392260837/16428187\ 088769504537706679738240551*c_1001_1^14 - 2180230840332455782397811926125214203/16428187088769504537706679738\ 240551*c_1001_1^13 + 3774498034421555391390033970094109199/16428187\ 088769504537706679738240551*c_1001_1^12 - 1935850649044458003178141379869513637/16428187088769504537706679738\ 240551*c_1001_1^11 + 3942358522145927519341941958300074836/16428187\ 088769504537706679738240551*c_1001_1^10 - 804701415833614433042778382984453900/164281870887695045377066797382\ 40551*c_1001_1^9 + 2680331568383999145843942696334018344/1642818708\ 8769504537706679738240551*c_1001_1^8 + 351938189536991650112408680264412772/164281870887695045377066797382\ 40551*c_1001_1^7 + 491249086412110852463526591587026365/16428187088\ 769504537706679738240551*c_1001_1^6 - 563763705874197002330991301675825069/164281870887695045377066797382\ 40551*c_1001_1^5 + 149842314486792276086545323833029207/16428187088\ 769504537706679738240551*c_1001_1^4 + 388516360709711557497917435228133631/164281870887695045377066797382\ 40551*c_1001_1^3 - 58803923868399774117702296016475383/164281870887\ 69504537706679738240551*c_1001_1^2 - 6381568101501410727442492590242820/16428187088769504537706679738240\ 551*c_1001_1 + 10672327788087074933306654425051940/1642818708876950\ 4537706679738240551, c_0011_6 + 16585451222225509973688176524998410/164281870887695045377066\ 79738240551*c_1001_1^19 + 3738425463689583552539167128409218/164281\ 87088769504537706679738240551*c_1001_1^18 + 15967101760123833686731325012357568/1642818708876950453770667973824\ 0551*c_1001_1^17 - 54425968431801914829873341013843617/164281870887\ 69504537706679738240551*c_1001_1^16 - 94043489468999903461059354075608342/1642818708876950453770667973824\ 0551*c_1001_1^15 - 355489258762006414717612474873547398/16428187088\ 769504537706679738240551*c_1001_1^14 - 650188058341108285788600013406274035/164281870887695045377066797382\ 40551*c_1001_1^13 - 936516446056671889458012428145437432/1642818708\ 8769504537706679738240551*c_1001_1^12 - 1210524509092687010205866329479249855/16428187088769504537706679738\ 240551*c_1001_1^11 - 1265862344449144311940517969991925073/16428187\ 088769504537706679738240551*c_1001_1^10 - 1246380505817973734481871744849877863/16428187088769504537706679738\ 240551*c_1001_1^9 - 725760040473586985573236070384555789/1642818708\ 8769504537706679738240551*c_1001_1^8 - 242011827015627738520274540439476695/164281870887695045377066797382\ 40551*c_1001_1^7 + 38441323404994058129571519585164903/164281870887\ 69504537706679738240551*c_1001_1^6 - 94629755689876984342270317534432937/1642818708876950453770667973824\ 0551*c_1001_1^5 - 152438273168627751927038857870118182/164281870887\ 69504537706679738240551*c_1001_1^4 - 81066310868113351281408793443888782/1642818708876950453770667973824\ 0551*c_1001_1^3 + 17448153527979204766936688010770176/1642818708876\ 9504537706679738240551*c_1001_1^2 + 137870793847885622779746280149149/164281870887695045377066797382405\ 51*c_1001_1 - 13288617781864833061777510699872214/16428187088769504\ 537706679738240551, c_0011_9 + 271066612167516965860511001944129000/16428187088769504537706\ 679738240551*c_1001_1^19 - 397074497591205820630292483879505570/164\ 28187088769504537706679738240551*c_1001_1^18 + 751115931144513525960868278008212259/164281870887695045377066797382\ 40551*c_1001_1^17 - 1812200909095667165488634361296654507/164281870\ 88769504537706679738240551*c_1001_1^16 + 973186628918131354826539399498219949/164281870887695045377066797382\ 40551*c_1001_1^15 - 6188683109549392824867277592574543655/164281870\ 88769504537706679738240551*c_1001_1^14 - 1085417047385607716804444096462022641/16428187088769504537706679738\ 240551*c_1001_1^13 - 9641921945117440290756707438131432604/16428187\ 088769504537706679738240551*c_1001_1^12 - 4008068687717001462976756926803588588/16428187088769504537706679738\ 240551*c_1001_1^11 - 9421407129771042258847435164486126252/16428187\ 088769504537706679738240551*c_1001_1^10 - 3618679609513833819138369582957259333/16428187088769504537706679738\ 240551*c_1001_1^9 - 2357814363423841406204504097478453864/164281870\ 88769504537706679738240551*c_1001_1^8 + 451891638259547645625824671190109846/164281870887695045377066797382\ 40551*c_1001_1^7 - 594150911266078966611623253068654916/16428187088\ 769504537706679738240551*c_1001_1^6 - 772752903335835820289770592885866519/164281870887695045377066797382\ 40551*c_1001_1^5 - 326765562996237174465992111378275487/16428187088\ 769504537706679738240551*c_1001_1^4 - 301885388148009592366831113836264554/164281870887695045377066797382\ 40551*c_1001_1^3 + 8792849433512313478673056504201630/1642818708876\ 9504537706679738240551*c_1001_1^2 + 21636505086277223014096880081036181/1642818708876950453770667973824\ 0551*c_1001_1 - 8442212605430369487022769340569033/1642818708876950\ 4537706679738240551, c_0101_0 - 1, c_0101_10 + 172676311879756931176104297110258535/1642818708876950453770\ 6679738240551*c_1001_1^19 - 192401332408887112625721642673625282/16\ 428187088769504537706679738240551*c_1001_1^18 + 382428599285585007986748624590896233/164281870887695045377066797382\ 40551*c_1001_1^17 - 1033187557197237391887782093443698756/164281870\ 88769504537706679738240551*c_1001_1^16 + 299312374370366289952348526006573903/164281870887695045377066797382\ 40551*c_1001_1^15 - 3852395129310172141781906127153391267/164281870\ 88769504537706679738240551*c_1001_1^14 - 1688370360032934716112276569104239989/16428187088769504537706679738\ 240551*c_1001_1^13 - 6514309100015352022281763732150270999/16428187\ 088769504537706679738240551*c_1001_1^12 - 3396089197471774747324240844802867628/16428187088769504537706679738\ 240551*c_1001_1^11 - 6779679376979701896033868873168167810/16428187\ 088769504537706679738240551*c_1001_1^10 - 2624064026805743646735722468546444470/16428187088769504537706679738\ 240551*c_1001_1^9 - 1792722583265748254217563884290672353/164281870\ 88769504537706679738240551*c_1001_1^8 + 1253207684033571793529336468830436405/16428187088769504537706679738\ 240551*c_1001_1^7 - 56247257140316051692996518205515320/16428187088\ 769504537706679738240551*c_1001_1^6 - 572168105578788209037530256107782193/164281870887695045377066797382\ 40551*c_1001_1^5 - 520725828463438624939846813985761115/16428187088\ 769504537706679738240551*c_1001_1^4 - 10819330790415164821277932125035342/1642818708876950453770667973824\ 0551*c_1001_1^3 + 99903726709541380136983807674098804/1642818708876\ 9504537706679738240551*c_1001_1^2 - 41834367428970429416309205771318006/1642818708876950453770667973824\ 0551*c_1001_1 + 12420406433770800280936929873324199/164281870887695\ 04537706679738240551, c_0101_12 + 762924540270340059477904584144970030/1642818708876950453770\ 6679738240551*c_1001_1^19 - 3345365559560638489721318994245411876/1\ 6428187088769504537706679738240551*c_1001_1^18 + 6187676429788257861057401301022873808/16428187088769504537706679738\ 240551*c_1001_1^17 - 12261893744392846037402959261476915107/1642818\ 7088769504537706679738240551*c_1001_1^16 + 19414875913792037364397871924226661868/1642818708876950453770667973\ 8240551*c_1001_1^15 - 30114813660042183077772429355106268291/164281\ 87088769504537706679738240551*c_1001_1^14 + 49120916720882684153526388094332909310/1642818708876950453770667973\ 8240551*c_1001_1^13 - 35191420343003442892343113073074683440/164281\ 87088769504537706679738240551*c_1001_1^12 + 60302251884399638797470520409377649620/1642818708876950453770667973\ 8240551*c_1001_1^11 - 20034879471440559095346129271728419947/164281\ 87088769504537706679738240551*c_1001_1^10 + 50928459070253322953551091477916896673/1642818708876950453770667973\ 8240551*c_1001_1^9 - 3276634458552331583585617344435559756/16428187\ 088769504537706679738240551*c_1001_1^8 + 7650712648368150387453947077845216692/16428187088769504537706679738\ 240551*c_1001_1^7 - 10403988738469388355213109104993517644/16428187\ 088769504537706679738240551*c_1001_1^6 + 5920622816412914685483802278001768196/16428187088769504537706679738\ 240551*c_1001_1^5 + 4023150885672019204774087063574882970/164281870\ 88769504537706679738240551*c_1001_1^4 - 1604330755169076443708132354536886148/16428187088769504537706679738\ 240551*c_1001_1^3 + 1070645942953135996586869476912950594/164281870\ 88769504537706679738240551*c_1001_1^2 - 132047854092017884619727371300500095/164281870887695045377066797382\ 40551*c_1001_1 - 60616194362276043805883200458876311/16428187088769\ 504537706679738240551, c_0101_2 - 78509233439080343627891647920611835/164281870887695045377066\ 79738240551*c_1001_1^19 + 63173361550313346860178883777239612/16428\ 187088769504537706679738240551*c_1001_1^18 - 166163355780292717944176543843642652/164281870887695045377066797382\ 40551*c_1001_1^17 + 428990847307940212274619175304338421/1642818708\ 8769504537706679738240551*c_1001_1^16 - 26986818386069372505470638600756851/1642818708876950453770667973824\ 0551*c_1001_1^15 + 1809457586536557376952906864331482824/1642818708\ 8769504537706679738240551*c_1001_1^14 + 1320541868396074109269399353449888253/16428187088769504537706679738\ 240551*c_1001_1^13 + 3632695033810444087722076136590375066/16428187\ 088769504537706679738240551*c_1001_1^12 + 2837305175238998785461717192619453572/16428187088769504537706679738\ 240551*c_1001_1^11 + 4439214399104609014345441475632738636/16428187\ 088769504537706679738240551*c_1001_1^10 + 2889955090625500049933289117525256750/16428187088769504537706679738\ 240551*c_1001_1^9 + 2235012547830274405408626403823385677/164281870\ 88769504537706679738240551*c_1001_1^8 + 410553418132422043806571689396637246/164281870887695045377066797382\ 40551*c_1001_1^7 + 334646052127689645090489430515299753/16428187088\ 769504537706679738240551*c_1001_1^6 + 318151691069213261974418582770812527/164281870887695045377066797382\ 40551*c_1001_1^5 + 342688556827737197312734128332888263/16428187088\ 769504537706679738240551*c_1001_1^4 + 170048675083948498247625574925371142/164281870887695045377066797382\ 40551*c_1001_1^3 + 59493716705076348955010354430370148/164281870887\ 69504537706679738240551*c_1001_1^2 + 37529746038443860759576725730822541/1642818708876950453770667973824\ 0551*c_1001_1 - 9699365974709084705918795186350930/1642818708876950\ 4537706679738240551, c_0101_8 + c_1001_1, c_0110_9 + 59988541517084730565406899552841885/164281870887695045377066\ 79738240551*c_1001_1^19 - 168175101560618756328597703506612782/1642\ 8187088769504537706679738240551*c_1001_1^18 + 303948118438321763975782447543974249/164281870887695045377066797382\ 40551*c_1001_1^17 - 642570138279761064089815702665314249/1642818708\ 8769504537706679738240551*c_1001_1^16 + 776199986421439400162880378863598536/164281870887695045377066797382\ 40551*c_1001_1^15 - 1741671282580237394498146631131603043/164281870\ 88769504537706679738240551*c_1001_1^14 + 1558883881629383020976867527758175177/16428187088769504537706679738\ 240551*c_1001_1^13 - 2137014604581002812983296340824011347/16428187\ 088769504537706679738240551*c_1001_1^12 + 1617940045168982367409612540212002797/16428187088769504537706679738\ 240551*c_1001_1^11 - 1317262553788292188588408677837760874/16428187\ 088769504537706679738240551*c_1001_1^10 + 1452492483835553073733071592250518971/16428187088769504537706679738\ 240551*c_1001_1^9 + 185908309305274571692943171343035980/1642818708\ 8769504537706679738240551*c_1001_1^8 + 450150177453938256994181391392107580/164281870887695045377066797382\ 40551*c_1001_1^7 - 123400501391708232300635671864498505/16428187088\ 769504537706679738240551*c_1001_1^6 + 167212021620898566905056794978521463/164281870887695045377066797382\ 40551*c_1001_1^5 + 151535418066069114631952275533304445/16428187088\ 769504537706679738240551*c_1001_1^4 - 132509728249634003671054441181105971/164281870887695045377066797382\ 40551*c_1001_1^3 + 68342746159340630644483335919759801/164281870887\ 69504537706679738240551*c_1001_1^2 + 33128379692454397991953599291038902/1642818708876950453770667973824\ 0551*c_1001_1 - 3902509449616939620675728552425584/1642818708876950\ 4537706679738240551, c_1001_0 + 21457591190206041075336486032450410/164281870887695045377066\ 79738240551*c_1001_1^19 - 19634395436796886747501232904420182/16428\ 187088769504537706679738240551*c_1001_1^18 + 43026785744013198512757281385591068/1642818708876950453770667973824\ 0551*c_1001_1^17 - 118899350769417951594792086974513117/16428187088\ 769504537706679738240551*c_1001_1^16 + 14620338226732244811613244881429719/1642818708876950453770667973824\ 0551*c_1001_1^15 - 475241505588207059538140234685034293/16428187088\ 769504537706679738240551*c_1001_1^14 - 302501175646010516164143381172500316/164281870887695045377066797382\ 40551*c_1001_1^13 - 869410745901379712419629817134746977/1642818708\ 8769504537706679738240551*c_1001_1^12 - 594689399490502944010672128455329714/164281870887695045377066797382\ 40551*c_1001_1^11 - 988058722801941889023104506434665215/1642818708\ 8769504537706679738240551*c_1001_1^10 - 547436450700396888593328112589775050/164281870887695045377066797382\ 40551*c_1001_1^9 - 369953684633340429595289648218595179/16428187088\ 769504537706679738240551*c_1001_1^8 + 39421201225977658952024858130667287/1642818708876950453770667973824\ 0551*c_1001_1^7 - 48050140494324368606142573746520411/1642818708876\ 9504537706679738240551*c_1001_1^6 - 83560121086273064888476486726882344/1642818708876950453770667973824\ 0551*c_1001_1^5 - 77257416024646990370343728078831399/1642818708876\ 9504537706679738240551*c_1001_1^4 + 29577379817764461725210024288256223/1642818708876950453770667973824\ 0551*c_1001_1^3 + 1390349371978413327707241501492537/16428187088769\ 504537706679738240551*c_1001_1^2 + 705726554135123432820445824100675/164281870887695045377066797382405\ 51*c_1001_1 - 438511857095790248812859666933155/1642818708876950453\ 7706679738240551, c_1001_1^20 - 56/55*c_1001_1^19 + 123/55*c_1001_1^18 - 324/55*c_1001_1^17 + 78/55*c_1001_1^16 - 1257/55*c_1001_1^15 - 651/55*c_1001_1^14 - 2282/55*c_1001_1^13 - 276/11*c_1001_1^12 - 509/11*c_1001_1^11 - 1239/55*c_1001_1^10 - 88/5*c_1001_1^9 + 168/55*c_1001_1^8 - 19/11*c_1001_1^7 - 34/11*c_1001_1^6 - 196/55*c_1001_1^5 - 52/55*c_1001_1^4 + 6/55*c_1001_1^3 - 13/55*c_1001_1^2 + 4/55*c_1001_1 + 1/55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.480 seconds, Total memory usage: 32.09MB