Magma V2.19-8 Tue Aug 20 2013 17:59:39 on localhost [Seed = 1882309791] Type ? for help. Type -D to quit. Loading file "10^2_75__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_75 geometric_solution 12.93966462 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 0132 0132 1 0 0 0 0 1 -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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.287903221656 0.992359769694 0 5 6 4 0132 0132 0132 3120 0 0 0 0 0 1 0 -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 -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.521250150340 0.596670639563 7 0 9 8 0132 0132 0132 0132 1 1 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 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.977892438999 1.498467596784 4 7 8 0 3120 0321 1230 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 1 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.425487220565 0.605878038989 1 10 0 3 3120 0132 0132 3120 1 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 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.523960478344 0.454538994192 11 1 12 12 0132 0132 0132 3120 0 0 0 0 0 -1 1 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 0 1 -1 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.606441796517 0.601598586057 13 13 12 1 0132 1302 0321 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 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.839361531616 1.357385158920 2 11 9 3 0132 0132 1023 0321 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 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.175915945612 0.869074542303 11 11 2 3 3012 0213 0132 3012 1 1 0 0 0 1 -1 0 -1 0 0 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 -1 1 0 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.191764381288 0.539735119724 10 10 7 2 2031 0321 1023 0132 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 0 0 0 0 0 0 0 0 -1 0 1 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.591424503386 0.776020112028 13 4 9 9 1230 0132 1302 0321 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 -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.591424503386 0.776020112028 5 7 8 8 0132 0132 0213 1230 1 0 0 0 0 0 -1 1 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 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 0 0 0 0 0.191764381288 0.539735119724 5 13 6 5 3120 3201 0321 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761515890239 1.164063863421 6 10 12 6 0132 3012 2310 2031 0 0 0 0 0 0 1 -1 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 1 -1 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.085981126303 0.726535218895 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_13' : negation(d['c_0011_10']), 'c_1001_12' : negation(d['c_0101_1']), 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : negation(d['c_0101_12']), 'c_1001_1' : negation(d['c_0011_12']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_7'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : negation(d['c_0011_13']), 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 'c_0101_13' : d['c_0101_1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0011_13'], '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' : negation(d['1']), 's_2_12' : d['1'], 's_2_13' : 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_1100_9' : negation(d['c_1001_3']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : negation(d['c_1001_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : d['c_0101_7'], 'c_1100_13' : d['c_0011_12'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0101_3']), 'c_1100_8' : negation(d['c_1001_3']), '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' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_12']), '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_13']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_13']), '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_0011_8'], 'c_0110_10' : d['c_0011_13'], 'c_0110_13' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0011_8'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_12']), 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_7'], 's_2_8' : d['1'], 's_1_13' : d['1'], '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' : negation(d['c_0101_3']), '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_7'], 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_7, c_1001_0, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 40040142006140979964623754777259726048009/1816297586195687344348375\ 2549459375419948*c_1001_3^17 - 141252963938750772364798870908020926\ 187692/4540743965489218360870938137364843854987*c_1001_3^16 - 929144756728701295975854134250231149137778/227037198274460918043546\ 90686824219274935*c_1001_3^15 - 38280828021774682079718275189494642\ 3602305767/90814879309784367217418762747296877099740*c_1001_3^14 - 3894811311432105494155062462816723863023044559/36325951723913746886\ 9675050989187508398960*c_1001_3^13 - 11301039636344089679134103262537425996428327629/1816297586195687344\ 34837525494593754199480*c_1001_3^12 - 9632329790338456421660936356356923048492799901/18162975861956873443\ 4837525494593754199480*c_1001_3^11 - 26832375047647163534850170794436126956355913681/9081487930978436721\ 7418762747296877099740*c_1001_3^10 + 103004239682317178392565802828861464146684994273/363259517239137468\ 869675050989187508398960*c_1001_3^9 - 215190473232544332663103071475242492930364602247/181629758619568734\ 434837525494593754199480*c_1001_3^8 + 13029669921004066869532010665774831592464721437/1068410344820992555\ 4990442676152573776440*c_1001_3^7 - 82022931481520161065241795029210311444113903617/4540743965489218360\ 8709381373648438549870*c_1001_3^6 + 13292072229544592146468143869604976597159468263/1068410344820992555\ 4990442676152573776440*c_1001_3^5 - 237535615689834797580777117185709821999833933/226471020722654282337\ 702650242635603740*c_1001_3^4 + 95060724706033245419531951406297125\ 1829324351/2214997056336204078473628359690167734140*c_1001_3^3 - 20282254139336147164422494761814181919041648457/9081487930978436721\ 7418762747296877099740*c_1001_3^2 + 2928210563738767561449475840071731512448765841/72651903447827493773\ 935010197837501679792*c_1001_3 - 2343477600582501482386051293448798\ 421495722419/181629758619568734434837525494593754199480, c_0011_0 - 1, c_0011_10 - 58404048977256276889386154541614676978824/76738573016767790\ 2987188545214658611492803*c_1001_3^17 - 340110956358787326922844428295015737512012/767385730167677902987188\ 545214658611492803*c_1001_3^16 - 6230372819148478771101101465665416\ 692846424/767385730167677902987188545214658611492803*c_1001_3^15 - 15433721393716898385720071677525273900130872/7673857301676779029871\ 88545214658611492803*c_1001_3^14 - 79425337094667142247511452150816542362373066/7673857301676779029871\ 88545214658611492803*c_1001_3^13 - 54666439288206738204423227738585922123358847/7673857301676779029871\ 88545214658611492803*c_1001_3^12 - 357157578702807703733237129470213217598900960/767385730167677902987\ 188545214658611492803*c_1001_3^11 + 449819904122647234274856998474184406794808894/767385730167677902987\ 188545214658611492803*c_1001_3^10 - 1701414436054481788037936824872470805794815775/76738573016767790298\ 7188545214658611492803*c_1001_3^9 + 2320482163674164746886446354129527915573087776/76738573016767790298\ 7188545214658611492803*c_1001_3^8 - 204693984366157241223153538137142520515957843/451403370686869354698\ 34620306744624205459*c_1001_3^7 + 333536390148656443205060933461929\ 5852540901727/767385730167677902987188545214658611492803*c_1001_3^6 - 173246244442218452523433972597942380488841776/4514033706868693546\ 9834620306744624205459*c_1001_3^5 + 4749207799783435360383530528921129408375529/19136801251064286857535\ 87394550270851603*c_1001_3^4 - 249934314063816184205312197179295920\ 22766347/18716725126040924463102159639381917353483*c_1001_3^3 + 421603654831013203940487356525131700594529523/767385730167677902987\ 188545214658611492803*c_1001_3^2 - 114957357193198733210864908364504147735697236/767385730167677902987\ 188545214658611492803*c_1001_3 + 2546171602680162107240584119705975\ 2132081489/767385730167677902987188545214658611492803, c_0011_12 - 3552953360506286967187510943421929923134/767385730167677902\ 987188545214658611492803*c_1001_3^17 - 56979662921275241200813870618466572944750/7673857301676779029871885\ 45214658611492803*c_1001_3^16 - 60455222646624104452480358776963019\ 4395412/767385730167677902987188545214658611492803*c_1001_3^15 - 4893867504985129946726637001097916442856146/76738573016767790298718\ 8545214658611492803*c_1001_3^14 - 318822952883382389691794575171015\ 37792903907/1534771460335355805974377090429317222985606*c_1001_3^13 - 113057771275683264259551286197914676130054241/1534771460335355805\ 974377090429317222985606*c_1001_3^12 - 75111752425007783336703590048080013134176271/7673857301676779029871\ 88545214658611492803*c_1001_3^11 - 208881858373336246460244493391168805501087102/767385730167677902987\ 188545214658611492803*c_1001_3^10 + 89849211809688740347645336919033139884365827/7673857301676779029871\ 88545214658611492803*c_1001_3^9 - 813407570467416405921391050942440\ 998527287442/767385730167677902987188545214658611492803*c_1001_3^8 + 48691227232103720537910130135902191824432000/4514033706868693546983\ 4620306744624205459*c_1001_3^7 - 1449390548121902136535549737649329\ 284893709878/767385730167677902987188545214658611492803*c_1001_3^6 + 131061938129821452183906162110497871769568719/902806741373738709396\ 69240613489248410918*c_1001_3^5 - 520680851602223280987794957623287\ 1600477745/3827360250212857371507174789100541703206*c_1001_3^4 + 25099943694282383721980208568502742208524105/3743345025208184892620\ 4319278763834706966*c_1001_3^3 - 5686864351393487108101226500531368\ 53598962567/1534771460335355805974377090429317222985606*c_1001_3^2 + 70204124569591053957852249309628774150553463/7673857301676779029871\ 88545214658611492803*c_1001_3 - 19814995266805448951544739410031099\ 757760182/767385730167677902987188545214658611492803, c_0011_13 - 11009312962821151649265014331221194945415/76738573016767790\ 2987188545214658611492803*c_1001_3^17 - 60315161766748671232657848157021229017226/7673857301676779029871885\ 45214658611492803*c_1001_3^16 - 11534301693186414471766630447025683\ 64748552/767385730167677902987188545214658611492803*c_1001_3^15 - 2511432798336682302495386213696960402216288/76738573016767790298718\ 8545214658611492803*c_1001_3^14 - 563616617711310301404650846618095\ 50331750315/3069542920670711611948754180858634445971212*c_1001_3^13 - 5513938867796242777837912191248500948139905/767385730167677902987\ 188545214658611492803*c_1001_3^12 - 130987510024091569414589441434565272597683265/153477146033535580597\ 4377090429317222985606*c_1001_3^11 + 423516339986259257313859031354027536524031391/306954292067071161194\ 8754180858634445971212*c_1001_3^10 - 1431031524785736337288554728098992095193743069/30695429206707116119\ 48754180858634445971212*c_1001_3^9 + 1103181109509215702028524538900230092697016689/15347714603353558059\ 74377090429317222985606*c_1001_3^8 - 98175724697599843661903600969969116515856503/9028067413737387093966\ 9240613489248410918*c_1001_3^7 + 3515264753097433792064879988058229\ 204839680653/3069542920670711611948754180858634445971212*c_1001_3^6 - 95762798536712547340416473834508790316123541/90280674137373870939\ 669240613489248410918*c_1001_3^5 + 5768256197763235694225940540545235611919513/76547205004257147430143\ 49578201083406412*c_1001_3^4 - 166212693047707825429487757090818387\ 84449383/37433450252081848926204319278763834706966*c_1001_3^3 + 626741335642890738684740322681438170290267981/306954292067071161194\ 8754180858634445971212*c_1001_3^2 - 204398762999593398293092692506829248732434925/306954292067071161194\ 8754180858634445971212*c_1001_3 + 261695947228240669890927648725165\ 51182663963/1534771460335355805974377090429317222985606, c_0011_3 - 1853572362500779789703122801923535590/4540743965489218360870\ 938137364843854987*c_1001_3^17 - 1539536415795181113710898486186702\ 1053/4540743965489218360870938137364843854987*c_1001_3^16 - 226297896542954033946613604234055728384/454074396548921836087093813\ 7364843854987*c_1001_3^15 - 992405758142740550389918484453768511782\ /4540743965489218360870938137364843854987*c_1001_3^14 - 7869982692072806650492711220031479430529/90814879309784367217418762\ 74729687709974*c_1001_3^13 - 34484771748957427928083137158715592241\ 229/18162975861956873443483752549459375419948*c_1001_3^12 - 37135305589150528345018459617617581799349/9081487930978436721741876\ 274729687709974*c_1001_3^11 - 3582397171480983566931050912227916012\ 5849/9081487930978436721741876274729687709974*c_1001_3^10 - 65552766571076241660893641639642728922349/9081487930978436721741876\ 274729687709974*c_1001_3^9 - 23331421727221688755730783554592962554\ 4519/18162975861956873443483752549459375419948*c_1001_3^8 + 2597430090222559729367488250314885001067/53420517241049627774952213\ 3807628688822*c_1001_3^7 - 5510502804336498416633898408381974193039\ 03/18162975861956873443483752549459375419948*c_1001_3^6 + 5075726244069775300054896633128233587110/26710258620524813887476106\ 6903814344411*c_1001_3^5 - 1333988206564799557806121857302527131063\ /45294204144530856467540530048527120748*c_1001_3^4 + 2651234116551181107189789745336617460383/22149970563362040784736283\ 5969016773414*c_1001_3^3 - 1128811119984329858743630304926477856047\ 27/9081487930978436721741876274729687709974*c_1001_3^2 + 5920849182129466841868461547281287915886/45407439654892183608709381\ 37364843854987*c_1001_3 - 9654952517142193454883520460620629480831/\ 4540743965489218360870938137364843854987, c_0011_8 + 1371796282547248930882890734067133320861/5902967155135983869\ 1322195785742970114831*c_1001_3^17 + 6500866891207769799287985904225794547290/59029671551359838691322195\ 785742970114831*c_1001_3^16 + 1373131980210810874380490954972756468\ 70074/59029671551359838691322195785742970114831*c_1001_3^15 + 203297162883449522115435939434802476779143/590296715513598386913221\ 95785742970114831*c_1001_3^14 + 57750857438468349711869223948457576\ 42712061/236118686205439354765288783142971880459324*c_1001_3^13 - 661398879755280145751018063389753344424762/590296715513598386913221\ 95785742970114831*c_1001_3^12 + 69928828874731683202047788140522492\ 77621128/59029671551359838691322195785742970114831*c_1001_3^11 - 35603161647074308042936996442833177491687789/1180593431027196773826\ 44391571485940229662*c_1001_3^10 + 102263905683480772460874236144388086839048935/118059343102719677382\ 644391571485940229662*c_1001_3^9 - 86920011892695382753613434588401612432228208/5902967155135983869132\ 2195785742970114831*c_1001_3^8 + 2806604252272263411603025667217243\ 2051495057/13889334482672903221487575478998345909372*c_1001_3^7 - 241163190714958118074480248120205863320337315/118059343102719677382\ 644391571485940229662*c_1001_3^6 + 11189544535659530408167287146343015827087853/6944667241336451610743\ 787739499172954686*c_1001_3^5 - 29302855130786356730395352098987513\ 4007881/294412326939450567039013445315426284862*c_1001_3^4 + 2502490144927910826752178534412068716106195/57589923464741306040314\ 33735194436108764*c_1001_3^3 - 935735047477920296706064341129229904\ 3488802/59029671551359838691322195785742970114831*c_1001_3^2 + 6086540673112611674670836632984375603219423/23611868620543935476528\ 8783142971880459324*c_1001_3 - 864267172787122148020110137462739988\ 898575/118059343102719677382644391571485940229662, c_0101_0 - 118521979783528185247244121129477920082114/76738573016767790\ 2987188545214658611492803*c_1001_3^17 - 706246043502012956653864701414930044476726/767385730167677902987188\ 545214658611492803*c_1001_3^16 - 1274722833577818333703816958330699\ 4098291110/767385730167677902987188545214658611492803*c_1001_3^15 - 33121880230903147309336674472140138399465320/7673857301676779029871\ 88545214658611492803*c_1001_3^14 - 333407423299774681042286785081578541580624737/153477146033535580597\ 4377090429317222985606*c_1001_3^13 - 277557172569927291408581904135933862488599121/153477146033535580597\ 4377090429317222985606*c_1001_3^12 - 1526385311958217110850250244533306221085278751/15347714603353558059\ 74377090429317222985606*c_1001_3^11 + 1523690675674758483649268911676616901894878857/15347714603353558059\ 74377090429317222985606*c_1001_3^10 - 6867106711499423500255283179889160995125227385/15347714603353558059\ 74377090429317222985606*c_1001_3^9 + 8293818043959425440154882196552970487839926937/15347714603353558059\ 74377090429317222985606*c_1001_3^8 - 384950641432644493142026342888239992764545986/451403370686869354698\ 34620306744624205459*c_1001_3^7 + 553663215966765863917306061677751\ 5860089842960/767385730167677902987188545214658611492803*c_1001_3^6 - 292102331344329359968800596328290834173772557/4514033706868693546\ 9834620306744624205459*c_1001_3^5 + 6708726671549589533938835023161079363750089/19136801251064286857535\ 87394550270851603*c_1001_3^4 - 707613103115774982057697743750976599\ 25878663/37433450252081848926204319278763834706966*c_1001_3^3 + 870233722119316407540078747270988100709271689/153477146033535580597\ 4377090429317222985606*c_1001_3^2 - 123075535122905052259732249439756620082999244/767385730167677902987\ 188545214658611492803*c_1001_3 + 1086925565920188299697349229214919\ 9761803658/767385730167677902987188545214658611492803, c_0101_1 - 6298152120103405091837761023083456246908/7673857301676779029\ 87188545214658611492803*c_1001_3^17 + 45564881192937842250833674556797074511712/7673857301676779029871885\ 45214658611492803*c_1001_3^16 - 15682914748036586559069953162271992\ 6213768/767385730167677902987188545214658611492803*c_1001_3^15 + 7297067163203644038411702708552637430859764/76738573016767790298718\ 8545214658611492803*c_1001_3^14 + 168673797356349667139690965552938\ 85065085425/767385730167677902987188545214658611492803*c_1001_3^13 + 112996861482745562658364968753143422075556710/767385730167677902987\ 188545214658611492803*c_1001_3^12 + 79275695955904360191138186260378890372831380/7673857301676779029871\ 88545214658611492803*c_1001_3^11 + 550185384920075139687495299920217587669312540/767385730167677902987\ 188545214658611492803*c_1001_3^10 - 643098038810444977129997757798036734481775420/767385730167677902987\ 188545214658611492803*c_1001_3^9 + 2233554188388955022639691978720027624709472326/76738573016767790298\ 7188545214658611492803*c_1001_3^8 - 148037854985103637350538621355328637992486212/451403370686869354698\ 34620306744624205459*c_1001_3^7 + 346203478229414814621967913537858\ 8743502865076/767385730167677902987188545214658611492803*c_1001_3^6 - 153464740450544681239681005853252569060116999/4514033706868693546\ 9834620306744624205459*c_1001_3^5 + 5114809067830824010905591863191472792020282/19136801251064286857535\ 87394550270851603*c_1001_3^4 - 229011173219188138309674937525619296\ 59433785/18716725126040924463102159639381917353483*c_1001_3^3 + 428806772610705835047984096713230076911216379/767385730167677902987\ 188545214658611492803*c_1001_3^2 - 92020446444739999256418299950102031850414398/7673857301676779029871\ 88545214658611492803*c_1001_3 + 19077549716361808628981138635156320\ 977911699/767385730167677902987188545214658611492803, c_0101_12 + 28177103437843905657729002562190240769035/76738573016767790\ 2987188545214658611492803*c_1001_3^17 + 232114194381027842764721016938432600026663/767385730167677902987188\ 545214658611492803*c_1001_3^16 + 3435724720894582305793028780271370\ 952895653/767385730167677902987188545214658611492803*c_1001_3^15 + 14897589349646681096589343418141763931557117/7673857301676779029871\ 88545214658611492803*c_1001_3^14 + 239496249877151091691211587652723105230549399/306954292067071161194\ 8754180858634445971212*c_1001_3^13 + 510257753335165373313529922286318171880084913/306954292067071161194\ 8754180858634445971212*c_1001_3^12 + 1121980143257014145191553690440158141660948857/30695429206707116119\ 48754180858634445971212*c_1001_3^11 + 453048357873744902419738148348270409750785561/153477146033535580597\ 4377090429317222985606*c_1001_3^10 + 985439673377695475300493678140724837274311413/153477146033535580597\ 4377090429317222985606*c_1001_3^9 + 2383754849749623620748329223565785990716848047/30695429206707116119\ 48754180858634445971212*c_1001_3^8 - 3142335152580612134437631186091214916738341/45140337068686935469834\ 620306744624205459*c_1001_3^7 + 47136657523136318020007029421175170\ 09042815201/3069542920670711611948754180858634445971212*c_1001_3^6 - 137950727496385463806914965659310678052532749/180561348274747741879\ 338481226978496821836*c_1001_3^5 + 9034652891972114314776396152531842985816887/76547205004257147430143\ 49578201083406412*c_1001_3^4 - 156922407643205723677010121634987989\ 37380809/37433450252081848926204319278763834706966*c_1001_3^3 + 260390516099357367326780313822939805954917546/767385730167677902987\ 188545214658611492803*c_1001_3^2 - 175087906197684123508694358726101152967794671/306954292067071161194\ 8754180858634445971212*c_1001_3 + 471193526669873760873291483474932\ 21734046639/1534771460335355805974377090429317222985606, c_0101_3 + 1167339251112767696415115477497087050/4540743965489218360870\ 938137364843854987*c_1001_3^17 + 1569245018973310931287511445000020\ 93850/4540743965489218360870938137364843854987*c_1001_3^16 + 954215521500979563329538516859520055134/454074396548921836087093813\ 7364843854987*c_1001_3^15 + 159571222166732666119612716168390836010\ 55/4540743965489218360870938137364843854987*c_1001_3^14 + 71858462749248109190452989723530423926717/9081487930978436721741876\ 274729687709974*c_1001_3^13 + 3649789119380373259857530823405650168\ 65625/9081487930978436721741876274729687709974*c_1001_3^12 + 129236827231265068245343098738702929122769/908148793097843672174187\ 6274729687709974*c_1001_3^11 + 300057613639461561100308574700472854\ 0593037/18162975861956873443483752549459375419948*c_1001_3^10 - 1389372068071894081279528758474018742351320/45407439654892183608709\ 38137364843854987*c_1001_3^9 + 170410130695031357119102698257916361\ 77674195/18162975861956873443483752549459375419948*c_1001_3^8 - 349070278530473107826609410246783901164956/267102586205248138874761\ 066903814344411*c_1001_3^7 + 79563757813451613846550696569606383187\ 67584/4540743965489218360870938137364843854987*c_1001_3^6 - 787530418256332082568060705337005662126669/534205172410496277749522\ 133807628688822*c_1001_3^5 + 52222027060878485652822331243659740073\ 607/45294204144530856467540530048527120748*c_1001_3^4 - 124474723918984147867805876463113221935213/221499705633620407847362\ 835969016773414*c_1001_3^3 + 24079859345285551806508191882623802053\ 90377/9081487930978436721741876274729687709974*c_1001_3^2 - 266854469598269886207908121371175977979660/454074396548921836087093\ 8137364843854987*c_1001_3 + 728496875511153457771358262390097291495\ 05/4540743965489218360870938137364843854987, c_0101_7 - 32115161425536135375576390986869012666/454074396548921836087\ 0938137364843854987*c_1001_3^17 - 195111326173663164862645471169616\ 347919/4540743965489218360870938137364843854987*c_1001_3^16 - 3479154151192820626083817583346300231539/45407439654892183608709381\ 37364843854987*c_1001_3^15 - 93906607445648628584171863129291737500\ 58/4540743965489218360870938137364843854987*c_1001_3^14 - 92993155293734596603649076721489498170231/9081487930978436721741876\ 274729687709974*c_1001_3^13 - 1730789105862921281150513824618745664\ 67771/18162975861956873443483752549459375419948*c_1001_3^12 - 856304035528163593179986304242718433822101/181629758619568734434837\ 52549459375419948*c_1001_3^11 + 18361723441228210621004375469384956\ 5238246/4540743965489218360870938137364843854987*c_1001_3^10 - 921267078441433932342764163251214950147871/454074396548921836087093\ 8137364843854987*c_1001_3^9 + 4189731969502114007797713327867802955\ 035107/18162975861956873443483752549459375419948*c_1001_3^8 - 412685798062464380453305994976565561601195/106841034482099255549904\ 4267615257377644*c_1001_3^7 + 5805145103362792453105686751317085288\ 764779/18162975861956873443483752549459375419948*c_1001_3^6 - 330162678031640004170491673059353256532321/106841034482099255549904\ 4267615257377644*c_1001_3^5 + 7558426720891421478389709088257656343\ 697/45294204144530856467540530048527120748*c_1001_3^4 - 44745151489630069839828605698194223196515/4429994112672408156947256\ 71938033546828*c_1001_3^3 + 132088658431406058297646645426647848271\ 761/4540743965489218360870938137364843854987*c_1001_3^2 - 85912980310565672997370929614102631750999/9081487930978436721741876\ 274729687709974*c_1001_3 - 1354360445678958194381493870600565464584\ /4540743965489218360870938137364843854987, c_1001_0 - 1, c_1001_2 + 18167062828772196389158376391250324726/454074396548921836087\ 0938137364843854987*c_1001_3^17 + 101181780721317151537125614604132\ 603519/4540743965489218360870938137364843854987*c_1001_3^16 + 1909620685605872824499370120177732231725/45407439654892183608709381\ 37364843854987*c_1001_3^15 + 42985149719861005135968318984773911441\ 12/4540743965489218360870938137364843854987*c_1001_3^14 + 46628884970363035743163786816912613770177/9081487930978436721741876\ 274729687709974*c_1001_3^13 + 4069499786434414416531977309519140689\ 5779/18162975861956873443483752549459375419948*c_1001_3^12 + 416542069966245863354890099374483020735487/181629758619568734434837\ 52549459375419948*c_1001_3^11 - 34418443219515247041883206009636049\ 8850621/9081487930978436721741876274729687709974*c_1001_3^10 + 1101678264552053895013526838695087160471581/90814879309784367217418\ 76274729687709974*c_1001_3^9 - 343100176009760104193244756285651024\ 5839713/18162975861956873443483752549459375419948*c_1001_3^8 + 285831372296603707891835217401286364246851/106841034482099255549904\ 4267615257377644*c_1001_3^7 - 5167908510350709501700098782835288040\ 158783/18162975861956873443483752549459375419948*c_1001_3^6 + 256000361955253357002475019576210227014627/106841034482099255549904\ 4267615257377644*c_1001_3^5 - 7928516196817334116941042866265417042\ 655/45294204144530856467540530048527120748*c_1001_3^4 + 38138161279213233668766833134380730488403/4429994112672408156947256\ 71938033546828*c_1001_3^3 - 196563467529149680140820208620101874999\ 172/4540743965489218360870938137364843854987*c_1001_3^2 + 85639845829169003744787273619686272099261/9081487930978436721741876\ 274729687709974*c_1001_3 - 1559831592575232302668090258398113523521\ 8/4540743965489218360870938137364843854987, c_1001_3^18 + 6*c_1001_3^17 + 108*c_1001_3^16 + 285*c_1001_3^15 + 5757/4*c_1001_3^14 + 1275*c_1001_3^13 + 13491/2*c_1001_3^12 - 6046*c_1001_3^11 + 119809/4*c_1001_3^10 - 35457*c_1001_3^9 + 121231/2*c_1001_3^8 - 53240*c_1001_3^7 + 107545/2*c_1001_3^6 - 32310*c_1001_3^5 + 21371*c_1001_3^4 - 8026*c_1001_3^3 + 13921/4*c_1001_3^2 - 620*c_1001_3 + 169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.450 Total time: 0.660 seconds, Total memory usage: 32.09MB