Magma V2.19-8 Tue Aug 20 2013 23:48:21 on localhost [Seed = 3566386784] Type ? for help. Type -D to quit. Loading file "K11a210__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a210 geometric_solution 11.52243144 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702908551653 1.592096002905 0 4 0 3 0132 0132 3012 3120 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 1 0 -1 1 0 -1 0 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.767928908631 0.525643707263 5 3 6 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.263645943718 0.338778871596 1 2 0 5 3120 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.065020356979 1.066452295642 7 1 5 6 0132 0132 3012 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 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 0 0 0 0.356433523278 0.518509212170 2 4 3 8 0132 1230 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.439285738468 0.846589466772 7 4 8 2 1023 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 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.078107535706 0.835572110360 4 6 10 9 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645968425465 0.714172987065 11 9 5 6 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645968425465 0.714172987065 8 11 7 10 1023 1302 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 0 0 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.498875744897 0.646314659685 9 12 11 7 3120 0132 0213 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 1 0 -1 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.200761837307 0.605497525283 8 10 12 9 0132 0213 3201 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.200761837307 0.605497525283 11 10 12 12 2310 0132 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.034186306880 2.006074410503 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_0011_2'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_2'], 'c_1001_8' : d['c_0101_4'], 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0101_11'], '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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : d['c_1100_0'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0101_7'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_12'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : negation(d['c_0101_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_4'], '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_0101_7'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_2'], 's_2_9' : d['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_2, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_4, c_0101_7, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 6816444769463672192816604525273235915794026752610629260507139020317\ 466502126/373453207096756790395241325760104880049199909725518261162\ 49532652523794857875*c_1001_2^35 - 4758870732882896771278921918572814033571680189017010645675665481357\ 7120839/28727169776673599261172409673854221542246146901962943166345\ 79434809522681375*c_1001_2^34 - 57186912139997556232523504661012320\ 42437387922136375510907661974509248197334/5335045815667954148503447\ 510858641143559998710364546588035647521789113551125*c_1001_2^33 + 1402273549095099489156371870067396081930856864603839180135412179017\ 518707221/746906414193513580790482651520209760098399819451036522324\ 9906530504758971575*c_1001_2^32 + 307671607200950752818286688255258\ 453961852643230692875319648638507569668805929/746906414193513580790\ 48265152020976009839981945103652232499065305047589715750*c_1001_2^3\ 1 + 221822685549244628278291534965674164958993375154756506395100526\ 431034975575967/746906414193513580790482651520209760098399819451036\ 52232499065305047589715750*c_1001_2^30 + 5061650079676119630016749531019944080136212873519300499749144981926\ 2615899397/10670091631335908297006895021717282287119997420729093176\ 07129504357822710225*c_1001_2^29 + 1253433818188387541998530942910478695066632909899523533905135218506\ 77665588223/1067009163133590829700689502171728228711999742072909317\ 6071295043578227102250*c_1001_2^28 + 3334428410674383830589822774505376286971562966542692905402079719582\ 9028648909/41038813966676570373103442391220316488923067002804204523\ 3511347829931811625*c_1001_2^27 + 402860796517688816859379403368891\ 394610786771013745616765882583789212497332823/746906414193513580790\ 48265152020976009839981945103652232499065305047589715750*c_1001_2^2\ 6 - 324448878787623505098028247887497083319063990706301574184272899\ 6538560218908172/74690641419351358079048265152020976009839981945103\ 65223249906530504758971575*c_1001_2^25 - 2520344217339119434083476843327131922240849311423093277118053689390\ 3686720843/28838085490097049451369986545181844019243236272240792367\ 7602568745357489250*c_1001_2^24 - 858728239369484034574157598622858\ 27324778391886464063142176653506942416042584227/3734532070967567903\ 9524132576010488004919990972551826116249532652523794857875*c_1001_2\ ^23 - 2270466547957103742020045726138419484533758432799240766925281\ 9390344809771086339/74690641419351358079048265152020976009839981945\ 103652232499065305047589715750*c_1001_2^22 - 1504414541780195835702990229325474555594249623853897897801386504524\ 86909510460726/3734532070967567903952413257601048800491999097255182\ 6116249532652523794857875*c_1001_2^21 - 7465236929507017221700551442019986851361364543341479465986873014240\ 911955094827/746906414193513580790482651520209760098399819451036522\ 3249906530504758971575*c_1001_2^20 - 2889095562208009803294007293725695500655720962032320023520102505248\ 939848589807/149381282838702716158096530304041952019679963890207304\ 4649981306100951794315*c_1001_2^19 - 3012632461814335474606895578949334742257948107204989123826926802206\ 4136610122547/53350458156679541485034475108586411435599987103645465\ 88035647521789113551125*c_1001_2^18 - 1035661372422500426601420630553866879602477805163933114655457983239\ 80491426741097/3734532070967567903952413257601048800491999097255182\ 6116249532652523794857875*c_1001_2^17 - 9282277001206264691328508948142105818247313288119599095766705300337\ 58042580922542/3734532070967567903952413257601048800491999097255182\ 6116249532652523794857875*c_1001_2^16 - 6460109680011852530648697304931161875466855042040214499370773696255\ 5829351496483/20186659843067934615958990581627290813470265390568554\ 65743217981217502424750*c_1001_2^15 - 2588370104917040100470403030795856577437864967145549852680862004993\ 515546078096914/373453207096756790395241325760104880049199909725518\ 26116249532652523794857875*c_1001_2^14 - 9997760928503569477798719593815054261683774740892418851905153179353\ 3129022683083/10093329921533967307979495290813645406735132695284277\ 32871608990608751212375*c_1001_2^13 - 4688787503785637840386958760790193788797944472547277793718736378132\ 020628791197988/373453207096756790395241325760104880049199909725518\ 26116249532652523794857875*c_1001_2^12 - 3162584705823517977089942767519456198978830540730077656499246217590\ 77168836451901/2018665984306793461595899058162729081347026539056855\ 465743217981217502424750*c_1001_2^11 - 1124078458056713356821662602260351035918224263729890696187469510923\ 3966837073532303/74690641419351358079048265152020976009839981945103\ 652232499065305047589715750*c_1001_2^10 - 1104390589560495092365674531987352990312222012411784366131416291757\ 3508000670071379/74690641419351358079048265152020976009839981945103\ 652232499065305047589715750*c_1001_2^9 - 6328723090398746491163776373730904605533534502647986174234223494578\ 11962553606211/5335045815667954148503447510858641143559998710364546\ 588035647521789113551125*c_1001_2^8 - 3225341349347889529258601626116813192051293277236817436573904021248\ 946905446171516/373453207096756790395241325760104880049199909725518\ 26116249532652523794857875*c_1001_2^7 - 2232977367889513422854299599571414861180734878679287154118728551965\ 451800354594668/373453207096756790395241325760104880049199909725518\ 26116249532652523794857875*c_1001_2^6 - 2288713121611199606573312299928813941540908198095041188613345435051\ 668723229186159/746906414193513580790482651520209760098399819451036\ 52232499065305047589715750*c_1001_2^5 - 2742525298203642526841299086221231186585374637950195218233429044910\ 78674095694809/1493812828387027161580965303040419520196799638902073\ 0446499813061009517943150*c_1001_2^4 - 2814922770265711525439717373963452890349202037078496970462148165077\ 87529742287/4596347164267775881787585547816675446759383504314070906\ 6153270956952362902*c_1001_2^3 - 2395891938364590401890695936148939\ 1764405460861239802122878216120758782793784372/74690641419351358079\ 04826515202097600983998194510365223249906530504758971575*c_1001_2^2 - 16382138377514820375985714125631237574087611360957532166151151187\ 76140661296139/2987625656774054323161930606080839040393599277804146\ 089299962612201903588630*c_1001_2 - 2118079583683457262863264949231969614755221514818268274994962616902\ 3624144871479/74690641419351358079048265152020976009839981945103652\ 232499065305047589715750, c_0011_0 - 1, c_0011_10 + 95737434005917953783925436583419261468928647993515583530562\ 59528/2359766959187031634749121384249190915590485684165775172331929\ 54765*c_1001_2^35 - 20348434051961881695963220655890646668015406264\ 871680832264952569/235976695918703163474912138424919091559048568416\ 577517233192954765*c_1001_2^34 + 7143559150797444206988051310011795\ 5010745630474309393394257791469/23597669591870316347491213842491909\ 1559048568416577517233192954765*c_1001_2^33 - 59790141583887628179746571204104777519767574803109102775966765083/9\ 4390678367481265389964855369967636623619427366631006893277181906*c_\ 1001_2^32 - 1300850590178713460710115286405344606776032201141609201\ 86236527897/4719533918374063269498242768498381831180971368331550344\ 66385909530*c_1001_2^31 + 34492861839910279736352227846480227496827\ 4301638243741352060731749/47195339183740632694982427684983818311809\ 7136833155034466385909530*c_1001_2^30 - 924061803723207586345720856868992579217348190849346660825114356911/\ 94390678367481265389964855369967636623619427366631006893277181906*c\ _1001_2^29 + 941359247620528992449205409998961594178739841349874147\ 1390772760767/47195339183740632694982427684983818311809713683315503\ 4466385909530*c_1001_2^28 - 149669979723645945130806818385779820809\ 05727908027902573039888961839/4719533918374063269498242768498381831\ 18097136833155034466385909530*c_1001_2^27 + 1244621312244494263785819721712887910278184134606177309885251373997\ 8/23597669591870316347491213842491909155904856841657751723319295476\ 5*c_1001_2^26 + 378304546436350600257668491341015672559638078483057\ 0609456409598499/94390678367481265389964855369967636623619427366631\ 006893277181906*c_1001_2^25 - 3131638628211995094981829513274449497\ 2871436794832261484852742454917/23597669591870316347491213842491909\ 1559048568416577517233192954765*c_1001_2^24 + 2654236322737699530079636851507267059608769022360962842173395640013\ 27/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^23 - 51905570896847672108875653564100720614470215375565\ 0934258301934100123/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^22 + 859355249541796925865238584712276\ 929272414166645689427290033574041821/471953391837406326949824276849\ 838183118097136833155034466385909530*c_1001_2^21 - 1287362504052304244119722294196554286632931268666338493678778347367\ 59/4719533918374063269498242768498381831180971368331550344663859095\ 3*c_1001_2^20 + 291661630708327542136144215604906460596939665992264\ 984901993279778487/943906783674812653899648553699676366236194273666\ 31006893277181906*c_1001_2^19 - 13063297324845184350461962359596868\ 51801371799808574443076304731874151/4719533918374063269498242768498\ 38183118097136833155034466385909530*c_1001_2^18 + 6412630860518386881740025996361257880328958387830595697844302863154\ 01/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^17 + 37392540150897159691290225881584406140508053646370\ 2576902330984839457/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^16 + 142278391614015074579258927781082\ 459093284502099730216328106180321763/471953391837406326949824276849\ 838183118097136833155034466385909530*c_1001_2^15 + 2092305382115579898291751109478989490628833317972102984066672637405\ 789/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^14 - 1126582436658197963521839251061177148851798324693\ 671156272607891863829/471953391837406326949824276849838183118097136\ 833155034466385909530*c_1001_2^13 + 9870684912468578346627696560405530855854908990713792677806531956994\ 93/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^12 - 17999841510204552138684156707767320693116214848147\ 19575689667492709969/4719533918374063269498242768498381831180971368\ 33155034466385909530*c_1001_2^11 - 2058467628309510275619297786086844226461654761630281108403361935280\ 031/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^10 - 9097296778348994218883014484942652945933234189522\ 93901867713403267364/2359766959187031634749121384249190915590485684\ 16577517233192954765*c_1001_2^9 - 167547687363971877681265370615103\ 9146898707500786793282644285486452609/23597669591870316347491213842\ 4919091559048568416577517233192954765*c_1001_2^8 - 6400981225197276258254286047503451913284624101065189233961986266006\ 92/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^7 - 220464049505518482604760507536154148695232182240581\ 8630539360802334777/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^6 - 2751818185988404476736885173464238\ 54701712871710492103229747146574944/2359766959187031634749121384249\ 19091559048568416577517233192954765*c_1001_2^5 - 1549910976181141695669901854949238947812074050843044556954660918897\ 21/9439067836748126538996485536996763662361942736663100689327718190\ 6*c_1001_2^4 - 2417383634134207020521462094022777666442651899121257\ 3907702944621961/94390678367481265389964855369967636623619427366631\ 006893277181906*c_1001_2^3 - 14962620134543598341723944581644432548\ 016074454435419789559081427595/471953391837406326949824276849838183\ 11809713683315503446638590953*c_1001_2^2 - 1903630106426611245538189073032532442636630115854747583128114526775\ /94390678367481265389964855369967636623619427366631006893277181906*\ c_1001_2 - 13145626473684192320161135904262635497491960333696056437\ 484219471493/471953391837406326949824276849838183118097136833155034\ 466385909530, c_0011_11 - 59453537184232172636005899990769563788968197249262605668528\ 77491/4719533918374063269498242768498381831180971368331550344663859\ 09530*c_1001_2^35 - 21182582463921346013177329839856665035834844209\ 98557594810706757/4719533918374063269498242768498381831180971368331\ 55034466385909530*c_1001_2^34 - 13657027438414620505025680046009324\ 407486928196040386156186981449/235976695918703163474912138424919091\ 559048568416577517233192954765*c_1001_2^33 - 460256400567760834179118333217347127730032469887855696523759367/471\ 95339183740632694982427684983818311809713683315503446638590953*c_10\ 01_2^32 + 891672635771283334283113919005922687676506942801934418751\ 73651346/2359766959187031634749121384249190915590485684165775172331\ 92954765*c_1001_2^31 + 10457677959936967917399011500148181758242127\ 6683109751139591038841/47195339183740632694982427684983818311809713\ 6833155034466385909530*c_1001_2^30 + 139536808942649612743492041256835165874506224377848024107468471453/\ 47195339183740632694982427684983818311809713683315503446638590953*c\ _1001_2^29 + 678507807050965562008557821870222889840439300709596935\ 432164398243/471953391837406326949824276849838183118097136833155034\ 466385909530*c_1001_2^28 + 9143375345595060269247606633391068917520\ 38696241715630103333480519/4719533918374063269498242768498381831180\ 97136833155034466385909530*c_1001_2^27 + 1104600460096528152281283689898337170839537528320202707703899048479\ /471953391837406326949824276849838183118097136833155034466385909530\ *c_1001_2^26 - 3380871528943084336265062366700468624032367898299684\ 863409816398043/943906783674812653899648553699676366236194273666310\ 06893277181906*c_1001_2^25 - 21046571825726577752517334802620654024\ 59643540371748428517432311578/2359766959187031634749121384249190915\ 59048568416577517233192954765*c_1001_2^24 - 2937379645740215576336011203280257021760917517584680375504557801122\ 1/23597669591870316347491213842491909155904856841657751723319295476\ 5*c_1001_2^23 - 283462086930697698924195053610534108923260472262980\ 21009069988512577/4719533918374063269498242768498381831180971368331\ 55034466385909530*c_1001_2^22 - 24283845466396326005009964420035124\ 087209883311823716232097013017783/235976695918703163474912138424919\ 091559048568416577517233192954765*c_1001_2^21 - 1904365397784711277226179074467577822971018118674514548515292207725\ 3/94390678367481265389964855369967636623619427366631006893277181906\ *c_1001_2^20 + 8731293707475383741901058809992533522104092324556719\ 089068819857892/471953391837406326949824276849838183118097136833155\ 03446638590953*c_1001_2^19 - 14280097717875382086730512697534198843\ 8041319777337230375283974079627/23597669591870316347491213842491909\ 1559048568416577517233192954765*c_1001_2^18 + 3934274244344590748340421039575951759302177198042418562601743581634\ /235976695918703163474912138424919091559048568416577517233192954765\ *c_1001_2^17 - 4034038723804489441033512172894329688299356884707859\ 08875797225988626/2359766959187031634749121384249190915590485684165\ 77517233192954765*c_1001_2^16 - 49456316639094676085340292268677406\ 1810504512181503103824314623331919/23597669591870316347491213842491\ 9091559048568416577517233192954765*c_1001_2^15 - 9036992541183260605415088774426547258036046939396878068375978510387\ 77/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^14 - 27151550425420942028121841915022950764683886395232\ 69021613523487877811/4719533918374063269498242768498381831180971368\ 33155034466385909530*c_1001_2^13 - 2864086134514094484403285422560503501809583042264853171838325208135\ 353/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^12 - 3607691327911891528825172819748566910525140536785\ 207535668435016995381/471953391837406326949824276849838183118097136\ 833155034466385909530*c_1001_2^11 - 3062890945176320812587125121587126103328509282738564896433558098190\ 859/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^10 - 2778162226063492764185121442133695752141206799849\ 651841711400469530467/471953391837406326949824276849838183118097136\ 833155034466385909530*c_1001_2^9 - 2153169702854535069710463288517741688788356553541805088606329291244\ 477/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^8 - 12908829147192723494040366476325014687722636142268\ 59793980191750173521/4719533918374063269498242768498381831180971368\ 33155034466385909530*c_1001_2^7 - 488872206260675493159316772121775\ 782847587771167092308237045472556774/235976695918703163474912138424\ 919091559048568416577517233192954765*c_1001_2^6 - 1811917344093935340021520278917702543082744504076206484408140014731\ 61/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^5 - 574045774481874772641079572422905863850321932675946\ 95372054357490199/9439067836748126538996485536996763662361942736663\ 1006893277181906*c_1001_2^4 - 1160212854938174198127128846384610075\ 0039548654984981130162895962053/94390678367481265389964855369967636\ 623619427366631006893277181906*c_1001_2^3 - 1071027346663905061754323162138231448122273900933128199747352920850\ 9/94390678367481265389964855369967636623619427366631006893277181906\ *c_1001_2^2 - 34276866236347177832703776825146015214224503746103674\ 1153794343560/47195339183740632694982427684983818311809713683315503\ 446638590953*c_1001_2 - 2544178200930396766774815172323113255995677\ 035545114070095035846306/235976695918703163474912138424919091559048\ 568416577517233192954765, c_0011_2 + 135671061155846500530619224520461933669019704570031668887070\ 04071/4719533918374063269498242768498381831180971368331550344663859\ 09530*c_1001_2^35 - 44235283532219770281362248476459790825012588356\ 03559489449195423/4719533918374063269498242768498381831180971368331\ 55034466385909530*c_1001_2^34 + 80084442160435729007211619033080966\ 976233857202333744643865423833/471953391837406326949824276849838183\ 118097136833155034466385909530*c_1001_2^33 - 11788886298191059824139773195933185163272999794160510012015790789/9\ 4390678367481265389964855369967636623619427366631006893277181906*c_\ 1001_2^32 - 1382757652866816665621815403670289617428776484666309611\ 03788042951/2359766959187031634749121384249190915590485684165775172\ 33192954765*c_1001_2^31 - 16935637094730073575246706314160721838375\ 6004807796907428270147881/47195339183740632694982427684983818311809\ 7136833155034466385909530*c_1001_2^30 - 665143817746453766425786876938727644214127458949552609184323289789/\ 94390678367481265389964855369967636623619427366631006893277181906*c\ _1001_2^29 + 378824020875542283131160149156418865059879039334873681\ 270760861721/235976695918703163474912138424919091559048568416577517\ 233192954765*c_1001_2^28 - 3048984497215296308493401052224194424595\ 355904228321134600246485372/235976695918703163474912138424919091559\ 048568416577517233192954765*c_1001_2^27 + 4816180101153337770619454198158138310628458491194498663345853179381\ /471953391837406326949824276849838183118097136833155034466385909530\ *c_1001_2^26 + 2805710375096830303397885204316219889998346476592284\ 599923307938764/471953391837406326949824276849838183118097136833155\ 03446638590953*c_1001_2^25 - 60235349679947869508689310385894077737\ 4235089151406193067769836759/47195339183740632694982427684983818311\ 8097136833155034466385909530*c_1001_2^24 + 8069164356200728191986248460106371483888720781307464552124100015508\ 1/23597669591870316347491213842491909155904856841657751723319295476\ 5*c_1001_2^23 - 674203522446056027825542933270444049574543770340739\ 91700425816999983/4719533918374063269498242768498381831180971368331\ 55034466385909530*c_1001_2^22 + 16661995471915236765521446377936419\ 7925923036515684759310841623075988/23597669591870316347491213842491\ 9091559048568416577517233192954765*c_1001_2^21 - 1935760850939837806638621905107598049929393611488002998004435250421\ 8/47195339183740632694982427684983818311809713683315503446638590953\ *c_1001_2^20 + 6907013550666624719195338309142101775443487187574529\ 6055060392525999/94390678367481265389964855369967636623619427366631\ 006893277181906*c_1001_2^19 - 6524871085958617756535745908232451309\ 072870364174057645024602208251/471953391837406326949824276849838183\ 118097136833155034466385909530*c_1001_2^18 + 2488903866368548681883214418543303615407191321774587974397841178797\ 16/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^17 + 64231059021901950720717172395250151865032176364288\ 9464665486859593821/23597669591870316347491213842491909155904856841\ 6577517233192954765*c_1001_2^16 + 191060410505739021491924701672050\ 4148584736023090216558007590168152923/47195339183740632694982427684\ 9838183118097136833155034466385909530*c_1001_2^15 + 3868528179209741897430442148437428308899703032950822859715390868094\ 589/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^14 + 4737492656385097752830009411800780854693265743284\ 256690904026788903311/471953391837406326949824276849838183118097136\ 833155034466385909530*c_1001_2^13 + 6189433262620739867491640619482249288986160932599452648696619550549\ 293/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^12 + 3319763465459723478911440166072002353082285920498\ 354075611959221681233/235976695918703163474912138424919091559048568\ 416577517233192954765*c_1001_2^11 + 6172854655120018573761195536177113362456742691938212309420406834042\ 139/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^10 + 2788120887744044940080681477658252222849096498448\ 476812214016801979441/235976695918703163474912138424919091559048568\ 416577517233192954765*c_1001_2^9 + 3932261162731357525688985505776100454817210690745503535400797235492\ 657/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^8 + 28575613771247312144926900465518109749687121256466\ 48950943155744221891/4719533918374063269498242768498381831180971368\ 33155034466385909530*c_1001_2^7 + 783712019207236175846266326484220\ 664553069637110786572507283443531449/235976695918703163474912138424\ 919091559048568416577517233192954765*c_1001_2^6 + 8772161017326612759808533172589855698511158147301825483418120257918\ 77/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^5 + 371215319133767902221538752267662840087906732734854\ 53635418018289927/4719533918374063269498242768498381831180971368331\ 5503446638590953*c_1001_2^4 + 1517145304417707858046638341530758594\ 6828176096107395401759173994084/47195339183740632694982427684983818\ 311809713683315503446638590953*c_1001_2^3 + 9484418589131812786053723854541114485696003283624787599908328650915\ /94390678367481265389964855369967636623619427366631006893277181906*\ c_1001_2^2 + 119699589425956084223634672461150541748178523958996201\ 9551593057796/47195339183740632694982427684983818311809713683315503\ 446638590953*c_1001_2 + 1449776768806850803812169547257140068407063\ 501853614492347848725141/235976695918703163474912138424919091559048\ 568416577517233192954765, c_0101_0 + 371970998543356553249852439592874191665246028768371717646599\ 8991/47195339183740632694982427684983818311809713683315503446638590\ 9530*c_1001_2^35 - 108493908502581620945224412384691476687393064345\ 58018631159120293/4719533918374063269498242768498381831180971368331\ 55034466385909530*c_1001_2^34 + 16071452125389358201796110336001348\ 472614244713147490732774276214/235976695918703163474912138424919091\ 559048568416577517233192954765*c_1001_2^33 - 7780218544393480478615131075696615795937581963598285968480394098/47\ 195339183740632694982427684983818311809713683315503446638590953*c_1\ 001_2^32 + 35427365255619347390988428753893567626359717947757096577\ 33955494/2359766959187031634749121384249190915590485684165775172331\ 92954765*c_1001_2^31 + 10419326764455644181575797736152309915778297\ 2820502845272021727959/47195339183740632694982427684983818311809713\ 6833155034466385909530*c_1001_2^30 - 92944655799787829219653107694440746372774050290370879302359256081/4\ 7195339183740632694982427684983818311809713683315503446638590953*c_\ 1001_2^29 + 1266300269434093977187454558055611518223580038744226695\ 007361624286/235976695918703163474912138424919091559048568416577517\ 233192954765*c_1001_2^28 - 3863096605827715018264696883165252423616\ 969244476237977337833377009/471953391837406326949824276849838183118\ 097136833155034466385909530*c_1001_2^27 + 6686588554590308540842240919093503640268102463256442252804850355431\ /471953391837406326949824276849838183118097136833155034466385909530\ *c_1001_2^26 + 1237037526656318061221431205541606124004131726891910\ 72601930370740/4719533918374063269498242768498381831180971368331550\ 3446638590953*c_1001_2^25 - 818115786443461177008594613269626472567\ 8798900882999204031644984102/23597669591870316347491213842491909155\ 9048568416577517233192954765*c_1001_2^24 + 5837376985862773986315812870389057419294355280260572541472961913670\ 7/47195339183740632694982427684983818311809713683315503446638590953\ 0*c_1001_2^23 - 693648136523924407592000623573398279730725470924005\ 96477728401279134/2359766959187031634749121384249190915590485684165\ 77517233192954765*c_1001_2^22 + 21967627167752943477180524646076178\ 0786797479152290405358644998955991/47195339183740632694982427684983\ 8183118097136833155034466385909530*c_1001_2^21 - 3558423140166301076057851932790286014050619515003369230244144671881\ 3/47195339183740632694982427684983818311809713683315503446638590953\ *c_1001_2^20 + 8152961517762116525716678507681617246034465716597210\ 9651856417861249/94390678367481265389964855369967636623619427366631\ 006893277181906*c_1001_2^19 - 2054895901559341867709154279667478887\ 69264801152992550270942184487588/2359766959187031634749121384249190\ 91559048568416577517233192954765*c_1001_2^18 + 3493611644813529227497649625690602972036339605521800794956024074999\ 47/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^17 - 35263023043651922220092621261857452406706332247718\ 115147515394930469/235976695918703163474912138424919091559048568416\ 577517233192954765*c_1001_2^16 - 1221621768000927858047866738858176\ 79141471841288072079711326061748727/4719533918374063269498242768498\ 38183118097136833155034466385909530*c_1001_2^15 + 2517318806871796259622535490126471840659305063954946291258473550141\ 59/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^14 - 72789642722096964102254439969321624573883494424924\ 4409841612979948129/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^13 - 690763045248747304494267618891039\ 16425541902158885228937723118182651/2359766959187031634749121384249\ 19091559048568416577517233192954765*c_1001_2^12 - 1021574983606256082374361741629783767208624637057052360927245193490\ 599/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^11 - 4800728870041197510449151057925477309145791572401\ 62506719411795716428/2359766959187031634749121384249190915590485684\ 16577517233192954765*c_1001_2^10 - 4491150396719375351359038813748743929267649498713950161418828815541\ 49/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^9 - 614418565996600574288190821716346859782200878844802\ 662262132657795394/235976695918703163474912138424919091559048568416\ 577517233192954765*c_1001_2^8 - 55690581734959522856648801622447112\ 8948605192182236747171507631385619/47195339183740632694982427684983\ 8183118097136833155034466385909530*c_1001_2^7 - 3941123801509757711542201804097253605362886724394209218194014027355\ 66/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^6 - 228728915640268771846212636356623255773719451538073\ 769953953416556023/471953391837406326949824276849838183118097136833\ 155034466385909530*c_1001_2^5 - 56457871846006471508651589500289593\ 776519213245972667053007138311389/943906783674812653899648553699676\ 36623619427366631006893277181906*c_1001_2^4 - 1042905051124094923951394978790174120879617770544489398360993006319\ 3/94390678367481265389964855369967636623619427366631006893277181906\ *c_1001_2^3 - 55771447033605930972494181432689928943163498223685648\ 41027666037129/4719533918374063269498242768498381831180971368331550\ 3446638590953*c_1001_2^2 - 9397803718374733109797091842306755155774\ 21397824877619194922405131/9439067836748126538996485536996763662361\ 9427366631006893277181906*c_1001_2 - 2573496225673144384992398707115170526466730955433439581019040133574\ /235976695918703163474912138424919091559048568416577517233192954765\ , c_0101_1 - 262760391415635505637775180282589293453758349085787901916195\ 9982/23597669591870316347491213842491909155904856841657751723319295\ 4765*c_1001_2^35 + 115818728625467353176147493160666384406606205238\ 5657762470214601/23597669591870316347491213842491909155904856841657\ 7517233192954765*c_1001_2^34 - 314238927669519360592326180947093144\ 06305916852159089104911247277/4719533918374063269498242768498381831\ 18097136833155034466385909530*c_1001_2^33 + 2819250250405305133304363803625765198484179220580078976528700546/47\ 195339183740632694982427684983818311809713683315503446638590953*c_1\ 001_2^32 + 51118807415971296336775187482358836999277282143547646693\ 076900009/235976695918703163474912138424919091559048568416577517233\ 192954765*c_1001_2^31 + 6401514002663590848483534216106187115650419\ 5601104764057397558389/47195339183740632694982427684983818311809713\ 6833155034466385909530*c_1001_2^30 + 255019962223289808579165290959605445172282430721867875772720470235/\ 94390678367481265389964855369967636623619427366631006893277181906*c\ _1001_2^29 - 475716754504215382744377127530427325169661376742353550\ 333388873543/471953391837406326949824276849838183118097136833155034\ 466385909530*c_1001_2^28 + 2438888837206868083615371065042293326189\ 818307122485182822338400261/471953391837406326949824276849838183118\ 097136833155034466385909530*c_1001_2^27 - 1278328187929465680645272982837327122287191862626797971881735421827\ /235976695918703163474912138424919091559048568416577517233192954765\ *c_1001_2^26 - 2069769054594303115767618343823359916350076929172371\ 306917869442359/943906783674812653899648553699676366236194273666310\ 06893277181906*c_1001_2^25 + 37479500770661591058588655134033414447\ 7321074567373065828768496138/23597669591870316347491213842491909155\ 9048568416577517233192954765*c_1001_2^24 - 6225035575426512731320688807433407445350130010433423546441785535423\ 3/47195339183740632694982427684983818311809713683315503446638590953\ 0*c_1001_2^23 + 185059844002510344889084845681121427908942742922193\ 67965325696469146/2359766959187031634749121384249190915590485684165\ 77517233192954765*c_1001_2^22 - 13589089896111109577477901471516591\ 4856132996561918075881516124118549/47195339183740632694982427684983\ 8183118097136833155034466385909530*c_1001_2^21 + 1102221104108867407805789132621172141316249873735158603698236291982\ 9/47195339183740632694982427684983818311809713683315503446638590953\ *c_1001_2^20 - 3216739569511864596522011902173250584136779480145527\ 5760034291059999/94390678367481265389964855369967636623619427366631\ 006893277181906*c_1001_2^19 + 5825226598621801370107039973129673595\ 7729676069830672375912777235729/47195339183740632694982427684983818\ 3118097136833155034466385909530*c_1001_2^18 - 2283526636352335908429867159671667153458865684865278573630298272188\ 03/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^17 - 44000262811647931459634240082296548168391325517833\ 9730463843621659873/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^16 - 345181844421698814087101249463223\ 773953452275173430529714394603586306/235976695918703163474912138424\ 919091559048568416577517233192954765*c_1001_2^15 - 1383500919511499795837032702030496479183605096486074220445030112268\ 351/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^14 - 7723531701812221940260295604402607026948545024067\ 58588609938060279222/2359766959187031634749121384249190915590485684\ 16577517233192954765*c_1001_2^13 - 1029828241248783421331170253787859236986575643145445260315633391749\ 946/235976695918703163474912138424919091559048568416577517233192954\ 765*c_1001_2^12 - 1994107401735866182399236430823795804840485226330\ 657295342681635700399/471953391837406326949824276849838183118097136\ 833155034466385909530*c_1001_2^11 - 8877294456772999918176376741954058615214621853539415534379628449448\ 08/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^10 - 14903688294627257975931432611529462954116237562214\ 10176301132755709623/4719533918374063269498242768498381831180971368\ 33155034466385909530*c_1001_2^9 - 437994620964307673489586113095184\ 327115799023480956750445250524748944/235976695918703163474912138424\ 919091559048568416577517233192954765*c_1001_2^8 - 6259213873966169391254172574265479904189885106647823999434847235345\ 29/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^7 - 106753070064286979441620112811790750094890934201038\ 641819771685056696/235976695918703163474912138424919091559048568416\ 577517233192954765*c_1001_2^6 - 66583294732586384766926857246657493\ 636977106480799680690005143510029/235976695918703163474912138424919\ 091559048568416577517233192954765*c_1001_2^5 - 926559476358953967851900763127487734267444366588720783712736181041/\ 47195339183740632694982427684983818311809713683315503446638590953*c\ _1001_2^4 - 1955097614245642988974739183779082989765888783464777672\ 831639368941/943906783674812653899648553699676366236194273666310068\ 93277181906*c_1001_2^3 + 119718361860005504747272219651034575996575\ 6219797819477675777569575/94390678367481265389964855369967636623619\ 427366631006893277181906*c_1001_2^2 + 124533486883149383718731411452872257870184257034343439023140081998/\ 47195339183740632694982427684983818311809713683315503446638590953*c\ _1001_2 + 523599165860668647696099107474350967226042421614509170177\ 870931286/235976695918703163474912138424919091559048568416577517233\ 192954765, c_0101_11 - 64999016636612751713896073748380869403121240972869655060077\ 94357/2359766959187031634749121384249190915590485684165775172331929\ 54765*c_1001_2^35 + 24252110539767831031119596481091860265082895591\ 720509202322094037/471953391837406326949824276849838183118097136833\ 155034466385909530*c_1001_2^34 - 9430292963339339672873497924944904\ 4194573625660491514396558179217/47195339183740632694982427684983818\ 3118097136833155034466385909530*c_1001_2^33 + 36329501739932339176978885159996927684717682064129437342317875845/9\ 4390678367481265389964855369967636623619427366631006893277181906*c_\ 1001_2^32 + 1121236813112065965789620899246122920058008355003389351\ 82319572393/4719533918374063269498242768498381831180971368331550344\ 66385909530*c_1001_2^31 - 88177627248962974624084420692459049201230\ 522733600509612977016258/235976695918703163474912138424919091559048\ 568416577517233192954765*c_1001_2^30 + 314732510198725263296138618059053706570382195910176527442808567118/\ 47195339183740632694982427684983818311809713683315503446638590953*c\ _1001_2^29 - 555974497885911925328240089017312489644209899155047375\ 9768137144203/47195339183740632694982427684983818311809713683315503\ 4466385909530*c_1001_2^28 + 960468456906164044284078633382871409214\ 6457177740155395682042652711/47195339183740632694982427684983818311\ 8097136833155034466385909530*c_1001_2^27 - 1509903678183879219866053874934930301699321462400152872596798276837\ 9/47195339183740632694982427684983818311809713683315503446638590953\ 0*c_1001_2^26 - 293772809075158572746669628471389007554882723103178\ 5040560412411517/94390678367481265389964855369967636623619427366631\ 006893277181906*c_1001_2^25 + 1814401787133105065483570538671525335\ 8108893217737889913746267542523/23597669591870316347491213842491909\ 1559048568416577517233192954765*c_1001_2^24 - 8845390774261296980047608561918726670688469744282418332942479095834\ 4/23597669591870316347491213842491909155904856841657751723319295476\ 5*c_1001_2^23 + 155047584809669131892070490782836226852279115523683\ 264150320291615586/235976695918703163474912138424919091559048568416\ 577517233192954765*c_1001_2^22 - 5488125278400100155505911280391045\ 57774533900140105439034196392525539/4719533918374063269498242768498\ 38183118097136833155034466385909530*c_1001_2^21 + 7749877153405459419725463314971242673849800988247352021283262379700\ 9/47195339183740632694982427684983818311809713683315503446638590953\ *c_1001_2^20 - 1808034148287648679020315851205312172905721084726443\ 55695230421439533/9439067836748126538996485536996763662361942736663\ 1006893277181906*c_1001_2^19 + 766538318325679243222394331231917283\ 441364248128588746643258660308379/471953391837406326949824276849838\ 183118097136833155034466385909530*c_1001_2^18 - 8266686425479259734921452336869905483226984309430512620943375980960\ 73/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^17 - 19325804888391513092973951818312238785347674572574\ 8012223907650109439/23597669591870316347491213842491909155904856841\ 6577517233192954765*c_1001_2^16 - 365959466666947080949795729955151\ 112925106038681680831002508803479017/471953391837406326949824276849\ 838183118097136833155034466385909530*c_1001_2^15 - 8899786968780725480082837830580781742850059693570889952762504752876\ 78/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^14 - 56080979328677272892329646800584268586827409035222\ 922347731675715689/471953391837406326949824276849838183118097136833\ 155034466385909530*c_1001_2^13 - 1548286482203928621678819059068320\ 260653282093717841125034832658863167/471953391837406326949824276849\ 838183118097136833155034466385909530*c_1001_2^12 - 3517702679775340181861779400283642133507961217600524456467148013829\ /471953391837406326949824276849838183118097136833155034466385909530\ *c_1001_2^11 + 1524149805388630690618948501536626834958863992155009\ 33431268189634129/4719533918374063269498242768498381831180971368331\ 55034466385909530*c_1001_2^10 + 10390372637477888571428505027033385\ 1400633019606815336407138427190357/47195339183740632694982427684983\ 8183118097136833155034466385909530*c_1001_2^9 + 1239207192297517598336635254629955196506159029889278320097641945709\ 817/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^8 + 10304505491113394515421022854098084613227073481030\ 3156706585031814248/23597669591870316347491213842491909155904856841\ 6577517233192954765*c_1001_2^7 + 4928651120189447471358567497631229\ 57987975533796813219615350192005804/2359766959187031634749121384249\ 19091559048568416577517233192954765*c_1001_2^6 + 7051669506397041001462896493259163445743344196778399757658786836582\ 6/23597669591870316347491213842491909155904856841657751723319295476\ 5*c_1001_2^5 + 3785208308774164475817582551001517089830536731506381\ 1283783164690184/47195339183740632694982427684983818311809713683315\ 503446638590953*c_1001_2^4 + 80784488350626335253441414172194222465\ 86445897067204244448771559001/9439067836748126538996485536996763662\ 3619427366631006893277181906*c_1001_2^3 + 1551966796278377477395646821791395064139554536732677005252756570900\ 7/94390678367481265389964855369967636623619427366631006893277181906\ *c_1001_2^2 + 36368076743063467426999835778875606495316315657039227\ 1878039985482/47195339183740632694982427684983818311809713683315503\ 446638590953*c_1001_2 + 7168823972900403198450662011538191775134436\ 448761893252262698441537/471953391837406326949824276849838183118097\ 136833155034466385909530, c_0101_12 + 16947832792581892469337008495529549983358957335293921759018\ 22584/4719533918374063269498242768498381831180971368331550344663859\ 0953*c_1001_2^35 - 733764089024240458251720859333503773139906205039\ 347418474443341/471953391837406326949824276849838183118097136833155\ 03446638590953*c_1001_2^34 + 19531491741709178144524356077096680399\ 097735926756215995937336541/943906783674812653899648553699676366236\ 19427366631006893277181906*c_1001_2^33 - 15604275068660958742523171545834320326029235128517342824264351075/9\ 4390678367481265389964855369967636623619427366631006893277181906*c_\ 1001_2^32 - 7194615292477749323557002426021581793857719684263599082\ 3328740239/94390678367481265389964855369967636623619427366631006893\ 277181906*c_1001_2^31 - 1300574902161710688935075119102280410193216\ 2195429594179248170803/47195339183740632694982427684983818311809713\ 683315503446638590953*c_1001_2^30 - 410969458840969151766565843135935102548653031009560131799250913162/\ 47195339183740632694982427684983818311809713683315503446638590953*c\ _1001_2^29 + 132712838337853315144246604529338785603004813744282582\ 452177609675/471953391837406326949824276849838183118097136833155034\ 46638590953*c_1001_2^28 - 13976161699674752728092439904737310738360\ 73913460399301044036621045/9439067836748126538996485536996763662361\ 9427366631006893277181906*c_1001_2^27 + 540557417486735049623145553178022518632427154908463949746554629998/\ 47195339183740632694982427684983818311809713683315503446638590953*c\ _1001_2^26 + 367169170342357023265572799167179567558840661647556334\ 2001108147474/47195339183740632694982427684983818311809713683315503\ 446638590953*c_1001_2^25 - 1592056114529062584068434578547746605200\ 970828574128658023442009433/943906783674812653899648553699676366236\ 19427366631006893277181906*c_1001_2^24 + 1983491317157730488876547154706011963988131229349125500205001408252\ 5/47195339183740632694982427684983818311809713683315503446638590953\ *c_1001_2^23 - 9533975229904157520281223268014452752718981909825906\ 084861586409994/471953391837406326949824276849838183118097136833155\ 03446638590953*c_1001_2^22 + 76615224265866323040365000759188875497\ 925128256696430050513047725243/943906783674812653899648553699676366\ 23619427366631006893277181906*c_1001_2^21 - 4182764758653064561177333543885914485081227076717058369391272773081\ 3/94390678367481265389964855369967636623619427366631006893277181906\ *c_1001_2^20 + 6538108840931817195723485416694294794817984764104693\ 0776058064813335/94390678367481265389964855369967636623619427366631\ 006893277181906*c_1001_2^19 + 2513966182197882749420198876117794188\ 7471097955862252994158242173631/94390678367481265389964855369967636\ 623619427366631006893277181906*c_1001_2^18 + 8378489966954663741758430885608388720959618859232744160629428126027\ 9/94390678367481265389964855369967636623619427366631006893277181906\ *c_1001_2^17 + 3392736503686524987242931052546047168948586062886947\ 47642488242601771/9439067836748126538996485536996763662361942736663\ 1006893277181906*c_1001_2^16 + 413018629609093542438958161155215043\ 810187835375053651997971218128411/943906783674812653899648553699676\ 36623619427366631006893277181906*c_1001_2^15 + 8929118235501940348609720320751928843768592828114048453179495117663\ 75/9439067836748126538996485536996763662361942736663100689327718190\ 6*c_1001_2^14 + 539905167838412887310715588862162532483225195929441\ 283314168164561983/471953391837406326949824276849838183118097136833\ 15503446638590953*c_1001_2^13 + 13434974331639629281571727777346896\ 69070940211604421691526000214597973/9439067836748126538996485536996\ 7636623619427366631006893277181906*c_1001_2^12 + 1504007740099613390273352573691382496262577657979449757484249453169\ 405/943906783674812653899648553699676366236194273666310068932771819\ 06*c_1001_2^11 + 13110221431545463163589524355054068387869850160005\ 13626006878347887983/9439067836748126538996485536996763662361942736\ 6631006893277181906*c_1001_2^10 + 612804754113711779716346181301919\ 969898543085575067709756375144604865/471953391837406326949824276849\ 83818311809713683315503446638590953*c_1001_2^9 + 8500179696035246508543972923536490069227164904435632777847508982624\ 37/9439067836748126538996485536996763662361942736663100689327718190\ 6*c_1001_2^8 + 3004509460322488622578745571536512576719186529345667\ 06094539350041492/4719533918374063269498242768498381831180971368331\ 5503446638590953*c_1001_2^7 + 3617152522114281180843020471148653686\ 08012102156556847282032651393829/9439067836748126538996485536996763\ 6623619427366631006893277181906*c_1001_2^6 + 8827115950186060383593777852827091731325819523784798486856963953420\ 7/47195339183740632694982427684983818311809713683315503446638590953\ *c_1001_2^5 + 48914479356356546012952974714192888042392058258881695\ 264345218338698/471953391837406326949824276849838183118097136833155\ 03446638590953*c_1001_2^4 + 148253785553460577406770135878212046363\ 82519469173997027993187981239/4719533918374063269498242768498381831\ 1809713683315503446638590953*c_1001_2^3 + 1595993074442541664714553434910223247436959738748717435591060169798\ 5/94390678367481265389964855369967636623619427366631006893277181906\ *c_1001_2^2 + 10657850726387837762274798492045547915645448189817278\ 05351953789949/4719533918374063269498242768498381831180971368331550\ 3446638590953*c_1001_2 + 639539543537314570887585386518236373803390\ 176768063719903563403611/471953391837406326949824276849838183118097\ 13683315503446638590953, c_0101_2 - 128632877477962385574242220003289562010531719090833245757238\ 07639/4719533918374063269498242768498381831180971368331550344663859\ 09530*c_1001_2^35 + 25734691498914983458744279369711534260819242431\ 246442208242724957/471953391837406326949824276849838183118097136833\ 155034466385909530*c_1001_2^34 - 4765121390004263388022532838037625\ 5715490612284260466701916317561/23597669591870316347491213842491909\ 1559048568416577517233192954765*c_1001_2^33 + 19154844263028233727377132206646976104230747108520677922789597803/4\ 7195339183740632694982427684983818311809713683315503446638590953*c_\ 1001_2^32 + 4721768365912680800447988256529876901198710446661482683\ 4633608269/23597669591870316347491213842491909155904856841657751723\ 3192954765*c_1001_2^31 - 986924600198097115292140252917628032732211\ 16618768927652285152453/2359766959187031634749121384249190915590485\ 68416577517233192954765*c_1001_2^30 + 623172108665732557489729590145118738845142002680729729066298144155/\ 94390678367481265389964855369967636623619427366631006893277181906*c\ _1001_2^29 - 296580291267342518726572636404758477204391379446701397\ 1454566563764/23597669591870316347491213842491909155904856841657751\ 7233192954765*c_1001_2^28 + 994130271548885124025396641400020738661\ 0793030255282325623704466641/47195339183740632694982427684983818311\ 8097136833155034466385909530*c_1001_2^27 - 8030893592199274225877412872894047137013776954942963723144192568652\ /235976695918703163474912138424919091559048568416577517233192954765\ *c_1001_2^26 - 2634138016131411203032750889474669603529463468002286\ 147623361126449/943906783674812653899648553699676366236194273666310\ 06893277181906*c_1001_2^25 + 38528407242599390268321671916998049834\ 399940488412552202898347734601/471953391837406326949824276849838183\ 118097136833155034466385909530*c_1001_2^24 - 1776232306583513371606828263945497437706933872864383069360234711496\ 13/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^23 + 32979053370324894750854919031527640275822566946431\ 9058747855728730087/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^22 - 284548237323795051590820189124123\ 386458687840802063926972460948923722/235976695918703163474912138424\ 919091559048568416577517233192954765*c_1001_2^21 + 8291986550282545790980399881906510513585869993494665486481366652226\ 3/47195339183740632694982427684983818311809713683315503446638590953\ *c_1001_2^20 - 1923459193208441066743739754233698334212813473439028\ 69924503920463157/9439067836748126538996485536996763662361942736663\ 1006893277181906*c_1001_2^19 + 424596528976171822162965001095750967\ 419829139889857994657106172037017/235976695918703163474912138424919\ 091559048568416577517233192954765*c_1001_2^18 - 4371732532008458980215591552307724608490346299899473457804911308741\ 14/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^17 - 28987337999115308611610039098108709728237041023668\ 4472675119679131383/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^16 - 127232115190235940484288936921980\ 690492501017719637843094328049275941/235976695918703163474912138424\ 919091559048568416577517233192954765*c_1001_2^15 - 1612249720948217718734672905197062093996993685197550052928702467608\ 931/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^14 + 3322279957300766554407324537450336031213259854607\ 09165132875982899031/4719533918374063269498242768498381831180971368\ 33155034466385909530*c_1001_2^13 - 1197626229422537005630688649954734638970601431834060671046909226533\ 347/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^12 + 2813620713812811164305219184455787401582586173065\ 17918678006218007623/2359766959187031634749121384249190915590485684\ 16577517233192954765*c_1001_2^11 + 3317038361693801717884918796289233514635990506107918760411167758314\ 57/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^10 + 30037294157245836247434748151189802107819650805173\ 0970601675347640661/23597669591870316347491213842491909155904856841\ 6577517233192954765*c_1001_2^9 + 1703357016856059987115699751103427\ 835506813576282934161447549771206497/471953391837406326949824276849\ 838183118097136833155034466385909530*c_1001_2^8 + 4878329783402916287341140788600113952831195352320933533457422739239\ 61/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^7 + 124530641082480942974612099287430417646953652065400\ 6752467547216053963/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^6 + 2417883101243204977275997756207167\ 96609944130027376932555510416963757/4719533918374063269498242768498\ 38183118097136833155034466385909530*c_1001_2^5 + 9305506733194697770952634804807033995515718328861150167836914840953\ 5/94390678367481265389964855369967636623619427366631006893277181906\ *c_1001_2^4 + 11893286557385949046281197352161904770190064580621662\ 062888153697575/943906783674812653899648553699676366236194273666310\ 06893277181906*c_1001_2^3 + 187863890376191208992389035293771118518\ 09685333282545973706621967135/9439067836748126538996485536996763662\ 3619427366631006893277181906*c_1001_2^2 + 487908140981138050931926322325358333535972727915687799501540449949/\ 47195339183740632694982427684983818311809713683315503446638590953*c\ _1001_2 + 866087293528271313372783532931030513496107225923069938621\ 3194321537/47195339183740632694982427684983818311809713683315503446\ 6385909530, c_0101_4 + 649990166366127517138960737483808694031212409728696550600779\ 4357/23597669591870316347491213842491909155904856841657751723319295\ 4765*c_1001_2^35 - 242521105397678310311195964810918602650828955917\ 20509202322094037/4719533918374063269498242768498381831180971368331\ 55034466385909530*c_1001_2^34 + 94302929633393396728734979249449044\ 194573625660491514396558179217/471953391837406326949824276849838183\ 118097136833155034466385909530*c_1001_2^33 - 36329501739932339176978885159996927684717682064129437342317875845/9\ 4390678367481265389964855369967636623619427366631006893277181906*c_\ 1001_2^32 - 1121236813112065965789620899246122920058008355003389351\ 82319572393/4719533918374063269498242768498381831180971368331550344\ 66385909530*c_1001_2^31 + 88177627248962974624084420692459049201230\ 522733600509612977016258/235976695918703163474912138424919091559048\ 568416577517233192954765*c_1001_2^30 - 314732510198725263296138618059053706570382195910176527442808567118/\ 47195339183740632694982427684983818311809713683315503446638590953*c\ _1001_2^29 + 555974497885911925328240089017312489644209899155047375\ 9768137144203/47195339183740632694982427684983818311809713683315503\ 4466385909530*c_1001_2^28 - 960468456906164044284078633382871409214\ 6457177740155395682042652711/47195339183740632694982427684983818311\ 8097136833155034466385909530*c_1001_2^27 + 1509903678183879219866053874934930301699321462400152872596798276837\ 9/47195339183740632694982427684983818311809713683315503446638590953\ 0*c_1001_2^26 + 293772809075158572746669628471389007554882723103178\ 5040560412411517/94390678367481265389964855369967636623619427366631\ 006893277181906*c_1001_2^25 - 1814401787133105065483570538671525335\ 8108893217737889913746267542523/23597669591870316347491213842491909\ 1559048568416577517233192954765*c_1001_2^24 + 8845390774261296980047608561918726670688469744282418332942479095834\ 4/23597669591870316347491213842491909155904856841657751723319295476\ 5*c_1001_2^23 - 155047584809669131892070490782836226852279115523683\ 264150320291615586/235976695918703163474912138424919091559048568416\ 577517233192954765*c_1001_2^22 + 5488125278400100155505911280391045\ 57774533900140105439034196392525539/4719533918374063269498242768498\ 38183118097136833155034466385909530*c_1001_2^21 - 7749877153405459419725463314971242673849800988247352021283262379700\ 9/47195339183740632694982427684983818311809713683315503446638590953\ *c_1001_2^20 + 1808034148287648679020315851205312172905721084726443\ 55695230421439533/9439067836748126538996485536996763662361942736663\ 1006893277181906*c_1001_2^19 - 766538318325679243222394331231917283\ 441364248128588746643258660308379/471953391837406326949824276849838\ 183118097136833155034466385909530*c_1001_2^18 + 8266686425479259734921452336869905483226984309430512620943375980960\ 73/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^17 + 19325804888391513092973951818312238785347674572574\ 8012223907650109439/23597669591870316347491213842491909155904856841\ 6577517233192954765*c_1001_2^16 + 365959466666947080949795729955151\ 112925106038681680831002508803479017/471953391837406326949824276849\ 838183118097136833155034466385909530*c_1001_2^15 + 8899786968780725480082837830580781742850059693570889952762504752876\ 78/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^14 + 56080979328677272892329646800584268586827409035222\ 922347731675715689/471953391837406326949824276849838183118097136833\ 155034466385909530*c_1001_2^13 + 1548286482203928621678819059068320\ 260653282093717841125034832658863167/471953391837406326949824276849\ 838183118097136833155034466385909530*c_1001_2^12 + 3517702679775340181861779400283642133507961217600524456467148013829\ /471953391837406326949824276849838183118097136833155034466385909530\ *c_1001_2^11 - 1524149805388630690618948501536626834958863992155009\ 33431268189634129/4719533918374063269498242768498381831180971368331\ 55034466385909530*c_1001_2^10 - 10390372637477888571428505027033385\ 1400633019606815336407138427190357/47195339183740632694982427684983\ 8183118097136833155034466385909530*c_1001_2^9 - 1239207192297517598336635254629955196506159029889278320097641945709\ 817/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^8 - 10304505491113394515421022854098084613227073481030\ 3156706585031814248/23597669591870316347491213842491909155904856841\ 6577517233192954765*c_1001_2^7 - 4928651120189447471358567497631229\ 57987975533796813219615350192005804/2359766959187031634749121384249\ 19091559048568416577517233192954765*c_1001_2^6 - 7051669506397041001462896493259163445743344196778399757658786836582\ 6/23597669591870316347491213842491909155904856841657751723319295476\ 5*c_1001_2^5 - 3785208308774164475817582551001517089830536731506381\ 1283783164690184/47195339183740632694982427684983818311809713683315\ 503446638590953*c_1001_2^4 - 80784488350626335253441414172194222465\ 86445897067204244448771559001/9439067836748126538996485536996763662\ 3619427366631006893277181906*c_1001_2^3 - 1551966796278377477395646821791395064139554536732677005252756570900\ 7/94390678367481265389964855369967636623619427366631006893277181906\ *c_1001_2^2 - 36368076743063467426999835778875606495316315657039227\ 1878039985482/47195339183740632694982427684983818311809713683315503\ 446638590953*c_1001_2 - 7168823972900403198450662011538191775134436\ 448761893252262698441537/471953391837406326949824276849838183118097\ 136833155034466385909530, c_0101_7 + 128632877477962385574242220003289562010531719090833245757238\ 07639/4719533918374063269498242768498381831180971368331550344663859\ 09530*c_1001_2^35 - 25734691498914983458744279369711534260819242431\ 246442208242724957/471953391837406326949824276849838183118097136833\ 155034466385909530*c_1001_2^34 + 4765121390004263388022532838037625\ 5715490612284260466701916317561/23597669591870316347491213842491909\ 1559048568416577517233192954765*c_1001_2^33 - 19154844263028233727377132206646976104230747108520677922789597803/4\ 7195339183740632694982427684983818311809713683315503446638590953*c_\ 1001_2^32 - 4721768365912680800447988256529876901198710446661482683\ 4633608269/23597669591870316347491213842491909155904856841657751723\ 3192954765*c_1001_2^31 + 986924600198097115292140252917628032732211\ 16618768927652285152453/2359766959187031634749121384249190915590485\ 68416577517233192954765*c_1001_2^30 - 623172108665732557489729590145118738845142002680729729066298144155/\ 94390678367481265389964855369967636623619427366631006893277181906*c\ _1001_2^29 + 296580291267342518726572636404758477204391379446701397\ 1454566563764/23597669591870316347491213842491909155904856841657751\ 7233192954765*c_1001_2^28 - 994130271548885124025396641400020738661\ 0793030255282325623704466641/47195339183740632694982427684983818311\ 8097136833155034466385909530*c_1001_2^27 + 8030893592199274225877412872894047137013776954942963723144192568652\ /235976695918703163474912138424919091559048568416577517233192954765\ *c_1001_2^26 + 2634138016131411203032750889474669603529463468002286\ 147623361126449/943906783674812653899648553699676366236194273666310\ 06893277181906*c_1001_2^25 - 38528407242599390268321671916998049834\ 399940488412552202898347734601/471953391837406326949824276849838183\ 118097136833155034466385909530*c_1001_2^24 + 1776232306583513371606828263945497437706933872864383069360234711496\ 13/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^23 - 32979053370324894750854919031527640275822566946431\ 9058747855728730087/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^22 + 284548237323795051590820189124123\ 386458687840802063926972460948923722/235976695918703163474912138424\ 919091559048568416577517233192954765*c_1001_2^21 - 8291986550282545790980399881906510513585869993494665486481366652226\ 3/47195339183740632694982427684983818311809713683315503446638590953\ *c_1001_2^20 + 1923459193208441066743739754233698334212813473439028\ 69924503920463157/9439067836748126538996485536996763662361942736663\ 1006893277181906*c_1001_2^19 - 424596528976171822162965001095750967\ 419829139889857994657106172037017/235976695918703163474912138424919\ 091559048568416577517233192954765*c_1001_2^18 + 4371732532008458980215591552307724608490346299899473457804911308741\ 14/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^17 + 28987337999115308611610039098108709728237041023668\ 4472675119679131383/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^16 + 127232115190235940484288936921980\ 690492501017719637843094328049275941/235976695918703163474912138424\ 919091559048568416577517233192954765*c_1001_2^15 + 1612249720948217718734672905197062093996993685197550052928702467608\ 931/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^14 - 3322279957300766554407324537450336031213259854607\ 09165132875982899031/4719533918374063269498242768498381831180971368\ 33155034466385909530*c_1001_2^13 + 1197626229422537005630688649954734638970601431834060671046909226533\ 347/471953391837406326949824276849838183118097136833155034466385909\ 530*c_1001_2^12 - 2813620713812811164305219184455787401582586173065\ 17918678006218007623/2359766959187031634749121384249190915590485684\ 16577517233192954765*c_1001_2^11 - 3317038361693801717884918796289233514635990506107918760411167758314\ 57/2359766959187031634749121384249190915590485684165775172331929547\ 65*c_1001_2^10 - 30037294157245836247434748151189802107819650805173\ 0970601675347640661/23597669591870316347491213842491909155904856841\ 6577517233192954765*c_1001_2^9 - 1703357016856059987115699751103427\ 835506813576282934161447549771206497/471953391837406326949824276849\ 838183118097136833155034466385909530*c_1001_2^8 - 4878329783402916287341140788600113952831195352320933533457422739239\ 61/4719533918374063269498242768498381831180971368331550344663859095\ 30*c_1001_2^7 - 124530641082480942974612099287430417646953652065400\ 6752467547216053963/47195339183740632694982427684983818311809713683\ 3155034466385909530*c_1001_2^6 - 2417883101243204977275997756207167\ 96609944130027376932555510416963757/4719533918374063269498242768498\ 38183118097136833155034466385909530*c_1001_2^5 - 9305506733194697770952634804807033995515718328861150167836914840953\ 5/94390678367481265389964855369967636623619427366631006893277181906\ *c_1001_2^4 - 11893286557385949046281197352161904770190064580621662\ 062888153697575/943906783674812653899648553699676366236194273666310\ 06893277181906*c_1001_2^3 - 187863890376191208992389035293771118518\ 09685333282545973706621967135/9439067836748126538996485536996763662\ 3619427366631006893277181906*c_1001_2^2 - 487908140981138050931926322325358333535972727915687799501540449949/\ 47195339183740632694982427684983818311809713683315503446638590953*c\ _1001_2 - 866087293528271313372783532931030513496107225923069938621\ 3194321537/47195339183740632694982427684983818311809713683315503446\ 6385909530, c_1001_2^36 - c_1001_2^35 + 7*c_1001_2^34 - 9*c_1001_2^33 - 12*c_1001_2^32 - 5*c_1001_2^31 - 252*c_1001_2^30 + 217*c_1001_2^29 - 700*c_1001_2^28 + 803*c_1001_2^27 + 1377*c_1001_2^26 - 924*c_1001_2^25 + 13529*c_1001_2^24 - 13759*c_1001_2^23 + 38645*c_1001_2^22 - 40023*c_1001_2^21 + 60345*c_1001_2^20 - 41321*c_1001_2^19 + 68990*c_1001_2^18 + 55991*c_1001_2^17 + 114262*c_1001_2^16 + 257380*c_1001_2^15 + 248909*c_1001_2^14 + 427045*c_1001_2^13 + 390927*c_1001_2^12 + 421166*c_1001_2^11 + 389140*c_1001_2^10 + 267911*c_1001_2^9 + 245600*c_1001_2^8 + 110440*c_1001_2^7 + 98348*c_1001_2^6 + 28324*c_1001_2^5 + 24670*c_1001_2^4 + 4035*c_1001_2^3 + 3695*c_1001_2^2 + 227*c_1001_2 + 259, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.970 Total time: 1.179 seconds, Total memory usage: 32.09MB