Magma V2.19-8 Tue Aug 20 2013 23:53:35 on localhost [Seed = 2749745244] Type ? for help. Type -D to quit. Loading file "K12n394__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n394 geometric_solution 12.31372760 oriented_manifold CS_known -0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.737586245866 0.928159870150 0 5 7 6 0132 0132 0132 0132 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 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 1.038983139450 1.064163773736 8 0 9 4 0132 0132 0132 0213 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410020666495 0.547468897960 5 8 8 0 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 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 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.488314356945 0.969224398403 5 10 0 2 3120 0132 0132 0213 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 -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.712595529877 0.434175704306 3 1 7 4 0132 0132 2103 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.084597534982 0.698877181812 9 11 1 12 0321 0132 0132 0132 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 -1 0 1 0 0 1 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309587796824 0.729995684027 5 12 9 1 2103 0132 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522359372932 0.662481608957 2 3 3 11 0132 0132 0321 1230 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 -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.488314356945 0.969224398403 6 10 7 2 0321 0321 0321 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.499037839728 0.614991316479 11 4 12 9 2103 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503305545126 0.821175141083 8 6 10 12 3012 0132 2103 3120 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 -1 0 0 1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.460720822252 0.891579623097 11 7 6 10 3120 0132 0132 0132 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 -1 1 -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.539279177748 0.891579623097 ==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_1001_10'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0011_12']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_1001_2'], 's_3_11' : d['1'], 's_0_11' : 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_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(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' : d['c_1001_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_1001_0'], 'c_1100_7' : d['c_1001_9'], 'c_1100_6' : d['c_1001_9'], 'c_1100_1' : d['c_1001_9'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_1001_10'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : d['c_1001_9'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_12']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_1001_9'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(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_10']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_6' : negation(d['c_0011_9']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_0']), 'c_0101_8' : negation(d['c_0101_3']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0101_10']})} 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_10, c_0011_11, c_0011_12, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_1001_0, c_1001_10, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 12031093288383219/178986088841*c_1001_9^9 - 105781635881439425/23089205460489*c_1001_9^8 + 1299589925125226661/7696401820163*c_1001_9^7 - 1620207704326226902/23089205460489*c_1001_9^6 + 2037390807468810389/23089205460489*c_1001_9^5 - 748904385229869851/7696401820163*c_1001_9^4 + 1596852896486508128/23089205460489*c_1001_9^3 - 4815009634665539/178986088841*c_1001_9^2 + 502471161400817792/23089205460489*c_1001_9 - 137863025211832187/23089205460489, c_0011_0 - 1, c_0011_10 - 152895603487/25569441263*c_1001_9^9 - 82373637025/25569441263*c_1001_9^8 - 424391003225/25569441263*c_1001_9^7 - 91473934656/25569441263*c_1001_9^6 - 226189564350/25569441263*c_1001_9^5 + 84089906933/25569441263*c_1001_9^4 - 78396541227/25569441263*c_1001_9^3 - 27703637769/25569441263*c_1001_9^2 - 30468766099/25569441263*c_1001_9 - 24718056961/25569441263, c_0011_11 - 70961590822/25569441263*c_1001_9^9 - 101094947509/25569441263*c_1001_9^8 - 152872139179/25569441263*c_1001_9^7 - 149426906388/25569441263*c_1001_9^6 + 47804552847/25569441263*c_1001_9^5 + 76844428750/25569441263*c_1001_9^4 + 42535180779/25569441263*c_1001_9^3 - 17297238303/25569441263*c_1001_9^2 - 20577409598/25569441263*c_1001_9 - 2439080954/25569441263, c_0011_12 + 223532727790/25569441263*c_1001_9^9 + 62328770535/25569441263*c_1001_9^8 + 584817238598/25569441263*c_1001_9^7 + 27241055433/25569441263*c_1001_9^6 + 292328674099/25569441263*c_1001_9^5 - 79977463203/25569441263*c_1001_9^4 + 118242053563/25569441263*c_1001_9^3 + 18147406911/25569441263*c_1001_9^2 + 10185027693/25569441263*c_1001_9 + 18801030368/25569441263, c_0011_9 + 16505464/17382353*c_1001_9^9 + 5663540/17382353*c_1001_9^8 + 54420153/17382353*c_1001_9^7 + 16827946/17382353*c_1001_9^6 + 58131591/17382353*c_1001_9^5 + 6609288/17382353*c_1001_9^4 + 34595089/17382353*c_1001_9^3 - 10853001/17382353*c_1001_9^2 - 1145093/17382353*c_1001_9 + 4024822/17382353, c_0101_0 - 16505464/17382353*c_1001_9^9 - 5663540/17382353*c_1001_9^8 - 54420153/17382353*c_1001_9^7 - 16827946/17382353*c_1001_9^6 - 58131591/17382353*c_1001_9^5 - 6609288/17382353*c_1001_9^4 - 34595089/17382353*c_1001_9^3 + 10853001/17382353*c_1001_9^2 + 1145093/17382353*c_1001_9 - 4024822/17382353, c_0101_1 + 24061983774/25569441263*c_1001_9^9 + 58146064165/25569441263*c_1001_9^8 + 99338560119/25569441263*c_1001_9^7 + 76098182531/25569441263*c_1001_9^6 + 64853980517/25569441263*c_1001_9^5 - 94349355848/25569441263*c_1001_9^4 - 26915386151/25569441263*c_1001_9^3 - 19300650347/25569441263*c_1001_9^2 + 16756078058/25569441263*c_1001_9 - 10474010933/25569441263, c_0101_10 - 16505464/17382353*c_1001_9^9 - 5663540/17382353*c_1001_9^8 - 54420153/17382353*c_1001_9^7 - 16827946/17382353*c_1001_9^6 - 58131591/17382353*c_1001_9^5 - 6609288/17382353*c_1001_9^4 - 34595089/17382353*c_1001_9^3 + 10853001/17382353*c_1001_9^2 - 16237260/17382353*c_1001_9 - 4024822/17382353, c_0101_3 + 128942464796/25569441263*c_1001_9^9 + 57917821009/25569441263*c_1001_9^8 + 290933327090/25569441263*c_1001_9^7 + 18350200558/25569441263*c_1001_9^6 + 61771931369/25569441263*c_1001_9^5 - 102643664943/25569441263*c_1001_9^4 + 88954337863/25569441263*c_1001_9^3 + 25673611386/25569441263*c_1001_9^2 + 26288730249/25569441263*c_1001_9 - 21295096715/25569441263, c_1001_0 - 101210141159/25569441263*c_1001_9^9 - 175982007151/25569441263*c_1001_9^8 - 319012952517/25569441263*c_1001_9^7 - 348086163376/25569441263*c_1001_9^6 - 143505214627/25569441263*c_1001_9^5 - 22968900405/25569441263*c_1001_9^4 + 41058844564/25569441263*c_1001_9^3 - 36053692014/25569441263*c_1001_9^2 - 30926763219/25569441263*c_1001_9 - 18758951519/25569441263, c_1001_10 - 294494318612/25569441263*c_1001_9^9 - 163423718044/25569441263*c_1001_9^8 - 737689377777/25569441263*c_1001_9^7 - 176667961821/25569441263*c_1001_9^6 - 244524121252/25569441263*c_1001_9^5 + 156821891953/25569441263*c_1001_9^4 - 75706872784/25569441263*c_1001_9^3 - 35444645214/25569441263*c_1001_9^2 - 30762437291/25569441263*c_1001_9 - 21240111322/25569441263, c_1001_2 - 223857194309/25569441263*c_1001_9^9 - 183468584534/25569441263*c_1001_9^8 - 577263142404/25569441263*c_1001_9^7 - 240900841044/25569441263*c_1001_9^6 - 178385011503/25569441263*c_1001_9^5 + 160934335683/25569441263*c_1001_9^4 - 35861360448/25569441263*c_1001_9^3 - 45000876072/25569441263*c_1001_9^2 - 51046175697/25569441263*c_1001_9 - 27157137915/25569441263, c_1001_9^10 + 29/43*c_1001_9^9 + 120/43*c_1001_9^8 + 39/43*c_1001_9^7 + 60/43*c_1001_9^6 - 23/43*c_1001_9^5 + 16/43*c_1001_9^4 + 1/43*c_1001_9^3 + 11/43*c_1001_9^2 + 4/43*c_1001_9 + 1/43 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_1001_0, c_1001_10, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 222630477636845908278998/1187880844729904325*c_1001_9^16 + 192599576415622663351256/1187880844729904325*c_1001_9^15 + 362400380829711343224307/395960281576634775*c_1001_9^14 + 61381032286645604316874/51646993249126275*c_1001_9^13 + 9749029605803636475073763/2375761689459808650*c_1001_9^12 + 952602239078691502250/332274362162211*c_1001_9^11 + 21985679072919352870258771/4751523378919617300*c_1001_9^10 + 18776396065662628021755391/2375761689459808650*c_1001_9^9 + 3983463973723434600670793/678789054131373900*c_1001_9^8 + 3475642491631159649858887/475152337891961730*c_1001_9^7 + 1294690930094084134316611/215978335405437150*c_1001_9^6 + 2420940917452359798871379/475152337891961730*c_1001_9^5 + 44667012905834344076891/9050520721751652*c_1001_9^4 + 12198215394704953396114487/4751523378919617300*c_1001_9^3 + 10154279849827560395045621/4751523378919617300*c_1001_9^2 + 5022316563132418614923/9050520721751652*c_1001_9 + 1647698087082621224823527/4751523378919617300, c_0011_0 - 1, c_0011_10 + 214947508245896/395564716859775*c_1001_9^16 - 55292579005776/131854905619925*c_1001_9^15 + 534114755862412/395564716859775*c_1001_9^14 - 15206888696872/17198465950425*c_1001_9^13 + 1709814629423398/395564716859775*c_1001_9^12 - 968433063776332/79112943371955*c_1001_9^11 - 1027876024276789/131854905619925*c_1001_9^10 + 1439564798413366/395564716859775*c_1001_9^9 - 8796377700813152/395564716859775*c_1001_9^8 - 498712706165714/26370981123985*c_1001_9^7 - 4494702246497834/395564716859775*c_1001_9^6 - 1228644555059636/79112943371955*c_1001_9^5 - 169529415889214/15822588674391*c_1001_9^4 - 5424600134779744/395564716859775*c_1001_9^3 - 3106475148310792/395564716859775*c_1001_9^2 - 355324409115574/79112943371955*c_1001_9 - 533818329755329/395564716859775, c_0011_11 + 131527145317668/131854905619925*c_1001_9^16 + 211077354370156/131854905619925*c_1001_9^15 + 669522229573436/131854905619925*c_1001_9^14 + 55034066613124/5732821983475*c_1001_9^13 + 3242134061595779/131854905619925*c_1001_9^12 + 761754509384711/26370981123985*c_1001_9^11 + 3581607248357749/131854905619925*c_1001_9^10 + 7231708134315878/131854905619925*c_1001_9^9 + 7114955413112014/131854905619925*c_1001_9^8 + 1153772748578678/26370981123985*c_1001_9^7 + 6322112301224823/131854905619925*c_1001_9^6 + 996794487003172/26370981123985*c_1001_9^5 + 167071633636879/5274196224797*c_1001_9^4 + 2962589062151923/131854905619925*c_1001_9^3 + 1503511004278044/131854905619925*c_1001_9^2 + 142371317938907/26370981123985*c_1001_9 + 71197305765738/131854905619925, c_0011_12 + 28258763877868/17198465950425*c_1001_9^16 + 6503512643532/5732821983475*c_1001_9^15 + 126599371954856/17198465950425*c_1001_9^14 + 151852487317352/17198465950425*c_1001_9^13 + 558314173026989/17198465950425*c_1001_9^12 + 58891581359617/3439693190085*c_1001_9^11 + 165468080942018/5732821983475*c_1001_9^10 + 1035029311759403/17198465950425*c_1001_9^9 + 594835503369929/17198465950425*c_1001_9^8 + 9598321653586/229312879339*c_1001_9^7 + 621570898263683/17198465950425*c_1001_9^6 + 98258891777852/3439693190085*c_1001_9^5 + 20371295976776/687938638017*c_1001_9^4 + 168661057125223/17198465950425*c_1001_9^3 + 162023805225709/17198465950425*c_1001_9^2 + 3644398825024/3439693190085*c_1001_9 + 13407254752873/17198465950425, c_0011_9 - 382650556494428/395564716859775*c_1001_9^16 - 217022242796352/131854905619925*c_1001_9^15 - 1944025016617696/395564716859775*c_1001_9^14 - 159421421710004/17198465950425*c_1001_9^13 - 9379099415186029/395564716859775*c_1001_9^12 - 2200910092055738/79112943371955*c_1001_9^11 - 3139945357530438/131854905619925*c_1001_9^10 - 18553433776971388/395564716859775*c_1001_9^9 - 20322405349571899/395564716859775*c_1001_9^8 - 1024437156032629/26370981123985*c_1001_9^7 - 14369745530763703/395564716859775*c_1001_9^6 - 2516183013552817/79112943371955*c_1001_9^5 - 443808616819402/15822588674391*c_1001_9^4 - 6687051600469208/395564716859775*c_1001_9^3 - 3318445130415329/395564716859775*c_1001_9^2 - 191808868974866/79112943371955*c_1001_9 + 37644534944407/395564716859775, c_0101_0 - 253284119647388/395564716859775*c_1001_9^16 - 205944527842172/131854905619925*c_1001_9^15 - 1395400574938636/395564716859775*c_1001_9^14 - 143122878319784/17198465950425*c_1001_9^13 - 7191056399636569/395564716859775*c_1001_9^12 - 2201980895140289/79112943371955*c_1001_9^11 - 2711558825774583/131854905619925*c_1001_9^10 - 16094043253441873/395564716859775*c_1001_9^9 - 20793431205289969/395564716859775*c_1001_9^8 - 878652741032048/26370981123985*c_1001_9^7 - 15358073954709073/395564716859775*c_1001_9^6 - 2697501286341487/79112943371955*c_1001_9^5 - 381846584884528/15822588674391*c_1001_9^4 - 8303191262338568/395564716859775*c_1001_9^3 - 3480738554291849/395564716859775*c_1001_9^2 - 366923609403443/79112943371955*c_1001_9 - 315136658859563/395564716859775, c_0101_1 - 3706276367732/5732821983475*c_1001_9^16 - 6288636113724/5732821983475*c_1001_9^15 - 19141314098904/5732821983475*c_1001_9^14 - 36484088737648/5732821983475*c_1001_9^13 - 92946365567791/5732821983475*c_1001_9^12 - 22365838822951/1146564396695*c_1001_9^11 - 102678502416786/5732821983475*c_1001_9^10 - 199521528102047/5732821983475*c_1001_9^9 - 213456921987266/5732821983475*c_1001_9^8 - 34900568624716/1146564396695*c_1001_9^7 - 175440340848547/5732821983475*c_1001_9^6 - 28629189097953/1146564396695*c_1001_9^5 - 5372157720209/229312879339*c_1001_9^4 - 88593486328027/5732821983475*c_1001_9^3 - 44210054823711/5732821983475*c_1001_9^2 - 4630321313892/1146564396695*c_1001_9 - 5242648535782/5732821983475, c_0101_10 + c_1001_9, c_0101_3 + 8748225947272/17198465950425*c_1001_9^16 + 4898149144828/5732821983475*c_1001_9^15 + 45958859827724/17198465950425*c_1001_9^14 + 84572705194508/17198465950425*c_1001_9^13 + 221264533973006/17198465950425*c_1001_9^12 + 51903538181383/3439693190085*c_1001_9^11 + 83581481561197/5732821983475*c_1001_9^10 + 450738760111187/17198465950425*c_1001_9^9 + 502317413698841/17198465950425*c_1001_9^8 + 5747574082492/229312879339*c_1001_9^7 + 398856603263582/17198465950425*c_1001_9^6 + 67696103383328/3439693190085*c_1001_9^5 + 12752104790720/687938638017*c_1001_9^4 + 212404816156042/17198465950425*c_1001_9^3 + 91743977374861/17198465950425*c_1001_9^2 + 10034992794466/3439693190085*c_1001_9 - 10133774980958/17198465950425, c_1001_0 + 6899843481812/15822588674391*c_1001_9^16 + 11405091546088/26370981123985*c_1001_9^15 + 127218191488952/79112943371955*c_1001_9^14 + 1859732523128/687938638017*c_1001_9^13 + 591620867983271/79112943371955*c_1001_9^12 + 406237696927268/79112943371955*c_1001_9^11 + 30240231576276/26370981123985*c_1001_9^10 + 245444110910455/15822588674391*c_1001_9^9 + 674208113272664/79112943371955*c_1001_9^8 - 1184069860478/26370981123985*c_1001_9^7 + 706394454216056/79112943371955*c_1001_9^6 + 67752356967431/15822588674391*c_1001_9^5 + 43509170909728/15822588674391*c_1001_9^4 + 38310417674696/15822588674391*c_1001_9^3 - 60298882602506/79112943371955*c_1001_9^2 + 30728491534601/79112943371955*c_1001_9 - 28675953918119/79112943371955, c_1001_10 - 2913092630536/3439693190085*c_1001_9^16 - 206173480780/229312879339*c_1001_9^15 - 14328757180136/3439693190085*c_1001_9^14 - 20744871807824/3439693190085*c_1001_9^13 - 13035306177874/687938638017*c_1001_9^12 - 53424335492831/3439693190085*c_1001_9^11 - 23403460213668/1146564396695*c_1001_9^10 - 125484433793216/3439693190085*c_1001_9^9 - 99901809749006/3439693190085*c_1001_9^8 - 35649619922644/1146564396695*c_1001_9^7 - 95892955793498/3439693190085*c_1001_9^6 - 14623666464785/687938638017*c_1001_9^5 - 14952152955994/687938638017*c_1001_9^4 - 41505078939586/3439693190085*c_1001_9^3 - 26359153854421/3439693190085*c_1001_9^2 - 11465739472457/3439693190085*c_1001_9 - 3674803703098/3439693190085, c_1001_2 - 28258763877868/17198465950425*c_1001_9^16 - 6503512643532/5732821983475*c_1001_9^15 - 126599371954856/17198465950425*c_1001_9^14 - 151852487317352/17198465950425*c_1001_9^13 - 558314173026989/17198465950425*c_1001_9^12 - 58891581359617/3439693190085*c_1001_9^11 - 165468080942018/5732821983475*c_1001_9^10 - 1035029311759403/17198465950425*c_1001_9^9 - 594835503369929/17198465950425*c_1001_9^8 - 9598321653586/229312879339*c_1001_9^7 - 621570898263683/17198465950425*c_1001_9^6 - 98258891777852/3439693190085*c_1001_9^5 - 20371295976776/687938638017*c_1001_9^4 - 168661057125223/17198465950425*c_1001_9^3 - 162023805225709/17198465950425*c_1001_9^2 - 3644398825024/3439693190085*c_1001_9 - 13407254752873/17198465950425, c_1001_9^17 + c_1001_9^16 + 5*c_1001_9^15 + 7*c_1001_9^14 + 91/4*c_1001_9^13 + 73/4*c_1001_9^12 + 107/4*c_1001_9^11 + 91/2*c_1001_9^10 + 37*c_1001_9^9 + 173/4*c_1001_9^8 + 149/4*c_1001_9^7 + 63/2*c_1001_9^6 + 30*c_1001_9^5 + 69/4*c_1001_9^4 + 53/4*c_1001_9^3 + 9/2*c_1001_9^2 + 9/4*c_1001_9 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.410 Total time: 7.620 seconds, Total memory usage: 190.94MB