Magma V2.19-8 Tue Aug 20 2013 23:47:58 on localhost [Seed = 2084181535] Type ? for help. Type -D to quit. Loading file "K10n34__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n34 geometric_solution 11.74064104 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.916093346329 0.935265707637 0 4 6 5 0132 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 0 0 0 0 0 0 0 0 -1 0 1 1 3 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370261706757 0.361762032331 0 0 7 4 3012 0132 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 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095157908754 1.060677848237 5 8 9 0 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584860239435 0.326941668834 6 1 2 10 0321 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 0 0 -1 0 1 0 3 -3 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618248590169 1.350032123427 3 7 1 11 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354201024960 0.985558810188 4 10 12 1 0321 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 -1 0 -3 -1 0 4 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618248590169 1.350032123427 5 11 8 2 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.105018586567 1.161775263031 11 3 7 10 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 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.354201024960 0.985558810188 12 10 12 3 1023 1023 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 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.916093346329 0.935265707637 9 6 4 8 1023 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 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.370261706757 0.361762032331 8 7 5 12 0132 0132 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 -1 0 0 1 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.105018586567 1.161775263031 9 9 11 6 2103 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 -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.095157908754 1.060677848237 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : d['c_0101_12'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_0110_10'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_7'], 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_0101_11'], '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_11'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(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_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_10'], 'c_1100_7' : d['c_1100_10'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_1100_10'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_4'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_1100_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : d['c_0110_10'], 'c_1100_8' : negation(d['c_1100_10']), '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0101_4']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_11'], '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_12'], 'c_0101_8' : d['c_0101_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], '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' : d['c_0101_4'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(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_10, c_0011_11, c_0101_0, c_0101_11, c_0101_12, c_0101_2, c_0101_4, c_0101_7, c_0110_10, c_1001_1, c_1100_1, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 392656213/1273450*c_1100_10^8 + 16856871/50938*c_1100_10^7 - 3568066717/1273450*c_1100_10^6 + 4977632689/1273450*c_1100_10^5 - 455505739/50938*c_1100_10^4 + 13839392179/1273450*c_1100_10^3 - 8403956708/636725*c_1100_10^2 + 8416957393/1273450*c_1100_10 - 4664916337/1273450, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 - 1297/25469*c_1100_10^8 + 1706/25469*c_1100_10^7 - 9560/25469*c_1100_10^6 + 16831/25469*c_1100_10^5 - 20023/25469*c_1100_10^4 + 33602/25469*c_1100_10^3 - 1543/25469*c_1100_10^2 - 2795/25469*c_1100_10 + 30759/25469, c_0101_0 + 1853/25469*c_1100_10^8 - 3753/25469*c_1100_10^7 + 20374/25469*c_1100_10^6 - 36653/25469*c_1100_10^5 + 85357/25469*c_1100_10^4 - 98434/25469*c_1100_10^3 + 133143/25469*c_1100_10^2 - 75379/25469*c_1100_10 + 25118/25469, c_0101_11 - 2652/25469*c_1100_10^8 + 2801/25469*c_1100_10^7 - 20981/25469*c_1100_10^6 + 33531/25469*c_1100_10^5 - 57672/25469*c_1100_10^4 + 90641/25469*c_1100_10^3 - 86808/25469*c_1100_10^2 + 52037/25469*c_1100_10 - 11648/25469, c_0101_12 + 512/25469*c_1100_10^8 - 4267/25469*c_1100_10^7 + 5011/25469*c_1100_10^6 - 33095/25469*c_1100_10^5 + 31763/25469*c_1100_10^4 - 68130/25469*c_1100_10^3 + 68965/25469*c_1100_10^2 - 56413/25469*c_1100_10 + 1250/25469, c_0101_2 - 512/25469*c_1100_10^8 + 4267/25469*c_1100_10^7 - 5011/25469*c_1100_10^6 + 33095/25469*c_1100_10^5 - 31763/25469*c_1100_10^4 + 68130/25469*c_1100_10^3 - 68965/25469*c_1100_10^2 + 56413/25469*c_1100_10 - 1250/25469, c_0101_4 + 4947/25469*c_1100_10^8 - 2776/25469*c_1100_10^7 + 40607/25469*c_1100_10^6 - 37569/25469*c_1100_10^5 + 101703/25469*c_1100_10^4 - 98061/25469*c_1100_10^3 + 107074/25469*c_1100_10^2 - 29968/25469*c_1100_10 + 21728/25469, c_0101_7 + 2652/25469*c_1100_10^8 - 2801/25469*c_1100_10^7 + 20981/25469*c_1100_10^6 - 33531/25469*c_1100_10^5 + 57672/25469*c_1100_10^4 - 90641/25469*c_1100_10^3 + 86808/25469*c_1100_10^2 - 52037/25469*c_1100_10 + 11648/25469, c_0110_10 - 1853/25469*c_1100_10^8 + 3753/25469*c_1100_10^7 - 20374/25469*c_1100_10^6 + 36653/25469*c_1100_10^5 - 85357/25469*c_1100_10^4 + 98434/25469*c_1100_10^3 - 133143/25469*c_1100_10^2 + 75379/25469*c_1100_10 - 25118/25469, c_1001_1 + 194/25469*c_1100_10^8 - 4104/25469*c_1100_10^7 + 3590/25469*c_1100_10^6 - 32935/25469*c_1100_10^5 + 26461/25469*c_1100_10^4 - 75758/25469*c_1100_10^3 + 41154/25469*c_1100_10^2 - 53112/25469*c_1100_10 - 19623/25469, c_1100_1 + c_1100_10, c_1100_10^9 - c_1100_10^8 + 9*c_1100_10^7 - 12*c_1100_10^6 + 28*c_1100_10^5 - 33*c_1100_10^4 + 40*c_1100_10^3 - 18*c_1100_10^2 + 10*c_1100_10 + 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0101_0, c_0101_11, c_0101_12, c_0101_2, c_0101_4, c_0101_7, c_0110_10, c_1001_1, c_1100_1, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 660655287966546584037794121/24707966232126752921668256*c_1100_10^13 - 381153514530744372483324059/2246178748375159356515296*c_1100_10^1\ 2 + 11761061634860033454278115425/24707966232126752921668256*c_1100\ _10^11 - 15748490971612842275225876691/24707966232126752921668256*c\ _1100_10^10 + 55085940033285210389719272035/12353983116063376460834\ 128*c_1100_10^9 - 2359407073951092642592750293/22461787483751593565\ 15296*c_1100_10^8 + 10199114910236036063232407943/14534097783603972\ 30686368*c_1100_10^7 - 487018019668981098283385285327/2470796623212\ 6752921668256*c_1100_10^6 - 203202974139521056261788127255/61769915\ 58031688230417064*c_1100_10^5 - 1923300265578083464685402043537/247\ 07966232126752921668256*c_1100_10^4 - 1244522468148903862719398440663/24707966232126752921668256*c_1100_1\ 0^3 - 66533452578370962842401744001/1453409778360397230686368*c_110\ 0_10^2 - 28161039936001984008478773109/24707966232126752921668256*c\ _1100_10 - 1915668142000098165410708811/24707966232126752921668256, c_0011_0 - 1, c_0011_10 - 48902371601496876513907/1123089374187579678257648*c_1100_10\ ^13 - 294147053520466203457859/1123089374187579678257648*c_1100_10^\ 12 + 973271576899075212669099/1123089374187579678257648*c_1100_10^1\ 1 - 1454992168050691594233665/1123089374187579678257648*c_1100_10^1\ 0 + 4271054665244501791413769/561544687093789839128824*c_1100_10^9 - 4618859074236732482929693/1123089374187579678257648*c_1100_10^8 + 792391063807135819795869/66064080834563510485744*c_1100_10^7 - 40237966271827616509406741/1123089374187579678257648*c_1100_10^6 - 12086195280162523643424445/280772343546894919564412*c_1100_10^5 - 122279329304722723686112827/1123089374187579678257648*c_1100_10^4 - 45569669517510241885873773/1123089374187579678257648*c_1100_10^3 - 3117423759519415379189979/66064080834563510485744*c_1100_10^2 + 25516465502255163572438489/1123089374187579678257648*c_1100_10 + 1639785413787610195915431/1123089374187579678257648, c_0011_11 + 13831389895326743342575/1123089374187579678257648*c_1100_10\ ^13 + 81226642783274533432927/1123089374187579678257648*c_1100_10^1\ 2 - 286992781476510223133415/1123089374187579678257648*c_1100_10^11 + 451850266741509504463653/1123089374187579678257648*c_1100_10^10 - 1237351962725127682186565/561544687093789839128824*c_1100_10^9 + 1646953789404961047609905/1123089374187579678257648*c_1100_10^8 - 236270540979878731491617/66064080834563510485744*c_1100_10^7 + 11902100599083115012689769/1123089374187579678257648*c_1100_10^6 + 2988484830380652730626205/280772343546894919564412*c_1100_10^5 + 32858330925703546768232439/1123089374187579678257648*c_1100_10^4 + 8123992598461332029110321/1123089374187579678257648*c_1100_10^3 + 858611195896086804057335/66064080834563510485744*c_1100_10^2 - 8747899167043081133429341/1123089374187579678257648*c_1100_10 + 1207746013023598657759453/1123089374187579678257648, c_0101_0 - 34738793975184713698357/1123089374187579678257648*c_1100_10^\ 13 - 210612878605845134334805/1123089374187579678257648*c_1100_10^1\ 2 + 680858936499269274398109/1123089374187579678257648*c_1100_10^11 - 1002535725404768465661175/1123089374187579678257648*c_1100_10^10 + 3017806974229654523536087/561544687093789839128824*c_1100_10^9 - 3041920654411692310972683/1123089374187579678257648*c_1100_10^8 + 563468672757214631597867/66064080834563510485744*c_1100_10^7 - 28449864314024856488327795/1123089374187579678257648*c_1100_10^6 - 8793845634255173775393239/280772343546894919564412*c_1100_10^5 - 89499559864873644195100781/1123089374187579678257648*c_1100_10^4 - 35602202113660873691828011/1123089374187579678257648*c_1100_10^3 - 2387450329734387463592941/66064080834563510485744*c_1100_10^2 + 17641438309974136707228575/1123089374187579678257648*c_1100_10 - 65783630843351292296223/1123089374187579678257648, c_0101_11 - 1137593928116189260251/1123089374187579678257648*c_1100_10^\ 13 - 10403868412704771486059/1123089374187579678257648*c_1100_10^12 + 771884764602729551571/1123089374187579678257648*c_1100_10^11 + 34463405994854345192631/1123089374187579678257648*c_1100_10^10 + 51747515776538571692577/561544687093789839128824*c_1100_10^9 + 503756496776509207884107/1123089374187579678257648*c_1100_10^8 + 1808976687078816534693/66064080834563510485744*c_1100_10^7 + 50961393630279977270147/1123089374187579678257648*c_1100_10^6 - 1031468299927900833052533/280772343546894919564412*c_1100_10^5 - 6463246403752984446256099/1123089374187579678257648*c_1100_10^4 - 10733875995392780083091349/1123089374187579678257648*c_1100_10^3 - 292572952435891369646243/66064080834563510485744*c_1100_10^2 - 4023960195362911303005967/1123089374187579678257648*c_1100_10 + 1875870361579690814318879/1123089374187579678257648, c_0101_12 - 50347644634630148774819/561544687093789839128824*c_1100_10^\ 13 - 302195424499019588652667/561544687093789839128824*c_1100_10^12 + 1006073801711553143823027/561544687093789839128824*c_1100_10^11 - 1509378079360971546303457/561544687093789839128824*c_1100_10^10 + 4406678158122857415632513/280772343546894919564412*c_1100_10^9 - 4873784156720039118280293/561544687093789839128824*c_1100_10^8 + 48181523039841700521941/1943061201016573837816*c_1100_10^7 - 41702771853327916364559901/561544687093789839128824*c_1100_10^6 - 12283716909006457343079319/140386171773447459782206*c_1100_10^5 - 125415035054379107997489659/561544687093789839128824*c_1100_10^4 - 44421861175000193906921869/561544687093789839128824*c_1100_10^3 - 3163053558297455717485483/33032040417281755242872*c_1100_10^2 + 27987714196464816423158961/561544687093789839128824*c_1100_10 + 202866043996597517025991/561544687093789839128824, c_0101_2 + 13904039819290282804915/1123089374187579678257648*c_1100_10^\ 13 + 83724447873787606443011/1123089374187579678257648*c_1100_10^12 - 276720999168139028584331/1123089374187579678257648*c_1100_10^11 + 408670604268530634303457/1123089374187579678257648*c_1100_10^10 - 1206434998885789767686121/561544687093789839128824*c_1100_10^9 + 1286097530751653990139005/1123089374187579678257648*c_1100_10^8 - 220816755391841109878381/66064080834563510485744*c_1100_10^7 + 11404978621337675221172645/1123089374187579678257648*c_1100_10^6 + 3436267310638795242959525/280772343546894919564412*c_1100_10^5 + 34551892434415762452941291/1123089374187579678257648*c_1100_10^4 + 12579978187987127516260333/1123089374187579678257648*c_1100_10^3 + 854487963228237297506571/66064080834563510485744*c_1100_10^2 - 6551191592927421492295273/1123089374187579678257648*c_1100_10 - 57619516147237471949207/1123089374187579678257648, c_0101_4 - 46398655530656018404229/561544687093789839128824*c_1100_10^1\ 3 - 277157879856758562607805/561544687093789839128824*c_1100_10^12 + 935036984696829253593141/561544687093789839128824*c_1100_10^11 - 1418304116794975567278159/561544687093789839128824*c_1100_10^10 + 4082951660527381570734947/280772343546894919564412*c_1100_10^9 - 4734428878886020646176427/561544687093789839128824*c_1100_10^8 + 764387404186312194713931/33032040417281755242872*c_1100_10^7 - 38858090518307608097148979/561544687093789839128824*c_1100_10^6 - 11028108855292622299482135/140386171773447459782206*c_1100_10^5 - 114404860140902604335381541/561544687093789839128824*c_1100_10^4 - 37679733168034531266080259/561544687093789839128824*c_1100_10^3 - 2837304256528227869549653/33032040417281755242872*c_1100_10^2 + 27401056397818898032294567/561544687093789839128824*c_1100_10 - 1646047957075963028351/561544687093789839128824, c_0101_7 - 98574776624731180607871/1123089374187579678257648*c_1100_10^\ 13 - 590870343970663399103839/1123089374187579678257648*c_1100_10^1\ 2 + 1974865210244656427848567/1123089374187579678257648*c_1100_10^1\ 1 - 2968332398509428323718261/1123089374187579678257648*c_1100_10^1\ 0 + 8638100438312344426039997/561544687093789839128824*c_1100_10^9 - 9690771311141506878823233/1123089374187579678257648*c_1100_10^8 + 1606285062468397849249041/66064080834563510485744*c_1100_10^7 - 81933180044924574378737417/1123089374187579678257648*c_1100_10^6 - 23890040253339192413708469/280772343546894919564412*c_1100_10^5 - 244408852002164227891317191/1123089374187579678257648*c_1100_10^4 - 84479079037643832986570993/1123089374187579678257648*c_1100_10^3 - 6064326306204263667891847/66064080834563510485744*c_1100_10^2 + 55997980867750491697827533/1123089374187579678257648*c_1100_10 + 184555674173992556243859/1123089374187579678257648, c_0110_10 - 423176045308211816705/70193085886723729891103*c_1100_10^13 - 2709141533917921815297/70193085886723729891103*c_1100_10^12 + 7440460147785253303153/70193085886723729891103*c_1100_10^11 - 9315240812557220129343/70193085886723729891103*c_1100_10^10 + 68955585374782849428485/70193085886723729891103*c_1100_10^9 - 11207624631375107000586/70193085886723729891103*c_1100_10^8 + 5963529726391209907179/4129005052160219405359*c_1100_10^7 - 303940841274250626081952/70193085886723729891103*c_1100_10^6 - 549797500873362340954482/70193085886723729891103*c_1100_10^5 - 1231378959498475463523506/70193085886723729891103*c_1100_10^4 - 796573797119997978487016/70193085886723729891103*c_1100_10^3 - 37045863174045073287547/4129005052160219405359*c_1100_10^2 + 35078265893490312423933/70193085886723729891103*c_1100_10 + 119875695296380655166991/70193085886723729891103, c_1001_1 - 47232683550348278312477/1123089374187579678257648*c_1100_10^\ 13 - 287353263179025606346029/1123089374187579678257648*c_1100_10^1\ 2 + 920259794559528443048837/1123089374187579678257648*c_1100_10^11 - 1341021068527722438665519/1123089374187579678257648*c_1100_10^10 + 4082041122999883164461151/561544687093789839128824*c_1100_10^9 - 3925093494015857795682371/1123089374187579678257648*c_1100_10^8 + 752204350609553611722739/66064080834563510485744*c_1100_10^7 - 38225495566091286148922139/1123089374187579678257648*c_1100_10^6 - 12246283056728706606442031/280772343546894919564412*c_1100_10^5 - 121999288018415783458408981/1123089374187579678257648*c_1100_10^4 - 50953783710158962697776627/1123089374187579678257648*c_1100_10^3 - 3212331007001160289574421/66064080834563510485744*c_1100_10^2 + 22707016938137596272326199/1123089374187579678257648*c_1100_10 + 1675983787853487902787961/1123089374187579678257648, c_1100_1 - 125120996185245134797647/1123089374187579678257648*c_1100_10\ ^13 - 746697837117088075003807/1123089374187579678257648*c_1100_10^\ 12 + 2528920534074714237828615/1123089374187579678257648*c_1100_10^\ 11 - 3820006219946912635788837/1123089374187579678257648*c_1100_10^\ 10 + 10985241374521802074267589/561544687093789839128824*c_1100_10^\ 9 - 12782725633035277715631889/1123089374187579678257648*c_1100_10^\ 8 + 2031734624430456545115745/66064080834563510485744*c_1100_10^7 - 104538561592649196522163849/1123089374187579678257648*c_1100_10^6 - 29778580377810921673667413/280772343546894919564412*c_1100_10^5 - 305219629289871087042703671/1123089374187579678257648*c_1100_10^4 - 96871334755208985013729009/1123089374187579678257648*c_1100_10^3 - 7305293920352185809430487/66064080834563510485744*c_1100_10^2 + 75341701251748348924739117/1123089374187579678257648*c_1100_10 - 540174613021032459120861/1123089374187579678257648, c_1100_10^14 + 6*c_1100_10^13 - 20*c_1100_10^12 + 30*c_1100_10^11 - 175*c_1100_10^10 + 97*c_1100_10^9 - 276*c_1100_10^8 + 828*c_1100_10^7 + 975*c_1100_10^6 + 2485*c_1100_10^5 + 876*c_1100_10^4 + 1060*c_1100_10^3 - 550*c_1100_10^2 - 12*c_1100_10 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.210 Total time: 1.419 seconds, Total memory usage: 64.12MB