Magma V2.19-8 Wed Aug 21 2013 01:04:46 on localhost [Seed = 3103695053] Type ? for help. Type -D to quit. Loading file "L14n24644__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24644 geometric_solution 12.11108718 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 1 -1 0 0 -1 1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.027661969719 0.775305569435 0 5 7 6 0132 0132 0132 0132 1 0 0 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -7 8 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.261020773613 0.875215584326 7 0 8 4 0132 0132 0132 0213 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472072366813 0.830946289122 9 4 8 0 0132 3120 2310 0132 1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -2 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.379875993106 0.467844106770 8 3 0 2 0132 3120 0132 0213 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.046139761168 0.718253475193 10 1 11 11 0132 0132 0132 3201 1 0 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595043467383 1.254878666542 9 12 1 11 2103 0132 0132 3120 1 0 0 0 0 0 -1 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 0 -8 8 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.631058698053 1.182096386577 2 10 12 1 0132 0132 1302 0132 1 0 1 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 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.045937545173 0.958637735907 4 3 9 2 0132 3201 2310 0132 1 0 1 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544716154783 0.857371046689 3 8 6 10 0132 3201 2103 2103 0 0 1 0 0 -1 1 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 2 -1 -1 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.159106467529 1.219932235376 5 7 12 9 0132 0132 1230 2103 1 0 0 1 0 1 -1 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 7 -8 1 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531224523978 0.404520842798 6 5 12 5 3120 2310 0321 0132 1 0 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 -1 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.117732820086 1.158081504092 7 6 11 10 2031 0132 0321 3012 1 1 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 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.926133811609 0.803385791714 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_5'], 'c_1001_11' : negation(d['c_1001_1']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_3']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_3']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0101_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : d['c_1001_2'], '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_1001_1']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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_3']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), '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_5'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : negation(d['c_0101_3']), 'c_0101_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_12']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : negation(d['c_0011_0'])})} 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_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_5, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 194630924904209939287944196960093387460685323/105221241813616635001\ 950409209062218905931832*c_1001_2^14 + 1161034517403990858266687457377519109381891141/52610620906808317500\ 975204604531109452965916*c_1001_2^13 + 49402781482397491346142704946816297311288722283/1052212418136166350\ 01950409209062218905931832*c_1001_2^12 + 281943152248898445244007348208388775994357853503/105221241813616635\ 001950409209062218905931832*c_1001_2^11 + 68770711790914529529541515208393925026322886041/8093941677970510384\ 765416093004786069687064*c_1001_2^10 + 543226303990213857309142587365681430346506557107/263053104534041587\ 50487602302265554726482958*c_1001_2^9 + 5995474736954519522807628303264870356865570517517/10522124181361663\ 5001950409209062218905931832*c_1001_2^8 + 3630515984048139597307396536750639531426421859979/10522124181361663\ 5001950409209062218905931832*c_1001_2^7 + 160751286075180772035545783623792965039724115221/404697083898525519\ 2382708046502393034843532*c_1001_2^6 + 1082834888771011996606871022021407796893884492095/13152655226702079\ 375243801151132777363241479*c_1001_2^5 + 20403216652390944004726786418006913538663310113/2566371751551625243\ 950009980708834607461752*c_1001_2^4 + 3369233875828072058427177218019902702486949937315/52610620906808317\ 500975204604531109452965916*c_1001_2^3 + 8908555788623891365058633804078839842903032188885/10522124181361663\ 5001950409209062218905931832*c_1001_2^2 - 99743934316279346353361242205779477768658028391/8093941677970510384\ 765416093004786069687064*c_1001_2 + 22488342410671722451883460876176505490461673171/5261062090680831750\ 0975204604531109452965916, c_0011_0 - 1, c_0011_11 + 395443964655625016557155828731289583618/2467665145722716580\ 7211634429892640456363*c_1001_2^14 - 4847175615868978830993944949564694267644/24676651457227165807211634\ 429892640456363*c_1001_2^13 - 9884268346197723011895746728901077450\ 8098/24676651457227165807211634429892640456363*c_1001_2^12 - 539902097489841601622995350880451201581761/246766514572271658072116\ 34429892640456363*c_1001_2^11 - 16265532212500703296221770359144182\ 40675726/24676651457227165807211634429892640456363*c_1001_2^10 - 3806313268981715032379406968881677712077970/24676651457227165807211\ 634429892640456363*c_1001_2^9 - 10691916545909401170501780201237114\ 940964128/24676651457227165807211634429892640456363*c_1001_2^8 - 3281819135645732317563054002230459185942856/24676651457227165807211\ 634429892640456363*c_1001_2^7 - 57688793812212378922442986434388239\ 35013755/24676651457227165807211634429892640456363*c_1001_2^6 - 14653401507869689787746041139334683447926100/2467665145722716580721\ 1634429892640456363*c_1001_2^5 + 4302183634169668907344702190838855\ 192711273/24676651457227165807211634429892640456363*c_1001_2^4 - 12707749633528770772345575363454770493557360/2467665145722716580721\ 1634429892640456363*c_1001_2^3 - 1357269003897545783548997036864268\ 4780197889/24676651457227165807211634429892640456363*c_1001_2^2 + 8941813393021917151576967160236867735181504/24676651457227165807211\ 634429892640456363*c_1001_2 - 5315241424984013434644923023603068978\ 73610/24676651457227165807211634429892640456363, c_0011_12 + 401599148794966989742540200971258216282401/3948264233156346\ 52915386150878282247301808*c_1001_2^14 - 1197148219542085616784006688457259112534867/98706605828908663228846\ 537719570561825452*c_1001_2^13 - 1019694874794076625704499131453882\ 88485691933/394826423315634652915386150878282247301808*c_1001_2^12 - 582456355326288448770976503641146806159703255/394826423315634652915\ 386150878282247301808*c_1001_2^11 - 1848742908872017013120571677043600502573657373/39482642331563465291\ 5386150878282247301808*c_1001_2^10 - 2248246129139896802940063137234484745930039191/19741321165781732645\ 7693075439141123650904*c_1001_2^9 - 12402671564625913407328489058835391628295840335/3948264233156346529\ 15386150878282247301808*c_1001_2^8 - 7578143387906984383999167902271823763235859863/39482642331563465291\ 5386150878282247301808*c_1001_2^7 - 2170657820080319311001705588220337442054095107/98706605828908663228\ 846537719570561825452*c_1001_2^6 - 2241913180804278562455152611974583266689174381/49353302914454331614\ 423268859785280912726*c_1001_2^5 - 1854452306062233530983171605772028300619955523/39482642331563465291\ 5386150878282247301808*c_1001_2^4 - 1740524669472382896270116284066680069707924741/49353302914454331614\ 423268859785280912726*c_1001_2^3 - 18475020706228249220743408328147761430922349923/3948264233156346529\ 15386150878282247301808*c_1001_2^2 + 2541342171952628029043019587232441971437628755/39482642331563465291\ 5386150878282247301808*c_1001_2 - 201741047794758356237649606175746\ 15402965073/98706605828908663228846537719570561825452, c_0011_3 - 1264064334316983093562523342763373254671/4935330291445433161\ 4423268859785280912726*c_1001_2^14 + 7539131246250170286093561476481134971328/24676651457227165807211634\ 429892640456363*c_1001_2^13 + 3208872833356003494311497913816007894\ 03367/49353302914454331614423268859785280912726*c_1001_2^12 + 1831859627803789888280351013927803924751729/49353302914454331614423\ 268859785280912726*c_1001_2^11 + 5810765833321071056132091377413526\ 589727047/49353302914454331614423268859785280912726*c_1001_2^10 + 7063516725310810703929379646750431854823873/24676651457227165807211\ 634429892640456363*c_1001_2^9 + 38975654375056491465968095240718246\ 335546077/49353302914454331614423268859785280912726*c_1001_2^8 + 23679277122857580837150915574390961100855531/4935330291445433161442\ 3268859785280912726*c_1001_2^7 + 1361741505207730133700467246774667\ 5982724045/24676651457227165807211634429892640456363*c_1001_2^6 + 28169832852369601543284388316689607530738343/2467665145722716580721\ 1634429892640456363*c_1001_2^5 + 5592329719421377750611738704479366\ 732024129/49353302914454331614423268859785280912726*c_1001_2^4 + 21913353881749775424505836479653597450628174/2467665145722716580721\ 1634429892640456363*c_1001_2^3 + 5796475656363726537831059690866525\ 5804373753/49353302914454331614423268859785280912726*c_1001_2^2 - 8224697141059868475487621609523504678678165/49353302914454331614423\ 268859785280912726*c_1001_2 + 1596498281947830594734217462831850368\ 22277/24676651457227165807211634429892640456363, c_0011_4 - 5088677755724659315369480571021141410839/4935330291445433161\ 4423268859785280912726*c_1001_2^14 + 30345558388813555635296205205228620361608/2467665145722716580721163\ 4429892640456363*c_1001_2^13 + 129188395842193615560633429779113812\ 1851795/49353302914454331614423268859785280912726*c_1001_2^12 + 7376601294832580914197670273894971026855439/49353302914454331614423\ 268859785280912726*c_1001_2^11 + 2340425213951877544769899821925138\ 6347371689/49353302914454331614423268859785280912726*c_1001_2^10 + 28453987173077044352070897363471440299764867/2467665145722716580721\ 1634429892640456363*c_1001_2^9 + 1569915354954220765212363855441694\ 07393905795/49353302914454331614423268859785280912726*c_1001_2^8 + 95572735178918037722703512533589573339264161/4935330291445433161442\ 3268859785280912726*c_1001_2^7 + 5487469391894783064176164814381059\ 4852076147/24676651457227165807211634429892640456363*c_1001_2^6 + 113476266832442649698722832115943640966470137/246766514572271658072\ 11634429892640456363*c_1001_2^5 + 228550517126009210354880204034904\ 30372166179/49353302914454331614423268859785280912726*c_1001_2^4 + 88193154946255753208108186069096809842415384/2467665145722716580721\ 1634429892640456363*c_1001_2^3 + 2336113394705763377729259678726793\ 20800564487/49353302914454331614423268859785280912726*c_1001_2^2 - 32826617819172140944720445415890247404710589/4935330291445433161442\ 3268859785280912726*c_1001_2 + 561248976989750049215961947254443253\ 104678/24676651457227165807211634429892640456363, c_0101_0 - 1, c_0101_1 - 1264064334316983093562523342763373254671/4935330291445433161\ 4423268859785280912726*c_1001_2^14 + 7539131246250170286093561476481134971328/24676651457227165807211634\ 429892640456363*c_1001_2^13 + 3208872833356003494311497913816007894\ 03367/49353302914454331614423268859785280912726*c_1001_2^12 + 1831859627803789888280351013927803924751729/49353302914454331614423\ 268859785280912726*c_1001_2^11 + 5810765833321071056132091377413526\ 589727047/49353302914454331614423268859785280912726*c_1001_2^10 + 7063516725310810703929379646750431854823873/24676651457227165807211\ 634429892640456363*c_1001_2^9 + 38975654375056491465968095240718246\ 335546077/49353302914454331614423268859785280912726*c_1001_2^8 + 23679277122857580837150915574390961100855531/4935330291445433161442\ 3268859785280912726*c_1001_2^7 + 1361741505207730133700467246774667\ 5982724045/24676651457227165807211634429892640456363*c_1001_2^6 + 28169832852369601543284388316689607530738343/2467665145722716580721\ 1634429892640456363*c_1001_2^5 + 5592329719421377750611738704479366\ 732024129/49353302914454331614423268859785280912726*c_1001_2^4 + 21913353881749775424505836479653597450628174/2467665145722716580721\ 1634429892640456363*c_1001_2^3 + 5796475656363726537831059690866525\ 5804373753/49353302914454331614423268859785280912726*c_1001_2^2 - 8224697141059868475487621609523504678678165/49353302914454331614423\ 268859785280912726*c_1001_2 + 1596498281947830594734217462831850368\ 22277/24676651457227165807211634429892640456363, c_0101_10 - 72705935187991182024868651426404318024369/98706605828908663\ 228846537719570561825452*c_1001_2^14 + 216893183561899220938004786848739931669402/246766514572271658072116\ 34429892640456363*c_1001_2^13 + 18453060132225884153814033234474470\ 576186149/98706605828908663228846537719570561825452*c_1001_2^12 + 105285363465651662683168445268854572226398095/987066058289086632288\ 46537719570561825452*c_1001_2^11 + 333759636459262771366718349719856452204539165/987066058289086632288\ 46537719570561825452*c_1001_2^10 + 405523478518621435913021341070050065237093569/493533029144543316144\ 23268859785280912726*c_1001_2^9 + 223805121210153322108444062501131\ 7247114696407/98706605828908663228846537719570561825452*c_1001_2^8 + 1351758805456118011177914625987663702783114011/98706605828908663228\ 846537719570561825452*c_1001_2^7 + 389673926614848015257651788037560388697794503/246766514572271658072\ 11634429892640456363*c_1001_2^6 + 808134085730662436913275253607199\ 615208696436/24676651457227165807211634429892640456363*c_1001_2^5 + 306221018888501213249387380110655845675701283/987066058289086632288\ 46537719570561825452*c_1001_2^4 + 629099547195062369225149293971858\ 500793503531/24676651457227165807211634429892640456363*c_1001_2^3 + 3322327571505118225369961873494451554459130251/98706605828908663228\ 846537719570561825452*c_1001_2^2 - 490912387668971051055301043055095316130326295/987066058289086632288\ 46537719570561825452*c_1001_2 + 43229400986560743991828989921799682\ 89074660/24676651457227165807211634429892640456363, c_0101_11 - 76429516929920736664582139269412289562277/98706605828908663\ 228846537719570561825452*c_1001_2^14 + 227990250992612261774005186465340385966787/246766514572271658072116\ 34429892640456363*c_1001_2^13 + 19398635210706574736712538581907334\ 023188385/98706605828908663228846537719570561825452*c_1001_2^12 + 110688702343278828575612791426853423327050007/987066058289086632288\ 46537719570561825452*c_1001_2^11 + 350918409835175130918590890283439896154399693/987066058289086632288\ 46537719570561825452*c_1001_2^10 + 426398358542968398611565973654095840451003691/493533029144543316144\ 23268859785280912726*c_1001_2^9 + 235319612115219804983142378851313\ 6313436682939/98706605828908663228846537719570561825452*c_1001_2^8 + 1422425125035375959811844680482204745809940699/98706605828908663228\ 846537719570561825452*c_1001_2^7 + 409895243312448572552804968301156106204382705/246766514572271658072\ 11634429892640456363*c_1001_2^6 + 849787025593616763635170644634317\ 938961435565/24676651457227165807211634429892640456363*c_1001_2^5 + 324086084937417245941714587892285853605994283/987066058289086632288\ 46537719570561825452*c_1001_2^4 + 661420967806527517203516324082005\ 468994803622/24676651457227165807211634429892640456363*c_1001_2^3 + 3494005655840874735520325072270713219180600771/98706605828908663228\ 846537719570561825452*c_1001_2^2 - 513711340128234897108694566312281907282651379/987066058289086632288\ 46537719570561825452*c_1001_2 + 45023122460343249584445326139443923\ 54843106/24676651457227165807211634429892640456363, c_0101_3 + 1, c_0101_5 + 522703560316923032546788070740242210318083/39482642331563465\ 2915386150878282247301808*c_1001_2^14 - 1558188092945442325019210747179446509042219/98706605828908663228846\ 537719570561825452*c_1001_2^13 - 1327173474194470773332330078054569\ 95708859735/394826423315634652915386150878282247301808*c_1001_2^12 - 758065503422336106250537304097040469804130749/394826423315634652915\ 386150878282247301808*c_1001_2^11 - 2406049590266105440322874866721230997615818095/39482642331563465291\ 5386150878282247301808*c_1001_2^10 - 2925913178232133538548319011999167249672069185/19741321165781732645\ 7693075439141123650904*c_1001_2^9 - 16141283380950855753001211513854479416136953693/3948264233156346529\ 15386150878282247301808*c_1001_2^8 - 9859273394839245485400139731233281485241364029/39482642331563465291\ 5386150878282247301808*c_1001_2^7 - 2824618119645656599844771522308712834736963555/98706605828908663228\ 846537719570561825452*c_1001_2^6 - 2917583467435063655906866700696967837984024013/49353302914454331614\ 423268859785280912726*c_1001_2^5 - 2407708610373962401739198129971455452192609737/39482642331563465291\ 5386150878282247301808*c_1001_2^4 - 1132659111901002199106403244405489118084532539/24676651457227165807\ 211634429892640456363*c_1001_2^3 - 24041150164012385946657092685395595254448568985/3948264233156346529\ 15386150878282247301808*c_1001_2^2 + 3313561842605410310702469229026209185031838657/39482642331563465291\ 5386150878282247301808*c_1001_2 - 265275851136856187749401802244861\ 43091401257/98706605828908663228846537719570561825452, c_1001_1 + 3572913347839312160404436417913050011224/2467665145722716580\ 7211634429892640456363*c_1001_2^14 - 42626693833284557036210838166549289474657/2467665145722716580721163\ 4429892640456363*c_1001_2^13 - 906909971382272222323868637610604871\ 787597/24676651457227165807211634429892640456363*c_1001_2^12 - 5175843505594343676396868294986189834453015/24676651457227165807211\ 634429892640456363*c_1001_2^11 - 1641252436748569152786079991598799\ 9585122662/24676651457227165807211634429892640456363*c_1001_2^10 - 39891223140850150146379804296598635320039458/2467665145722716580721\ 1634429892640456363*c_1001_2^9 - 1100673833427213148339243329585945\ 78927598491/24676651457227165807211634429892640456363*c_1001_2^8 - 66663185637407333022008866133095815029346383/2467665145722716580721\ 1634429892640456363*c_1001_2^7 - 7674335691283219376695224233041931\ 3471959548/24676651457227165807211634429892640456363*c_1001_2^6 - 159038074656535290023000827069539042074341754/246766514572271658072\ 11634429892640456363*c_1001_2^5 - 153738937199871537867350868067698\ 53116138874/24676651457227165807211634429892640456363*c_1001_2^4 - 123705399206868191892879742367142431838490916/246766514572271658072\ 11634429892640456363*c_1001_2^3 - 163531574018468542824982110979186\ 600014213675/24676651457227165807211634429892640456363*c_1001_2^2 + 23792886654466622262864993262378610101949482/2467665145722716580721\ 1634429892640456363*c_1001_2 - 824837297380917531212973467971246502\ 415212/24676651457227165807211634429892640456363, c_1001_2^15 - 12*c_1001_2^14 - 253*c_1001_2^13 - 1431*c_1001_2^12 - 4493*c_1001_2^11 - 10846*c_1001_2^10 - 30031*c_1001_2^9 - 16519*c_1001_2^8 - 20188*c_1001_2^7 - 43016*c_1001_2^6 - 1219*c_1001_2^5 - 34328*c_1001_2^4 - 43363*c_1001_2^3 + 9827*c_1001_2^2 - 692*c_1001_2 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.430 seconds, Total memory usage: 32.09MB