Magma V2.19-8 Tue Aug 20 2013 23:47:40 on localhost [Seed = 3549804934] Type ? for help. Type -D to quit. Loading file "K10a42__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a42 geometric_solution 12.07646143 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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.852788757415 1.099912754906 0 5 7 6 0132 0132 0132 0132 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 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.646088613644 0.324266210749 8 0 3 4 0132 0132 2310 3201 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -5 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527663887162 0.539572538924 6 2 6 0 0132 3201 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 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.358588454831 0.541054348536 8 2 0 5 3012 2310 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 -6 0 6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633607537474 0.892273660235 9 1 4 10 0132 0132 1230 0132 0 0 0 0 0 -1 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 -6 1 5 0 0 -6 6 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.625078896123 0.420902334493 3 3 1 10 0132 1230 0132 1023 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 6 -6 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.910903699722 0.768380942850 11 12 9 1 0132 0132 1023 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 -5 5 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.743846406360 0.659956055970 2 11 9 4 0132 1230 0132 1230 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 5 0 -5 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.965387190645 1.688160416164 5 11 7 8 0132 2103 1023 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 -5 5 -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.526373939060 0.718311600088 12 12 5 6 3012 0213 0132 1023 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 5 -5 0 0 0 -6 6 -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.705474419777 0.729484953096 7 9 8 12 0132 2103 3012 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 -1 0 1 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 0.495247890441 0.521931045348 11 7 10 10 3012 0132 0213 1230 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 -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.705474419777 0.729484953096 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_1001_0']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_0101_3'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_1' : negation(d['c_0110_4']), 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : d['c_0011_3'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0110_4'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0110_4'], 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_1001_0']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0101_1'], 'c_1100_8' : d['c_0110_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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_3'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_3']), '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_11'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0011_10'], 'c_0101_7' : d['c_0011_11'], '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' : 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_10'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : negation(d['c_0011_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_5'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3']})} 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0110_4, c_1001_0, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 8218339565882536619520772263578221825210842409766210993326258934382\ 5838134568/10934374495039733852928819394247499622464119980011272618\ 62929522389007300217*c_1001_5^24 - 6164037521885959718667650538945474015546660538931918346263406028717\ 3733073096/10934374495039733852928819394247499622464119980011272618\ 62929522389007300217*c_1001_5^23 - 1277267791629236979150410458226598417070616855148130757623106807573\ 64956890220/1093437449503973385292881939424749962246411998001127261\ 862929522389007300217*c_1001_5^22 + 6129982895342006252820279423665266932614348001647290873513291278404\ 63957905176/1093437449503973385292881939424749962246411998001127261\ 862929522389007300217*c_1001_5^21 + 3430743849960436999276862272302036938595866270837079611002767768877\ 992626196587/218687489900794677058576387884949992449282399600225452\ 3725859044778014600434*c_1001_5^20 + 1802332824834676067499097050146026674982243495614382988417469106616\ 186990657663/218687489900794677058576387884949992449282399600225452\ 3725859044778014600434*c_1001_5^19 + 1053469753077335435708957434474554999299856793762444479720147415365\ 511020960219/109343744950397338529288193942474996224641199800112726\ 1862929522389007300217*c_1001_5^18 - 2996299074384911102872008596711904904790021456124230433792922192019\ 2810692849449/21868748990079467705857638788494999244928239960022545\ 23725859044778014600434*c_1001_5^17 - 2742545656996203082993665402105535964356483084381226364795516943783\ 6334389474345/21868748990079467705857638788494999244928239960022545\ 23725859044778014600434*c_1001_5^16 - 5413929911419211261895691535005452739292957998591953519730961940238\ 7050932409565/10934374495039733852928819394247499622464119980011272\ 61862929522389007300217*c_1001_5^15 - 1167955464232010414998087919462441605485654633853921525926224340846\ 478861666467/591047270002147775833990237526891871484547025946555276\ 68266460669676070282*c_1001_5^14 - 8949870188494822036234551411823727172408822938488454130013740140312\ 6976380259908/10934374495039733852928819394247499622464119980011272\ 61862929522389007300217*c_1001_5^13 + 9029578442970094938914391700722201216873311929652133750063647357570\ 393677310983/109343744950397338529288193942474996224641199800112726\ 1862929522389007300217*c_1001_5^12 - 9237016822251646883116535215707540722612707779690539548276502125803\ 1767085947669/10934374495039733852928819394247499622464119980011272\ 61862929522389007300217*c_1001_5^11 + 1206273420675131176760273493895662254752998515288022070926726142597\ 45946300925259/2186874899007946770585763878849499924492823996002254\ 523725859044778014600434*c_1001_5^10 - 1998706280733663654960437665244300998278686059622669419529152711039\ 63301892441887/2186874899007946770585763878849499924492823996002254\ 523725859044778014600434*c_1001_5^9 + 8292347672727570163664512832470713010413743075137470298050810304561\ 7591671042943/10934374495039733852928819394247499622464119980011272\ 61862929522389007300217*c_1001_5^8 - 1997525837483461526601545356858654619607849671362222750314523681911\ 00404132998601/2186874899007946770585763878849499924492823996002254\ 523725859044778014600434*c_1001_5^7 + 7963213983014745155019842023146794407141420305885346085252920551030\ 7517886230554/10934374495039733852928819394247499622464119980011272\ 61862929522389007300217*c_1001_5^6 - 1060525264173481330761686735651227782434275626460280008576922803114\ 55141738833515/2186874899007946770585763878849499924492823996002254\ 523725859044778014600434*c_1001_5^5 + 3570705567001795985453251636468084718645518533964798278613018922961\ 6050449633589/21868748990079467705857638788494999244928239960022545\ 23725859044778014600434*c_1001_5^4 - 2826534803616286601023314070092984045173187401299688521289020060057\ 498218935501/218687489900794677058576387884949992449282399600225452\ 3725859044778014600434*c_1001_5^3 - 1643057341587907027343642648795116666152529240125718829080673232568\ 748302608177/218687489900794677058576387884949992449282399600225452\ 3725859044778014600434*c_1001_5^2 + 1600154891567547287304577539147827897874237445470952880284599607523\ 49989640030/1093437449503973385292881939424749962246411998001127261\ 862929522389007300217*c_1001_5 + 3765865231758542650573211408785011\ 2043069050477519736134346720583258731875377/10934374495039733852928\ 81939424749962246411998001127261862929522389007300217, c_0011_0 - 1, c_0011_10 - 69911804970038478794668086709666991309126042506237688880954\ 11375496/4099373804771703403508736093133699515270493774086170349280\ 18915087*c_1001_5^24 + 94621424372910333219133947647378163453019081\ 12236102907112644155528/4099373804771703403508736093133699515270493\ 77408617034928018915087*c_1001_5^23 + 2481450751507170896899946145914326872562913932648663648128466053716\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5^22 + 2289801685549739324316015013271591511389466209166651\ 0291962085262432/40993738047717034035087360931336995152704937740861\ 7034928018915087*c_1001_5^21 + 121034478240931053679407189427924334\ 911177935324260825171582784921199/819874760954340680701747218626739\ 903054098754817234069856037830174*c_1001_5^20 - 3551451484978719772126312592576932579077173090283111545748364821196\ 55/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^19 + 10725796033680971205287494847764538407805370557946\ 6157315015751210292/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^18 - 167696519890762773963689760878230\ 4713869713761321388597821914624809153/81987476095434068070174721862\ 6739903054098754817234069856037830174*c_1001_5^17 + 6231162686241922437342999158324133227671052140752802101233333521211\ 77/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^16 - 41823867866237542728089000893396751710458925533889\ 68336804610558796575/8198747609543406807017472186267399030540987548\ 17234069856037830174*c_1001_5^15 + 5338764753180781220294122306336295744910171595400138392561546220725\ 7/11079388661545144333807394846307295987217550740773433376432943651\ *c_1001_5^14 - 6773349940763224169580080355820789035827278084135993\ 898118404241946859/819874760954340680701747218626739903054098754817\ 234069856037830174*c_1001_5^13 + 3729705325318572120052064001125186\ 178352875824546575836753501871315520/409937380477170340350873609313\ 369951527049377408617034928018915087*c_1001_5^12 - 9781251587354831211207764428086181020600550454044721645283453900660\ 571/819874760954340680701747218626739903054098754817234069856037830\ 174*c_1001_5^11 + 5231801458979867019231856649662415290007736491593\ 278828656912274617982/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^10 - 1206584834583295442938271998692051902808361567054546917114667945482\ 7111/81987476095434068070174721862673990305409875481723406985603783\ 0174*c_1001_5^9 + 5813851702633045540986419683157434166721120444973\ 964632625745437301271/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^8 - 9402037003324403772166918030061211390682742442012268074347542356495\ 569/819874760954340680701747218626739903054098754817234069856037830\ 174*c_1001_5^7 + 27068725673596262935069660650852227259874240840636\ 18725139881458397729/4099373804771703403508736093133699515270493774\ 08617034928018915087*c_1001_5^6 - 107887607854983817382923796119803\ 6781365099465363730958434760071689698/40993738047717034035087360931\ 3369951527049377408617034928018915087*c_1001_5^5 + 4452213162853334401772668992327221545432476208756246683186168962607\ 11/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^4 - 640581897144634540248417136504054371368237003828389\ 9024381989571583/81987476095434068070174721862673990305409875481723\ 4069856037830174*c_1001_5^3 - 1339886124759645606691028608131977572\ 3922750347414021555609939766903/40993738047717034035087360931336995\ 1527049377408617034928018915087*c_1001_5^2 + 1691243043112845257915655163929331335355571860607768868029977317063\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5 + 2352805382367409270308303090787826707686827370200524780\ 99296598083/4099373804771703403508736093133699515270493774086170349\ 28018915087, c_0011_11 - 87063693049060063387117449627831462118161717062041343661125\ 35502592/4099373804771703403508736093133699515270493774086170349280\ 18915087*c_1001_5^24 + 86628127262198725294473149240331936841351921\ 69230378341253840433728/4099373804771703403508736093133699515270493\ 77408617034928018915087*c_1001_5^23 + 6546175464280806285806533421683487680805124575138142698903930304088\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5^22 + 3100716507992152960427303587080273666639648269986784\ 0503671623084264/40993738047717034035087360931336995152704937740861\ 7034928018915087*c_1001_5^21 + 860134321606892770515655219716615456\ 32672445941869188831614763208860/4099373804771703403508736093133699\ 51527049377408617034928018915087*c_1001_5^20 - 1921526571961602713121383348094298368272106874699670972254006685642\ 44/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^19 + 11837523281382757626361188651031376243920400191649\ 0742751858716628259/81987476095434068070174721862673990305409875481\ 7234069856037830174*c_1001_5^18 - 204239427070712803194399814297860\ 8461648950854739220350091282984032775/81987476095434068070174721862\ 6739903054098754817234069856037830174*c_1001_5^17 + 8307545305762617960810758009172086722478649265385037609771314101793\ 13/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^16 - 24117825645021360624498265944137013848694731414848\ 69247186414697963567/4099373804771703403508736093133699515270493774\ 08617034928018915087*c_1001_5^15 + 8844046194433759694847037350418118539439733698308647078802203255479\ 7/22158777323090288667614789692614591974435101481546866752865887302\ *c_1001_5^14 - 7047758361455873207989694084483584930910617555934534\ 562076490639179511/819874760954340680701747218626739903054098754817\ 234069856037830174*c_1001_5^13 + 6892395332611480260747480284759939\ 015625975724709681021626932163184987/819874760954340680701747218626\ 739903054098754817234069856037830174*c_1001_5^12 - 4728825084395469813377781782495662540340580631534314323262211568717\ 029/409937380477170340350873609313369951527049377408617034928018915\ 087*c_1001_5^11 + 9688705874414053792591913469915944408455961991541\ 059687643998214365771/819874760954340680701747218626739903054098754\ 817234069856037830174*c_1001_5^10 - 1135353071915838162721584827756889505978364281569876124940310584002\ 2059/81987476095434068070174721862673990305409875481723406985603783\ 0174*c_1001_5^9 + 1037668361892899852681976722829120693907447763887\ 1115175203322928569809/81987476095434068070174721862673990305409875\ 4817234069856037830174*c_1001_5^8 - 3909612258083666481086616266364075738225983193228667329191222398693\ 763/409937380477170340350873609313369951527049377408617034928018915\ 087*c_1001_5^7 + 39077122467222411621661103783016927767654561721798\ 36232057315220232823/8198747609543406807017472186267399030540987548\ 17234069856037830174*c_1001_5^6 - 125495707296776451277573173786093\ 5104294778968133199968959188558449427/81987476095434068070174721862\ 6739903054098754817234069856037830174*c_1001_5^5 + 1246944599801821988132308679194485799202606472856749733948049053646\ 39/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^4 + 502157928762049180987542304962520579590671746582023\ 77382752225053413/8198747609543406807017472186267399030540987548172\ 34069856037830174*c_1001_5^3 - 122617609776687290489220142371777027\ 23940408373611861909714638382432/4099373804771703403508736093133699\ 51527049377408617034928018915087*c_1001_5^2 + 600144417309860693790094458303094626038517480327114859414129589837/\ 409937380477170340350873609313369951527049377408617034928018915087*\ c_1001_5 + 53829554285704886867781891573646471811631334001606349293\ 9350738398/40993738047717034035087360931336995152704937740861703492\ 8018915087, c_0011_3 - 882466706143957852391171263709310333742113982058890041822643\ 511112/409937380477170340350873609313369951527049377408617034928018\ 915087*c_1001_5^24 + 1350598238195416734299063097495155477515202775\ 555426177629944262640/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^23 + 553495180882196790775413725706740105746099634501256973695695772180/\ 409937380477170340350873609313369951527049377408617034928018915087*\ c_1001_5^22 + 21178881732116760096793861287431493507949452728730371\ 63066074005964/4099373804771703403508736093133699515270493774086170\ 34928018915087*c_1001_5^21 + 13806178412553803158092059461330065201\ 426558980560905421769289170111/819874760954340680701747218626739903\ 054098754817234069856037830174*c_1001_5^20 - 2508383362010319709417165011762419988178841582687066614230928846701\ 7/40993738047717034035087360931336995152704937740861703492801891508\ 7*c_1001_5^19 + 141483095779389203033422682456631397795775526083740\ 88999360897111518/4099373804771703403508736093133699515270493774086\ 17034928018915087*c_1001_5^18 - 19005828841572624601056110446639015\ 6357432511842978912011454650760087/81987476095434068070174721862673\ 9903054098754817234069856037830174*c_1001_5^17 + 9014055774629011998623233444359848298627013480875615568412698262068\ 7/40993738047717034035087360931336995152704937740861703492801891508\ 7*c_1001_5^16 - 225737886532825061852049514674486149643932862938882\ 087718188593500072/409937380477170340350873609313369951527049377408\ 617034928018915087*c_1001_5^15 + 6569976873197328134229869912278997\ 225629172435738085374541177984013/110793886615451443338073948463072\ 95987217550740773433376432943651*c_1001_5^14 - 3513740053176937430237938659127491707367186689171989099204828469500\ 41/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^13 + 38761528340015241609974349928110921820944645112223\ 7521926224924008390/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^12 - 508849697295184752787986603127120\ 727138827144765992035612719740992723/409937380477170340350873609313\ 369951527049377408617034928018915087*c_1001_5^11 + 4944875146985560273168391813908870074391374506411218767268013383461\ 95/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^10 - 58221194193632693381073655559650240800836245842047\ 0912890447029958116/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^9 + 5095454099892252572843801639409237\ 92285330396334840464596123352156156/4099373804771703403508736093133\ 69951527049377408617034928018915087*c_1001_5^8 - 3446361700348883311139844851068200847451577297811290661595129940641\ 09/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^7 + 604112693813484229987983195581568493998079151464272\ 94191337000880967/4099373804771703403508736093133699515270493774086\ 17034928018915087*c_1001_5^6 + 185957443432190012580384150391845636\ 055642583661332763754985491788893/819874760954340680701747218626739\ 903054098754817234069856037830174*c_1001_5^5 - 1100409834609195474865185522599397709409324667312338036993486921530\ 31/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^4 + 461228635628887984146669912003149368736152672484450\ 97765277126029319/4099373804771703403508736093133699515270493774086\ 17034928018915087*c_1001_5^3 - 889680344950266174198464747281865550\ 2977157264814477449868893328155/40993738047717034035087360931336995\ 1527049377408617034928018915087*c_1001_5^2 - 1241266547196777674046363571334952979086823820902774439446898113949\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5 + 5267892774177286645757673065554212332119797211473218557\ 37062066427/8198747609543406807017472186267399030540987548172340698\ 56037830174, c_0101_0 - 138425529989366045878327619709913446602261639961462269679772\ 9973400/40993738047717034035087360931336995152704937740861703492801\ 8915087*c_1001_5^24 - 111455489813479307538653194470270039079146945\ 266002799762230337112/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^23 + 2772020964899247107957717153554737501051838547344767876291797173428\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5^22 + 5707344048143837940722583770553130568712415274430173\ 994473210779568/409937380477170340350873609313369951527049377408617\ 034928018915087*c_1001_5^21 + 3752029225717079987873139002157547614\ 5663921388435012998964974887093/81987476095434068070174721862673990\ 3054098754817234069856037830174*c_1001_5^20 - 3328961785757919479541527539081907226889860386164654467482997830361\ 9/81987476095434068070174721862673990305409875481723406985603783017\ 4*c_1001_5^19 - 508823637051631275400356898819153645003854704392280\ 83261557647423353/8198747609543406807017472186267399030540987548172\ 34069856037830174*c_1001_5^18 - 14525692992133319464545482840231207\ 7394866757001095650644802163331066/40993738047717034035087360931336\ 9951527049377408617034928018915087*c_1001_5^17 - 2213990550741350364322984073419531566195581086412992316841126782267\ 55/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^16 - 56788895405396597230149963319493300822388668740354\ 7957675356617702741/81987476095434068070174721862673990305409875481\ 7234069856037830174*c_1001_5^15 - 951433682104562217240680236149502\ 2585659442885289640567303505798261/22158777323090288667614789692614\ 591974435101481546866752865887302*c_1001_5^14 - 2214790996740507086912322056942611846013799741747227469566034055776\ 41/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^13 - 26793767239892116404456375382957076293774942420401\ 3453723199971753097/81987476095434068070174721862673990305409875481\ 7234069856037830174*c_1001_5^12 - 158308588183475245685568980971608\ 902889446817027046437216995447258731/819874760954340680701747218626\ 739903054098754817234069856037830174*c_1001_5^11 - 3613667309252031844123516515514389037397646035839804329394940078304\ 47/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^10 + 54570790860140524297496480638894441415461830953775\ 609402997005414624/409937380477170340350873609313369951527049377408\ 617034928018915087*c_1001_5^9 - 64720420017161937610083884229063405\ 0226370247700139881019140405904193/81987476095434068070174721862673\ 9903054098754817234069856037830174*c_1001_5^8 + 8756593949312223751231670077639733280780926785473438935655894205966\ 13/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^7 - 108020154827290708272317628424878679650613379543771\ 7021665655545412327/81987476095434068070174721862673990305409875481\ 7234069856037830174*c_1001_5^6 + 7198726251767619104841648153155456\ 98895577007245290704591479347492837/8198747609543406807017472186267\ 39903054098754817234069856037830174*c_1001_5^5 - 1678743268096467995474192242221371624647737635777550950162029890719\ 27/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^4 + 361563878336908502957173192946872465732384422793086\ 33102502972877772/4099373804771703403508736093133699515270493774086\ 17034928018915087*c_1001_5^3 - 365043591220781237623433006377846841\ 2446699447469270631292500512273/40993738047717034035087360931336995\ 1527049377408617034928018915087*c_1001_5^2 - 2306323721373718487483679796904723226973568721198809453896491157340\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5 + 1113269797955545227288766217431641505107587452632607801\ 99012883474/4099373804771703403508736093133699515270493774086170349\ 28018915087, c_0101_1 + 137338508911007626589267763756438551707108978399796235657256\ 270224/409937380477170340350873609313369951527049377408617034928018\ 915087*c_1001_5^24 + 1033766798300759349214925715943699342483677570\ 803232370119403469112/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^23 - 986361341146557634113936492219443297150890468232606388952456606960/\ 409937380477170340350873609313369951527049377408617034928018915087*\ c_1001_5^22 - 12543667134609974054823216560488382874732642801255918\ 12935023398444/4099373804771703403508736093133699515270493774086170\ 34928018915087*c_1001_5^21 - 60089809379017968776802498520335876129\ 26037561449261393466422420815/4099373804771703403508736093133699515\ 27049377408617034928018915087*c_1001_5^20 - 1984277221190447130980169560784252071662656117656091299648057068332\ 9/81987476095434068070174721862673990305409875481723406985603783017\ 4*c_1001_5^19 + 412054380819847897594853147119304767950947057738786\ 72150336970458071/8198747609543406807017472186267399030540987548172\ 34069856037830174*c_1001_5^18 + 20011773129703296589108587567956925\ 017639235761085372942250996683587/819874760954340680701747218626739\ 903054098754817234069856037830174*c_1001_5^17 + 1362127363931275026666379929016401308270325324458831047743916409773\ 10/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^16 + 29697892722316461814248955987041369860195961517873\ 743089415774922415/819874760954340680701747218626739903054098754817\ 234069856037830174*c_1001_5^15 + 1789146121460848058722908604947692\ 4464324482858371707916531548926783/22158777323090288667614789692614\ 591974435101481546866752865887302*c_1001_5^14 - 1821072943354344798572777903589253365580119275543781112292803267941\ 17/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^13 + 47372397013771463577058495863277216846229792550859\ 0026067789809192659/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^12 - 631074985452145608562775366462144\ 184134029660342960271183303143172115/819874760954340680701747218626\ 739903054098754817234069856037830174*c_1001_5^11 + 1186784569870920477119431288290410394848176709226657022052581291325\ 629/819874760954340680701747218626739903054098754817234069856037830\ 174*c_1001_5^10 - 1038605483322315249038621756154940474123990469690\ 267431827183144397353/819874760954340680701747218626739903054098754\ 817234069856037830174*c_1001_5^9 + 7021872149242134596048761077557137533653468364270995445639767394600\ 14/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^8 - 123162217230973768914569738488165997752473011366556\ 7044937206577604215/81987476095434068070174721862673990305409875481\ 7234069856037830174*c_1001_5^7 + 1060132299134616854797392654605132\ 787611818236555981672775769280627225/819874760954340680701747218626\ 739903054098754817234069856037830174*c_1001_5^6 - 5936641894153128265353039075399826158334108533340931064305822710103\ 15/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^5 + 281817000659243209250164175706414990571808971056652\ 028461405836759919/819874760954340680701747218626739903054098754817\ 234069856037830174*c_1001_5^4 - 36725271405130463340430858367339311\ 956634520501942299564907605330956/409937380477170340350873609313369\ 951527049377408617034928018915087*c_1001_5^3 + 6042800248398079825089298549175300155601926127446452997344917501021\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5^2 + 15563920454401105266845207453904434977202923975003317\ 41899901071351/4099373804771703403508736093133699515270493774086170\ 34928018915087*c_1001_5 - 16893515930241878881932604333118533965536\ 0130558040500687805642202/40993738047717034035087360931336995152704\ 9377408617034928018915087, c_0101_10 - 18234242059183965182813203280269124576361309153398656008886\ 650220464/409937380477170340350873609313369951527049377408617034928\ 018915087*c_1001_5^24 + 1850757785284909330722010598518391153682615\ 1853691822886264017564048/40993738047717034035087360931336995152704\ 9377408617034928018915087*c_1001_5^23 + 1488774010110317373576324267147902112930351446290917550534583088011\ 2/40993738047717034035087360931336995152704937740861703492801891508\ 7*c_1001_5^22 + 627660623670047702045996756357426647077276692376877\ 66989012048688384/4099373804771703403508736093133699515270493774086\ 17034928018915087*c_1001_5^21 + 17741462790405887145691242752140807\ 4984885855686768973959534069047145/40993738047717034035087360931336\ 9951527049377408617034928018915087*c_1001_5^20 - 4109348491780413598916857218223988390864930519436102323309858666254\ 75/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^19 + 23760852179066499762169663662915056609390431422572\ 3840456412328875247/81987476095434068070174721862673990305409875481\ 7234069856037830174*c_1001_5^18 - 210102757042955551333242339912474\ 4561473601892927142525648429787924372/40993738047717034035087360931\ 3369951527049377408617034928018915087*c_1001_5^17 + 9016602550050601228834962793048929216036355564954762034683683812376\ 44/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^16 - 97917597290703102491834108859352872919208890506617\ 20843328675180464423/8198747609543406807017472186267399030540987548\ 17234069856037830174*c_1001_5^15 + 1842870628492176860621811810559351281302737016118522214663060978576\ 91/2215877732309028866761478969261459197443510148154686675286588730\ 2*c_1001_5^14 - 707885665745068982153619066130400957884078909625611\ 0135855665917925746/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^13 + 696662652663921817739607225715163\ 7423763731298744448464938439431008198/40993738047717034035087360931\ 3369951527049377408617034928018915087*c_1001_5^12 - 1905465807958085016816306220458107781680082736888141375472252513702\ 3103/81987476095434068070174721862673990305409875481723406985603783\ 0174*c_1001_5^11 + 192366519535004910968656289873201252467481380020\ 80473939567699927330691/8198747609543406807017472186267399030540987\ 54817234069856037830174*c_1001_5^10 - 1132988787545233734031952535055220864638232646640658259148158946228\ 7359/40993738047717034035087360931336995152704937740861703492801891\ 5087*c_1001_5^9 + 1018405879679904979800657317281231326137846139649\ 0379672507410723226298/40993738047717034035087360931336995152704937\ 7408617034928018915087*c_1001_5^8 - 1488688352041765754911787414465842839803172451867404877577861860452\ 0393/81987476095434068070174721862673990305409875481723406985603783\ 0174*c_1001_5^7 + 6624630621600347708226918644211492986224662381877\ 474931556691886303287/819874760954340680701747218626739903054098754\ 817234069856037830174*c_1001_5^6 - 7575993346503687581550140110677852936149883033364579270862067317002\ 14/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^5 - 139055341485334298627900122592110232063918631201498\ 225165199161724420/409937380477170340350873609313369951527049377408\ 617034928018915087*c_1001_5^4 + 10292854678352778982021776582315082\ 1135696167781316831418047979747376/40993738047717034035087360931336\ 9951527049377408617034928018915087*c_1001_5^3 - 4428987233985142870534618948413882826627100916781268312818191078716\ 9/81987476095434068070174721862673990305409875481723406985603783017\ 4*c_1001_5^2 - 3028258339149910076943137393296364382221688814071755\ 533944005784548/409937380477170340350873609313369951527049377408617\ 034928018915087*c_1001_5 + 4704855007030974128673844162445407612998\ 78793169139422912794426889/4099373804771703403508736093133699515270\ 49377408617034928018915087, c_0101_3 - 113111913120463912252969483426315290384679372661638256668959\ 31958736/4099373804771703403508736093133699515270493774086170349280\ 18915087*c_1001_5^24 + 14133922859730457778878330532773281956958360\ 175662767620052508507696/409937380477170340350873609313369951527049\ 377408617034928018915087*c_1001_5^23 + 5406854470347767746613644714177176466063585406128160880079830302704\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5^22 + 3782710195955709075073938620825687213598758864089210\ 2122870690978712/40993738047717034035087360931336995152704937740861\ 7034928018915087*c_1001_5^21 + 101716374527079462748910974043125914\ 740945761160068454887088585032639/409937380477170340350873609313369\ 951527049377408617034928018915087*c_1001_5^20 - 2765214067282010889516173542075336114763643538080098232673908217039\ 17/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^19 + 29019983152093976379462341465140125614360530294249\ 8497534617056113085/81987476095434068070174721862673990305409875481\ 7234069856037830174*c_1001_5^18 - 268894237294343598089881015196366\ 2779401769310703065237398980928950329/81987476095434068070174721862\ 6739903054098754817234069856037830174*c_1001_5^17 + 8725083406240858686581613772145293612937928915440260035769512621261\ 55/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^16 - 66074100641647221248682005779876764852996648878197\ 91145016714118886363/8198747609543406807017472186267399030540987548\ 17234069856037830174*c_1001_5^15 + 7765383468643042014506467965978927994674756410669047770755509413818\ 9/11079388661545144333807394846307295987217550740773433376432943651\ *c_1001_5^14 - 1042698968260483669082527633278939371917229740790656\ 1538354843555842525/81987476095434068070174721862673990305409875481\ 7234069856037830174*c_1001_5^13 + 554918959903756188827365847771148\ 7844788227831648110092456185723659315/40993738047717034035087360931\ 3369951527049377408617034928018915087*c_1001_5^12 - 1480654276062380602390986270785780012474698454619628976374222653560\ 6019/81987476095434068070174721862673990305409875481723406985603783\ 0174*c_1001_5^11 + 779346635824662804308734986801106369424434580132\ 6079576067768687056713/40993738047717034035087360931336995152704937\ 7408617034928018915087*c_1001_5^10 - 1812295653284098023375834734282783840363149722428377387641355796651\ 8829/81987476095434068070174721862673990305409875481723406985603783\ 0174*c_1001_5^9 + 8603919134864874465386400456540643290502455652426\ 424654711683319040766/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^8 - 1371838248216453945775428650408165438268435752770221577997593220528\ 9561/81987476095434068070174721862673990305409875481723406985603783\ 0174*c_1001_5^7 + 3829038500634388543330165913920652659339804334535\ 493904821878662277910/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^6 - 2981189286604055775442370337777136340610993854155899363797249575802\ 995/819874760954340680701747218626739903054098754817234069856037830\ 174*c_1001_5^5 + 31049071056588816235125761600130612632553295837169\ 5427999365646066682/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^4 - 2576648072015065290513304289420201\ 3992700184933588164276714781324562/40993738047717034035087360931336\ 9951527049377408617034928018915087*c_1001_5^3 - 1103110782813017679426072799603693727079622866755143358656000555393\ 5/81987476095434068070174721862673990305409875481723406985603783017\ 4*c_1001_5^2 - 1592488898229498978296463699213630042544889704704946\ 045114422590245/819874760954340680701747218626739903054098754817234\ 069856037830174*c_1001_5 + 2918197663237976894992099691304076349756\ 74094054756845274830866322/4099373804771703403508736093133699515270\ 49377408617034928018915087, c_0101_5 + 142156198766678483463314872838697854739646468112509945747973\ 287056/409937380477170340350873609313369951527049377408617034928018\ 915087*c_1001_5^24 + 2117690342010138746388445006261561222972606010\ 237736593373198166944/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^23 - 2620670567551399082447473141143425559905699648219277670314774849032\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5^22 - 1943350476486359251919185998835064649644132985512765\ 376545404440064/409937380477170340350873609313369951527049377408617\ 034928018915087*c_1001_5^21 - 9106633857518327127060040501492336494\ 552802990110308626896370518399/409937380477170340350873609313369951\ 527049377408617034928018915087*c_1001_5^20 - 1822197698885773596002640727336198536325783204288842540978613539014\ 6/40993738047717034035087360931336995152704937740861703492801891508\ 7*c_1001_5^19 + 513378418158379217745525018705350445170446531012235\ 35029543007606002/4099373804771703403508736093133699515270493774086\ 17034928018915087*c_1001_5^18 - 10391520078035291660313181676881090\ 448713182114240341206133077191055/819874760954340680701747218626739\ 903054098754817234069856037830174*c_1001_5^17 + 2579589053449845851682431537604660633268922976001771433505515286985\ 53/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^16 - 98164196063616114383794875660735083070118304140522\ 078106348556043628/409937380477170340350873609313369951527049377408\ 617034928018915087*c_1001_5^15 + 3314514193905275630230643814052356\ 8690155416106963658460038192319567/22158777323090288667614789692614\ 591974435101481546866752865887302*c_1001_5^14 - 8473982452785552423500674924226561472653108117840479163378926940270\ 73/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^13 + 91783686348174190179971619266351724208897161740672\ 3639709780079906984/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^12 - 885406252333135568403118008890863\ 822896879206487759591770628727598955/409937380477170340350873609313\ 369951527049377408617034928018915087*c_1001_5^11 + 2528443279617885939807812379034128672065569258031121907852907698098\ 145/819874760954340680701747218626739903054098754817234069856037830\ 174*c_1001_5^10 - 2526981134531530954231211565221217106716158344076\ 823324098606759638717/819874760954340680701747218626739903054098754\ 817234069856037830174*c_1001_5^9 + 1528349133980887758062390692805326798559176109697940119576274486895\ 830/409937380477170340350873609313369951527049377408617034928018915\ 087*c_1001_5^8 - 14160642626714224313288178376853004751775371049453\ 27917139313968017687/4099373804771703403508736093133699515270493774\ 08617034928018915087*c_1001_5^7 + 223828427376307026397971463068901\ 1901631071591273433583819058381976845/81987476095434068070174721862\ 6739903054098754817234069856037830174*c_1001_5^6 - 1155703044611047352690826363980512324256058119684255710096872843661\ 179/819874760954340680701747218626739903054098754817234069856037830\ 174*c_1001_5^5 + 20314883221075703676050663126123907141142381041792\ 2868577801617089421/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^4 - 2732983342754078580233968374884286\ 6699964624584534320731009527045104/40993738047717034035087360931336\ 9951527049377408617034928018915087*c_1001_5^3 - 614527838571921532212673499902258592590453257197099925882873336974/\ 409937380477170340350873609313369951527049377408617034928018915087*\ c_1001_5^2 + 337292324144405676288487787368190207589919691701337340\ 9777848434157/81987476095434068070174721862673990305409875481723406\ 9856037830174*c_1001_5 + 111346128649624625162271258463071693982510\ 68184676778162637666863/4099373804771703403508736093133699515270493\ 77408617034928018915087, c_0110_4 - 146643858355141446476931953287775997463297695624384583814744\ 27028528/4099373804771703403508736093133699515270493774086170349280\ 18915087*c_1001_5^24 + 18963588650269341003476023022295944652156545\ 883003849507120105575544/409937380477170340350873609313369951527049\ 377408617034928018915087*c_1001_5^23 + 7032200442838805232380814215185550505487879056070657675258272831816\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5^22 + 4810556913052075974333467612946904560667563134438902\ 7345652099469500/40993738047717034035087360931336995152704937740861\ 7034928018915087*c_1001_5^21 + 128935767019397494172484977438548954\ 892657870883542855681646584748649/409937380477170340350873609313369\ 951527049377408617034928018915087*c_1001_5^20 - 7347567097375665844943403763231353291287991827064724996559644356335\ 93/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^19 + 19496191492881951602318829903805348299620605115593\ 5536333694250021713/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^18 - 173494102913032538566006189215697\ 3759507296021761799395096473435089964/40993738047717034035087360931\ 3369951527049377408617034928018915087*c_1001_5^17 + 1205910120208095877196550898400407863844268290549748795304587608651\ 977/409937380477170340350873609313369951527049377408617034928018915\ 087*c_1001_5^16 - 4236387027323076954982026727047606392802217920994\ 039167010924061499750/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^15 + 2104841698607006627322870139120497517081589554352712596130626578131\ 23/2215877732309028866761478969261459197443510148154686675286588730\ 2*c_1001_5^14 - 670212563041964761505827147620967473576985826078078\ 3828878590807137885/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^13 + 737985177441596446317328320744414\ 4028095616392082090339410965844593505/40993738047717034035087360931\ 3369951527049377408617034928018915087*c_1001_5^12 - 9614661406213974422679472911537393006337669468893467703765148683408\ 815/409937380477170340350873609313369951527049377408617034928018915\ 087*c_1001_5^11 + 2051317475386789429278305502292925350760969219444\ 4769473818233036687569/81987476095434068070174721862673990305409875\ 4817234069856037830174*c_1001_5^10 - 1181407785851375174229454940990573270268233343336279094667832511779\ 8560/40993738047717034035087360931336995152704937740861703492801891\ 5087*c_1001_5^9 + 1129017269465919138389531277053051723271498584787\ 7588648740820335794235/40993738047717034035087360931336995152704937\ 7408617034928018915087*c_1001_5^8 - 8935419020327062357339385057440774605435584977096313359158250759699\ 833/409937380477170340350873609313369951527049377408617034928018915\ 087*c_1001_5^7 + 99245403459615444003926193398960371916496860107795\ 64967777028672319249/8198747609543406807017472186267399030540987548\ 17234069856037830174*c_1001_5^6 - 187224042872720313434305666577201\ 8085149982426141129611146517577445624/40993738047717034035087360931\ 3369951527049377408617034928018915087*c_1001_5^5 + 7240975905313727521706589127847415434980925990762848453255109376959\ 87/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^4 - 169158161747094037095228581655318322841295059474185\ 03629494360746444/4099373804771703403508736093133699515270493774086\ 17034928018915087*c_1001_5^3 - 180911205029712807760494411215825118\ 12938975826166088589229164378237/8198747609543406807017472186267399\ 03054098754817234069856037830174*c_1001_5^2 - 1890808997981216692140788447744146462189299708891577233352307511067\ /819874760954340680701747218626739903054098754817234069856037830174\ *c_1001_5 + 1778398779530604173176542995382732104309791029060275894\ 06979827838/4099373804771703403508736093133699515270493774086170349\ 28018915087, c_1001_0 - 696804017150844507048289291625406076835334709993896800889936\ 7350000/40993738047717034035087360931336995152704937740861703492801\ 8915087*c_1001_5^24 + 833384827477924688466292255875999611908416847\ 8027588389068038919320/40993738047717034035087360931336995152704937\ 7408617034928018915087*c_1001_5^23 + 4279388649787656185426581820896300370857032334395270994480513544664\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5^22 + 2304550915468019716206447748080272079720518396103994\ 4232597193241196/40993738047717034035087360931336995152704937740861\ 7034928018915087*c_1001_5^21 + 634809435617383256611616280211827020\ 73791072587545853989295761767477/4099373804771703403508736093133699\ 51527049377408617034928018915087*c_1001_5^20 - 3374381765316695321648431079794027553894685328121860276883058046287\ 73/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^19 + 75381745143829027906053096066656415352142357117118\ 957813164134015108/409937380477170340350873609313369951527049377408\ 617034928018915087*c_1001_5^18 - 8131777620773039645960325683036533\ 61891159450368146296128111735846886/4099373804771703403508736093133\ 69951527049377408617034928018915087*c_1001_5^17 + 4910036938470752569599574331375721630436935580661334994650764206869\ 21/4099373804771703403508736093133699515270493774086170349280189150\ 87*c_1001_5^16 - 19507299364637766925203674311048111118081080292636\ 00700968857736906095/4099373804771703403508736093133699515270493774\ 08617034928018915087*c_1001_5^15 + 8881257302273918050861634433476169201290866912410259262919972232196\ 3/22158777323090288667614789692614591974435101481546866752865887302\ *c_1001_5^14 - 2987419378403157331497104070694580237969402580635102\ 229938314213158879/409937380477170340350873609313369951527049377408\ 617034928018915087*c_1001_5^13 + 3169727488708166064803351659214314\ 645713035406930701265923427462404022/409937380477170340350873609313\ 369951527049377408617034928018915087*c_1001_5^12 - 4192939088508397144835592416002130786300208001559296693145709832519\ 305/409937380477170340350873609313369951527049377408617034928018915\ 087*c_1001_5^11 + 8780067336153848258666344537413348529039901661238\ 888099831911551534889/819874760954340680701747218626739903054098754\ 817234069856037830174*c_1001_5^10 - 5081142687638023598590771720050166794731426449979452831846596259243\ 688/409937380477170340350873609313369951527049377408617034928018915\ 087*c_1001_5^9 + 47673437400707460842447209645301992634971802785476\ 71040291367492460612/4099373804771703403508736093133699515270493774\ 08617034928018915087*c_1001_5^8 - 365403552341440669176952649362997\ 9657933177001472689612883075456915353/40993738047717034035087360931\ 3369951527049377408617034928018915087*c_1001_5^7 + 3766937290161705981863313609485823111731917889428464641347078216358\ 087/819874760954340680701747218626739903054098754817234069856037830\ 174*c_1001_5^6 - 60720892112503223901808713648854362252241065279743\ 9007847205602944434/40993738047717034035087360931336995152704937740\ 8617034928018915087*c_1001_5^5 + 1209205809793200847309489668996464\ 94052747849905756563738794679627395/8198747609543406807017472186267\ 39903054098754817234069856037830174*c_1001_5^4 + 1785639863525818511409254647122068008424357339797319638767110343862\ 4/40993738047717034035087360931336995152704937740861703492801891508\ 7*c_1001_5^3 - 1125016207032387949414871396456968892010080082066006\ 2799126631523791/81987476095434068070174721862673990305409875481723\ 4069856037830174*c_1001_5^2 - 7876980804059911716657938420940647680\ 47749430211696492421510291045/8198747609543406807017472186267399030\ 54098754817234069856037830174*c_1001_5 - 77944314346197908482629519042685473173204469389638554008430465611/4\ 09937380477170340350873609313369951527049377408617034928018915087, c_1001_1 - 619914426289452022860210888064349900091827001870303453144886\ 567584/409937380477170340350873609313369951527049377408617034928018\ 915087*c_1001_5^24 - 2502284567436554751698160200121080902806060072\ 260634911144058001752/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^23 + 4329421614460226627083318303451484367462166602667898174815607682200\ /409937380477170340350873609313369951527049377408617034928018915087\ *c_1001_5^22 + 3824069161928863537327997392949472099178572261494335\ 906753801536564/409937380477170340350873609313369951527049377408617\ 034928018915087*c_1001_5^21 + 1650457826199560615079631539542026115\ 1588532250404747530301421623262/40993738047717034035087360931336995\ 1527049377408617034928018915087*c_1001_5^20 + 2881408762506392581707791216418086768988430481627180048827537122668\ 5/81987476095434068070174721862673990305409875481723406985603783017\ 4*c_1001_5^19 - 144119655221622525754719903291501127520807340104294\ 255538489424108303/819874760954340680701747218626739903054098754817\ 234069856037830174*c_1001_5^18 - 6882488372156702137619357067717832\ 3338970012157233400789762450001147/81987476095434068070174721862673\ 9903054098754817234069856037830174*c_1001_5^17 - 6780765358822164227436903719994765524349754463370969437738472189653\ 09/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^16 + 64664258816741260776583459561417373078209453939205\ 201881189025756847/409937380477170340350873609313369951527049377408\ 617034928018915087*c_1001_5^15 - 2113245884858724738050800920201230\ 7324253220000291720143941249175292/11079388661545144333807394846307\ 295987217550740773433376432943651*c_1001_5^14 + 1058105425403240692010184105437934160880999307599776832285209283508\ 081/819874760954340680701747218626739903054098754817234069856037830\ 174*c_1001_5^13 - 2322719920532083054085748197363665004350754323151\ 720555260685803270583/819874760954340680701747218626739903054098754\ 817234069856037830174*c_1001_5^12 + 1163636257551956636077150647804194751151846238033395708663037124935\ 634/409937380477170340350873609313369951527049377408617034928018915\ 087*c_1001_5^11 - 1650242647031238107062353198950728234704625826267\ 678309127828826367590/409937380477170340350873609313369951527049377\ 408617034928018915087*c_1001_5^10 + 3378883710624079187708415890922994105912076468995925952225237096155\ 031/819874760954340680701747218626739903054098754817234069856037830\ 174*c_1001_5^9 - 41349213607909411683981913003847909387029080584162\ 20702094921940547157/8198747609543406807017472186267399030540987548\ 17234069856037830174*c_1001_5^8 + 202165321494979547634626891866205\ 2820385529943431719073270181563114562/40993738047717034035087360931\ 3369951527049377408617034928018915087*c_1001_5^7 - 1677474539277217268580539724031462405826092667819053223497204291127\ 466/409937380477170340350873609313369951527049377408617034928018915\ 087*c_1001_5^6 + 18892775258237830720883936727773582429277398236316\ 85136028108194107745/8198747609543406807017472186267399030540987548\ 17234069856037830174*c_1001_5^5 - 361054544535801266997449738180795\ 019666835717280815205674423224962944/409937380477170340350873609313\ 369951527049377408617034928018915087*c_1001_5^4 + 1278944755702082666724341078912238149016385497724919099535556750009\ 85/8198747609543406807017472186267399030540987548172340698560378301\ 74*c_1001_5^3 - 160214770909261201241869607249488488538800677608851\ 242870955714571/819874760954340680701747218626739903054098754817234\ 069856037830174*c_1001_5^2 - 69016347655194657477277716080582261371\ 94622084695226004546046547749/8198747609543406807017472186267399030\ 54098754817234069856037830174*c_1001_5 + 68967963223745179699551832697806686593288077370802893028648477273/4\ 09937380477170340350873609313369951527049377408617034928018915087, c_1001_5^25 - 4/3*c_1001_5^24 - 7/18*c_1001_5^23 - 59/18*c_1001_5^22 - 1255/144*c_1001_5^21 + 101/4*c_1001_5^20 - 2125/144*c_1001_5^19 + 239/2*c_1001_5^18 - 2081/24*c_1001_5^17 + 4745/16*c_1001_5^16 - 39811/144*c_1001_5^15 + 34339/72*c_1001_5^14 - 75341/144*c_1001_5^13 + 98827/144*c_1001_5^12 - 105527/144*c_1001_5^11 + 7603/9*c_1001_5^10 - 116941/144*c_1001_5^9 + 93931/144*c_1001_5^8 - 17827/48*c_1001_5^7 + 6949/48*c_1001_5^6 - 1367/48*c_1001_5^5 - 5/72*c_1001_5^4 + 5/3*c_1001_5^3 - 11/72*c_1001_5^2 - 1/36*c_1001_5 + 1/144 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.030 Total time: 4.240 seconds, Total memory usage: 85.50MB