Magma V2.19-8 Wed Aug 21 2013 00:58:39 on localhost [Seed = 1064904117] Type ? for help. Type -D to quit. Loading file "L13n5939__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5939 geometric_solution 12.94243511 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 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 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.449259212427 0.846790103006 0 0 5 4 0132 1302 0132 0132 0 0 0 1 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 0 0 0 0 0 0 0 4 -4 0 0 -3 3 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511083455629 0.921538567306 6 0 6 7 0132 0132 3012 0132 0 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 4 -3 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.498114962737 0.769911252459 8 8 9 0 0132 1302 0132 0132 0 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650080757257 0.893924147574 10 11 1 12 0132 0132 0132 0132 0 0 0 0 0 1 -1 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 -4 4 0 3 0 -3 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.581268821817 0.591275130329 9 9 7 1 0321 3120 2103 0132 0 0 1 0 0 -1 0 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 4 0 -4 -3 0 0 3 6 -5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538234669887 0.703732652044 2 2 11 8 0132 1230 3120 0321 0 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 -1 1 1 0 0 -1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594191549261 0.911513047661 5 10 2 12 2103 1230 0132 0321 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 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516931307240 0.983490434060 3 6 10 3 0132 0321 0132 2031 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 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379709809450 0.970028870311 5 5 11 3 0321 3120 2031 0132 0 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 5 0 1 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538234669887 0.703732652044 4 11 7 8 0132 2031 3012 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 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.513096227798 0.633186669981 10 4 6 9 1302 0132 3120 1302 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 4 -4 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.489490151285 0.598036634819 12 7 4 12 3012 0321 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.860090792094 0.989367511242 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_3'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_11']), 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), '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_1100_9' : negation(d['c_1001_4']), 'c_1100_8' : negation(d['c_1001_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : d['c_0011_12'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_5']), 'c_1100_10' : negation(d['c_1001_0']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : d['c_0011_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' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : d['c_0101_10'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_9']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_5']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_9']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_12']), 'c_0011_10' : d['c_0011_10']})} 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_12, c_0011_3, c_0011_5, c_0011_7, c_0011_9, c_0101_0, c_0101_10, c_0101_5, c_1001_0, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 5015316387651352967916962405840650716927221530117061123119943110646\ 364404864863454816387/527666478215482606272480961372950389764419897\ 035760206707203208207570155557626075010*c_1001_4^25 + 1155945953051219367653050651403640150545303314489318116789639314191\ 560289405572119306257932/976182984698642821604089778539958221064176\ 8095161563824083259351840047877816082387685*c_1001_4^24 - 1578173967617175851511226584814368208328773669264143479360159066436\ 9846448881244175424532799/19523659693972856432081795570799164421283\ 536190323127648166518703680095755632164775370*c_1001_4^23 + 5264410058039523636584551408553233908871739809826607570505259877014\ 3400346949311471067385764/97618298469864282160408977853995822106417\ 68095161563824083259351840047877816082387685*c_1001_4^22 - 3458343415155520488440677996643865582623967043125361315321715307389\ 33124808770834052307416342/9761829846986428216040897785399582210641\ 768095161563824083259351840047877816082387685*c_1001_4^21 + 1022861543842700465414689104778448591515511510065830744180045092565\ 73675092646558130816814601/5578188483992244694880513020228332691795\ 29605437803647090471962962288450160918993582*c_1001_4^20 - 1362208173881823696100484590164225280587605214258840844025804059511\ 7610028246060195615968271047/19523659693972856432081795570799164421\ 283536190323127648166518703680095755632164775370*c_1001_4^19 + 1924251617298379565772121471753341999657317859734150449154194720923\ 3243361776542296952164619302/97618298469864282160408977853995822106\ 41768095161563824083259351840047877816082387685*c_1001_4^18 - 4118640251049144716241353523077155529771641617923273240239970803738\ 3578847893254162103557516083/97618298469864282160408977853995822106\ 41768095161563824083259351840047877816082387685*c_1001_4^17 + 1229086352136884458635238998550900939378163546264690645236369675899\ 7002789156872039855903740271/17748781539975324029165268700726513110\ 25776017302102513469683518516372341421105888670*c_1001_4^16 - 8491288770921484346624825600445808540285339202636114235549811312318\ 0609694318157747658305200527/97618298469864282160408977853995822106\ 41768095161563824083259351840047877816082387685*c_1001_4^15 + 7428581128917836817757426053726804258252002453999894082768216369642\ 59646764973877435815849843/9123205464473297398169063350840731037982\ 9608365995923589563171512523811942206377455*c_1001_4^14 - 1010866799746182235402257987822948329029088232487664354265921083756\ 43206302208696032996395169537/1952365969397285643208179557079916442\ 1283536190323127648166518703680095755632164775370*c_1001_4^13 + 1904752696951239629822846279395059514770640278100232660803777314695\ 815994739556278300669130764/139454712099806117372012825505708317294\ 8824013594509117726179907405721125402297483955*c_1001_4^12 + 2584084356523568491626535664194953909592223879444967185628485865974\ 124585229661967901477152692/195236596939728564320817955707991644212\ 8353619032312764816651870368009575563216477537*c_1001_4^11 - 4004361323903051226423089242716573344254856827341836789215225814759\ 1090246211281108292694472781/19523659693972856432081795570799164421\ 283536190323127648166518703680095755632164775370*c_1001_4^10 + 1032344534290175726994071637564784502001702932235882668651038148388\ 6258551897136096785429734/73342072479236876153575490498869888885362\ 64534306208733345799663290794799260768135*c_1001_4^9 - 9536449200844033926535436982785199249483226970860524375997250844938\ 760734457646127145484758599/195236596939728564320817955707991644212\ 83536190323127648166518703680095755632164775370*c_1001_4^8 - 9743833549592177023210665206536285217551071706475552114767411411620\ 851515354449190991295076/199221017285437310531446893579583310421260\ 573370644159675168558200817303628899640565*c_1001_4^7 + 6495743327798984473553492328794477942007336787561052671320189466161\ 96800262812910407958662615/3904731938794571286416359114159832884256\ 707238064625529633303740736019151126432955074*c_1001_4^6 - 9678077617958299874848657319098799200928699593869063374444557082429\ 00980319229742742985516164/9761829846986428216040897785399582210641\ 768095161563824083259351840047877816082387685*c_1001_4^5 + 2798128959736324299546213592808765207669648997808135244094316823355\ 43790939295403442850101801/9761829846986428216040897785399582210641\ 768095161563824083259351840047877816082387685*c_1001_4^4 - 6704439781289862203742535464602176949411649789980455041279587293602\ 422398833307189727064555/390473193879457128641635911415983288425670\ 7238064625529633303740736019151126432955074*c_1001_4^3 - 1889257698028221804256517954037106736312524077514511528427711372442\ 597616372976704614070043/139454712099806117372012825505708317294882\ 4013594509117726179907405721125402297483955*c_1001_4^2 + 2611170635901563740276762361582990751548070568430536490561401426548\ 948942967363893032951001/976182984698642821604089778539958221064176\ 8095161563824083259351840047877816082387685*c_1001_4 + 4035149294602920226474068634903202749312895098117075141893468947057\ 99609146244437089327778/9761829846986428216040897785399582210641768\ 095161563824083259351840047877816082387685, c_0011_0 - 1, c_0011_10 + 35000542127969604459762939202118107838255903138889107338643\ 727537383478/120610965233832327763610517835540943523521406563771539\ 23288130913651443*c_1001_4^25 - 81519584760700532046484317857445960\ 5874779302107037920589966244252004443/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^24 + 5372832310757352574280483081167935708138621130492608257744188585983\ 749725/241221930467664655527221035671081887047042813127543078465762\ 61827302886*c_1001_4^23 - 36231712620599620265752109759452093709433\ 484031754625632888434608903583985/241221930467664655527221035671081\ 88704704281312754307846576261827302886*c_1001_4^22 + 2369539970720479585452677894885072117295097334089350366659638246758\ 07447181/2412219304676646555272210356710818870470428131275430784657\ 6261827302886*c_1001_4^21 - 597641863935069757373141106311558952688\ 304794563106492251267385665972502074/120610965233832327763610517835\ 54094352352140656377153923288130913651443*c_1001_4^20 + 4410397257387413763861507152699799908519212728042781657045639582242\ 954915009/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^19 - 60546400134485914231441201372649231502\ 01652608808405405103009525843417653559/1206109652338323277636105178\ 3554094352352140656377153923288130913651443*c_1001_4^18 + 2530755283819763916522188122901401134152338863141535768947005224550\ 0315234605/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^17 - 2040423700207745819092442481091968274\ 8276295400852690855382635902087612214811/12061096523383232776361051\ 783554094352352140656377153923288130913651443*c_1001_4^16 + 5076166985482036158948565268212254818017226953674382878638736499810\ 0253170257/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^15 - 4449900864491819772824353031132329815\ 91505769346743798633520367408611465411/2254410565118361266609542389\ 44936343034619451521068297631553848853298*c_1001_4^14 + 1554997226761722184281879449020850169973339914301887138913830867389\ 8786873102/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^13 - 9696116021028861891898097866720334908\ 029320749778941648709736327479317571687/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^12 - 5944408026454446873769986060540760878634921954428007207657778307307\ 510512891/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^11 + 55020792378562959883473933574540973111\ 16777308068187213726480847789415622213/1206109652338323277636105178\ 3554094352352140656377153923288130913651443*c_1001_4^10 - 8230902001006487990556610231463583778690987782796736969679936660983\ 568391419/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^9 + 336039881381750428196742094020134686075\ 0324517388642741387633347246209424767/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^8 - 1706639976839128300010530932053677905999414620165260217100419524852\ 18831375/2412219304676646555272210356710818870470428131275430784657\ 6261827302886*c_1001_4^7 - 7805780963459335457152875227709626381141\ 63555732908386402952444133938742769/2412219304676646555272210356710\ 8188704704281312754307846576261827302886*c_1001_4^6 + 5781403585895574297119142290678928401512356228410134801238421315240\ 57538389/2412219304676646555272210356710818870470428131275430784657\ 6261827302886*c_1001_4^5 - 2171250713762972323922143347831221958753\ 43800925862150434252222156059440327/2412219304676646555272210356710\ 8188704704281312754307846576261827302886*c_1001_4^4 + 2000841799996790151856129787362580258695229100844759978297481411006\ 1687575/12061096523383232776361051783554094352352140656377153923288\ 130913651443*c_1001_4^3 + 51646834762220763292277369094600323094291\ 3484525516275444833868445020865/24122193046766465552722103567108188\ 704704281312754307846576261827302886*c_1001_4^2 - 1476267753089222826040178156434138454300172933008051346135314958491\ 384595/241221930467664655527221035671081887047042813127543078465762\ 61827302886*c_1001_4 + 43718048058847852772627417214913342684999821\ 105658690021265950679242899/120610965233832327763610517835540943523\ 52140656377153923288130913651443, c_0011_12 + 13315136972759351982792150855195642044533518790724024006527\ 9542283962569/24122193046766465552722103567108188704704281312754307\ 846576261827302886*c_1001_4^25 - 7821607910236860831680475127334019\ 28497012193489040518652194246065196203/1206109652338323277636105178\ 3554094352352140656377153923288130913651443*c_1001_4^24 + 5162887034543598819106343824778821854057700177569500395816797880475\ 676743/120610965233832327763610517835540943523521406563771539232881\ 30913651443*c_1001_4^23 - 34698313104051015707177616919397082324796\ 838206698621094380700611929298550/120610965233832327763610517835540\ 94352352140656377153923288130913651443*c_1001_4^22 + 4542595890629138563801345159774658541238007884886566072161567096961\ 20942603/2412219304676646555272210356710818870470428131275430784657\ 6261827302886*c_1001_4^21 - 229575662397300041794353153276285176701\ 5128863335413764923378490182193092977/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^20 + 8465658421123248622059088057695468056309786616551113412738575788637\ 782705813/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^19 - 23137805383181259692807098175138065346\ 577274072534732440629612909697946141963/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^18 + 4789276063799581320062967980135526245552276271215477995955559110400\ 9082796847/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^17 - 7596589251652030982746484013243453717\ 5211289647887321790519569177244624599011/24122193046766465552722103\ 567108188704704281312754307846576261827302886*c_1001_4^16 + 4600152119754325957151322140245631315305960460130206982509579373615\ 2545333346/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^15 - 7708171390504467276044193776327340374\ 76352159713677819236536286395500254231/2254410565118361266609542389\ 44936343034619451521068297631553848853298*c_1001_4^14 + 4904720502361995428192092774303590639334370023978024803621634569385\ 9085963621/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^13 - 4816704389375941050498160626864223775\ 948120035933139019283317806657414342724/120610965233832327763610517\ 83554094352352140656377153923288130913651443*c_1001_4^12 - 1597994978126403339644788619964594483606631864977630509781890311854\ 4981074603/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^11 + 2116262503043313850080788403673907847\ 7414931666193734714168946464129550908203/24122193046766465552722103\ 567108188704704281312754307846576261827302886*c_1001_4^10 - 6728519449297840867058648085413802585245526848093218457895583811573\ 991892407/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^9 + 206139578298257148371225594680561140138\ 0995264697943026943500935737305953055/12061096523383232776361051783\ 554094352352140656377153923288130913651443*c_1001_4^8 + 4324262072698009860731430274291888634257298378752171428578432478686\ 55548628/1206109652338323277636105178355409435235214065637715392328\ 8130913651443*c_1001_4^7 - 8540127105207179334861798365608526651635\ 31959637189917643540725780683727610/1206109652338323277636105178355\ 4094352352140656377153923288130913651443*c_1001_4^6 + 4643492863056779813511437206875408451239965723206178735448287963815\ 91573769/1206109652338323277636105178355409435235214065637715392328\ 8130913651443*c_1001_4^5 - 2431913987644378472785950432128551461953\ 28652927933608240328740036125860387/2412219304676646555272210356710\ 8188704704281312754307846576261827302886*c_1001_4^4 + 6022283898287430121240899691098801769485973089379517140791871874890\ 272241/241221930467664655527221035671081887047042813127543078465762\ 61827302886*c_1001_4^3 + 682862929596476716934937917780228050571471\ 9785477141034957254081916761717/12061096523383232776361051783554094\ 352352140656377153923288130913651443*c_1001_4^2 - 2254488021558444075488477189323237902191433839035124168949201425813\ 130845/241221930467664655527221035671081887047042813127543078465762\ 61827302886*c_1001_4 - 19126416098494946414536204681635293085055557\ 0500570218776066925279387190/12061096523383232776361051783554094352\ 352140656377153923288130913651443, c_0011_3 + 401813069648762509933511922608744348662900510384683292774970\ 638866517484/120610965233832327763610517835540943523521406563771539\ 23288130913651443*c_1001_4^25 - 47036063296868956074921307307239329\ 87795982387932109388268486949486673091/1206109652338323277636105178\ 3554094352352140656377153923288130913651443*c_1001_4^24 + 6197814460644570495474425155724852872875837465343945665720540158785\ 6032059/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4^23 - 2084022634188648569487733630416680413734\ 66559673425947614995263224413457368/1206109652338323277636105178355\ 4094352352140656377153923288130913651443*c_1001_4^22 + 2727606889542303815067605525253157203141569695439140877771020823171\ 825551215/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^21 - 68825311493846084489796176582984399908\ 19484027164304569696066353617449470095/1206109652338323277636105178\ 3554094352352140656377153923288130913651443*c_1001_4^20 + 2533588654474312720117240602425061959168487823564654302548572789856\ 0778613169/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^19 - 1382686882205728155850626585092495222\ 81887604902848456495630504868241666907539/2412219304676646555272210\ 3567108188704704281312754307846576261827302886*c_1001_4^18 + 2858026182629920888097201233165334543744415141926611844196797256189\ 41587650743/2412219304676646555272210356710818870470428131275430784\ 6576261827302886*c_1001_4^17 - 226413496821717962783005032140667373\ 579479177761475996430008098752850100512019/120610965233832327763610\ 51783554094352352140656377153923288130913651443*c_1001_4^16 + 2739977120676777454131564434268685013144520368438995911066471182533\ 99468786712/1206109652338323277636105178355409435235214065637715392\ 3288130913651443*c_1001_4^15 - 458953696340490008306003155998105466\ 8161316852046633698453008439786449137881/22544105651183612666095423\ 8944936343034619451521068297631553848853298*c_1001_4^14 + 1460695649528619138277810732631204993282143394215682313762310830090\ 97724148006/1206109652338323277636105178355409435235214065637715392\ 3288130913651443*c_1001_4^13 - 288439236123875530707134356488659283\ 37667291079642599396260921629334809249086/1206109652338323277636105\ 1783554094352352140656377153923288130913651443*c_1001_4^12 - 9478280307223518378996132874765584132460636794686819881001175130098\ 9873925627/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^11 + 6291828116017538570612177417760843052\ 6537931420499577931299217629999622999465/12061096523383232776361051\ 783554094352352140656377153923288130913651443*c_1001_4^10 - 4008637353514622276053214274797154460909840809806212923883001907288\ 5209985587/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^9 + 24673378101156913459896249481439351236\ 939707482786174028846599586654587484315/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^8 + 2531398410877535130866679097460511649718490988840447158253984916836\ 859337995/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^7 - 101464646157170498883092980727972599938\ 42811925902404998552322083622258723055/2412219304676646555272210356\ 7108188704704281312754307846576261827302886*c_1001_4^6 + 2769581847425600237767979332880895967916712743152521675541419660446\ 408953879/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^5 - 145967574398222377217376615780825950902\ 7785039431526049728014586358335408061/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^4 + 1989754711550471816833077515096823022700911728760647649712527675161\ 0309455/12061096523383232776361051783554094352352140656377153923288\ 130913651443*c_1001_4^3 + 40597131893162401115420315213069578069322\ 257538672312553111967003563890387/120610965233832327763610517835540\ 94352352140656377153923288130913651443*c_1001_4^2 - 1329397128868371868013479084878622217800585419621473869722670435573\ 8857947/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4 - 1194202406834103640220621482793535602889857\ 944815269508281838985325896864/120610965233832327763610517835540943\ 52352140656377153923288130913651443, c_0011_5 - 486384143938107377594628095760025710763039061199798608058141\ 406013657297/120610965233832327763610517835540943523521406563771539\ 23288130913651443*c_1001_4^25 + 11415882239272845913763975720116271\ 012674077550292633283625062578248232251/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^24 - 7533366032064423242667238911840544668759241638573413560038401711828\ 7459771/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4^23 + 2532386030934498599888419209712309511770\ 98847028082054325849261428948328844/1206109652338323277636105178355\ 4094352352140656377153923288130913651443*c_1001_4^22 - 3314931988963963018612778987160863485661751652101690325269755651095\ 288863879/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^21 + 16748395266207924506883047753343591674\ 394129608676912918771571995037053538135/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^20 - 6175528175732532660201932110726051987959445855065742551724617764314\ 1433897143/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^19 + 8441450059488109417620146355754236566\ 6278914473464331639297395558067215276904/12061096523383232776361051\ 783554094352352140656377153923288130913651443*c_1001_4^18 - 1748453514670573544698736752273603080185651575317134499179903334704\ 97408546255/1206109652338323277636105178355409435235214065637715392\ 3288130913651443*c_1001_4^17 + 555322623340427998383973625404387166\ 450484163951338587351045783533297491298069/241221930467664655527221\ 03567108188704704281312754307846576261827302886*c_1001_4^16 - 6738385291635889698974902461803602510564391378564682395618029649067\ 05738808509/2412219304676646555272210356710818870470428131275430784\ 6576261827302886*c_1001_4^15 + 566345844124258530387326963923712595\ 6411669158895484767828716179332652821195/22544105651183612666095423\ 8944936343034619451521068297631553848853298*c_1001_4^14 - 3627371785413853598160014901933203728945839226218617416098706098383\ 52338162939/2412219304676646555272210356710818870470428131275430784\ 6576261827302886*c_1001_4^13 + 741117455234929714227749634596304706\ 48387492830844372317074940798368023717587/2412219304676646555272210\ 3567108188704704281312754307846576261827302886*c_1001_4^12 + 1149890222739739877322207544297643569395794507720629174918699471057\ 35000313673/2412219304676646555272210356710818870470428131275430784\ 6576261827302886*c_1001_4^11 - 154797448561270351220851988177073299\ 537372999974163392576156623445146167339951/241221930467664655527221\ 03567108188704704281312754307846576261827302886*c_1001_4^10 + 9938965678291275833506185975925404224582878815845728568636328615873\ 8334389237/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^9 - 31047896023015228647727262229290499091\ 383639856959607301977001542313283629843/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^8 - 2958331856832287991214114251466730212490744689593659381234283987311\ 594180524/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^7 + 124542687631186877928899810992903261702\ 52337918017718560341390800840771956729/2412219304676646555272210356\ 7108188704704281312754307846576261827302886*c_1001_4^6 - 3437411344088800078531131545726121165696660091184470390315384052543\ 124879170/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^5 + 183975088747816635675349022196696813720\ 6043156354255260824915969692676263959/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^4 - 6374812438425837596870130440005683590938138369194595707071346060910\ 2239131/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4^3 - 97753710162425616639878234117427552003040\ 572898658184163229065393303795157/241221930467664655527221035671081\ 88704704281312754307846576261827302886*c_1001_4^2 + 1649584364123882378530169912778420714354730136061248294913643890173\ 6302413/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4 + 2831082367859053062935060851494633335044728\ 527724551560541175412571561279/241221930467664655527221035671081887\ 04704281312754307846576261827302886, c_0011_7 - 122323608016996516643399221603020600557021338744884877877222\ 245398982924/120610965233832327763610517835540943523521406563771539\ 23288130913651443*c_1001_4^25 + 28753947298545373647458303225193928\ 64581268856073676447665619924777669915/2412219304676646555272210356\ 7108188704704281312754307846576261827302886*c_1001_4^24 - 1899453884570619835543753845096806478774564863661400975855416276446\ 3711857/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4^23 + 1276869775772745224568884154113953686390\ 42183328071673854631562503387873417/2412219304676646555272210356710\ 8188704704281312754307846576261827302886*c_1001_4^22 - 8357919347500673623714436733041141246928149614380479936627261112540\ 24564479/2412219304676646555272210356710818870470428131275430784657\ 6261827302886*c_1001_4^21 + 211292056153700244528894870114396991229\ 9952078431171740052975561148713575459/12061096523383232776361051783\ 554094352352140656377153923288130913651443*c_1001_4^20 - 1559876624723742691319536503779769638737526817587674391996713124198\ 4234848061/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^19 + 2135056416459743249477225832020748385\ 0380176992226990803507403879313539975802/12061096523383232776361051\ 783554094352352140656377153923288130913651443*c_1001_4^18 - 8858196205955860802498356911036471344351705163353431712497135475257\ 0073257501/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^17 + 7046307435497158497651895512084935296\ 2475227793983016449842956374827593412832/12061096523383232776361051\ 783554094352352140656377153923288130913651443*c_1001_4^16 - 1713821213857021124781717761435133808460336571916871766655258419847\ 21594235513/2412219304676646555272210356710818870470428131275430784\ 6576261827302886*c_1001_4^15 + 144477786704973317172025315225214466\ 1796540793132864050455990329319883413605/22544105651183612666095423\ 8944936343034619451521068297631553848853298*c_1001_4^14 - 4651548745343450689164257550999670891997736665432446556982262665434\ 6157986664/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^13 + 1954918456527956460893902390690949596\ 5906207726693057548301597637175807094611/24122193046766465552722103\ 567108188704704281312754307846576261827302886*c_1001_4^12 + 2891371012878914721136952989419624809423108016365450159694602428476\ 6028210749/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^11 - 1970283052941782098409202560260122120\ 0289045365963067264410790057296375833100/12061096523383232776361051\ 783554094352352140656377153923288130913651443*c_1001_4^10 + 2547256811082828375424258262273755298551037130492784036581522426225\ 2340408143/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^9 - 80565247341221343168231669696362537899\ 86029856497523018762198191916931260971/2412219304676646555272210356\ 7108188704704281312754307846576261827302886*c_1001_4^8 - 1441699850015176389007730515570520770596230087544668112226940020993\ 174071743/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^7 + 316846052853626543200421632247365335558\ 8894657827209494916087410708222394359/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^6 - 1765293001080595860906254522050297096766147211937906648243847628022\ 444256179/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^5 + 477903250267740491999046844006343911370\ 412435296131681746982765433272942611/241221930467664655527221035671\ 08188704704281312754307846576261827302886*c_1001_4^4 - 9410311802481207830585780645611682722908054797726747571169042502835\ 407160/120610965233832327763610517835540943523521406563771539232881\ 30913651443*c_1001_4^3 - 247541233606571908236161202355668740558994\ 35733212386617883439884979909665/2412219304676646555272210356710818\ 8704704281312754307846576261827302886*c_1001_4^2 + 4253949989389801437554211850133343737048837826181152596832231549351\ 452441/241221930467664655527221035671081887047042813127543078465762\ 61827302886*c_1001_4 + 35088710551933930232919045882047004724928192\ 3192428312614095353507077898/12061096523383232776361051783554094352\ 352140656377153923288130913651443, c_0011_9 + 126773575076709904591576769466762767284142562892777158844023\ 4112451590973/24122193046766465552722103567108188704704281312754307\ 846576261827302886*c_1001_4^25 - 7454180998741020553018769218144137\ 308390654718198970789768208544618132731/120610965233832327763610517\ 83554094352352140656377153923288130913651443*c_1001_4^24 + 4925718766394319063534448574621108873683968998941471099976102533617\ 5310328/12061096523383232776361051783554094352352140656377153923288\ 130913651443*c_1001_4^23 - 6621830289682164165030583525635776253574\ 10650146076011118860251742323746545/2412219304676646555272210356710\ 8188704704281312754307846576261827302886*c_1001_4^22 + 4334566509916202225842192125315342472326325227312426937686243640739\ 013366295/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^21 - 10960566348530646413481003834068836686\ 426622326331350833696614193675507836984/120610965233832327763610517\ 83554094352352140656377153923288130913651443*c_1001_4^20 + 8094096889001499395496679706030156807735090418153096305804074340928\ 0347897909/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^19 - 2216384722395529491689271491043093459\ 75103049831983927918284304127380493940319/2412219304676646555272210\ 3567108188704704281312754307846576261827302886*c_1001_4^18 + 2299540352937451236191374639945106303142583781140664491656690068031\ 10836584768/1206109652338323277636105178355409435235214065637715392\ 3288130913651443*c_1001_4^17 - 365932408668756537867275616416677620\ 302976692994759444242220926345543914513819/120610965233832327763610\ 51783554094352352140656377153923288130913651443*c_1001_4^16 + 4451334126640989409408174151549577949805496215393431288421287978295\ 94411784374/1206109652338323277636105178355409435235214065637715392\ 3288130913651443*c_1001_4^15 - 750750028674752777693736815989015847\ 8763923418631069251602735955855903671255/22544105651183612666095423\ 8944936343034619451521068297631553848853298*c_1001_4^14 + 2418445566302653681940075018076612138071548070501242987602402810158\ 96592459880/1206109652338323277636105178355409435235214065637715392\ 3288130913651443*c_1001_4^13 - 509790775360136899883350106314285149\ 57979741863251210677265758682002616351872/1206109652338323277636105\ 1783554094352352140656377153923288130913651443*c_1001_4^12 - 1499682891823588888417033384171727310790744899743473728411192389167\ 36724460203/2412219304676646555272210356710818870470428131275430784\ 6576261827302886*c_1001_4^11 + 102339689358070776115753561995020472\ 375370669847713028513959030838195360892818/120610965233832327763610\ 51783554094352352140656377153923288130913651443*c_1001_4^10 - 6621031668356674315262815687173253550997061138106847169142409768822\ 6516433448/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^9 + 20976398809098077733154255882960890317\ 171636065190253740266310452356541863145/120610965233832327763610517\ 83554094352352140656377153923288130913651443*c_1001_4^8 + 7441684810817946117300250669319392709336557544048210531186850424661\ 258457515/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^7 - 822793554467450234407297782596956340788\ 2278424685496348256933108884859369503/12061096523383232776361051783\ 554094352352140656377153923288130913651443*c_1001_4^6 + 9180786739243495646649521593659319894816815028896438860923203688270\ 353593365/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^5 - 248988931557976270308953582318069891136\ 6013393268700515976237334294810257893/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^4 + 4976031833354313459902033509460290323482005250596311031781202424801\ 7466804/12061096523383232776361051783554094352352140656377153923288\ 130913651443*c_1001_4^3 + 64438055502584071960568322778917904730441\ 564095244929046691736274375217149/120610965233832327763610517835540\ 94352352140656377153923288130913651443*c_1001_4^2 - 2237506738782253006428864782805400761919504175286301267894112153686\ 2186945/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4 - 3763310214322506059704083772712779230564091\ 591438328811130793922593725829/241221930467664655527221035671081887\ 04704281312754307846576261827302886, c_0101_0 - 1, c_0101_10 + 16144926950848204021569307172810160480148491786386392221013\ 2154076871967/24122193046766465552722103567108188704704281312754307\ 846576261827302886*c_1001_4^25 - 1911997193002101112445982144913463\ 958191038820010293477074122347392285339/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^24 + 1269883710013336718255531110159981016895415656911123883165000208718\ 5471471/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4^23 - 8532353319628478272520256899124436273133\ 6291432670591285278354249606191799/24122193046766465552722103567108\ 188704704281312754307846576261827302886*c_1001_4^22 + 2793618861107145259067173088581803770745704812744407178685284727472\ 97858089/1206109652338323277636105178355409435235214065637715392328\ 8130913651443*c_1001_4^21 - 283551674031152612350865450609790234657\ 0459353887430849484107703773283519359/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^20 + 5263403000675228320600198747208373069170603286155106863631767903123\ 851469665/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^19 - 29021141471353947772681740803790894818\ 435398673666202811168270729622004608977/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^18 + 3035599147087654383891707287790970355798850105368628142346029633422\ 4209282644/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^17 - 9758068710852927293661149455455372424\ 4478489798094566688863446350566595056349/24122193046766465552722103\ 567108188704704281312754307846576261827302886*c_1001_4^16 + 1202446491596623062629991998437755982497173088666234505723037187330\ 69382512927/2412219304676646555272210356710818870470428131275430784\ 6576261827302886*c_1001_4^15 - 516616110951246343229581481433637881\ 833819829389518987063203014518405579362/112720528255918063330477119\ 472468171517309725760534148815776924426649*c_1001_4^14 + 6897726955833862532520941250320591584034024748364175516923296720581\ 4099489301/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^13 - 1741041541368068377217922857134964869\ 9028941358602039138809214306099848389719/24122193046766465552722103\ 567108188704704281312754307846576261827302886*c_1001_4^12 - 9066728057514659529575275663288114676692274637687605953407716833133\ 148863864/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^11 + 27368415925204712942080235837130563974\ 528233189488472262083778344335015459877/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^10 - 1867244718528899685043281897850746559809941947401843308249190707005\ 8021672489/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^9 + 65315568301496227913012732170659343788\ 08998866951782197668615802591958614119/2412219304676646555272210356\ 7108188704704281312754307846576261827302886*c_1001_4^8 + 5491108552506149341138283984210997306358156244766297366191061591513\ 74211009/2412219304676646555272210356710818870470428131275430784657\ 6261827302886*c_1001_4^7 - 2138453357430523596141315432252783644755\ 005181616759708337087855063449100381/241221930467664655527221035671\ 08188704704281312754307846576261827302886*c_1001_4^6 + 1304033425673657961579876028138965758502437733642393347845188484390\ 272757989/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^5 - 198795553939806614467774126332619849101\ 001087267324727797699493563797061285/120610965233832327763610517835\ 54094352352140656377153923288130913651443*c_1001_4^4 + 3753890746330842553022373927739888584370312860656893743414594385422\ 1258657/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4^3 + 13364691682685893125168767818011490875041\ 650278645814063575825431280542473/241221930467664655527221035671081\ 88704704281312754307846576261827302886*c_1001_4^2 - 1624327438682927469802678881781347874546316123343308315620994511326\ 161619/120610965233832327763610517835540943523521406563771539232881\ 30913651443*c_1001_4 - 17647310995271437339851806347301266868143806\ 6879849790458308982374024478/12061096523383232776361051783554094352\ 352140656377153923288130913651443, c_0101_5 - 118765174829588203048518269341161563789517640392587421134962\ 353370762781/241221930467664655527221035671081887047042813127543078\ 46576261827302886*c_1001_4^25 + 13922244759181908831512822220872573\ 04266190392828870810424831589862881465/2412219304676646555272210356\ 7108188704704281312754307846576261827302886*c_1001_4^24 - 4589124540429661379574829650840448285020095912794827623362782193963\ 640215/120610965233832327763610517835540943523521406563771539232881\ 30913651443*c_1001_4^23 + 30851883048161688600926696876890064991740\ 208283443535307589130574790266832/120610965233832327763610517835540\ 94352352140656377153923288130913651443*c_1001_4^22 - 4038378416231787455211779509917539913340933944032564211550610209771\ 45317545/2412219304676646555272210356710818870470428131275430784657\ 6261827302886*c_1001_4^21 + 101950982605531061142957775232211570088\ 0110435290419261979382789073850122492/12061096523383232776361051783\ 554094352352140656377153923288130913651443*c_1001_4^20 - 3754821834332557699869791485912921215343317576983672088383855837566\ 354947957/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^19 + 10248636775716632113197232395452895124\ 383064902145626313451319093263583540959/120610965233832327763610517\ 83554094352352140656377153923288130913651443*c_1001_4^18 - 2118297850746864243652895137550774865031942071697281327218831835701\ 9697992271/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^17 + 3354532733791079558949622665597755041\ 6163309743313713255584607736720549753488/12061096523383232776361051\ 783554094352352140656377153923288130913651443*c_1001_4^16 - 8109220404753650583809694755508427796866165495201365092537151290013\ 5785525837/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^15 + 6774524626625101393485747568052160491\ 17721702701144014119269820539062792629/2254410565118361266609542389\ 44936343034619451521068297631553848853298*c_1001_4^14 - 2143074190945493397089323005618331259988521087938780927667327568425\ 3920635302/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^13 + 8119417970213284042264127548066346840\ 743372371873713948803553766471045548283/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^12 + 1430748093027059762584246788538079128234848751386896714451284960821\ 3665050097/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^11 - 9344026941839174864329646481375237030\ 642629234888211731977257246236096055779/120610965233832327763610517\ 83554094352352140656377153923288130913651443*c_1001_4^10 + 1178266810223169538709920618120312424688603534751792419876463694887\ 8590743223/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^9 - 17714531903966084851830779481141221590\ 98789111952448549538607380565959478618/1206109652338323277636105178\ 3554094352352140656377153923288130913651443*c_1001_4^8 - 4058798439953985366617145191399790477072381778643107870988939937867\ 21084307/1206109652338323277636105178355409435235214065637715392328\ 8130913651443*c_1001_4^7 + 7576146058627416152121979313090417605076\ 69597396824328202678964534551732215/1206109652338323277636105178355\ 4094352352140656377153923288130913651443*c_1001_4^6 - 4060110465980028814527060289439512295847072823404231462126850301853\ 84709995/1206109652338323277636105178355409435235214065637715392328\ 8130913651443*c_1001_4^5 + 2078698325273969479372873469856475028532\ 98312233697736108414016385804091237/2412219304676646555272210356710\ 8188704704281312754307846576261827302886*c_1001_4^4 - 1359616265339509769103849116995987082284665618075035432684058961958\ 970208/120610965233832327763610517835540943523521406563771539232881\ 30913651443*c_1001_4^3 - 124649266359913172832314575406162685591085\ 53151692205050041669199277706129/2412219304676646555272210356710818\ 8704704281312754307846576261827302886*c_1001_4^2 + 1907471065023226594778768487619909012865422103897335212054083348661\ 204717/241221930467664655527221035671081887047042813127543078465762\ 61827302886*c_1001_4 + 35164136719443476548803638605648634833638824\ 4099914587118819626199093673/24122193046766465552722103567108188704\ 704281312754307846576261827302886, c_1001_0 - 573509324014115644322106890239315625987669481986035655913921\ 78176338296/1206109652338323277636105178355409435235214065637715392\ 3288130913651443*c_1001_4^25 + 134140758556962635706012051935230940\ 7715882528817283166070398052733287257/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^24 - 4417457026057744458809828516822524194843289234310417667615484388534\ 508873/120610965233832327763610517835540943523521406563771539232881\ 30913651443*c_1001_4^23 + 29717059526879269807291320872863215749610\ 540229274637264914162582682429714/120610965233832327763610517835540\ 94352352140656377153923288130913651443*c_1001_4^22 - 1944578146414848341513851902264169563228934718268905321909946244126\ 00413226/1206109652338323277636105178355409435235214065637715392328\ 8130913651443*c_1001_4^21 + 196215030742966149923543518791722557348\ 1583840849898675962001114368160248173/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^20 - 7222292578739635389143131025453559538043694079775215224690847281807\ 541484353/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^19 + 19712667685160577099471658921316188751\ 977119516577998354887371865320794036157/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^18 - 4077819306572795516051375924795181362737325349508767352468325277549\ 7823154661/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^17 + 6470901880387552218647104772930942045\ 1010242912159700049661456607208788646087/24122193046766465552722103\ 567108188704704281312754307846576261827302886*c_1001_4^16 - 7852508564864774443162962661311500922508484149061428297858733417919\ 2105856759/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^15 + 3305106039506699581195435008313143460\ 59067234454329469774436783376823408391/1127205282559180633304771194\ 72468171517309725760534148815776924426649*c_1001_4^14 - 4257050923986854183737591244659979204359105260276953716083536958060\ 4941900549/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^13 + 9058688501380102059039698732127518431\ 034748094476570522155125848494796997185/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^12 + 6519728260360960941446247732263749712373133155175200043768441653795\ 112445194/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^11 - 17883452241749260553857740304142958148\ 988944810888602676495306498077405424241/241221930467664655527221035\ 67108188704704281312754307846576261827302886*c_1001_4^10 + 1162086103223237660055744875058495428149100996376318712879306483603\ 7321739113/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^9 - 18666194302783047832900325564723828571\ 94456503861845484895766226398491780800/1206109652338323277636105178\ 3554094352352140656377153923288130913651443*c_1001_4^8 - 3007491632549047683002325816444302715316057057825990731073075397490\ 84106940/1206109652338323277636105178355409435235214065637715392328\ 8130913651443*c_1001_4^7 + 7099330947724492091553436122945798726611\ 65523958348828006414044100303741321/1206109652338323277636105178355\ 4094352352140656377153923288130913651443*c_1001_4^6 - 4021767314510638162947627880316065962024743934382768184421019071718\ 77742132/1206109652338323277636105178355409435235214065637715392328\ 8130913651443*c_1001_4^5 + 1123276473835145912553879108990787778952\ 47968140433568239826473780420640211/1206109652338323277636105178355\ 4094352352140656377153923288130913651443*c_1001_4^4 - 1290942221011248102974656893244319144722889743684574730196517791278\ 9258279/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4^3 - 10214125784362285811634628674293065197561\ 301263994849231254528808534579403/241221930467664655527221035671081\ 88704704281312754307846576261827302886*c_1001_4^2 + 9818184342848029246179596758888133265728276044058346093426457959443\ 85512/1206109652338323277636105178355409435235214065637715392328813\ 0913651443*c_1001_4 + 256386264239382887181520418249437174428249713\ 905419553571123399884805849/241221930467664655527221035671081887047\ 04281312754307846576261827302886, c_1001_11 + 50090174964008507061093396085972064926520324427439826563867\ 821437541205/241221930467664655527221035671081887047042813127543078\ 46576261827302886*c_1001_4^25 - 30182870887480941638907365813434229\ 4969778636261420445228343698482447347/12061096523383232776361051783\ 554094352352140656377153923288130913651443*c_1001_4^24 + 4058686062151625503234037490905731836742660573794763671545076092574\ 954873/241221930467664655527221035671081887047042813127543078465762\ 61827302886*c_1001_4^23 - 27238988192026527808728513963582907302324\ 031638800558590828843535468258519/241221930467664655527221035671081\ 88704704281312754307846576261827302886*c_1001_4^22 + 8926049898916794240107736113718608422203979992164791447399364707219\ 1462668/12061096523383232776361051783554094352352140656377153923288\ 130913651443*c_1001_4^21 - 4567711603648250914184556807588683044304\ 85107163270655390820806975509633500/1206109652338323277636105178355\ 4094352352140656377153923288130913651443*c_1001_4^20 + 3434154352115458438679231402699208051371988509694691495116452035560\ 950234505/241221930467664655527221035671081887047042813127543078465\ 76261827302886*c_1001_4^19 - 48049220783028734752162399172964970660\ 90844863918986112892963589116708197177/1206109652338323277636105178\ 3554094352352140656377153923288130913651443*c_1001_4^18 + 2044842734593893880585346759259987576299661712764048491319711699379\ 4366096953/24122193046766465552722103567108188704704281312754307846\ 576261827302886*c_1001_4^17 - 1675791941353754373895349003313123660\ 9087368410010573642740144668546748623710/12061096523383232776361051\ 783554094352352140656377153923288130913651443*c_1001_4^16 + 2114348169385803668025095162551215688281515844220248524562991762068\ 0698832832/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^15 - 1875046852122664441905137336042163881\ 29785585126476911672304926922782162048/1127205282559180633304771194\ 72468171517309725760534148815776924426649*c_1001_4^14 + 1320761245122882937604780085241823549059509394326985156945239123957\ 9988208156/12061096523383232776361051783554094352352140656377153923\ 288130913651443*c_1001_4^13 - 4107729053869562732851956427874010214\ 085835421144246192610932561834601512065/120610965233832327763610517\ 83554094352352140656377153923288130913651443*c_1001_4^12 - 2603914014279379094031388134463320082632337101853707484972414131210\ 941990339/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^11 + 47576315439784269886284915699797072919\ 65903826149569013670793336940179736342/1206109652338323277636105178\ 3554094352352140656377153923288130913651443*c_1001_4^10 - 3517417666083230434229190795512894918072194579270922481327713883626\ 198115868/120610965233832327763610517835540943523521406563771539232\ 88130913651443*c_1001_4^9 + 278432795949605758689715129475670776904\ 4434254675770792920071143788142256631/24122193046766465552722103567\ 108188704704281312754307846576261827302886*c_1001_4^8 - 5507261592137320540911195642543445125134409937825323947563476131344\ 2071049/24122193046766465552722103567108188704704281312754307846576\ 261827302886*c_1001_4^7 - 71044381742237555041482157633914192938737\ 1241662627822111364562211547904467/24122193046766465552722103567108\ 188704704281312754307846576261827302886*c_1001_4^6 + 4959707149056759272423413002096109067965908348537013513073966982857\ 80990543/2412219304676646555272210356710818870470428131275430784657\ 6261827302886*c_1001_4^5 - 8694000914343222285142410135596173038233\ 6222084211916644399259392221619912/12061096523383232776361051783554\ 094352352140656377153923288130913651443*c_1001_4^4 + 1323071491928654350236599477168025940075990756826252310131133686234\ 3705365/12061096523383232776361051783554094352352140656377153923288\ 130913651443*c_1001_4^3 + 12125407746289224667944739516469917070172\ 20815767144763840735602047105543/1206109652338323277636105178355409\ 4352352140656377153923288130913651443*c_1001_4^2 - 6416923986491642395915859711429609866933319166750412478166827834346\ 98821/1206109652338323277636105178355409435235214065637715392328813\ 0913651443*c_1001_4 - 252391895745488712963741656123777843662781581\ 2209253066397570997285377/24122193046766465552722103567108188704704\ 281312754307846576261827302886, c_1001_4^26 - 476/37*c_1001_4^25 + 3356/37*c_1001_4^24 - 22503/37*c_1001_4^23 + 147860/37*c_1001_4^22 - 779554/37*c_1001_4^21 + 3069126/37*c_1001_4^20 - 9078129/37*c_1001_4^19 + 20566842/37*c_1001_4^18 - 36180749/37*c_1001_4^17 + 49560493/37*c_1001_4^16 - 52113525/37*c_1001_4^15 + 39969178/37*c_1001_4^14 - 18524125/37*c_1001_4^13 - 1120059/37*c_1001_4^12 + 292354*c_1001_4^11 - 10456215/37*c_1001_4^10 + 5482000/37*c_1001_4^9 - 1127565/37*c_1001_4^8 - 722713/37*c_1001_4^7 + 798079/37*c_1001_4^6 - 367724/37*c_1001_4^5 + 82672/37*c_1001_4^4 + 681/37*c_1001_4^3 - 4813/37*c_1001_4^2 + 609/37*c_1001_4 + 121/37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.380 Total time: 0.580 seconds, Total memory usage: 32.09MB