Magma V2.19-8 Tue Aug 20 2013 18:02:13 on localhost [Seed = 1275984134] Type ? for help. Type -D to quit. Loading file "11_385__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_385 geometric_solution 11.13625633 oriented_manifold CS_known -0.0000000000000006 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 0 0 0 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.321623001530 0.982470249600 0 3 6 5 0132 2031 0132 0132 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 -9 0 9 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.524098348160 0.536678203924 6 0 4 7 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 1 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.999379453590 1.450019963528 1 8 9 0 1302 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 0 -1 9 -8 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223090384779 0.712671676391 2 10 0 11 2103 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 1 -1 -1 0 1 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.999379453590 1.450019963528 6 12 1 9 1230 0132 0132 3120 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 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.098306856924 0.549900388878 2 5 11 1 0132 3012 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339774393999 0.582179781846 9 10 2 12 1302 3201 0132 3012 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 -9 0 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451282241847 0.710404832599 12 3 10 10 3120 0132 3201 0213 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 1 0 0 -1 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362893279226 1.002928215095 5 7 11 3 3120 2031 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 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.451282241847 0.710404832599 8 4 7 8 2310 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451282241847 0.710404832599 6 12 4 9 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 -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.316230228399 0.327445073937 11 5 7 8 1023 0132 1230 3120 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 -8 8 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 2.053830610561 2.202384440106 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_0101_12'], 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_0011_7'], 'c_1001_2' : negation(d['c_0011_10']), 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : d['c_0011_3'], 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : 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' : negation(d['c_0011_9']), '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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_9'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_0011_7'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_0101_12'], 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0011_10']), 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : d['c_0011_7'], 'c_1100_8' : negation(d['c_0011_10']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_8']), '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_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_9'], 'c_0110_10' : negation(d['c_0101_8']), 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], '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_0011_0'], 'c_0110_8' : d['c_0101_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_9']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : negation(d['c_0101_8']), 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_8, c_0101_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 7631558770152607383/15799091225162500*c_1100_0^11 - 208013057436296451280951/51789421036082675000*c_1100_0^10 - 913081106584430189291021/51789421036082675000*c_1100_0^9 - 1305387588269765832683367/25894710518041337500*c_1100_0^8 - 5309625366448414222763683/51789421036082675000*c_1100_0^7 - 7871071183825008740838959/51789421036082675000*c_1100_0^6 - 8626677120952714015058641/51789421036082675000*c_1100_0^5 - 6932976634993290711723907/51789421036082675000*c_1100_0^4 - 3993827180106828231667921/51789421036082675000*c_1100_0^3 - 71160249515177779275597/2354064592549212500*c_1100_0^2 - 378090876565402625289319/51789421036082675000*c_1100_0 - 46579333982029886851021/51789421036082675000, c_0011_0 - 1, c_0011_10 - 458942376969/131908921045*c_1100_0^11 - 417508363721/11991720095*c_1100_0^10 - 21966092365011/131908921045*c_1100_0^9 - 66774261996434/131908921045*c_1100_0^8 - 140411675248403/131908921045*c_1100_0^7 - 211323785240959/131908921045*c_1100_0^6 - 227448027715651/131908921045*c_1100_0^5 - 175880477116232/131908921045*c_1100_0^4 - 95901002761446/131908921045*c_1100_0^3 - 36626708518139/131908921045*c_1100_0^2 - 817952701759/11991720095*c_1100_0 - 1266939150586/131908921045, c_0011_11 - 382510595843/131908921045*c_1100_0^11 - 337088291777/11991720095*c_1100_0^10 - 17411789096102/131908921045*c_1100_0^9 - 51931538238123/131908921045*c_1100_0^8 - 106914557469251/131908921045*c_1100_0^7 - 156345726400863/131908921045*c_1100_0^6 - 161394561807687/131908921045*c_1100_0^5 - 116602584951109/131908921045*c_1100_0^4 - 56867568084992/131908921045*c_1100_0^3 - 17632476801483/131908921045*c_1100_0^2 - 244336402833/11991720095*c_1100_0 + 170795593263/131908921045, c_0011_3 + 182124417821/26381784209*c_1100_0^11 + 131642776974/2398344019*c_1100_0^10 + 6093096976490/26381784209*c_1100_0^9 + 16567994232401/26381784209*c_1100_0^8 + 31736754984461/26381784209*c_1100_0^7 + 43515432472372/26381784209*c_1100_0^6 + 43221257844900/26381784209*c_1100_0^5 + 30619280653785/26381784209*c_1100_0^4 + 15224949007407/26381784209*c_1100_0^3 + 4999288402357/26381784209*c_1100_0^2 + 93591736806/2398344019*c_1100_0 + 73823516629/26381784209, c_0011_7 - 74334559340/26381784209*c_1100_0^11 - 49678651644/2398344019*c_1100_0^10 - 2142710202587/26381784209*c_1100_0^9 - 5421245243335/26381784209*c_1100_0^8 - 9688951419801/26381784209*c_1100_0^7 - 12495712244605/26381784209*c_1100_0^6 - 12184996636567/26381784209*c_1100_0^5 - 9321805947228/26381784209*c_1100_0^4 - 5662844042084/26381784209*c_1100_0^3 - 2569027410431/26381784209*c_1100_0^2 - 67561883250/2398344019*c_1100_0 - 127150465395/26381784209, c_0011_9 + 1073071196539/131908921045*c_1100_0^11 + 857266292836/11991720095*c_1100_0^10 + 42168377112001/131908921045*c_1100_0^9 + 121382905378369/131908921045*c_1100_0^8 + 244676076028078/131908921045*c_1100_0^7 + 354533817881864/131908921045*c_1100_0^6 + 371532571344071/131908921045*c_1100_0^5 + 281637248874907/131908921045*c_1100_0^4 + 152395024307501/131908921045*c_1100_0^3 + 57834907697949/131908921045*c_1100_0^2 + 1296483103574/11991720095*c_1100_0 + 1874255104976/131908921045, c_0101_0 - 957276439261/131908921045*c_1100_0^11 - 652314223964/11991720095*c_1100_0^10 - 28704740097839/131908921045*c_1100_0^9 - 73776006760371/131908921045*c_1100_0^8 - 132775474709337/131908921045*c_1100_0^7 - 168499243323406/131908921045*c_1100_0^6 - 153269690321204/131908921045*c_1100_0^5 - 98158484921473/131908921045*c_1100_0^4 - 44237706063279/131908921045*c_1100_0^3 - 13072195943436/131908921045*c_1100_0^2 - 225824513841/11991720095*c_1100_0 - 118883312844/131908921045, c_0101_1 - 39058102335/26381784209*c_1100_0^11 - 26086939571/2398344019*c_1100_0^10 - 1101866779027/26381784209*c_1100_0^9 - 2658601326395/26381784209*c_1100_0^8 - 4301537933592/26381784209*c_1100_0^7 - 4468419549501/26381784209*c_1100_0^6 - 2566524460913/26381784209*c_1100_0^5 - 55890291026/26381784209*c_1100_0^4 + 1159554333726/26381784209*c_1100_0^3 + 899432560485/26381784209*c_1100_0^2 + 31338556313/2398344019*c_1100_0 + 60039798314/26381784209, c_0101_10 + 537507184283/131908921045*c_1100_0^11 + 312083992967/11991720095*c_1100_0^10 + 11685664818027/131908921045*c_1100_0^9 + 23977650705978/131908921045*c_1100_0^8 + 30635090987496/131908921045*c_1100_0^7 + 17843133918218/131908921045*c_1100_0^6 - 7491227889603/131908921045*c_1100_0^5 - 25358381279786/131908921045*c_1100_0^4 - 23490560050483/131908921045*c_1100_0^3 - 12921070343377/131908921045*c_1100_0^2 - 380779013262/11991720095*c_1100_0 - 755725031278/131908921045, c_0101_12 - 1116460498222/131908921045*c_1100_0^11 - 842916408343/11991720095*c_1100_0^10 - 40206922090293/131908921045*c_1100_0^9 - 113074772889377/131908921045*c_1100_0^8 - 224938198132819/131908921045*c_1100_0^7 - 324691150889692/131908921045*c_1100_0^6 - 345447483479773/131908921045*c_1100_0^5 - 271672844020991/131908921045*c_1100_0^4 - 156243745508358/131908921045*c_1100_0^3 - 63607786459472/131908921045*c_1100_0^2 - 1524356529792/11991720095*c_1100_0 - 2396347268373/131908921045, c_0101_8 + 122825763914/26381784209*c_1100_0^11 + 87951585823/2398344019*c_1100_0^10 + 4040456949398/26381784209*c_1100_0^9 + 10921728676387/26381784209*c_1100_0^8 + 20852880155935/26381784209*c_1100_0^7 + 28642006528181/26381784209*c_1100_0^6 + 28816908725684/26381784209*c_1100_0^5 + 21151354351735/26381784209*c_1100_0^4 + 11298804309211/26381784209*c_1100_0^3 + 4241639835962/26381784209*c_1100_0^2 + 95706080363/2398344019*c_1100_0 + 121463190878/26381784209, c_0101_9 - 118644609652/131908921045*c_1100_0^11 - 150336964368/11991720095*c_1100_0^10 - 9411909522673/131908921045*c_1100_0^9 - 32707763618902/131908921045*c_1100_0^8 - 77154725762064/131908921045*c_1100_0^7 - 129444882809667/131908921045*c_1100_0^6 - 154676085241773/131908921045*c_1100_0^5 - 131209326238501/131908921045*c_1100_0^4 - 77452721398303/131908921045*c_1100_0^3 - 30970973906772/131908921045*c_1100_0^2 - 718378720607/11991720095*c_1100_0 - 978514145573/131908921045, c_1100_0^12 + 1282/149*c_1100_0^11 + 5790/149*c_1100_0^10 + 17058/149*c_1100_0^9 + 35854/149*c_1100_0^8 + 55361/149*c_1100_0^7 + 63937/149*c_1100_0^6 + 55361/149*c_1100_0^5 + 35854/149*c_1100_0^4 + 17058/149*c_1100_0^3 + 5790/149*c_1100_0^2 + 1282/149*c_1100_0 + 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_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_8, c_0101_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 899895104344245/6267073012096*c_0101_9^12 - 1473752140888623/6267073012096*c_0101_9^11 + 5596244174748607/6267073012096*c_0101_9^10 + 10003411653165495/6267073012096*c_0101_9^9 - 9688717809153621/6267073012096*c_0101_9^8 - 1491407404799499/482082539392*c_0101_9^7 + 301962684761261/783384126512*c_0101_9^6 + 11486230531028417/6267073012096*c_0101_9^5 - 726549769414189/1566768253024*c_0101_9^4 - 222388787975379/241041269696*c_0101_9^3 - 2945300365738175/6267073012096*c_0101_9^2 + 58421709584091/3133536506048*c_0101_9 + 106651872807145/6267073012096, c_0011_0 - 1, c_0011_10 + 21037283525/48961507907*c_0101_9^12 + 5507067825/48961507907*c_0101_9^11 - 189326288809/48961507907*c_0101_9^10 - 67271821243/48961507907*c_0101_9^9 + 615212522290/48961507907*c_0101_9^8 + 17093318705/3766269839*c_0101_9^7 - 795553236845/48961507907*c_0101_9^6 - 302139043899/48961507907*c_0101_9^5 + 470935086491/48961507907*c_0101_9^4 + 4313118777/3766269839*c_0101_9^3 - 174389209740/48961507907*c_0101_9^2 - 107148442332/48961507907*c_0101_9 - 52751899208/48961507907, c_0011_11 - 24139827450/48961507907*c_0101_9^12 + 2879370430/48961507907*c_0101_9^11 + 239332733089/48961507907*c_0101_9^10 + 41626368631/48961507907*c_0101_9^9 - 851848748857/48961507907*c_0101_9^8 - 24331201467/3766269839*c_0101_9^7 + 1182398923644/48961507907*c_0101_9^6 + 706598940610/48961507907*c_0101_9^5 - 673972309854/48961507907*c_0101_9^4 - 26922169129/3766269839*c_0101_9^3 + 239668839623/48961507907*c_0101_9^2 + 279107604538/48961507907*c_0101_9 + 96352626807/48961507907, c_0011_3 + 56864293355/48961507907*c_0101_9^12 + 146670581947/48961507907*c_0101_9^11 - 248998936866/48961507907*c_0101_9^10 - 942631092398/48961507907*c_0101_9^9 - 95251147952/48961507907*c_0101_9^8 + 127292978110/3766269839*c_0101_9^7 + 1232657586659/48961507907*c_0101_9^6 - 605795221007/48961507907*c_0101_9^5 - 631579717958/48961507907*c_0101_9^4 + 29771099949/3766269839*c_0101_9^3 + 581667807309/48961507907*c_0101_9^2 + 253659581047/48961507907*c_0101_9 + 54131856177/48961507907, c_0011_7 + 21080271150/48961507907*c_0101_9^12 + 81076675805/48961507907*c_0101_9^11 - 47839644282/48961507907*c_0101_9^10 - 496550407134/48961507907*c_0101_9^9 - 308007982597/48961507907*c_0101_9^8 + 59314100733/3766269839*c_0101_9^7 + 835470572558/48961507907*c_0101_9^6 - 34637064144/48961507907*c_0101_9^5 - 163108301257/48961507907*c_0101_9^4 + 8361836889/3766269839*c_0101_9^3 + 175918758120/48961507907*c_0101_9^2 + 252922189397/48961507907*c_0101_9 + 101808098235/48961507907, c_0011_9 + 21037283525/48961507907*c_0101_9^12 + 5507067825/48961507907*c_0101_9^11 - 189326288809/48961507907*c_0101_9^10 - 67271821243/48961507907*c_0101_9^9 + 615212522290/48961507907*c_0101_9^8 + 17093318705/3766269839*c_0101_9^7 - 795553236845/48961507907*c_0101_9^6 - 302139043899/48961507907*c_0101_9^5 + 470935086491/48961507907*c_0101_9^4 + 4313118777/3766269839*c_0101_9^3 - 174389209740/48961507907*c_0101_9^2 - 107148442332/48961507907*c_0101_9 - 52751899208/48961507907, c_0101_0 - 1030569575/3766269839*c_0101_9^12 - 1894582215/3766269839*c_0101_9^11 + 4948299316/3766269839*c_0101_9^10 + 11252488481/3766269839*c_0101_9^9 - 1575684040/3766269839*c_0101_9^8 - 14552971319/3766269839*c_0101_9^7 - 15382968064/3766269839*c_0101_9^6 - 3708687475/3766269839*c_0101_9^5 + 4602669601/3766269839*c_0101_9^4 - 2212385/3766269839*c_0101_9^3 - 6630167683/3766269839*c_0101_9^2 - 4020115199/3766269839*c_0101_9 - 3613049206/3766269839, c_0101_1 - 80108163545/48961507907*c_0101_9^12 - 165824813073/48961507907*c_0101_9^11 + 452007527060/48961507907*c_0101_9^10 + 1126718507599/48961507907*c_0101_9^9 - 540744737825/48961507907*c_0101_9^8 - 172176363375/3766269839*c_0101_9^7 - 433200577138/48961507907*c_0101_9^6 + 1375797221967/48961507907*c_0101_9^5 + 169041146446/48961507907*c_0101_9^4 - 58607753047/3766269839*c_0101_9^3 - 440902080786/48961507907*c_0101_9^2 - 10746033154/48961507907*c_0101_9 + 52587737759/48961507907, c_0101_10 + 766103165/3766269839*c_0101_9^12 + 808078021/3766269839*c_0101_9^11 - 5571877407/3766269839*c_0101_9^10 - 7002910058/3766269839*c_0101_9^9 + 12171812279/3766269839*c_0101_9^8 + 19875204580/3766269839*c_0101_9^7 - 2448541312/3766269839*c_0101_9^6 - 24116544145/3766269839*c_0101_9^5 - 9377850896/3766269839*c_0101_9^4 + 9812171123/3766269839*c_0101_9^3 + 6892716100/3766269839*c_0101_9^2 - 7791686761/3766269839*c_0101_9 - 3866894566/3766269839, c_0101_12 - 766103165/3766269839*c_0101_9^12 - 808078021/3766269839*c_0101_9^11 + 5571877407/3766269839*c_0101_9^10 + 7002910058/3766269839*c_0101_9^9 - 12171812279/3766269839*c_0101_9^8 - 19875204580/3766269839*c_0101_9^7 + 2448541312/3766269839*c_0101_9^6 + 24116544145/3766269839*c_0101_9^5 + 9377850896/3766269839*c_0101_9^4 - 9812171123/3766269839*c_0101_9^3 - 6892716100/3766269839*c_0101_9^2 + 7791686761/3766269839*c_0101_9 + 3866894566/3766269839, c_0101_8 - 9446741520/48961507907*c_0101_9^12 - 47838589413/48961507907*c_0101_9^11 - 21628111615/48961507907*c_0101_9^10 + 266032486734/48961507907*c_0101_9^9 + 434376804961/48961507907*c_0101_9^8 - 21553011171/3766269839*c_0101_9^7 - 1001231263811/48961507907*c_0101_9^6 - 295024749152/48961507907*c_0101_9^5 + 505577050754/48961507907*c_0101_9^4 + 5374940487/3766269839*c_0101_9^3 - 355638477227/48961507907*c_0101_9^2 - 204740486337/48961507907*c_0101_9 - 56967953438/48961507907, c_0101_9^13 + 12/5*c_0101_9^12 - 24/5*c_0101_9^11 - 78/5*c_0101_9^10 + 6/5*c_0101_9^9 + 28*c_0101_9^8 + 79/5*c_0101_9^7 - 57/5*c_0101_9^6 - 37/5*c_0101_9^5 + 34/5*c_0101_9^4 + 9*c_0101_9^3 + 17/5*c_0101_9^2 + 1/5*c_0101_9 - 1/5, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.070 Total time: 11.279 seconds, Total memory usage: 121.47MB