Magma V2.19-8 Wed Aug 21 2013 00:17:47 on localhost [Seed = 745161079] Type ? for help. Type -D to quit. Loading file "K13n90__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n90 geometric_solution 12.15817956 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756294485413 1.516154767793 0 3 4 4 0132 3120 2103 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 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506053126601 0.510056492928 5 0 6 5 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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.501109851775 0.699268263286 0 1 7 0 3120 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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.103347478777 0.642951280576 1 6 1 5 2103 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.019746862569 0.988007881342 2 2 4 8 0132 1302 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322904300761 0.944845789815 7 4 9 2 1302 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 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.314459910472 0.485257755441 10 6 10 3 0132 2031 3120 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 10 0 -9 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547086681486 0.842751033309 10 11 5 9 1023 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.349737256942 1.167949011698 11 8 12 6 0321 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171862630779 0.963497654035 7 8 7 12 0132 1023 3120 1230 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -10 0 9 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.547086681486 0.842751033309 9 8 12 12 0321 0132 0213 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314711900333 0.421063238029 10 11 11 9 3012 0213 2031 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 -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.838180758025 1.008971678584 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : d['c_0101_2'], 'c_1001_12' : d['c_0011_9'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : d['c_0101_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], '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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_8']), 'c_1100_8' : negation(d['c_1001_6']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_6']), 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_1001_8']), 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0101_10']), 'c_1100_3' : negation(d['c_0101_10']), 'c_1100_2' : negation(d['c_1001_8']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_1001_8'], 'c_1010_4' : d['c_1001_6'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_1001_6'], 'c_1010_8' : d['c_0011_9'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_8']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : 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' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0011_9']), 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_2']})} 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_4, c_0011_9, c_0101_0, c_0101_10, c_0101_12, c_0101_2, c_0101_5, c_1001_6, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 5475484849950703115628942275993369531119824753319643628653725313554\ 266810409670687441677784350297574060998415764500889027788070876205/\ 7510929414665058641584006176328321456445375313875177827022044191327\ 6692131869615186424391735956218091256197747123195957692609731500441\ 6*c_1001_8^31 + 201113512097355103029583108742644607061516602442059\ 5976819026028555359608231508634475325302958272096106124420518671448\ 30681876496237195/8262022356131564505742406793961153602089912845262\ 6956097242486104604361345056576705066830909551839900381817521835515\ 55346187070465048576*c_1001_8^30 + 1548179014587463654772613433530491942169565319379983378174159627984\ 1271923244318842959300334629210995206216968596614204734165576911989\ 7/41310111780657822528712033969805768010449564226313478048621243052\ 3021806725282883525334154547759199501909087609177577767309353523252\ 4288*c_1001_8^29 + 652270184322962538075121716199806130109054089256\ 9888857773819707480823783178633263428180397268979508640773838832753\ 43039084194154739723/8262022356131564505742406793961153602089912845\ 2626956097242486104604361345056576705066830909551839900381817521835\ 51555346187070465048576*c_1001_8^28 + 2783167829793101211996816566615549707467627200130379176855043219903\ 1902725287160909928444680439271515595594790721319470766224808835090\ 9/51637639725822278160890042462257210013061955282891847560776553815\ 3777258406603604406667693184698999377386359511471972209136691904065\ 536*c_1001_8^27 + 6852412788516552410826196150684236620179008370481\ 4541973987968607337624909829478388572256624826205443467849121674727\ 20207563073617305627/4131011178065782252871203396980576801044956422\ 6313478048621243052302180672528288352533415454775919950190908760917\ 75777673093535232524288*c_1001_8^26 + 3350748175536158362636218823607606379431921013659691021227796550015\ 6587242972563558997423850832518976554364865355376202669185056188961\ 03/2065505589032891126435601698490288400522478211315673902431062152\ 6151090336264144176266707727387959975095454380458878888365467676162\ 62144*c_1001_8^25 + 75961351156527042769997283685389100043144787432\ 7302493096890290416867673400556570224180365910118452214732977287267\ 459279918743389562037/317770090620444788682400261306198215464996647\ 8947190619124711004023244667117560642502570419598147688476223750839\ 82752128699502710194176*c_1001_8^24 + 3933003612756260749753407443294163809965763759004873111562972069631\ 9534652275556426041038021887111752167063954574376891635223065488732\ 261/413101117806578225287120339698057680104495642263134780486212430\ 5230218067252828835253341545477591995019090876091775777673093535232\ 524288*c_1001_8^23 + 7402025243910576947509271030891156154590133703\ 2677783594529144613463315777487119429922739374231039096373653459824\ 930599614072680028431925/413101117806578225287120339698057680104495\ 6422631347804862124305230218067252828835253341545477591995019090876\ 091775777673093535232524288*c_1001_8^22 + 4089514677869544861259066070572109354534322609432740230399874706838\ 8140135856924076115089711608459644351181896137362030688663750398662\ 999/206550558903289112643560169849028840052247821131567390243106215\ 2615109033626414417626670772738795997509545438045887888836546767616\ 262144*c_1001_8^21 + 3007809481501690087251753681267036976939690589\ 9819086017422408170462952705508734767328625487234096124138583203390\ 4235786914339022714487941/82620223561315645057424067939611536020899\ 1284526269560972424861046043613450565767050668309095518399003818175\ 2183551555346187070465048576*c_1001_8^20 + 2881314657584821159246202824623574236374785962393391112234447532589\ 3925324629254873219336340277796222218687512686784207051804360931709\ 7557/41310111780657822528712033969805768010449564226313478048621243\ 0523021806725282883525334154547759199501909087609177577767309353523\ 2524288*c_1001_8^19 - 943473970419263020458052268692996047075108429\ 8086288558023457581604251267597739936461035019598983304879193951918\ 96468577345805986320208097/8262022356131564505742406793961153602089\ 9128452626956097242486104604361345056576705066830909551839900381817\ 52183551555346187070465048576*c_1001_8^18 - 2049057598139905496207793243806416071816428720307035021891422010008\ 2902044256296447366916443571264740443789685977924189086550859136328\ 24969/8262022356131564505742406793961153602089912845262695609724248\ 6104604361345056576705066830909551839900381817521835515553461870704\ 65048576*c_1001_8^17 + 11015957235476809966641741852238370996347532\ 7775353685813189227087172976059515093669257466364227578914053205451\ 2333103066026720282873757589/20655055890328911264356016984902884005\ 2247821131567390243106215261510903362641441762667077273879599750954\ 5438045887888836546767616262144*c_1001_8^16 + 3276781255019915982987329408979516831017231113167736449233029118607\ 5957923795838517582034301429981854767202954844274544722828217510453\ 9003/22329790151706931096601099443138252978621386068277555701957428\ 6769200976608261018121802245701491459190221128437393285279626677580\ 136448*c_1001_8^15 + 1069146165218380328728188661554658598958463862\ 7134873108419524941922771911953509689633410559494566476255236607530\ 9135924758129745384024251/22329790151706931096601099443138252978621\ 3860682775557019574286769200976608261018121802245701491459190221128\ 437393285279626677580136448*c_1001_8^14 - 7080559489555850346224842888334572495235673829847934547980710515201\ 4864513910176643542764113762931316305308675315672924331963377781213\ 07035/4131011178065782252871203396980576801044956422631347804862124\ 3052302180672528288352533415454775919950190908760917757776730935352\ 32524288*c_1001_8^13 + 41637642643750262232162936880606134265703355\ 1733887165931801231244916892903162919414219064104430254070428646652\ 2861893967548340540700582049/82620223561315645057424067939611536020\ 8991284526269560972424861046043613450565767050668309095518399003818\ 1752183551555346187070465048576*c_1001_8^12 + 1274461106576520438871128976050502682020293146707079851711395248407\ 1395555334199194275076455544662239910509203953354948597256458167976\ 766269/826202235613156450574240679396115360208991284526269560972424\ 8610460436134505657670506683090955183990038181752183551555346187070\ 465048576*c_1001_8^11 - 3966309845291647180030526151749139474954946\ 0260900519140239953236183341626179810649329205183570072487438131470\ 806989466346280430527465979681/826202235613156450574240679396115360\ 2089912845262695609724248610460436134505657670506683090955183990038\ 181752183551555346187070465048576*c_1001_8^10 - 4818790487497966154538038694499634106864706368656979424785926951414\ 8265052634555636232935857403703908341128533653354541589830575618801\ 871801/826202235613156450574240679396115360208991284526269560972424\ 8610460436134505657670506683090955183990038181752183551555346187070\ 465048576*c_1001_8^9 - 71419361137505203074769262521488064712700596\ 8683974965902689226322815089905729544843009829069741638281336087806\ 9669857616643305032688191069/82620223561315645057424067939611536020\ 8991284526269560972424861046043613450565767050668309095518399003818\ 1752183551555346187070465048576*c_1001_8^8 - 3096739220278182202982075310730455611207185987549706787827080206767\ 8270371810765690887628640895768135721449567853719814589426153914701\ 341595/826202235613156450574240679396115360208991284526269560972424\ 8610460436134505657670506683090955183990038181752183551555346187070\ 465048576*c_1001_8^7 - 95891893511196006696964857022581055113415147\ 5092078988144787396179121410119622451485489179080454730622290408924\ 93577228697653098693479318247/8262022356131564505742406793961153602\ 0899128452626956097242486104604361345056576705066830909551839900381\ 81752183551555346187070465048576*c_1001_8^6 + 7092594579421744874225203800197734190903012101023503440878151325530\ 9515006353290977148910691106724853603828660825401384764369637519426\ 88957/4131011178065782252871203396980576801044956422631347804862124\ 3052302180672528288352533415454775919950190908760917757776730935352\ 32524288*c_1001_8^5 - 360958068472216848150769154429747171490879686\ 5608274528248456408690870245915087389907474590909811350381182575267\ 2210949211812378510014981673/82620223561315645057424067939611536020\ 8991284526269560972424861046043613450565767050668309095518399003818\ 1752183551555346187070465048576*c_1001_8^4 + 2486113721167610846620926735313089677239323852345644497956020661030\ 9753098016858891755521091356950234710067175368044463570214440113226\ 48167/4131011178065782252871203396980576801044956422631347804862124\ 3052302180672528288352533415454775919950190908760917757776730935352\ 32524288*c_1001_8^3 - 187127874898438749615836044156116532927616178\ 5788644333581751757860509090574250189934805861520164852081365179488\ 058681290424048507565901441/516376397258222781608900424622572100130\ 6195528289184756077655381537772584066036044066676931846989993773863\ 59511471972209136691904065536*c_1001_8^2 + 2901362492679876514563072851447230537528548183681399539916122906403\ 4428021113542484064350122201909975136546383936559422013732400659415\ 92521/2065505589032891126435601698490288400522478211315673902431062\ 1526151090336264144176266707727387959975095454380458878888365467676\ 16262144*c_1001_8 - 58922273357232417960439433804242457045028069815\ 3368350599484459353267323823758629326787843872043213118051497197525\ 3006193660275021442790907/82620223561315645057424067939611536020899\ 1284526269560972424861046043613450565767050668309095518399003818175\ 2183551555346187070465048576, c_0011_0 - 1, c_0011_10 + 27394770058831642894131582963258325119172115272083409917637\ 21423198066926823091580781622031648998328207506218063/2909477888194\ 9016760355656433092526737526830757552435026852364693981109785899732\ 2436250377114604978934057496145249474*c_1001_8^31 + 8108755467782863047903822954239438463968299496051189209840008074585\ 615191257463444955854247096521628920118809355/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^30 + 4839502184416919097242641542435788510117459993945811862856592285000\ 114836115249216253534548800949894562103752264/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^29 + 2074794793335333012744918912430951673927085123512283771176069395826\ 5389464798082591074631952935589523291640588839/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^28 + 1848743259772613044980829936442461731188092868467246659343521098563\ 18289820808761750911145616265007293773569901977/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^27 + 5341264696863888704753603110361036809814308074021989708640568563849\ 73933943138284783354318071531663319980942264973/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^26 + 3004249439083065413486301134702653581971346210846749829313960159342\ 81924333794895892610664244192376758347568795639/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^25 + 4230992516861812359868005975065101895407493268361406062178308614777\ 65575623203704796200252563564982233735391987747/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^24 + 2925438100672068746118585596036459638942428606214967138544476196686\ 399293185284756554745076383945669040079184866917/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^23 + 4980120031619234770561046409880418218780129967011556554223108270079\ 422869197388539524816084014337673542670108448199/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^22 + 1807881534407024561714845830459856121774052789709143458660135917030\ 772978270540795890566899197946417433802848556601/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^21 + 4065980969329862283098476041925867121918698475833729317675015916142\ 144339032168440126883712704533030225581307246471/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^20 + 8735935741276523555110432129819382817485031512435115737180344148325\ 172706387824279095062916123839294404993790605410/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^19 - 5832214108919007117664796034187258096834728387787785795216086460172\ 1780150872497370591457270170089571249403707475963/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^18 - 8688797566047486762848521660006595759777884492124981446705235626692\ 1488626119841524737291694603507624648678149428691/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^17 + 1238826806366393299324363648529451126042573393468504285264322604918\ 96174747870455902284709871763588611780306260968587/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^16 + 2583526351174068619476483488399031860270212015561379092531158766255\ 62148857860613555445998245401931750341084280030249/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^15 - 7472808294494615235842483641263547745737429208311089186462927647559\ 5385898620168340378740052675831615197534809703007/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^14 - 4659818155446502965259678119369900258618051314412619175746800392421\ 91136215192437661965504492330734062754780867965767/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^13 + 1261357015722765700609237220458030077746861044242607559110247969095\ 84530019718162378190757850139428804966662088525142/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^12 + 3450392910399242393029198597958056335517712432178145899449723438327\ 54197619016449764172860074612959790841212071750260/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^11 - 9409032665780632262351360089126699754624999082219084539135970505583\ 88089991347546244330526765171830314573853417872078/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^10 - 7971204979473691800116727832364865735685481497136850371764618335584\ 99803499320768177420911051704877245228869507209823/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^9 + 4922777266698346126538502217137227585280333712171669425183189606487\ 25923157303383930680970917388424128941732499342221/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^8 - 1597679090827112581208135624621026027318477408786356328509585474512\ 12688431209944720404599906125083537629557437657650/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^7 - 3205472396264408316969944282671503085406975509115249027137278473791\ 718149942154558445985256727806089500065172376563413/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^6 + 2658331077059620964282023840860004776929392324915108965218214735267\ 300134134203085956864964037572181421341194493633799/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^5 - 7302530994968308937936529341009586665248154127598534074487000843821\ 12544084585912648708751230545089078528597979997509/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^4 + 4970289988835730964793275807037339174038372296252249548140430039480\ 86112712274035794119802081068752324780405511510389/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^3 - 5615564535033063324983320762396480120658128571743997724256814485448\ 81394755470408815385029005252619393806552669956600/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^2 + 1271778987922724612604791200410658376917739270248574052356013166918\ 97237332339915152561795900297647641439248748929331/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8 - 1056704723934215085538045655749576990120520874423629997738572676363\ 46633419815666984909516805370212146207262540683689/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737, c_0011_12 - 11081681958822544584392610506237998128259634285483820216861\ 66762864168143466717964534960856757439614579730172761/2909477888194\ 9016760355656433092526737526830757552435026852364693981109785899732\ 2436250377114604978934057496145249474*c_1001_8^31 - 4917153759964709924689747135217372780191078438101507011950061750324\ 176405669023062774007000266971580579359986811/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^30 - 9557502906482928989192456602375344378214800023273474002489931085239\ 348509420714717811727445598227511831524701641/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^29 - 8482275371552595101410798103992903433807388341482086337483428210258\ 038317365873036287302328040759158149580634268/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^28 - 4584315315054303926867873875244906508368541443964822634523914030683\ 0801416435384436172889346364599213750721588634/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^27 - 3358515607491832687103531844426852790537185385287626779910414478342\ 71076089954013477091802744410666045349470064219/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^26 - 5008914025728647429587412685749138963307958079873044334825250676818\ 34545198671390467780259883686749435765691530315/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^25 - 2702216250007973068087671107293896016023476802281165616790807171649\ 34970911939626392781625360997411373322598763724/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^24 - 1639642959607116588105030121440705565015091012467748718645723993380\ 841096207441829684413541376829334087135858943295/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^23 - 4049828969333289280499560119465679280958904817695519918511445128989\ 564290939489373131717209575837387146143305025659/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^22 - 5511888071215974357872153016904972958372620902545263926730383124931\ 940049040556931441430579050337811640146736076255/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^21 - 7504075330921873897024799533755501414431338847101629602977341706141\ 911831999589992126781571712745331292446138432839/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^20 - 7140239627451438296021102858856363572818883795623573027430271301574\ 674816755196318154173828870184617245818067610632/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^19 + 4472245044485228747925088424333232976540040482596413660226534465502\ 916284797833628224771326045188944233707219397316/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^18 + 3102603429183595504731750664010205719615871071038601572925851764899\ 3904042224226861727713654477507211519607315760527/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^17 - 3617806467805375722221401303854621180147835334365671986533485741624\ 7522064301786931173159788461469294623424387977683/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^16 - 1634060883855241379729854677563779054688788437467293811798103334370\ 86120130540253362793441276187727149499283445180316/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^15 - 1655539339633122771325631701679742450153083760653561879980904926907\ 95708869912773386064819885201803155498188730753755/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^14 + 2569491202947808387609921543941279073025550732917010067709527207628\ 85133702226447905688103884457768698383729011372239/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^13 + 3786910943770765027455935113948262222673167377331260887167467972588\ 12237245562161795278517033376398999194580721742135/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^12 - 1332037885691329900529814487354704315343302095667282835044260163507\ 83721010624755842063810655855895675103360042447275/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^11 + 1578601489188189741159778270333862621951245193875931313635842863525\ 63527979408624455223351332773140743152802363306808/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^10 + 1650035839221439153328187386909921222987877843225138974484261648642\ 607391175506757371384236931031283185370901629571339/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^9 + 5771116758676720234324290742854673427397402181413424425716962890267\ 17448899934753661894011356841019574550133817477929/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^8 + 1376719076825509584871587543946653483558794163708861283858708650224\ 66056100731141483031250872759278188387454411208863/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^7 + 8234328057636046588461521351899121161637344577636961219354825933724\ 50883629990289102820299487615447764225603635841355/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^6 + 6236543753352153957277869850848470510858845849970506934716179655476\ 38874707889312881855202529332608158088565524379377/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^5 - 1107695602255221205528122304796242169527483100909422954698377403592\ 91660669060447956056967980549716473244646007094563/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^4 - 2806048297809527512672716412028673300991036394534123538645955753416\ 69166761489732177991305829864686916501296952083055/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^3 + 2040334603194508774991192693203345412174720470940086320010687349308\ 51395272392052912579519861451714165407790217715675/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^2 + 3019019430075709039677986623565167078339219149554186825111350313393\ 02685737677089081271431109090825871502703668015571/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8 - 8900782737364926734802322241224355438646476050925060453211658935925\ 8431460431634381404623011868878981189031399302274/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737, c_0011_3 + 251565693981464593049852872615335517855136601830668649616596\ 0498337578654145242757086689906403723081567945605517/29094778881949\ 0167603556564330925267375268307575524350268523646939811097858997322\ 436250377114604978934057496145249474*c_1001_8^31 + 8750531802300980086841810329430549489229447118648770232544829272321\ 790651503676917255032190592280257910521724531/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^30 + 7091358801538066651440231119596364630475029244239789732858245322514\ 680544433296840222890772278872744015576873156/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^29 + 2892792550247276023684055766487277483425785967153261542389599320951\ 1177224091687818944923708827095544508291408297/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^28 + 9427935980294552772109920537212444262849613085264090444994146626692\ 5193804520003061169074988077343818688648246185/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^27 + 5955027123282960061048174495577677608597521815171796920069981009190\ 52824283112343456878286537402273368718234410007/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^26 + 3188960079293539521398704825647431256140413630187485842559148065483\ 90772982992296501286345756721994069634277710951/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^25 + 8863209642529910211517979907852973711271247106504098628297457145226\ 47755374715844861903145596270683411661095774647/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^24 + 1649813019499005232752983170494588602647388761764885028218989676780\ 954501105576495970246196270310566791951790330542/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^23 + 6464203510132859872696134895456050712427132637089942068966197129611\ 485545998880742467371700178953154944194419128807/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^22 + 3740989805256498687158668236216147214135954213656620493688197345500\ 694910938474017172153581268763232180837826895307/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^21 + 1299737807136303350748163592436743950227201587301260863794877865954\ 9360372565240975727253812436801034293993659137829/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^20 + 2451213779797358413436875858140294161003483283404817113349504999099\ 2992024032522096439418739746262992429124113703731/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^19 - 1905536148780940761677134509512228709982532521623605988245012324850\ 7584975543677270173677782938147147192079195768475/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^18 - 4714311803451028235451748592209562634767370971983112476905819233931\ 5930114574008621184103517373556905526180766575505/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^17 + 1643504498364570019304506299916292301506912556467329180452163597268\ 61728136196057673183033681815666459580425645871721/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^16 + 2650999738192535224653808569942225061658948104762928101314667228063\ 99866895226652195558280879926243801774484030878033/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^15 + 2569521804552122262684740241953671729674237746035885734019200389710\ 38392472109591042690966184096163346106272447118049/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^14 - 2791749025311524678744499822522151834298833780622613976418720924819\ 03395291007540400170594350713532195452549284555767/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^13 + 1271094270056552241238712067142529002377979778208674215460736650801\ 3863756478969613243293127877127019093478931742967/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^12 + 2025239307501373075179114398710571242240480720353789394695732898911\ 51329176876799043800007842608388616687154294257766/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^11 - 1621549748541264473071604307031339694059836727117980039431481348005\ 122989815544864791661582939449892527096721584458267/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^10 - 1103057282854146042890569191565103196322006331308662076892680563949\ 131256184065980036184977155233449280023102372016089/145473894409745\ 0838017782821654626336876341537877621751342618234699055489294986612\ 18125188557302489467028748072624737*c_1001_8^9 - 5677223561544789210905039996239605652026958601897898184039940437062\ 15850097274658457374549871542164595229468993652133/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^8 - 5827286003673701551948132545305502434044922798309629800485494130740\ 80081487760879309200849428459945676939322102753017/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^7 - 3744035320681764475412037727131858988350932198826273608147541978477\ 779869819600050479051101175499266722291319815634767/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^6 + 2945553077454421041614815406306256051581473722182700071568691101111\ 54236650001333213812114566558927119289109108051642/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^5 - 4291680848198248682896738219128361572701481602983656686040335164217\ 73248530884028885339413208218257429103131506016061/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^4 + 8399653314616545773197189666369367405892157471718516550930864559162\ 49702576817004116930378214297682347395585214548037/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^3 - 9496953969237415794076616998777689783619836986603252484340949901633\ 72466950778694305942922397840188636052597410324409/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^2 + 8747861205015229393008387305269801276736828576648692699943609782398\ 70556502230391331173576072313327968608981682305693/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8 - 4435804610121526701171946254596648761855439301242841748997250495984\ 938557850658480391003992952286248023626835918558/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737, c_0011_4 - 104102592435732894360033874346429610892122835128387378986331\ 5394308414229715881713078472764127925548758196286919/29094778881949\ 0167603556564330925267375268307575524350268523646939811097858997322\ 436250377114604978934057496145249474*c_1001_8^31 - 2553976422028349552964272325272553859676899346085839038935231962668\ 441301571828431875707150913063001653480291701/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^30 - 1189638080908713006398923826823493831066319271338453808685376171492\ 0849029752690355542870919593956142519729966185/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^29 - 2293703415096228711311120508148097851865566868603882261992065126731\ 4419399575618825497062241230153935670182876613/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^28 - 9851542525324134524967475558884228995847431134871920345754786330042\ 6190509297352303973912917296971900008259375687/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^27 - 1825384983430683675691746145651543923834250291558329335151858623901\ 04615773532889613760069327807638329261574366232/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^26 - 3374487837929068207752112833187090365667763719228638490992676223942\ 20717145125521544479896279313128997904872607477/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^25 - 4582462072773523957522214550116448890010611604810672693146144909457\ 88406840831640028436448260920022381325039440509/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^24 - 2008849710467145605410656650293812763083842292461239671190885769996\ 239976447704712685691246942950781435038913543245/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^23 - 2401291091144576740932326895157547232646336713100746304956440296314\ 233809774218957733918989015104989071799680148856/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^22 - 3936035892009859460780783295661920170648138121431973642991674023726\ 922044120875566638178644842932969951010471025500/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^21 - 1151432656207530212725350226549419215197493429768751355809670104718\ 3104622827895417857842748821007457565177265896475/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^20 - 9669599555161875441055066103668852225633502378932459876680423967742\ 735346331939236892971035961315698859079414596716/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^19 - 1744705184997247736748303543182083645559025225580483887357493562436\ 384191890004444870541329530671018599279937061177/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^18 + 5539031944506883742540735445279966022641730849790993097393508662397\ 0313602555456891951142497776231577772132514251767/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^17 + 2151420601307891164230790150422709045208116075886847534408861553213\ 244147668835302746268899401183049699752626641761/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^16 - 2902834588846578579572413899046899548491346990430115896937482456306\ 74438800117721030988498656753749832183790868210945/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^15 - 2460241211294161371044483368867264240099470270361675411222638460313\ 85880044506317188242206025564749459108857525642423/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^14 - 4217747159377439630390484097718008283340007116173382623438332892386\ 6162923599922336659555684796841127996595416043674/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^13 + 1617244955321742518487931080780588190400145433740595574863665773095\ 72115057501358908953403365368186793368417571750549/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^12 + 9699666621505279214937401102748827061417436750670190806284146878301\ 6995066806225052239869694115237505072068638659399/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^11 + 3716221874280422786398543370534813054678496629253611317237141084223\ 36819867712209094049794611926386920707204869828981/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^10 + 1652594863221068632117243483168619215763530030313792378532182750165\ 202349462921622810277740946249205929011876290556789/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^9 + 1015250502978785066396506982033923008420580772721421486192905200132\ 964642755279661128334208232943937532956240136614081/145473894409745\ 0838017782821654626336876341537877621751342618234699055489294986612\ 18125188557302489467028748072624737*c_1001_8^8 + 1370139133721133789410251941129793438412398060717103244730384769415\ 252234283169944059694632632797149707910427859167985/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^7 + 2164558680900605971740709994094683783934931995623350022020152489574\ 433081686270369629970596180298230286732283669073285/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^6 + 1066480374201266610826109432551093043745350692688104522687085430254\ 255456041460698537426481945291824859742333144932334/145473894409745\ 0838017782821654626336876341537877621751342618234699055489294986612\ 18125188557302489467028748072624737*c_1001_8^5 + 1119528565610197738091376271465200295724429617164509997814621682786\ 104819740886804867340605603341312312523852800714775/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^4 - 1150021555516931922435301305249574711268590586610638793451024606198\ 94490151784192479044926731635784628524978811688563/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^3 + 1905122359186992203316607294676942097657543112664516299402548363333\ 64250335313388240505712382153298678260070571569707/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^2 - 1423477791357492773903641001263303280485882161406648170247344921564\ 33239893643932930271910418410468042620417269865204/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8 - 7163245218955776923237565797017849598132691220466540725986210600183\ 8288374001191519556391749109700882560145829025540/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737, c_0011_9 - 191313480999499819344398415106917761527839181320197073133569\ 6215521761030278393142844568431829390141756442402217/29094778881949\ 0167603556564330925267375268307575524350268523646939811097858997322\ 436250377114604978934057496145249474*c_1001_8^31 - 2544614492691389189211735812954117535289948241307983136814778069734\ 230407739905139361881587790252691693374355704/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^30 - 4958669989599392587686270644357264230958004808458558673361763736821\ 509136840410092765041992332159581411479330055/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^29 - 1230486566942480324181872846162969172293800082757042075132008181777\ 0210349715811743204321507255208864076441780251/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^28 - 6245953740557066556121688636916186972866173503049885016746652571725\ 7617504162485574255794582417657112976892530657/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^27 - 1672176135535447313571458103348655747209004359556556245365483287219\ 30920825312291261920328183417466954157511017125/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^26 - 4621020457821215133391269918528030163856237109746783346809043308191\ 4178557086380642157470618014649291662418247754/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^25 - 1112625414485835242750842078601067311300442502780073599296948629319\ 67684213855050967693770450861921288181650055770/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^24 - 9885048021574020619109630927761054799408834810182560323053125288472\ 15710921489415520295126810954574883076304714515/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^23 - 1444145505707639516928588330057251844793782961610885308894382500474\ 376738271697815963115568349246450675054750307068/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^22 - 1403993582678955824858482544453772363370247025340571753385483463807\ 862572216548222577040046413665997476044087825099/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^21 - 2425166775942311315570652444594238517196167087251580109784330498828\ 711051844227390060781597144724991446504257358559/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^20 - 5351333602367634409954928860826618731473473859891443175545413047836\ 514095144950803636666299177673366870071522376240/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^19 + 4430850817467200174718046539571904052159214406523125253388070195546\ 8800719475557531454617711630419134817454356970935/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^18 + 2434807114539848853554307944097683126402094567828733376029405348402\ 2125821533611686749805539055302981202122049341744/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^17 - 1941725461674527326871623819182514679816693607357879022915812486893\ 83934509358988767694353705468691738883975500588945/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^16 - 1547427547329433496626600367056988908615282960586314675958289699770\ 82116303797362184794944031430551199668084774980595/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^15 + 1767567244598268454683585620751025215711636856707226597102019460396\ 63223414758342728883088082029709119459536507543611/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^14 + 6488841795965575883800024128734970359547821037416458033066366763737\ 47555414554564515716852727213076890193199170455823/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^13 - 2070182527815662299749649426683079109550716869479021625163953603526\ 46072205208831709360083576240212085079077088944384/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^12 - 2480206909753004603679225289283717839975467633268464040551131940598\ 85654293623539457697339983033201366567812441264599/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^11 + 7617249417868894233683611674588907275399726545534843823958871470739\ 84043408834770112715378608372092719080299350963192/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^10 + 4116545233020199165162528625414420241605154993741036704917368198876\ 16330297342173001571011619787410325929436529572346/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^9 - 5428801266558576567575029486701906447687858206909222833179774572160\ 44072746703964513451646406004117099490145074720455/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^8 + 1849985904618907433657088202958111595597007263099313166545995684374\ 06310468771285187430050616054513411839576082693757/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^7 + 2321162273185623255953525329676074139617654833267057864239874361499\ 749708238647305497987143825590324783780168178466903/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^6 - 1249603636270499936069721997699504006339526786076446075291441020940\ 055180033462409895520605179289864084079092868560904/145473894409745\ 0838017782821654626336876341537877621751342618234699055489294986612\ 18125188557302489467028748072624737*c_1001_8^5 + 4274518343449703527548594932177502308024604457396821835304385551256\ 58023761083631497164657029944932899707666709183183/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^4 - 6808166173372299994024429375195527016382792748670191335798974194468\ 76064479313611447319235442990349069700131747332305/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^3 + 4910805348059299785101057074929776932459782513215389748063284445051\ 00658797425277063961829646082512466650766737168623/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^2 - 2808198037705708601143038255040732041974332561036205008688835579148\ 50741077719598871891736876846853525151978248960666/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8 + 1296252356953810354350598220536860264012574507226279130830759944656\ 31321682599028934699329141430439439034914206921843/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737, c_0101_0 - 977608078477182464486398032870948051196401009211329455356226\ 911530942425406045924811343856686225412903943208942/145473894409745\ 0838017782821654626336876341537877621751342618234699055489294986612\ 18125188557302489467028748072624737*c_1001_8^31 - 3736256109801110865988296700041086801407010911929082475175497982362\ 884938406087444000935700014878315897397339736/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^30 - 6077609338538908909126222927189890606444918222684806050121185683098\ 479729544271440721534517233654073435011085625/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^29 - 2156708039528608917710292733308620072907136911629050085855372453427\ 8724761943929296241246726463259340885673646185/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^28 - 7294704104847649663920548378042512008719722969268098144203442946821\ 0596176431672901338369271000627316787045307063/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^27 - 4974148843373827936993309342340206903415040572736490359762195626076\ 99269951685514458202166298045116965644698987179/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^26 - 5605588388107677596971548658878176682224500779808036916094425502002\ 36373103881429275337288617741184597661157788299/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^25 - 5391979710663075450480502660334957342316448120325172450271543705309\ 12676827684820085923066332400418067535776086633/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^24 - 1195697973864085811438318879618923691800566339544932683185455840291\ 106883302336496089120454428716438245095279042827/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^23 - 2708819760639480960222444608597579015741943285424470695598690702006\ 718902637100262353049267298884039552909118523608/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^22 - 2945571416920300557411142306108429583678555321372337424407557651106\ 037400620162936898060149060258536910145556569907/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^21 - 8447442416286906309032412802747031578020414786436007173185366011528\ 345964104701629197904520744664415833892808344815/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^20 - 8966931768348789712128084751549822304092032066608447546892204773253\ 743524115446384615284358757674074091893874200498/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^19 + 1501986669129562423669021236096710345693625804602923736219699083166\ 8396447352921120015323248786732068424340117328706/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^18 + 9669331745682514163826302746692784820847679920087351329571120677284\ 1072713669075548683395395232915394423340796078903/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^17 - 5865455670360112863861895029709310614278741069896972650626319364647\ 2098334592826971206710617078636185401009079197623/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^16 - 5116252104977024429480040914635421953503557417724471280122284151198\ 53981131512989108893329886615665063414707354306743/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^15 - 2803365973741266692324530729941189643217623883244252361684436988652\ 97628600242100300295682501257080609462741173659311/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^14 + 3331758998068499707825549887580454677140648022130770436872117651777\ 47223583365608097838020982431123537338793644359829/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^13 + 3686043207137749327099699321484677850669759645547570259977688996538\ 53921222647440154319699716588354663264245906748479/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^12 - 2971280041302772128192024622531359061876382204661846310103651939379\ 51401360145284919169470151896366856336351672293485/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^11 + 4808317631179079424322231109517830472295971817466798778707836083502\ 07893426119257186671129365443270307804425048444565/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^10 + 1184881939467414012694066715436215529809580471463163945823752690169\ 525205017606608732560541973518440815480914047267472/145473894409745\ 0838017782821654626336876341537877621751342618234699055489294986612\ 18125188557302489467028748072624737*c_1001_8^9 + 4348244081282070817519816114924719848952231261065571758852250550897\ 78164310140379140923849753604760550848294172776117/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^8 - 3173240471434143807376750779009354104840289744169464060400589822235\ 47689846769237860401977871885906609318791179087105/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^7 + 2583932863880131375346612447979142134699397286561233291614920116291\ 348655669982214961689517040006475753815154649972705/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^6 + 1079302203962105479529404368397548514489605145662516375764541529733\ 31009977099314196885407309272183234238269379176929/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^5 - 1171724593591598958609486234992148088966275594069870215382457823580\ 279926787161168709998435608521371177152931809529765/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^4 - 8285137090991944416508635950890386778053266285144928705430435873717\ 79508622161132751912090598501531706263267086834267/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^3 + 1440103030467716987750803569804750602707107963649306231183622900627\ 17476287984391629923161030248308076615170249192225/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^2 - 2308378803844659414317249947176694467395414415507557320142193579192\ 68540886358171130197877872308461415215350729211049/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8 - 1118746995019019569801604144533809399565973413696981230862320984334\ 02669557191303633752500644620826300908197438875688/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737, c_0101_10 + 81218316757978488349435721510694409509152216666222711471260\ 9107018388471214009720896443401763987875552040758222/14547389440974\ 5083801778282165462633687634153787762175134261823469905548929498661\ 218125188557302489467028748072624737*c_1001_8^31 + 1550350200710174197104512102782032682127541678024678493428855247839\ 229634351509476270834371367078736812658466671/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^30 - 1321215629482445232768624957276782655368905706528128785401270620739\ 58633933731116102123092386970400748164738292/1454738944097450838017\ 7828216546263368763415378776217513426182346990554892949866121812518\ 8557302489467028748072624737*c_1001_8^29 + 1631382656177345241953257995493937767557317445872146269308967073067\ 933942648979616363858817216695564297243451564/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^28 + 4633548545560762530213482339026987686625770557961700513676121522054\ 3916409730330372540077645510851264055715343007/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^27 + 9656355787357747504326353712971348920665672971063381658009734991310\ 0360438170394347720084036341625222807598594586/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^26 - 1107516309604682937934580159324747393181250413810590154843097569496\ 65881851679487026697812778917243454444301023780/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^25 - 6842499393229914328503406079121796426920710638771254254562966623036\ 8580957303440890133197650114887531332404332732/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^24 + 6602427222892626951372495949902698528515238183632525050447891031821\ 63071720105111055723037824671174874415336010193/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^23 + 4642734185049383572687676661358248156015702080966596896279715295210\ 93345419248937951756006193463161672852985624814/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^22 - 1035311200329403589855675868556498414465811466375995086407762721581\ 296721123273415615781535954729298209243604833187/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^21 + 2774112110541606172257784712728524933127131860937482119765137494979\ 16886038861211830323584470350061593424337496087/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^20 + 1768688269451502995966220479636664575549479089062385699414918031417\ 951969235941394349326539787068255722102491327564/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^19 - 2447672660497837981908533743159834587486372550362517800375937271653\ 1538098740512464701077013637941673099468825190892/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^18 - 1124010930193094714845811625798677668907807959900222134907417094944\ 1607607297095564290170634070395153476490210953417/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^17 + 1096128758114551450035219235829193200339833584556532430349663670670\ 46374199526347409159968973442687409845667463827747/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^16 + 9241105340889853940407140652224054949244390705324993044877860253534\ 0872200147807933178424526234936413322785664914790/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^15 - 2230097674567061061063798674073648091528451205826990023430321558390\ 82122583563243045092604157605641739201407981290495/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^14 - 3479571010117867063560308889985551388382089619486524570080125457627\ 47312949169535146007641854934730114187289704124605/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^13 + 3622689410217060748252955396729219045065406135436751157014065269337\ 07742834574761284690807386504768199639194438519669/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^12 + 2761262606944687323551125719750110462994842200885505408087589314286\ 10158850425620892852395961294233956714769547472510/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^11 - 8123757740370743293182226861712957590645417658394773631948742329303\ 78855087257152655920468967636716468557262281152213/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^10 - 1967611610871539210923081861027981995551927939352866607060387105301\ 4894212997562170870526990248118035345488994633769/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^9 + 1115528568125400011217502947388692324862481656127740912445138942377\ 637516309201987051826402406495143075958587184806599/145473894409745\ 0838017782821654626336876341537877621751342618234699055489294986612\ 18125188557302489467028748072624737*c_1001_8^8 - 3936093684041397891743660482020683367493655091500547662853846211395\ 5132613829915887137531393125236030551983192172477/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^7 - 9218749658245222293915618310782174337781474800535740655140350037016\ 42208788437704164271107160675117335998126362802929/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^6 + 1934788316911881324429978206931153321799789922345575532915395020844\ 254462064254461988609755838459768832053829927218671/145473894409745\ 0838017782821654626336876341537877621751342618234699055489294986612\ 18125188557302489467028748072624737*c_1001_8^5 - 4098794879160766451695437591966322052119742506504130382843852968515\ 24422287847148664017912654445234468558869304484701/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^4 + 1039423641029819882235882600932659910590244521466333931075740170497\ 09614820766308295012492637104581976660224582614933/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^3 - 5479286491719023972790577735750152966188679854555911374758330232522\ 21676996527723462907568684303608165977060080881668/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^2 + 3562520546892382793712923015170039050404227341237979890765536226754\ 46116998244301055895440725299216654717877034896890/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8 - 1901109627703063412953669475515642259237348435809722136022819141894\ 63559685753366952285842085887551972286301770139708/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737, c_0101_12 - 95658430965930859729717639234704155587162695630949885476537\ 6129199426796078395693826673746023577614756010263381/29094778881949\ 0167603556564330925267375268307575524350268523646939811097858997322\ 436250377114604978934057496145249474*c_1001_8^31 - 1565164157004052126681926720651470979767813253357451309032592933563\ 648767981319619194210121392601328270642482183/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^30 + 4275656837413992461491085251475124212718594981108093810062809219541\ 07803452416223675414336011692765697787280226/1454738944097450838017\ 7828216546263368763415378776217513426182346990554892949866121812518\ 8557302489467028748072624737*c_1001_8^29 - 1265061772579038042409315093212559914063742945002522513259489609198\ 634871175453252982427172232818005674125540755/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^28 - 5303491937978691442579479167481891123283757225431794437396502924046\ 6635982740495264976225998845722167981326422109/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^27 - 9688309837225214941397328454140123853567057935234456349978213872572\ 0318154933230277198486318677292914779361978045/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^26 + 1762999114751425178613521521456534071958669837537265582192134183834\ 06881472313164161891243565244330928774334931617/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^25 + 9213368416433552506876124879870125895162756847410331826468914979718\ 1659909471943438136034044014351590431088118251/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^24 - 7557622406329300266142825052880317653827240934196791181862149126551\ 12567951339134564634710038570568803757759042819/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^23 - 2848119988624818757783948016132007513500951968887856807123275257705\ 44040820337253333751477641990829114469145559907/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^22 + 8155929885050508181868353983877953514710773071457538780367549061232\ 46440417362734309805970082082308110307043185273/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^21 - 6533679692796050790372798608806625887467296634139084926570272380282\ 8852153760263265397048285844530800857035962064/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^20 - 7413051241571714978143770426502263789837039385517000892067111425175\ 01112970017876392763756864253673262358047146184/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^19 + 3029422702950305776863685803677069844653590499309964127195059602602\ 0650664506260086884101936840997463666076964421909/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^18 + 7329017190614240592493533622015902180697539145092243520147815715875\ 354851496597912757791801209696500202331645367251/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^17 - 6786874580372660794349882824943693501614954051367984351824495302912\ 5171088593242979667594968202928273650052942222577/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^16 - 4072615730746803062176002449067374368519664485428415668561114144282\ 7558675290883637133407194722138063722469376992264/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^15 + 3088427705477318739905160429854762433529259220920986722532821293432\ 00223775221655099610821439274755032447464539144351/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^14 + 1925662854678145414690938245781508310123434836784785671888783514791\ 07259427736383861340578447929553104488933076357178/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^13 - 2655128246057711488628395148094518899604600537349675170795009313644\ 26674955094805856505867323344247924969674505138226/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^12 - 1392415140694260249005362163323119288516460206759611443818784834400\ 26612423924231565722679559113010920379590081805878/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^11 + 5267621512878400965868196851576920351122891604413971246366014450261\ 13727197526390191739573124912085740839800142168346/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^10 - 6789856808440706246115789242788667693631616133508025148392109208920\ 8155831103661296205278033102132792586107331727076/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^9 - 7210884312744661114164248631607578920723225985825031145996786945200\ 51571861836049725127437596605158672050478138449355/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^8 + 9118939898286905872143229930864935430580858599719164591082117050247\ 7083512529971008956650014499126007983257250763250/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^7 + 1091361394617087545079928629358141343066118174223018987513296524500\ 380597726051781756663676113531250842623348423772357/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^6 - 2612679674802214453466336243096104152526313879076533512736131625403\ 642509346965436938818534273415990204341042174537813/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^5 + 7790107807985546371754441794094514733531270864725232320447285323478\ 25765369672538132163822705216308556797617344223331/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^4 - 2052914413778015654758801052000577774063760670951004923713137567290\ 68380518241382854371058812736068164446195334322417/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^3 + 3559316734510309841081305123848487138540660266364517802391069836916\ 51401626367328590336425430786733794530677235651736/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^2 - 3587514162849311380883319171155171250082371417392197926040701508878\ 08565441713976286175093265211606361742725145082818/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8 + 1508580062638851712795070645392712947641069947048645714630923911658\ 07482659031951499859250548106482532080750549328525/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737, c_0101_2 - 903844288420592442160295822269776741332285359149335322250727\ 38064204592212274562002285492289534633412770800021/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^31 - 3116763034904261371328853265314627193004944633776448216183486953833\ 88620191175684444451898200851375211464806879/1454738944097450838017\ 7828216546263368763415378776217513426182346990554892949866121812518\ 8557302489467028748072624737*c_1001_8^30 - 1213620902425657281296776635156299275407053061274559681015539775270\ 997401000043078887001440970177443202475653265/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^29 - 2766535745443891918829101984180796447250761424841185947164288479825\ 422719689270214401034707727983819229754782203/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^28 - 1472877938422231865023188619182611638376892304385371587069360362815\ 0737369626467672714608457849123657512317728617/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^27 - 4501921903137906649253592145719146398015264624142055766364137272052\ 3957039207170126838699094383368699735714649817/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^26 - 3021720786947852150278381920694749620499483360765976324275169551513\ 5919696961491838025899390457362566214845409432/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^25 - 1114328301303114815756153504058080249705182740430128696478040933999\ 53878135127101530471857844210932197845794068293/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^24 - 1452280111578138734325803044401329070234265787874686582977884695555\ 90854592569742214381643371734269147206978924141/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^23 - 5446876201706552304852383174660440092666455992735077741350793817077\ 65008012125145527967119589237211724572729661349/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^22 - 7891283374558975273592515295030495961009090348537490951027819849996\ 69865946914331017298401756462793978743749407135/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^21 - 7095980829444972686197469622306355243844864076650658140972517310010\ 57703028722253072260088855358772402548888121854/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^20 - 2375239826582272395099263910672109198030386994099633669621878059559\ 112347143745019587242172499527338355373583612119/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^19 + 1713773492246546901728361363808234875490266839426286932317404440862\ 859287349691909695753953209567283685127257529491/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^18 + 4849739009345010058826335674221792676990387786747430603747872624766\ 402743922806214486207081325100405266135769405425/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^17 - 4237571022172821703494510628603771292987055908309469803798764228909\ 731037593997776503677579738892788930797356988240/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^16 - 2999276122952144987607640965859743819957367541579293048593378063444\ 7077149689280005151973884054089077956882258121827/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^15 - 1396946318002270382438534456294350249771358166340512603327182658019\ 6876580305767983003918931135367729813364194511258/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^14 + 9213780440186319871280370141007984149818263498139325158786394197573\ 63430029983992754433602854128080562197849022901/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^13 - 1594061768744241955789337651547458327923034933338383354317788303794\ 7496959812401554933645115183911906601458270705197/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^12 + 5004292035011725636005624353121596643256917794717077946027070842709\ 70068914386866499257763865402108841761624345688/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^11 + 1208854653256801455258135347982673428580611517688427390863580259106\ 11359247283021912291492028189669107451782090791485/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^10 + 8648905837934088308453353801093157825952153518885958299434401773893\ 3339761116770340384580367047888677916326567698621/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^9 + 1960174267308085695682335799523329415909712439892737431423823247359\ 98208199911669327087769062741916813477285177861797/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^8 + 1402881814607410724634188080345276196786639244015631144342701547929\ 33235063701909122635287599016034290583568071469081/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^7 + 1994056911955074738292117473941882138126831878253170267809056283474\ 11442447071918608585425025926822849537944111601421/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^6 - 2196471871926121173727718922967664116015417987867917737343773045648\ 1321846850902005805040279056695659071946262247671/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^5 + 1244049608899131640828588020285106283648289077687248660696026056069\ 15517519090243895339124023021958770438259376273597/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^4 - 1106369166931943644742990046773165997331660033764259482074780054603\ 01759522797976024578273497119054311719408382243498/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^3 + 4706086870772417674472827634267996261545953593494094140574880854586\ 0342635234906150547262662133343557777789919147020/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^2 - 6646405863428955858906599852481425443571509625126976654426759891662\ 72174600522495903020512345301682637454348657273897/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8 + 9627707866926603566178838975902495387719378380607251597309672082985\ 196895319279179775716576058546309815285042742246/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737, c_0101_5 - 810393113654586060727333995392773405545215726779840422337842\ 716533363317295199603362360122898907848114689629361/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^31 - 1705597244536680260625229570566763640570221059043165448156512684534\ 073626876250493772037848766564004624080290112/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^30 - 6434943002715276726953054354311430538696786893206090537256267418436\ 971259845592844669042281982194556311691753669/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^29 - 1181632508959444562893980303725029447447675547359410895178812573156\ 3513939832753939297798429395883398749971737743/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^28 - 3293525135918101127394756376935484323053377204210064975327212482010\ 2967762820493718815423735552729819905180353289/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^27 - 1166005664271240350561365468212175307890179601709131803696141786866\ 02233481139835801192592032441896555610997805366/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^26 - 1650936540513712734228878978002573739218599103352259564094906435970\ 32116557040962399361262036018574119837839389873/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^25 - 1897274249876548843736839274380079078186158998632403444179571521422\ 94448891046341366221840276128993687183450681063/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^24 - 5931856202230795152407090203569307130652461288421628640108336363239\ 11505207205076187239476148837377960239688388274/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^23 - 1381814443948797858627038347736978682159063616629726122945459666357\ 113671858127437314904787452280718059493168864984/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^22 - 3687551639963291262627023592244626251272416752238970365704588558315\ 154602446455882796532059925499528228729871236007/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^21 - 2680805082724008328358820783153196860408141551462711727128147259991\ 579858947699110729659364908574203816638617750237/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^20 - 5040206044697849975520126380025104125693536796454096923786592197357\ 674792308747226708710287468880929389508566051076/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^19 + 7682119937057304415109838692881861834539003495297574847720834969429\ 843385660337898758373453061574999842097871475733/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^18 + 2062165552082253569488685362658065413057305068836355445823414519739\ 6013389886542100031436157323983024457932593574823/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^17 - 3341407053229095068385696229982356051744019842341723039295559204326\ 7405405642729787793609597767581338637918289060321/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^16 - 1105494213180653832823250397730697127897111355416516762173292566897\ 18782925289001140106166728077435910472562768094062/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^15 - 2046019499593876554830773579600251395848607830711521045884740659455\ 60578461829166353527014761537246003216441762039733/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^14 + 1705971281035533947742617984555394483945868433122367854448621096485\ 93377921896417999789834064320686100892666140800043/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^13 + 9860676554845909739840167902656310485795650913573510382620202246945\ 0590059885053469576412442773245521983897057214278/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^12 - 7754908227284521218744495607541456754081081926955963693062315284371\ 7480372647901354414963453343956088774281569964251/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^11 + 1640144302611762357894546311188657315212683661645887947276537982471\ 66886008885447502354616026035818392988696570807294/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^10 + 5087720841240480504914985146794980026962235220444840054333298350799\ 00540940310466774991106956093422458846843374610555/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^9 + 3006076802669350494095832324838746050454790666866730327386589513977\ 66907530806126599229375989448342367959557909450389/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^8 + 1750831569587649182495657621919102124995053453816297095175779803626\ 31030239133953712097988786069915478946726616417676/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^7 + 1305179479852488115637215443118741736486776527554255299952912485493\ 232665189909590339950834810615933456563123287420157/290947788819490\ 1676035565643309252673752683075755243502685236469398110978589973224\ 36250377114604978934057496145249474*c_1001_8^6 + 3222655461112880676083037273749242588511531821905803929065864774611\ 97192599891885507009325584576269088910111962854592/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^5 + 5534144897123318177836074954123254166867571541775996859612516901325\ 7848944784370650808352052456148258250617853581491/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^4 + 4048523669511411527942061183389462278174634312576158771975162723656\ 7693295229524174233824812742391465951333867450747/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^3 + 6851587779986118720523292315492172867005993489117130943182323640633\ 9893294785589275163863976320099103343540585938811/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^2 + 5856352836040036055424322827521057229380950550404674988879232219708\ 6940036885768483172317595700419851188912110307076/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8 + 5539000717646136193782800388945094137273629123127134221835031628261\ 3704337915369291744975519958578966947410055257761/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737, c_1001_6 + 371071717360498351561262245040714723589349053035809842514860\ 027585603390375322863381047721146951616453125098622/145473894409745\ 0838017782821654626336876341537877621751342618234699055489294986612\ 18125188557302489467028748072624737*c_1001_8^31 + 2336214485568352007890813927166808940152624429426882992844083746113\ 389781196180805373328863388817632963065968695/290947788819490167603\ 5565643309252673752683075755243502685236469398110978589973224362503\ 77114604978934057496145249474*c_1001_8^30 + 1533971332999357850575425205120967440730331542892735643935280698066\ 753993242998322043998953708078533762097160263/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^29 + 3226676555802550203561068228169925827612155954945305517386541831686\ 988256133177645345839190938694941708981357721/145473894409745083801\ 7782821654626336876341537877621751342618234699055489294986612181251\ 88557302489467028748072624737*c_1001_8^28 + 5215395195173224848546502767452045121221478873724973634681635229300\ 4795208593583768036183628135246894476796442861/29094778881949016760\ 3556564330925267375268307575524350268523646939811097858997322436250\ 377114604978934057496145249474*c_1001_8^27 + 7796366625683183655989869035975947916066854249100445318441153740876\ 1848568976230322159463733499747489301993927216/14547389440974508380\ 1778282165462633687634153787762175134261823469905548929498661218125\ 188557302489467028748072624737*c_1001_8^26 + 1139017254580587659048020226684644827623558654886790113305606629625\ 11317086806026546526868047428707878214981328759/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^25 + 1546173269458061844770278939878654296067155785605079436454722665655\ 95717212751981894643763055714055246507462490995/2909477888194901676\ 0355656433092526737526830757552435026852364693981109785899732243625\ 0377114604978934057496145249474*c_1001_8^24 + 4389276240799082958228023442756251788563009576347677090443867332236\ 72824894042653656215515244226424525256176371261/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^23 + 1576498410889673839370305917508033007127118015953457655839289921930\ 875396857227977941084508075484313540435299158729/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^22 + 6817713605659934975694364555345836311180984237949367246040323273247\ 39406613079053793430567280807635914911333262392/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^21 + 2749541956082991415849184567788985453711134779155798593260917928104\ 219679899628981443453330846874292907398024125847/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^20 + 5801792852305140257494107075495985063140828138309768817102766202338\ 601931737997019320580560212224105389915312387007/290947788819490167\ 6035565643309252673752683075755243502685236469398110978589973224362\ 50377114604978934057496145249474*c_1001_8^19 - 6994373026459927130075942650874373608521234561914876179288209046759\ 036917887680594859459294080273890221889054476847/145473894409745083\ 8017782821654626336876341537877621751342618234699055489294986612181\ 25188557302489467028748072624737*c_1001_8^18 - 1250320655991614813296847404930175784973956351438876179481887933148\ 7797424082507037859002319795283641924752658145880/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^17 + 6414746816146686374953536464270813850395375242744211181718594928371\ 4433905394567301698868192424941426140155115790637/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^16 + 1477810361027601710849096873047989120557071993874314834457840733402\ 54255776400998585892210008409688721643190899634139/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^15 - 8427476642031190681809991023633714170963020265622059976717846706225\ 99409901119074341142115986282937735144305241514/1454738944097450838\ 0177828216546263368763415378776217513426182346990554892949866121812\ 5188557302489467028748072624737*c_1001_8^14 - 1191914343926719793163044284064329677941772753015085733050589913008\ 46629110056625521413954894924227912939251812342740/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^13 + 7280435184266206595269493645538754479882094826430355499498962115917\ 6924854696000881294301839957970486444815575107931/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8^12 + 1181345663651926534120166703788389328445848253098588749281925021162\ 27185022898270676553856441957691618263523374459626/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^11 - 5113842453236232045339866685774331251557931755323539430779649482877\ 66355160618768326726682765004946398581580517372943/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^10 - 5730663567009982983191200564658540039344074950896559905524561410487\ 72521845189737907032254712849470435757182747223337/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^9 + 6628942161701830350406944243183649161485925048659190653636442183808\ 5283822810720307131759784289278529552621324351099/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^8 - 2138325067475169212759247618651583106669958448266326424435482488424\ 27182077117224589286340618423056164868628147323713/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^7 - 5134407784337738609759748693590732317544323681534256450540616035605\ 69173342417048066820427045460697698943133432798795/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^6 + 4611310897507335254491116262134992231628140057163299850427020114050\ 24059511003179524423172370561605948450674047170339/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^5 - 1898819123904153151105537556833380649374806963287563880497581386648\ 37488112914288823219324486068439220120832405928067/2909477888194901\ 6760355656433092526737526830757552435026852364693981109785899732243\ 6250377114604978934057496145249474*c_1001_8^4 + 4434560697552190153017035018620079801357266615773986817476653027909\ 5712675246316035144000772891900984117190566775076/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737*c_1001_8^3 - 1733074753047545120873337374439634566659770778509319456674349348354\ 14121253073698866732058365201681857374222294722263/1454738944097450\ 8380177828216546263368763415378776217513426182346990554892949866121\ 8125188557302489467028748072624737*c_1001_8^2 - 2922660942451887477179718228211284936463300071788580928060240355971\ 7040178414121932919783172834863412850709685140211/29094778881949016\ 7603556564330925267375268307575524350268523646939811097858997322436\ 250377114604978934057496145249474*c_1001_8 - 1680634665158788954210673494432726869611947859651240165813774842091\ 1747754284942379201413367016030541703864698214874/14547389440974508\ 3801778282165462633687634153787762175134261823469905548929498661218\ 125188557302489467028748072624737, c_1001_8^32 + 3*c_1001_8^31 + 4*c_1001_8^30 + 9*c_1001_8^29 + 70*c_1001_8^28 + 202*c_1001_8^27 + 144*c_1001_8^26 + 246*c_1001_8^25 + 1178*c_1001_8^24 + 1994*c_1001_8^23 + 1848*c_1001_8^22 + 3971*c_1001_8^21 + 7680*c_1001_8^20 - 19163*c_1001_8^19 - 29129*c_1001_8^18 + 84186*c_1001_8^17 + 177489*c_1001_8^16 - 777*c_1001_8^15 - 262428*c_1001_8^14 + 134659*c_1001_8^13 + 181205*c_1001_8^12 - 717941*c_1001_8^11 - 574489*c_1001_8^10 + 145179*c_1001_8^9 - 435919*c_1001_8^8 - 1353919*c_1001_8^7 + 806744*c_1001_8^6 - 639091*c_1001_8^5 + 380096*c_1001_8^4 - 498004*c_1001_8^3 + 380668*c_1001_8^2 - 160365*c_1001_8 + 54538 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.660 Total time: 8.869 seconds, Total memory usage: 64.12MB