Magma V2.19-8 Tue Aug 20 2013 23:42:44 on localhost [Seed = 3751393944] Type ? for help. Type -D to quit. Loading file "K13a4570__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a4570 geometric_solution 10.80072116 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 3 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 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 -13 0 0 13 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503091208946 1.200699250921 0 4 2 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 12 0 0 -12 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.390561005923 0.332027903481 1 0 6 6 2031 0132 0213 0132 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 1 -1 0 0 0 0 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705269055304 0.564712624304 7 0 8 0 0132 0321 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 -1 1 0 0 0 0 0 13 -13 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703152402951 0.708469321419 7 1 9 6 1023 0132 0132 1230 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 -1 13 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.014075038961 0.672824964603 7 8 1 10 2103 1023 0132 0132 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 -13 1 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559611573576 0.677902214188 4 2 2 11 3012 0213 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726355713306 1.391717593353 3 4 5 10 0132 1023 2103 0213 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 -1 1 0 0 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458726301937 0.831084022067 5 9 11 3 1023 3012 1230 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 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.432082550477 0.680654371015 8 11 11 4 1230 2103 3201 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 -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.541350438881 0.427038252213 10 10 5 7 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.367683851958 0.858946252039 9 9 6 8 2310 2103 0132 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 1 -1 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 1.462272914460 1.235358674600 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_9']), 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_0101_8']), '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' : negation(d['c_0011_11']), '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' : 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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(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_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : d['c_0011_9'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_0101_9']), 'c_1100_3' : negation(d['c_0101_9']), 'c_1100_2' : d['c_0011_9'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : d['c_0011_6'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : d['c_0011_9'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : negation(d['c_0101_9']), 'c_1100_8' : negation(d['c_0101_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], 's_1_7' : negation(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_9'], 'c_0011_8' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : 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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_9']), 'c_0110_10' : d['c_0011_10'], 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_5'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : negation(d['c_0011_11'])})} 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_5, c_0011_6, c_0011_9, c_0101_0, c_0101_10, c_0101_6, c_0101_8, c_0101_9, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 39 Groebner basis: [ t - 6185569184141168332013824852/652026202416249928265*c_1001_0^38 + 650135165190352440146642371/130405240483249985653*c_1001_0^37 + 34664346600216608149685663138/652026202416249928265*c_1001_0^36 + 129909167626892756150528505369/652026202416249928265*c_1001_0^35 + 437769900413554534367231245229/652026202416249928265*c_1001_0^34 + 143387611756581183761676634888/130405240483249985653*c_1001_0^33 + 907658563219410255991088849722/652026202416249928265*c_1001_0^32 - 19325086033258587855911945152/130405240483249985653*c_1001_0^31 - 2526494751167283262056301352872/652026202416249928265*c_1001_0^30 - 688963953895368548086828874448/130405240483249985653*c_1001_0^29 - 671365774876329648551763439022/130405240483249985653*c_1001_0^28 + 1469851709679761401692188782956/652026202416249928265*c_1001_0^27 + 1948407569964423433859933255651/130405240483249985653*c_1001_0^26 + 7145599454668206953294469709821/652026202416249928265*c_1001_0^25 + 13141466984756719952111761902/22483662152284480285*c_1001_0^24 - 1468991449582164270299791316958/130405240483249985653*c_1001_0^23 - 3491783782452257667135492575205/130405240483249985653*c_1001_0^22 - 4271075538780013832127230900047/652026202416249928265*c_1001_0^21 + 504579157182314825701566994872/22483662152284480285*c_1001_0^20 + 2180079542133236794712016161149/130405240483249985653*c_1001_0^19 + 6493616467774282916065444974421/652026202416249928265*c_1001_0^18 - 198495252457688550859744311796/28348965322445649055*c_1001_0^17 - 996529945934387762432384985913/34317168548223680435*c_1001_0^16 - 771962043163554301182453480081/130405240483249985653*c_1001_0^15 + 11886223853997112859720899851367/652026202416249928265*c_1001_0^14 + 9373167860211909174281168753/1183350639593920015*c_1001_0^13 + 992197022732712420198751015567/652026202416249928265*c_1001_0^12 - 2003605500033873094114379993071/652026202416249928265*c_1001_0^11 - 6612581166438933926603547992877/652026202416249928265*c_1001_0^10 - 54370140576590662268276097342/130405240483249985653*c_1001_0^9 + 5170843562650588408893039513067/652026202416249928265*c_1001_0^8 + 595019939588653819518437410792/652026202416249928265*c_1001_0^7 - 60401213800692384878584239406/17622329795033781845*c_1001_0^6 - 2285771789452699726272878284/5669793064489129811*c_1001_0^5 + 595073908882904100112837509127/652026202416249928265*c_1001_0^4 + 56020571995788191535216099159/652026202416249928265*c_1001_0^3 - 92882968758306291798948266148/652026202416249928265*c_1001_0^2 - 5047798365221606274748146988/652026202416249928265*c_1001_0 + 6634649925709259680720895986/652026202416249928265, c_0011_0 - 1, c_0011_10 - 14*c_1001_0^38 + 15*c_1001_0^37 + 81*c_1001_0^36 + 249*c_1001_0^35 + 790*c_1001_0^34 + 941*c_1001_0^33 + 689*c_1001_0^32 - 2136*c_1001_0^31 - 6538*c_1001_0^30 - 4526*c_1001_0^29 - 287*c_1001_0^28 + 11498*c_1001_0^27 + 23732*c_1001_0^26 + 2312*c_1001_0^25 - 19932*c_1001_0^24 - 25736*c_1001_0^23 - 29688*c_1001_0^22 + 20921*c_1001_0^21 + 59613*c_1001_0^20 + 12105*c_1001_0^19 - 18292*c_1001_0^18 - 32213*c_1001_0^17 - 44317*c_1001_0^16 + 20142*c_1001_0^15 + 55952*c_1001_0^14 + 2515*c_1001_0^13 - 19954*c_1001_0^12 - 12683*c_1001_0^11 - 13670*c_1001_0^10 + 9966*c_1001_0^9 + 20770*c_1001_0^8 - 4354*c_1001_0^7 - 12522*c_1001_0^6 + 1169*c_1001_0^5 + 4441*c_1001_0^4 - 183*c_1001_0^3 - 934*c_1001_0^2 + 13*c_1001_0 + 94, c_0011_11 + 2190*c_1001_0^38 - 2404*c_1001_0^37 - 10736*c_1001_0^36 - 41552*c_1001_0^35 - 130702*c_1001_0^34 - 175159*c_1001_0^33 - 199883*c_1001_0^32 + 238496*c_1001_0^31 + 908466*c_1001_0^30 + 959811*c_1001_0^29 + 711723*c_1001_0^28 - 1328427*c_1001_0^27 - 3377992*c_1001_0^26 - 1671091*c_1001_0^25 + 723716*c_1001_0^24 + 3789496*c_1001_0^23 + 5579110*c_1001_0^22 - 372716*c_1001_0^21 - 5669644*c_1001_0^20 - 4091128*c_1001_0^19 - 1487542*c_1001_0^18 + 3433630*c_1001_0^17 + 6400282*c_1001_0^16 + 372604*c_1001_0^15 - 4340046*c_1001_0^14 - 2188844*c_1001_0^13 - 138576*c_1001_0^12 + 1355008*c_1001_0^11 + 2185972*c_1001_0^10 - 184374*c_1001_0^9 - 1738580*c_1001_0^8 - 189950*c_1001_0^7 + 748814*c_1001_0^6 + 117814*c_1001_0^5 - 197752*c_1001_0^4 - 28956*c_1001_0^3 + 30662*c_1001_0^2 + 2842*c_1001_0 - 2190, c_0011_5 + 4048*c_1001_0^38 - 5152*c_1001_0^37 - 20200*c_1001_0^36 - 70812*c_1001_0^35 - 224872*c_1001_0^34 - 264633*c_1001_0^33 - 265692*c_1001_0^32 + 533208*c_1001_0^31 + 1644118*c_1001_0^30 + 1271290*c_1001_0^29 + 700892*c_1001_0^28 - 2807458*c_1001_0^27 - 5930878*c_1001_0^26 - 1007626*c_1001_0^25 + 2822700*c_1001_0^24 + 6412556*c_1001_0^23 + 8779810*c_1001_0^22 - 4368890*c_1001_0^21 - 11686066*c_1001_0^20 - 3620534*c_1001_0^19 - 137151*c_1001_0^18 + 7479653*c_1001_0^17 + 11129110*c_1001_0^16 - 3986214*c_1001_0^15 - 9429782*c_1001_0^14 - 1072780*c_1001_0^13 + 1090070*c_1001_0^12 + 2906636*c_1001_0^11 + 3787904*c_1001_0^10 - 2059861*c_1001_0^9 - 3516324*c_1001_0^8 + 833298*c_1001_0^7 + 1631238*c_1001_0^6 - 207695*c_1001_0^5 - 450144*c_1001_0^4 + 30017*c_1001_0^3 + 71116*c_1001_0^2 - 1944*c_1001_0 - 5024, c_0011_6 + 11232*c_1001_0^38 - 14176*c_1001_0^37 - 56072*c_1001_0^36 - 197228*c_1001_0^35 - 626556*c_1001_0^34 - 743411*c_1001_0^33 - 753051*c_1001_0^32 + 1459925*c_1001_0^31 + 4560114*c_1001_0^30 + 3581690*c_1001_0^29 + 2023530*c_1001_0^28 - 7708534*c_1001_0^27 - 16459890*c_1001_0^26 - 3006680*c_1001_0^25 + 7652925*c_1001_0^24 + 17745754*c_1001_0^23 + 24446544*c_1001_0^22 - 11719786*c_1001_0^21 - 32242803*c_1001_0^20 - 10300028*c_1001_0^19 - 547244*c_1001_0^18 + 20528009*c_1001_0^17 + 30821820*c_1001_0^16 - 10659557*c_1001_0^15 - 26052226*c_1001_0^14 - 3146922*c_1001_0^13 + 3020138*c_1001_0^12 + 7982024*c_1001_0^11 + 10466236*c_1001_0^10 - 5575903*c_1001_0^9 - 9749054*c_1001_0^8 + 2231625*c_1001_0^7 + 4546328*c_1001_0^6 - 550447*c_1001_0^5 - 1264364*c_1001_0^4 + 78648*c_1001_0^3 + 202000*c_1001_0^2 - 5024*c_1001_0 - 14500, c_0011_9 + 3268*c_1001_0^38 - 2616*c_1001_0^37 - 18056*c_1001_0^36 - 64684*c_1001_0^35 - 209964*c_1001_0^34 - 305693*c_1001_0^33 - 336484*c_1001_0^32 + 284897*c_1001_0^31 + 1471785*c_1001_0^30 + 1630492*c_1001_0^29 + 1171442*c_1001_0^28 - 1726022*c_1001_0^27 - 5586068*c_1001_0^26 - 3028555*c_1001_0^25 + 1370850*c_1001_0^24 + 5413971*c_1001_0^23 + 9229010*c_1001_0^22 + 240133*c_1001_0^21 - 9940384*c_1001_0^20 - 6233048*c_1001_0^19 - 1986590*c_1001_0^18 + 4565666*c_1001_0^17 + 10984520*c_1001_0^16 + 880248*c_1001_0^15 - 8018515*c_1001_0^14 - 3122074*c_1001_0^13 + 150618*c_1001_0^12 + 1830198*c_1001_0^11 + 3823028*c_1001_0^10 - 253466*c_1001_0^9 - 3219346*c_1001_0^8 - 228780*c_1001_0^7 + 1432507*c_1001_0^6 + 140556*c_1001_0^5 - 385912*c_1001_0^4 - 33840*c_1001_0^3 + 60196*c_1001_0^2 + 3244*c_1001_0 - 4244, c_0101_0 + c_1001_0^38 - c_1001_0^37 - 6*c_1001_0^36 - 18*c_1001_0^35 - 57*c_1001_0^34 - 69*c_1001_0^33 - 47*c_1001_0^32 + 156*c_1001_0^31 + 483*c_1001_0^30 + 334*c_1001_0^29 - 12*c_1001_0^28 - 848*c_1001_0^27 - 1752*c_1001_0^26 - 172*c_1001_0^25 + 1604*c_1001_0^24 + 1910*c_1001_0^23 + 2083*c_1001_0^22 - 1559*c_1001_0^21 - 4590*c_1001_0^20 - 898*c_1001_0^19 + 1715*c_1001_0^18 + 2407*c_1001_0^17 + 3173*c_1001_0^16 - 1514*c_1001_0^15 - 4428*c_1001_0^14 - 183*c_1001_0^13 + 1840*c_1001_0^12 + 952*c_1001_0^11 + 880*c_1001_0^10 - 752*c_1001_0^9 - 1628*c_1001_0^8 + 330*c_1001_0^7 + 1069*c_1001_0^6 - 89*c_1001_0^5 - 418*c_1001_0^4 + 14*c_1001_0^3 + 103*c_1001_0^2 - c_1001_0 - 13, c_0101_10 - 1463*c_1001_0^38 + 1766*c_1001_0^37 + 7788*c_1001_0^36 + 25574*c_1001_0^35 + 81237*c_1001_0^34 + 94649*c_1001_0^33 + 82265*c_1001_0^32 - 209610*c_1001_0^31 - 632243*c_1001_0^30 - 451996*c_1001_0^29 - 143246*c_1001_0^28 + 1109148*c_1001_0^27 + 2288766*c_1001_0^26 + 263338*c_1001_0^25 - 1499216*c_1001_0^24 - 2476836*c_1001_0^23 - 3153274*c_1001_0^22 + 1921646*c_1001_0^21 + 5112110*c_1001_0^20 + 1225212*c_1001_0^19 - 750559*c_1001_0^18 - 3022657*c_1001_0^17 - 4359021*c_1001_0^16 + 1807926*c_1001_0^15 + 4440432*c_1001_0^14 + 292332*c_1001_0^13 - 1017672*c_1001_0^12 - 1180062*c_1001_0^11 - 1467094*c_1001_0^10 + 898777*c_1001_0^9 + 1646192*c_1001_0^8 - 383689*c_1001_0^7 - 850487*c_1001_0^6 + 100769*c_1001_0^5 + 258668*c_1001_0^4 - 15414*c_1001_0^3 - 45193*c_1001_0^2 + 1067*c_1001_0 + 3567, c_0101_6 + 15476*c_1001_0^38 - 19396*c_1001_0^37 - 75664*c_1001_0^36 - 274700*c_1001_0^35 - 873732*c_1001_0^34 - 1063719*c_1001_0^33 - 1147868*c_1001_0^32 + 1874629*c_1001_0^31 + 6143675*c_1001_0^30 + 5172307*c_1001_0^29 + 3484262*c_1001_0^28 - 9966244*c_1001_0^27 - 22192248*c_1001_0^26 - 5316380*c_1001_0^25 + 8155378*c_1001_0^24 + 23691636*c_1001_0^23 + 34125735*c_1001_0^22 - 13372392*c_1001_0^21 - 40601014*c_1001_0^20 - 15453180*c_1001_0^19 - 4289064*c_1001_0^18 + 26265499*c_1001_0^17 + 41129618*c_1001_0^16 - 11842585*c_1001_0^15 - 31796862*c_1001_0^14 - 5317205*c_1001_0^13 + 1858792*c_1001_0^12 + 10212202*c_1001_0^11 + 13951594*c_1001_0^10 - 6599523*c_1001_0^9 - 12065104*c_1001_0^8 + 2475383*c_1001_0^7 + 5391280*c_1001_0^6 - 569388*c_1001_0^5 - 1446352*c_1001_0^4 + 74696*c_1001_0^3 + 223332*c_1001_0^2 - 4244*c_1001_0 - 15500, c_0101_8 + 24*c_1001_0^38 + 628*c_1001_0^37 + 756*c_1001_0^36 - 5640*c_1001_0^35 - 20748*c_1001_0^34 - 70517*c_1001_0^33 - 148671*c_1001_0^32 - 183864*c_1001_0^31 - 89940*c_1001_0^30 + 407537*c_1001_0^29 + 842921*c_1001_0^28 + 823109*c_1001_0^27 + 246532*c_1001_0^26 - 1729796*c_1001_0^25 - 2457071*c_1001_0^24 - 773866*c_1001_0^23 + 902172*c_1001_0^22 + 3670518*c_1001_0^21 + 3341616*c_1001_0^20 - 1897828*c_1001_0^19 - 3496402*c_1001_0^18 - 2423589*c_1001_0^17 - 802848*c_1001_0^16 + 3656564*c_1001_0^15 + 3412232*c_1001_0^14 - 1343365*c_1001_0^13 - 2013580*c_1001_0^12 - 924025*c_1001_0^11 - 283000*c_1001_0^10 + 1332697*c_1001_0^9 + 1036164*c_1001_0^8 - 740560*c_1001_0^7 - 658104*c_1001_0^6 + 232764*c_1001_0^5 + 218076*c_1001_0^4 - 41172*c_1001_0^3 - 39344*c_1001_0^2 + 3244*c_1001_0 + 3088, c_0101_9 + c_1001_0^38 - 2*c_1001_0^37 - 4*c_1001_0^36 - 14*c_1001_0^35 - 43*c_1001_0^34 - 26*c_1001_0^33 - 21*c_1001_0^32 + 177*c_1001_0^31 + 306*c_1001_0^30 + 28*c_1001_0^29 - 40*c_1001_0^28 - 808*c_1001_0^27 - 944*c_1001_0^26 + 772*c_1001_0^25 + 832*c_1001_0^24 + 1078*c_1001_0^23 + 1005*c_1001_0^22 - 2564*c_1001_0^21 - 2026*c_1001_0^20 + 1128*c_1001_0^19 + 587*c_1001_0^18 + 1820*c_1001_0^17 + 1353*c_1001_0^16 - 2867*c_1001_0^15 - 1561*c_1001_0^14 + 1378*c_1001_0^13 + 462*c_1001_0^12 + 490*c_1001_0^11 + 390*c_1001_0^10 - 1142*c_1001_0^9 - 486*c_1001_0^8 + 816*c_1001_0^7 + 253*c_1001_0^6 - 342*c_1001_0^5 - 76*c_1001_0^4 + 90*c_1001_0^3 + 13*c_1001_0^2 - 13*c_1001_0 - 1, c_1001_0^39 - 2*c_1001_0^38 - 4*c_1001_0^37 - 14*c_1001_0^36 - 43*c_1001_0^35 - 26*c_1001_0^34 - 21*c_1001_0^33 + 177*c_1001_0^32 + 306*c_1001_0^31 + 28*c_1001_0^30 - 40*c_1001_0^29 - 808*c_1001_0^28 - 944*c_1001_0^27 + 772*c_1001_0^26 + 832*c_1001_0^25 + 1078*c_1001_0^24 + 1005*c_1001_0^23 - 2564*c_1001_0^22 - 2026*c_1001_0^21 + 1128*c_1001_0^20 + 587*c_1001_0^19 + 1820*c_1001_0^18 + 1353*c_1001_0^17 - 2867*c_1001_0^16 - 1561*c_1001_0^15 + 1378*c_1001_0^14 + 462*c_1001_0^13 + 490*c_1001_0^12 + 390*c_1001_0^11 - 1142*c_1001_0^10 - 486*c_1001_0^9 + 816*c_1001_0^8 + 253*c_1001_0^7 - 342*c_1001_0^6 - 76*c_1001_0^5 + 90*c_1001_0^4 + 13*c_1001_0^3 - 14*c_1001_0^2 - c_1001_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.070 Total time: 1.280 seconds, Total memory usage: 32.09MB