Magma V2.19-8 Tue Aug 20 2013 23:47:47 on localhost [Seed = 2067599639] Type ? for help. Type -D to quit. Loading file "K10a61__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a61 geometric_solution 11.87577960 oriented_manifold CS_known -0.0000000000000003 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 1 0 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.921727195924 0.829169595492 0 2 6 5 0132 0321 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 0 0 -1 0 1 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630735928921 0.403705103342 6 0 6 1 2310 0132 3012 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.713895772538 1.038371540886 5 7 8 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525492019283 0.491058466537 8 7 0 9 0132 0321 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 0 0 1 -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.208516784721 1.083290126423 3 7 1 6 0132 0213 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.921727195924 0.829169595492 5 2 2 1 3120 1230 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 0 0 0 0 0 1 -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.550404576181 0.653942929718 10 3 5 4 0132 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562437539946 0.541430774940 4 10 11 3 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.060961172346 1.611923849262 12 10 4 11 0132 0321 0132 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 0 1 -1 -12 0 1 11 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586233672523 0.873102228634 7 12 8 9 0132 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.375687189090 1.541654684859 12 12 9 8 3120 0213 0132 0132 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 -1 1 0 11 0 -11 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404277689379 0.442343739727 9 10 11 11 0132 0132 0213 3120 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 1 -1 12 0 -1 -11 -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.404277689379 0.442343739727 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_3'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_1001_11'], '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'], 'c_0101_12' : d['c_0011_11'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : negation(d['c_0011_4']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : 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' : d['1'], 's_0_6' : negation(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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1100_0'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1001_3'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_1001_3'], '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' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), '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_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_8'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], '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_0101_8'], 'c_0101_8' : d['c_0101_8'], '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' : d['c_0011_11'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : negation(d['c_0011_4']), 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_8, c_1001_0, c_1001_11, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 218094944147475196970998912215808809473/362608423302455456769953543\ 544743125*c_1100_0^31 - 978780717995770566284443390290133072187/145\ 0433693209821827079814174178972500*c_1100_0^30 - 435270670648438456984870666000273223159/145043369320982182707981417\ 417897250*c_1100_0^29 + 1385830999901254987863512275939983397053/14\ 5043369320982182707981417417897250*c_1100_0^28 + 347112642319791790593796051161269192359/145043369320982182707981417\ 4178972500*c_1100_0^27 - 60557951219484532678515491492022945817479/\ 1450433693209821827079814174178972500*c_1100_0^26 + 12378391494502321082885395556513031054937/2900867386419643654159628\ 34835794500*c_1100_0^25 + 2137145178682418875786637536647972760543/\ 29008673864196436541596283483579450*c_1100_0^24 - 5330103740858562202556882283942772358461/29008673864196436541596283\ 483579450*c_1100_0^23 + 465463994759319788929605055267563298553/580\ 17347728392873083192566967158900*c_1100_0^22 + 146766619595897897332450609395430796621926/362608423302455456769953\ 543544743125*c_1100_0^21 - 1249438911558855450697154135597847834581\ 37/362608423302455456769953543544743125*c_1100_0^20 - 651517254619708199319021399644032459989087/145043369320982182707981\ 4174178972500*c_1100_0^19 + 139602014079159754065060571160261038568\ 9801/1450433693209821827079814174178972500*c_1100_0^18 - 11688113192619727849924315100441237288923/1450433693209821827079814\ 174178972500*c_1100_0^17 - 2269252491369310150830811254605450208125\ 347/1450433693209821827079814174178972500*c_1100_0^16 + 1138858883915444489500071079286362276619871/14504336932098218270798\ 14174178972500*c_1100_0^15 + 22509296897463231786833940483326223602\ 83359/1450433693209821827079814174178972500*c_1100_0^14 - 1845266463142707373150398236502378368782721/14504336932098218270798\ 14174178972500*c_1100_0^13 - 11328481932180718019942410432149382451\ 88259/1450433693209821827079814174178972500*c_1100_0^12 + 1756197962921540281110019734056635132726927/14504336932098218270798\ 14174178972500*c_1100_0^11 - 34079387761895237434577141970520394510\ 991/725216846604910913539907087089486250*c_1100_0^10 - 58308910877551013092998431417583458499496/7252168466049109135399070\ 8708948625*c_1100_0^9 + 55635933075548661092368125624853962936481/1\ 45043369320982182707981417417897250*c_1100_0^8 + 239832015391239045796386037457857322160277/725216846604910913539907\ 087089486250*c_1100_0^7 - 27561440209033669685792317151360707794467\ 7/725216846604910913539907087089486250*c_1100_0^6 - 24043880569058305147728418551030713514573/1450433693209821827079814\ 174178972500*c_1100_0^5 + 92254724998795935323584449506177018207718\ /362608423302455456769953543544743125*c_1100_0^4 - 89558829931903458119656517158253557958481/1450433693209821827079814\ 174178972500*c_1100_0^3 - 27975471292545375406555749922128439598249\ /290086738641964365415962834835794500*c_1100_0^2 + 34940317138530875618907562554697983750183/1450433693209821827079814\ 174178972500*c_1100_0 + 18008678968534676814485261833185615972021/1\ 450433693209821827079814174178972500, c_0011_0 - 1, c_0011_10 - c_1100_0, c_0011_11 + 1059415725471871549517138497372315/116034695456785746166385\ 1339343178*c_1100_0^31 - 666251500862977854058407705678179/58017347\ 7283928730831925669671589*c_1100_0^30 - 5093201409446334647153954925658883/11603469545678574616638513393431\ 78*c_1100_0^29 + 8679564475453476047851198610021073/580173477283928\ 730831925669671589*c_1100_0^28 - 919679664685184373144925930205119/\ 580173477283928730831925669671589*c_1100_0^27 - 36235797102649129709883607779790672/5801734772839287308319256696715\ 89*c_1100_0^26 + 82849241430031348579256778809834271/11603469545678\ 57461663851339343178*c_1100_0^25 + 58988296776881859302946143177555035/5801734772839287308319256696715\ 89*c_1100_0^24 - 165176350169727524693154975986243701/5801734772839\ 28730831925669671589*c_1100_0^23 + 25544722987668339846461840733277122/5801734772839287308319256696715\ 89*c_1100_0^22 + 345240094358537869010456783669999981/5801734772839\ 28730831925669671589*c_1100_0^21 - 332479095479331284195555896978801366/580173477283928730831925669671\ 589*c_1100_0^20 - 350589964546207014682005834660299050/580173477283\ 928730831925669671589*c_1100_0^19 + 1714279312565579728559999366275172531/11603469545678574616638513393\ 43178*c_1100_0^18 - 186867046658066956786774931432954235/1160346954\ 567857461663851339343178*c_1100_0^17 - 2653173937644159828290125440747156265/11603469545678574616638513393\ 43178*c_1100_0^16 + 787824155886804978301512126883701669/5801734772\ 83928730831925669671589*c_1100_0^15 + 2521678437830801101548536143503136181/11603469545678574616638513393\ 43178*c_1100_0^14 - 2326400743739174074474657204208560935/116034695\ 4567857461663851339343178*c_1100_0^13 - 580176982281539842333543806113787912/580173477283928730831925669671\ 589*c_1100_0^12 + 1038505271455254135632829708296275537/58017347728\ 3928730831925669671589*c_1100_0^11 - 218044222753453827689766452668928857/116034695456785746166385133934\ 3178*c_1100_0^10 - 658583522184326756852081843804071574/58017347728\ 3928730831925669671589*c_1100_0^9 + 358247847227972185815110836920171736/580173477283928730831925669671\ 589*c_1100_0^8 + 505835696598288850318035143535686785/1160346954567\ 857461663851339343178*c_1100_0^7 - 654545315014233367391519147042633101/116034695456785746166385133934\ 3178*c_1100_0^6 + 8951331027204971144004537802792279/58017347728392\ 8730831925669671589*c_1100_0^5 + 4220583968140813987939593403534851\ 01/1160346954567857461663851339343178*c_1100_0^4 - 121476661438358132291152103923528307/116034695456785746166385133934\ 3178*c_1100_0^3 - 77491817793837004756748235196426261/5801734772839\ 28730831925669671589*c_1100_0^2 + 199487650803919552265872964590521\ 61/580173477283928730831925669671589*c_1100_0 + 9662749022366618105652664891875124/58017347728392873083192566967158\ 9, c_0011_4 + 17759858036082821945368910714553/116034695456785746166385133\ 9343178*c_1100_0^31 - 245910118545409220643075368130456/58017347728\ 3928730831925669671589*c_1100_0^30 + 248089001460681268067299517178362/580173477283928730831925669671589\ *c_1100_0^29 + 2185081497261015409510846820581695/11603469545678574\ 61663851339343178*c_1100_0^28 - 7112845473301981018564168703794435/\ 1160346954567857461663851339343178*c_1100_0^27 + 850214555903825096520894748703169/116034695456785746166385133934317\ 8*c_1100_0^26 + 27485319033980239730048943263754725/116034695456785\ 7461663851339343178*c_1100_0^25 - 154948485161452336545892623963070\ 72/580173477283928730831925669671589*c_1100_0^24 - 19068793229358745825769669049820553/5801734772839287308319256696715\ 89*c_1100_0^23 + 114694603011323141393113239634967699/1160346954567\ 857461663851339343178*c_1100_0^22 - 13810616294051378678329132180471805/5801734772839287308319256696715\ 89*c_1100_0^21 - 220884975646925800568711773030584445/1160346954567\ 857461663851339343178*c_1100_0^20 + 223231035042966920208753969531629025/116034695456785746166385133934\ 3178*c_1100_0^19 + 186624596045096546832584046557607389/11603469545\ 67857461663851339343178*c_1100_0^18 - 264997286141052325059999576378982402/580173477283928730831925669671\ 589*c_1100_0^17 + 51674930004089604711185818152018875/5801734772839\ 28730831925669671589*c_1100_0^16 + 758764251073084943186930274911428635/116034695456785746166385133934\ 3178*c_1100_0^15 - 414366698244320451148166205069746873/11603469545\ 67857461663851339343178*c_1100_0^14 - 309595889935165502091465077025543275/580173477283928730831925669671\ 589*c_1100_0^13 + 494952214587124341217419924189875949/116034695456\ 7857461663851339343178*c_1100_0^12 + 190571262692471263668236259773771391/116034695456785746166385133934\ 3178*c_1100_0^11 - 207998474645582565833825309292520897/58017347728\ 3928730831925669671589*c_1100_0^10 + 44624003393555035456573276282174665/5801734772839287308319256696715\ 89*c_1100_0^9 + 256751305467388832685125054770328779/11603469545678\ 57461663851339343178*c_1100_0^8 - 139075099016095230375301585784873\ 007/1160346954567857461663851339343178*c_1100_0^7 - 71576164089870314271773057648986459/1160346954567857461663851339343\ 178*c_1100_0^6 + 132279120683321943351657011685930635/1160346954567\ 857461663851339343178*c_1100_0^5 - 6988157392901116897130354910340412/58017347728392873083192566967158\ 9*c_1100_0^4 - 77330336028376303633740372312983679/1160346954567857\ 461663851339343178*c_1100_0^3 + 3411758747350465443614029144604789/\ 580173477283928730831925669671589*c_1100_0^2 + 7753321516739542811658594994387648/58017347728392873083192566967158\ 9*c_1100_0 + 1272225825187222439517977466327755/5801734772839287308\ 31925669671589, c_0011_6 + 248822626911534443130678815134477/11603469545678574616638513\ 39343178*c_1100_0^31 - 414343250540357023677306745473800/5801734772\ 83928730831925669671589*c_1100_0^30 - 930878410375940274490044162105381/116034695456785746166385133934317\ 8*c_1100_0^29 + 6608192727445607945363964443801061/1160346954567857\ 461663851339343178*c_1100_0^28 - 3396358162989126409382627285742762\ /580173477283928730831925669671589*c_1100_0^27 - 10171755593160724588427869361569798/5801734772839287308319256696715\ 89*c_1100_0^26 + 25012531242452413833456587863657371/58017347728392\ 8730831925669671589*c_1100_0^25 + 112890536054860995292801288505446\ 41/1160346954567857461663851339343178*c_1100_0^24 - 69945710868786567726205538362234638/5801734772839287308319256696715\ 89*c_1100_0^23 + 115165702822336011981738194488132573/1160346954567\ 857461663851339343178*c_1100_0^22 + 103849038008749332881195955530911572/580173477283928730831925669671\ 589*c_1100_0^21 - 424404785542215959577309077047236461/116034695456\ 7857461663851339343178*c_1100_0^20 - 30156180002693948337369784593761691/5801734772839287308319256696715\ 89*c_1100_0^19 + 767382345519084615069749385356318319/1160346954567\ 857461663851339343178*c_1100_0^18 - 528090153308298166658027902956827707/116034695456785746166385133934\ 3178*c_1100_0^17 - 434677117818876166379643886237106552/58017347728\ 3928730831925669671589*c_1100_0^16 + 662965301139512258076138107253011641/580173477283928730831925669671\ 589*c_1100_0^15 + 615312513670194224012519326229642541/116034695456\ 7857461663851339343178*c_1100_0^14 - 1573897697144040352797361382026964217/11603469545678574616638513393\ 43178*c_1100_0^13 - 66983058915221714913408973155804799/11603469545\ 67857461663851339343178*c_1100_0^12 + 546275095895902809967543776086404053/580173477283928730831925669671\ 589*c_1100_0^11 - 453694183007863300464887218387088445/116034695456\ 7857461663851339343178*c_1100_0^10 - 507418530851293107862104799442524383/116034695456785746166385133934\ 3178*c_1100_0^9 + 554036136783101577937608783972548557/116034695456\ 7857461663851339343178*c_1100_0^8 + 57328007658794446058366916247424224/5801734772839287308319256696715\ 89*c_1100_0^7 - 353390877418264340138621208473218533/11603469545678\ 57461663851339343178*c_1100_0^6 + 122837886545426620226726659683949\ 665/1160346954567857461663851339343178*c_1100_0^5 + 177587068233309262455823917248282067/116034695456785746166385133934\ 3178*c_1100_0^4 - 139914427285837774737868807923276871/116034695456\ 7857461663851339343178*c_1100_0^3 - 36792534702836463372542953241965515/5801734772839287308319256696715\ 89*c_1100_0^2 + 21075250461864174492750252890128227/580173477283928\ 730831925669671589*c_1100_0 + 7459561795027781782791455217141414/58\ 0173477283928730831925669671589, c_0101_0 + 248822626911534443130678815134477/11603469545678574616638513\ 39343178*c_1100_0^31 - 414343250540357023677306745473800/5801734772\ 83928730831925669671589*c_1100_0^30 - 930878410375940274490044162105381/116034695456785746166385133934317\ 8*c_1100_0^29 + 6608192727445607945363964443801061/1160346954567857\ 461663851339343178*c_1100_0^28 - 3396358162989126409382627285742762\ /580173477283928730831925669671589*c_1100_0^27 - 10171755593160724588427869361569798/5801734772839287308319256696715\ 89*c_1100_0^26 + 25012531242452413833456587863657371/58017347728392\ 8730831925669671589*c_1100_0^25 + 112890536054860995292801288505446\ 41/1160346954567857461663851339343178*c_1100_0^24 - 69945710868786567726205538362234638/5801734772839287308319256696715\ 89*c_1100_0^23 + 115165702822336011981738194488132573/1160346954567\ 857461663851339343178*c_1100_0^22 + 103849038008749332881195955530911572/580173477283928730831925669671\ 589*c_1100_0^21 - 424404785542215959577309077047236461/116034695456\ 7857461663851339343178*c_1100_0^20 - 30156180002693948337369784593761691/5801734772839287308319256696715\ 89*c_1100_0^19 + 767382345519084615069749385356318319/1160346954567\ 857461663851339343178*c_1100_0^18 - 528090153308298166658027902956827707/116034695456785746166385133934\ 3178*c_1100_0^17 - 434677117818876166379643886237106552/58017347728\ 3928730831925669671589*c_1100_0^16 + 662965301139512258076138107253011641/580173477283928730831925669671\ 589*c_1100_0^15 + 615312513670194224012519326229642541/116034695456\ 7857461663851339343178*c_1100_0^14 - 1573897697144040352797361382026964217/11603469545678574616638513393\ 43178*c_1100_0^13 - 66983058915221714913408973155804799/11603469545\ 67857461663851339343178*c_1100_0^12 + 546275095895902809967543776086404053/580173477283928730831925669671\ 589*c_1100_0^11 - 453694183007863300464887218387088445/116034695456\ 7857461663851339343178*c_1100_0^10 - 507418530851293107862104799442524383/116034695456785746166385133934\ 3178*c_1100_0^9 + 554036136783101577937608783972548557/116034695456\ 7857461663851339343178*c_1100_0^8 + 57328007658794446058366916247424224/5801734772839287308319256696715\ 89*c_1100_0^7 - 353390877418264340138621208473218533/11603469545678\ 57461663851339343178*c_1100_0^6 + 122837886545426620226726659683949\ 665/1160346954567857461663851339343178*c_1100_0^5 + 177587068233309262455823917248282067/116034695456785746166385133934\ 3178*c_1100_0^4 - 139914427285837774737868807923276871/116034695456\ 7857461663851339343178*c_1100_0^3 - 36792534702836463372542953241965515/5801734772839287308319256696715\ 89*c_1100_0^2 + 21075250461864174492750252890128227/580173477283928\ 730831925669671589*c_1100_0 + 7459561795027781782791455217141414/58\ 0173477283928730831925669671589, c_0101_1 - 675564087800661312418900370477001/11603469545678574616638513\ 39343178*c_1100_0^31 + 408445307319427274144843500444029/5801734772\ 83928730831925669671589*c_1100_0^30 + 3214496940513040762656283373098757/11603469545678574616638513393431\ 78*c_1100_0^29 - 10736343694037310676346629212881447/11603469545678\ 57461663851339343178*c_1100_0^28 + 436706345961235325845587516513755/580173477283928730831925669671589\ *c_1100_0^27 + 22430659260615738828201845129217089/5801734772839287\ 30831925669671589*c_1100_0^26 - 24614500819702519394641626851400239\ /580173477283928730831925669671589*c_1100_0^25 - 73787573041124995641523651414837819/1160346954567857461663851339343\ 178*c_1100_0^24 + 99104489791340750126640460168418661/5801734772839\ 28730831925669671589*c_1100_0^23 - 23851364767832301515518575227740549/1160346954567857461663851339343\ 178*c_1100_0^22 - 209938354082493418416193149207415691/580173477283\ 928730831925669671589*c_1100_0^21 + 383168828838955833535714696582735169/116034695456785746166385133934\ 3178*c_1100_0^20 + 218930295302566852655332469642797020/58017347728\ 3928730831925669671589*c_1100_0^19 - 1010731403088730865263287291863149947/11603469545678574616638513393\ 43178*c_1100_0^18 + 69203759477076603736686125765757527/11603469545\ 67857461663851339343178*c_1100_0^17 + 799489557095964288746334579013989776/580173477283928730831925669671\ 589*c_1100_0^16 - 422808407020897493799898824441690881/580173477283\ 928730831925669671589*c_1100_0^15 - 1548665441919109514340382331745815871/11603469545678574616638513393\ 43178*c_1100_0^14 + 1263240982528204354591642102111426819/116034695\ 4567857461663851339343178*c_1100_0^13 + 736622825602299500968060774381884575/116034695456785746166385133934\ 3178*c_1100_0^12 - 583540470212086645384868107172317339/58017347728\ 3928730831925669671589*c_1100_0^11 + 79537220794652658991734174093742501/1160346954567857461663851339343\ 178*c_1100_0^10 + 776498941455446677963238163042309771/116034695456\ 7857461663851339343178*c_1100_0^9 - 374126054689940266573664154305241697/116034695456785746166385133934\ 3178*c_1100_0^8 - 153324371501369699749759148902030437/580173477283\ 928730831925669671589*c_1100_0^7 + 365929167206568061042520888354553689/116034695456785746166385133934\ 3178*c_1100_0^6 + 4437803422544388939013165283711603/11603469545678\ 57461663851339343178*c_1100_0^5 - 247115222098418547566519294758057\ 123/1160346954567857461663851339343178*c_1100_0^4 + 52434561211952130653800723121586097/1160346954567857461663851339343\ 178*c_1100_0^3 + 44271233591348690821196524839721036/58017347728392\ 8730831925669671589*c_1100_0^2 - 8178905238424647671476098214958978\ /580173477283928730831925669671589*c_1100_0 - 4371964515618600795396039181247548/58017347728392873083192566967158\ 9, c_0101_2 + 125771379138219430071584236590444/58017347728392873083192566\ 9671589*c_1100_0^31 + 128673785899225057832011256675107/58017347728\ 3928730831925669671589*c_1100_0^30 - 1784363979493166098468402263150095/11603469545678574616638513393431\ 78*c_1100_0^29 + 860254980431478232198861450659361/5801734772839287\ 30831925669671589*c_1100_0^28 + 3820131232377424910629801354985791/\ 580173477283928730831925669671589*c_1100_0^27 - 18020665641632641087488752550638987/1160346954567857461663851339343\ 178*c_1100_0^26 - 11890241145129248751927519002936119/1160346954567\ 857461663851339343178*c_1100_0^25 + 61126050033144370969806623590773951/1160346954567857461663851339343\ 178*c_1100_0^24 - 33048286300639804293521400072111175/1160346954567\ 857461663851339343178*c_1100_0^23 - 57621856347607486270689104166480553/5801734772839287308319256696715\ 89*c_1100_0^22 + 92824032614468410583778940426294606/58017347728392\ 8730831925669671589*c_1100_0^21 + 965258387802600879917847743271255\ 63/1160346954567857461663851339343178*c_1100_0^20 - 198033853019019474125934611889945138/580173477283928730831925669671\ 589*c_1100_0^19 + 176385141787891287521765250623426277/116034695456\ 7857461663851339343178*c_1100_0^18 + 538728716747682022580871622547363429/116034695456785746166385133934\ 3178*c_1100_0^17 - 690749181769317841945309306702283595/11603469545\ 67857461663851339343178*c_1100_0^16 - 252564492616985022686158925767445547/580173477283928730831925669671\ 589*c_1100_0^15 + 480530522934316373272021467731506086/580173477283\ 928730831925669671589*c_1100_0^14 + 192359501325427398548666096516088495/116034695456785746166385133934\ 3178*c_1100_0^13 - 737058639193904094974883250563831029/11603469545\ 67857461663851339343178*c_1100_0^12 + 112898175285080450519099493243524552/580173477283928730831925669671\ 589*c_1100_0^11 + 384843706053540404994160669197728455/116034695456\ 7857461663851339343178*c_1100_0^10 - 350384122398083759034623601946966273/116034695456785746166385133934\ 3178*c_1100_0^9 - 60920071584487297484938394416604803/5801734772839\ 28730831925669671589*c_1100_0^8 + 116314985101391936755422789288808\ 893/580173477283928730831925669671589*c_1100_0^7 - 62780891576653727177983847988769051/1160346954567857461663851339343\ 178*c_1100_0^6 - 133541128529302922886557022697295059/1160346954567\ 857461663851339343178*c_1100_0^5 + 95420485321401758048404856437177169/1160346954567857461663851339343\ 178*c_1100_0^4 + 57051301358624800670701451464316613/11603469545678\ 57461663851339343178*c_1100_0^3 - 157996814852046449679098080732072\ 56/580173477283928730831925669671589*c_1100_0^2 - 6888111192256816234589308937829039/11603469545678574616638513393431\ 78*c_1100_0 - 144605296517765889513266013337908/5801734772839287308\ 31925669671589, c_0101_8 - 433990780404614819473102479041589/11603469545678574616638513\ 39343178*c_1100_0^31 + 171739754946088077666948154822554/5801734772\ 83928730831925669671589*c_1100_0^30 + 2155729741949422004865763289920091/11603469545678574616638513393431\ 78*c_1100_0^29 - 3025165287116304602434826238273519/580173477283928\ 730831925669671589*c_1100_0^28 - 1643015737515759219133857939227201\ /1160346954567857461663851339343178*c_1100_0^27 + 27817456749955692811461384815717007/1160346954567857461663851339343\ 178*c_1100_0^26 - 10726123324300418948357517573241956/5801734772839\ 28730831925669671589*c_1100_0^25 - 26606481800304491563503344786234995/5801734772839287308319256696715\ 89*c_1100_0^24 + 107778664086542043053344016663998793/1160346954567\ 857461663851339343178*c_1100_0^23 + 9428266120566411810804104697797758/58017347728392873083192566967158\ 9*c_1100_0^22 - 257231543156108426156903823913707443/11603469545678\ 57461663851339343178*c_1100_0^21 + 161006735913807109544271518641102799/116034695456785746166385133934\ 3178*c_1100_0^20 + 317172873334283051840712855611721783/11603469545\ 67857461663851339343178*c_1100_0^19 - 539583040209102012394632653843495719/116034695456785746166385133934\ 3178*c_1100_0^18 - 110702175618066062450692311585124645/11603469545\ 67857461663851339343178*c_1100_0^17 + 478504475394959131671238557728621128/580173477283928730831925669671\ 589*c_1100_0^16 - 124461818587744472777455975763221767/580173477283\ 928730831925669671589*c_1100_0^15 - 492255625639326904122014588399306202/580173477283928730831925669671\ 589*c_1100_0^14 + 255674090965455111605639779736270232/580173477283\ 928730831925669671589*c_1100_0^13 + 524735483388109668306908094850316931/116034695456785746166385133934\ 3178*c_1100_0^12 - 290576844265228432362895375349741479/58017347728\ 3928730831925669671589*c_1100_0^11 - 31066948824886460622156218847014686/5801734772839287308319256696715\ 89*c_1100_0^10 + 440273321598475958640798556512198147/1160346954567\ 857461663851339343178*c_1100_0^9 - 65451402139741829747208853984175557/5801734772839287308319256696715\ 89*c_1100_0^8 - 97497896448224653583057934242409611/580173477283928\ 730831925669671589*c_1100_0^7 + 89708043368188691266543566690838332\ /580173477283928730831925669671589*c_1100_0^6 + 37399249151993234874975824975791457/1160346954567857461663851339343\ 178*c_1100_0^5 - 135518118905534867877811649329822413/1160346954567\ 857461663851339343178*c_1100_0^4 + 1713242202939294268679548655857411/58017347728392873083192566967158\ 9*c_1100_0^3 + 21921304266948159819824674113254043/5801734772839287\ 30831925669671589*c_1100_0^2 - 2968122312184923673395767290549395/1\ 160346954567857461663851339343178*c_1100_0 - 2664215131976616297838090407786401/11603469545678574616638513393431\ 78, c_1001_0 - 675564087800661312418900370477001/11603469545678574616638513\ 39343178*c_1100_0^31 + 408445307319427274144843500444029/5801734772\ 83928730831925669671589*c_1100_0^30 + 3214496940513040762656283373098757/11603469545678574616638513393431\ 78*c_1100_0^29 - 10736343694037310676346629212881447/11603469545678\ 57461663851339343178*c_1100_0^28 + 436706345961235325845587516513755/580173477283928730831925669671589\ *c_1100_0^27 + 22430659260615738828201845129217089/5801734772839287\ 30831925669671589*c_1100_0^26 - 24614500819702519394641626851400239\ /580173477283928730831925669671589*c_1100_0^25 - 73787573041124995641523651414837819/1160346954567857461663851339343\ 178*c_1100_0^24 + 99104489791340750126640460168418661/5801734772839\ 28730831925669671589*c_1100_0^23 - 23851364767832301515518575227740549/1160346954567857461663851339343\ 178*c_1100_0^22 - 209938354082493418416193149207415691/580173477283\ 928730831925669671589*c_1100_0^21 + 383168828838955833535714696582735169/116034695456785746166385133934\ 3178*c_1100_0^20 + 218930295302566852655332469642797020/58017347728\ 3928730831925669671589*c_1100_0^19 - 1010731403088730865263287291863149947/11603469545678574616638513393\ 43178*c_1100_0^18 + 69203759477076603736686125765757527/11603469545\ 67857461663851339343178*c_1100_0^17 + 799489557095964288746334579013989776/580173477283928730831925669671\ 589*c_1100_0^16 - 422808407020897493799898824441690881/580173477283\ 928730831925669671589*c_1100_0^15 - 1548665441919109514340382331745815871/11603469545678574616638513393\ 43178*c_1100_0^14 + 1263240982528204354591642102111426819/116034695\ 4567857461663851339343178*c_1100_0^13 + 736622825602299500968060774381884575/116034695456785746166385133934\ 3178*c_1100_0^12 - 583540470212086645384868107172317339/58017347728\ 3928730831925669671589*c_1100_0^11 + 79537220794652658991734174093742501/1160346954567857461663851339343\ 178*c_1100_0^10 + 776498941455446677963238163042309771/116034695456\ 7857461663851339343178*c_1100_0^9 - 374126054689940266573664154305241697/116034695456785746166385133934\ 3178*c_1100_0^8 - 153324371501369699749759148902030437/580173477283\ 928730831925669671589*c_1100_0^7 + 365929167206568061042520888354553689/116034695456785746166385133934\ 3178*c_1100_0^6 + 4437803422544388939013165283711603/11603469545678\ 57461663851339343178*c_1100_0^5 - 247115222098418547566519294758057\ 123/1160346954567857461663851339343178*c_1100_0^4 + 52434561211952130653800723121586097/1160346954567857461663851339343\ 178*c_1100_0^3 + 44271233591348690821196524839721036/58017347728392\ 8730831925669671589*c_1100_0^2 - 8178905238424647671476098214958978\ /580173477283928730831925669671589*c_1100_0 - 4371964515618600795396039181247548/58017347728392873083192566967158\ 9, c_1001_11 - 433990780404614819473102479041589/1160346954567857461663851\ 339343178*c_1100_0^31 + 171739754946088077666948154822554/580173477\ 283928730831925669671589*c_1100_0^30 + 2155729741949422004865763289920091/11603469545678574616638513393431\ 78*c_1100_0^29 - 3025165287116304602434826238273519/580173477283928\ 730831925669671589*c_1100_0^28 - 1643015737515759219133857939227201\ /1160346954567857461663851339343178*c_1100_0^27 + 27817456749955692811461384815717007/1160346954567857461663851339343\ 178*c_1100_0^26 - 10726123324300418948357517573241956/5801734772839\ 28730831925669671589*c_1100_0^25 - 26606481800304491563503344786234995/5801734772839287308319256696715\ 89*c_1100_0^24 + 107778664086542043053344016663998793/1160346954567\ 857461663851339343178*c_1100_0^23 + 9428266120566411810804104697797758/58017347728392873083192566967158\ 9*c_1100_0^22 - 257231543156108426156903823913707443/11603469545678\ 57461663851339343178*c_1100_0^21 + 161006735913807109544271518641102799/116034695456785746166385133934\ 3178*c_1100_0^20 + 317172873334283051840712855611721783/11603469545\ 67857461663851339343178*c_1100_0^19 - 539583040209102012394632653843495719/116034695456785746166385133934\ 3178*c_1100_0^18 - 110702175618066062450692311585124645/11603469545\ 67857461663851339343178*c_1100_0^17 + 478504475394959131671238557728621128/580173477283928730831925669671\ 589*c_1100_0^16 - 124461818587744472777455975763221767/580173477283\ 928730831925669671589*c_1100_0^15 - 492255625639326904122014588399306202/580173477283928730831925669671\ 589*c_1100_0^14 + 255674090965455111605639779736270232/580173477283\ 928730831925669671589*c_1100_0^13 + 524735483388109668306908094850316931/116034695456785746166385133934\ 3178*c_1100_0^12 - 290576844265228432362895375349741479/58017347728\ 3928730831925669671589*c_1100_0^11 - 31066948824886460622156218847014686/5801734772839287308319256696715\ 89*c_1100_0^10 + 440273321598475958640798556512198147/1160346954567\ 857461663851339343178*c_1100_0^9 - 65451402139741829747208853984175557/5801734772839287308319256696715\ 89*c_1100_0^8 - 97497896448224653583057934242409611/580173477283928\ 730831925669671589*c_1100_0^7 + 89708043368188691266543566690838332\ /580173477283928730831925669671589*c_1100_0^6 + 37399249151993234874975824975791457/1160346954567857461663851339343\ 178*c_1100_0^5 - 135518118905534867877811649329822413/1160346954567\ 857461663851339343178*c_1100_0^4 + 1713242202939294268679548655857411/58017347728392873083192566967158\ 9*c_1100_0^3 + 21921304266948159819824674113254043/5801734772839287\ 30831925669671589*c_1100_0^2 - 2968122312184923673395767290549395/1\ 160346954567857461663851339343178*c_1100_0 - 2664215131976616297838090407786401/11603469545678574616638513393431\ 78, c_1001_3 - 159898085502912535773711252208249/58017347728392873083192566\ 9671589*c_1100_0^31 + 615271037151474190765403507268949/11603469545\ 67857461663851339343178*c_1100_0^30 + 1754100320864905135144022182494689/11603469545678574616638513393431\ 78*c_1100_0^29 - 6761377359044957549417310881945733/116034695456785\ 7461663851339343178*c_1100_0^28 + 976510152809186936884265807418198\ /580173477283928730831925669671589*c_1100_0^27 + 28456409414818629895410558148596319/1160346954567857461663851339343\ 178*c_1100_0^26 - 40155631994771020077057334325416775/1160346954567\ 857461663851339343178*c_1100_0^25 - 46628280717006380874904601360399717/1160346954567857461663851339343\ 178*c_1100_0^24 + 76161273247196753737308622543762434/5801734772839\ 28730831925669671589*c_1100_0^23 - 20276155970319759618614562615303861/5801734772839287308319256696715\ 89*c_1100_0^22 - 310912964830054524177958781328335157/1160346954567\ 857461663851339343178*c_1100_0^21 + 356308258404656397991205779812546043/116034695456785746166385133934\ 3178*c_1100_0^20 + 307070865745516987805784932543964533/11603469545\ 67857461663851339343178*c_1100_0^19 - 431160439177181563068843721800162306/580173477283928730831925669671\ 589*c_1100_0^18 + 184374987293191092212153581674983323/116034695456\ 7857461663851339343178*c_1100_0^17 + 1288362448376864241010346762928107197/11603469545678574616638513393\ 43178*c_1100_0^16 - 527004800962621973615316916725762562/5801734772\ 83928730831925669671589*c_1100_0^15 - 624902594701581518236680305142839159/580173477283928730831925669671\ 589*c_1100_0^14 + 774462451886294488053224693107175847/580173477283\ 928730831925669671589*c_1100_0^13 + 591750100369062576894373712547493119/116034695456785746166385133934\ 3178*c_1100_0^12 - 1306006265065452800051955967685308581/1160346954\ 567857461663851339343178*c_1100_0^11 + 206337299687813863562252508742343089/116034695456785746166385133934\ 3178*c_1100_0^10 + 387246973676694450374733594718896442/58017347728\ 3928730831925669671589*c_1100_0^9 - 512973766997768473913623913349085703/116034695456785746166385133934\ 3178*c_1100_0^8 - 297157149429723426804452205313560577/116034695456\ 7857461663851339343178*c_1100_0^7 + 206119211987758163316927809267854437/580173477283928730831925669671\ 589*c_1100_0^6 - 37967717821393561753464466405067669/11603469545678\ 57461663851339343178*c_1100_0^5 - 256447271079018450096800495400719\ 405/1160346954567857461663851339343178*c_1100_0^4 + 58645141732885576548574043932483277/5801734772839287308319256696715\ 89*c_1100_0^3 + 54673912261166216399635475307336905/580173477283928\ 730831925669671589*c_1100_0^2 - 20765409355985784845305925722739831\ /580173477283928730831925669671589*c_1100_0 - 17420950515995430081952146875859653/1160346954567857461663851339343\ 178, c_1100_0^32 - c_1100_0^31 - 5*c_1100_0^30 + 15*c_1100_0^29 + 2*c_1100_0^28 - 67*c_1100_0^27 + 60*c_1100_0^26 + 125*c_1100_0^25 - 275*c_1100_0^24 - 25*c_1100_0^23 + 637*c_1100_0^22 - 449*c_1100_0^21 - 776*c_1100_0^20 + 1393*c_1100_0^19 + 211*c_1100_0^18 - 2431*c_1100_0^17 + 803*c_1100_0^16 + 2607*c_1100_0^15 - 1493*c_1100_0^14 - 1557*c_1100_0^13 + 1586*c_1100_0^12 + 289*c_1100_0^11 - 1220*c_1100_0^10 + 330*c_1100_0^9 + 612*c_1100_0^8 - 467*c_1100_0^7 - 139*c_1100_0^6 + 376*c_1100_0^5 - 8*c_1100_0^4 - 165*c_1100_0^3 - c_1100_0^2 + 28*c_1100_0 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.420 Total time: 1.629 seconds, Total memory usage: 32.09MB