Magma V2.19-8 Wed Aug 21 2013 00:27:26 on localhost [Seed = 1848147447] Type ? for help. Type -D to quit. Loading file "K14n15581__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15581 geometric_solution 11.79273635 oriented_manifold CS_known 0.0000000000000002 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 1 0 1 0 -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 0.559167901128 0.879096194344 0 5 4 3 0132 0132 2310 1302 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 0 0 -1 0 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.895340860662 0.654516810505 6 0 4 7 0132 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.714564732995 1.332056421167 8 6 1 0 0132 0132 2031 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 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547246692668 1.025011025902 2 1 0 9 2310 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.578629661920 1.169725696999 8 1 9 10 1023 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.672340597658 0.666886091838 2 3 7 11 0132 0132 0213 0132 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 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.248905992040 0.498588948678 12 6 2 8 0132 0213 0132 2103 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 0 0 0 -1 0 0 1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500229106744 0.664943658288 3 5 11 7 0132 1023 2310 2103 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 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.770738696466 0.526994023311 12 10 4 5 2031 3120 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486329813123 0.222272843288 11 9 5 12 3120 3120 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.408725849265 1.171360373470 12 8 6 10 3120 3201 0132 3120 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 1 0 -1 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.820288430630 1.827393200216 7 10 9 11 0132 0321 1302 3120 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 0 0 0 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639758435998 0.644892770132 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_0']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_5']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_9'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : negation(d['c_0011_4']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_0110_9'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), '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_0101_1']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_11']), '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_11'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0101_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : negation(d['c_0011_12']), 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), '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' : d['c_0110_9'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_12']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_11']), 'c_0110_7' : negation(d['c_0011_11']), 'c_1100_8' : d['c_0011_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0110_9, 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 - 8999869512939204056638286899015503553539213078625460123714161605401\ 0700366664939986401435448103512350683236558389053633732977887079907\ 2147646/74657856256022052168789889593003474022942404615344307069182\ 5845732087765301874386455506472944811436785817978553926416550613994\ 7006152886958393*c_1001_5^24 + 106298287761390184735799650013440899\ 0911872320274725225550901798240568236559452536321512413153430672069\ 73386307138284831385187547594962288155/6646099963444099599595539132\ 9083211296387897283689294126868769649740750620344900871410071775502\ 501791022371978094339752280177569787711159867*c_1001_5^23 - 2429436232246321764973658563547533635076306764675628017861879700206\ 7902411245546378568608841686923122092324376727514776387985744643938\ 5426911699/74657856256022052168789889593003474022942404615344307069\ 1825845732087765301874386455506472944811436785817978553926416550613\ 9947006152886958393*c_1001_5^22 + 178646598000927211524189119519918\ 2606220619041477027370943500178299929650167570443312910257922356791\ 160181666512390145245965000504703508260426816/223973568768066156506\ 3696687790104220688272138460329212075477537196263295905623159366519\ 4188344343103574539356617792496518419841018458660875179*c_1001_5^21 - 76635796965065777020614891390328734564380662787818442574825147475\ 0683885593420816013003618376325358974795764620735526569422414958761\ 77914189638993/2239735687680661565063696687790104220688272138460329\ 2120754775371962632959056231593665194188344343103574539356617792496\ 518419841018458660875179*c_1001_5^20 + 1140661764055527894618176819069370814990610341016186660055424161809\ 2620610139223948621639391050235967295207539888735252221950255604111\ 84299989614823/2239735687680661565063696687790104220688272138460329\ 2120754775371962632959056231593665194188344343103574539356617792496\ 518419841018458660875179*c_1001_5^19 - 3251491476690424796477319202404510431947851364949822642639001887759\ 0876124293831164396948037550762753267153222332962892574068247802237\ 321607486302/172287360590820120389515129830008016976020933727717631\ 6981136567074048689158171661051168783718795623351887642816753268962\ 955372386035281605783*c_1001_5^18 + 1715425554200538140349323707827792445272793096092576017646495772475\ 9035612713535103867282968941055283352064040729450894946738353663998\ 700862446755547/223973568768066156506369668779010422068827213846032\ 9212075477537196263295905623159366519418834434310357453935661779249\ 6518419841018458660875179*c_1001_5^17 - 2349861315801716533397607762473825710717738088566634063235754297249\ 2306809720237349345363628556824157983324871798317670428689186164212\ 3358137113881/10665408036574578881255698513286210574706057802192043\ 8670260835104583966471696340922215210420687348112259711221989488078\ 6591421000878983851199*c_1001_5^16 + 4402817864650672577797744345409246790166994287928865254259200617138\ 4618177249108756396361784587675973374990190783098984522844798985408\ 77681072917703/2239735687680661565063696687790104220688272138460329\ 2120754775371962632959056231593665194188344343103574539356617792496\ 518419841018458660875179*c_1001_5^15 + 1878163089992371010447244005727270136862280505765217639484418875157\ 9280103095701357726266260876678866982448042491978058268424484268721\ 9751070535698/74657856256022052168789889593003474022942404615344307\ 0691825845732087765301874386455506472944811436785817978553926416550\ 6139947006152886958393*c_1001_5^14 + 1868274628700518328749609043294873895706320627794588667443890108613\ 2150562687398048991577128623548317820295457537732687932522739046137\ 694723649590749/223973568768066156506369668779010422068827213846032\ 9212075477537196263295905623159366519418834434310357453935661779249\ 6518419841018458660875179*c_1001_5^13 + 1253153341338627779400129197229114792687793789809397604269656572075\ 5990629112035117495647654072504397835066287221293198483494207644289\ 495334849224200/223973568768066156506369668779010422068827213846032\ 9212075477537196263295905623159366519418834434310357453935661779249\ 6518419841018458660875179*c_1001_5^12 + 1000296072290537806241048910007738665320260496385508018857365261098\ 7878411438151048643754885434837487447465815578852328659243772945741\ 766110991046989/223973568768066156506369668779010422068827213846032\ 9212075477537196263295905623159366519418834434310357453935661779249\ 6518419841018458660875179*c_1001_5^11 + 1459571583876181426260639512287482776486725203530583496437350323649\ 7944983883209412558674143248204127829764988252041327025061199578410\ 23993081046063/3199622410972373664376709553985863172411817340657613\ 1601078250531375189941508902276664563126206204433677913366596846423\ 59774263002636951553597*c_1001_5^10 + 5983666388836570138723151396099829683932664040537954375491372096696\ 6210806057913836213297369020030248414078342788396362594778484455695\ 59331383174426/2239735687680661565063696687790104220688272138460329\ 2120754775371962632959056231593665194188344343103574539356617792496\ 518419841018458660875179*c_1001_5^9 + 2100898660391853946088835795112215866739038045464717518825904978615\ 1659450120781659409354343338794748978340095591313914829685487719643\ 54080934503376/2239735687680661565063696687790104220688272138460329\ 2120754775371962632959056231593665194188344343103574539356617792496\ 518419841018458660875179*c_1001_5^8 - 6750846844336658511003776841838330397532929125314259804638251337159\ 1679103685512488376720512005882457393501443685854156405881607396173\ 4686788249834/22397356876806615650636966877901042206882721384603292\ 1207547753719626329590562315936651941883443431035745393566177924965\ 18419841018458660875179*c_1001_5^7 - 7715610440588694005425001576074908236437569049419752754919993132699\ 2856846484621588621310762643696729286517483804413177548133154058853\ 7290100420647/22397356876806615650636966877901042206882721384603292\ 1207547753719626329590562315936651941883443431035745393566177924965\ 18419841018458660875179*c_1001_5^6 - 1444506142498586437614323446143012679889551152129654113827489639142\ 5255326406132310261158080933044019500660575115898458877909421607864\ 988370292001/106654080365745788812556985132862105747060578021920438\ 6702608351045839664716963409222152104206873481122597112219894880786\ 591421000878983851199*c_1001_5^5 - 1588435309770574138054373771047053575713776775525949530734326318188\ 4652674828584654072243829444582304395176767021603402272050899138563\ 9465935818172/22397356876806615650636966877901042206882721384603292\ 1207547753719626329590562315936651941883443431035745393566177924965\ 18419841018458660875179*c_1001_5^4 - 2168983918130271720127081787213480334776543186167778246279026589753\ 3880202796822615860249938249076585154028952021132824320729799290244\ 2255288492/43916386032954148334582287995884396484083767420790768864\ 2250497489463391354043756738533219379300845168128222678780245029772\ 938059185463938729*c_1001_5^3 + 80182140476054295189706998281542954\ 9764647764701819061502535963856025960714712827401196574794494392679\ 049503249473001950251944454605065688109/839198054509596299997638235\ 8987239014906036713478696137268078748534090059221488850711976540276\ 64697200140108532271441287362577879218354411*c_1001_5^2 + 3530967437654436717481196094771417595883591133004191204821227078701\ 5777697061261224690327992629704387383332113055056998748826092880650\ 62181820887/7465785625602205216878988959300347402294240461534430706\ 9182584573208776530187438645550647294481143678581797855392641655061\ 39947006152886958393*c_1001_5 + 23695907116546544894909022858192516\ 0324825575112081098012896796442403002843752237525240997506527840676\ 0368723653772372411455550642646435574777464/22397356876806615650636\ 9668779010422068827213846032921207547753719626329590562315936651941\ 88344343103574539356617792496518419841018458660875179, c_0011_0 - 1, c_0011_10 - 68807152723477982921458361427782189848140923840960321807256\ 5496563302462083771937087754344791098857523727828536/16731137326403\ 6444760670986349589700388419882712229121656488017666641896897119315\ 4698677012957803181096514624815723*c_1001_5^24 + 8916452871366847659449235767284983465462267818628425572680959418763\ 241295613078645073147824193438701341345771860/167311373264036444760\ 6709863495897003884198827122291216564880176666418968971193154698677\ 012957803181096514624815723*c_1001_5^23 - 1827068152303643329986489650020112805421706342326514008807300810606\ 72937436707345556158884257112851974800327762308/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^22 + 3949562329161441914012193542232727054505182231162028940760655009486\ 24846192359460958104547597634122927478348954362/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^21 - 1933148193900250024787306027767116084246640939197288170167600406572\ 7640214881096900080494148349684094993157467562220/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^20 + 2844855109835806103117747414575603508451473019110989842975422690239\ 81277011707101004612512647973136829562576184144500/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^19 - 1182562045604426030774103342839899408035763715399330877022160713645\ 5856421672816847651591843875975644636432322793784/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^18 + 4246758667701201089884800398989130756721400343866335740647220020408\ 926528717984410280929267513562529164888828658726115/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^17 + 1729380777908809391243007235482161415520903273079156236262957550032\ 73371473078513372057733923225334394271909169877908/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^16 - 6156240699387756108146434449243712834892554670645390109894969996598\ 52582116265391572401463564566805349423510684314500/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^15 + 1565041172047149855583779323548658520485958203881413457447216336624\ 678055895454855836992026002930049227708221244648746/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^14 + 4255234132256455774766878971460379538956130090615029527204394177946\ 941061839988136944243577849888008694950459695996192/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^13 + 4784784211006752823247690681392170289912751409841130416419086375555\ 601693059311991605009330160543619311489005060375731/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^12 + 2107281071017022559030460054306665177691165796851610995444376593438\ 089438971161551960113165912316120603878570569430474/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^11 + 3160230528691678903407051857163135900726968801377838832940869147594\ 741572074306407297565476416843310923169919966391516/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^10 + 2064601541270959524675249665706927340515345648883975046348185788330\ 859378662886302183005558205409254305211562546780086/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^9 + 5786745652782142477000958523950528350634094008149739665773499954772\ 10131378776695124891916189329850641120510976866175/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^8 - 7605450872788814331794136670911165039054836091873237818659715074489\ 4725831913726577086782387318032984416950372412595/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^7 - 2030430597024280360750480141009070275296529690107848438825159065013\ 58697230424477352781422397785312739252510318065837/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^6 - 9216893749879314745632659076782600615136214578257642995985767893730\ 578893522095949665782378545161635526572432636742/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^5 - 4599912458788505563634268510797514058146907013212177902491161441805\ 4230284337284370802870379530606747136620720315583/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^4 - 2531361710092506546098863936464448580578816366746832367413257973284\ 0426035598926056098527068635701750074447119214528/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^3 + 6866449495581536131428647025519532925033814699860824837140644594225\ 755460875787567593423766774951887202340635028904/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 + 1448714428927704490450530486158112952823368096755339982187356198152\ 742725823965684840257199719157394843114465842993/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5 + 7514399534231485055932875309356482990143153186586908354626578223468\ 377214959759113972991172552029906096445768184/167311373264036444760\ 6709863495897003884198827122291216564880176666418968971193154698677\ 012957803181096514624815723, c_0011_11 + 75421849931257579280889639856630780125915059329644905488941\ 2790187948327191757554563515116606249131484978862736/16731137326403\ 6444760670986349589700388419882712229121656488017666641896897119315\ 4698677012957803181096514624815723*c_1001_5^24 - 1115755437140103835215207774612069303186104357584145916840179647277\ 6774273595991913296687385100128048831214879425/16731137326403644476\ 0670986349589700388419882712229121656488017666641896897119315469867\ 7012957803181096514624815723*c_1001_5^23 + 2195076335705315140551703733538439995560295612106428482443364911847\ 20458378732049587735430119644217696342443957456/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^22 - 8184224743378842013066447318445459691997649853521115527534248480177\ 37823861593556071606068301931915058501560411822/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^21 + 2234591518578313401486605185894135031267468244722114952464305687669\ 0543528012570195510800098838025132557658544966539/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^20 - 3517791568211726831772584406445213001735198317698184828348602040148\ 56456940304075118998404716567616828180050253945067/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^19 + 6226856953933172844075440853708153018156424606923922783234426425088\ 36230017741742270447212482170940972090686182096817/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^18 - 5250137109072779908125113333040510482583621144722188781829988383827\ 081556585165346821263549664042799268544406559172595/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^17 + 8873017469278792045002962970208844103858203736502593983244236806015\ 934478275758227851983958543524242805581619602920358/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^16 - 7482268286985131676832172280176210898556721345483029746374165497826\ 927246787704046994017816368631470286405761585198113/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^15 + 4132403816879189472213601623116148867607772893546037767499241278811\ 462869527720884921936808817076930280920074056399974/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^14 - 6682745775171330489289153267711646387791221810766222599913741815303\ 476069112588494423816054713104713502453045808541753/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^13 + 4864450681167197229816559010826006029013971521917054298712999445277\ 676088645230139471342805683401866497364805797277227/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^12 - 2070304775942283533885240658465937363457715461072854555224733937014\ 199088040100807844434827537244987782420165217670639/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^11 - 1711771353129273704340010162897944548994248690047583641719571025680\ 31419258227830216372569266721916957121006238184353/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^10 + 8061472628999768336311325657772047842783453613115509609605833922073\ 76871636814187146254548680732302873996237857417363/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^9 + 1979531952387910107284568567720129258677991181523550949169857798415\ 41752379513329348845225130233376929365896055195590/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^8 + 2104746320409891715338186146313277417610461193443608264142278960751\ 69654311829342413687755462153448870300857394051180/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^7 - 2521733341289027184938415180008378253178434209320852872189038007559\ 01996518970462526482346706634688537445124496402576/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^6 - 5544689350138829846041475172504563764298342801250995380963031866871\ 204071089913722861522068456538067207762518665493/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^5 + 3868743409284735797115310787508956840924503843172133803449917100481\ 9381008618875017031164959134599863227194676483250/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^4 - 3362742228904041149783296206546078542877022461521398535462087818408\ 1262644439042467559984329398877652000128967293094/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^3 + 8705407331486215115973761832479206953955433597351921970469620889335\ 502079465903866589385423214685371243946505376218/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 + 8883124293703248101240157238993172783194975211482867582821732429424\ 02436193205729926857844424378626458809992412256/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5 + 5765585807185858311147486633889439483215162328892199510024530736530\ 16270608836732768625615886767066060157686563302/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723, c_0011_12 - 34810033523205348333299348509640402750602912507158368631167\ 2225352183872113465046721594664647453650199039046952/16731137326403\ 6444760670986349589700388419882712229121656488017666641896897119315\ 4698677012957803181096514624815723*c_1001_5^24 + 4773819903442003342944828555761611146080019524876526603641005761278\ 885327997341540061233709384924616377593627443/167311373264036444760\ 6709863495897003884198827122291216564880176666418968971193154698677\ 012957803181096514624815723*c_1001_5^23 - 9610522949147919523942717886215183297477696595659112149698520890456\ 7721777127578825002854631891521192286931652563/16731137326403644476\ 0670986349589700388419882712229121656488017666641896897119315469867\ 7012957803181096514624815723*c_1001_5^22 + 2733042980580623829912440563901753536671206860534093023957460543006\ 86159579631307125086415218953854618834768323233/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^21 - 1000463524147744538932445357443719679293298862125319087155864060420\ 6558967481264614007140198233463325134113267323900/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^20 + 1515286931440864791438471851420487637083856604643227791918807680337\ 81493292377566370499068984653980541970724489144657/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^19 - 1223409265737994838651972726487998329808968565116972848359283635688\ 28684582354843869547335892242911381215925671274382/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^18 + 2269598038054601282032622193984275399043443313256226418525716669351\ 419378316107880444881488148883506424174347300115295/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^17 - 1644462852773022716975359226188645774450752901100035744193523569923\ 384599753234729110321911029178631570761168390744401/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^16 + 1356306509719897507559111388890988272550073667417761656983614627436\ 918078769804010439596740574731362243886385139677970/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^15 - 4596752020918565704863203932065680775473074805774315018647161928891\ 31965552192752258010663491952795813714318034728190/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^14 + 2620548895630523355785705572220356248952268862473765216848362964613\ 504019518761609102847685255133393676220989830743809/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^13 + 5121463632274819307017222384445211198564326975713009543423451632242\ 32658587948760189541524207223267126173663632453177/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^12 + 1145975835967826316203521248008982185850181034218760294139281083214\ 677038317960036710611809076051090566314916102685396/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^11 + 9389340155037675412245438421425371964136451385028188706407401955856\ 81821236837637494155412027042693844412918856523779/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^10 + 4745591912419567697942660758665790668702939193472151361411825706886\ 00570877616511307745182767298763420153379434712915/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^9 + 2067456015675190335348906842212100210989266283358812204513750543101\ 12975833262119410751811304629013263048187637871948/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^8 - 2898235124446951980879273827632918667401950708847095329784750536502\ 1580977256608854433659266458340950356014707026649/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^7 + 1682718485000567923155024959610635029096366146901253973307870517746\ 450728849235372389383733379930710597129580127078/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^6 + 1172211750342018824717342202600259540693101766302598064096509496423\ 7439583235779222385892012612238511743284783547160/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^5 - 3683980529614614789159266812650728092695700641439997910366123027540\ 9746099027870466820804673030163717000801256095/16731137326403644476\ 0670986349589700388419882712229121656488017666641896897119315469867\ 7012957803181096514624815723*c_1001_5^4 + 6527015236192273508860194947789502582869393944980914627105071515038\ 943668469400352628419305858558624262150849853941/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^3 - 2498285845364196624083675726516079444510618099941765918042083364716\ 885621117618901212820749613653051227927350259200/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 - 3194770002203445884121434620727307120314802834842739668393980953765\ 834851318782786091896233833323071620602219515171/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5 + 2228007965838415534865880731155151023485764610995172783759721030627\ 77365609836904664053842245953236180802547254076/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723, c_0011_4 - 119078880900469867663913494042646539691080205506034641189369\ 8702249749680400718112134784419846536404507175916/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^24 - 8288889508728960233987326512050516752908706457270893673474889912591\ 4602992869313927131949890992982938691432711/16731137326403644476067\ 0986349589700388419882712229121656488017666641896897119315469867701\ 2957803181096514624815723*c_1001_5^23 + 9828982779207719694308052112551357814784148221676667531992292165112\ 43757679513423093530968003400539875154958130/1673113732640364447606\ 7098634958970038841988271222912165648801766664189689711931546986770\ 12957803181096514624815723*c_1001_5^22 - 2582593724294157861552777496954319480488969586802767277776918528521\ 8243073105967856117067804481914021704403026005/16731137326403644476\ 0670986349589700388419882712229121656488017666641896897119315469867\ 7012957803181096514624815723*c_1001_5^21 + 3072241943478771625606322433962675705208928568818082336822780738379\ 6468862041191760636466117378785647902175839047/16731137326403644476\ 0670986349589700388419882712229121656488017666641896897119315469867\ 7012957803181096514624815723*c_1001_5^20 - 2306314072849401967370141439070679989086908474728864329321314311800\ 533005555807125004554933700272379750694558476422/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^19 + 4140257456821513082061500733417342297949672663287523751081457713513\ 4157280735382436898404879475721469496655787351462/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^18 - 6946475385077902605817487203329641964960183552805068587582411447008\ 738789038469172000564293275493317394224498664598/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^17 + 6424431556099745178108716272871429708041916571800228750387999116799\ 12379613399421639556180678838214650209129594791075/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^16 - 1715447614910323866183990696156898782950137418260772909792017863404\ 79505787787335789296378472662285670311425488558030/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^15 + 4267853255097280646172528756303030952069831727690162469346878661532\ 79687788579116735173988443069702296035354463988903/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^14 - 3164527779999286872010347038882233762289866672975245722872853292804\ 64941431849056003910620647765147112142987542847085/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^13 + 9840668259956588125428554710016809660340460925602920377608854791165\ 24544240490691791343030360966207325118405217017999/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^12 + 3323396373482258291867259145336260044225122362802676652263440301701\ 97614878600491232822225079695758271775247783119940/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^11 + 7460978362704792800300341798703732486025516368707353315797119015099\ 05102020246964519642904139936787811707410812537844/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^10 + 2515366578006785256769853119546681579201983565380913082672822602674\ 14333128130272915671583256322715208450126042755596/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^9 + 3665992354477417778233567484563043839016691091977311823437432312473\ 14977959520046751905587177195289937939507695693500/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^8 + 1195286859550837921734910999625700861834396398008420427840622462642\ 97725249926556647441145342127504265601567223837220/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^7 - 2244912955155113054187996113348102842073841152331118537533348031034\ 0857019782405265915172380721213023095943948690918/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^6 - 4277335858754609079742414448114965494374188642462190790760087505447\ 6174288410775396331411246212864159814923522115861/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^5 - 3112098527050162775176838436801323642600257718112313776034186233068\ 2342003288933083461356847373807287451244104701434/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^4 - 1717683707703326423715152167758011346053648282946928444969616720393\ 143625529540610012153098805175962092217200236641/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^3 - 6144852569660693407498168688295386472013113158326063594133385738734\ 370875081085204578962547394389099805359910759303/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 - 1990312008165983520519197785258579907308031066014765313430115687865\ 827930809570863426267766679674583338861555857168/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5 + 8778156939388044902744824310742152588919133236543734917471156784978\ 70359858462576547603860717044519685087539087821/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723, c_0101_0 - 371534530664870043647855623604918806840709822553405575080253\ 960465583062986705371837433431379903402269412663396/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^24 + 5042906019323932442781813679151147871622396976617342055859546831583\ 157352298084902525660594747219610787132542201/167311373264036444760\ 6709863495897003884198827122291216564880176666418968971193154698677\ 012957803181096514624815723*c_1001_5^23 - 1019810644966098255815903940898143392434953158216071322994713188052\ 58320374217962440971431143278184885414090710802/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^22 + 2789240108355243464385871049165343149186490553614025742077654422348\ 54012234115886275969332925964249629136697492872/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^21 - 1067062530953995526619068180512853117368627192736940765494421180895\ 7512503855115501888016630391286317748989307732292/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^20 + 1603145136445847232495000796338679552339252693196021991063806015734\ 53887049153741968341555365838206911488139213626896/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^19 - 1113215936565578708677489003949857864720109897584088395497467979735\ 25823433267266695309466007787523157639750600142512/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^18 + 2456678122364613972571176378083837693679712438797635369823441243684\ 075676249314928551633803424922909040696785703154242/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^17 - 1443181119368690521371407569300240581763166907743365459505394882781\ 040638240400275244856051244364045591719474348452074/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^16 + 1980807889278922433932900107320114563079648551538157767393592701601\ 718223625543954633854513230720641135979502143381907/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^15 - 6599480152660533506536927413230722487834987516111097779049265119735\ 23735066452584236832716172163244920552584951327836/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^14 + 2885043093286520135176409413442009688580522774254685785625617265477\ 395898528699919043920053877401650263093817978157933/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^13 + 9626137670784316688524134131283080639214203374977534419568801912318\ 25450069455756256725716514580927272766882157853467/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^12 + 2066351214921982627878547540305895516916975349648839014314120882820\ 706685979987599694720611652833177194290686499326573/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^11 + 1628889386947672609950603118007983522785383807848731621547805276579\ 787432442198206197122656126188667278434985615000715/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^10 + 8727439683408927826361865985897570738905696267481687815723479533706\ 53390797595742455010501305521933767873201112128731/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^9 + 6232189122435787247154566127599128045527114761490224230342992485622\ 12541818134712361629186391072677869020766107411394/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^8 + 7636856052686100006221039339298736404190317442678251403727002123000\ 2440208103989091761410271751269825836419258252767/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^7 - 6663276359457579714638867483891340722407530861264420097817522766731\ 530596286460615588811062891674009697605919412520/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^6 - 7868674134138698126016086319451074984927448291765808262464216334639\ 5008991405292705627455137850251548775502043623286/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^5 - 5771164638258694753205240171763162147396611785228924504075197207922\ 8835040594815477948354646414010345010827962300637/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^4 - 4961858793656078495119721579005038682332470175578118478354526819913\ 712397763226784120485728057496337659760065616804/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^3 - 4239629366495341042700950176107473339192223192568059809583305825160\ 354552357331857227761921753550250431238453292248/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 + 5020797860499362611952119336799538870591485218199451552445660415111\ 78324046376113227905913303146876739279001064519/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5 + 3413733140220157263814840254203586294589278023806706428240393092195\ 98944247517246167181626962982702630825928207702/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723, c_0101_1 - 230628769967149751129022399212163000327631539290032722193410\ 2544270815459131594489706383160617648006450884229186/16731137326403\ 6444760670986349589700388419882712229121656488017666641896897119315\ 4698677012957803181096514624815723*c_1001_5^24 + 3170539841143660342604791100751996791581702390368953080749317929280\ 0095621434836918096750804748947780498804257735/16731137326403644476\ 0670986349589700388419882712229121656488017666641896897119315469867\ 7012957803181096514624815723*c_1001_5^23 - 6378671934738038982231912083778907885394788128275874425553185218857\ 68711453948925230445539093832891709222012468976/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^22 + 1833090184806774222785013515547483847310807585020382569893436101039\ 051969732385838264250106475552801525505845648188/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^21 - 6636605938942358001026077397887352984352465089606725719377651378935\ 9999268496260339694669038461836752874928301547350/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^20 + 1006204231259508507097821892210259445314442625808814068600762982168\ 692877314947591047626560470557300476106868269456454/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^19 - 8463534403983893558555091121881924247252560618033446336929973467333\ 51077489313661680009113295432766096808298115488017/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^18 + 1509740530763169493116150513964636767445316151786592852911733931383\ 0300656011136955277055278138135682140906098899852672/16731137326403\ 6444760670986349589700388419882712229121656488017666641896897119315\ 4698677012957803181096514624815723*c_1001_5^17 - 1141640956687612542235329503376472032996456903240245542112214016356\ 7382217539644053708883547437004765588320610326506913/16731137326403\ 6444760670986349589700388419882712229121656488017666641896897119315\ 4698677012957803181096514624815723*c_1001_5^16 + 9834782186788777570217674708877335869257549137170249750909842463576\ 989287858658597143872296061342449550489854935541180/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^15 - 3592720926738720710539361790293045288245533592225562200405695631744\ 125031964694641968276678682623879118676384350483881/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^14 + 1739973300303462106769614250513326384323097318769728331093282497904\ 0458451816832300268098812205641546332424332976350643/16731137326403\ 6444760670986349589700388419882712229121656488017666641896897119315\ 4698677012957803181096514624815723*c_1001_5^13 + 2793949726810649168166426761855039032474629002850698357396047918935\ 239034381005746472464147392362072702104583241861284/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^12 + 7835733466112232414330287170614055863651120934820464877122470816086\ 122696971910783245168908249956459170010245214472113/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^11 + 6343268273409877479601563236696662309178208139827537701234959505602\ 344554727563086715930289442607159519789951953122915/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^10 + 2815566457781814600012367491118779422112171643234524288782418985624\ 627682860227862846311197607250182745735714760306004/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^9 + 1303536659274442721012884825919015833030684462580602151510784167877\ 709634897329419379702338426707318568456573439086225/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^8 - 5060941264165282044970300423998974165947061744552292475806408590455\ 05130086984533712598480624159227267242466972465127/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^7 - 8433267783422852870308123331398748192418185539354566953674009405589\ 4662963105259595036538925284229496006916334544289/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^6 - 1184672293354991511930798233827140466698576076784581621012242683596\ 43946365548296293740508065263549628889010942735304/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^5 - 9833948312819017661746429401624202750336210350886454333937861162824\ 3277973571153260009289878189693596628390734110652/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^4 + 2357634154968312121451812921200173226331459411373352748018512261336\ 7298350820088307020457925268515588724538662509627/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^3 - 5829266927186203501650351275676954854287969696447251959089503097521\ 038711233195286665321320346171036735987450894624/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 + 3226224413283724229580079276493355746778176809767668473253042783876\ 027101533560573783773613893187806664193898445019/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5 - 2761746219551301878312465210861474854792148280252995129738906187456\ 62141663269250464772258069916335835332358809880/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723, c_0101_10 - 26617475075269303588543027257004349753189463419981764524982\ 2007757448795656712839283803697288353184468905738551/16731137326403\ 6444760670986349589700388419882712229121656488017666641896897119315\ 4698677012957803181096514624815723*c_1001_5^24 + 3718299835494995402497714171327482508366279922627879520213925190138\ 640606514317745108117936073256895328229965266/167311373264036444760\ 6709863495897003884198827122291216564880176666418968971193154698677\ 012957803181096514624815723*c_1001_5^23 - 7435214870606038402561033449184933786708284789622564270632271799312\ 4249827936709834087979242167303070945220226325/16731137326403644476\ 0670986349589700388419882712229121656488017666641896897119315469867\ 7012957803181096514624815723*c_1001_5^22 + 2267788791758119511063696755232083651852365592458689317472062798179\ 76033548919254681843813307156704966711288235884/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^21 - 7684116339133340213532290700167559458796340017570846487760026233013\ 926772270228314724968460539873479963588358763630/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^20 + 1177527726458375532420989110270348438649998831095543437595457173030\ 55522535123984109751260292560359673973923790303133/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^19 - 1211745396953963330127923323018354280040067866739533412783291524251\ 34334486038396604610693846713128134248043609062035/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^18 + 1728501144416167894344741204416975730424136765311713848489655606274\ 623404485233672876459683230718095691093530881315185/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^17 - 1653269451914625195313869266568104146712321785208377825147380073731\ 960301743807084418778605838018022729596554186851985/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^16 + 9025255703558093014405114028061199758056349526639889767445260008011\ 92686437098925724747923656876909277774866072723503/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^15 + 5775957924869082943032193298263350650829675358455071897862572210581\ 7992516527550259007972259051984933933043866537728/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^14 + 1596087387226792444302896527354846064867831772993428484496863233136\ 419547619353252486925235617778106383014344249993673/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^13 + 1386178879990808505457489291618890656914022021408623519860649062054\ 36530100814735979122847949685728102502811745894982/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^12 + 1926267366897726646647896232407878522645892452702454578371114931885\ 88578380278383557758049822935168615861189113308543/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^11 + 8326644042322865005861593938475673670487010188668009048550533018044\ 77542355606390408386735451383156119885620688476084/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^10 + 5073489251816292830937013724390337563218760801772386006028325452642\ 0045893814569606663964180726465341509510952006503/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^9 + 3782418547580726136632865827654408712483129641110643798878730029341\ 2533242315917896245335710022154299767741779729974/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^8 - 3645790127126034099621359710564009490202145548445439099540329623621\ 4026809018019278037209772997886255262047075411943/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^7 + 4238305548125660897431895601168183312484543694975969509545325122696\ 0711674573362723859604578861550448160850877797381/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^6 + 3494770547633968907032515895791580304128961115280744944094295052159\ 5513688432255568582778854392496800633186953222097/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^5 - 2766513899414117849599176320760778464214127491047299163552295563048\ 8401784910855875353730917038670875678794624637025/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^4 + 1614333667266091541034402268835181014078646653387251859276696837438\ 537768027540935092932166150927235244517369694433/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^3 - 2114805817180525022093530124218009522685291261399084521141959039014\ 224700417122268020947122630894938847596688397205/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 - 2186588751435310127664619385544348818640930578701913749658572678134\ 139600861092814987057770056585967432047321534983/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5 + 2485146049556463670979635466296522420562382831632367547254504579653\ 09829644938349446182881513528371285758434523460/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723, c_0101_11 + 64538090114556691017540774497876772798168289416261155650419\ 6561770423153188057690975932369107438644464977469073/16731137326403\ 6444760670986349589700388419882712229121656488017666641896897119315\ 4698677012957803181096514624815723*c_1001_5^24 - 8938400099128704143274961241431652331124259751183616425939165425396\ 230088371273102932766237862496258325716881978/167311373264036444760\ 6709863495897003884198827122291216564880176666418968971193154698677\ 012957803181096514624815723*c_1001_5^23 + 1794732694023274743993123868760907384419055076713021224667456544447\ 49814119901165061182761239735644561474113967893/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^22 - 5322082458245118973097466960239935343281078173970870678908545064364\ 49508233017630947258415967599042718633813820694/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^21 + 1864319225543515278713504148437205153839757752928977508521665644314\ 2023150948753465071734129102974066467645805580449/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^20 - 2835395810821500350294586757710319577729538296869501964533736309925\ 67808704627564018091051039334535061664225427990738/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^19 + 2676432546543998023265250055081115821417184602334089974617275144741\ 84497856339292282230784600379899913564115982906922/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^18 - 4279431811774835824092536555609216049117077261047029502599852894969\ 827333386369810488445083609347073849419420061950861/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^17 + 3672228793380133510532833900269351255155102866182203628074308378554\ 460055490935553581979808895274613619353829141788097/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^16 - 3545019484383018280949468300845905445719026105159284399163846478997\ 019525987597337205532138553538148155458286206292771/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^15 + 1917960048800422543841295415828073197402387811397766095898223655570\ 664302537197354816235586357508591331651391909533044/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^14 - 5670432323699995718004861701371328987809241682367126935988326590213\ 224266260865581114899402651625057438066263289715672/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^13 + 1314785797673219487413728250470554211023632751861558367914667935667\ 09920212787286696846427440058761321853534621533402/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^12 - 2766972006036375341815084954318536602949751407710454142818701527142\ 430368462141512772942834771230406981500550496165440/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^11 - 1273486356077942107157199508222299138474289569816278629100448048776\ 471972746308769305519657430106440586226011148368078/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^10 - 1004346892903678660785042491963408940756390206599706835095194231074\ 137174210147478647479586974615842166533396734197289/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^9 - 3641068414116608064710915303869763013393656599330935998268427297072\ 08903831395379523754382570741892207472910548623213/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^8 + 1251810762416113904284666022613814483008765317134411344029017536301\ 30120689715196466565826494094203996498472398539225/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^7 - 4575325285302889542094823084308454291245575788948224456998018289385\ 1760364962481156643050095258564055130061657417768/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^6 + 2227845745921903792572052912409814071160824681677919322642538515352\ 8727723959701815359326435414661566686185382498409/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^5 + 1981662697103401373291387395407009554844835753628119857353398845946\ 0202953242596971141901517609782694568013965588763/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^4 - 1088854894386187610809381857989486647880364098564441772870537979255\ 595332120584091419823238037148638271062589864656/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^3 + 7373545648772610491493396868623677679869905744095711626593174540198\ 599625804379904164911389736931322767797597331656/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 - 3255122986864726668526363570941029093477333563142190599326807911577\ 727441866423077193372611858704527205712693388492/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5 + 1629145842212629418735800969112273584558531612150860805177945045925\ 708348593076853490062665881236177940600188745109/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723, c_0110_9 + 686510940556860314707119078649741439921175428039195661865850\ 663969399412802270687936986172557630747148344269654/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^24 - 1004348304830607009267701635836390359903714752395091892529306669728\ 1180159676329007018182800196037056243003924581/16731137326403644476\ 0670986349589700388419882712229121656488017666641896897119315469867\ 7012957803181096514624815723*c_1001_5^23 + 1980584309663130049174644063041429849494523717170615513076931929870\ 61726858743758629838325427990079273736873632116/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^22 - 7112148860118240656338388002464947503428583758134919041710236207800\ 27150760133461691969180351965315330600805360104/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^21 + 2019691265014279556986535738678041512172816699769851178575086653669\ 9436785420642404416785641111392668986538122929833/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^20 - 3168291623704257725803330506359053653165498672406016246409337684287\ 15941654282534378380000690725784436887042724301369/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^19 + 5121027144738080874137209580833127933004637178389235739824824619611\ 16068994385249264727971300486237176735048745404910/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^18 - 4653575522696474338161346206652174912471990273514182778975308523187\ 540767814150621655355128421476241016917905355652936/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^17 + 7303611639042551238217472054652366255991897087564622780373803891801\ 300992628651662190344153685740566848405204891466626/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^16 - 4990136396199132725597698547516903112812941902217993813842789931992\ 381831504402278050230268221673039366028392218464532/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^15 + 2827988924674398093378512482029828581323328919838808227350513679400\ 125737646134524521707682686947550865009019569626685/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^14 - 5492004281757366243291027944305040948885319254394811521567156497057\ 157532620118274563619261285807198248980086963662456/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^13 + 3474542533997269722901068214807031255555977205699841940032582699092\ 402785715277875550696605722262684501136828365966978/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^12 - 5270258243222084877528634215202819875258081666195625813857416081821\ 57555916411699378196835374537544490003062902345706/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^11 + 2189274104814840836900907352180176771539683575444044679708166691589\ 50001356392708793390928199572997363722919413372184/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^10 + 1211215670044433871111473393383011502967272363714396528320419921799\ 400986476316361860937058659335842965629535710016512/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^9 + 6434894853595923130227984671568878953207255314362535803258753472861\ 42891405126715978378786688749741550448800195737746/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^8 + 5830900442364945489987008101602598284695223732499082522716439705555\ 28547557540979878905042098960479140136062887496854/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^7 - 7758543182252112557926029854184617660197947512438641928412763634100\ 0966956930926015934640682656154750605686515209500/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^6 - 4166266612343251015399976703475597968168691658836807416326314664037\ 9988025511886684500411462061114422380299642968568/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^5 - 1419893544589134663182506264350124266091159099302977318534791776182\ 4794762845474686964238952637340242430631889007218/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^4 - 3431871270177193672309950017166340704159119152983847355492982166822\ 0901758379355556389399396627708999857884101073876/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^3 + 5377988790779736685270224146580793980593000379071535815966445239958\ 889351983806552366650400235973333412674834879440/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 + 6140786304830820698535578609442891427926517879858442621724628027466\ 4815981488936536505793895228375751897200162945/16731137326403644476\ 0670986349589700388419882712229121656488017666641896897119315469867\ 7012957803181096514624815723*c_1001_5 - 3143173348564664296856533681386723641542157486691996426740154459605\ 94111951863056253187207048087939719205257143284/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723, c_1001_0 + 108694505250061870198747628211866851749224487711776442643651\ 8904895400881155582580318159953009192783801487302815/16731137326403\ 6444760670986349589700388419882712229121656488017666641896897119315\ 4698677012957803181096514624815723*c_1001_5^24 - 1483065400605952973826934649804915686991436346066353133013667065354\ 1259747512516923073134460182851642477547899369/16731137326403644476\ 0670986349589700388419882712229121656488017666641896897119315469867\ 7012957803181096514624815723*c_1001_5^23 + 2989807421840645333255259782357983925023475074296055441275403335889\ 05596293317725343831280148515523655197498501243/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^22 - 8315245318704412426435666336030246407632158012824048676312320892828\ 68604141771291727246165058711183493354571694493/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^21 + 3116028213183277095302141142729129555466426828828887930627156639882\ 0350981322576595615491472178359188338313272849747/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^20 - 4709157370632578559067392815051484327342521301252423393613511466969\ 96172839219007150807660413524586474953339712384844/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^19 + 3470317039881709025977970443106775627760797083127113157893379867642\ 68954792023378925114148089271595909038848804612760/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^18 - 7028832812296706185604523428035457037579295346914781649695231244745\ 347612931367961763934813377039253889345323599700810/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^17 + 4610405645774202825221551231774585839483724693406261879858387430599\ 703375408992493200676115687774360387108055024320720/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^16 - 3406680230430672030539371224470604712451139303366943350469883395511\ 270818673084446133882945929398424471923271846186725/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^15 + 7145315434802955291431268217433830465074356395969643365759347731213\ 18218853210631698175309827082827067315141214570893/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^14 - 7704094596375081161195452437929305928277174274258329490753616672809\ 540867857887628430328816108450321840413388059735753/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^13 - 2262374578277778000478432829822623753874948992235236776765290253696\ 652035784010044237092149287298663719530985141285684/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^12 - 3059219143521903473212457288072428569510646402646350635103424502272\ 508524517068920465272895344953870971558752169495974/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^11 - 3232589444339555142314772590190705932509440034412519095782791035502\ 266180687122895517107495650862242042298049689544007/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^10 - 1408404808313273497104433638028377407772702872788127523635592839714\ 709421633119272262692796953871054066924881290330958/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^9 - 5087716811075192809306073252015958391697364613063749551077945269575\ 61480049603071092942025898589525137126732277934929/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^8 + 2743190779931246640209952374680742103529152178932970273073296374904\ 01625164315246904829750183208544909718632561338079/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^7 + 9023737727861322361098396687769819714570148528897210239456654338712\ 5452782046466114477574371347650773122255577468034/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^6 + 1450543529543638189390881917722831174183277755801393880644680150383\ 8626527329698509685688390004337670297578592212391/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^5 + 5741151451029145617458733568776443884328622859650786226586938511080\ 6727011770692173718533408288309988534999321837624/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^4 + 3275742978641198330951171427211724851012861155191334766612235650831\ 291780286170283497262793064228418890415250028498/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^3 + 1734959701449018123987985428916855719680043086936005914448901561774\ 750933832372124156431122451014651544455749085146/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 - 5112322080112699952983098485532312284179967099017786605050533736556\ 08511483075087444821050074934287057229353713762/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5 - 1411034013468639751918183807995671505124089858246017146425807112746\ 81235241057987057648419269876822796892093920596/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723, c_1001_1 - 553357654732050163542302315833150685845355561074939777323148\ 168863009733680745641537324994337948208731388944221/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^24 + 7394848034412098237467164321557432139542633769589093597602934111057\ 671396472754689685309732556757597784341802072/167311373264036444760\ 6709863495897003884198827122291216564880176666418968971193154698677\ 012957803181096514624815723*c_1001_5^23 - 1501799454200849375482751635679770349773770098536843146317702565761\ 66716179683907322334736821224482954011887482938/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^22 + 3819283454449197270323393408736739999661463745412559051180290303890\ 40428898915111098127176043312382502286692812729/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^21 - 1577095085236516835023023793153904226113339836101335361170909721672\ 2553724516290125303270400767297352167046300273941/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^20 + 2353851044606212207153491041884291726692785797094898720657495870605\ 07393369431913822276665575692267307823610976347281/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^19 - 1120362473756101166918973247039250265266721758876381900680183106936\ 11004593843311817599803349343671307330052621543385/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^18 + 3570866284085688854286159344667135691512035352563846094592190327121\ 208509125086956546898040310589488318198883816615659/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^17 - 1417392896364917760098171631971305760615148909617583676617780991304\ 619290526235550005953067557922867215382915843719567/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^16 + 1698729388980334011017628891927018139657079454899074124359620984000\ 407922738098861389990088802964388122334312481308068/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^15 - 9455312759884016876687296300561953394844875363826233569011631705587\ 11091273377960248041920233689880117230352104592694/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^14 + 4643982307083906413327304818485696785609862078897482332410964427242\ 364070482327984151800237094846613007001129236980195/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^13 + 1804576871476557440930836158218896501373979277506552730374192355505\ 802399862893976331070673862721749683366002869908076/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^12 + 2659862511737457288361302060949560704563054470499095374939067671161\ 627102665890815692557688110051312231362089862734215/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^11 + 1491253193739913965692291017992546110784944659088761069028217068496\ 046238597952961461827134944200393136029339334973276/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^10 + 1338727368158705920069280963473350947876771841681369857363509651590\ 001902408280343542644581021925878878808412888565607/167311373264036\ 4447606709863495897003884198827122291216564880176666418968971193154\ 698677012957803181096514624815723*c_1001_5^9 + 4472532178943320014919679682167305431223221337450310510122634978494\ 68348244814117500072681868436586806276712107118471/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^8 - 1821930951799216123079916036512443588764162157630133097307434901625\ 94867807879883079759788421835031531231070338852422/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^7 - 1355184031895658087832877322608853285632355272376147317023339169805\ 24261480035069313536809564447411144644641322845112/1673113732640364\ 4476067098634958970038841988271222912165648801766664189689711931546\ 98677012957803181096514624815723*c_1001_5^6 - 5664807693582068695667927074061380259918271650068481399794840657122\ 2305571799185283412685901830251857682585077680688/16731137326403644\ 4760670986349589700388419882712229121656488017666641896897119315469\ 8677012957803181096514624815723*c_1001_5^5 - 2963843502574564345987173819871794311520727253095969860421539848571\ 785269024921131417314935798315097870543085405643/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^4 - 6293773147894005551384424254785359049782984568100352969401116144757\ 22361985747364239180025302524006231200712640595/1673113732640364447\ 6067098634958970038841988271222912165648801766664189689711931546986\ 77012957803181096514624815723*c_1001_5^3 - 3747648028278752285732517237809629706540492115517563574748197394545\ 932879289475233541363785676490938007923070828794/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5^2 + 2582289290023557338592524461251966561466630061728579563427368504676\ 106516777777440532027327978046449130510307476278/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723*c_1001_5 - 1469973768566614849960086417349306643510432997540277172039981763377\ 851537946133528112724810265951668083705083854454/167311373264036444\ 7606709863495897003884198827122291216564880176666418968971193154698\ 677012957803181096514624815723, c_1001_5^25 - 14*c_1001_5^24 + 280*c_1001_5^23 - 864*c_1001_5^22 + 28963*c_1001_5^21 - 443517*c_1001_5^20 + 475748*c_1001_5^19 - 6616905*c_1001_5^18 + 6585587*c_1001_5^17 - 5192342*c_1001_5^16 + 2390638*c_1001_5^15 - 7834868*c_1001_5^14 + 743320*c_1001_5^13 - 2814510*c_1001_5^12 - 1780276*c_1001_5^11 - 498579*c_1001_5^10 - 84233*c_1001_5^9 + 369996*c_1001_5^8 - 9249*c_1001_5^7 + 25336*c_1001_5^6 + 31853*c_1001_5^5 - 17799*c_1001_5^4 + 1703*c_1001_5^3 - 1035*c_1001_5^2 + 386*c_1001_5 - 221 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 13.690 Total time: 13.900 seconds, Total memory usage: 64.12MB