Magma V2.19-8 Tue Aug 20 2013 23:43:07 on localhost [Seed = 2749744786] Type ? for help. Type -D to quit. Loading file "K13n1137__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1137 geometric_solution 9.92583538 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 1 2 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 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.661302505265 0.229246401284 0 3 0 4 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753999315707 0.476977738252 5 0 6 0 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 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.540060723670 0.439604400512 7 1 8 9 0132 0132 0132 0132 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 -6 6 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.015600824267 0.661290088900 9 10 1 5 1023 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.868838046008 0.506938823979 2 7 10 4 0132 0132 3120 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.289458737654 1.243120128597 8 10 8 2 1302 1302 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 1 -1 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.449138247566 0.581049917812 3 5 11 11 0132 0132 0213 0132 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 -7 7 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.442032161205 1.299250879707 11 6 6 3 3120 2031 0321 0132 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 1 -1 0 -6 0 0 6 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.167251134736 1.077326774867 11 4 3 10 0213 1023 0132 1230 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 6 0 -6 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.946413018504 0.971288131785 9 4 5 6 3012 0132 3120 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562863101070 0.852977308249 9 7 7 8 0213 0213 0132 3120 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 1 0 -7 6 -6 7 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.234693391896 0.689826719965 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : negation(d['c_1001_10']), 'c_1001_6' : d['c_0110_10'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_5'], 'c_1001_9' : d['c_0101_0'], 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : d['c_0011_6'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : 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' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0110_10'], 'c_1100_8' : d['c_0110_10'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0110_10'], 'c_1100_2' : negation(d['c_0101_2']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : negation(d['c_0101_5']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_1001_10']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_0101_5'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_0011_6'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_0']), '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0110_10'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_11'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_2']})} 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_11, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0110_10, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 32584408262862326336269/28197498173302570*c_1001_10^24 + 5460442789952498543141/2014107012378755*c_1001_10^23 - 59145049300828847831978/14098749086651285*c_1001_10^22 - 356879645374939307658217/14098749086651285*c_1001_10^21 - 626848685962272632125817/14098749086651285*c_1001_10^20 + 1762100914995370850977805/5639499634660514*c_1001_10^19 - 892133251713251576031559/5639499634660514*c_1001_10^18 - 13064521096322402928190321/14098749086651285*c_1001_10^17 + 47095387958671418099595233/28197498173302570*c_1001_10^16 + 31137763059256314302652127/28197498173302570*c_1001_10^15 - 129927583674525878285541513/28197498173302570*c_1001_10^14 - 9251332788177754103686237/28197498173302570*c_1001_10^13 + 193721242297498143719303209/28197498173302570*c_1001_10^12 - 7366578940641512090788286/14098749086651285*c_1001_10^11 - 89231669261470493545777362/14098749086651285*c_1001_10^10 + 9500218268698015456178618/14098749086651285*c_1001_10^9 + 52643238519197259674604513/14098749086651285*c_1001_10^8 - 1520461393429735303718383/4028214024757510*c_1001_10^7 - 19883010855161681476171868/14098749086651285*c_1001_10^6 + 1671070510097451349209627/14098749086651285*c_1001_10^5 + 9295105810048422155241539/28197498173302570*c_1001_10^4 - 40805554319761388685468/2014107012378755*c_1001_10^3 - 245141907667730852145091/5639499634660514*c_1001_10^2 + 41422665408104877101773/28197498173302570*c_1001_10 + 69908843018604400754057/28197498173302570, c_0011_0 - 1, c_0011_10 + 3312017755871063/244697729605*c_1001_10^24 + 1165248606952184/34956818515*c_1001_10^23 - 10996432643662727/244697729605*c_1001_10^22 - 73550661694470783/244697729605*c_1001_10^21 - 136036942136786823/244697729605*c_1001_10^20 + 175535208066876482/48939545921*c_1001_10^19 - 71227099850720944/48939545921*c_1001_10^18 - 2681275605779477829/244697729605*c_1001_10^17 + 4491344835265830261/244697729605*c_1001_10^16 + 3613744796836176539/244697729605*c_1001_10^15 - 12750468523194166931/244697729605*c_1001_10^14 - 2214600927043609304/244697729605*c_1001_10^13 + 19212452397272164508/244697729605*c_1001_10^12 + 363024761606960776/244697729605*c_1001_10^11 - 17678562774824070073/244697729605*c_1001_10^10 + 327966518130126732/244697729605*c_1001_10^9 + 10324471530398921282/244697729605*c_1001_10^8 - 34674100763881521/34956818515*c_1001_10^7 - 3831125527338790077/244697729605*c_1001_10^6 + 77021918322875023/244697729605*c_1001_10^5 + 873563297874827863/244697729605*c_1001_10^4 - 1816648320466972/34956818515*c_1001_10^3 - 22295091300199238/48939545921*c_1001_10^2 + 882144326463126/244697729605*c_1001_10 + 6088901968358424/244697729605, c_0011_11 - 9644800592056199/244697729605*c_1001_10^24 - 3390215497369212/34956818515*c_1001_10^23 + 32090208976018801/244697729605*c_1001_10^22 + 214156347433192449/244697729605*c_1001_10^21 + 395642008465815864/244697729605*c_1001_10^20 - 511413868298375907/48939545921*c_1001_10^19 + 208399410925889790/48939545921*c_1001_10^18 + 7809388443890863097/244697729605*c_1001_10^17 - 13096687893917420258/244697729605*c_1001_10^16 - 10506063509737436537/244697729605*c_1001_10^15 + 37168962307622906503/244697729605*c_1001_10^14 + 6387440315125453337/244697729605*c_1001_10^13 - 56008345108873272324/244697729605*c_1001_10^12 - 959859610605695103/244697729605*c_1001_10^11 + 51551185404402441284/244697729605*c_1001_10^10 - 1040214676006870646/244697729605*c_1001_10^9 - 30120299869611393931/244697729605*c_1001_10^8 + 107221448744081748/34956818515*c_1001_10^7 + 11183247434013934546/244697729605*c_1001_10^6 - 237411323076111369/244697729605*c_1001_10^5 - 2551626315416025994/244697729605*c_1001_10^4 + 5593529787193631/34956818515*c_1001_10^3 + 65167592776407284/48939545921*c_1001_10^2 - 2711320986315358/244697729605*c_1001_10 - 17810315053672072/244697729605, c_0011_6 + 1364503378866058/244697729605*c_1001_10^24 + 487842716611279/34956818515*c_1001_10^23 - 4432332892401387/244697729605*c_1001_10^22 - 30556956154911013/244697729605*c_1001_10^21 - 57107907575520203/244697729605*c_1001_10^20 + 72017785120475687/48939545921*c_1001_10^19 - 26219653184882250/48939545921*c_1001_10^18 - 1120463333136196929/244697729605*c_1001_10^17 + 1814251879544093916/244697729605*c_1001_10^16 + 1587845548656534649/244697729605*c_1001_10^15 - 5252062126787221871/244697729605*c_1001_10^14 - 1135787744564414664/244697729605*c_1001_10^13 + 8018819921923033308/244697729605*c_1001_10^12 + 431425040424720871/244697729605*c_1001_10^11 - 7461767725646386703/244697729605*c_1001_10^10 - 85833486925804543/244697729605*c_1001_10^9 + 4407961291913677212/244697729605*c_1001_10^8 + 1198571426564319/34956818515*c_1001_10^7 - 1656998580935435247/244697729605*c_1001_10^6 - 318457494091432/244697729605*c_1001_10^5 + 383571795949462093/244697729605*c_1001_10^4 - 7787830614802/34956818515*c_1001_10^3 - 9961593286021018/48939545921*c_1001_10^2 + 12937050676686/244697729605*c_1001_10 + 2774368529836469/244697729605, c_0011_8 - 3423580275636212/244697729605*c_1001_10^24 - 1204030094283686/34956818515*c_1001_10^23 + 11381102329721598/244697729605*c_1001_10^22 + 76032423988783167/244697729605*c_1001_10^21 + 140527071964509077/244697729605*c_1001_10^20 - 181501790928464798/48939545921*c_1001_10^19 + 73748532739462556/48939545921*c_1001_10^18 + 2772850066525079741/244697729605*c_1001_10^17 - 4646011614628057794/244697729605*c_1001_10^16 - 3735625041448085396/244697729605*c_1001_10^15 + 13191651148737798879/244697729605*c_1001_10^14 + 2282226254392116616/244697729605*c_1001_10^13 - 19883384843223995497/244697729605*c_1001_10^12 - 359535860486631499/244697729605*c_1001_10^11 + 18304718876799051722/244697729605*c_1001_10^10 - 355086645528630103/244697729605*c_1001_10^9 - 10697279019283285413/244697729605*c_1001_10^8 + 37126151774198429/34956818515*c_1001_10^7 + 3972724672136688218/244697729605*c_1001_10^6 - 82450610918269677/244697729605*c_1001_10^5 - 906694984496820517/244697729605*c_1001_10^4 + 1945382103089238/34956818515*c_1001_10^3 + 23163853542236936/48939545921*c_1001_10^2 - 944152587056624/244697729605*c_1001_10 - 6332782836185136/244697729605, c_0101_0 - 450305160088647/34956818515*c_1001_10^24 - 1115442207887997/34956818515*c_1001_10^23 + 1485532424742843/34956818515*c_1001_10^22 + 10035297887884802/34956818515*c_1001_10^21 + 18615207821772987/34956818515*c_1001_10^20 - 23839313014636547/6991363703*c_1001_10^19 + 9296965527931772/6991363703*c_1001_10^18 + 366953576816248401/34956818515*c_1001_10^17 - 606604903657239264/34956818515*c_1001_10^16 - 504594003442546346/34956818515*c_1001_10^15 + 1736157462522554379/34956818515*c_1001_10^14 + 329471947573436791/34956818515*c_1001_10^13 - 2631652172461940582/34956818515*c_1001_10^12 - 83783121503343684/34956818515*c_1001_10^11 + 2434951766861378167/34956818515*c_1001_10^10 - 18240911533609613/34956818515*c_1001_10^9 - 1430623540882648258/34956818515*c_1001_10^8 + 20206380060339268/34956818515*c_1001_10^7 + 534615955065717713/34956818515*c_1001_10^6 - 6694238594099347/34956818515*c_1001_10^5 - 122927707110701117/34956818515*c_1001_10^4 + 1116026702874986/34956818515*c_1001_10^3 + 3168601309862500/6991363703*c_1001_10^2 - 78295799151484/34956818515*c_1001_10 - 875391457430111/34956818515, c_0101_1 - 807726837970810/48939545921*c_1001_10^24 - 284668551461766/6991363703*c_1001_10^23 + 2683223453306589/48939545921*c_1001_10^22 + 17972626598906442/48939545921*c_1001_10^21 + 33220972994508206/48939545921*c_1001_10^20 - 214116578537000836/48939545921*c_1001_10^19 + 85540425522550724/48939545921*c_1001_10^18 + 656862651608143119/48939545921*c_1001_10^17 - 1093857721219306538/48939545921*c_1001_10^16 - 893283062626279307/48939545921*c_1001_10^15 + 3119328431938629165/48939545921*c_1001_10^14 + 561593032891193066/48939545921*c_1001_10^13 - 4718518904830764625/48939545921*c_1001_10^12 - 110977369994017242/48939545921*c_1001_10^11 + 4360013371735615635/48939545921*c_1001_10^10 - 64351854589517697/48939545921*c_1001_10^9 - 2558897412836393745/48939545921*c_1001_10^8 + 7401749627905986/6991363703*c_1001_10^7 + 955170767714928138/48939545921*c_1001_10^6 - 16567494794931544/48939545921*c_1001_10^5 - 219337629564078036/48939545921*c_1001_10^4 + 389807250318431/6991363703*c_1001_10^3 + 28223726668542414/48939545921*c_1001_10^2 - 188801106832924/48939545921*c_1001_10 - 1556649695414159/48939545921, c_0101_10 + 2548152626338966/244697729605*c_1001_10^24 + 902980034695493/34956818515*c_1001_10^23 - 8348874568408814/244697729605*c_1001_10^22 - 56726566252719641/244697729605*c_1001_10^21 - 105637081045136946/244697729605*c_1001_10^20 + 134672957805351711/48939545921*c_1001_10^19 - 52446675143911298/48939545921*c_1001_10^18 - 2068364646586782518/244697729605*c_1001_10^17 + 3421845584812929572/244697729605*c_1001_10^16 + 2840963573203717368/244697729605*c_1001_10^15 - 9769714542057377062/244697729605*c_1001_10^14 - 1863839708712485313/244697729605*c_1001_10^13 + 14764733651078529796/244697729605*c_1001_10^12 + 501804203543466372/244697729605*c_1001_10^11 - 13607635563703945976/244697729605*c_1001_10^10 + 67871317024971294/244697729605*c_1001_10^9 + 7954887488612387329/244697729605*c_1001_10^8 - 13345024184596887/34956818515*c_1001_10^7 - 2954518970497024274/244697729605*c_1001_10^6 + 31076726091550436/244697729605*c_1001_10^5 + 674440541743113921/244697729605*c_1001_10^4 - 732035914136139/34956818515*c_1001_10^3 - 17238541378530355/48939545921*c_1001_10^2 + 354631556890797/244697729605*c_1001_10 + 4716684555796788/244697729605, c_0101_2 - 1323597636148447/244697729605*c_1001_10^24 - 464652759390126/34956818515*c_1001_10^23 + 4429096779415543/244697729605*c_1001_10^22 + 29415008150828252/244697729605*c_1001_10^21 + 54163700826389817/244697729605*c_1001_10^20 - 70283743528284060/48939545921*c_1001_10^19 + 28686366615087994/48939545921*c_1001_10^18 + 1074997015954741886/244697729605*c_1001_10^17 - 1801770511985878684/244697729605*c_1001_10^16 - 1447448064434314106/244697729605*c_1001_10^15 + 5123194792708959459/244697729605*c_1001_10^14 + 877301837531165096/244697729605*c_1001_10^13 - 7738921390036749672/244697729605*c_1001_10^12 - 122811865118137904/244697729605*c_1001_10^11 + 7146639312994618842/244697729605*c_1001_10^10 - 153334168398202483/244697729605*c_1001_10^9 - 4193392745071574503/244697729605*c_1001_10^8 + 15480069480344694/34956818515*c_1001_10^7 + 1565064607147607968/244697729605*c_1001_10^6 - 33945888379118627/244697729605*c_1001_10^5 - 359317466460069247/244697729605*c_1001_10^4 + 791541093650143/34956818515*c_1001_10^3 + 9244324705744358/48939545921*c_1001_10^2 - 379620696881144/244697729605*c_1001_10 - 2548152626338966/244697729605, c_0101_5 - 3393086919648341/244697729605*c_1001_10^24 - 1192761675045788/34956818515*c_1001_10^23 + 11325132575046484/244697729605*c_1001_10^22 + 75436546619885846/244697729605*c_1001_10^21 + 139094014378120306/244697729605*c_1001_10^20 - 180074542092467226/48939545921*c_1001_10^19 + 72969799299686201/48939545921*c_1001_10^18 + 2756851802757313608/244697729605*c_1001_10^17 - 4610660610489745582/244697729605*c_1001_10^16 - 3724505611414504058/244697729605*c_1001_10^15 + 13122460539727067517/244697729605*c_1001_10^14 + 2286132672406250538/244697729605*c_1001_10^13 - 19830849147768230241/244697729605*c_1001_10^12 - 366212337250144692/244697729605*c_1001_10^11 + 18315859559825449626/244697729605*c_1001_10^10 - 351351699302266429/244697729605*c_1001_10^9 - 10747226194448833619/244697729605*c_1001_10^8 + 36768793138991797/34956818515*c_1001_10^7 + 4010975059627952999/244697729605*c_1001_10^6 - 81128979528239271/244697729605*c_1001_10^5 - 920844113959887381/244697729605*c_1001_10^4 + 1897228690258484/34956818515*c_1001_10^3 + 23690953816201921/48939545921*c_1001_10^2 - 912764191428447/244697729605*c_1001_10 - 6530584928363813/244697729605, c_0110_10 + 1145167857904421/34956818515*c_1001_10^24 + 2843100616069701/34956818515*c_1001_10^23 - 3759217924800044/34956818515*c_1001_10^22 - 25533057434713796/34956818515*c_1001_10^21 - 47486642722156081/34956818515*c_1001_10^20 + 60559324234645531/6991363703*c_1001_10^19 - 23334629664656663/6991363703*c_1001_10^18 - 933243848061685833/34956818515*c_1001_10^17 + 1537667295958026547/34956818515*c_1001_10^16 + 1289549982126345748/34956818515*c_1001_10^15 - 4405974771083239432/34956818515*c_1001_10^14 - 857178149429696373/34956818515*c_1001_10^13 + 6679889324609224426/34956818515*c_1001_10^12 + 241757112043079082/34956818515*c_1001_10^11 - 6177905443066492116/34956818515*c_1001_10^10 + 22026923777878334/34956818515*c_1001_10^9 + 3626335375298823689/34956818515*c_1001_10^8 - 39139099371528644/34956818515*c_1001_10^7 - 1353269032858945804/34956818515*c_1001_10^6 + 13427769172036626/34956818515*c_1001_10^5 + 310585761547908611/34956818515*c_1001_10^4 - 2269313575374288/34956818515*c_1001_10^3 - 7985770067515855/6991363703*c_1001_10^2 + 161733182666622/34956818515*c_1001_10 + 2198930974779203/34956818515, c_1001_10^25 + 3*c_1001_10^24 - 2*c_1001_10^23 - 24*c_1001_10^22 - 53*c_1001_10^21 + 243*c_1001_10^20 + 35*c_1001_10^19 - 868*c_1001_10^18 + 921*c_1001_10^17 + 1822*c_1001_10^16 - 3266*c_1001_10^15 - 2742*c_1001_10^14 + 5450*c_1001_10^13 + 3234*c_1001_10^12 - 5292*c_1001_10^11 - 2778*c_1001_10^10 + 3182*c_1001_10^9 + 1609*c_1001_10^8 - 1202*c_1001_10^7 - 602*c_1001_10^6 + 278*c_1001_10^5 + 139*c_1001_10^4 - 36*c_1001_10^3 - 18*c_1001_10^2 + 2*c_1001_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.150 Total time: 3.359 seconds, Total memory usage: 32.09MB