Magma V2.19-8 Tue Aug 20 2013 23:47:17 on localhost [Seed = 256468301] Type ? for help. Type -D to quit. Loading file "K9a4__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a4 geometric_solution 11.39030515 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 3012 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 -1 0 0 1 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.807548563320 0.582343886842 0 0 2 4 0132 1230 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 0 0 1 0 0 -1 -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.511618553061 1.548120096736 1 0 5 3 2103 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496114657613 0.369723464931 6 7 0 2 0132 0132 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 1 -1 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.830173416076 0.590917640840 8 8 1 6 0132 1302 0132 1302 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 0 0 0 0 0 0 1 -1 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.623677450403 0.859790262078 6 7 9 2 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607249431487 1.170733674812 3 10 4 5 0132 0132 2031 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.419233039285 0.881348556952 9 3 11 5 1230 0132 0132 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 -1 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.376439869646 0.508667719561 4 10 9 4 0132 0213 2103 2031 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 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.427222740047 0.976082756731 8 7 11 5 2103 3012 0213 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 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.447161958381 0.486311514211 11 6 8 11 2103 0132 0213 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 1 0 -1 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.639459570321 1.008359253521 10 9 10 7 3120 0213 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 -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.314394326615 0.879297860656 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0011_5']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_11' : d['c_1001_7'], 'c_1010_10' : negation(d['c_0011_11']), '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_4']), 'c_0101_10' : negation(d['c_0011_4']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : 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' : d['c_1001_7'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_7'], 'c_1100_4' : d['c_0101_6'], 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_1001_7'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : d['c_0011_4'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_1001_7'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0011_4'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), '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_7'], 'c_0110_10' : d['c_0101_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_6']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : negation(d['c_0011_5']), 'c_1100_8' : negation(d['c_0101_5'])})} 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_5, c_0101_6, c_0101_7, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 5799492586801777629178557125734469/79697740328193189574427905184814\ *c_1001_7^24 - 159674138097879362943637181460695851/637581922625545\ 516595423241478512*c_1001_7^23 + 7021878344421283041564853123067622\ 1/637581922625545516595423241478512*c_1001_7^22 + 15925052994698007221945270735667607/1771060896182070879431731226329\ 2*c_1001_7^21 - 1738958202830776029780362176040145239/6375819226255\ 45516595423241478512*c_1001_7^20 + 388432640758478244546023303801557879/159395480656386379148855810369\ 628*c_1001_7^19 + 1136423141616012265208139122626904671/21252730754\ 1848505531807747159504*c_1001_7^18 - 2561251824603221046845356513992447281/15939548065638637914885581036\ 9628*c_1001_7^17 + 219444752772906315348225403136091115/17710608961\ 820708794317312263292*c_1001_7^16 + 11521061001294097653528437496217929589/6375819226255455165954232414\ 78512*c_1001_7^15 - 16020846032153027961658384766539298285/31879096\ 1312772758297711620739256*c_1001_7^14 + 3396079183796334892568794065626402371/21252730754184850553180774715\ 9504*c_1001_7^13 + 4874299885230002572207946679787777099/7084243584\ 7282835177269249053168*c_1001_7^12 - 22770530767510718590462579834110707551/3187909613127727582977116207\ 39256*c_1001_7^11 - 1162833216963794985129368407255125631/398488701\ 64096594787213952592407*c_1001_7^10 + 58471440258239450322553323115149374405/6375819226255455165954232414\ 78512*c_1001_7^9 - 20500613050087586487533080875612110717/637581922\ 625545516595423241478512*c_1001_7^8 - 9780354660446601673499991534485804729/21252730754184850553180774715\ 9504*c_1001_7^7 + 23190337457095948635143098937174486083/6375819226\ 25545516595423241478512*c_1001_7^6 + 1402127393995375080913972913898285737/31879096131277275829771162073\ 9256*c_1001_7^5 - 2826235171937110884904450598386012955/63758192262\ 5545516595423241478512*c_1001_7^4 + 708582878525242090905923279541927193/637581922625545516595423241478\ 512*c_1001_7^3 - 2832713839065493022454888590266731685/637581922625\ 545516595423241478512*c_1001_7^2 + 294928554127598135259516406860199817/106263653770924252765903873579\ 752*c_1001_7 + 1640687063355751033445699203436870215/63758192262554\ 5516595423241478512, c_0011_0 - 1, c_0011_10 + 344082980325042738661415/1317680994062805673758412*c_1001_7\ ^24 - 1204513029975179794068181/1317680994062805673758412*c_1001_7^\ 23 + 151801676727539596499153/329420248515701418439603*c_1001_7^22 + 4147995476986679053734191/1317680994062805673758412*c_1001_7^21 - 3262934328307121498354490/329420248515701418439603*c_1001_7^20 + 12406163403548520372867307/1317680994062805673758412*c_1001_7^19 + 5960800078935891399094609/329420248515701418439603*c_1001_7^18 - 19046963189154898843232889/329420248515701418439603*c_1001_7^17 + 63152275090068401453418527/1317680994062805673758412*c_1001_7^16 + 38999535119616710246296167/658840497031402836879206*c_1001_7^15 - 235921673956691040643654109/1317680994062805673758412*c_1001_7^14 + 87879459450374434639250005/1317680994062805673758412*c_1001_7^13 + 154890361338582238450183595/658840497031402836879206*c_1001_7^12 - 85535006343437774632670204/329420248515701418439603*c_1001_7^11 - 114227945915302934243308585/1317680994062805673758412*c_1001_7^10 + 418095585137222277418178493/1317680994062805673758412*c_1001_7^9 - 162724804889305539628560917/1317680994062805673758412*c_1001_7^8 - 195844877764044629314396379/1317680994062805673758412*c_1001_7^7 + 81295334977130321172636761/658840497031402836879206*c_1001_7^6 + 16411358381301546062268935/1317680994062805673758412*c_1001_7^5 - 13955370603810752408144981/1317680994062805673758412*c_1001_7^4 + 1334319851578678230452417/1317680994062805673758412*c_1001_7^3 - 10589690397408421262346261/658840497031402836879206*c_1001_7^2 + 14548262226909001739181289/1317680994062805673758412*c_1001_7 + 2914455052037231026482889/329420248515701418439603, c_0011_11 + 4233744270978796932922243299913/177106089618207087943173122\ 63292*c_1001_7^24 - 15505217587304031455037193669303/17710608961820\ 708794317312263292*c_1001_7^23 + 2572382941061901759268708898230/44\ 27652240455177198579328065823*c_1001_7^22 + 16006499920762816800248070584879/5903536320606902931439104087764*c_\ 1001_7^21 - 41602014827065522065566540579702/4427652240455177198579\ 328065823*c_1001_7^20 + 181185217542683661756538544748625/177106089\ 61820708794317312263292*c_1001_7^19 + 20866229302689643609064812923865/1475884080151725732859776021941*c_\ 1001_7^18 - 238126746769987626805096788033533/442765224045517719857\ 9328065823*c_1001_7^17 + 308688505144424977496860209370883/59035363\ 20606902931439104087764*c_1001_7^16 + 372177556476920129241184048879001/8855304480910354397158656131646*c\ _1001_7^15 - 2890966620534710107024876982136163/1771060896182070879\ 4317312263292*c_1001_7^14 + 494491936120697832624617858994625/59035\ 36320606902931439104087764*c_1001_7^13 + 567942178403971249618969166738575/2951768160303451465719552043882*c\ _1001_7^12 - 1119388204103409750852397994882348/4427652240455177198\ 579328065823*c_1001_7^11 - 704644604242566109422660576835207/177106\ 08961820708794317312263292*c_1001_7^10 + 4884508319097030945189689852148683/17710608961820708794317312263292\ *c_1001_7^9 - 2441854880715970057136544157103411/177106089618207087\ 94317312263292*c_1001_7^8 - 635009463989752681985406259660143/59035\ 36320606902931439104087764*c_1001_7^7 + 963963390541644756063481713062111/8855304480910354397158656131646*c\ _1001_7^6 + 96975120411649540508885542176613/1771060896182070879431\ 7312263292*c_1001_7^5 - 134214465724241844360732712012355/177106089\ 61820708794317312263292*c_1001_7^4 - 42899858589193215461438157879785/17710608961820708794317312263292*c\ _1001_7^3 - 108123569997905899032115971887957/885530448091035439715\ 8656131646*c_1001_7^2 + 61540896099547449854794425740913/5903536320\ 606902931439104087764*c_1001_7 + 32745090592194304244154801526921/4\ 427652240455177198579328065823, c_0011_4 + 8806364878909077905079544051697/5313182688546212638295193678\ 9876*c_1001_7^24 - 33622155711488564254491160823651/531318268854621\ 26382951936789876*c_1001_7^23 + 6721852035246303326775208297715/132\ 82956721365531595737984197469*c_1001_7^22 + 10487308196579872431441979721593/5903536320606902931439104087764*c_\ 1001_7^21 - 89839826508890888863810099931638/1328295672136553159573\ 7984197469*c_1001_7^20 + 436897738873390236315121044621917/53131826\ 885462126382951936789876*c_1001_7^19 + 36367007520737688534337388864510/4427652240455177198579328065823*c_\ 1001_7^18 - 506839489658638763003546293658281/132829567213655315957\ 37984197469*c_1001_7^17 + 251127487279494827522826796560669/5903536\ 320606902931439104087764*c_1001_7^16 + 543695320959634684699160410371493/26565913442731063191475968394938*\ c_1001_7^15 - 6050865734970817255068895307237075/531318268854621263\ 82951936789876*c_1001_7^14 + 1360401623733005160376395273608825/177\ 10608961820708794317312263292*c_1001_7^13 + 337945052964645586929878323000555/2951768160303451465719552043882*c\ _1001_7^12 - 2474824852696345085393454158988907/1328295672136553159\ 5737984197469*c_1001_7^11 + 355151063937915595413502815682309/53131\ 826885462126382951936789876*c_1001_7^10 + 9376277376342081816691080832223035/53131826885462126382951936789876\ *c_1001_7^9 - 6394749241744897395938739878864995/531318268854621263\ 82951936789876*c_1001_7^8 - 773078040065932647918008564122231/17710\ 608961820708794317312263292*c_1001_7^7 + 1883664296216548140442072828677469/26565913442731063191475968394938\ *c_1001_7^6 - 396660693897957382442859521640559/5313182688546212638\ 2951936789876*c_1001_7^5 + 108038056517036793422713819355537/531318\ 26885462126382951936789876*c_1001_7^4 - 265335292724974403485994903997805/53131826885462126382951936789876*\ c_1001_7^3 - 171677762690396188739342602864933/26565913442731063191\ 475968394938*c_1001_7^2 + 123772190399737671705568330521233/1771060\ 8961820708794317312263292*c_1001_7 + 40062982438892230541041390926578/13282956721365531595737984197469, c_0011_5 + 3746265681523056817462789145885/1771060896182070879431731226\ 3292*c_1001_7^24 - 14035299191706831933718765091759/177106089618207\ 08794317312263292*c_1001_7^23 + 2587930473091493960290970641346/442\ 7652240455177198579328065823*c_1001_7^22 + 13750600023112395139781003715791/5903536320606902931439104087764*c_\ 1001_7^21 - 37609924669063742260050641352910/4427652240455177198579\ 328065823*c_1001_7^20 + 174552989806418054930414701309745/177106089\ 61820708794317312263292*c_1001_7^19 + 16837174298515984442282299705164/1475884080151725732859776021941*c_\ 1001_7^18 - 213716800892517489085045003971022/442765224045517719857\ 9328065823*c_1001_7^17 + 300267528421289903611812615115899/59035363\ 20606902931439104087764*c_1001_7^16 + 273752155892725616875942222984333/8855304480910354397158656131646*c\ _1001_7^15 - 2572937600941529271351393697396427/1771060896182070879\ 4317312263292*c_1001_7^14 + 521818797128342544559824864836225/59035\ 36320606902931439104087764*c_1001_7^13 + 459568038137920839948711076767109/2951768160303451465719552043882*c\ _1001_7^12 - 1026384632556389395876859684718751/4427652240455177198\ 579328065823*c_1001_7^11 - 142970367970259634031579065650675/177106\ 08961820708794317312263292*c_1001_7^10 + 4112734702221997796023029064875271/17710608961820708794317312263292\ *c_1001_7^9 - 2538292341487108615905575393823391/177106089618207087\ 94317312263292*c_1001_7^8 - 406290004045215315150469113783579/59035\ 36320606902931439104087764*c_1001_7^7 + 831435626075584304448172502754961/8855304480910354397158656131646*c\ _1001_7^6 - 130481643760358147748300047184943/177106089618207087943\ 17312263292*c_1001_7^5 + 5818466434736162877479160302597/1771060896\ 1820708794317312263292*c_1001_7^4 - 56585585604920218759685002348393/17710608961820708794317312263292*c\ _1001_7^3 - 88539148675659313191980087214751/8855304480910354397158\ 656131646*c_1001_7^2 + 47803262808417148825015615981929/59035363206\ 06902931439104087764*c_1001_7 + 21803722350591258733165873735112/44\ 27652240455177198579328065823, c_0101_0 + 8398653830034230539497743313199/5313182688546212638295193678\ 9876*c_1001_7^24 - 26693339382013900681893441953929/531318268854621\ 26382951936789876*c_1001_7^23 + 911298400904835890263406795764/1328\ 2956721365531595737984197469*c_1001_7^22 + 12580709759919141818359681713047/5903536320606902931439104087764*c_\ 1001_7^21 - 73711546425966516557778236087336/1328295672136553159573\ 7984197469*c_1001_7^20 + 187653445373659696499421159709795/53131826\ 885462126382951936789876*c_1001_7^19 + 62827931602093933668880102965436/4427652240455177198579328065823*c_\ 1001_7^18 - 448662035416537989887771004496100/132829567213655315957\ 37984197469*c_1001_7^17 + 103243277172731497540325101770419/5903536\ 320606902931439104087764*c_1001_7^16 + 1391152959337206560511380558686175/26565913442731063191475968394938\ *c_1001_7^15 - 5784328960589051829218947800160657/53131826885462126\ 382951936789876*c_1001_7^14 + 149693911057188767787986121939571/177\ 10608961820708794317312263292*c_1001_7^13 + 515946892352481200285831609117247/2951768160303451465719552043882*c\ _1001_7^12 - 1813603451782433014139783207295464/1328295672136553159\ 5737984197469*c_1001_7^11 - 5812562390887944951367955246029153/5313\ 1826885462126382951936789876*c_1001_7^10 + 11372350320589203659488163923610897/5313182688546212638295193678987\ 6*c_1001_7^9 - 2008547123338011744211126722424697/53131826885462126\ 382951936789876*c_1001_7^8 - 2375351936596202546999604878089457/177\ 10608961820708794317312263292*c_1001_7^7 + 2144053107100069048637546315342333/26565913442731063191475968394938\ *c_1001_7^6 + 1068648632636414966848002200763943/531318268854621263\ 82951936789876*c_1001_7^5 - 662970840923595288134843663060381/53131\ 826885462126382951936789876*c_1001_7^4 + 284866434208848315052306563680521/53131826885462126382951936789876*\ c_1001_7^3 - 335443513388295640102150739034269/26565913442731063191\ 475968394938*c_1001_7^2 + 106233584444772589169942038354027/1771060\ 8961820708794317312263292*c_1001_7 + 89782924731690466526185264940863/13282956721365531595737984197469, c_0101_1 + 223490319902205499230891/1317680994062805673758412*c_1001_7^\ 24 - 791063620129453737123197/1317680994062805673758412*c_1001_7^23 + 103362352461431514236246/329420248515701418439603*c_1001_7^22 + 2711616861664239160949955/1317680994062805673758412*c_1001_7^21 - 2147017213048253967043187/329420248515701418439603*c_1001_7^20 + 8263003899372963612170359/1317680994062805673758412*c_1001_7^19 + 3880997161804631792905365/329420248515701418439603*c_1001_7^18 - 12583847952534918070041121/329420248515701418439603*c_1001_7^17 + 42167254299340924536622115/1317680994062805673758412*c_1001_7^16 + 25489431108891346917775245/658840497031402836879206*c_1001_7^15 - 156421103244827710711727733/1317680994062805673758412*c_1001_7^14 + 60503893520175862497300641/1317680994062805673758412*c_1001_7^13 + 102303693064145368029857747/658840497031402836879206*c_1001_7^12 - 57581978923527205102487664/329420248515701418439603*c_1001_7^11 - 73908346159090491740140261/1317680994062805673758412*c_1001_7^10 + 280571693651083354176376149/1317680994062805673758412*c_1001_7^9 - 111375524057580879831788097/1317680994062805673758412*c_1001_7^8 - 132136271807986055071788691/1317680994062805673758412*c_1001_7^7 + 55767767207565275539009181/658840497031402836879206*c_1001_7^6 + 11745644353389654016625211/1317680994062805673758412*c_1001_7^5 - 11593913944880262521801345/1317680994062805673758412*c_1001_7^4 - 543917499798181603657947/1317680994062805673758412*c_1001_7^3 - 6973357313047978396289239/658840497031402836879206*c_1001_7^2 + 9691059687645146223653845/1317680994062805673758412*c_1001_7 + 2020493772428409029559325/329420248515701418439603, c_0101_5 + 932723969237943880485206088341/26565913442731063191475968394\ 938*c_1001_7^24 - 3179929936356408781243840398113/26565913442731063\ 191475968394938*c_1001_7^23 + 613500572067473359263427435453/132829\ 56721365531595737984197469*c_1001_7^22 + 1297155742149058737850917151021/2951768160303451465719552043882*c_1\ 001_7^21 - 16923117662891387494307960885669/13282956721365531595737\ 984197469*c_1001_7^20 + 27775964435877149554287126543941/2656591344\ 2731063191475968394938*c_1001_7^19 + 11979970341825596163864154688959/4427652240455177198579328065823*c_\ 1001_7^18 - 99284923563089015147936659422848/1328295672136553159573\ 7984197469*c_1001_7^17 + 14442579780804510338602682482231/295176816\ 0303451465719552043882*c_1001_7^16 + 130157537055688499856536834739028/13282956721365531595737984197469*\ c_1001_7^15 - 614969601750140774189501042092049/2656591344273106319\ 1475968394938*c_1001_7^14 + 28992471518326548978671611423049/885530\ 4480910354397158656131646*c_1001_7^13 + 55185303873741435538454643092938/1475884080151725732859776021941*c_\ 1001_7^12 - 413625288956961807090306670750019/132829567213655315957\ 37984197469*c_1001_7^11 - 624709164463867412616593546588273/2656591\ 3442731063191475968394938*c_1001_7^10 + 1247357599817993274172197662622313/26565913442731063191475968394938\ *c_1001_7^9 - 163597153294922717302446582034057/2656591344273106319\ 1475968394938*c_1001_7^8 - 290452736718106921085419887025897/885530\ 4480910354397158656131646*c_1001_7^7 + 222600125872890271262901694527322/13282956721365531595737984197469*\ c_1001_7^6 + 253080299293208574563749935410177/26565913442731063191\ 475968394938*c_1001_7^5 - 148164596058321613949507760165487/2656591\ 3442731063191475968394938*c_1001_7^4 + 39671330805587926047704332524737/26565913442731063191475968394938*c\ _1001_7^3 - 34997615555469968604374679489454/1328295672136553159573\ 7984197469*c_1001_7^2 + 11302697617150785701865359175257/8855304480\ 910354397158656131646*c_1001_7 + 30162630107911250479187110420744/1\ 3282956721365531595737984197469, c_0101_6 + 552639560061751975811854697809/26565913442731063191475968394\ 938*c_1001_7^24 - 2783004274502674712634118034377/26565913442731063\ 191475968394938*c_1001_7^23 + 2412864792182454081200531196905/13282\ 956721365531595737984197469*c_1001_7^22 + 207610415319496558941469672379/2951768160303451465719552043882*c_10\ 01_7^21 - 14188712685835104671710900040929/132829567213655315957379\ 84197469*c_1001_7^20 + 60273975581107121164484373943621/26565913442\ 731063191475968394938*c_1001_7^19 - 4402797715576569317881566247930/4427652240455177198579328065823*c_1\ 001_7^18 - 67943238873955633571586911794489/13282956721365531595737\ 984197469*c_1001_7^17 + 35652116828236410768238477138591/2951768160\ 303451465719552043882*c_1001_7^16 - 105795050642601809189696312114029/13282956721365531595737984197469*\ c_1001_7^15 - 340079114857476522776632132789069/2656591344273106319\ 1475968394938*c_1001_7^14 + 253668488544754879466551614381571/88553\ 04480910354397158656131646*c_1001_7^13 - 12529795291975930788878728733025/1475884080151725732859776021941*c_\ 1001_7^12 - 449065951901314984740050253259222/132829567213655315957\ 37984197469*c_1001_7^11 + 1042612621164819283677626424773081/265659\ 13442731063191475968394938*c_1001_7^10 + 161938950294818265497224706657141/26565913442731063191475968394938*\ c_1001_7^9 - 1047734641705324793949989183321213/2656591344273106319\ 1475968394938*c_1001_7^8 + 217421801991339839766373220843257/885530\ 4480910354397158656131646*c_1001_7^7 + 69096064136087063324513752862507/13282956721365531595737984197469*c\ _1001_7^6 - 296482532862567765826473410880731/265659134427310631914\ 75968394938*c_1001_7^5 + 89332298483463135645372926424163/265659134\ 42731063191475968394938*c_1001_7^4 - 85193366659774240773814857625817/26565913442731063191475968394938*c\ _1001_7^3 + 36947272308562815333940436854189/1328295672136553159573\ 7984197469*c_1001_7^2 + 12536730508318913093404458813925/8855304480\ 910354397158656131646*c_1001_7 - 16567619738270525899522714404163/1\ 3282956721365531595737984197469, c_0101_7 - 5521227330300513945309237038935/2656591344273106319147596839\ 4938*c_1001_7^24 + 19820208545579928769714127044747/265659134427310\ 63191475968394938*c_1001_7^23 - 5844885191062893085353605888537/132\ 82956721365531595737984197469*c_1001_7^22 - 7181512413790738742278322211531/2951768160303451465719552043882*c_1\ 001_7^21 + 106865473321986786228444381457453/1328295672136553159573\ 7984197469*c_1001_7^20 - 218730184306165719895099297580833/26565913\ 442731063191475968394938*c_1001_7^19 - 59095087969875231071313558520217/4427652240455177198579328065823*c_\ 1001_7^18 + 618065335520684545865954885856796/132829567213655315957\ 37984197469*c_1001_7^17 - 123965143874955882072016928398555/2951768\ 160303451465719552043882*c_1001_7^16 - 556675634622027529893815991450203/13282956721365531595737984197469*\ c_1001_7^15 + 3793901153212039541282472277610611/265659134427310631\ 91475968394938*c_1001_7^14 - 561945457559588271984441096376315/8855\ 304480910354397158656131646*c_1001_7^13 - 263011842647215000989917428416966/1475884080151725732859776021941*c\ _1001_7^12 + 2858948557923081145201287727955206/1328295672136553159\ 5737984197469*c_1001_7^11 + 1374440122825248615378452349365437/2656\ 5913442731063191475968394938*c_1001_7^10 - 6614004840167857993599460788226925/26565913442731063191475968394938\ *c_1001_7^9 + 2956808638912676005472925306641999/265659134427310631\ 91475968394938*c_1001_7^8 + 951915165211960372166466021680321/88553\ 04480910354397158656131646*c_1001_7^7 - 1323858536839281990242475350196146/13282956721365531595737984197469\ *c_1001_7^6 - 172327450234266774129279082425847/2656591344273106319\ 1475968394938*c_1001_7^5 + 242068544900009470448429186581217/265659\ 13442731063191475968394938*c_1001_7^4 - 25116636155414805860645425695757/26565913442731063191475968394938*c\ _1001_7^3 + 159137294590569636520134788247890/132829567213655315957\ 37984197469*c_1001_7^2 - 75728303563366269538473597314053/885530448\ 0910354397158656131646*c_1001_7 - 93660239877521184619255953487592/\ 13282956721365531595737984197469, c_1001_2 + 8398653830034230539497743313199/5313182688546212638295193678\ 9876*c_1001_7^24 - 26693339382013900681893441953929/531318268854621\ 26382951936789876*c_1001_7^23 + 911298400904835890263406795764/1328\ 2956721365531595737984197469*c_1001_7^22 + 12580709759919141818359681713047/5903536320606902931439104087764*c_\ 1001_7^21 - 73711546425966516557778236087336/1328295672136553159573\ 7984197469*c_1001_7^20 + 187653445373659696499421159709795/53131826\ 885462126382951936789876*c_1001_7^19 + 62827931602093933668880102965436/4427652240455177198579328065823*c_\ 1001_7^18 - 448662035416537989887771004496100/132829567213655315957\ 37984197469*c_1001_7^17 + 103243277172731497540325101770419/5903536\ 320606902931439104087764*c_1001_7^16 + 1391152959337206560511380558686175/26565913442731063191475968394938\ *c_1001_7^15 - 5784328960589051829218947800160657/53131826885462126\ 382951936789876*c_1001_7^14 + 149693911057188767787986121939571/177\ 10608961820708794317312263292*c_1001_7^13 + 515946892352481200285831609117247/2951768160303451465719552043882*c\ _1001_7^12 - 1813603451782433014139783207295464/1328295672136553159\ 5737984197469*c_1001_7^11 - 5812562390887944951367955246029153/5313\ 1826885462126382951936789876*c_1001_7^10 + 11372350320589203659488163923610897/5313182688546212638295193678987\ 6*c_1001_7^9 - 2008547123338011744211126722424697/53131826885462126\ 382951936789876*c_1001_7^8 - 2375351936596202546999604878089457/177\ 10608961820708794317312263292*c_1001_7^7 + 2144053107100069048637546315342333/26565913442731063191475968394938\ *c_1001_7^6 + 1068648632636414966848002200763943/531318268854621263\ 82951936789876*c_1001_7^5 - 662970840923595288134843663060381/53131\ 826885462126382951936789876*c_1001_7^4 + 284866434208848315052306563680521/53131826885462126382951936789876*\ c_1001_7^3 - 335443513388295640102150739034269/26565913442731063191\ 475968394938*c_1001_7^2 + 106233584444772589169942038354027/1771060\ 8961820708794317312263292*c_1001_7 + 89782924731690466526185264940863/13282956721365531595737984197469, c_1001_7^25 - 3*c_1001_7^24 + 13*c_1001_7^22 - 32*c_1001_7^21 + 17*c_1001_7^20 + 88*c_1001_7^19 - 188*c_1001_7^18 + 73*c_1001_7^17 + 322*c_1001_7^16 - 579*c_1001_7^15 - 85*c_1001_7^14 + 1038*c_1001_7^13 - 560*c_1001_7^12 - 831*c_1001_7^11 + 1075*c_1001_7^10 + 117*c_1001_7^9 - 821*c_1001_7^8 + 214*c_1001_7^7 + 281*c_1001_7^6 - 31*c_1001_7^5 - 13*c_1001_7^4 - 54*c_1001_7^3 + 11*c_1001_7^2 + 52*c_1001_7 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.370 Total time: 0.580 seconds, Total memory usage: 32.09MB