Magma V2.19-8 Tue Aug 20 2013 23:42:35 on localhost [Seed = 1511800636] Type ? for help. Type -D to quit. Loading file "K13a4538__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a4538 geometric_solution 10.49154864 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 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 0 1 -1 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.519174763860 0.590014672639 0 2 4 4 0132 1302 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 15 -15 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.244777522686 0.846326541351 0 0 5 1 2103 0132 0132 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 0 0 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 1.776488892549 1.217755053158 6 7 0 5 0132 0132 0132 0132 0 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 -16 1 15 1 0 0 -1 0 16 0 -16 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722028063870 0.509324859348 5 1 1 8 0132 0213 0132 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 15 -15 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586977382205 0.657785689192 4 6 3 2 0132 0321 0132 0132 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 15 -15 0 0 0 1 -1 0 0 0 0 -15 -1 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778484820459 0.623001919420 3 7 8 5 0132 0321 2103 0321 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 15 -15 -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.642940962513 0.545244477406 9 3 10 6 0132 0132 0132 0321 0 0 0 0 0 1 -1 0 -1 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 0 16 -16 0 -15 0 15 0 1 -1 0 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.663841319560 1.299735830865 6 9 4 9 2103 3120 0132 3012 0 0 0 0 0 0 0 0 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 1 -1 0 0 15 -15 -15 0 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.663841319560 1.299735830865 7 8 8 10 0132 3120 1230 1302 0 0 0 0 0 0 1 -1 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 0 15 -15 15 0 -15 0 -16 0 0 16 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688337193213 0.610205037248 11 11 9 7 0132 2310 2031 0132 0 0 0 0 0 0 -1 1 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 -16 16 0 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.012724885415 0.415888386437 10 11 11 10 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.112849423854 1.079320493569 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : d['c_0110_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_0110_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_8']), 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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_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' : negation(d['1']), 's_0_5' : negation(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_1100_9' : d['c_0101_10'], 'c_1100_8' : d['c_1001_8'], 'c_1100_5' : negation(d['c_0110_2']), 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : d['c_1001_8'], 'c_1100_0' : negation(d['c_0110_2']), 'c_1100_3' : negation(d['c_0110_2']), 'c_1100_2' : negation(d['c_0110_2']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_8'], 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : negation(d['c_0011_3']), 's_3_1' : 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' : 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' : negation(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' : d['c_0011_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), '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_10'], 'c_0110_10' : d['c_0101_11'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : d['c_0101_5'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : d['c_0011_4']})} 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_3, c_0011_4, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_5, c_0110_2, c_1001_2, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 43 Groebner basis: [ t - 1704920382201488747839336253494113/184249106407710900067737408736*c\ _1001_8^42 - 16836531391866748681995483213263657/460622766019277250\ 16934352184*c_1001_8^41 - 628936807141353353235128030727846017/9212\ 4553203855450033868704368*c_1001_8^40 - 14748573845420096468758183024539679699/1842491064077109000677374087\ 36*c_1001_8^39 - 121514244978335931160555191206555643299/1842491064\ 07710900067737408736*c_1001_8^38 - 745975914797773876880617429727130225911/184249106407710900067737408\ 736*c_1001_8^37 - 3529301892959446934429468140437376042499/18424910\ 6407710900067737408736*c_1001_8^36 - 6561037737835093860208781474185218362959/92124553203855450033868704\ 368*c_1001_8^35 - 38724500048122490297567253813560473070921/1842491\ 06407710900067737408736*c_1001_8^34 - 6494561548470858666653767483878975983349/13160650457693635719124100\ 624*c_1001_8^33 - 43859705837087503884865787255944338555/4778244460\ 7808843378562606*c_1001_8^32 - 246678365688703623813853065492497384\ 512005/184249106407710900067737408736*c_1001_8^31 - 165835213695924925922187521471958818793/109606844977817311164626656\ *c_1001_8^30 - 245484914386755192391073500344406686800997/184249106\ 407710900067737408736*c_1001_8^29 - 184313027563905490875782736286424750401605/184249106407710900067737\ 408736*c_1001_8^28 - 147571946326837655903864492817780352772113/184\ 249106407710900067737408736*c_1001_8^27 - 18251814044451802054567668499193300777935/2632130091538727143824820\ 1248*c_1001_8^26 - 80185817112830475654134440255091215624113/184249\ 106407710900067737408736*c_1001_8^25 - 20240520657050785816139867006064530398433/1842491064077109000677374\ 08736*c_1001_8^24 - 6388214407463945338113480561912769862525/184249\ 106407710900067737408736*c_1001_8^23 - 24258524899733890587536666319898530721001/1842491064077109000677374\ 08736*c_1001_8^22 - 12615195481097617025659073810854788290769/18424\ 9106407710900067737408736*c_1001_8^21 + 1741820673766880498464170445868187481145/26321300915387271438248201\ 248*c_1001_8^20 + 693366101037332640195817233741061529201/460622766\ 01927725016934352184*c_1001_8^19 - 11527490644328505803818954272024461266081/1842491064077109000677374\ 08736*c_1001_8^18 + 23314278426273810053292909392063186811/65803252\ 28846817859562050312*c_1001_8^17 + 3159472844780179118279169090436481219299/92124553203855450033868704\ 368*c_1001_8^16 - 3660725574539761610397474378228362325865/18424910\ 6407710900067737408736*c_1001_8^15 - 2328411921417634150506374199709931695509/18424910640771090006773740\ 8736*c_1001_8^14 + 426399070748819607616778089385296097721/26321300\ 915387271438248201248*c_1001_8^13 - 482322811517422724156480387317658800645/184249106407710900067737408\ 736*c_1001_8^12 - 1209582626717821326744921485361786230305/18424910\ 6407710900067737408736*c_1001_8^11 + 235998712487566349263124129342480921387/460622766019277250169343521\ 84*c_1001_8^10 - 67324509720357992406859298241616632121/18424910640\ 7710900067737408736*c_1001_8^9 - 3323362424219074352324126580132988\ 72715/184249106407710900067737408736*c_1001_8^8 + 124253416595596234599509174878314084955/921245532038554500338687043\ 68*c_1001_8^7 - 28647416281838507816576447522416278339/921245532038\ 55450033868704368*c_1001_8^6 - 184002451879292932560500240784702597\ 31/92124553203855450033868704368*c_1001_8^5 + 20956655691635143015572223937652537707/9212455320385545003386870436\ 8*c_1001_8^4 - 3061542826488312006951013487076951571/26321300915387\ 271438248201248*c_1001_8^3 + 430199368859640756237591221423857547/1\ 1515569150481931254233588046*c_1001_8^2 - 1406804678502352655106211276720301357/18424910640771090006773740873\ 6*c_1001_8 + 156816632630290206397942262634685469/18424910640771090\ 0067737408736, c_0011_0 - 1, c_0011_10 + c_1001_8^25 + 22*c_1001_8^24 + 218*c_1001_8^23 + 1276*c_1001_8^22 + 4851*c_1001_8^21 + 12354*c_1001_8^20 + 20794*c_1001_8^19 + 21532*c_1001_8^18 + 11229*c_1001_8^17 + 2382*c_1001_8^16 + 5706*c_1001_8^15 + 8156*c_1001_8^14 - 996*c_1001_8^13 - 4586*c_1001_8^12 + 2932*c_1001_8^11 + 2210*c_1001_8^10 - 3078*c_1001_8^9 + 314*c_1001_8^8 + 1560*c_1001_8^7 - 1128*c_1001_8^6 + 101*c_1001_8^5 + 386*c_1001_8^4 - 322*c_1001_8^3 + 138*c_1001_8^2 - 35*c_1001_8 + 4, c_0011_3 - c_1001_8^36 - 32*c_1001_8^35 - 477*c_1001_8^34 - 4384*c_1001_8^33 - 27697*c_1001_8^32 - 126836*c_1001_8^31 - 431984*c_1001_8^30 - 1102420*c_1001_8^29 - 2088480*c_1001_8^28 - 2849024*c_1001_8^27 - 2626953*c_1001_8^26 - 1481132*c_1001_8^25 - 653927*c_1001_8^24 - 898384*c_1001_8^23 - 1052708*c_1001_8^22 - 102852*c_1001_8^21 + 575887*c_1001_8^20 - 116132*c_1001_8^19 - 524839*c_1001_8^18 + 207360*c_1001_8^17 + 346121*c_1001_8^16 - 269400*c_1001_8^15 - 129016*c_1001_8^14 + 224028*c_1001_8^13 - 39604*c_1001_8^12 - 103872*c_1001_8^11 + 80634*c_1001_8^10 - 488*c_1001_8^9 - 35442*c_1001_8^8 + 24512*c_1001_8^7 - 3992*c_1001_8^6 - 5368*c_1001_8^5 + 5195*c_1001_8^4 - 2524*c_1001_8^3 + 779*c_1001_8^2 - 152*c_1001_8 + 15, c_0011_4 + c_1001_8^40 + 36*c_1001_8^39 + 609*c_1001_8^38 + 6420*c_1001_8^37 + 47141*c_1001_8^36 + 255160*c_1001_8^35 + 1050116*c_1001_8^34 + 3337700*c_1001_8^33 + 8226095*c_1001_8^32 + 15612596*c_1001_8^31 + 22376608*c_1001_8^30 + 23382212*c_1001_8^29 + 17071328*c_1001_8^28 + 9382910*c_1001_8^27 + 7113342*c_1001_8^26 + 7628460*c_1001_8^25 + 3702942*c_1001_8^24 - 1994354*c_1001_8^23 - 1280115*c_1001_8^22 + 2495020*c_1001_8^21 + 926005*c_1001_8^20 - 2011822*c_1001_8^19 - 87472*c_1001_8^18 + 1510320*c_1001_8^17 - 380651*c_1001_8^16 - 708992*c_1001_8^15 + 555694*c_1001_8^14 + 125932*c_1001_8^13 - 340102*c_1001_8^12 + 124028*c_1001_8^11 + 75566*c_1001_8^10 - 94848*c_1001_8^9 + 29939*c_1001_8^8 + 12938*c_1001_8^7 - 16871*c_1001_8^6 + 7320*c_1001_8^5 - 877*c_1001_8^4 - 694*c_1001_8^3 + 438*c_1001_8^2 - 122*c_1001_8 + 15, c_0011_8 - 2*c_1001_8^38 - 68*c_1001_8^37 - 1082*c_1001_8^36 - 10676*c_1001_8^35 - 72931*c_1001_8^34 - 364490*c_1001_8^33 - 1371729*c_1001_8^32 - 3936326*c_1001_8^31 - 8607236*c_1001_8^30 - 14137584*c_1001_8^29 - 16910393*c_1001_8^28 - 14048886*c_1001_8^27 - 8148303*c_1001_8^26 - 5373948*c_1001_8^25 - 6254351*c_1001_8^24 - 4508110*c_1001_8^23 + 612998*c_1001_8^22 + 1645982*c_1001_8^21 - 1750376*c_1001_8^20 - 1453644*c_1001_8^19 + 1633375*c_1001_8^18 + 573464*c_1001_8^17 - 1406427*c_1001_8^16 + 140258*c_1001_8^15 + 786700*c_1001_8^14 - 499984*c_1001_8^13 - 178012*c_1001_8^12 + 360680*c_1001_8^11 - 135720*c_1001_8^10 - 75668*c_1001_8^9 + 108692*c_1001_8^8 - 46312*c_1001_8^7 - 5002*c_1001_8^6 + 18362*c_1001_8^5 - 12382*c_1001_8^4 + 4944*c_1001_8^3 - 1293*c_1001_8^2 + 208*c_1001_8 - 15, c_0101_0 - c_1001_8^41 - 38*c_1001_8^40 - 680*c_1001_8^39 - 7602*c_1001_8^38 - 59373*c_1001_8^37 - 343056*c_1001_8^36 - 1513836*c_1001_8^35 - 5188110*c_1001_8^34 - 13887845*c_1001_8^33 - 28909346*c_1001_8^32 - 46061778*c_1001_8^31 - 54492770*c_1001_8^30 - 45773060*c_1001_8^29 - 27254954*c_1001_8^28 - 17393226*c_1001_8^27 - 19786082*c_1001_8^26 - 16378632*c_1001_8^25 - 950780*c_1001_8^24 + 5566890*c_1001_8^23 - 4228986*c_1001_8^22 - 6953345*c_1001_8^21 + 3265172*c_1001_8^20 + 4043848*c_1001_8^19 - 3958524*c_1001_8^18 - 1854927*c_1001_8^17 + 3131236*c_1001_8^16 - 256972*c_1001_8^15 - 1772050*c_1001_8^14 + 1022180*c_1001_8^13 + 365204*c_1001_8^12 - 714626*c_1001_8^11 + 267644*c_1001_8^10 + 136021*c_1001_8^9 - 196960*c_1001_8^8 + 84594*c_1001_8^7 + 6400*c_1001_8^6 - 30095*c_1001_8^5 + 20264*c_1001_8^4 - 8040*c_1001_8^3 + 2090*c_1001_8^2 - 337*c_1001_8 + 26, c_0101_10 + c_1001_8^38 + 34*c_1001_8^37 + 541*c_1001_8^36 + 5338*c_1001_8^35 + 36466*c_1001_8^34 + 182260*c_1001_8^33 + 686073*c_1001_8^32 + 1969938*c_1001_8^31 + 4313916*c_1001_8^30 + 7111600*c_1001_8^29 + 8585392*c_1001_8^28 + 7313848*c_1001_8^27 + 4532112*c_1001_8^26 + 3167710*c_1001_8^25 + 3404875*c_1001_8^24 + 2299842*c_1001_8^23 - 242815*c_1001_8^22 - 610340*c_1001_8^21 + 993273*c_1001_8^20 + 611326*c_1001_8^19 - 872534*c_1001_8^18 - 150622*c_1001_8^17 + 738611*c_1001_8^16 - 174262*c_1001_8^15 - 378248*c_1001_8^14 + 316904*c_1001_8^13 + 50902*c_1001_8^12 - 199900*c_1001_8^11 + 99302*c_1001_8^10 + 29296*c_1001_8^9 - 63660*c_1001_8^8 + 32960*c_1001_8^7 - 539*c_1001_8^6 - 10496*c_1001_8^5 + 8113*c_1001_8^4 - 3538*c_1001_8^3 + 1004*c_1001_8^2 - 178*c_1001_8 + 15, c_0101_11 + c_1001_8^12 + 10*c_1001_8^11 + 39*c_1001_8^10 + 70*c_1001_8^9 + 45*c_1001_8^8 - 14*c_1001_8^7 + 32*c_1001_8^5 - 10*c_1001_8^4 - 12*c_1001_8^3 + 13*c_1001_8^2 - 6*c_1001_8 + 1, c_0101_5 + c_1001_8^3 + 2*c_1001_8^2, c_0110_2 + c_1001_8^42 + 38*c_1001_8^41 + 681*c_1001_8^40 + 7638*c_1001_8^39 + 59982*c_1001_8^38 + 349476*c_1001_8^37 + 1560977*c_1001_8^36 + 5443270*c_1001_8^35 + 14937961*c_1001_8^34 + 32247046*c_1001_8^33 + 54287873*c_1001_8^32 + 70105366*c_1001_8^31 + 68149668*c_1001_8^30 + 50637166*c_1001_8^29 + 34464554*c_1001_8^28 + 29168992*c_1001_8^27 + 23491974*c_1001_8^26 + 8579240*c_1001_8^25 - 1863948*c_1001_8^24 + 2234632*c_1001_8^23 + 5673230*c_1001_8^22 - 770152*c_1001_8^21 - 3117843*c_1001_8^20 + 1946702*c_1001_8^19 + 1767455*c_1001_8^18 - 1620916*c_1001_8^17 - 123679*c_1001_8^16 + 1063058*c_1001_8^15 - 466486*c_1001_8^14 - 239272*c_1001_8^13 + 374524*c_1001_8^12 - 143616*c_1001_8^11 - 60455*c_1001_8^10 + 102112*c_1001_8^9 - 54655*c_1001_8^8 + 6538*c_1001_8^7 + 13224*c_1001_8^6 - 12944*c_1001_8^5 + 7163*c_1001_8^4 - 2784*c_1001_8^3 + 775*c_1001_8^2 - 148*c_1001_8 + 15, c_1001_2 + c_1001_8, c_1001_8^43 + 39*c_1001_8^42 + 718*c_1001_8^41 + 8281*c_1001_8^40 + 66940*c_1001_8^39 + 401856*c_1001_8^38 + 1851080*c_1001_8^37 + 6661191*c_1001_8^36 + 18867395*c_1001_8^35 + 41996897*c_1001_8^34 + 72647074*c_1001_8^33 + 95483893*c_1001_8^32 + 92193256*c_1001_8^31 + 64294064*c_1001_8^30 + 39328660*c_1001_8^29 + 36378592*c_1001_8^28 + 35267740*c_1001_8^27 + 12285132*c_1001_8^26 - 9663340*c_1001_8^25 - 580096*c_1001_8^24 + 13474752*c_1001_8^23 + 674092*c_1001_8^22 - 10841340*c_1001_8^21 + 2094031*c_1001_8^20 + 7758005*c_1001_8^19 - 3811985*c_1001_8^18 - 3599522*c_1001_8^17 + 4070615*c_1001_8^16 + 339600*c_1001_8^15 - 2477808*c_1001_8^14 + 1157432*c_1001_8^13 + 596112*c_1001_8^12 - 918697*c_1001_8^11 + 309301*c_1001_8^10 + 183478*c_1001_8^9 - 245077*c_1001_8^8 + 104356*c_1001_8^7 + 6680*c_1001_8^6 - 35876*c_1001_8^5 + 24643*c_1001_8^4 - 10049*c_1001_8^3 + 2717*c_1001_8^2 - 470*c_1001_8 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.810 Total time: 1.030 seconds, Total memory usage: 32.09MB