Magma V2.19-8 Wed Aug 21 2013 00:57:47 on localhost [Seed = 1781297360] Type ? for help. Type -D to quit. Loading file "L13n4469__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4469 geometric_solution 12.96640039 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 0321 0132 1 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 1 0 -1 -1 0 1 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.494021374318 0.948047869407 0 4 4 5 0132 0132 0321 0132 1 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 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.494021374318 0.948047869407 6 0 0 7 0132 0132 0321 0132 1 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 -1 0 1 0 0 0 0 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494021374318 0.948047869407 8 5 0 5 0132 0132 0132 0213 1 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 1 -1 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326915662004 0.874539390792 9 1 1 10 0132 0132 0321 0132 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 -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.494021374318 0.948047869407 11 3 1 3 0132 0132 0132 0213 1 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 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.326915662004 0.874539390792 2 9 9 11 0132 0132 1023 0213 0 0 0 0 0 -1 0 1 0 0 1 -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 -2 0 0 -1 1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501288124999 0.717176593239 11 10 2 10 2031 0132 0132 0213 1 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 1 -1 0 2 0 0 -2 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275496871873 0.908332601221 3 12 10 9 0132 0132 1302 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 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.260877176747 0.844072262541 4 6 6 8 0132 0132 1023 0213 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 -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.501288124999 0.717176593239 8 7 4 7 2031 0132 0132 0213 1 0 0 0 0 -1 0 1 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 1 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275496871873 0.908332601221 5 12 7 6 0132 1023 1302 0213 0 0 0 0 0 0 1 -1 0 0 -1 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 -2 2 0 0 2 -2 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.260877176747 0.844072262541 11 8 12 12 1023 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371914890218 1.421956965080 ==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_1001_1'], 'c_1001_12' : negation(d['c_0110_12']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : d['c_0110_12'], 'c_1010_10' : d['c_1001_0'], '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_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' : 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_0110_12']), 'c_1100_8' : d['c_0101_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_1001_4'], 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_0110_12'], 'c_1100_1' : d['c_1001_4'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_6'], 'c_1100_10' : d['c_1001_1'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_4'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_0110_12']), '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_12'], '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' : negation(d['c_0011_0']), '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_10']), '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_10']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0101_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_1, c_0101_10, c_0101_12, c_0101_6, c_0110_12, c_1001_0, c_1001_1, c_1001_2, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + 51/22*c_1001_4^2 + 3/22*c_1001_4 - 14/33, c_0011_0 - 1, c_0011_10 + 7/4*c_1001_4^2 + 5/4*c_1001_4 + 17/4, c_0011_11 + 3/2*c_1001_4^2 + 3/2*c_1001_4 + 9/2, c_0101_0 + 1/4*c_1001_4^2 - 1/4*c_1001_4 - 1/4, c_0101_1 - 1/4*c_1001_4^2 + 1/4*c_1001_4 + 1/4, c_0101_10 + 3/4*c_1001_4^2 + 1/4*c_1001_4 + 5/4, c_0101_12 + c_1001_4^2 + c_1001_4 + 3, c_0101_6 - 3/4*c_1001_4^2 - 1/4*c_1001_4 - 5/4, c_0110_12 - 1/2*c_1001_4^2 - 1/2*c_1001_4 - 3/2, c_1001_0 - 1, c_1001_1 - 1, c_1001_2 - c_1001_4, c_1001_4^3 + 2*c_1001_4 - 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_1, c_0101_10, c_0101_12, c_0101_6, c_0110_12, c_1001_0, c_1001_1, c_1001_2, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 536603644913817797983755429602617/249240948664138604048269884763*c_\ 1001_4^15 - 93908510762723415794049616467914896/2268092632843661296\ 8392559513433*c_1001_4^14 - 682780427651542682958811167158552395/22\ 680926328436612968392559513433*c_1001_4^13 - 1210806695696342100122453086704909931/45361852656873225936785119026\ 866*c_1001_4^12 - 3305074555556489426186660090084213934/22680926328\ 436612968392559513433*c_1001_4^11 - 2929922999272242134343940944448398189/22680926328436612968392559513\ 433*c_1001_4^10 - 6888143518613494041581613166127817386/22680926328\ 436612968392559513433*c_1001_4^9 - 17180054452990202441089809460388076305/4536185265687322593678511902\ 6866*c_1001_4^8 - 10420102705617182499808857960180516425/2268092632\ 8436612968392559513433*c_1001_4^7 - 9098606057107748820452114184879186/19172380666472200311405375751*c_\ 1001_4^6 - 9436969534975189122720418159251908893/226809263284366129\ 68392559513433*c_1001_4^5 - 18222627798407917649944269267212609153/\ 45361852656873225936785119026866*c_1001_4^4 - 4568137082919164670325187288030237526/22680926328436612968392559513\ 433*c_1001_4^3 - 2644325449662264900373027850332661945/226809263284\ 36612968392559513433*c_1001_4^2 - 407496326956210952364799389363718\ 662/22680926328436612968392559513433*c_1001_4 - 1209607879496988910113856016844306619/45361852656873225936785119026\ 866, c_0011_0 - 1, c_0011_10 - 33963103370317396925180999/481566861324262488198565168*c_10\ 01_4^15 - 6936527227932871840721523/120391715331065622049641292*c_1\ 001_4^14 - 215560555815912427204390001/240783430662131244099282584*\ c_1001_4^13 + 31741245141877507745633681/24078343066213124409928258\ 4*c_1001_4^12 - 137610781795432976966751212/30097928832766405512410\ 323*c_1001_4^11 + 84367024371040761630038313/1203917153310656220496\ 41292*c_1001_4^10 - 2140400885084506206127693591/240783430662131244\ 099282584*c_1001_4^9 - 799346876303102179602523287/2407834306621312\ 44099282584*c_1001_4^8 - 1883766152205417889448719269/2407834306621\ 31244099282584*c_1001_4^7 - 1593771225009936092533989897/2407834306\ 62131244099282584*c_1001_4^6 - 2169442009646809063617351145/4815668\ 61324262488198565168*c_1001_4^5 - 380539152004415179655182963/60195\ 857665532811024820646*c_1001_4^4 - 249447133541711446198369029/481566861324262488198565168*c_1001_4^3 - 668405586515524978089417269/240783430662131244099282584*c_1001_4^2 - 8233969999192499663130273/481566861324262488198565168*c_1001_4 - 98032129688727295836559357/120391715331065622049641292, c_0011_11 - 20641202035466068588365431/240783430662131244099282584*c_10\ 01_4^15 - 3767936041086618072108115/30097928832766405512410323*c_10\ 01_4^14 - 275432895547696786814742107/240783430662131244099282584*c\ _1001_4^13 - 257833085325452723272591393/48156686132426248819856516\ 8*c_1001_4^12 - 1344521944066111473878346561/2407834306621312440992\ 82584*c_1001_4^11 - 1222317566076053681013721711/481566861324262488\ 198565168*c_1001_4^10 - 1326662956413461637861284345/12039171533106\ 5622049641292*c_1001_4^9 - 4803521609273054988210221967/48156686132\ 4262488198565168*c_1001_4^8 - 1651805546598455452346272997/12039171\ 5331065622049641292*c_1001_4^7 - 6176321790355435424941125293/48156\ 6861324262488198565168*c_1001_4^6 - 328270847611742779874789154/30097928832766405512410323*c_1001_4^5 - 5110859232725649139610604087/481566861324262488198565168*c_1001_4^4 - 232234856013837995978769621/60195857665532811024820646*c_1001_4^3 - 693358118487143490802100167/240783430662131244099282584*c_1001_4^\ 2 + 13582961321670118766379827/240783430662131244099282584*c_1001_4 - 369611421773803506165922217/481566861324262488198565168, c_0101_0 + 41817465822053400477728249/481566861324262488198565168*c_100\ 1_4^15 + 63448718382860245172297943/481566861324262488198565168*c_1\ 001_4^14 + 543253469342619343248645219/481566861324262488198565168*\ c_1001_4^13 + 136348076817850827246680447/2407834306621312440992825\ 84*c_1001_4^12 + 2509405187729791678190053485/481566861324262488198\ 565168*c_1001_4^11 + 339782643261342553124293393/120391715331065622\ 049641292*c_1001_4^10 + 4346127201769786601474514665/48156686132426\ 2488198565168*c_1001_4^9 + 1231274250951845136044817463/12039171533\ 1065622049641292*c_1001_4^8 + 5100764201220986296648235293/48156686\ 1324262488198565168*c_1001_4^7 + 2388761176955524382112346107/24078\ 3430662131244099282584*c_1001_4^6 + 1024418188108102291040085405/120391715331065622049641292*c_1001_4^5 + 47191052509504681005986911/6782631849637499833782608*c_1001_4^4 + 1008646085300676209685337005/481566861324262488198565168*c_1001_4^3 + 244403694161988914919863709/481566861324262488198565168*c_1001_4^\ 2 + 68332584092962149891480119/240783430662131244099282584*c_1001_4 - 8691941620248022927979713/481566861324262488198565168, c_0101_1 - 11359014491112194822132087/240783430662131244099282584*c_100\ 1_4^15 - 14268326135147642502311205/481566861324262488198565168*c_1\ 001_4^14 - 277911517227209742300377675/481566861324262488198565168*\ c_1001_4^13 + 49236832023210922600472513/24078343066213124409928258\ 4*c_1001_4^12 - 1389199228349333974114647991/4815668613242624881985\ 65168*c_1001_4^11 + 227855784615736765396148569/2407834306621312440\ 99282584*c_1001_4^10 - 2352269055677177017260339437/481566861324262\ 488198565168*c_1001_4^9 - 91950097263975996359212937/60195857665532\ 811024820646*c_1001_4^8 - 1004153801975185191520486357/481566861324\ 262488198565168*c_1001_4^7 - 644536399005452012325116173/2407834306\ 62131244099282584*c_1001_4^6 + 151766984651208746915473967/48156686\ 1324262488198565168*c_1001_4^5 - 423987898180087953868260161/481566\ 861324262488198565168*c_1001_4^4 + 302389352179950280002557293/120391715331065622049641292*c_1001_4^3 + 334572044238014876185593979/481566861324262488198565168*c_1001_4^2 + 459292727114685291942332573/481566861324262488198565168*c_1001_4 + 484972207249312542558065413/481566861324262488198565168, c_0101_10 + 77185795538890457721310437/481566861324262488198565168*c_10\ 01_4^15 + 113315502046769402497806861/481566861324262488198565168*c\ _1001_4^14 + 1068120336094872122478258619/4815668613242624881985651\ 68*c_1001_4^13 + 274067928529681837842872555/2407834306621312440992\ 82584*c_1001_4^12 + 5513000436701168416099924641/481566861324262488\ 198565168*c_1001_4^11 + 160854804541513138551651410/300979288327664\ 05512410323*c_1001_4^10 + 12107989315129784841287282049/48156686132\ 4262488198565168*c_1001_4^9 + 2563993178778246768766936689/12039171\ 5331065622049641292*c_1001_4^8 + 15978083190199439384227702049/4815\ 66861324262488198565168*c_1001_4^7 + 7896551934544564262089002555/240783430662131244099282584*c_1001_4^6 + 3493390421061679599671121367/120391715331065622049641292*c_1001_4\ ^5 + 13517549276892651797191125287/481566861324262488198565168*c_10\ 01_4^4 + 6571651128995666112634185225/481566861324262488198565168*c\ _1001_4^3 + 5348913568973788296388824007/48156686132426248819856516\ 8*c_1001_4^2 + 321469717464892470233428519/240783430662131244099282\ 584*c_1001_4 + 613961286682260913842257773/481566861324262488198565\ 168, c_0101_12 - 1727430594344384569667534/30097928832766405512410323*c_1001\ _4^15 - 4970202766189106127518687/60195857665532811024820646*c_1001\ _4^14 - 179154938841774839144792471/240783430662131244099282584*c_1\ 001_4^13 - 155078712249725207972106043/481566861324262488198565168*\ c_1001_4^12 - 837599107051392333393521783/2407834306621312440992825\ 84*c_1001_4^11 - 772492765011066470115474649/4815668613242624881985\ 65168*c_1001_4^10 - 366489576574479863682128223/6019585766553281102\ 4820646*c_1001_4^9 - 3050978528091581295740321261/48156686132426248\ 8198565168*c_1001_4^8 - 202940432135529159751503229/300979288327664\ 05512410323*c_1001_4^7 - 3039716373349553273260383271/4815668613242\ 62488198565168*c_1001_4^6 - 1193401898622765847421003193/2407834306\ 62131244099282584*c_1001_4^5 - 1919590252798382873325919737/4815668\ 61324262488198565168*c_1001_4^4 - 104181036978910273770297865/24078\ 3430662131244099282584*c_1001_4^3 + 76478778760720675563707397/240783430662131244099282584*c_1001_4^2 + 44319224702226067651933217/60195857665532811024820646*c_1001_4 + 133325214903605736152099905/481566861324262488198565168, c_0101_6 - 29906351833463196494068887/240783430662131244099282584*c_100\ 1_4^15 - 117363675808006377967052623/481566861324262488198565168*c_\ 1001_4^14 - 809074984705965335473247891/481566861324262488198565168\ *c_1001_4^13 - 360067932467208827772523837/240783430662131244099282\ 584*c_1001_4^12 - 3657094596569248186099756019/48156686132426248819\ 8565168*c_1001_4^11 - 1730482997189553729469943139/2407834306621312\ 44099282584*c_1001_4^10 - 6650728173782612165459740909/481566861324\ 262488198565168*c_1001_4^9 - 2358112343218812942593849363/120391715\ 331065622049641292*c_1001_4^8 - 9830751941559802170893773521/481566\ 861324262488198565168*c_1001_4^7 - 64620434999361197821670425/3391315924818749916891304*c_1001_4^6 - 7975548261255794407582535013/481566861324262488198565168*c_1001_4^5 - 7159910254871947174987833463/481566861324262488198565168*c_1001_4\ ^4 - 9803779391509471601358127/1695657962409374958445652*c_1001_4^3 - 486669026127251664806834571/481566861324262488198565168*c_1001_4^\ 2 + 26566782650244218060105937/481566861324262488198565168*c_1001_4 - 453348150591647737963695241/481566861324262488198565168, c_0110_12 - 83879543585959972271614349/481566861324262488198565168*c_10\ 01_4^15 - 17364847260666696398543425/60195857665532811024820646*c_1\ 001_4^14 - 565930567018061177501961027/240783430662131244099282584*\ c_1001_4^13 - 365043485859858726034142379/2407834306621312440992825\ 84*c_1001_4^12 - 2710413064956742806687163175/240783430662131244099\ 282584*c_1001_4^11 - 220064727866884810585035085/300979288327664055\ 12410323*c_1001_4^10 - 5274185266862050865224969005/240783430662131\ 244099282584*c_1001_4^9 - 5810204515480471295930286543/240783430662\ 131244099282584*c_1001_4^8 - 3498750897277356362052576239/120391715\ 331065622049641292*c_1001_4^7 - 6815242886964287717050066947/240783\ 430662131244099282584*c_1001_4^6 - 11708769029119402227630177459/481566861324262488198565168*c_1001_4^\ 5 - 1318360725460749310555414121/60195857665532811024820646*c_1001_\ 4^4 - 4285792124834078986698486697/481566861324262488198565168*c_10\ 01_4^3 - 1074047425247734360587552075/240783430662131244099282584*c\ _1001_4^2 + 26661938592009543829098487/481566861324262488198565168*\ c_1001_4 - 26322014223676794927691019/30097928832766405512410323, c_1001_0 - 1, c_1001_1 + 5099576187472959504312715/30097928832766405512410323*c_1001_\ 4^15 + 8689072125999939850016379/30097928832766405512410323*c_1001_\ 4^14 + 68671402096575277591281178/30097928832766405512410323*c_1001\ _4^13 + 49035250131485440408922904/30097928832766405512410323*c_100\ 1_4^12 + 327409272914712049271800209/30097928832766405512410323*c_1\ 001_4^11 + 253931216071018565910818367/30097928832766405512410323*c\ _1001_4^10 + 626079550795711288522174907/30097928832766405512410323\ *c_1001_4^9 + 846978101891722777291139764/3009792883276640551241032\ 3*c_1001_4^8 + 864888042985772880978407199/300979288327664055124103\ 23*c_1001_4^7 + 1012409885565445433126702551/3009792883276640551241\ 0323*c_1001_4^6 + 883631468650214824460043418/300979288327664055124\ 10323*c_1001_4^5 + 800788803998026247175751144/30097928832766405512\ 410323*c_1001_4^4 + 439605584542784884625991104/3009792883276640551\ 2410323*c_1001_4^3 + 3091994687133678498786445/42391449060234373961\ 1413*c_1001_4^2 + 115749686409060209641383589/300979288327664055124\ 10323*c_1001_4 + 29936009714881763811724580/30097928832766405512410\ 323, c_1001_2 + 2679524240619711553472625/30097928832766405512410323*c_1001_\ 4^15 + 2076991573909972102748918/30097928832766405512410323*c_1001_\ 4^14 + 33158641929800139149740338/30097928832766405512410323*c_1001\ _4^13 - 6666414984978924505881761/30097928832766405512410323*c_1001\ _4^12 + 164113100926304318351159505/30097928832766405512410323*c_10\ 01_4^11 - 28973248870360457657108936/30097928832766405512410323*c_1\ 001_4^10 + 282219007520841778538867530/30097928832766405512410323*c\ _1001_4^9 + 132597808520408955231711029/30097928832766405512410323*\ c_1001_4^8 + 166230898033577041790611243/30097928832766405512410323\ *c_1001_4^7 + 195726524560199326602015632/3009792883276640551241032\ 3*c_1001_4^6 + 49295798150380124604797776/3009792883276640551241032\ 3*c_1001_4^5 + 93385593730530550485668059/3009792883276640551241032\ 3*c_1001_4^4 - 92747104257929921223538197/3009792883276640551241032\ 3*c_1001_4^3 - 25164204904244105329563379/3009792883276640551241032\ 3*c_1001_4^2 - 34898810617927342657717320/3009792883276640551241032\ 3*c_1001_4 - 30064440333349807074490391/30097928832766405512410323, c_1001_4^16 + 22/13*c_1001_4^15 + 179/13*c_1001_4^14 + 122/13*c_1001_4^13 + 880/13*c_1001_4^12 + 574/13*c_1001_4^11 + 1836/13*c_1001_4^10 + 1850/13*c_1001_4^9 + 2582/13*c_1001_4^8 + 2368/13*c_1001_4^7 + 2203/13*c_1001_4^6 + 2000/13*c_1001_4^5 + 956/13*c_1001_4^4 + 576/13*c_1001_4^3 + 58/13*c_1001_4^2 + 136/13*c_1001_4 - 7/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.440 Total time: 0.650 seconds, Total memory usage: 32.09MB