Magma V2.19-8 Wed Aug 21 2013 00:04:12 on localhost [Seed = 3499540200] Type ? for help. Type -D to quit. Loading file "K13n1965__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1965 geometric_solution 11.92708974 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 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 -2 2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.774730482021 1.001100181587 0 4 6 5 0132 0132 0132 0132 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 0 3 -3 0 0 0 0 1 -3 0 2 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771857109231 1.542043031589 0 0 8 7 2031 0132 0132 0132 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 -1 1 0 1 0 -1 0 -1 0 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516521354045 0.624747020404 9 10 0 11 0132 0132 0132 0132 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 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472700162723 0.547363437754 5 1 6 9 0213 0132 2310 0321 0 0 0 0 0 0 -1 1 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 2 -2 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513156682886 0.685924826533 4 9 1 10 0213 2310 0132 1230 0 0 0 0 0 1 -1 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 -3 3 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.174798648000 0.634820814182 10 4 12 1 2310 3201 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 3 0 -3 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.057034742762 0.618591186443 11 11 2 8 3012 0132 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639506596494 1.111222495402 7 12 11 2 3120 3012 3201 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 0 1 -1 0 0 -1 1 -1 3 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485730635727 0.346692477200 3 4 12 5 0132 0321 0213 3201 0 0 0 0 0 -1 0 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 2 0 -2 0 0 0 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.029369770462 0.734725733630 5 3 6 12 3012 0132 3201 3012 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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.239884895142 0.913326380264 8 7 3 7 2310 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.610954633137 0.676014861708 8 9 10 6 1230 0213 1230 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 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.331910383481 0.803493800523 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : d['c_0011_6'], 'c_1001_5' : negation(d['c_1001_1']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : negation(d['c_0101_12']), 'c_1001_2' : negation(d['c_0101_12']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_5']), 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : negation(d['c_0101_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : negation(d['c_0101_1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_5']), 'c_1100_8' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_8']), 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : negation(d['c_1001_1']), 'c_1010_0' : negation(d['c_0101_12']), 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : negation(d['c_0101_12']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0110_10'], '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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), '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_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_8'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0011_5'], '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_0011_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0011_11'], '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_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_12'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_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_12, c_0011_5, c_0011_6, c_0011_8, c_0101_1, c_0101_12, c_0101_2, c_0101_7, c_0110_10, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 19474481856584146683609619581761819174/7273666314463175567942804371\ 060194681*c_1001_1^19 - 207833200704451486275670630929840005249/727\ 3666314463175567942804371060194681*c_1001_1^18 - 431677916441990107083560633107121339977/242455543815439185598093479\ 0353398227*c_1001_1^17 - 5438142793383808076824943098441779771893/7\ 273666314463175567942804371060194681*c_1001_1^16 - 5784227972002292560788334362175801237120/24245554381543918559809347\ 90353398227*c_1001_1^15 - 14487221079702058549590011784965521917212\ /2424555438154391855980934790353398227*c_1001_1^14 - 88206721269736981677106366870036084819349/7273666314463175567942804\ 371060194681*c_1001_1^13 - 1457674369420147037252115740852149787723\ 57/7273666314463175567942804371060194681*c_1001_1^12 - 4559079388472641155352366796809037602846/16915503056891105971960010\ 1652562667*c_1001_1^11 - 209488602760554348902137978174092813271667\ /7273666314463175567942804371060194681*c_1001_1^10 - 170782949493993178957666867081885173501124/727366631446317556794280\ 4371060194681*c_1001_1^9 - 176996528369450125830120086822282876627/\ 13802023367102799939170406776205303*c_1001_1^8 - 20578677842972698421476260012581390290879/7273666314463175567942804\ 371060194681*c_1001_1^7 + 16428332034488565381039725570009679204877\ /7273666314463175567942804371060194681*c_1001_1^6 + 1459401212678966842406409016988456954723/80818514605146395199364493\ 0117799409*c_1001_1^5 + 214197979100077814167995192397799757695/808\ 185146051463951993644930117799409*c_1001_1^4 - 4129697556152999557687707079523249034376/72736663144631755679428043\ 71060194681*c_1001_1^3 + 1062100935825461486703753940599329825/5638\ 5010189637019906533367217520889*c_1001_1^2 + 360520267921823917130895995567366238950/727366631446317556794280437\ 1060194681*c_1001_1 - 59132180212955427296388016744816063445/727366\ 6314463175567942804371060194681, c_0011_0 - 1, c_0011_10 + 479712565740856384964/115498946912644214893*c_1001_1^19 + 5236846930003006345709/115498946912644214893*c_1001_1^18 + 33176073151856048870355/115498946912644214893*c_1001_1^17 + 141985275281279867479380/115498946912644214893*c_1001_1^16 + 461505608366205054266930/115498946912644214893*c_1001_1^15 + 1180090707571411399214075/115498946912644214893*c_1001_1^14 + 2449193323059928465034333/115498946912644214893*c_1001_1^13 + 4155781394058460508451846/115498946912644214893*c_1001_1^12 + 5771179740812786840673857/115498946912644214893*c_1001_1^11 + 6441650243552020343424012/115498946912644214893*c_1001_1^10 + 5599528869704393457505698/115498946912644214893*c_1001_1^9 + 3466060096384851271322138/115498946912644214893*c_1001_1^8 + 1189674799421325266210289/115498946912644214893*c_1001_1^7 - 202475821208482293202099/115498946912644214893*c_1001_1^6 - 391341378809768597009690/115498946912644214893*c_1001_1^5 - 131449187025172524300405/115498946912644214893*c_1001_1^4 + 78396034589791576368278/115498946912644214893*c_1001_1^3 + 15347936290257195636562/115498946912644214893*c_1001_1^2 - 5736057604478857754744/115498946912644214893*c_1001_1 - 113792166797667520451/115498946912644214893, c_0011_11 + 254719329903353204985/115498946912644214893*c_1001_1^19 + 2964733975561241739562/115498946912644214893*c_1001_1^18 + 19632938752430739631229/115498946912644214893*c_1001_1^17 + 88205541887757259211641/115498946912644214893*c_1001_1^16 + 300064193466010636700291/115498946912644214893*c_1001_1^15 + 805963129214907513566857/115498946912644214893*c_1001_1^14 + 1760636081057073269450701/115498946912644214893*c_1001_1^13 + 3165088069648680960213503/115498946912644214893*c_1001_1^12 + 4697396675961496959628499/115498946912644214893*c_1001_1^11 + 5699296727716485698341478/115498946912644214893*c_1001_1^10 + 5533135223051694536400149/115498946912644214893*c_1001_1^9 + 4085318092050605851523520/115498946912644214893*c_1001_1^8 + 2042315016987696413779455/115498946912644214893*c_1001_1^7 + 394868799516276645315231/115498946912644214893*c_1001_1^6 - 275126771149980032327745/115498946912644214893*c_1001_1^5 - 229794834827191269014922/115498946912644214893*c_1001_1^4 - 19872579279210314508654/115498946912644214893*c_1001_1^3 + 33351073074672666145557/115498946912644214893*c_1001_1^2 + 2748414024320318818258/115498946912644214893*c_1001_1 - 1800091629657909215024/115498946912644214893, c_0011_12 + 356121639291688703851/115498946912644214893*c_1001_1^19 + 3925063384280797106174/115498946912644214893*c_1001_1^18 + 25046258953446542725726/115498946912644214893*c_1001_1^17 + 108092801316965023652209/115498946912644214893*c_1001_1^16 + 354320445921363112122147/115498946912644214893*c_1001_1^15 + 914816632395965094310742/115498946912644214893*c_1001_1^14 + 1919272125011172014085261/115498946912644214893*c_1001_1^13 + 3299372601216455277986601/115498946912644214893*c_1001_1^12 + 4656950583893927577898234/115498946912644214893*c_1001_1^11 + 5314987167936265948764422/115498946912644214893*c_1001_1^10 + 4775182559534546236083141/115498946912644214893*c_1001_1^9 + 3140623755572969833122232/115498946912644214893*c_1001_1^8 + 1269387109702689826921514/115498946912644214893*c_1001_1^7 + 17383590446631818674158/115498946912644214893*c_1001_1^6 - 276560646755246272284074/115498946912644214893*c_1001_1^5 - 127311088073108997994937/115498946912644214893*c_1001_1^4 + 42556835027733966150112/115498946912644214893*c_1001_1^3 + 15439227089015356754590/115498946912644214893*c_1001_1^2 - 1982412913061377617010/115498946912644214893*c_1001_1 - 157105462134750921080/115498946912644214893, c_0011_5 - 109640519759686450813/115498946912644214893*c_1001_1^19 - 1191033436890970571228/115498946912644214893*c_1001_1^18 - 7521350651409069638643/115498946912644214893*c_1001_1^17 - 32076978116500147615645/115498946912644214893*c_1001_1^16 - 103941485133735871556305/115498946912644214893*c_1001_1^15 - 264920777725230729908995/115498946912644214893*c_1001_1^14 - 548101920513144283168431/115498946912644214893*c_1001_1^13 - 926927639236991391478827/115498946912644214893*c_1001_1^12 - 1282890945726062850011308/115498946912644214893*c_1001_1^11 - 1426773051280063730911029/115498946912644214893*c_1001_1^10 - 1236348734073250251630580/115498946912644214893*c_1001_1^9 - 764243863739605113252980/115498946912644214893*c_1001_1^8 - 266790983324272671291055/115498946912644214893*c_1001_1^7 + 34631220850877377040323/115498946912644214893*c_1001_1^6 + 73885325135771388372942/115498946912644214893*c_1001_1^5 + 21882481538289216404969/115498946912644214893*c_1001_1^4 - 19245910664992814502113/115498946912644214893*c_1001_1^3 - 1705888894612031546347/115498946912644214893*c_1001_1^2 + 1588159867946484358417/115498946912644214893*c_1001_1 - 86277554896448277716/115498946912644214893, c_0011_6 + 55003573611994276610/115498946912644214893*c_1001_1^19 + 557292181772879995392/115498946912644214893*c_1001_1^18 + 3333025337883378473852/115498946912644214893*c_1001_1^17 + 13297636461592138909779/115498946912644214893*c_1001_1^16 + 40158290164725817034970/115498946912644214893*c_1001_1^15 + 93861689877274425447601/115498946912644214893*c_1001_1^14 + 174909842454890738035944/115498946912644214893*c_1001_1^13 + 256854339095384187128520/115498946912644214893*c_1001_1^12 + 289402114666429858490193/115498946912644214893*c_1001_1^11 + 222214948176857292129074/115498946912644214893*c_1001_1^10 + 66669386260001431074989/115498946912644214893*c_1001_1^9 - 101543039179849958050021/115498946912644214893*c_1001_1^8 - 171314646192516514951039/115498946912644214893*c_1001_1^7 - 128251853153506650244807/115498946912644214893*c_1001_1^6 - 27010375599704367042388/115498946912644214893*c_1001_1^5 + 18460612588822547777678/115498946912644214893*c_1001_1^4 + 19486066116164428635265/115498946912644214893*c_1001_1^3 - 5641550408586600273933/115498946912644214893*c_1001_1^2 - 1740544644600409264596/115498946912644214893*c_1001_1 + 589353085500542835777/115498946912644214893, c_0011_8 + 8720516953441321267/115498946912644214893*c_1001_1^19 + 91057926837838838663/115498946912644214893*c_1001_1^18 + 559192752360482820149/115498946912644214893*c_1001_1^17 + 2310750364533672682450/115498946912644214893*c_1001_1^16 + 7274381285566537496501/115498946912644214893*c_1001_1^15 + 17985419366728235013340/115498946912644214893*c_1001_1^14 + 36159434872585443338467/115498946912644214893*c_1001_1^13 + 59482462747191424618123/115498946912644214893*c_1001_1^12 + 80536119848159077948868/115498946912644214893*c_1001_1^11 + 88755013447760435147744/115498946912644214893*c_1001_1^10 + 79436325957902764522085/115498946912644214893*c_1001_1^9 + 57185036625198628790953/115498946912644214893*c_1001_1^8 + 35980257087707684712438/115498946912644214893*c_1001_1^7 + 22623970744021820410910/115498946912644214893*c_1001_1^6 + 17539550389005152423271/115498946912644214893*c_1001_1^5 + 10932088308104391412910/115498946912644214893*c_1001_1^4 + 5056837554557858975901/115498946912644214893*c_1001_1^3 - 48747374760601834969/115498946912644214893*c_1001_1^2 - 144358429984141200485/115498946912644214893*c_1001_1 + 167459855992566954968/115498946912644214893, c_0101_1 - 65949771746452532126/115498946912644214893*c_1001_1^19 - 667589697001048787480/115498946912644214893*c_1001_1^18 - 3990189454933751337052/115498946912644214893*c_1001_1^17 - 15905579755272871934993/115498946912644214893*c_1001_1^16 - 47984387043352449757117/115498946912644214893*c_1001_1^15 - 111974234334333254320260/115498946912644214893*c_1001_1^14 - 208149047431393160053583/115498946912644214893*c_1001_1^13 - 304318087810647422877750/115498946912644214893*c_1001_1^12 - 339831518138402427550072/115498946912644214893*c_1001_1^11 - 254509942843501299165978/115498946912644214893*c_1001_1^10 - 63231176042947397685682/115498946912644214893*c_1001_1^9 + 141260468295541882091027/115498946912644214893*c_1001_1^8 + 223787487587571279136256/115498946912644214893*c_1001_1^7 + 167160093466253936377294/115498946912644214893*c_1001_1^6 + 39069968127075434428996/115498946912644214893*c_1001_1^5 - 20416045459171359270075/115498946912644214893*c_1001_1^4 - 23780638378085393010537/115498946912644214893*c_1001_1^3 + 6605845509538636134480/115498946912644214893*c_1001_1^2 + 2097274976225422013686/115498946912644214893*c_1001_1 - 686757801646757007220/115498946912644214893, c_0101_12 + 323746902166769056533/115498946912644214893*c_1001_1^19 + 3534302897014198534690/115498946912644214893*c_1001_1^18 + 22386711963626784729546/115498946912644214893*c_1001_1^17 + 95784546972315756376471/115498946912644214893*c_1001_1^16 + 311200685669351551323959/115498946912644214893*c_1001_1^15 + 795247985337089080484005/115498946912644214893*c_1001_1^14 + 1648912658226545704006242/115498946912644214893*c_1001_1^13 + 2793905158691499720940696/115498946912644214893*c_1001_1^12 + 3871306735899532154765315/115498946912644214893*c_1001_1^11 + 4304873365374650307701258/115498946912644214893*c_1001_1^10 + 3715584554216695092428201/115498946912644214893*c_1001_1^9 + 2261457766664437494677111/115498946912644214893*c_1001_1^8 + 725975016944884207313379/115498946912644214893*c_1001_1^7 - 195564133684691044402722/115498946912644214893*c_1001_1^6 - 296678957326930430836215/115498946912644214893*c_1001_1^5 - 98824566118649807527139/115498946912644214893*c_1001_1^4 + 52892387380893221522692/115498946912644214893*c_1001_1^3 + 11792313161511995899589/115498946912644214893*c_1001_1^2 - 4105892697621940804865/115498946912644214893*c_1001_1 - 161865686049856503610/115498946912644214893, c_0101_2 - 494033711974927785801/115498946912644214893*c_1001_1^19 - 5471707218063979932325/115498946912644214893*c_1001_1^18 - 35036696949017421900925/115498946912644214893*c_1001_1^17 - 151796486585656090354508/115498946912644214893*c_1001_1^16 - 499422737093391312545184/115498946912644214893*c_1001_1^15 - 1294705250518474158257053/115498946912644214893*c_1001_1^14 - 2727956326329086894047126/115498946912644214893*c_1001_1^13 - 4712670598538895386316723/115498946912644214893*c_1001_1^12 - 6690057374340551173628940/115498946912644214893*c_1001_1^11 - 7691549683464668455695303/115498946912644214893*c_1001_1^10 - 6978820845385796381313485/115498946912644214893*c_1001_1^9 - 4663943484940017753426405/115498946912644214893*c_1001_1^8 - 1949984123619588975695653/115498946912644214893*c_1001_1^7 - 87449602789660502063717/115498946912644214893*c_1001_1^6 + 397552889623526069748800/115498946912644214893*c_1001_1^5 + 201868570009382186959228/115498946912644214893*c_1001_1^4 - 47696873434590180615162/115498946912644214893*c_1001_1^3 - 22645319729486215233629/115498946912644214893*c_1001_1^2 + 2937422841348782233819/115498946912644214893*c_1001_1 + 501241225446882569129/115498946912644214893, c_0101_7 + 390277116823017855385/115498946912644214893*c_1001_1^19 + 4302488454915891616579/115498946912644214893*c_1001_1^18 + 27457593709063436223431/115498946912644214893*c_1001_1^17 + 118508926287830906506180/115498946912644214893*c_1001_1^16 + 388464179181839475231313/115498946912644214893*c_1001_1^15 + 1002896802744467285193828/115498946912644214893*c_1001_1^14 + 2103643757625067852506606/115498946912644214893*c_1001_1^13 + 3614966767260050835943194/115498946912644214893*c_1001_1^12 + 5098972227949889866628953/115498946912644214893*c_1001_1^11 + 5812384100644176055385704/115498946912644214893*c_1001_1^10 + 5209610312303202069776700/115498946912644214893*c_1001_1^9 + 3407492171915680672984594/115498946912644214893*c_1001_1^8 + 1352136890618083514885267/115498946912644214893*c_1001_1^7 - 14762046204543738911596/115498946912644214893*c_1001_1^6 - 324640336822373433569395/115498946912644214893*c_1001_1^5 - 148543556515943029001800/115498946912644214893*c_1001_1^4 + 44400749234429959973163/115498946912644214893*c_1001_1^3 + 16454107743946786481870/115498946912644214893*c_1001_1^2 - 2647740217439782611607/115498946912644214893*c_1001_1 - 321344472065080984345/115498946912644214893, c_0110_10 + 57857792209929065906/115498946912644214893*c_1001_1^19 + 626294567317925911768/115498946912644214893*c_1001_1^18 + 3945301540409340234933/115498946912644214893*c_1001_1^17 + 16778288811663936790615/115498946912644214893*c_1001_1^16 + 54219190466727126637260/115498946912644214893*c_1001_1^15 + 137757505378750370947287/115498946912644214893*c_1001_1^14 + 284019825939455616218296/115498946912644214893*c_1001_1^13 + 478275400376341233472958/115498946912644214893*c_1001_1^12 + 658366797670894650522114/115498946912644214893*c_1001_1^11 + 726583290392568127055294/115498946912644214893*c_1001_1^10 + 622100254098927293821693/115498946912644214893*c_1001_1^9 + 375406012832665650493930/115498946912644214893*c_1001_1^8 + 121456901645962331613976/115498946912644214893*c_1001_1^7 - 27341452021602265421886/115498946912644214893*c_1001_1^6 - 40596675613585834100631/115498946912644214893*c_1001_1^5 - 10788533344034244181715/115498946912644214893*c_1001_1^4 + 10694731357818693126292/115498946912644214893*c_1001_1^3 + 646379997803466306914/115498946912644214893*c_1001_1^2 - 1000106063798758818491/115498946912644214893*c_1001_1 + 65949771746452532126/115498946912644214893, c_1001_1^20 + 11*c_1001_1^19 + 70*c_1001_1^18 + 301*c_1001_1^17 + 982*c_1001_1^16 + 2520*c_1001_1^15 + 5245*c_1001_1^14 + 8921*c_1001_1^13 + 12405*c_1001_1^12 + 13842*c_1001_1^11 + 11976*c_1001_1^10 + 7291*c_1001_1^9 + 2299*c_1001_1^8 - 693*c_1001_1^7 - 1007*c_1001_1^6 - 306*c_1001_1^5 + 197*c_1001_1^4 + 62*c_1001_1^3 - 22*c_1001_1^2 - 3*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.920 Total time: 10.130 seconds, Total memory usage: 64.12MB