Magma V2.19-8 Wed Aug 21 2013 00:12:07 on localhost [Seed = 1798113102] Type ? for help. Type -D to quit. Loading file "K13n3089__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3089 geometric_solution 11.97274991 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 0321 0132 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 -1 0 1 0 0 1 -1 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831904035863 0.589153175275 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 3 -3 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706194167354 0.846097709556 7 0 0 8 0132 0132 0321 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831904035863 0.589153175275 9 10 0 11 0132 0132 0132 0132 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 -1 1 0 0 1 -1 -1 1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.251377677431 1.355970516063 10 1 7 11 2310 0132 1023 3120 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 -1 0 0 1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.956729476805 0.899654617331 7 8 1 6 3201 1023 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753222988630 1.290677642430 9 5 9 1 3120 2310 0213 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.133229402448 0.730888686182 2 11 4 5 0132 3120 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -2 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.807480422737 0.567062668800 5 12 2 12 1023 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628772621224 0.564654816945 3 6 12 6 0132 0213 1302 3120 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 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.409102727131 0.690775205879 12 3 4 11 2031 0132 3201 0213 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 1 0 -3 2 -3 3 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.191537995721 0.741896224360 4 7 3 10 3120 3120 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371461760624 0.947598177940 9 8 10 8 2031 0132 1302 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628772621224 0.564654816945 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_4']), 'c_1001_10' : negation(d['c_0101_4']), 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : d['c_0110_12'], 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0110_12'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_0']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_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' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_0'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_12'], 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 's_3_11' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : negation(d['c_0011_0']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : negation(d['c_0110_12']), 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_10'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_10'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0110_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_12']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_4, c_0101_7, c_0110_12, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 39 Groebner basis: [ t + 3310788267669492953323868942142274951797823603383839938517896420130\ 628329204605448918820908822851928/677520363985646395122852265318228\ 8163173352610231436442287588449372897809150626026189162591*c_1001_2\ ^38 + 8467604207506666627565127150605166322744105504382996968653733\ 272518588640525444884185018399557657827089/155761931680300106238743\ 7357966608048713553765092207238081916584510829206323728923420888479\ 6709*c_1001_2^37 - 153517159993323516776379845787936310404117989512\ 692124110106342929842336957051621879140725891919219952969/155761931\ 6803001062387437357966608048713553765092207238081916584510829206323\ 7289234208884796709*c_1001_2^36 - 145901279671339610493766781498193\ 9000472186551288229035114219605650055472015557692492548481373692298\ 3706/14160175607300009658067612345150982261032306955383702164381059\ 85918935642112480839473534981519*c_1001_2^35 + 1482372049369952023868623838023697101033691748382205281290162688644\ 434520619926300465108371990006165214600/155761931680300106238743735\ 7966608048713553765092207238081916584510829206323728923420888479670\ 9*c_1001_2^34 + 227022238227133012369729583306380726069365492394251\ 898126749109833389597313228059785564489201396597020816/222517045257\ 5715803410624797095154355305076807274581768688452263586898866176755\ 604886983542387*c_1001_2^33 - 8424243020723950937521916171525952295\ 1338990529034581283778541997485404065157553757444042077641772695162\ 48/1557619316803001062387437357966608048713553765092207238081916584\ 5108292063237289234208884796709*c_1001_2^32 - 9038603045280149560906631468487351685506130856402088345750030708268\ 005347406389429034410625002093536754471/155761931680300106238743735\ 7966608048713553765092207238081916584510829206323728923420888479670\ 9*c_1001_2^31 + 325330197994012301200170723064028554450679194932916\ 11948358081344191349451616571481235980578642305427901788/1557619316\ 8030010623874373579666080487135537650922072380819165845108292063237\ 289234208884796709*c_1001_2^30 + 3449986838808953280730865366225358\ 8796747859410656512217313135669649393429033433653739879038642931815\ 842932/155761931680300106238743735796660804871355376509220723808191\ 65845108292063237289234208884796709*c_1001_2^29 - 1292648036294177714761525677325751984391084964507390779290188509347\ 5750867572683091777530423679155919541563/22251704525757158034106247\ 9709515435530507680727458176868845226358689886617675560488698354238\ 7*c_1001_2^28 - 856156965841421216330291323511938364913490199559548\ 3499533194935913837205921973387772567652665989262909332/14160175607\ 3000096580676123451509822610323069553837021643810598591893564211248\ 0839473534981519*c_1001_2^27 + 170666555996713028162138444463267823\ 1453239672417809509673070078389245613786786427559475905370818053923\ 8867/14160175607300009658067612345150982261032306955383702164381059\ 85918935642112480839473534981519*c_1001_2^26 + 1902790241090851448286972483289004316957551869174570522939495780625\ 42257180656171554206006495798191667698309/1557619316803001062387437\ 3579666080487135537650922072380819165845108292063237289234208884796\ 709*c_1001_2^25 - 1571380625741501120161591960578488186923446772240\ 3329626084806705327880306077591024754487361173196094369690/81979964\ 0422632138098651241035056867743975665838003809516798202374120634907\ 225749168888673511*c_1001_2^24 - 2933991432003444394966611341819011\ 0605329166717721116701627637079624570228463070872402584196693231623\ 7339753/15576193168030010623874373579666080487135537650922072380819\ 165845108292063237289234208884796709*c_1001_2^23 + 3709390350587745841578859174475244740893166551806653735434394740351\ 77143035503937817552533713798697793883003/1557619316803001062387437\ 3579666080487135537650922072380819165845108292063237289234208884796\ 709*c_1001_2^22 + 5095373060213853905617928711569973454467793659138\ 4858831333783399862438945038798966188505443653744962754953/22251704\ 5257571580341062479709515435530507680727458176868845226358689886617\ 6755604886983542387*c_1001_2^21 - 363696927115574704005609171909827\ 3433370271264368389691646798531769896057704105639998454831846587374\ 86913485/1557619316803001062387437357966608048713553765092207238081\ 9165845108292063237289234208884796709*c_1001_2^20 - 3532100819641753161619942960941799520561350811993559514770885025948\ 73739214683882232946612730534320930922688/1557619316803001062387437\ 3579666080487135537650922072380819165845108292063237289234208884796\ 709*c_1001_2^19 + 2820551699642634798532723983459678713681309614296\ 53280552040555418509223464452702356185061993764468642351621/1557619\ 3168030010623874373579666080487135537650922072380819165845108292063\ 237289234208884796709*c_1001_2^18 + 2921404765895378332913550853661827980560146731928190969331766437463\ 78299593575193759014993622973199029067824/1557619316803001062387437\ 3579666080487135537650922072380819165845108292063237289234208884796\ 709*c_1001_2^17 - 1719930272861310230095093492481240153839094388179\ 65293670120040630559721657856214529147271010049253509864931/1557619\ 3168030010623874373579666080487135537650922072380819165845108292063\ 237289234208884796709*c_1001_2^16 - 2032594059058083771549142861022469962888408289580895519375980642431\ 62943600201005446908495660117527850207330/1557619316803001062387437\ 3579666080487135537650922072380819165845108292063237289234208884796\ 709*c_1001_2^15 + 1154493534949477092108900017461241227620786407678\ 7344456654249343066773598571091062531011951473503911447864/22251704\ 5257571580341062479709515435530507680727458176868845226358689886617\ 6755604886983542387*c_1001_2^14 + 117380002834600545931926186290296\ 7409657601094287351791227276363126565876379854451695014868369279054\ 55283329/1557619316803001062387437357966608048713553765092207238081\ 9165845108292063237289234208884796709*c_1001_2^13 - 2778196422715200203246874037423613672537638644021635903433043074809\ 1207388888652803425280123043868040406944/15576193168030010623874373\ 5796660804871355376509220723808191658451082920632372892342088847967\ 09*c_1001_2^12 - 54723861906858204962295896051693817969877172268063\ 956075697975887361808870601843949495499310469221108394908/155761931\ 6803001062387437357966608048713553765092207238081916584510829206323\ 7289234208884796709*c_1001_2^11 + 318784811685960624481574198709453\ 6411700221613281591977270118855231693950618986059989721653340606069\ 29285/8197996404226321380986512410350568677439756658380038095167982\ 02374120634907225749168888673511*c_1001_2^10 + 2831626670814349564530480178830978800525279791465198488320998081550\ 736605853317260305115622298763135940274/222517045257571580341062479\ 7095154355305076807274581768688452263586898866176755604886983542387\ *c_1001_2^9 - 16606847624675158615591798965103960985980358118675062\ 463454536584172795708958582617049102560162333150027/819799640422632\ 1380986512410350568677439756658380038095167982023741206349072257491\ 68888673511*c_1001_2^8 - 481081922285763631443461705738004085600334\ 532708649815163098519235781778275910020145260825003978704976515/141\ 6017560730000965806761234515098226103230695538370216438105985918935\ 642112480839473534981519*c_1001_2^7 - 3160204807667578861726267415340103617912860292971212814839983665162\ 59966338672360819874109092022398720825/1557619316803001062387437357\ 9666080487135537650922072380819165845108292063237289234208884796709\ *c_1001_2^6 + 97428305408707090185261013681953737275729349665892733\ 0905602572676283165179478625961116607535245199058524/15576193168030\ 0106238743735796660804871355376509220723808191658451082920632372892\ 34208884796709*c_1001_2^5 + 179629748707391736232840041842117474737\ 45340044016372086491212252691539401074687891979072743568656173812/2\ 2251704525757158034106247970951543553050768072745817686884522635868\ 98866176755604886983542387*c_1001_2^4 - 5986243774514002435136074061751768304667750557202196332149557248987\ 926950323747070512099479140919513026/819799640422632138098651241035\ 056867743975665838003809516798202374120634907225749168888673511*c_1\ 001_2^3 - 197867340774440497496243732329821864642975855872280780437\ 92532761976842704185993905842548481904328353967/1557619316803001062\ 3874373579666080487135537650922072380819165845108292063237289234208\ 884796709*c_1001_2^2 + 85116838625084244918124437735829648821786648\ 7699446148084042018332876112974721638611114010207499454727/22251704\ 5257571580341062479709515435530507680727458176868845226358689886617\ 6755604886983542387*c_1001_2 + 135522070862031018231137567332778837\ 3612479984196629467317876529527604399590649749289053668754600149016\ /155761931680300106238743735796660804871355376509220723808191658451\ 08292063237289234208884796709, c_0011_0 - 1, c_0011_10 - 10309127545923863977314452894097395277969304688212371826115\ 0054231506442237920/93153854570392289853930751490295813856066937867\ 90622917439044369179211*c_1001_2^38 - 9693220176727189172837751745564342839107839077903801101154598705907\ 2106670021/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2^37 + 21116862205821354348371745629351667275\ 15881570886608937872134841218877989781347/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^36 + 1838777018488561043010407445217867764591653644299308122414233506535\ 054073905157/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^35 - 206909887703916094910233817981742795\ 51470800897605724806675984611085219419992936/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^34 - 1850396797074249602619715412957989387382071624729237210344150473684\ 4450377146437/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^33 + 11996252478225509691047501493600963\ 8566590509048035931124643385124224362414099227/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^32 + 1069555763175433863546599243881636359337422742238624977134051053423\ 08808386600470/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^31 - 4727606111943600725568126313507819\ 17822565180028417610746269977164929072079540394/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^30 - 4143223113526174397294483893544286213623813772054799223157240810172\ 08700870344921/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^29 + 1343845247009740187913031744906416\ 511149515762019323770727081335269599992513809198/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^28 + 1148946104894036576464999187096945026700632867788062527150431488784\ 199540022500420/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^27 - 285282341657077447754745128344108\ 2760980333222137229522327556288995833367117344776/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^26 - 2360705774208258048910820587757709048724472049588149588827558898517\ 925216814102030/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^25 + 464232474027237974619681044777809\ 1929040821384621663139803325333071843117354520813/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^24 + 3704830454080741039819240565587471728621208504326727183812360572095\ 946888194463188/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^23 - 590078061183363353006122710246036\ 1283348101072689008858884642309683287223295169025/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^22 - 4591730285445274908117697591386717698886052193291600989081352875503\ 321114614048886/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^21 + 592905178792634296466724673618531\ 8566994934001840052705743801795766337297444458147/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^20 + 4651979255736799751461523269850272886093724883382925681867140683706\ 501558747405839/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^19 - 473866549207888397733336925416015\ 7460937685318837572733176004263933782273998179035/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^18 - 3954906245829101195048954214322231258927708971387961518177610773389\ 797619159606885/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^17 + 301257374426564791952338453410608\ 1600689415088384804858074539914868919647045639455/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^16 + 2839735322552331799308071111918301898754586876093670403541836549026\ 053759752832029/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^15 - 150690824754430606568917762207605\ 9356861023397613539984672577462436214135896102549/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^14 - 1695897571277308266839650170017960124128775505510479763390560064015\ 179498791803895/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^13 + 574411053751639124033143317278071\ 389203536336059274527264783609752655790584362860/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^12 + 8179563752410411386055418358115974645367473205911207890178901253247\ 44066581933997/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^11 - 1548905899535046311898993301612431\ 83920869847584517664351076209257127619850940775/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^10 - 3064047523739900146808744361236207194646890600136903444588312291895\ 95569339143566/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^9 + 23418929911114127803351491242451074\ 760385892632844929031871560011818811100042248/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^8 + 8462548872252649443306925228092758831150625278419526751154119677521\ 8416349854148/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^7 + 118581418525327782560921713122515064\ 3155716364099149003763305241529344206307587/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^6 - 1614645586325241803263056163420450641424120551982786313544949323068\ 3712163388350/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^5 - 153814241587665181371932220248483471\ 0163663603855750983787710490740195785959715/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^4 + 1952108177799762983460784105802376830852085474703158672371731053393\ 999047032168/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^3 + 2967711320104580425896822159695747422\ 95326856043352355992834596250944115785887/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^2 - 1063426184435919952138430499337508598256819489820323878788304222883\ 25954038301/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2 - 2278257435923359952676724304020899768275\ 9636552695116221656957657420672935217/93153854570392289853930751490\ 29581385606693786790622917439044369179211, c_0011_11 + 82529819532899872113396825211830825981774574292417284635774\ 70168260645311913/9315385457039228985393075149029581385606693786790\ 622917439044369179211*c_1001_2^38 + 8759981297419212120342432697487171157618207223875815167998222006453\ 016057772/931538545703922898539307514902958138560669378679062291743\ 9044369179211*c_1001_2^37 - 167494667262275930606922729932962881831\ 761814796687825818282633540700941214074/931538545703922898539307514\ 9029581385606693786790622917439044369179211*c_1001_2^36 - 1667504246910935873880266315019739546352966270213031297605523214130\ 75059110301/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^35 + 1626482926806832194829942412251555998\ 139106714644288729620281082641976574872525/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^34 + 1663972867392720219061342001574426459560983689170917504920511861262\ 813272110173/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^33 - 931057558087224421721376802191996504\ 4126742444821730776213976117943121427010245/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^32 - 9548451323765690057094691030717218147690043182157095827352208765559\ 466429723105/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^31 + 361925627913488195545791328895563523\ 83013909925631068477421527633413065732855643/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^30 + 3674781578122254588772216417926198900708855461693644749722245192165\ 4161411802661/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^29 - 10130919024333107833580699710116360\ 5761473047891529710084204485175398373153360472/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^28 - 1011820582544283537875320991212004283798354055655304697337817455926\ 96950568672573/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^27 + 2113996639274815159318068661006394\ 23019701249313861168215442064035904247437316771/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^26 + 2062371312595284067316666989541950726480726591400542424053801195073\ 00966424902362/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^25 - 3377007728654564306739942995519331\ 06629883780886631912521955133649342829329761244/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^24 - 3206970880543312301487985150818704797305043014824830981708096065080\ 47736324291763/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^23 + 4208601150896699597412268916710464\ 07061340684169767533659828590589330464940971237/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^22 + 3929161765826339024351896419779279919386029893561324558926073473994\ 43099545299010/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^21 - 4135223825782333294566389763481246\ 58205231948424284801526683983985710006471819919/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^20 - 3918945423991587424971902384702643629528219025248906077273814015559\ 07956041561553/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^19 + 3212176621125191732776760757297095\ 07075179474658490297197192243098739240598994670/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^18 + 3262367012378035418059005556142260220501583524271094102974303227422\ 79048324306688/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^17 - 1960721022472362713897837022857364\ 21364236829572176021705544879495656074398766282/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^16 - 2282262587131041570283432556829225489354868440334812225451090301163\ 67301554511820/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^15 + 9204599000502915543461423588837696\ 0652527027569169257885709153033117767844421682/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^14 + 1323222520934424884563250749879794162896658911933020149749116146751\ 98931272330512/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^13 - 3143428252060600256372224781911266\ 9273258455158369480618277831433769289491395345/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^12 - 6180410373034906040448713984851474551664226161955079761909900304518\ 8361622346743/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^11 + 66721087983011641144536391431983554\ 64692288482269176113286910345823415554472130/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^10 + 2236485788488698936039184200246326944232852635466165805574889360885\ 0498868207149/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^9 - 236708700438140200664202567524251267\ 361400859295645085695501599120467972460430/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^8 - 5944454393173615269874907580874219226992008202882283281274153928969\ 944839073581/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^7 - 3961222101359527600325732477804301208\ 58030950876793593937808307810587589980205/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^6 + 1084454848039284784976705978126390458739250241603952992004996237903\ 781154371622/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^5 + 1479637048754493424581839497837650122\ 01319955676741812817957528506018755702806/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^4 - 1246754476934617139142663090003392759495468941307544309921653477444\ 89235824381/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^3 - 22494907626079656695159247923148154239\ 584251507056903768405234752567301616139/931538545703922898539307514\ 9029581385606693786790622917439044369179211*c_1001_2^2 + 6377912658162581279704728053184851849469624680194902606890124278136\ 806559433/931538545703922898539307514902958138560669378679062291743\ 9044369179211*c_1001_2 + 147881468965461736770038683533147142665596\ 9642750247882206472093492402476266/93153854570392289853930751490295\ 81385606693786790622917439044369179211, c_0011_12 + 47966103644376973128922064006293210821871698611732907118230\ 582270455343345801/931538545703922898539307514902958138560669378679\ 0622917439044369179211*c_1001_2^38 + 4430632928383058382704058694663102591522864780490976108080675761869\ 1436501408/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2^37 - 98379356865910559631742497329892530875\ 1211971702880548902242457897883256253136/93153854570392289853930751\ 49029581385606693786790622917439044369179211*c_1001_2^36 - 8401137112382226002111614368502448144600484413672984411213286636007\ 11591604256/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^35 + 9651453715027389547745385780248139976\ 468378052165541475963512638276900040497277/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^34 + 8466167087850967852157690961072902576658206981606399720134152300378\ 897381937310/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^33 - 560535854115576790742094233037465996\ 71849283246176038765667577594645175759311291/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^32 - 4899661572675754199687219351223053678340273884821873544285324332788\ 9670968480807/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^31 + 22129929340415469368285920772793838\ 0330204180831261641429355323568683967186073160/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^30 + 1900134804984650294910089987503519325081346011367335084498227303515\ 24193714106499/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^29 - 6302930274109549625247889229995809\ 89924382133877338457886384424248291699210404137/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^28 - 5275501828974089082333794207607871327694621510993755612685872113925\ 75445299644141/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^27 + 1340900646001082211610780345208769\ 075947496404045045238461811565658680147453405559/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^26 + 1085363795681708756292764291122397595799978802859383828297525586013\ 756090449532126/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^25 - 218687726605943676110703804401331\ 1023863203619967617348172537242347943295456257694/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^24 - 1705826761472916587506775754662765391024954707112983729175678697891\ 899264750061835/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^23 + 278610675309788443953953573529956\ 2523914629266526237806881073756088512280893932367/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^22 + 2117890640759870658417844686600559407086933509058178638512627066257\ 089772222391732/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^21 - 280654724489178509025798423797931\ 1043096838730892383987169618121752912953445170063/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^20 - 2150577955864731098179860774918713192630012948101232525420928370187\ 507523917949624/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^19 + 225007807949305790593182231625924\ 4562269440910947320502968430743573186452983100597/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^18 + 1833726002896755214713930234375097106546035663987572577918236247098\ 034895658965142/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^17 - 143659467043194062899235376919373\ 6383727499380676245464936928005394344690955240642/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^16 - 1321300877799212049654852890399936186117665127123580937581247377962\ 460369249140348/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^15 + 723111378959157875850648820292873\ 012786333628023579464505982933241364693541647387/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^14 + 7921151277679932851238120145962880241239430373078790357189767415493\ 05449762789513/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^13 - 2783633980279863490154616343351156\ 88695569314483545948609472519100813971244920582/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^12 - 3835726210314794551571835795282645822592909934597089373881736127148\ 55909484745990/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^11 + 7640180290283797155730236244778544\ 8510981514327282940864677997661108430293080007/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^10 + 1442744329361198038572999738802603738894124222016487238674331510931\ 56539612992675/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^9 - 12124539676832679860794307063087268\ 596215994870541471331277541848991978771678688/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^8 - 4001938550805090159638736858356811682918297238740101809994136977117\ 9666277551729/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^7 - 328706288734785926732477385409353622\ 632658082628736383952844586121843130919094/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^6 + 7672264787179475982993520116376662194194306515795410129246957865467\ 552543731322/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^5 + 6978677183771514673771964353972481638\ 99309725382205552028208585557929492986931/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^4 - 9322755528372182540258729312719613585841283472670210693688499928766\ 03735915173/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^3 - 13912098705418352789376152710979424639\ 4543322538179215219385451850051580938390/93153854570392289853930751\ 49029581385606693786790622917439044369179211*c_1001_2^2 + 5108729443422022035929306650375492680331591336357332999407427941081\ 0136052747/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2 + 10862003655342533417003439303067816937515\ 484155222820077634264203231084989460/931538545703922898539307514902\ 9581385606693786790622917439044369179211, c_0011_6 - 807857934916246117289170642591385650511015111862965106124300\ 48526018982346751/9315385457039228985393075149029581385606693786790\ 622917439044369179211*c_1001_2^38 - 7651110834751066918839758709638702917002360025883633888269575217857\ 9719535461/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2^37 + 16537877469348766903730048253972034171\ 20023999892260093308634748324299698895567/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^36 + 1451358649075612983696718960681361760019429823275376745442878518753\ 720940284626/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^35 - 161951925695578851349776792309024570\ 16161062126437413571310701125306714362544454/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^34 - 1459455417565611395156188200183590776790115769499754010740163963398\ 2391622738405/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^33 + 93825131403059274790839827466972474\ 880652804182638318241091553794842631422810990/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^32 + 8429776151982922994744086574362809645028374437042217820796582555936\ 8685101261127/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^31 - 36947419752697402624935097402187307\ 5536021754511379049130633571112667296672896355/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^30 - 3263369727911380975364421972549886510427634613614698211238425746269\ 30699063520144/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^29 + 1049404729938054256216394974604692\ 310334797620256461428901882808289252471865611560/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^28 + 9043313220836647133516689977323955112385813965074511196172417647419\ 76638935614472/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^27 - 2225908763556748843000916549376325\ 646332528066616757770598893647869294417411334818/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^26 - 1856744166298782334022466963105488118227627898319455221831796886626\ 381462117607626/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^25 + 361920759726776317024684286857166\ 3179035051450532577800975442679460150282724022260/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^24 + 2911710110717226651717988363173136226038194283991300788678881465095\ 921947375211481/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^23 - 459666205951289645678587109933085\ 7964723019851484275058096887942779180542911213913/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^22 - 3605774947788341815144015930935133198003102369403645237959163051257\ 734397225625041/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^21 + 461484262610917856223287762324585\ 1749918137922167588573685092914850055963680461015/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^20 + 3649605911711791166654859744289703266249952682160585978854319620551\ 585886079959054/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^19 - 368464827293058527596175383114439\ 1197178551043819708512243609091444241606827143755/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^18 - 3099255559582213228104421107460847509520643935009188946819316726084\ 683106593709145/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^17 + 233938575680090389471934204495269\ 4287742843635837281073079935121502061664059902648/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^16 + 2222578417737662962030389810320412863091993384569318504728540998840\ 178315729454611/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^15 - 116797039398195128718103417812388\ 9314206891278528365008120269028502621749429757276/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^14 - 1325622249033337558616228964481156750670920790493321617534515090852\ 940902813082240/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^13 + 443940807217376421109531565803775\ 550170147805906880660804305777000821007589991940/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^12 + 6385634292872906239619785451178890199274753253722736616690001322195\ 89267656799294/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^11 - 1191087958186461749793730199051399\ 71631245259251843796299335574713179544456152894/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^10 - 2389176889764936899986313552516249636981846053400427403535757458323\ 29982841787015/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^9 + 17758812813259208865387229945526872\ 900453315548607700772034907676198256617821434/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^8 + 6590984535253611280168210604392093447891723701107203446552300354959\ 7608787152373/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^7 + 102407893067151698911419944345325435\ 2691857396133033000366247422839194805618050/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^6 - 1256091940701007134531485852032782011999860336294045134267222713806\ 4914292115150/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^5 - 121015165902090870908317932609104628\ 2268825335709123320823960512400694726482614/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^4 + 1516986488882259607158872420945340842477357145030034650209330355132\ 220504722766/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^3 + 2316408977974170229818090773199468662\ 94481714919757707352137316689765254880993/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^2 - 8254612760602748776432484073887659674780817961075491897246226468508\ 3060910895/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2 - 17716627039089528011716685183032908157759\ 014396859803881841095878609347612921/931538545703922898539307514902\ 9581385606693786790622917439044369179211, c_0101_0 + 305717303190174992294846359730739943338048080308223339685838\ 64484933863425491/9315385457039228985393075149029581385606693786790\ 622917439044369179211*c_1001_2^38 + 3195127810234066589865727870307200772367086313571999668560446933386\ 6441656541/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2^37 - 62072775197156421415513207987096358373\ 4537661127313699776719303542946289703028/93153854570392289853930751\ 49029581385606693786790622917439044369179211*c_1001_2^36 - 6067100488524439985297051422264853763170511116277922474231257739023\ 92221230413/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^35 + 6031256079162922194549673297597804569\ 753107980542863016274566254969880203125652/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^34 + 6049840363342552757832833583118129661490484673797663878133087772771\ 747649371727/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^33 - 345647549622311795879777419089745425\ 05044948658459722303436445539734195609836349/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^32 - 3466688034895401292198727887212288586208053469042691385553882675601\ 9713690094657/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^31 + 13459251730396857100421124541647442\ 7037549058840965749872710907993921310066780470/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^30 + 1332341620805856603018534017143744375362080923287249128542490691101\ 03076958074236/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^29 - 3776258626673179514372273215697204\ 48755976115099310095714831531530318377763329365/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^28 - 3663539088766160571591782208585327410159392925815269329686728644631\ 19736288599312/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^27 + 7904845319603481939513060635219638\ 00822967489188056920048477219602800504571930241/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^26 + 7458526437868319951395218385627501156932349074598215642057467024264\ 07668152126229/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^25 - 1267938864206165708257701080391828\ 330297532672776098900867121138329642620317075826/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^24 - 1158962098672008048558158497699830649573482627676794104419243635316\ 447974569009701/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^23 + 158817057815869402269315671822863\ 2176926086026273216796850414164842806726493734879/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^22 + 1420182628441457580972975673818109477686898896284602730497592284601\ 414416240710272/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^21 - 157039822315827938712964261702003\ 9338877537831173802080868680607920041537430594116/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^20 - 1418737707610632617182116387243462481509387706417047383332056476124\ 786386838943862/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^19 + 123045030133990236059454135444089\ 0878759344820866673501584842930709354918734814927/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^18 + 1185124129701214311334633740635771330162529950020243001688686240970\ 500700076698753/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^17 - 761016425942019060871765345925939\ 658342464377058074688375637188972068855117411743/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^16 - 8335580481282354372244520447072338153252468612956946719830684559436\ 77608862862127/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^15 + 3652689615687248084411328288564800\ 99306341448260037495395226618035224771003741711/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^14 + 4867579324109861924862012305655229257386260969572320041953750480830\ 51687288884772/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^13 - 1301346648679555273586017659562364\ 73460662184872800473153726555180575427265301257/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^12 - 2293871200624116235776451987387342213119200031910027005032376323059\ 84816914976371/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^11 + 3069499592492258776041074672721462\ 7828952423616756396515673991225401252624376360/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^10 + 8392190598137628361899144469840651901671783064579447505345343746865\ 6578971150742/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^9 - 278419145745964958766933263766625527\ 8358764053336543668003074150420435637225249/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^8 - 2261477618314793822667200781798451231324597700780105690239200265310\ 8356249601615/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^7 - 106638605343389533674415254922369244\ 5996329734171789688308388357077422841702581/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^6 + 4200517000679629757339173526005119614904610077487078595688996973272\ 199500535944/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^5 + 5044017557584872658957252776972117346\ 08359241060456150217605504239848548744011/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^4 - 4939683858423810023911212981240023348015277740605482814225850445103\ 91955349546/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^3 - 83161937026866130736438559406158391758\ 792456979979117784219413137603046548581/931538545703922898539307514\ 9029581385606693786790622917439044369179211*c_1001_2^2 + 2605921848095654191211263156512513949264998833313571049732065913216\ 2230596243/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2 + 58381736839793940982806652534658890331811\ 83341002219682660999563247941849131/9315385457039228985393075149029\ 581385606693786790622917439044369179211, c_0101_1 - 387159553741711512631368200225314144936445884366981546670653\ 05097906645176602/9315385457039228985393075149029581385606693786790\ 622917439044369179211*c_1001_2^38 - 3866046835987967462307814393383988198816192714712943854481129534849\ 1400926455/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2^37 + 78915223915309503026776248005198841750\ 2686731414434740798261400521689774518419/93153854570392289853930751\ 49029581385606693786790622917439044369179211*c_1001_2^36 + 7337419381603002437665257168205773609101397149519180805020472940593\ 20373212247/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^35 - 7696396269692907291995965934855109119\ 204646988113936510009857286770101605496246/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^34 - 7344120769462286253533445725033736033776742715445122544553878781655\ 091011243001/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^33 + 443373164018785797736683731585401501\ 86273877506881917108675633579765486359309271/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^32 + 4223350698766815649441134891253067554625029172410678007615234209568\ 7380802772447/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^31 - 17358478572186696678070358041330774\ 1170913859139514671935691405947233199409586324/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^30 - 1628446495770020123001251758939429010823506064379710462529527974734\ 29172154521317/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^29 + 4899350448241601727879187880477712\ 87341427432641358964756039120159440140504506941/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^28 + 4493486243788829701092830548138897642841761494488364795760210093768\ 47169775317490/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^27 - 1032238735097199719038781370259214\ 696116511608241846711820097411226137058990946458/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^26 - 9183405470868405984537720864711605343261687197638774120381415180903\ 88229367547810/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^25 + 1666872835258432264581784444371736\ 185099219414535742846077031973276878721178593090/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^24 + 1432981476592477127047963997725953182535371834786715214852398446414\ 198456950773829/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^23 - 210236552460808993664504316968024\ 3404055699359120920234426570423348494229595058610/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^22 - 1764520985608419942941022316596832342093048899760812236922136027990\ 606645382562561/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^21 + 209479306362459203565010767168165\ 4502331392231292756100317461349802421435788429714/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^20 + 1773521665297456356248841699211399365604621369210204869029958908201\ 626106506704583/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^19 - 165710689277337157380181989830993\ 5390209000251760148755519548634414057139706316996/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^18 - 1493024667461363337954060120301484133227999883363213676261467461369\ 629895892392493/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^17 + 103878150587585653676895829933441\ 0804019654662138497683327993456913497080163750872/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^16 + 1059878938902480752716203435685102478226461481551955045028545605690\ 982831046416716/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^15 - 508957447529665507088348240421028\ 215471545586060612147029412918080180670063062848/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^14 - 6252680826874916024952503976541262188251775077358148200336114536577\ 03921610154057/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^13 + 1877275021745855166262302742490309\ 70878828029802760462778773963475520432753583865/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^12 + 2978381522245879212582976659762065886820065040486155769438268621504\ 06282644862475/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^11 - 4759417445927319075460751539951145\ 6008490814212378419147275990090828285655944680/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^10 - 1101822805594257545556575334279802358484601340143015942090715345492\ 86251537025711/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^9 + 59193579465896689584702184541893805\ 48343403821725323851605139358304122816666801/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^8 + 3004325197359366236388171634213905524674917780608789325781063234456\ 5592683654775/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^7 + 936098366255952032279682815748175565\ 326550685541633875909158658864785636546616/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^6 - 5653942290300940249099128373907738511737627956048398139919462283515\ 071071268619/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^5 - 6100582033496476466539065091845708936\ 10017361223701170009693250663319455809060/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^4 + 6741351977315645479537518111754201069927361599495987322657857589188\ 81382726339/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^3 + 10799883781839735205242482371261751896\ 0510936950707940669949545086620203516787/93153854570392289853930751\ 49029581385606693786790622917439044369179211*c_1001_2^2 - 3615015491963101782091347745695714931957451612859315725506313988358\ 3818565134/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2 - 79191552689153536435802410554225017874203\ 64448654177434481234437950540566403/9315385457039228985393075149029\ 581385606693786790622917439044369179211, c_0101_10 - 67662231476753118013998225489031805305745828891502894348356\ 524987367783184750/931538545703922898539307514902958138560669378679\ 0622917439044369179211*c_1001_2^38 - 6393234734422928879090037458666478453003662879015837976611258767656\ 1686122831/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2^37 + 13853921145309795075383494849971974276\ 43956125657163178595929323822663417732690/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^36 + 1212729008929847699027264289639194489331631135919603719933187434283\ 184135799413/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^35 - 135692627664078924373825643195433556\ 51531501855242380961166485834399556945767610/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^34 - 1219760045250318474325442186949176737818397586594454940767691143559\ 5230664228380/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^33 + 78631185940723596673462226810723776\ 007304895216253009694148986780006039804779532/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^32 + 7046768866172095621264280235647348039298029443550838910559699924030\ 4419768823750/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^31 - 30971866686261085494602130830187871\ 4345070568888496822853214835389948319565792460/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^30 - 2728494979334014628737540795431066058650521103409867799932411922457\ 54922335861159/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^29 + 8799168229685172214637100929499970\ 87528134093776558746545105378040133847331930152/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^28 + 7562633703110259306116695976966662856211403861663429298614130981141\ 33858827965235/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^27 - 1866928839607240103171031084189013\ 695738594823330797867658096552113350060557609888/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^26 - 1553078889714138049949089714773621866423800642992218774424914729728\ 916545892674603/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^25 + 303638010334177755952520282481277\ 8882317972184726670840218961289318520656682972166/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^24 + 2436084846396151119361535826815490003473155802291918696597080983400\ 042905239419832/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^23 - 385750496058079240416915584102371\ 8149099319778235169380420741795753347074506701792/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^22 - 3017574800350127287487628774364691422180191309812080316495930254524\ 988807974281542/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^21 + 387390976076994507519631226066418\ 4553810228683902258476171449999989237305541396664/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^20 + 3055223453262263449855617154387422021622449340730282117990632035742\ 983548209457519/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^19 - 309416320827478193184967317226039\ 3154625580352843947168771605878823373758577899398/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^18 - 2595494058850775909640842951973398895718173315050875652115953045350\ 075074058756890/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^17 + 196542348607520469021904305444329\ 2263547809613672281148380727513682854234853256033/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^16 + 1862118539610463541311247882495427324921177319327251317877735562452\ 383317265438210/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^15 - 981934385898314905596736247250810\ 949216554087430336537899742597564633932124704758/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^14 - 1111134332427577608693877001805420781780742656770010764988596715732\ 875588499555782/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^13 + 373618019365251107486837696241443\ 198515392426162128799864352609026068508915487663/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^12 + 5354832750636700500346736215236358846861812113390591359250120906481\ 29402236238258/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^11 - 1004253954426011384666896269823947\ 18659373893852510812544782775317233553310926437/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^10 - 2004374950993754142459819873853880056433658432348983331544364719681\ 81050147289376/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^9 + 15049962639992883536352279841550001\ 762711008868768568438644594007737347484391625/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^8 + 5531783123952868415583588823202301104736104900109938925081456816922\ 6432371601808/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^7 + 829142017505751913833076470584841285\ 193582426400379787014381001676327275931582/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^6 - 1054680356391336389061226550699440213832110481754068990117252801224\ 8915036571100/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^5 - 101201614667317435414588788553924314\ 8474193329948762327752127295186866323341848/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^4 + 1274234951764259778993450846957172813563803433005101449775542901704\ 962333224242/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^3 + 1942676909690669348188219906314404046\ 64556293362526011637157529903634716313016/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^2 - 6936416879858798785764484573000934894610603612303691270263136105562\ 9959425786/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2 - 14877804917546310181304552820835345479650\ 200257641317322054565828246865370502/931538545703922898539307514902\ 9581385606693786790622917439044369179211, c_0101_4 - 249099058374597427802375374337880840857647453263232608673774\ 42689594137032720/9315385457039228985393075149029581385606693786790\ 622917439044369179211*c_1001_2^38 - 2612438123817850002285284494256276964726026373880280954105447808619\ 7975603136/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2^37 + 50559229235798722180926945734151041022\ 1132884942921107584652621214168761458525/93153854570392289853930751\ 49029581385606693786790622917439044369179211*c_1001_2^36 + 4960308095509996583875641596620163511271454093404339184496290683702\ 97721198222/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^35 - 4910909738156051125795177630998100086\ 964827342041595820440386579291867925958825/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^34 - 4944338349262870923195892466233036271265323830634533172269869294312\ 121144881420/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^33 + 281313425422004593783134231820407151\ 49076643312332773073980823794592704176721211/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^32 + 2832084094895617047158957033362433814234297851052843248814213313553\ 8475772349533/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^31 - 10949122404180608282121480999998422\ 1769052174379237929689919894278602923868504633/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^30 - 1088031886804482379432414237046626573324915423566971409035603420010\ 17376874711470/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^29 + 3070500455558976387292829726830147\ 23272112328700997464407712472911460497300997608/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^28 + 2990526357367315068295865819780302784844881588816230180180875471283\ 07515335493087/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^27 - 6424250479366650612899319290058342\ 72738228588702058342029908538440385231595779095/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^26 - 6085621895691909144096881673985375739862376001605486311598078166214\ 76327249227631/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^25 + 1029950620465179990035863584733420\ 005481528738237617411415006330997405016730371436/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^24 + 9451834942582901777021066494162602504660898146606812281192701358739\ 65570606788989/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^23 - 1289485177179517641826366398944998\ 778329117269131271780321560067012229056482406765/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^22 - 1157642885847525139767744540537989119561737779594847717102471797493\ 230576850476159/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^21 + 127446552958863748432340854285438\ 7640156031617116332656359707409056981716093556598/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^20 + 1155835908111996268988520478328239418545963662647900500679079537238\ 582815397605905/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^19 - 998041362064307625422645091637700\ 202110423569276847023119545950738251067397607934/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^18 - 9649315224630609549518340797063752795556660396441197954884741740527\ 48143133306123/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^17 + 6168375591594846939797311318047106\ 57778798494841487137870344649920711511143387440/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^16 + 6782498305448220541462763721120492918663202011379929378713952796379\ 58807905100596/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^15 - 2957709992100198595710638748995381\ 11690225200890718973062109839914002578034896018/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^14 - 3958118000945234299935719121606804261124220470441794041779693942694\ 32422570816959/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^13 + 1052137142602222627875961124475931\ 28040618187199439111107494680627455380662568241/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^12 + 1864176843139554073531826487795167457726744163194228841540477269324\ 09974838818753/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^11 - 2474415489142314508541573390682490\ 1205201859229829254405652912116466735273645535/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^10 - 6816690775556322243231337188998126322679148141882337744417555234779\ 4186560072287/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^9 + 221229459666753121038641171354676048\ 0426661600286729151159404774296328552157550/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^8 + 1836203495103658320444986968006084987267006823703041736924936699834\ 1658227421920/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^7 + 874007089623817112229386430062315214\ 190798369688911281270250618511709632805640/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^6 - 3409784949214559622036093293878119070466373200790183514449116695652\ 737325974567/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^5 - 4102955729190879622841595052624955650\ 23059383262293982183053525365220373009463/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^4 + 4009887737477638702781526227662099352771464838582923809664781964967\ 30902082971/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^3 + 67549620995635876819464865788281142369\ 158498606565650380847011568308587990076/931538545703922898539307514\ 9029581385606693786790622917439044369179211*c_1001_2^2 - 2116048961161117137744547567982534989657469053087182748816210062645\ 0479036643/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2 - 47418249062096623622928864998214537677944\ 22398314226434514634083976584505741/9315385457039228985393075149029\ 581385606693786790622917439044369179211, c_0101_7 + 998729745080904194185666038664245986954577091578820506509918\ 223162574821133/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^38 + 214619709327380030027555854951307\ 6921112537160189218764328802749046206046585/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^37 - 1841487183766914908583959226339578330818268894776088231451644182612\ 1770733443/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2^36 - 41008984202466020094746202449261367531\ 871554607383127516353295338981430099544/931538545703922898539307514\ 9029581385606693786790622917439044369179211*c_1001_2^35 + 1614678897915338372007698302090219817086030029598276624641070304399\ 87840977459/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^34 + 3923152314330337674245577735103221398\ 45675866459203694363551087161896734271236/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^33 - 7851215011504535022384986556439866793011257857709966027658654693154\ 14496994341/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^32 - 2158073724741387697211451646185180358\ 807196200146526226058454500861385155751729/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^31 + 2482371871666244187991892724418882863417344318753836005566438579337\ 945436256996/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^30 + 797585160735497398565326212258357681\ 7931226760163230885756313518881978140079310/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^29 - 5179608462263956409999083977745029822646883757487417549807086018503\ 531016572737/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^28 - 209827419136334967228350191957382256\ 81855992448378572730649745224419965105531721/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^27 + 6745414685200430119697601133170477481420533800982163333394331286864\ 558408695254/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^26 + 405881769961580973933711785239938471\ 80899136966419916052146834002189252433873167/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^25 - 3932027524537438551136488613125023568667746592896213058468726017259\ 964959959975/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^24 - 594203411489532754006190175568475548\ 28170922732758020583002564785257407345167728/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^23 - 4047229243001639644474507579756521428362425946237922447063038213330\ 792992650685/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^22 + 675733655208729189774802893257938814\ 77601396511647309958024786231948749128075255/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^21 + 1387967343176225185384486058979325853166945916797942817582204875215\ 3525404303358/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^20 - 60864051939418841713599678893113234\ 178042735997879653846074435654146388219170344/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^19 - 2064470894049712623661547333869414163675061687726087672211544580177\ 3181588839267/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^18 + 43726854623753676224182059898360894\ 045663042018463706893402476415712109314362867/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^17 + 2136310693295180711538619004119471123647902043111595461535384469606\ 2716439370025/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^16 - 24725877812091331309352841945046530\ 956276820242996062666775392650234507930015282/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^15 - 1667076337193337364591489382579588275194567569471668335961351728443\ 6678695441655/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^14 + 10509631840559152579328924328064762\ 474875192729031156458851374063308385033831189/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^13 + 9899067138005787028713048692268493437646287226442313482697820194285\ 427718282421/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^12 - 298395269998148500028023119156256958\ 4252818456178068355493459086961080469480114/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^11 - 4383583039830172188506289793944934452129226896397646657695923479138\ 248686798154/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^10 + 336957993246630823285219346296299161\ 196571531370082231168013232754848694752135/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^9 + 1386849252809695767330699343408615163048670304708474409459680148604\ 452118701854/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^8 + 1271951615121986272487821739690168693\ 31974636711237526088213751242702173834517/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^7 - 2903008707136706874518693300444944340045777608312978087861375031377\ 33743229942/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^6 - 69077786299306236810942798031981323636\ 255349984483993020565010925402979503894/931538545703922898539307514\ 9029581385606693786790622917439044369179211*c_1001_2^5 + 3406610816557481969427275172612444142311059594696051416994561931879\ 1002547710/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2^4 + 137911589352008125157127480543875538220\ 57410427301050676921495151454475818367/9315385457039228985393075149\ 029581385606693786790622917439044369179211*c_1001_2^3 - 1047008238389738288590184374142453792326188684969866743530502136686\ 527405295/931538545703922898539307514902958138560669378679062291743\ 9044369179211*c_1001_2^2 - 1083177769035654026679917195885015346649\ 548451568087924287314407461965892050/931538545703922898539307514902\ 9581385606693786790622917439044369179211*c_1001_2 - 1325889548798540905647561723387540054304862122003207841061692674326\ 78468579/9315385457039228985393075149029581385606693786790622917439\ 044369179211, c_0110_12 - 13192769580799123933221915392328501860257644861666982563359\ 7574891855683985923/93153854570392289853930751490295813856066937867\ 90622917439044369179211*c_1001_2^38 - 1227950125959155947249012230161411658767094183643327344060300743116\ 83172333954/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2^37 + 2704383442890251012327361413482399578\ 141868280472437118821954296942055013330806/931538545703922898539307\ 5149029581385606693786790622917439044369179211*c_1001_2^36 + 2328848170762176875015140994604198209328062218555941036527761446860\ 479206766090/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^35 - 265173680575133497074998278768759530\ 69321087446338789213694888406313839279564675/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^34 - 2345478565462299461204291722330814657786998054531647549845579988290\ 9651746013542/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^33 + 15389539733080487755906814021705376\ 3530576943760563448208744347763114753555650544/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^32 + 1356706895795575632023737288734100756515105715603063862689853399792\ 24879317817983/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^31 - 6071158793937986557889381406014994\ 39120071065784262763741820993806403442154250716/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^30 - 5259023518699572723904886804243481924941798436126113528200611995367\ 35049686371444/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^29 + 1727713189977157976259506923703360\ 599848168708618149321532542757854787482369726317/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^28 + 1459390435372549529968901177840820387110093260099598407024321523848\ 706732881561407/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^27 - 367223919234673558127855764257569\ 1903963469132411640575664260155236839518070664153/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^26 - 3000883822526053885513066008651181032477707675187912283535925448592\ 545366806281324/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^25 + 598337097435681928037714832867430\ 9229445817440241659839663222086306364191228146031/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^24 + 4713547013930732559300589411574339422347895482712457905818540401396\ 322458869082681/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^23 - 761536347346754254732704621422617\ 3497314151950550155158307147290521711469777482261/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^22 - 5847895130722676202707423670542050495832962264592872839461753123774\ 100246307130378/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^21 + 766287584909897790088405362141932\ 4646618937937778374686067312112418021452927918987/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^20 + 5932431035688793357916256577707110472591226975890512330233478047849\ 362966566298710/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^19 - 613523837674331709017609532600105\ 3897593455432612686887007388181668548178140329377/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^18 - 5052012425314693716605644689725768173943577830760978481313026332709\ 880048842897285/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^17 + 390988559602108324883675571509002\ 9830974546924522454498715117930841384170702668958/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^16 + 3634752996558926419132551573578859478164227928154265508322142394170\ 492728690981384/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^15 - 196269333590868831225844366019755\ 8213643668706705511413836946576461206749219206475/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^14 - 2175410874137405886303180086243394751427243476647285568587989409434\ 651447177196127/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^13 + 752316092731720748239170890437015\ 742839565095140816643084577999954145464510407158/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^12 + 1051595626113786561218829162105296501814915159422978334104380630804\ 925980464152180/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^11 - 204902952117244964157383611876095\ 817264466457498653063835986083999458516396924167/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^10 - 3948317795618471978287784711691121522906467530249651696434711612694\ 21802029890690/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^9 + 31848758237764309174105252603964445\ 278852972674095242135551024483039474780960724/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^8 + 1093106739807760382465737584768007019302498562820791745652884668294\ 64560369927145/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^7 + 11806917950804427987253726451357553\ 50352615592214440687710674204598955607456038/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^6 - 2091140075919386604471305611524531444647735891826958810444109791576\ 6114413491361/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^5 - 194248548970382011545315593328364890\ 8534036735302709308216696760863200854422273/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^4 + 2535127117153484553702135287819045177684950782990552411177817711424\ 314074754307/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^3 + 3815154700312334105464394997518867723\ 66917745726309690964140876705417999475687/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^2 - 1385394211468980656151546093425830840020312023765263399525267596794\ 26925890548/9315385457039228985393075149029581385606693786790622917\ 439044369179211*c_1001_2 - 2955702984510193622124854951147493819939\ 5579245540583328150681058682880076227/93153854570392289853930751490\ 29581385606693786790622917439044369179211, c_1001_0 + 906719626701833980655772761677489527886567274003835764867107\ 33138373657428836/9315385457039228985393075149029581385606693786790\ 622917439044369179211*c_1001_2^38 + 8571668376963598287759158896063867059061312162599301870983444287371\ 7133211227/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2^37 - 18565147551201487474911253782711058830\ 74339928545532231700846919271232794854603/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^36 - 1626130620412079391256419381717022823810606704345570929205832438691\ 171866375552/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^35 + 181835348301725886113243400388661893\ 88817424627310182679669744010800863820438012/9315385457039228985393\ 075149029581385606693786790622917439044369179211*c_1001_2^34 + 1635626905885313940522581396539252099488067901315497183826359368699\ 9324412510185/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^33 - 10536750519815484401227190655330373\ 0629711781774545310559162754803538066839799180/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^32 - 9449984689812584810887776081599277218396620443749029021852155099233\ 3693195414662/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^31 + 41501204677245625293841920389722764\ 3669672435965996810613420369746025215628132296/93153854570392289853\ 93075149029581385606693786790622917439044369179211*c_1001_2^30 + 3659271423856969202149836035998286764357057982210439440036900417013\ 19166022582626/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^29 - 1178984329645188465728276588239834\ 132940537554661165105713384936245019298382302558/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^28 - 1014319687865046865763774234999909787589244806766112508757839612005\ 120670992921837/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^27 + 250124213956436209499128957547938\ 9426146363914018658210401417015970754122107431320/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^26 + 2083162042762688818707943097407715402294700469356111329667057449173\ 403168651573171/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^25 - 406754930672800524218354914271469\ 5557815438544343561577082654154242302902782446774/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^24 - 3267697678969603629034065500498522239241957358896231450702904298424\ 311145298973833/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^23 + 516676703098195516409026009957426\ 5914654780370044221945214404810849440522495807893/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^22 + 4047733474434013928033505486295187926461397532846730655839398485599\ 901733823086398/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^21 - 518777648779753503137314622547596\ 2618231125356749954633914836478236879242110486011/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^20 - 4098040375138645186162261233683348395392596800562588550839980266550\ 524195488425846/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^19 + 414254175855428593946038599654387\ 4694007842069737211689393437689511090281427725863/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^18 + 3480975680288527088056079126835118328267298002750027685602855607644\ 239192391433046/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^17 - 263039582792702324040696282462293\ 9181047082126213457438808252491366193874440402849/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^16 - 2496922544382187893723554136607241946841531805556990535790686793480\ 038750505985311/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^15 + 131339634596929916355752839260383\ 2207728257916673191062483233411969912772608066602/93153854570392289\ 85393075149029581385606693786790622917439044369179211*c_1001_2^14 + 1489550444997353649143689837294173056624908009023380635567831983187\ 628276257930821/931538545703922898539307514902958138560669378679062\ 2917439044369179211*c_1001_2^13 - 499242200613840154122572947137857\ 218781490821472709465205609806808986678977299242/931538545703922898\ 5393075149029581385606693786790622917439044369179211*c_1001_2^12 - 7176317567054261314479075985848834862672178514083329170813525138658\ 42845807997586/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^11 + 1339322455340194941367604168814694\ 71778671341165518321500858224211743917247738907/9315385457039228985\ 393075149029581385606693786790622917439044369179211*c_1001_2^10 + 2685188732547328043294695525320130089119745007132227565384954399977\ 76307243745136/9315385457039228985393075149029581385606693786790622\ 917439044369179211*c_1001_2^9 - 19955719020875559782171686213103656\ 633199213294127861587504747623853425818469117/931538545703922898539\ 3075149029581385606693786790622917439044369179211*c_1001_2^8 - 7407378318932549059670325563640010557509949265662445201096474395245\ 3201028910744/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^7 - 115741491044246528069637509517460953\ 9899173998704248558111516442791363035821498/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^6 + 1411463161917693898311568991255955371658723697079007597342733535430\ 3469791675161/93153854570392289853930751490295813856066937867906229\ 17439044369179211*c_1001_2^5 + 136154298231226437100265683437363600\ 6880680282741063057651223206500686836390696/93153854570392289853930\ 75149029581385606693786790622917439044369179211*c_1001_2^4 - 1704083226122245544703105637395526491222481468424133824946003569828\ 781086952226/931538545703922898539307514902958138560669378679062291\ 7439044369179211*c_1001_2^3 - 2604047345427854015592631421227452959\ 70993756838443167321861754596535762803140/9315385457039228985393075\ 149029581385606693786790622917439044369179211*c_1001_2^2 + 9267792957285551382776606854367947901581484013683435554429324071753\ 1705161287/93153854570392289853930751490295813856066937867906229174\ 39044369179211*c_1001_2 + 19897644482219193613673242641893300045873\ 436244965663963169327632388157811976/931538545703922898539307514902\ 9581385606693786790622917439044369179211, c_1001_2^39 + 28/121*c_1001_2^38 - 2559/121*c_1001_2^37 - 401/121*c_1001_2^36 + 25812/121*c_1001_2^35 + 4498/121*c_1001_2^34 - 156168/121*c_1001_2^33 - 25673/121*c_1001_2^32 + 643722/121*c_1001_2^31 + 92662/121*c_1001_2^30 - 1921482/121*c_1001_2^29 - 229349/121*c_1001_2^28 + 391186/11*c_1001_2^27 + 394316/121*c_1001_2^26 - 7410638/121*c_1001_2^25 - 480292/121*c_1001_2^24 + 10005394/121*c_1001_2^23 + 471498/121*c_1001_2^22 - 10776679/121*c_1001_2^21 - 4276*c_1001_2^20 + 9430661/121*c_1001_2^19 + 690380/121*c_1001_2^18 - 6826086/121*c_1001_2^17 - 819839/121*c_1001_2^16 + 375637/11*c_1001_2^15 + 66604/11*c_1001_2^14 - 2086130/121*c_1001_2^13 - 480141/121*c_1001_2^12 + 863058/121*c_1001_2^11 + 230019/121*c_1001_2^10 - 282782/121*c_1001_2^9 - 79643/121*c_1001_2^8 + 69144/121*c_1001_2^7 + 19905/121*c_1001_2^6 - 11658/121*c_1001_2^5 - 3569/121*c_1001_2^4 + 1280/121*c_1001_2^3 + 372/121*c_1001_2^2 - 62/121*c_1001_2 - 19/121 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 10.630 Total time: 10.839 seconds, Total memory usage: 81.31MB