Magma V2.19-8 Wed Aug 21 2013 00:14:04 on localhost [Seed = 4173239367] Type ? for help. Type -D to quit. Loading file "K13n3546__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3546 geometric_solution 11.83936568 oriented_manifold CS_known 0.0000000000000006 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 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 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.913004485249 0.734599994349 0 2 6 5 0132 0213 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 5 -6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581667373330 0.510538365459 7 0 1 8 0132 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 -1 -5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558743643549 0.591474819870 7 7 9 0 3012 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 -1 1 0 0 0 0 -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.560037963615 0.714794541408 10 6 0 10 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0.207079533373 0.746735559745 7 11 1 8 2031 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.357870839326 0.746923608328 12 4 12 1 0132 0132 1023 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 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.013770893389 1.064014507243 2 3 5 3 0132 0132 1302 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 -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.320815198420 0.866865498979 9 5 2 12 0321 1302 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 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.785894862850 0.693520547861 8 11 10 3 0321 3201 1023 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 -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.389096561792 0.545039435510 4 11 9 4 0132 3012 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642022971396 1.693282754116 10 5 9 12 1230 0132 2310 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 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 1.333550604319 0.990966027687 6 11 6 8 0132 0321 1023 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 -1 1 -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.013770893389 1.064014507243 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0011_9'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0110_5'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0110_5'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_0101_10'], 's_3_11' : 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' : negation(d['c_0101_10']), '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_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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(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_1001_5'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_1010_8']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0101_0'], 'c_1100_6' : negation(d['c_1010_8']), 'c_1100_1' : negation(d['c_1010_8']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_5'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : negation(d['c_1100_0']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_1010_8'], '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'], 'c_1100_12' : d['c_1010_8'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_10'], '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' : d['c_0011_10'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : d['c_0101_1'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), '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' : negation(d['c_0011_8']), 'c_0110_8' : negation(d['c_0011_9']), '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_11'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_0']), '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_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0110_5, c_1001_1, c_1001_5, c_1010_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 145/1824*c_1100_0^3 - 37/228*c_1100_0^2 - 49/114*c_1100_0 + 565/1824, c_0011_0 - 1, c_0011_10 - 3/4*c_1100_0^3 - 2*c_1100_0^2 - 5*c_1100_0 - 1/4, c_0011_11 - 3/8*c_1100_0^3 - c_1100_0^2 - 3*c_1100_0 - 9/8, c_0011_8 + 3/8*c_1100_0^3 + c_1100_0^2 + 2*c_1100_0 + 1/8, c_0011_9 - 1, c_0101_0 + 1/4*c_1100_0^3 + c_1100_0 - 5/4, c_0101_1 + 1/4*c_1100_0^3 + c_1100_0^2 + 2*c_1100_0 + 7/4, c_0101_10 + 1/4*c_1100_0^3 + c_1100_0^2 + 3*c_1100_0 + 7/4, c_0110_5 - 1/8*c_1100_0^3 - c_1100_0 + 5/8, c_1001_1 + 1, c_1001_5 - 1/4*c_1100_0^3 - c_1100_0^2 - 2*c_1100_0 - 7/4, c_1010_8 + 3/4*c_1100_0^3 + 2*c_1100_0^2 + 6*c_1100_0 + 5/4, c_1100_0^4 + 3*c_1100_0^3 + 8*c_1100_0^2 + 3*c_1100_0 + 1 ], 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_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0110_5, c_1001_1, c_1001_5, c_1010_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 1/12*c_1100_0^2 + 1/4*c_1100_0 + 7/12, c_0011_0 - 1, c_0011_10 - 3/4*c_1100_0^3 - 2*c_1100_0^2 - 5*c_1100_0 - 1/4, c_0011_11 - 3/8*c_1100_0^3 - c_1100_0^2 - 3*c_1100_0 - 9/8, c_0011_8 + 3/8*c_1100_0^3 + c_1100_0^2 + 2*c_1100_0 + 1/8, c_0011_9 + 1/4*c_1100_0^3 + c_1100_0^2 + 2*c_1100_0 + 7/4, c_0101_0 - 5/8*c_1100_0^3 - 2*c_1100_0^2 - 5*c_1100_0 - 7/8, c_0101_1 - 1, c_0101_10 + 3/8*c_1100_0^3 + c_1100_0^2 + 2*c_1100_0 + 1/8, c_0110_5 + 3/4*c_1100_0^3 + 2*c_1100_0^2 + 5*c_1100_0 + 1/4, c_1001_1 - 1/4*c_1100_0^3 - c_1100_0^2 - 2*c_1100_0 - 7/4, c_1001_5 + 1, c_1010_8 + 3/4*c_1100_0^3 + 2*c_1100_0^2 + 6*c_1100_0 + 5/4, c_1100_0^4 + 3*c_1100_0^3 + 8*c_1100_0^2 + 3*c_1100_0 + 1 ], 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_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0110_5, c_1001_1, c_1001_5, c_1010_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 2685571965166491233522444809929196340037758439296728768045841827/34\ 50072203106987988924295005928028300061195257753637761429280*c_1100_\ 0^19 - 379364594181028260353651494912382997291594496712154619512036\ 343/246433728793356284923163928994859164290085375553831268673520*c_\ 1100_0^18 + 6118736201128503867810575999012658403852394672683581417\ 6788963653/13800288812427951955697180023712113200244781031014551045\ 717120*c_1100_0^17 + 5281839460460293320121335319215968442505299303\ 77479344442249343/2156295126941867493077684378705017687538247036096\ 02360089330*c_1100_0^16 - 51006220066372089423112454211239406947129\ 922812178046646109916369/172503610155349399446214750296401415003059\ 7628876818880714640*c_1100_0^15 + 390737297187562140964052244016204\ 428994999397846523075015218928285/276005776248559039113943600474242\ 2640048956206202910209143424*c_1100_0^14 - 4391528621558306285875674994087409823054161457788555671297445540051\ /13800288812427951955697180023712113200244781031014551045717120*c_1\ 100_0^13 + 10745722860450018476173005964688490808524187738030626434\ 675897156419/138002888124279519556971800237121132002447810310145510\ 45717120*c_1100_0^12 - 88073593874113966907458137777289009009645853\ 36016641305125914359751/1380028881242795195569718002371211320024478\ 1031014551045717120*c_1100_0^11 + 359398907033737112147093414857712\ 43255312020008303875667102040586449/1380028881242795195569718002371\ 2113200244781031014551045717120*c_1100_0^10 - 2821010215500908249852574592659946312805225138016130934966961281854\ 1/13800288812427951955697180023712113200244781031014551045717120*c_\ 1100_0^9 + 82425809467711281105721449165077364446402035297215879750\ 064352968663/138002888124279519556971800237121132002447810310145510\ 45717120*c_1100_0^8 + 278838528386018510565921590580377133193727249\ 50137754229858112178139/3450072203106987988924295005928028300061195\ 257753637761429280*c_1100_0^7 - 30912181266719867257509843832322936\ 010877077072463506065654597184217/197146983034685027938531143195887\ 3314320683004430650149388160*c_1100_0^6 + 3157861867835330062632846620554714897797163246510485724937656110259\ 63/6900144406213975977848590011856056600122390515507275522858560*c_\ 1100_0^5 - 79723559889022161769824894345678983763087699592523142023\ 409571298567/138002888124279519556971800237121132002447810310145510\ 45717120*c_1100_0^4 - 191564602969054221348180449709402641120939136\ 02938396632467416267933/1380028881242795195569718002371211320024478\ 1031014551045717120*c_1100_0^3 + 1639680354294640733387587540979106\ 3566030564484411424323936836093083/13800288812427951955697180023712\ 113200244781031014551045717120*c_1100_0^2 + 7568799758055656955723947542916177472678974512870661293691588341373\ /13800288812427951955697180023712113200244781031014551045717120*c_1\ 100_0 - 88585775003320859014135664121072737423920725162470807256902\ 347933/345007220310698798892429500592802830006119525775363776142928\ 0, c_0011_0 - 1, c_0011_10 + 15502170410788637310489253622381074801647030253966331803/30\ 80421609916953561539549112435739553626067194422890858419*c_1100_0^1\ 9 - 31090100600138094952653316224765809897802194223301091442/308042\ 1609916953561539549112435739553626067194422890858419*c_1100_0^18 + 357286498360607560558548850576108083071289966055736736685/123216864\ 39667814246158196449742958214504268777691563433676*c_1100_0^17 + 45861619188989123499447095589481723359776374297091361036/3080421609\ 916953561539549112435739553626067194422890858419*c_1100_0^16 - 589293333025040212154280344407651623670096953034872576240/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 + 11344378011620415020499506766617985354457435314053357805749/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^14 - 25697403055101553370086164723223531441049913490139144428487/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^13 + 62872031144240210544387084795747613629948273641590218356587/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^12 - 52893916190007305014167185218371589032988939452035271253611/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^11 + 209554209818991546060315987797503276928517218554144901164245/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^10 - 169252799466197938463348793055993720678952283397686682585869/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^9 + 481915543169680446146137367635309191548884083826802541326315/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^8 + 156967251129646603251261126309913366484017514414141876338675/308042\ 1609916953561539549112435739553626067194422890858419*c_1100_0^7 - 1264271169092329989657707337671978375020817638074333398881031/12321\ 686439667814246158196449742958214504268777691563433676*c_1100_0^6 + 1842987349708155163499904709087692246735967244821029466184187/61608\ 43219833907123079098224871479107252134388845781716838*c_1100_0^5 - 589595265487640289447758619642258355934656976009910911939199/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^4 - 61162761775527031033833990200284977999277418513828864846593/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^3 + 81903461157456040603733442888113955985371706513552108863403/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^2 - 18001812829073458442974439847316725172097751971674460296175/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0 - 906810477677857147253449598726643935623180954127470488637/308042160\ 9916953561539549112435739553626067194422890858419, c_0011_11 + 50983314583129151061820522867877782276699125813390259331/61\ 60843219833907123079098224871479107252134388845781716838*c_1100_0^1\ 9 - 47692582424133257453388475103355401349424059426593826089/308042\ 1609916953561539549112435739553626067194422890858419*c_1100_0^18 + 1106197055697862824479384362555785745529779430536174629573/24643372\ 879335628492316392899485916429008537555383126867352*c_1100_0^17 + 98688869631182870510114090693484573228905330200690431698/3080421609\ 916953561539549112435739553626067194422890858419*c_1100_0^16 - 968438927590418126876999849853043953006782503371075274768/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 + 36220345325030384899521695754096041149840120639657046509969/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^14 - 78946256620964214129193445807965686364957700716966202659251/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^13 + 192876666252944416543662630939354614463681027912857844252131/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^12 - 140479178108661581260242527898097970431238799966452531881727/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^11 + 652282227874047876507967607748358959271777154354881647326569/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^10 - 453078642035279631340984534530336321235879350028467015299021/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^9 + 1466418918908925682775823427455345406098119164679817770929375/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^8 + 578750762537376839571574101389095439644328842337876630630299/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^7 - 3976770320360730516977574582706917753831810501638534431142807/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^6 + 5709515151446792224345747922017981471559080829602118291605691/12321\ 686439667814246158196449742958214504268777691563433676*c_1100_0^5 + 4099114638336766704522567129962629319086737536439758142409/24643372\ 879335628492316392899485916429008537555383126867352*c_1100_0^4 - 1240854716495768837292176714048513326520128818642224672926749/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^3 + 333844002255207122288094955116514879167626635421481996161843/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^2 + 179797557111055153243879157916375960410774353838166318109285/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0 + 514855954050605737152900853108836598448042616577250982407/616084321\ 9833907123079098224871479107252134388845781716838, c_0011_8 - 8592859193411387445817354422007242399007537521653010015/3080\ 421609916953561539549112435739553626067194422890858419*c_1100_0^19 + 18247485178605645562728165463203135991795118493959414586/3080421609\ 916953561539549112435739553626067194422890858419*c_1100_0^18 - 205524447070773103185499970932828484720672686719657359689/123216864\ 39667814246158196449742958214504268777691563433676*c_1100_0^17 - 19984781640428965709570897184363533316265478105413895332/3080421609\ 916953561539549112435739553626067194422890858419*c_1100_0^16 + 330703137277383950606871513294287115090668922858908399972/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 - 6442035584264139263091135730079351109416528945723051723637/12321686\ 439667814246158196449742958214504268777691563433676*c_1100_0^14 + 14959644731069965670658956806001318127199448409230839002391/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^13 - 36399692815993552146945724232778943543849881319848194410859/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^12 + 33109908911867797996086684282624990131524766515920567173439/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^11 - 118851464410805475637957604698350007596997185518683348452709/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^10 + 106703632437861924900620705765188405346339015231626672684849/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^9 - 275872547268362762840162726470988121289948355624003346266779/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^8 - 79815360464620693994020840677387086877559860696518989496045/3080421\ 609916953561539549112435739553626067194422890858419*c_1100_0^7 + 747278127229119841642601009642511502881422605493379602947927/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^6 - 1060640610350220739760044244050006993529347685856653361360273/61608\ 43219833907123079098224871479107252134388845781716838*c_1100_0^5 + 550796741036395619214703551028597233423566958693826601245071/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^4 + 38871150901160197264304865383499996924465564330929554135961/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^3 - 70222912925737540067531999677303911162185156990821568656315/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^2 + 4123553249806427552327315111021119709324997971401993386695/12321686\ 439667814246158196449742958214504268777691563433676*c_1100_0 + 975766139770634386638106762194217118151807722253086164769/308042160\ 9916953561539549112435739553626067194422890858419, c_0011_9 - 35312108897533555084529386066676829879210845401268189807/616\ 0843219833907123079098224871479107252134388845781716838*c_1100_0^19 + 32488728293742824854892488012633570111201147258210075037/30804216\ 09916953561539549112435739553626067194422890858419*c_1100_0^18 - 762976405413688475314118723292189676765958876438205550585/246433728\ 79335628492316392899485916429008537555383126867352*c_1100_0^17 - 70156896143380029750810468759711605622295735304744435822/3080421609\ 916953561539549112435739553626067194422890858419*c_1100_0^16 + 665248122555663653387063761489752934841538042432744842784/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 - 24940766266367054297880642486592158655426512387000293998885/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^14 + 54091331115098010499108783362371088681217093593989792636735/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^13 - 132783312033938598920489864656237856813571166272010550373583/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^12 + 95097479262881560135208062150630047614999247966341675491499/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^11 - 453511508116883176612011155587587876338367420105008414861885/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^10 + 303380747539897667410485317624316820575982071707110427013465/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^9 - 1022247207892262197407847304486079088897528095844608209974347/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^8 - 405905503948973560963700038246769243715205149839623228755775/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^7 + 2667062643715155951037893958092535130631847561021640531844507/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^6 - 3940150463610404297135599327652193769882912630345402390117331/12321\ 686439667814246158196449742958214504268777691563433676*c_1100_0^5 - 157209006122296265136202508731990436716992931067330259235421/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^4 + 579862277852483738692158375293688813364523059425490988538937/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^3 - 209446087966952657812132541076794608308185175350511348353599/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^2 - 128239761391812918846194466003450688993119133002991370942233/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0 - 1612768419528162318658528362449583830251189637928322989187/61608432\ 19833907123079098224871479107252134388845781716838, c_0101_0 - 12067697680113613339414568351490044997914358879128546686/308\ 0421609916953561539549112435739553626067194422890858419*c_1100_0^19 + 23159135494019646592148255035053518419757564993549106200/30804216\ 09916953561539549112435739553626067194422890858419*c_1100_0^18 - 135305172059528741800108279101644118420979747573959006513/616084321\ 9833907123079098224871479107252134388845781716838*c_1100_0^17 - 41196859534436169038629586812554076761370876140257007693/3080421609\ 916953561539549112435739553626067194422890858419*c_1100_0^16 + 453999180004300904923963320948118167553488108168461684407/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 - 4335610575938833933404059078405447309448095997428228559911/61608432\ 19833907123079098224871479107252134388845781716838*c_1100_0^14 + 9634866850343411548068625848529883786615149592613702161639/61608432\ 19833907123079098224871479107252134388845781716838*c_1100_0^13 - 23693852319524621231833644557112577740586018396162152742943/6160843\ 219833907123079098224871479107252134388845781716838*c_1100_0^12 + 18699278294606851601109190940265534578764746159809549001793/6160843\ 219833907123079098224871479107252134388845781716838*c_1100_0^11 - 80371236029335493972328371902393212403397041666556834479393/6160843\ 219833907123079098224871479107252134388845781716838*c_1100_0^10 + 59536393030714812870365731986290310440061408241251440757587/6160843\ 219833907123079098224871479107252134388845781716838*c_1100_0^9 - 183870313776511206918504615312370702538871625496807252532247/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^8 - 129302667817578626014114314178915046215358380241880671051115/308042\ 1609916953561539549112435739553626067194422890858419*c_1100_0^7 + 465695757089510673881215520455719692794777507176806884353913/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^6 - 696981866241114480550596692049902500874123802949498100658457/308042\ 1609916953561539549112435739553626067194422890858419*c_1100_0^5 + 112698703381683038185091449836485013403247847753434631930293/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^4 + 8545400462675562440594503607666013227844423240257075230589/61608432\ 19833907123079098224871479107252134388845781716838*c_1100_0^3 - 7755626948601373392465481084001676912022909037368774890749/61608432\ 19833907123079098224871479107252134388845781716838*c_1100_0^2 - 18337220435588969278816047406463988694508373046962925960281/6160843\ 219833907123079098224871479107252134388845781716838*c_1100_0 - 1749017087715871830860049718003000400401692012284440972823/30804216\ 09916953561539549112435739553626067194422890858419, c_0101_1 - 35312108897533555084529386066676829879210845401268189807/616\ 0843219833907123079098224871479107252134388845781716838*c_1100_0^19 + 32488728293742824854892488012633570111201147258210075037/30804216\ 09916953561539549112435739553626067194422890858419*c_1100_0^18 - 762976405413688475314118723292189676765958876438205550585/246433728\ 79335628492316392899485916429008537555383126867352*c_1100_0^17 - 70156896143380029750810468759711605622295735304744435822/3080421609\ 916953561539549112435739553626067194422890858419*c_1100_0^16 + 665248122555663653387063761489752934841538042432744842784/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 - 24940766266367054297880642486592158655426512387000293998885/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^14 + 54091331115098010499108783362371088681217093593989792636735/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^13 - 132783312033938598920489864656237856813571166272010550373583/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^12 + 95097479262881560135208062150630047614999247966341675491499/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^11 - 453511508116883176612011155587587876338367420105008414861885/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^10 + 303380747539897667410485317624316820575982071707110427013465/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^9 - 1022247207892262197407847304486079088897528095844608209974347/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^8 - 405905503948973560963700038246769243715205149839623228755775/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^7 + 2667062643715155951037893958092535130631847561021640531844507/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^6 - 3940150463610404297135599327652193769882912630345402390117331/12321\ 686439667814246158196449742958214504268777691563433676*c_1100_0^5 - 157209006122296265136202508731990436716992931067330259235421/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^4 + 579862277852483738692158375293688813364523059425490988538937/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^3 - 209446087966952657812132541076794608308185175350511348353599/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^2 - 128239761391812918846194466003450688993119133002991370942233/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0 - 1612768419528162318658528362449583830251189637928322989187/61608432\ 19833907123079098224871479107252134388845781716838, c_0101_10 - 41953525230596078195759529890169054597638856554589428275/61\ 60843219833907123079098224871479107252134388845781716838*c_1100_0^1\ 9 + 38935592100754987417377737959611116265125587682967087737/308042\ 1609916953561539549112435739553626067194422890858419*c_1100_0^18 - 905486737295633070843370641629138780927453587121744880565/246433728\ 79335628492316392899485916429008537555383126867352*c_1100_0^17 - 82921062840404495569539638268833107816259762033697382202/3080421609\ 916953561539549112435739553626067194422890858419*c_1100_0^16 + 795811007911728815327260902612722137521952857677868626577/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 - 29710793160210682044370012888790088225515798850678213824129/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^14 + 64517910825423747233331801645552777040385405616020742687059/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^13 - 157731764094452342075943193475173345671132256768761499791499/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^12 + 113194970438599832151533220858421298993581781522413017922215/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^11 - 534898533017597648826268064310331458030625285710737079906265/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^10 + 364777223885008524056649308072862358862765326341876218922445/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^9 - 1200701072800601749000357691190999607920581440329125593616999/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^8 - 480793882904663409617436708195671936185603263227742460276725/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^7 + 3244725183205548122992356372565960020463154715759032549984111/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^6 - 4673597682899864360597353724608534135131962340271188523290695/12321\ 686439667814246158196449742958214504268777691563433676*c_1100_0^5 - 146667412424045877045108467008199123774647393733220502309105/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^4 + 1030101268767410209300078289745382758888686945522346746510525/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^3 - 266358666948518570028569297325876760217690497899523147085315/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^2 - 151577109609091191076380972485821474386312123582794472495717/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0 - 992022882862310833194906005646969169426369537010445965915/616084321\ 9833907123079098224871479107252134388845781716838, c_0110_5 - 2732443394515991499615272558632050851576044743619450713/3080\ 421609916953561539549112435739553626067194422890858419*c_1100_0^19 + 8365777874155164918201458058842104523176526899492249274/30804216099\ 16953561539549112435739553626067194422890858419*c_1100_0^18 - 84287093755153534111243381971896355348808086512486020783/1232168643\ 9667814246158196449742958214504268777691563433676*c_1100_0^17 + 7435136910765008835717180850402474523684228609774543579/30804216099\ 16953561539549112435739553626067194422890858419*c_1100_0^16 + 115360146636608721275309748947055288494924430125645434565/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 - 2436898233446863357913399406053275760588160387267363607811/12321686\ 439667814246158196449742958214504268777691563433676*c_1100_0^14 + 6567231060727499520033267307625169455647206326268466824189/12321686\ 439667814246158196449742958214504268777691563433676*c_1100_0^13 - 15502152073319809951145852495265983739294045750837364490221/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^12 + 20137991410839520769514057404540371502902006208498941991029/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^11 - 44658041732728331905820629768309493111307968159206899807823/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^10 + 66625990330471700902410641377519253271513151340971033936255/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^9 - 109872046227192946519746750928203760158781509818557833390461/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^8 - 7095104636341046430588208775513342861129724163557096739538/30804216\ 09916953561539549112435739553626067194422890858419*c_1100_0^7 + 355090209141746164790589653482311058272825783553992010343025/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^6 - 436296508304970599481825883335389764619772262747148466621805/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^5 + 742716628680323511521698346570583975503402654215148162647905/123216\ 86439667814246158196449742958214504268777691563433676*c_1100_0^4 + 22292650519837824407869644505592627816479371774242230584007/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^3 - 82860370609456836586972666084726141032275745521198661025177/1232168\ 6439667814246158196449742958214504268777691563433676*c_1100_0^2 + 6275261865366773492579437692817353161609633727929280337085/12321686\ 439667814246158196449742958214504268777691563433676*c_1100_0 + 1596729076092919092168061840606196406503760317243778311542/30804216\ 09916953561539549112435739553626067194422890858419, c_1001_1 - 30250939176771663448180718433258506292346918518180897847/616\ 0843219833907123079098224871479107252134388845781716838*c_1100_0^19 + 27655317053478051245551394666860693873232014125124422877/30804216\ 09916953561539549112435739553626067194422890858419*c_1100_0^18 - 658863571595850232592508826463452115673741845172410392337/246433728\ 79335628492316392899485916429008537555383126867352*c_1100_0^17 - 59211066923137827506586734726221332109998725356302456072/3080421609\ 916953561539549112435739553626067194422890858419*c_1100_0^16 + 563792135146822141026539611502225931359813833326674032813/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 - 21341013827575937639292914607937379612313347988526398536909/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^14 + 46383291224635070379131973311520007615086072087072028896343/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^13 - 114607068552251952283083038531185366203397265940901803684911/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^12 + 83212061427209133654734556787611036696338895311386314811427/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^11 - 395131193093838430146110951155099899586091942005691711905469/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^10 + 261144016758645003120007623793088940218619810672519883792737/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^9 - 898567249088179582948512656089172560771567500484744585541547/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^8 - 345658140843841419203340272079184093666266858784403661751401/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^7 + 2210039000301901198199705047802683004639915476276231153210715/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^6 - 3405017615853860952510750172700920316297582598324830187810239/12321\ 686439667814246158196449742958214504268777691563433676*c_1100_0^5 - 64455148988260284947281378963169436139783553884935092030269/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^4 + 45623027616505725156746011204992422484145389535175173468449/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^3 - 155405868561532343003582006613862806802701619746567081005151/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^2 - 107661666354777770204885210740625821979772762473627728469657/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0 - 2374438743611318814900717833604324213754086767401908010247/61608432\ 19833907123079098224871479107252134388845781716838, c_1001_5 - 30250939176771663448180718433258506292346918518180897847/616\ 0843219833907123079098224871479107252134388845781716838*c_1100_0^19 + 27655317053478051245551394666860693873232014125124422877/30804216\ 09916953561539549112435739553626067194422890858419*c_1100_0^18 - 658863571595850232592508826463452115673741845172410392337/246433728\ 79335628492316392899485916429008537555383126867352*c_1100_0^17 - 59211066923137827506586734726221332109998725356302456072/3080421609\ 916953561539549112435739553626067194422890858419*c_1100_0^16 + 563792135146822141026539611502225931359813833326674032813/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 - 21341013827575937639292914607937379612313347988526398536909/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^14 + 46383291224635070379131973311520007615086072087072028896343/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^13 - 114607068552251952283083038531185366203397265940901803684911/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^12 + 83212061427209133654734556787611036696338895311386314811427/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^11 - 395131193093838430146110951155099899586091942005691711905469/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^10 + 261144016758645003120007623793088940218619810672519883792737/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^9 - 898567249088179582948512656089172560771567500484744585541547/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^8 - 345658140843841419203340272079184093666266858784403661751401/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^7 + 2210039000301901198199705047802683004639915476276231153210715/24643\ 372879335628492316392899485916429008537555383126867352*c_1100_0^6 - 3405017615853860952510750172700920316297582598324830187810239/12321\ 686439667814246158196449742958214504268777691563433676*c_1100_0^5 - 64455148988260284947281378963169436139783553884935092030269/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^4 + 45623027616505725156746011204992422484145389535175173468449/2464337\ 2879335628492316392899485916429008537555383126867352*c_1100_0^3 - 155405868561532343003582006613862806802701619746567081005151/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0^2 - 107661666354777770204885210740625821979772762473627728469657/246433\ 72879335628492316392899485916429008537555383126867352*c_1100_0 - 2374438743611318814900717833604324213754086767401908010247/61608432\ 19833907123079098224871479107252134388845781716838, c_1010_8 - 2769828564753522944416679733629284854945425077162062882/3080\ 421609916953561539549112435739553626067194422890858419*c_1100_0^19 + 6253095959344724414297475102865851919413493891400063104/30804216099\ 16953561539549112435739553626067194422890858419*c_1100_0^18 - 34518642963011319204808262655040199552024963718553313455/6160843219\ 833907123079098224871479107252134388845781716838*c_1100_0^17 - 4466301360150291957808613108828918770476208019628696221/30804216099\ 16953561539549112435739553626067194422890858419*c_1100_0^16 + 108011201168915547274375149379203534827409436826640037747/308042160\ 9916953561539549112435739553626067194422890858419*c_1100_0^15 - 1066522717812643734096575894181285323105160536826495594071/61608432\ 19833907123079098224871479107252134388845781716838*c_1100_0^14 + 2542001974083014722351928108093597539582224959645554380429/61608432\ 19833907123079098224871479107252134388845781716838*c_1100_0^13 - 6152235220005912436374590659686653559427615640917609336779/61608432\ 19833907123079098224871479107252134388845781716838*c_1100_0^12 + 6033222513962002876318902423496087262671115409341717286577/61608432\ 19833907123079098224871479107252134388845781716838*c_1100_0^11 - 19669590418523300159214223133340098266734132114183753223163/6160843\ 219833907123079098224871479107252134388845781716838*c_1100_0^10 + 19570348323128467739592213197074638773574380553017221062549/6160843\ 219833907123079098224871479107252134388845781716838*c_1100_0^9 - 46227607882570229334366765674843909827446591121038384639871/6160843\ 219833907123079098224871479107252134388845781716838*c_1100_0^8 - 23113001843361466809886303997335523733615052904269538653809/3080421\ 609916953561539549112435739553626067194422890858419*c_1100_0^7 + 128484515193555840732091686308080576584686047099812492746493/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^6 - 178167619904131364256588967946748628069011775597174309967133/308042\ 1609916953561539549112435739553626067194422890858419*c_1100_0^5 + 129029197953249118054318277277668711780044605079211303542839/616084\ 3219833907123079098224871479107252134388845781716838*c_1100_0^4 + 5856599244122410903646136091318102221779356825574971010221/61608432\ 19833907123079098224871479107252134388845781716838*c_1100_0^3 - 14762576401943045982035043562536639118704939875105274920763/6160843\ 219833907123079098224871479107252134388845781716838*c_1100_0^2 + 1781836905607100432460525253283824458260766641772391505453/61608432\ 19833907123079098224871479107252134388845781716838*c_1100_0 + 538844345593523891711569723886316582114225561317890737673/308042160\ 9916953561539549112435739553626067194422890858419, c_1100_0^20 - 2*c_1100_0^19 + 23/4*c_1100_0^18 + 3*c_1100_0^17 - 38*c_1100_0^16 + 731/4*c_1100_0^15 - 1653/4*c_1100_0^14 + 4045/4*c_1100_0^13 - 3385/4*c_1100_0^12 + 13495/4*c_1100_0^11 - 10835/4*c_1100_0^10 + 31057/4*c_1100_0^9 + 10186*c_1100_0^8 - 81205/4*c_1100_0^7 + 118695/2*c_1100_0^6 - 35749/4*c_1100_0^5 - 4163/4*c_1100_0^4 + 6013/4*c_1100_0^3 + 2515/4*c_1100_0^2 - 20*c_1100_0 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.550 Total time: 4.759 seconds, Total memory usage: 64.12MB