Magma V2.19-8 Tue Aug 20 2013 23:56:52 on localhost [Seed = 1982865035] Type ? for help. Type -D to quit. Loading file "K13a2689__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a2689 geometric_solution 10.31120708 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 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 1 -1 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.492606431536 1.396831280540 0 0 5 4 0132 1302 0132 0132 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 14 -14 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.775455046791 0.636718066291 6 0 6 3 0132 0132 3012 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 -1 1 0 0 0 -1 1 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.713833975687 0.661476635705 5 2 7 0 2031 1302 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356916987843 0.330738317853 5 8 1 9 1023 0132 0132 0132 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 -14 14 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459473709166 1.264910100244 9 4 3 1 0132 1023 1302 0132 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 15 -14 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.224544953209 0.636718066291 2 2 7 10 0132 1230 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 1 0 -1 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550910093581 1.273436132582 9 6 8 3 3012 1230 2031 0132 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 15 -15 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.263853970976 0.771179096037 11 4 10 7 0132 0132 3201 1302 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 14 1 -15 0 0 0 0 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.323158764940 1.582816114437 5 10 4 7 0132 3120 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 1 -1 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.392064950816 1.386503712835 8 9 6 11 2310 3120 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 -1 1 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.420586195636 0.425284048747 8 10 12 12 0132 1302 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423317018507 0.349636967496 12 11 12 11 2310 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.269973701016 0.456653694628 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : negation(d['c_0101_8']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0011_11'], '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'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_7' : 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' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : negation(d['c_1001_4']), 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0011_3']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_3'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_4'], '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' : negation(d['c_0011_12']), 's_1_7' : d['1'], 's_1_6' : negation(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' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : negation(d['c_0101_8']), 'c_0110_12' : d['c_0101_11'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : d['c_0101_11'], '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_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_6, c_0101_8, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 116326360564872702268271934762193727/125053375524111827172455758979\ 702308864*c_1001_4^12 + 151991515819380026883325030261023823/125053\ 375524111827172455758979702308864*c_1001_4^11 + 3234519572788795772467012484590884213/12505337552411182717245575897\ 9702308864*c_1001_4^10 - 248973892086257698413682740250494633/15631\ 671940513978396556969872462788608*c_1001_4^9 - 42131722426492708755272867658325474255/1250533755241118271724557589\ 79702308864*c_1001_4^8 - 5590702670704023606611534347405504373/6252\ 6687762055913586227879489851154432*c_1001_4^7 + 85425386622105023226414778957470240431/3126334388102795679311393974\ 4925577216*c_1001_4^6 + 138210377177591760442092314447999206745/625\ 26687762055913586227879489851154432*c_1001_4^5 - 883036897986481190521135286686510207751/625266877620559135862278794\ 89851154432*c_1001_4^4 - 1382365426063778653020477950659460143817/1\ 25053375524111827172455758979702308864*c_1001_4^3 + 5122619434012810128013424585076694171187/12505337552411182717245575\ 8979702308864*c_1001_4^2 + 1089861243617004499269914987385663937501\ /62526687762055913586227879489851154432*c_1001_4 - 6157318807356169003454504043053864112655/12505337552411182717245575\ 8979702308864, c_0011_0 - 1, c_0011_10 - 2497486675962441110/105668637589584647401*c_1001_4^12 + 3432059641114444310/105668637589584647401*c_1001_4^11 + 68265335648215701842/105668637589584647401*c_1001_4^10 - 42458769608420206820/105668637589584647401*c_1001_4^9 - 876949699895726282018/105668637589584647401*c_1001_4^8 - 275346629434962416512/105668637589584647401*c_1001_4^7 + 6994236543752478205936/105668637589584647401*c_1001_4^6 + 6086986758756518617708/105668637589584647401*c_1001_4^5 - 34693658857286909361256/105668637589584647401*c_1001_4^4 - 28885911275562325621237/105668637589584647401*c_1001_4^3 + 92981440998845995108214/105668637589584647401*c_1001_4^2 + 42974830785877986575350/105668637589584647401*c_1001_4 - 99327294896872676125398/105668637589584647401, c_0011_11 - 1599042283703687361/105668637589584647401*c_1001_4^12 + 1037002310147984001/105668637589584647401*c_1001_4^11 + 42406850995380104141/105668637589584647401*c_1001_4^10 + 619152250364498310/105668637589584647401*c_1001_4^9 - 510772072815019193945/105668637589584647401*c_1001_4^8 - 443839828623824226436/105668637589584647401*c_1001_4^7 + 3675861653506713636414/105668637589584647401*c_1001_4^6 + 5005367224769970189496/105668637589584647401*c_1001_4^5 - 16710548805859402523148/105668637589584647401*c_1001_4^4 - 19972799106759295112437/105668637589584647401*c_1001_4^3 + 43235430782662310804171/105668637589584647401*c_1001_4^2 + 26884478857795152994282/105668637589584647401*c_1001_4 - 46717210830406161270384/105668637589584647401, c_0011_12 + 3549182715845015036/105668637589584647401*c_1001_4^12 - 4602230201317310181/105668637589584647401*c_1001_4^11 - 95695558626708674196/105668637589584647401*c_1001_4^10 + 53228741546925816978/105668637589584647401*c_1001_4^9 + 1213400695517800843180/105668637589584647401*c_1001_4^8 + 446098186755988898196/105668637589584647401*c_1001_4^7 - 9550897650858252923056/105668637589584647401*c_1001_4^6 - 8615913821519515676840/105668637589584647401*c_1001_4^5 + 46930949949230319702824/105668637589584647401*c_1001_4^4 + 39506479465826449434137/105668637589584647401*c_1001_4^3 - 125061006101648199541228/105668637589584647401*c_1001_4^2 - 57527469868277479367506/105668637589584647401*c_1001_4 + 132930267123004329261436/105668637589584647401, c_0011_3 + 1173407438689105257/105668637589584647401*c_1001_4^12 - 1540626588946911623/105668637589584647401*c_1001_4^11 - 31910662076974418053/105668637589584647401*c_1001_4^10 + 18034422675045616188/105668637589584647401*c_1001_4^9 + 406744285668823841535/105668637589584647401*c_1001_4^8 + 148526049205530527884/105668637589584647401*c_1001_4^7 - 3210032513631226680058/105668637589584647401*c_1001_4^6 - 2926055075348735906576/105668637589584647401*c_1001_4^5 + 15755945773662710788976/105668637589584647401*c_1001_4^4 + 13508868699505207505513/105668637589584647401*c_1001_4^3 - 41848362480250296394905/105668637589584647401*c_1001_4^2 - 19637521787135921197013/105668637589584647401*c_1001_4 + 44407176276566112231673/105668637589584647401, c_0101_0 + 1173407438689105257/105668637589584647401*c_1001_4^12 - 1540626588946911623/105668637589584647401*c_1001_4^11 - 31910662076974418053/105668637589584647401*c_1001_4^10 + 18034422675045616188/105668637589584647401*c_1001_4^9 + 406744285668823841535/105668637589584647401*c_1001_4^8 + 148526049205530527884/105668637589584647401*c_1001_4^7 - 3210032513631226680058/105668637589584647401*c_1001_4^6 - 2926055075348735906576/105668637589584647401*c_1001_4^5 + 15755945773662710788976/105668637589584647401*c_1001_4^4 + 13508868699505207505513/105668637589584647401*c_1001_4^3 - 41848362480250296394905/105668637589584647401*c_1001_4^2 - 19743190424725505844414/105668637589584647401*c_1001_4 + 44407176276566112231673/105668637589584647401, c_0101_1 + 1, c_0101_10 + 1114991743932329519/105668637589584647401*c_1001_4^12 - 1081151334861650399/105668637589584647401*c_1001_4^11 - 29604313859364353869/105668637589584647401*c_1001_4^10 + 8087692438794812496/105668637589584647401*c_1001_4^9 + 363913164516350062275/105668637589584647401*c_1001_4^8 + 222245357929422256446/105668637589584647401*c_1001_4^7 - 2736059668232450092216/105668637589584647401*c_1001_4^6 - 3027210787441049797906/105668637589584647401*c_1001_4^5 + 12956109201201017902654/105668637589584647401*c_1001_4^4 + 12695996980626130856957/105668637589584647401*c_1001_4^3 - 33872143935241118227952/105668637589584647401*c_1001_4^2 - 17516830381577513711106/105668637589584647401*c_1001_4 + 35686499958974944507698/105668637589584647401, c_0101_11 + 2321748408106191934/105668637589584647401*c_1001_4^12 - 3250876387369076334/105668637589584647401*c_1001_4^11 - 63283306056326216698/105668637589584647401*c_1001_4^10 + 40829621650669226056/105668637589584647401*c_1001_4^9 + 812879172797829620054/105668637589584647401*c_1001_4^8 + 239133198820698853068/105668637589584647401*c_1001_4^7 - 6498268953555306332504/105668637589584647401*c_1001_4^6 - 5522545359675651942973/105668637589584647401*c_1001_4^5 + 32312471702529508691844/105668637589584647401*c_1001_4^4 + 26318621202911413289298/105668637589584647401*c_1001_4^3 - 86676267590003264989206/105668637589584647401*c_1001_4^2 - 39282595463468486663455/105668637589584647401*c_1001_4 + 92492337935418382152350/105668637589584647401, c_0101_3 - 1173407438689105257/105668637589584647401*c_1001_4^12 + 1540626588946911623/105668637589584647401*c_1001_4^11 + 31910662076974418053/105668637589584647401*c_1001_4^10 - 18034422675045616188/105668637589584647401*c_1001_4^9 - 406744285668823841535/105668637589584647401*c_1001_4^8 - 148526049205530527884/105668637589584647401*c_1001_4^7 + 3210032513631226680058/105668637589584647401*c_1001_4^6 + 2926055075348735906576/105668637589584647401*c_1001_4^5 - 15755945773662710788976/105668637589584647401*c_1001_4^4 - 13508868699505207505513/105668637589584647401*c_1001_4^3 + 41848362480250296394905/105668637589584647401*c_1001_4^2 + 19637521787135921197013/105668637589584647401*c_1001_4 - 44407176276566112231673/105668637589584647401, c_0101_6 + 1022735640104874661/105668637589584647401*c_1001_4^12 - 1189820125726290559/105668637589584647401*c_1001_4^11 - 27466650582707552317/105668637589584647401*c_1001_4^10 + 11644498416716641744/105668637589584647401*c_1001_4^9 + 343283157110745242587/105668637589584647401*c_1001_4^8 + 170231518181629167140/105668637589584647401*c_1001_4^7 - 2635860997141201834238/105668637589584647401*c_1001_4^6 - 2691178467289689102020/105668637589584647401*c_1001_4^5 + 12574178463701223005672/105668637589584647401*c_1001_4^4 + 11640694822953296895302/105668637589584647401*c_1001_4^3 - 32563646441904894076501/105668637589584647401*c_1001_4^2 - 16043403213119361663090/105668637589584647401*c_1001_4 + 33894233932825660569621/105668637589584647401, c_0101_8 - 364530052414461/11842276990875787*c_1001_4^12 + 374450586576189/11842276990875787*c_1001_4^11 + 9723197628106177/11842276990875787*c_1001_4^10 - 3115625408890650/11842276990875787*c_1001_4^9 - 120405207025946873/11842276990875787*c_1001_4^8 - 68581172420565992/11842276990875787*c_1001_4^7 + 913503969017398237/11842276990875787*c_1001_4^6 + 980806005763097704/11842276990875787*c_1001_4^5 - 4354544232596367173/11842276990875787*c_1001_4^4 - 4191413047060868021/11842276990875787*c_1001_4^3 + 11440794916302147601/11842276990875787*c_1001_4^2 + 5861930063396805674/11842276990875787*c_1001_4 - 12138996684587377644/11842276990875787, c_1001_4^13 + c_1001_4^12 - 29*c_1001_4^11 - 46*c_1001_4^10 + 353*c_1001_4^9 + 872*c_1001_4^8 - 2168*c_1001_4^7 - 7958*c_1001_4^6 + 6582*c_1001_4^5 + 36795*c_1001_4^4 - 7823*c_1001_4^3 - 82448*c_1001_4^2 + 5*c_1001_4 + 70226 ], 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_6, c_0101_8, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 2066423653027979601581320948224257868061957907976513518885416/31121\ 63107493825910016570250462172406295460677065347100667*c_1001_4^23 + 206846529953400455864240212022072836090081982749093208182393373/715\ 79751472357995930381115760629965344795595572502983315341*c_1001_4^2\ 2 + 162060843232368789264839785347416392017233958100352515532951660\ /71579751472357995930381115760629965344795595572502983315341*c_1001\ _4^21 - 56834815779945842633795914689629197055721278860598089118211\ 6983/71579751472357995930381115760629965344795595572502983315341*c_\ 1001_4^20 + 5588310278564666521767747661640591662333301913949966676\ 68336836/7157975147235799593038111576062996534479559557250298331534\ 1*c_1001_4^19 + 117211719922457355128199992051205424727255914694495\ 17646240808103/7157975147235799593038111576062996534479559557250298\ 3315341*c_1001_4^18 + 114017275672383089832130302504364847190748185\ 72620357909998825101/7157975147235799593038111576062996534479559557\ 2502983315341*c_1001_4^17 - 102387383785184454776278188339862434848\ 00454411075156270646870325/7157975147235799593038111576062996534479\ 5595572502983315341*c_1001_4^16 + 128199140528116876607321328991124\ 39682871914085919722612463044234/7157975147235799593038111576062996\ 5344795595572502983315341*c_1001_4^15 + 175149286171329180189513416620790812710715079691176760888857715135/\ 71579751472357995930381115760629965344795595572502983315341*c_1001_\ 4^14 + 106430977568494005282247725589823032409131801474668418504903\ 295341/71579751472357995930381115760629965344795595572502983315341*\ c_1001_4^13 + 49962875111424794724728998638737778695461495459807250\ 867488098780/715797514723579959303811157606299653447955955725029833\ 15341*c_1001_4^12 + 37611955842394362740547643990454100408887772962\ 3030025544486273997/71579751472357995930381115760629965344795595572\ 502983315341*c_1001_4^11 + 9090557360811900880783654731719729508240\ 17059018331901288619141030/7157975147235799593038111576062996534479\ 5595572502983315341*c_1001_4^10 + 242046382802905998110390672057377\ 697107492713276165990599644639771/715797514723579959303811157606299\ 65344795595572502983315341*c_1001_4^9 + 190822400138803784391992256030293354340257202465453945363102752611/\ 71579751472357995930381115760629965344795595572502983315341*c_1001_\ 4^8 + 8877097688294027024713672011362668913863036947294975253969968\ 92313/71579751472357995930381115760629965344795595572502983315341*c\ _1001_4^7 + 1998924498148472692155181513640203763969545724788774507\ 672057635038/715797514723579959303811157606299653447955955725029833\ 15341*c_1001_4^6 + 122168826238989555786364022709654875614561005659\ 3887427107424103312/71579751472357995930381115760629965344795595572\ 502983315341*c_1001_4^5 + 13720940647891225930642679421526961001771\ 98843223652875255180168869/7157975147235799593038111576062996534479\ 5595572502983315341*c_1001_4^4 + 3957810139250630509210419859870134\ 10172571108055053173584118304060/7157975147235799593038111576062996\ 5344795595572502983315341*c_1001_4^3 + 396912034054242603720743300083015113309059234945110366416674585115/\ 71579751472357995930381115760629965344795595572502983315341*c_1001_\ 4^2 + 6180271727385936296172285406610331414810355903101909820222187\ 8112/71579751472357995930381115760629965344795595572502983315341*c_\ 1001_4 + 3120836571690913322936371735911320055579542178774465692968\ 4025707/71579751472357995930381115760629965344795595572502983315341\ , c_0011_0 - 1, c_0011_10 - 1245975620694086307731937914191157570883030506291/162134304\ 3252386385608610094447749804399517517904611*c_1001_4^23 - 1699674772696079201788370008376569035823070392765/16213430432523863\ 85608610094447749804399517517904611*c_1001_4^22 - 1095105440312924413622013302108755108366560818413/16213430432523863\ 85608610094447749804399517517904611*c_1001_4^21 + 14516702315992393266197351890705310560516003215110/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^20 - 59006307049815919428972953325591483504440998450640/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^19 - 106880434877020811951019373993147949339657836041854/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^18 - 58889332102283042681135853084638295241544901985374/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^17 + 205421479813588930047972337206113784211987676299548/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^16 - 1023900028446735876059001404816400154831628707119380/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^15 - 1079015505021723185491696495414339401050391431747997/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^14 - 1004404038165103141308234065320383553029603149326802/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^13 - 1222812627843092853808113947388441238059335592056750/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^12 - 6741558728818066944583148982283338876992100814989937/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^11 - 4601947159989413707226059051085621616233355948407520/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^10 - 4296594639109793969963285960018933017651190185047186/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^9 - 2537544359967881870374017754483421856592067519459186/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^8 - 14235823107761473031006865253822482071280382178845060/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^7 - 13200759139807944579710502524518314111540255524546761/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^6 - 17388221316763325684857539731788454149880674780149054/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^5 - 6287370893089991091689386507581609841961332946501639/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^4 - 6670603571885427433072587619246810345364581333239183/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^3 - 1211435919259107325362215365385229287233844907397504/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^2 + 3352719193033598357171839319787064777704374578832211/16213430432523\ 86385608610094447749804399517517904611*c_1001_4 - 6617547932329748588247058890555715177867762408161/16213430432523863\ 85608610094447749804399517517904611, c_0011_11 - 50660173652139231406901635669627821659138923184436/16213430\ 43252386385608610094447749804399517517904611*c_1001_4^23 - 50608293601940134679897565687728725821534599715796/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^22 + 2809901587455361588502620330224354788642415076862/16213430432523863\ 85608610094447749804399517517904611*c_1001_4^21 + 610847015165153366019160091329244990186430503684143/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^20 - 2635174345921181370790408370250075593045471064275772/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^19 - 3729243454404380077379420848024638173822428331352599/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^18 + 550311725932215046072711250097845293715944520037389/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^17 + 9941349982440446699173621002102226653219606059941797/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^16 - 46390853224365710412694487634623597810042954892174847/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^15 - 32391951905798988962785834219288409583881784870227664/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^14 - 1289407683136532433473315157475370290136141928800020/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^13 - 37425813762102223453782307733499929190528156304054611/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^12 - 269048359604769489175230065763882368569188992570255118/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^11 - 62771098306420519158736567536734403356156216163376289/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^10 - 11551379563873297833245379388890598598657159272942581/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^9 - 111614979394757745007155557867123123951829117900491867/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^8 - 557435620428979916458480549218937647112669185845313225/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^7 - 252177182804085659702337710662170365781961141200743895/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^6 - 378513103114613153638180992882293282871659721833767018/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^5 - 67087603947075179992762410089660806489561668986653922/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^4 - 104074858337072397561795319075116529310106262905611519/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^3 - 13363775838816637345806412335174967155208404237120487/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^2 - 6213351383846157033349789856183577112605746733639213/16213430432523\ 86385608610094447749804399517517904611*c_1001_4 - 75787251236028400626448111960864783123240035252557/1621343043252386\ 385608610094447749804399517517904611, c_0011_12 - 22494421958058492916571009481994975538820863886998/16213430\ 43252386385608610094447749804399517517904611*c_1001_4^23 - 16576319270167770415134715370034041749769643284735/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^22 + 12677786174524113450849384930561970224372758201961/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^21 + 272973547024655175514899404075469045549771793949003/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^20 - 1244838847310290468853787367224991688156743257641679/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^19 - 1414333363866981942427985557107517200599487979662874/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^18 + 1008754295250479324517084001865051400068602888067401/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^17 + 4575571989937800902630440224790048249486013258161575/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^16 - 22082575070807835752335528331957109234409993871528245/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^15 - 9940299638946776827645436112019079151295231244661290/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^14 + 9002708110774225249074626435984097912902444760244515/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^13 - 16208744404492725672906278613791613814003744339647598/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^12 - 117342784605699713425889765227218574144621695277297754/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^11 + 9025296140223809705141988085674794682906651678309850/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^10 + 29069319779047891800154496632661599816867747598028040/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^9 - 60331256173785245603894981333475375987649127588911707/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^8 - 235685338782579176546549013902064353409158231811411003/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^7 - 28636787395010582783082611515423246786494173181953105/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^6 - 88332030630142069669293701375660174436056552903700408/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^5 + 2427358776499286891970033149567269525312719330545911/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^4 - 7825516594195149061908707562538653655714566975316986/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^3 + 1114644840874360551134671009186323338193167291244789/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^2 + 3524494837641207578840782774503941536185181665268526/16213430432523\ 86385608610094447749804399517517904611*c_1001_4 + 4936042603619218459978154240767600685430783335088/16213430432523863\ 85608610094447749804399517517904611, c_0011_3 - 96798010664166088778125013110453738549604018206667/162134304\ 3252386385608610094447749804399517517904611*c_1001_4^23 - 90180462731836340189877954219898023371736255798506/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^22 + 5371572311635662280515120976364557606984731901870/16213430432523863\ 85608610094447749804399517517904611*c_1001_4^21 + 1159876453197296986135711787317068293559425148087239/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^20 - 5114002235164906523935087401732371741822188656463029/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^19 - 6707625583686985160948081542863520414311453680647209/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^18 + 1198458777323584437738062450568605632876737802998449/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^17 + 18425397229184230244743006672089524130761371560372922/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^16 - 89899638292821566003608958156136506382279831943452591/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^15 - 54625470869865160953146602024410808375739937172226680/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^14 - 4121313178823780672410977345940885699173107517886136/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^13 - 75891551706818209110754427278555669354302235415922848/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^12 - 510046984394862822329052091891198296320145028709592648/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^11 - 89681457629447563722705378862805906341070112929819277/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^10 - 48432319543271011984460411570258727163549849650821846/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^9 - 222841501751982947240420362568716822432691056714247552/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^8 - 1053436537126580815818362040250085200613230194452662161/16213430432\ 52386385608610094447749804399517517904611*c_1001_4^7 - 421317902996637694957916421827707417830825224295184017/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^6 - 763243830927173837471029031205599036571616371871106197/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^5 - 119511399713460139816417428039734479243875630513772293/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^4 - 240133047423783849076055427152116293249965098995169381/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^3 - 18868023330374974189207865213363966274721739864167750/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^2 - 24368423096673867621499082907954983293463207118785089/1621343043252\ 386385608610094447749804399517517904611*c_1001_4 + 325522332332163815608187615618488370972518897872513/162134304325238\ 6385608610094447749804399517517904611, c_0101_0 + 87686731446115175751003906375638512118608894798603/162134304\ 3252386385608610094447749804399517517904611*c_1001_4^23 + 91598769458768670092595484172498113096508917634722/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^22 + 5009941712535630744124895633756536746509279159607/16213430432523863\ 85608610094447749804399517517904611*c_1001_4^21 - 1051757863903707364475592065564564855139161360491923/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^20 + 4512235793694838966517830963510246412471877350531016/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^19 + 6591526489357174507516262267632817597474936681631604/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^18 - 351257901418280582318045148822269270361407806355102/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^17 - 16819868728838533033946334365952535453890605109241232/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^16 + 79432088344899394694112173900311453252048478650143407/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^15 + 58536140252250209430076891941297031188636459707007866/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^14 + 10170014758659764299004455066728134822846787973156901/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^13 + 68636932550099549748080759591454434786093661379016255/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^12 + 468585474405485066900183058375482477895318226444623176/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^11 + 133632966736748216864516212474088474410911210632905871/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^10 + 55934863505674589838396414532550451400947762556139977/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^9 + 201164655551669683184243627127804295546403816532104488/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^8 + 973151655846787961983598140423374369312005930198740638/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^7 + 490885506221977528294378311621581572716533905945645460/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^6 + 740337156521156980244962941364416894978042130868076779/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^5 + 175497324831935285891617947520360579343051621039034691/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^4 + 223877162429744998229246199382727238130977415006876092/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^3 + 33541720011834077761321918817612299688373840687691860/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^2 + 22406691767528522152117592011930908089388842506113578/1621343043252\ 386385608610094447749804399517517904611*c_1001_4 + 186682917552262666006965326503224037458094335516901/162134304325238\ 6385608610094447749804399517517904611, c_0101_1 + 50660173652139231406901635669627821659138923184436/162134304\ 3252386385608610094447749804399517517904611*c_1001_4^23 + 50608293601940134679897565687728725821534599715796/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^22 - 2809901587455361588502620330224354788642415076862/16213430432523863\ 85608610094447749804399517517904611*c_1001_4^21 - 610847015165153366019160091329244990186430503684143/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^20 + 2635174345921181370790408370250075593045471064275772/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^19 + 3729243454404380077379420848024638173822428331352599/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^18 - 550311725932215046072711250097845293715944520037389/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^17 - 9941349982440446699173621002102226653219606059941797/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^16 + 46390853224365710412694487634623597810042954892174847/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^15 + 32391951905798988962785834219288409583881784870227664/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^14 + 1289407683136532433473315157475370290136141928800020/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^13 + 37425813762102223453782307733499929190528156304054611/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^12 + 269048359604769489175230065763882368569188992570255118/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^11 + 62771098306420519158736567536734403356156216163376289/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^10 + 11551379563873297833245379388890598598657159272942581/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^9 + 111614979394757745007155557867123123951829117900491867/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^8 + 557435620428979916458480549218937647112669185845313225/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^7 + 252177182804085659702337710662170365781961141200743895/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^6 + 378513103114613153638180992882293282871659721833767018/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^5 + 67087603947075179992762410089660806489561668986653922/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^4 + 104074858337072397561795319075116529310106262905611519/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^3 + 13363775838816637345806412335174967155208404237120487/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^2 + 6213351383846157033349789856183577112605746733639213/16213430432523\ 86385608610094447749804399517517904611*c_1001_4 - 1545555792016357984982161982486885021276277482652054/16213430432523\ 86385608610094447749804399517517904611, c_0101_10 + 61189759597122474336740272357043137814906708428716/16213430\ 43252386385608610094447749804399517517904611*c_1001_4^23 + 60989807626111427704537582297849820175028610777273/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^22 - 4026662910476696253836179395503633540320108378314/16213430432523863\ 85608610094447749804399517517904611*c_1001_4^21 - 738826937296573446026118979340978545124995392396828/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^20 + 3184198634509087368338429886660884305671598074048839/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^19 + 4503554096565276628582469295892452724889797340731434/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^18 - 694148835452293136483291437045380091596241763253987/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^17 - 12072079445846032588854592595571347599090421434872421/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^16 + 56032517234904783183683953687708598048035410050628289/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^15 + 39123999426988791066413394945186800689880099581103229/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^14 + 1123363758061483405899868510060381885241773903367219/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^13 + 44363418979010918024980593193122593567147449582721107/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^12 + 324634972273521158252674552675523980791410862865439440/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^11 + 74993284903774469960721303787660414884809602994071572/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^10 + 10739362772896624609175978370704940239348751695266077/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^9 + 131508613117434679905588226589705707259396235518234024/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^8 + 673270299523582286146663419012203521814971104161923660/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^7 + 302935200876010434300545768771969329882982472951911917/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^6 + 449541750222090357121158459582099321808408661105743080/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^5 + 72826346985411233193423533978115707974996212905427129/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^4 + 121436382387856520476910099166135354520901925134514509/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^3 + 14872977234188013606539116200766132721025567194190579/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^2 + 6707334075294481688910700584835659068174369720212499/16213430432523\ 86385608610094447749804399517517904611*c_1001_4 + 84898530454079313653569218695680009554235158660621/1621343043252386\ 385608610094447749804399517517904611, c_0101_11 + 1768840049750068251861654108231739696093180487217/162134304\ 3252386385608610094447749804399517517904611*c_1001_4^23 + 3331061351978301645080183401074465689558204723821/16213430432523863\ 85608610094447749804399517517904611*c_1001_4^22 + 3368828074948480242611451474849901086697696224576/16213430432523863\ 85608610094447749804399517517904611*c_1001_4^21 - 20078700571277943846026142161196995663934415901848/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^20 + 72117293714018371979108804709224347993790582192370/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^19 + 188643607341914639112658822944823332014956675544833/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^18 + 201646857701023735077866790366248582390463074922726/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^17 - 249500871972862294001461801173545174912441343540965/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^16 + 1227583648092826852537330655954520181182169910478903/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^15 + 2195566257556538948369823472015186337085521332934021/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^14 + 2902095955494231631211988416441424074809281699225698/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^13 + 2071519734696005949800675744603742016618039595336152/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^12 + 9857466088341704285926260189774011359565377128115999/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^11 + 12132913353458011520406550260446905804288362063329928/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^10 + 11768430892684892913114505443923292956660476163136816/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^9 + 2987675487509828237546868457687986588732946314466791/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^8 + 21322349942315854925492682802644208846004951630274726/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^7 + 31394899649737771768113489317066919537310037985972035/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^6 + 38399024605641989142370000016156315699684925208664890/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^5 + 16157220702576938525054235136834253063102026504028708/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^4 + 16339298213929174618799860532578923451838375747570904/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^3 + 3138104495690596956314883413566022929162755088618219/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^2 - 1848862726217957810128912644844307456371202527752888/16213430432523\ 86385608610094447749804399517517904611*c_1001_4 + 17061806804125146798127607117421746256177535543193/1621343043252386\ 385608610094447749804399517517904611, c_0101_3 + 78575452228064262723882799640823285687613771390539/162134304\ 3252386385608610094447749804399517517904611*c_1001_4^23 + 93017076185700999995313014125098202821281579470938/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^22 + 15391455736706923768764912243877631100003290221084/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^21 - 943639274610117742815472343812061416718897572896607/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^20 + 3910469352224771409100574525288121083121566044599003/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^19 + 6475427395027363854084442992402114780638419682615999/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^18 + 495942974487023273101972152924067092153922190288245/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^17 - 15214340228492835823149662059815546777019838658109542/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^16 + 68964538396977223384615389644486400121817125356834223/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^15 + 62446809634635257907007181858183254001532982241789052/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^14 + 16218716338495747925597932787515383946520468428427666/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^13 + 61382313393380890385407091904353200217885087342109662/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^12 + 427123964416107311471314024859766659470491424179653704/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^11 + 177584475844048870006327046085371042480752308335992465/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^10 + 63437407468078167692332417494842175638345675461458108/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^9 + 179487809351356419128066891686891768660116576349961424/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^8 + 892866774566995108148834240596663538010781665944819115/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^7 + 560453109447317361630840201415455727602242587596106903/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^6 + 717430482115140123018896851523234753384467889865047361/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^5 + 231483249950410431966818467000986679442227611564297089/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^4 + 207621277435706147382436971613338183011989731018582803/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^3 + 48215416693293181333435972421860633102025941511215970/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^2 + 22066303481635563068344711210354582689713995411346678/1621343043252\ 386385608610094447749804399517517904611*c_1001_4 + 698888167436689147622118268624936445888707568906315/162134304325238\ 6385608610094447749804399517517904611, c_0101_6 - 86640707796432136075474658520640672187603961943755/162134304\ 3252386385608610094447749804399517517904611*c_1001_4^23 - 93925757596549287144643293559625177601005955620271/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^22 - 8464658403326460315738593388108672984257609593430/16213430432523863\ 85608610094447749804399517517904611*c_1001_4^21 + 1039572297046433674037330437768500683875094593032420/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^20 - 4416527840669687045088428596356351264565828726645210/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^19 - 6689276813155467037354612151828704637212266941414009/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^18 + 86501630322046108798720698887842426974619291781527/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^17 + 16658334452562663269464966509760548617074389271294833/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^16 - 77772547676053904109449408862888386092913069963583162/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^15 - 60922992958951188413940847362600545238462297504046350/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^14 - 12407824708045028166699559702064718922667154398650040/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^13 - 67819150628649882318362419729155160829407898094859457/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^12 - 464989953778417929722895933405482811123152389299031999/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^11 - 149987952275171620254545636133246257943450777955307162/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^10 - 60254205226540582193980125680454596720036699154618407/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^9 - 198138218438481120499665484926806652149739904024454062/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^8 - 966702231097203979334012609426647611181839340469003509/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^7 - 522862203202814431606054451521657706030105726961524479/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^6 - 751146881313831626496640057315990953385576218798310712/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^5 - 195485651218442427371909479316545749665373157104938967/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^4 - 220384560704822687118972875908042020719984745465917550/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^3 - 38044471215496351037407278155871168309391687871111205/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^2 - 23930789867661409861353771473860456777509650991523125/1621343043252\ 386385608610094447749804399517517904611*c_1001_4 - 241255129217055391755458539969711460095133281537456/162134304325238\ 6385608610094447749804399517517904611, c_0101_8 + 18619678153546679697337929708772182445039679127593/162134304\ 3252386385608610094447749804399517517904611*c_1001_4^23 + 18196260091856548911291824523804139934146229748852/1621343043252386\ 385608610094447749804399517517904611*c_1001_4^22 + 403994152409571850021093075113363128174352629701/162134304325238638\ 5608610094447749804399517517904611*c_1001_4^21 - 219976365097592231563903256228578109823174581767764/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^20 + 975391672799972710085314805896868351476038052284403/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^19 + 1325150564048460667934872415823465953600296736377633/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^18 - 169379774297744448825093024170216816799509972311412/162134304325238\ 6385608610094447749804399517517904611*c_1001_4^17 - 3366872544333761408599708573889047191610232887508030/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^16 + 17294523220279287980926902928509027995500921728796450/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^15 + 11013911620047326897757268694488567163069333037983250/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^14 + 1300301878045223318673553923278321594100645110834997/16213430432523\ 86385608610094447749804399517517904611*c_1001_4^13 + 17565540470124708946093173998987241103385014484135499/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^12 + 100095438384790750464451694543387479817178821774212639/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^11 + 20435660718352727649268579007041396975823838905743899/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^10 + 15053055978811399462652504702015366711970130545132689/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^9 + 57631365536381189756658167535826176570178354111088785/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^8 + 203244854606818774951080827787765452410660006119860096/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^7 + 84684235499502647045523921866504644330903444158039674/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^6 + 164807763347892137414896040312478590887095123923596611/162134304325\ 2386385608610094447749804399517517904611*c_1001_4^5 + 60939544163212088343667867805935965599470468774383101/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^4 + 53590189939538504787865148167275839766014575235373839/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^3 + 10190852579652062119694534872588186833288894864785656/1621343043252\ 386385608610094447749804399517517904611*c_1001_4^2 + 5056290664642000770150353638446272937561185183972774/16213430432523\ 86385608610094447749804399517517904611*c_1001_4 + 55216100060000336970382356211458375913935284986627/1621343043252386\ 385608610094447749804399517517904611, c_1001_4^24 + c_1001_4^23 - 12*c_1001_4^21 + 52*c_1001_4^20 + 73*c_1001_4^19 - 8*c_1001_4^18 - 192*c_1001_4^17 + 915*c_1001_4^16 + 629*c_1001_4^15 + 75*c_1001_4^14 + 778*c_1001_4^13 + 5312*c_1001_4^12 + 1277*c_1001_4^11 + 518*c_1001_4^10 + 2290*c_1001_4^9 + 10995*c_1001_4^8 + 5078*c_1001_4^7 + 8085*c_1001_4^6 + 1651*c_1001_4^5 + 2414*c_1001_4^4 + 295*c_1001_4^3 + 203*c_1001_4^2 - 2*c_1001_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.710 Total time: 15.919 seconds, Total memory usage: 88.25MB