Magma V2.19-8 Tue Aug 20 2013 20:41:47 on localhost [Seed = 1460734400] Type ? for help. Type -D to quit. Loading file "11_476__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_476 geometric_solution 13.64351537 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 15 1 1 2 3 0132 1230 0132 0132 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 1 0 0 -1 1 0 0 -1 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.161462665694 0.666354869806 0 4 0 3 0132 0132 3012 2031 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 -13 0 -1 0 1 0 13 -14 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656534763949 1.417477728781 3 4 5 0 0132 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139624274408 1.063768712009 2 1 0 5 0132 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 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.611742433427 0.928134966951 6 1 2 7 0132 0132 3012 0132 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 0 -13 13 0 0 0 -1 1 1 -1 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374539025581 0.605046771997 8 6 3 2 0132 1302 0132 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 0 0 0 -1 0 1 0 13 0 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260332118990 1.194891942332 4 7 9 5 0132 2103 0132 2031 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 14 0 0 0 0 0 14 -14 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721666461033 0.810488028726 10 6 4 9 0132 2103 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 0 -14 1 0 -1 0 0 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.059276217653 1.806225903507 5 11 12 12 0132 0132 2103 0132 0 0 0 0 0 0 -1 1 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 -13 13 1 0 0 -1 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925575403873 0.836611130134 10 11 7 6 3120 3012 0132 0132 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 0 14 -14 0 0 0 0 0 1 0 -1 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387220386418 0.688199560146 7 13 14 9 0132 0132 0132 3120 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 -14 14 -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.374539025581 0.605046771997 9 8 13 14 1230 0132 1302 0321 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 14 -1 0 0 1 0 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797000205200 0.570577716016 8 13 8 14 2103 1302 0132 1302 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 -13 13 0 0 1 -1 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.405389541141 0.537457808292 11 10 14 12 2031 0132 2103 2031 0 0 0 0 0 0 -1 1 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 -13 13 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.454145017608 0.309442204473 13 11 12 10 2103 0321 2031 0132 0 0 0 0 0 -1 0 1 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 0 14 14 0 -13 -1 13 -13 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656534763949 1.417477728781 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_14' : d['c_0101_13'], 'c_1001_11' : d['c_0110_13'], 'c_1001_10' : d['c_0011_12'], 'c_1001_13' : d['c_0011_14'], 'c_1001_12' : d['c_0110_13'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_7' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_12'], 'c_1010_13' : d['c_0011_12'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_0011_14'], 'c_1010_14' : d['c_0011_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : d['c_0101_13'], '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' : negation(d['1']), 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_14'], 'c_1100_9' : negation(d['c_1001_2']), 'c_1100_8' : d['c_0101_13'], 'c_0011_13' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : negation(d['c_1001_2']), 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 'c_1100_14' : negation(d['c_0101_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_13'], 'c_1100_10' : negation(d['c_0101_10']), 'c_1100_13' : negation(d['c_0101_10']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_2'], 's_0_13' : d['1'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_2']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0110_13'], 's_3_1' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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_13'], 's_1_7' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_14']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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' : negation(d['c_0011_14']), 'c_0110_10' : d['c_0101_6'], 'c_0110_13' : d['c_0110_13'], 'c_0110_12' : negation(d['c_0101_13']), 'c_0110_14' : d['c_0101_10'], 'c_1010_4' : negation(d['c_0011_0']), 'c_0101_12' : d['c_0101_12'], 's_0_8' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_12'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_12'], 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_12'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0011_2, c_0101_0, c_0101_10, c_0101_12, c_0101_13, c_0101_4, c_0101_6, c_0110_13, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 12635/64*c_1001_2^10 + 22313/32*c_1001_2^9 - 11859/32*c_1001_2^8 - 126407/64*c_1001_2^7 + 193475/64*c_1001_2^6 + 30883/32*c_1001_2^5 - 92323/32*c_1001_2^4 - 66909/64*c_1001_2^3 + 31253/16*c_1001_2^2 + 97955/64*c_1001_2 + 23241/64, c_0011_0 - 1, c_0011_10 - c_1001_2, c_0011_11 + 2*c_1001_2^10 - 9*c_1001_2^9 + 11*c_1001_2^8 + 15*c_1001_2^7 - 50*c_1001_2^6 + 26*c_1001_2^5 + 32*c_1001_2^4 - 25*c_1001_2^3 - 17*c_1001_2^2 + 6*c_1001_2 + 5, c_0011_12 - 21/4*c_1001_2^10 + 31/2*c_1001_2^9 + 5/2*c_1001_2^8 - 257/4*c_1001_2^7 + 217/4*c_1001_2^6 + 175/2*c_1001_2^5 - 181/2*c_1001_2^4 - 291/4*c_1001_2^3 + 61*c_1001_2^2 + 277/4*c_1001_2 + 75/4, c_0011_14 - c_1001_2^10 + 3*c_1001_2^9 - 11*c_1001_2^7 + 10*c_1001_2^6 + 13*c_1001_2^5 - 12*c_1001_2^4 - 13*c_1001_2^3 + 7*c_1001_2^2 + 14*c_1001_2 + 5, c_0011_2 + 21/4*c_1001_2^10 - 31/2*c_1001_2^9 - 5/2*c_1001_2^8 + 257/4*c_1001_2^7 - 217/4*c_1001_2^6 - 175/2*c_1001_2^5 + 181/2*c_1001_2^4 + 291/4*c_1001_2^3 - 61*c_1001_2^2 - 277/4*c_1001_2 - 75/4, c_0101_0 + 33/4*c_1001_2^10 - 59/2*c_1001_2^9 + 33/2*c_1001_2^8 + 333/4*c_1001_2^7 - 529/4*c_1001_2^6 - 71/2*c_1001_2^5 + 259/2*c_1001_2^4 + 123/4*c_1001_2^3 - 83*c_1001_2^2 - 233/4*c_1001_2 - 47/4, c_0101_10 + 1, c_0101_12 - 11/2*c_1001_2^10 + 19*c_1001_2^9 - 8*c_1001_2^8 - 119/2*c_1001_2^7 + 169/2*c_1001_2^6 + 39*c_1001_2^5 - 97*c_1001_2^4 - 51/2*c_1001_2^3 + 61*c_1001_2^2 + 85/2*c_1001_2 + 15/2, c_0101_13 - 33/4*c_1001_2^10 + 59/2*c_1001_2^9 - 33/2*c_1001_2^8 - 333/4*c_1001_2^7 + 529/4*c_1001_2^6 + 71/2*c_1001_2^5 - 259/2*c_1001_2^4 - 123/4*c_1001_2^3 + 83*c_1001_2^2 + 233/4*c_1001_2 + 47/4, c_0101_4 + c_1001_2^10 - 3*c_1001_2^9 + 11*c_1001_2^7 - 10*c_1001_2^6 - 13*c_1001_2^5 + 12*c_1001_2^4 + 13*c_1001_2^3 - 7*c_1001_2^2 - 14*c_1001_2 - 5, c_0101_6 + 11/2*c_1001_2^10 - 19*c_1001_2^9 + 8*c_1001_2^8 + 119/2*c_1001_2^7 - 169/2*c_1001_2^6 - 39*c_1001_2^5 + 97*c_1001_2^4 + 51/2*c_1001_2^3 - 61*c_1001_2^2 - 85/2*c_1001_2 - 15/2, c_0110_13 - 35/4*c_1001_2^10 + 59/2*c_1001_2^9 - 21/2*c_1001_2^8 - 375/4*c_1001_2^7 + 491/4*c_1001_2^6 + 145/2*c_1001_2^5 - 275/2*c_1001_2^4 - 261/4*c_1001_2^3 + 91*c_1001_2^2 + 323/4*c_1001_2 + 77/4, c_1001_2^11 - 3*c_1001_2^10 + 11*c_1001_2^8 - 10*c_1001_2^7 - 13*c_1001_2^6 + 12*c_1001_2^5 + 13*c_1001_2^4 - 7*c_1001_2^3 - 13*c_1001_2^2 - 6*c_1001_2 - 1, c_1100_0 - 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0011_2, c_0101_0, c_0101_10, c_0101_12, c_0101_13, c_0101_4, c_0101_6, c_0110_13, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 6418546278375754263511602540659139992904497699352188091963055514741\ 209199848362269639722486823619426500008306920794471665525084655517/\ 2733379496490040410799895903583582498222265228851825942918007531363\ 803591566274673611021897665517962581259161119421278158586795970025*\ c_1001_2^35 - 28541529689746713226950740672046642834043383685978739\ 5869894602964946838102400711026112136208443434400230729727111657046\ 21118992307188/2733379496490040410799895903583582498222265228851825\ 9429180075313638035915662746736110218976655179625812591611194212781\ 58586795970025*c_1001_2^34 - 12122205729456317903624431131781772447\ 3053534765870809959064815234528328421879737883184126811349074205680\ 072455205683728067581195961062/273337949649004041079989590358358249\ 8222265228851825942918007531363803591566274673611021897665517962581\ 259161119421278158586795970025*c_1001_2^33 - 5686219607538819160244460529069371932483445917455618195660909674072\ 4109441783982762407202973151885585253703526758791679550173093031728\ /546675899298008082159979180716716499644453045770365188583601506272\ 760718313254934722204379533103592516251832223884255631717359194005*\ c_1001_2^32 - 48401151590293878795862754057218072832849546994804472\ 9486154336578167576009512485761747041690591942737762525432300447120\ 822806451677506/273337949649004041079989590358358249822226522885182\ 5942918007531363803591566274673611021897665517962581259161119421278\ 158586795970025*c_1001_2^31 - 1334732246206332163663626576574620199\ 0455929250859641061541262531041037580422914648186004390823733978907\ 9685430042801448736263478456453/27333794964900404107998959035835824\ 9822226522885182594291800753136380359156627467361102189766551796258\ 1259161119421278158586795970025*c_1001_2^30 + 2266549540626849616560893957182365444960719692441258153300289851599\ 2823553606439695055455258457286508072409995122419951529157021378218\ 8/27333794964900404107998959035835824982222652288518259429180075313\ 6380359156627467361102189766551796258125916111942127815858679597002\ 5*c_1001_2^29 - 263952561293081111101658416588422478581221818190349\ 3966122340341519024191297524875183800040092791924066605767499893917\ 0503577597920382/27333794964900404107998959035835824982222652288518\ 2594291800753136380359156627467361102189766551796258125916111942127\ 8158586795970025*c_1001_2^28 + 842322930514150521029797046058722595\ 0600683769619894979852546763354066284182620912943508779675388059361\ 25486790773215273029330162735208/2733379496490040410799895903583582\ 4982222652288518259429180075313638035915662746736110218976655179625\ 81259161119421278158586795970025*c_1001_2^27 + 2539475011944011915260825964880544555427763014555339349691284512186\ 5087945748407751443129715365437191281090557341536440081764287063941\ 68/5466758992980080821599791807167164996444530457703651885836015062\ 7276071831325493472220437953310359251625183222388425563171735919400\ 5*c_1001_2^26 + 264013039500893217707455626060141433673279632395394\ 1747245649193690541116658541292654516238997747609527980971778069066\ 6210635564095869993/27333794964900404107998959035835824982222652288\ 5182594291800753136380359156627467361102189766551796258125916111942\ 1278158586795970025*c_1001_2^25 + 228430958132238820034440697057991\ 7248415733517716148349591835263748261021517673674025782654863641302\ 319763791421006771673282655809774612/273337949649004041079989590358\ 3582498222265228851825942918007531363803591566274673611021897665517\ 962581259161119421278158586795970025*c_1001_2^24 - 3498285956591057631685702499375461729265352080673403805626553230597\ 3871505757442586461550852018535873827915902264441188126421735788463\ 459/273337949649004041079989590358358249822226522885182594291800753\ 1363803591566274673611021897665517962581259161119421278158586795970\ 025*c_1001_2^23 + 1199875606239217435602918555890757099723722709539\ 1642058707024494292412120706650520462256002374051755008796774204643\ 726427682561262911657/273337949649004041079989590358358249822226522\ 8851825942918007531363803591566274673611021897665517962581259161119\ 421278158586795970025*c_1001_2^22 + 3219404940532290675060546901246625715868170485918576285228827170892\ 2256219275407474751907261526651123649161532900138062368070458388690\ 93/7809655704257258316571131153095949994920757796719502694051450089\ 6108674044750704960314911361871941788035976031983465090245337027715\ *c_1001_2^21 - 5166426780447731859070832862999431754176557748977967\ 9626427298561397700550897838374375284036948091412533285101074213315\ 90291166352106428/1607870292052964947529350531519754410718979546383\ 4270252458867831551785832742792197711893515679517426948583300702478\ 1068152164468825*c_1001_2^20 - 407009625863738283770076435513471079\ 6567323767707918674146455519552191793257565078832026443948625813491\ 17004511542896621737096395062644507/2733379496490040410799895903583\ 5824982222652288518259429180075313638035915662746736110218976655179\ 62581259161119421278158586795970025*c_1001_2^19 - 4984523505193280051256997050182744885478906792776778256446714864567\ 5459330889384810258048572977088066929659056502519696102244480140930\ 8389/27333794964900404107998959035835824982222652288518259429180075\ 3136380359156627467361102189766551796258125916111942127815858679597\ 0025*c_1001_2^18 - 560848811293553933570383206188308394564051896245\ 5546000256302649549164558755770740684836988585656254934899786986417\ 98580257101911664768042/2733379496490040410799895903583582498222265\ 2288518259429180075313638035915662746736110218976655179625812591611\ 19421278158586795970025*c_1001_2^17 - 8994495450638763545690997046645715982095625829336469756205544383870\ 7486753213688027886422971210597277886442565619778743600851971856186\ 7528/27333794964900404107998959035835824982222652288518259429180075\ 3136380359156627467361102189766551796258125916111942127815858679597\ 0025*c_1001_2^16 - 138294308180086569347324858789293582031295788914\ 3565945557722323249647497815773140631512731717803858334799298598767\ 736218293673200140365912/273337949649004041079989590358358249822226\ 5228851825942918007531363803591566274673611021897665517962581259161\ 119421278158586795970025*c_1001_2^15 - 2371856036313189725886415433619376708526765991097262519127200339324\ 2506035143518606263672334889703927141473613831742270463510674501674\ 3914/39048278521286291582855655765479749974603788983597513470257250\ 4480543370223753524801574556809359708940179880159917325451226685138\ 575*c_1001_2^14 - 2911817398216614939944754790147497847424904185824\ 6039080665181811024445997118067796059160447745421130042638717315577\ 92397938333316905711347/2733379496490040410799895903583582498222265\ 2288518259429180075313638035915662746736110218976655179625812591611\ 19421278158586795970025*c_1001_2^13 - 2256981224717783922115609254571616352396291193311207345904479778125\ 9725257276800649448564101215185467676655890302700532660584273874490\ 65444/2733379496490040410799895903583582498222265228851825942918007\ 5313638035915662746736110218976655179625812591611194212781585867959\ 70025*c_1001_2^12 - 35034153948436278993587605228945511034022847905\ 7351172604640026666877826072563693575526840312327679691559519417868\ 664943032620317948832648/390482785212862915828556557654797499746037\ 8898359751347025725044805433702237535248015745568093597089401798801\ 59917325451226685138575*c_1001_2^11 + 5912528738578377963420179164694789601222911838261543248391287020556\ 0539524770865822719105216298059962523323453901263591576955845357038\ 41/2484890451354582191636269003257802271111150208047114493561825028\ 5125487196057042487372926342413799659829628737449284346896243599727\ 5*c_1001_2^10 - 124846864676603004001047305310105068147899412944270\ 9645571586646409911829888230892250536531978302159078971317252095888\ 660164100660057980441/273337949649004041079989590358358249822226522\ 8851825942918007531363803591566274673611021897665517962581259161119\ 421278158586795970025*c_1001_2^9 + 1565806062337905239049674623052133365913369067287397618933893592998\ 2651193234786519229415260287201171630992508987091859215967463521215\ 80177/2733379496490040410799895903583582498222265228851825942918007\ 5313638035915662746736110218976655179625812591611194212781585867959\ 70025*c_1001_2^8 - 190056806661929585887023947161828401623664388249\ 8906946224832752775810294062436653768603993204723372513783346337880\ 85051976446511005854342/2484890451354582191636269003257802271111150\ 2080471144935618250285125487196057042487372926342413799659829628737\ 4492843468962435997275*c_1001_2^7 + 1574418363137362941477094772177390466226921079822252943530910606927\ 3083375879325710273390528878752606435878247855164087962701103832196\ 37604/2733379496490040410799895903583582498222265228851825942918007\ 5313638035915662746736110218976655179625812591611194212781585867959\ 70025*c_1001_2^6 - 221925041164231470358835772209819086635870307104\ 1124918606219972025317071982570320556526833597634761197466119710074\ 919024363127537393034948/273337949649004041079989590358358249822226\ 5228851825942918007531363803591566274673611021897665517962581259161\ 119421278158586795970025*c_1001_2^5 + 1483728842324693250296602183031288320848919377976052788574080476273\ 2517580370787241429799841324028842161323933235265475904550419359105\ 23094/2733379496490040410799895903583582498222265228851825942918007\ 5313638035915662746736110218976655179625812591611194212781585867959\ 70025*c_1001_2^4 - 251066448119177787859454673699464792411111100835\ 7180554943678527079843216199299048962948377765004130802245535443511\ 9884978194913840846941/78096557042572583165711311530959499949207577\ 9671950269405145008961086740447507049603149113618719417880359760319\ 83465090245337027715*c_1001_2^3 + 707130670077827082858110163766668\ 5975234354571920272562994890201829171899352304587413953422798748000\ 47576420291777826368318895368178988999/2733379496490040410799895903\ 5835824982222652288518259429180075313638035915662746736110218976655\ 17962581259161119421278158586795970025*c_1001_2^2 - 3120190440119086991068165013036117484360580536079165333877770772492\ 9790501173395978102089369064351162613332148413063305079058750145044\ 9299/27333794964900404107998959035835824982222652288518259429180075\ 3136380359156627467361102189766551796258125916111942127815858679597\ 0025*c_1001_2 + 631545603563187075128322735637139124622415492876024\ 1743423572234970467460266396812796183025366893196115672803560153032\ 0077485125277317014/27333794964900404107998959035835824982222652288\ 5182594291800753136380359156627467361102189766551796258125916111942\ 1278158586795970025, c_0011_0 - 1, c_0011_10 + 72393267794596630103691150045859139264478692269446799390723\ 851143837848725411291174865051131654300918480823123595215768323/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 35 + 37284919795745942432132013958345317591558119452947738753181705\ 5493912323580486663109535514966565515225618236486967994649569/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^34 + 16021131039180310833057417105716991231957268244437836716174420985\ 09791419291536690601020780831744964703558840698408123935703/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^33 + 4262865903353435120454674734307238814628067817956010356699016559051\ 528269104308994926584420382293094329004224396908857592537/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^32 + 8149654867040262317919839504786388738962616109600441156501412774825\ 867103078809880863465173548039549996786123169895189381846/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^31 + 6876571423506635299569729512105181902722091167140445045779674145082\ 475548484002075895717178818711083445509795924516308088566/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^30 + 2023307731711741331793804432507881957689449194101968084573714014780\ 279323905629313745047340207082395531149157593127138151486/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^29 + 3719253676637763505444697923905795987446847073739009680425584771898\ 068804441515709835776222033141769124386587585924213600284/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^28 - 7142075067569616029902857066034121093377499143446274659756318845270\ 422346486208983182975615046818808295031075740049363740712/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^27 - 1518490580821077619465659666078226605290906588342865668335940199574\ 70527906788786878974577274885478008011047379372008709114275/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^26 - 3989207132781016437329312619362011107903713298912103856468692163891\ 21082453952706931499106156629239950146036163927970343931419/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^25 - 2573988891177731653855275228131511358145877727276156263711151516290\ 15153758994407428360580263772152192200281822476098118259162/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^24 + 2255787895228372598301720711300566231458539811475526367918785978810\ 15652765198459717503700693291909519787306626237371496178277/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^23 - 1379137994837540777363708714070685046207375842465635774576091652133\ 06125552122981600303424245897629826586096953965884840388857/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^22 - 1399781092980700405555948925861706626917756992907235734730096446390\ 166879850375564313212066968353325435252790499107920227830969/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^21 + 4262508224418202358799007474774191239552030861299421076020306003956\ 43920402557343870448445594299346604185012493296622250564047/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^20 + 5073343644846692094039286078118628296235671879389286958490277031270\ 528813682309644007973658425723389425477821688740607445239682/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^19 + 7773996003368439891895307046383891492727233772586156976982096246831\ 566121172985887396896088251784618003401830843888288715707910/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^18 + 1133160450036331064493378955021718974220481146566904463720401335232\ 3614526863467146126588333529339557745647141296104441140759623/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^17 + 19517122577887669631556350544872353348759551726065778490939815890\ 069901881100806496125544318285722983954557161628568792158019026/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 16 + 28724184781703453762009130826464841580910771479752857092308973\ 941650683792406219857303619111053518653985137734228655561192389487/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^15 + 36459862976874684489737657191670982218597779188563785473761\ 6891200507682453731840798193725253243348171216573402245279247634024\ 50/4913278203370404728890299561557691094634009309040265928940830506\ 203754265162044980202259286685872399373134698457594532258278517*c_1\ 001_2^14 + 57735257522917311988081306288463399710329033237452562660\ 5085801432016751418358421149341044493828374697254241926159318395604\ 71607/4913278203370404728890299561557691094634009309040265928940830\ 506203754265162044980202259286685872399373134698457594532258278517*\ c_1001_2^13 + 66456632831061229122929336572722239252817652515121440\ 5994831130160567064814621085990858887091257144328983172612703118302\ 46782099/4913278203370404728890299561557691094634009309040265928940\ 8305062037542651620449802022592866858723993731346984575945322582785\ 17*c_1001_2^12 + 68416375246524943214624748700459640247712187059598\ 1481445546936489649567039805728271504134275816503909640827447563952\ 46886883457/4913278203370404728890299561557691094634009309040265928\ 9408305062037542651620449802022592866858723993731346984575945322582\ 78517*c_1001_2^11 + 52808906303592805063637978678654529272048025596\ 3234901637361882514936370038669276074559495585978385117629615830717\ 68627608308750/4913278203370404728890299561557691094634009309040265\ 9289408305062037542651620449802022592866858723993731346984575945322\ 58278517*c_1001_2^10 + 47482347585785966251980735356465394672457164\ 3594544777143064648861889485441995067822280348360182961516792420498\ 09614071246828012/4913278203370404728890299561557691094634009309040\ 2659289408305062037542651620449802022592866858723993731346984575945\ 32258278517*c_1001_2^9 + 200319746109815990455597683490450988100633\ 2435719544884661348801337254804786046527905357672536963505563652114\ 4811518649904824592/49132782033704047288902995615576910946340093090\ 4026592894083050620375426516204498020225928668587239937313469845759\ 4532258278517*c_1001_2^8 + 2495569988556775288356444128172209270896\ 8131274560545755385836290051723144617870891828062618803827107100045\ 199507127467225860370/491327820337040472889029956155769109463400930\ 9040265928940830506203754265162044980202259286685872399373134698457\ 594532258278517*c_1001_2^7 + 12944836026609785955082083656798541437\ 5065125088924312865905135976486813110790296324654433429930834893439\ 93593425520462253385997/4913278203370404728890299561557691094634009\ 3090402659289408305062037542651620449802022592866858723993731346984\ 57594532258278517*c_1001_2^6 + 142900466182304541077673022058886105\ 5621098674959710080464578561572242665153378930538562321740647019048\ 3064047750794085681624107/49132782033704047288902995615576910946340\ 0930904026592894083050620375426516204498020225928668587239937313469\ 8457594532258278517*c_1001_2^5 + 1493645835191069414355527842819228\ 7381820190302289127245875693992883703594098055437908709383624847333\ 247641285653212432865799220/491327820337040472889029956155769109463\ 4009309040265928940830506203754265162044980202259286685872399373134\ 698457594532258278517*c_1001_2^4 + 3290068679636907186170273421934870988927493421192703630257755362569\ 776138996581867693022674714114627044206602369247417657967965/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^3 + 4909379516084289287322973156361366572394732249383971861964572158277\ 873502181967574430898419368916618800634331532593579550012657/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^2 - 5297730103106844024561728849813324591294662720277448154946436166362\ 05546513280606798282113092610981622378979727608441693945132/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2 + 3450539672293534403504473468119813987588805868500178920056391967492\ 002537824626832268501065861732251529211041516297216653857067/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517, c_0011_11 - 37874360932758816991417294730789986749684855958323043690235\ 9904229819566204743038804452918766185226340390154174501045332497/49\ 1327820337040472889029956155769109463400930904026592894083050620375\ 4265162044980202259286685872399373134698457594532258278517*c_1001_2\ ^35 - 1926244496618432285204701341659864858921760521416690933740388\ 025790010408873887643225426190154578577510973642667387968114826/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 34 - 84876259811306491149697694143484182782655402492494964410623606\ 78394076468572446966305700059765771553378077630478606331061553/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 3 - 226804356972406481997007008388402071501679675030606244421684500\ 69234790064679993761425813996042236075186065321686231965517481/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 2 - 450619047448147290246295195523707245559381895116716047356755891\ 61552315292944992613825311452721683954924724955116408760740544/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 1 - 414664633858092438255935913647751684225333790173440193643626761\ 33510231601442902634234684586873045240681352881360637896364603/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 0 - 211119383974575937107335159041449903994093114384919560555771024\ 71082954251452976439220786017129869857320859866984722429813133/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 9 - 169935204945043107232858775416588631470049863172756946477878632\ 70452652884805953579870274635813906887046457812640960108291180/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 8 + 451567047403863107884606483079982306434874186779853102817877567\ 43191408154871342805948905985054550861600986963230239984467999/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 7 + 780352551578840360804763228780861125465015914477490248659113681\ 845840045860049568940855279940568187732483797424284598124804068/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 26 + 20707329937612959571095008813202472316558513585348133883610545\ 13575691311974942935891708931222524231524605374194444844236197589/4\ 9132782033704047288902995615576910946340093090402659289408305062037\ 54265162044980202259286685872399373134698457594532258278517*c_1001_\ 2^25 + 166677664710360300352476624818265366026282984209134157351444\ 4570857103979824327400435462039294472350689177529779262300558577575\ /491327820337040472889029956155769109463400930904026592894083050620\ 3754265162044980202259286685872399373134698457594532258278517*c_100\ 1_2^24 - 5405562078547377837601162812890371660596779232783902451654\ 9029000452889325374607069237527980906778110554758351873878232802627\ 4/49132782033704047288902995615576910946340093090402659289408305062\ 03754265162044980202259286685872399373134698457594532258278517*c_10\ 01_2^23 + 410755597303303244476966756073815449983963519362488771260\ 2155228374680834517456045564761030100474391630957300605787398150180\ 14/4913278203370404728890299561557691094634009309040265928940830506\ 203754265162044980202259286685872399373134698457594532258278517*c_1\ 001_2^22 + 62058110583568175862594433713088579359849799550814569350\ 0626696484064298399469109392481030178464309569600550039348290749888\ 6144/49132782033704047288902995615576910946340093090402659289408305\ 06203754265162044980202259286685872399373134698457594532258278517*c\ _1001_2^21 - 118868563328291630210018060446292927446670094224866620\ 1594747320460228192060790971121921643917596632569889993097814027181\ 381728/491327820337040472889029956155769109463400930904026592894083\ 0506203754265162044980202259286685872399373134698457594532258278517\ *c_1001_2^20 - 2283416562531208834883689065450947430105104536544199\ 0436803615118287714937625738922505960651384107598951957445901425819\ 939206706/491327820337040472889029956155769109463400930904026592894\ 0830506203754265162044980202259286685872399373134698457594532258278\ 517*c_1001_2^19 - 4519201325095272464763149082145573628478068053592\ 0326207766970488342018792134755738304711600360160725295839367595940\ 632917351235/491327820337040472889029956155769109463400930904026592\ 8940830506203754265162044980202259286685872399373134698457594532258\ 278517*c_1001_2^18 - 6930103157690417886709653912088612955148903441\ 6950338683683978049350930901185629527796073050717442673923941027834\ 108278198180250/491327820337040472889029956155769109463400930904026\ 5928940830506203754265162044980202259286685872399373134698457594532\ 258278517*c_1001_2^17 - 1061621614716164161980903411869371738128956\ 3345977247581541051769584303125422717421727411164075702488014838078\ 7614062987951478722/49132782033704047288902995615576910946340093090\ 4026592894083050620375426516204498020225928668587239937313469845759\ 4532258278517*c_1001_2^16 - 158098680080600611001163253146516501896\ 1651724394286260749959018424939936421087428324383847957096615762715\ 38073847885244004457315/4913278203370404728890299561557691094634009\ 3090402659289408305062037542651620449802022592866858723993731346984\ 57594532258278517*c_1001_2^15 - 21244645543674088695433759779465637\ 8088733849640856046361343984331531464975872982972831503377177287380\ 552034511315519456352043667/491327820337040472889029956155769109463\ 4009309040265928940830506203754265162044980202259286685872399373134\ 698457594532258278517*c_1001_2^14 - 3280282990784776090201185085013434604376403056553573794233967246043\ 69780336743625566402093693351919129568732762397053040586025908/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^1\ 3 - 366334513990491975545594867043672202541503248566610614298486420\ 883331934452161080567680924774247494907505303292763814091468423793/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^12 - 42081522102361436233856364736926223705714982197521295200905\ 1934025922366091988356070292126468277832194364000618362957949177448\ 811/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^11 - 2977064867038583013871672343413713919953618598556959434\ 5098785345108105904975300977948919177127750802067955014220095846794\ 8209697/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7*c_1001_2^10 - 288614348670907034048055013468015119414094005041267\ 9482273122526866376064848686073717384794387800556543759367830404133\ 72619875148/4913278203370404728890299561557691094634009309040265928\ 9408305062037542651620449802022592866858723993731346984575945322582\ 78517*c_1001_2^9 - 773823088907227631233310344721713767045635176988\ 2735762637396036390117735464235667018900468215889697964263091949921\ 0969049574272/49132782033704047288902995615576910946340093090402659\ 2894083050620375426516204498020225928668587239937313469845759453225\ 8278517*c_1001_2^8 - 1694925032609254577248514762491806894097148342\ 6561714235293682709311619753802918365573781397041486209696606158278\ 4967677182943224/49132782033704047288902995615576910946340093090402\ 6592894083050620375426516204498020225928668587239937313469845759453\ 2258278517*c_1001_2^7 + 1867120946930670027831146538151964764530612\ 8609035687090561513237359897605008816348463712950976185436647725420\ 704822138198562953/491327820337040472889029956155769109463400930904\ 0265928940830506203754265162044980202259286685872399373134698457594\ 532258278517*c_1001_2^6 - 13308882408022320252111016458517441008191\ 7352504204292795907854791840643186301432525113185611909009106741157\ 813222171615737131672/491327820337040472889029956155769109463400930\ 9040265928940830506203754265162044980202259286685872399373134698457\ 594532258278517*c_1001_2^5 + 18861309683339321753213391512914265386\ 5971823343934131094904873552441856176102289882777025627473089250908\ 70014260942011700457713/4913278203370404728890299561557691094634009\ 3090402659289408305062037542651620449802022592866858723993731346984\ 57594532258278517*c_1001_2^4 - 613885827905652252117939896242120299\ 0898235898878068146068090344046468241667896470979631053949982996643\ 4579790548813111237336007/49132782033704047288902995615576910946340\ 0930904026592894083050620375426516204498020225928668587239937313469\ 8457594532258278517*c_1001_2^3 + 1541449205880180452229167632278257\ 1471256182038333400358161735958986076750374698784352030004251209833\ 337802723064677490982726434/491327820337040472889029956155769109463\ 4009309040265928940830506203754265162044980202259286685872399373134\ 698457594532258278517*c_1001_2^2 - 1242341860510008885620544537511996089137890380009665811381833909781\ 2931024424392914490293290182010091929610726839358658691276544/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2 + 4145958873361622629033101063191690633954425036118165865271147273753\ 243111965280003864727084576309273117536715906274075321932973/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517, c_0011_12 - 36164704176164417033724227257082325311438302039256996637413\ 2988242525134279208700098733552671308310706914718814859078643119/49\ 1327820337040472889029956155769109463400930904026592894083050620375\ 4265162044980202259286685872399373134698457594532258278517*c_1001_2\ ^35 - 1774767211357881561018612929545929251595414243819434235664406\ 630118538922505460303135474110690856092577889413310825094959890/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 34 - 77497053849060290450273169602968351918938393285721281981594503\ 79498858808617019343600634504784549476520164594292669838313856/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 3 - 202788529702445719251503234223760548811494053118839026962290586\ 21827594666119489739882704794493492304667741032684199482206661/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 2 - 395312753013556959833898675831097326140586501415620565149716191\ 14754419902234316797615912998234821335954794206920557087388166/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 1 - 344091244411303265826413003679434974656315157078503431292751232\ 71523677362701379560425483682779813036838271556914001129028415/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 0 - 200627587637397500497991357819987109703077710467247770324251341\ 27562048608951983945525144012397197681291128664042348981771195/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 9 - 277398846096918865596541501318142494206053754540661980242797239\ 86169887881778826760995369559984685561291584550657360021669414/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 8 + 378296020753714869569778383659006010706412486703843213117707075\ 16983817685397148060587971690638214453914768721743489090375103/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 7 + 741562390170450292512240940609382859168585510868730962200586756\ 646173894150388476101109981829601355448542728501818720134100378/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 26 + 18352011924521703743908379876083106434585857737405080573341745\ 38227686872074728229624041889981415281973298417508743998929434080/4\ 9132782033704047288902995615576910946340093090402659289408305062037\ 54265162044980202259286685872399373134698457594532258278517*c_1001_\ 2^25 + 120764743870592144668047042953670754934658239634888373760790\ 5074756150059965028179093620849032832113210243792576176947033762885\ /491327820337040472889029956155769109463400930904026592894083050620\ 3754265162044980202259286685872399373134698457594532258278517*c_100\ 1_2^24 - 5302856892240888932096347057496565669355912597225681425712\ 0674299037175370779185096276011900853617308739145304181157839570863\ 5/49132782033704047288902995615576910946340093090402659289408305062\ 03754265162044980202259286685872399373134698457594532258278517*c_10\ 01_2^23 + 131646989481035607587755901496895414003489698719593104298\ 0176533587736870569728281122094245073684169846406560926647797552262\ 013/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^22 + 6179306244499843771388771821200496779768992330968304325\ 9567988331864058311992387547787431895158473325791690611896489133030\ 81103/4913278203370404728890299561557691094634009309040265928940830\ 506203754265162044980202259286685872399373134698457594532258278517*\ c_1001_2^21 - 31896450042247152786476549591765823232132648525327738\ 4253502457657478171473326437753008895299325226656484959150771947471\ 6326474/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7*c_1001_2^20 - 215490317648071419863318122548048374704087722364180\ 6938731920937799230263167374334561733450454517610244069634295926645\ 8632014753/49132782033704047288902995615576910946340093090402659289\ 4083050620375426516204498020225928668587239937313469845759453225827\ 8517*c_1001_2^19 - 353694538408798026436996680447617018056779656729\ 2585263488771703247331119355276640318740029888399590260407017633472\ 3355891843731/49132782033704047288902995615576910946340093090402659\ 2894083050620375426516204498020225928668587239937313469845759453225\ 8278517*c_1001_2^18 - 592929458249591278783565334077795101623046831\ 5635812541613861848996672866499374797461825143664253443228092120998\ 1449163315961966/49132782033704047288902995615576910946340093090402\ 6592894083050620375426516204498020225928668587239937313469845759453\ 2258278517*c_1001_2^17 - 100206211521167527005709172165206278085678\ 8919098723250958899852293833898306837328630475556203428337685676583\ 51003015496140088806/4913278203370404728890299561557691094634009309\ 0402659289408305062037542651620449802022592866858723993731346984575\ 94532258278517*c_1001_2^16 - 14532935278027678063685117799314085576\ 2646337045523898082903542661877178028804101504863053564128484546352\ 016654171897089048298286/491327820337040472889029956155769109463400\ 9309040265928940830506203754265162044980202259286685872399373134698\ 457594532258278517*c_1001_2^15 - 1910456759704396208919018692866546\ 7327993060305668355456944388465163742501441047876698752448190798937\ 8300640962873363937849126952/49132782033704047288902995615576910946\ 3400930904026592894083050620375426516204498020225928668587239937313\ 4698457594532258278517*c_1001_2^14 - 3050256064340663524473820150638474671621510339873376411439185294065\ 83504257635763398783313740106151393672684448383057309670764643/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^1\ 3 - 336481890321243830712534131370426349775137968109672851282690210\ 016191801790776641909289163481161381826722868818168628673832604240/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^12 - 38708236244869489478109017385786807717339156287990819977082\ 3495231188218027285102352064058220554043951367499539494897427035411\ 028/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^11 - 3050067387257139360240720391831196210701866731336801467\ 9827508606705740259112900291555538338888561924344657060463638896689\ 1035352/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7*c_1001_2^10 - 309621352127300690673549319812002429048350693026754\ 0965196642035844912174123350126356976005286198961172259692290002055\ 49370834412/4913278203370404728890299561557691094634009309040265928\ 9408305062037542651620449802022592866858723993731346984575945322582\ 78517*c_1001_2^9 - 117736625987455587910429874667057263508690587052\ 5396054946675107132163504543106781019814915352629817026070841861984\ 02858789190901/4913278203370404728890299561557691094634009309040265\ 9289408305062037542651620449802022592866858723993731346984575945322\ 58278517*c_1001_2^8 - 186963915284818282941785552112921307467699110\ 3515233657423519629962281308522566541282686258203761093646397371454\ 24332577821211106/4913278203370404728890299561557691094634009309040\ 2659289408305062037542651620449802022592866858723993731346984575945\ 32258278517*c_1001_2^7 - 162242959692147442240633121750482036701769\ 0866492536064490808792961536331804559141822644940967935458677130382\ 8710266719313435421/49132782033704047288902995615576910946340093090\ 4026592894083050620375426516204498020225928668587239937313469845759\ 4532258278517*c_1001_2^6 - 1097367000100841448282986496162110522557\ 8918984528079024045367139956588007979351061306637759429357315064928\ 8777027391343306230697/49132782033704047288902995615576910946340093\ 0904026592894083050620375426516204498020225928668587239937313469845\ 7594532258278517*c_1001_2^5 - 1294464122336173286058569568303426340\ 2049027299351488539321182736882308339167562319165504082702859888920\ 246847532238419520759022/491327820337040472889029956155769109463400\ 9309040265928940830506203754265162044980202259286685872399373134698\ 457594532258278517*c_1001_2^4 - 38623057291083159641288138820059283\ 0139096921277443917679291425477640974914393531154707208397018971061\ 47826069870698065121218958/4913278203370404728890299561557691094634\ 0093090402659289408305062037542651620449802022592866858723993731346\ 98457594532258278517*c_1001_2^3 - 988130542142034711653232186354918\ 5040594681135346561094748642674622203174692280882907944122736363953\ 514627410159486847086341938/491327820337040472889029956155769109463\ 4009309040265928940830506203754265162044980202259286685872399373134\ 698457594532258278517*c_1001_2^2 - 4620020400170933103279758182822368832595352110320341133873207081601\ 601055376515063353383865972357370665148379853994040081035291/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2 - 1931838612061750729048891709304508770293437964619008434572660729535\ 635025377730875153197755969366727486973781035788190523442022/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517, c_0011_14 - 33790632188939480762127925622197069396001948805337203531011\ 3824318991909597056262473861013310315406261677826794982612954270/49\ 1327820337040472889029956155769109463400930904026592894083050620375\ 4265162044980202259286685872399373134698457594532258278517*c_1001_2\ ^35 - 1701644166593722399935176804161865254899357288595637659790518\ 175444211108284030111264541118506946974077057090054416591396095/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 34 - 74461766987341780947217782256105286492587321623343779268706530\ 50046278699508952040367773753838031091839582815229102446770774/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 3 - 197543825889783329879426041118378416881189291429747764202751099\ 06488034912959934067910865379388219218123431266252887413482790/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 2 - 387830183326722180837171927387663679785389456212986700492850668\ 70656376728345588766613337526064871074755510888213522052213301/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 1 - 346774093827518411782258657298563416319141034012667414372177181\ 81937040713448545003509361016877274275501066581024740009656903/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 0 - 174886309770647878805313712395922053468818595489892713894370436\ 80616134401472080835542962842832582158753594222053037210342062/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 9 - 194129748404897660709355731243591956146910252260339764950173762\ 46800229749699836809507747953347359916101951750786756950990852/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 8 + 373386035960145235171843251034801654891362682936026806111063313\ 22027548437059275402870855669604571232557981531078417043647545/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 7 + 695977915712394718978781887749071237915770509665590780810198281\ 004004076773446505690298494649938735307672496344894071175971516/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 26 + 18028298935393996912320636085056727610298921973369882534083948\ 42133318739097546753087378151428772438045908948018680697309041269/4\ 9132782033704047288902995615576910946340093090402659289408305062037\ 54265162044980202259286685872399373134698457594532258278517*c_1001_\ 2^25 + 132100561751880485458491827177669773911836978222893399080717\ 6333555695079707983560035037031993299554181975287219281685076178712\ /491327820337040472889029956155769109463400930904026592894083050620\ 3754265162044980202259286685872399373134698457594532258278517*c_100\ 1_2^24 - 5673839346716117365961179188876653759151490298665056679846\ 0297760533059676430188467101769240278319375251707631046671112774820\ 0/49132782033704047288902995615576910946340093090402659289408305062\ 03754265162044980202259286685872399373134698457594532258278517*c_10\ 01_2^23 + 707846860811515925148473949720963425585819439503093302117\ 3023608721856738538578830187686489516438181915515694670652541060408\ 32/4913278203370404728890299561557691094634009309040265928940830506\ 203754265162044980202259286685872399373134698457594532258278517*c_1\ 001_2^22 + 57599006359337513525335633147380536413269173204107199946\ 7810767674941920348505422140123552128483412076201576213132549870653\ 6323/49132782033704047288902995615576910946340093090402659289408305\ 06203754265162044980202259286685872399373134698457594532258278517*c\ _1001_2^21 - 182386852170021386675332548752973675080294429505857535\ 6910137356481181148956100319960538867845775565305028440129388840683\ 846635/491327820337040472889029956155769109463400930904026592894083\ 0506203754265162044980202259286685872399373134698457594532258278517\ *c_1001_2^20 - 2067865814716821016380536042247764158717729007010279\ 0679201314074716698328992437069242144680138306517526317417119223886\ 724652568/491327820337040472889029956155769109463400930904026592894\ 0830506203754265162044980202259286685872399373134698457594532258278\ 517*c_1001_2^19 - 3713132626422638069311931529865785779819715216934\ 2929903779808743676079199990098037432371116391259138421419109199974\ 971271585373/491327820337040472889029956155769109463400930904026592\ 8940830506203754265162044980202259286685872399373134698457594532258\ 278517*c_1001_2^18 - 5844610326510245103720130242126258459064746989\ 4268328957135494174339021720595367312125807713194172540013887641644\ 580572193645175/491327820337040472889029956155769109463400930904026\ 5928940830506203754265162044980202259286685872399373134698457594532\ 258278517*c_1001_2^17 - 9385843617323816670317634137661706052027752\ 1470013683398931501429671887306573248032335532087939170015193823253\ 991945852332049235/491327820337040472889029956155769109463400930904\ 0265928940830506203754265162044980202259286685872399373134698457594\ 532258278517*c_1001_2^16 - 1380590045131151482488307292312434398516\ 0818658067896898500761858111282721011858475664970337203626541852397\ 4328001719251147263272/49132782033704047288902995615576910946340093\ 0904026592894083050620375426516204498020225928668587239937313469845\ 7594532258278517*c_1001_2^15 - 183257715926655175645489674332702038\ 2724097544240338389889901541937881484599648676250824228999574668905\ 20320323716551982739587483/4913278203370404728890299561557691094634\ 0093090402659289408305062037542651620449802022592866858723993731346\ 98457594532258278517*c_1001_2^14 - 2878331617107607630124648929258922735027383829359661151154207240583\ 95861950712642160966231427125957201941194677432798145639179837/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^1\ 3 - 322465835128550087809642365800384186524383144831789114422707375\ 246898014183765974941733939789801231235690412072386836393964917301/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^12 - 36603893686817055086665460948256614814942331147484446502820\ 6741569738252723734363385321764126081239203305573301606915157687716\ 246/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^11 - 2760240260337681295567844202434773402238797357588558379\ 9313427668285513131419669399643664368297031127454764943120521519792\ 2704131/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7*c_1001_2^10 - 269275624413779459251805680075136614091071108274769\ 8790129048850710016474934528736548210550978342908916519523593074715\ 09094611649/4913278203370404728890299561557691094634009309040265928\ 9408305062037542651620449802022592866858723993731346984575945322582\ 78517*c_1001_2^9 - 981768645950345459354086710667788844874409626757\ 6028132921882160353913428425426595221216628565726484817024533472303\ 4840702875688/49132782033704047288902995615576910946340093090402659\ 2894083050620375426516204498020225928668587239937313469845759453225\ 8278517*c_1001_2^8 - 1679371525644710409598367296295947754818634502\ 4486805003154519428184516087564834783636488217904945072896556883844\ 5928228396217827/49132782033704047288902995615576910946340093090402\ 6592894083050620375426516204498020225928668587239937313469845759453\ 2258278517*c_1001_2^7 - 2469699809739977986494751003713861927907052\ 5059308072760077060632393956300546465207459579546137473923769808703\ 849290980472926950/491327820337040472889029956155769109463400930904\ 0265928940830506203754265162044980202259286685872399373134698457594\ 532258278517*c_1001_2^6 - 12031602044905172470577141678059400650919\ 5790579252838148224575303767414393898952767346744517181023500348648\ 385367408315751996375/491327820337040472889029956155769109463400930\ 9040265928940830506203754265162044980202259286685872399373134698457\ 594532258278517*c_1001_2^5 - 25464513492620496649603585862714008397\ 5276136491151766360475642502691657600582326762487393553902795299151\ 79509078593686283106615/4913278203370404728890299561557691094634009\ 3090402659289408305062037542651620449802022592866858723993731346984\ 57594532258278517*c_1001_2^4 - 510537709489993224274644994530558804\ 8393143426334236610610564944105145898054612417151542788424499132036\ 5616979020686567397278268/49132782033704047288902995615576910946340\ 0930904026592894083050620375426516204498020225928668587239937313469\ 8457594532258278517*c_1001_2^3 - 7362673937091421495143500125943940\ 9287499272704214171080997041078258445374303614596052621919174207453\ 67010680983943884877408941/4913278203370404728890299561557691094634\ 0093090402659289408305062037542651620449802022592866858723993731346\ 98457594532258278517*c_1001_2^2 - 708391284480592848425561363391488\ 5989951860428943321969470878338731889226824789008803418810487853362\ 810068047762989875432927294/491327820337040472889029956155769109463\ 4009309040265928940830506203754265162044980202259286685872399373134\ 698457594532258278517*c_1001_2 - 2474034211804690350489499651417689\ 0573496295730295944289884371381019702437865637276034257900181552620\ 19079003458445513309050210/4913278203370404728890299561557691094634\ 0093090402659289408305062037542651620449802022592866858723993731346\ 98457594532258278517, c_0011_2 + 648791881033972951521374322231789997770823655743358805791572\ 889802281205364439812742215822556971672225468997016904052057465/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 35 + 29289929558279960038179833572847451133942669643215070132738281\ 07899611797416607072475142925316732849889563188548422487400826/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 4 + 127281883990477102406434968821099376582449484578753544344646114\ 69324365774690180964482837990627251612197998402575222237560079/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 3 + 310997125736985749821005461381979495720233336269756125062459399\ 93296534315540693271067515815666016938644837329328994555028892/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 2 + 574899206205988675457503673629324408134909396597113257509822945\ 97931826003691236571350418751426804517846800974871760495326757/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 1 + 349715643361917861431031875724089441744669321577661970269593877\ 22867315249862426840882031026450244430617497196280463659710860/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 0 + 134119795105005986575395955184289155686067059996196934584345486\ 21067633762503576340494778168810201004116781829760134178896065/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 9 + 331987047158359063500571193607798606438441689160824500881903685\ 18376211866015863464781671844011683365087642528730428105272221/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 8 - 791598492386929743132355995256652991379520664779551608697772717\ 71365622216020571931210106789411979638382719314966118307650586/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 7 - 128738295589835937181938234891016281479002866239969010947305791\ 0895451782866450319287749155913972769422769014052990061998868559/49\ 1327820337040472889029956155769109463400930904026592894083050620375\ 4265162044980202259286685872399373134698457594532258278517*c_1001_2\ ^26 - 2785924867844892695337834734271959628052116670172826191728588\ 006434746209182080817310804858168128904986448657005890673615467047/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^25 - 10051879507059237172476339771028591550007467916690442761811\ 6758786853447348191254217708451840095214017062063990072373404165178\ 5/49132782033704047288902995615576910946340093090402659289408305062\ 03754265162044980202259286685872399373134698457594532258278517*c_10\ 01_2^24 + 179043651256267568861953511843871359367979992276599079758\ 8433710192142451049936010579866641540261771973519167946034486716633\ 189/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^23 - 2382177620589819257657278604738386714275546293736796328\ 4885451532956482443229643267228947857332775024469005381824198106162\ 38142/4913278203370404728890299561557691094634009309040265928940830\ 506203754265162044980202259286685872399373134698457594532258278517*\ c_1001_2^22 - 10468499040532326673632074683557653446185394238052170\ 4513290752423868287263590750384586344566558938292226337283518021230\ 82887009/4913278203370404728890299561557691094634009309040265928940\ 8305062037542651620449802022592866858723993731346984575945322582785\ 17*c_1001_2^21 + 86148932232238857722727436254830433692469252295707\ 5695592411895739954403896867324250894123512918126564167029121363143\ 3208760480/49132782033704047288902995615576910946340093090402659289\ 4083050620375426516204498020225928668587239937313469845759453225827\ 8517*c_1001_2^20 + 362737014454384583112652806586829048928398816691\ 4474753908065798009221040455102194399596509668390597571493374366880\ 0108387570936/49132782033704047288902995615576910946340093090402659\ 2894083050620375426516204498020225928668587239937313469845759453225\ 8278517*c_1001_2^19 + 523884226862002327610098155003905656179583916\ 8171651191614238296624839068002573097161860565562609502091366185787\ 2668493437715838/49132782033704047288902995615576910946340093090402\ 6592894083050620375426516204498020225928668587239937313469845759453\ 2258278517*c_1001_2^18 + 810548431031727068782215388373157652581034\ 2503697786505449968438464576987076241372993576761257280806382833391\ 8623943421067015869/49132782033704047288902995615576910946340093090\ 4026592894083050620375426516204498020225928668587239937313469845759\ 4532258278517*c_1001_2^17 + 133609448678308002073480962154842348166\ 6053159649401972366729871794161390869606781001384023059164796368783\ 55394158721413513881856/4913278203370404728890299561557691094634009\ 3090402659289408305062037542651620449802022592866858723993731346984\ 57594532258278517*c_1001_2^16 + 19606220913436192466038119427213805\ 9619475308270828107161913500458179101039983013348125789689333112049\ 206941176821688009077931636/491327820337040472889029956155769109463\ 4009309040265928940830506203754265162044980202259286685872399373134\ 698457594532258278517*c_1001_2^15 + 2536071131118723102950704143863825485621535491406419947017090717012\ 70790560255191962280706881783747598464306185850197797688698537/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^1\ 4 + 423171867326996831572024078477719687024842034619695040591076542\ 870895788702340466650090305281958105041187916614361095838336173014/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^13 + 40194137976619405653611494881162982946231449737069057511473\ 6295513596033592512305782825223636124783546752791356143287519244199\ 865/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^12 + 4950110539779591694826918879569082317437894525153487205\ 5978140271226779025868457749619874089111307578404063482162251869500\ 9475933/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7*c_1001_2^11 + 284458730384190065495454887878708247438310916920592\ 6796055497656091993763504160145831261073511245316139090960180795048\ 42318432129/4913278203370404728890299561557691094634009309040265928\ 9408305062037542651620449802022592866858723993731346984575945322582\ 78517*c_1001_2^10 + 39785910318307106745809002174970117495246733020\ 8452202107034531700236373995589905456154318556622614216170733152444\ 099417715939663/491327820337040472889029956155769109463400930904026\ 5928940830506203754265162044980202259286685872399373134698457594532\ 258278517*c_1001_2^9 + 32743035473742811145394936917488450323576604\ 6213677024032912376143074460426690108921938305365524119206250439841\ 56908680301243819/4913278203370404728890299561557691094634009309040\ 2659289408305062037542651620449802022592866858723993731346984575945\ 32258278517*c_1001_2^8 + 340106693413434081923708578568896364600129\ 5118412396787543513275429918345540319857575543629587521858475728413\ 29544059720880501189/4913278203370404728890299561557691094634009309\ 0402659289408305062037542651620449802022592866858723993731346984575\ 94532258278517*c_1001_2^7 - 105441904717360251888550160190741906668\ 7612656020887745934670946029003602970627801959114757025872688923535\ 97641990161030511421087/4913278203370404728890299561557691094634009\ 3090402659289408305062037542651620449802022592866858723993731346984\ 57594532258278517*c_1001_2^6 + 270734222652354092407629858686745668\ 3378378694854811885149376075492381113812201568982586050923868629124\ 56172528855034320269302136/4913278203370404728890299561557691094634\ 0093090402659289408305062037542651620449802022592866858723993731346\ 98457594532258278517*c_1001_2^5 - 108996782317757781649953012278202\ 7346807294525279044690389668186498262127267088334158378935184073727\ 28944920539204223765902424639/4913278203370404728890299561557691094\ 6340093090402659289408305062037542651620449802022592866858723993731\ 34698457594532258278517*c_1001_2^4 + 1254748305114341232844056766199325761162653398992535892242554500762\ 84130615493200370272911899289303701619546816880016952157301226/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3 - 40779221224127240888677038436182302758131637215422460316297972369\ 833295490464686223385289114771195635889262893077975528630647297/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 2 + 304657536799566589064329683045611009334460940057255185718167674\ 34852980133238602856176100423507310145616848910434329178154929157/4\ 9132782033704047288902995615576910946340093090402659289408305062037\ 54265162044980202259286685872399373134698457594532258278517*c_1001_\ 2 - 661419537716778372316850016454639517782051502247863975915998572\ 8886122462032063572953273485580922542093311910806948259852773543/49\ 1327820337040472889029956155769109463400930904026592894083050620375\ 4265162044980202259286685872399373134698457594532258278517, c_0101_0 - 425661713357382109111722132709145848087016310830561679071386\ 828270924266403976565385414065454587375433726135031007241451886/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 35 - 22996706576153194092321117237893012877461318853633293441555285\ 39764362574737713806072616389568054962108794659026135529637401/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 4 - 989629492375145937901698676135407437617724739138091493905682639\ 3011846023202350205698225439134983292556541313722783500908576/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^33 - 26897066069363733723829984588021773529808050284184952267778590138\ 233727498182531895213699298953292553271495997202798138714424/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^32 - 5180086255215731762725215299103868697959073128359016281110523891817\ 0797143132569081102997656349791506254035824827322481010070/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^31 - 4494722760653734561602837808669661425137350938756858174794057430679\ 2892846134093548311900547434307197986394035492675917251689/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^30 - 5861776769931190536485831754246283518447945505300503058296637646628\ 803706816085754688666763073698438959991843329033516447067/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^29 - 4886197293523392949963971203578098754245665285498722943234945658758\ 995115720711321013241268802630169815771394342101010749256/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^28 + 4297944684714444326224941469309801836483963939576766818985376464262\ 0322265235668692352599987882984160750505477498578805877898/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^27 + 8963057308911203643995483371663842025625636234269805912816850688196\ 92133131043419523384048870429829729408073481036876883624679/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^26 + 2560539601677353759035399004254515927473040376532500975577361890555\ 455223860661142847939488398481233567991299332402858102206140/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^25 + 1932933614262532841285543111156842903852702253414992098935491375809\ 410220275911264019080574449400751131251538422595923682796139/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^24 - 1671396137941370774218725506193567719768205210376201686444720409337\ 528684429956098613768036138060118344126232404768833193107155/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^23 - 5531125958659706776910659494043120936972881263114139801272621185430\ 49441737135423327048776919739576406255328277835469355130070/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^22 + 8510386353322758869120918762157967898394302315345365007466442983726\ 322641970844931723778240633438372591834844689031425147038478/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^21 + 6677655519665648294080434634830281458727336714107198494788916760087\ 27517108396243382330011244628466547252692282399724046393208/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^20 - 3182783401384262831837863393121704851527627856406786697088699230309\ 8894318915761107767739540811387430627885075201414448781625829/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^19 - 56377169760434044404770858153246852445855420536525780024560038762\ 383682713767425598272622308235723595685579397878003587629672039/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 18 - 71990840369559484126402999712218567521661176009432599285342168\ 238899487670382972394088434143692496123813447037522662668368608232/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^17 - 11050939616250420266663136610094131567415356623860962913426\ 2757770925162765543606042089026892057235294836870012203890649602554\ 471/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^16 - 1706715263274456639669802002050352238561519423820935863\ 5460514609681490858407597431109746680415352164341943666514676258853\ 4707862/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7*c_1001_2^15 - 225423095396840094154201679594794523094251177782544\ 1928285295998408117386523791180639059142804481155262295476035193483\ 43101523494/4913278203370404728890299561557691094634009309040265928\ 9408305062037542651620449802022592866858723993731346984575945322582\ 78517*c_1001_2^14 - 34357076023037912214331802303833225513467796174\ 3187128147339591191509869418835546821644459890534744302170076688888\ 930279783913442/491327820337040472889029956155769109463400930904026\ 5928940830506203754265162044980202259286685872399373134698457594532\ 258278517*c_1001_2^13 - 4008828137926183716274308591749004704804244\ 2842189495159438115056099932083497641449073385084110574803495806084\ 2919781533022435899/49132782033704047288902995615576910946340093090\ 4026592894083050620375426516204498020225928668587239937313469845759\ 4532258278517*c_1001_2^12 - 395437215240164922399220014733533285377\ 7291760072441047982787328780043849005663722218812943752200557546522\ 78797760733659611506744/4913278203370404728890299561557691094634009\ 3090402659289408305062037542651620449802022592866858723993731346984\ 57594532258278517*c_1001_2^11 - 27358404312381309899710852197956066\ 5963690937151388255746057343339505670874341198531569676116714239265\ 990685369778055109437774236/491327820337040472889029956155769109463\ 4009309040265928940830506203754265162044980202259286685872399373134\ 698457594532258278517*c_1001_2^10 - 2201633843662735781332963885552410670484346036706059417579000335547\ 91028141547453085819487199712272447791145042677760812475943777/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^9 - 86932393310989919809867585727166256835233179867435047484371472467\ 765897393718626643318729957487535140375904193097209938065184729/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 8 - 121809805018947391464322940469962831518984671235968069851369414\ 396964829113081789459953550845794083999135877828339247782934706270/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^7 - 777026661932185174703942359504698012036796023305769780259930\ 8124975155449659280504706739071002190828567403378164772584543357195\ 4/49132782033704047288902995615576910946340093090402659289408305062\ 03754265162044980202259286685872399373134698457594532258278517*c_10\ 01_2^6 - 8345352976122332719933005868437489278354225033103421681001\ 3042622467281797468982489584681466568699130866534165846046505882278\ 702/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^5 - 58669949582129900502470466979124515578773984072523470667\ 2921483282707026102075056109099705140080521163302761756066735490398\ 51456/4913278203370404728890299561557691094634009309040265928940830\ 506203754265162044980202259286685872399373134698457594532258278517*\ c_1001_2^4 - 448110876935767268929797150907664773247588575830522272\ 3731897200616003881793758272712095991076281279473643163005336089530\ 461930/491327820337040472889029956155769109463400930904026592894083\ 0506203754265162044980202259286685872399373134698457594532258278517\ *c_1001_2^3 - 16359358159003868013284859607727737440833063779170472\ 1012471820967126839193136411886342049271109759013997786820391218532\ 22246178/4913278203370404728890299561557691094634009309040265928940\ 8305062037542651620449802022592866858723993731346984575945322582785\ 17*c_1001_2^2 + 718720814703548146689524830645662999906530170257944\ 7776604822504811512437891857594292057671577633819118302830464009824\ 20923472/4913278203370404728890299561557691094634009309040265928940\ 8305062037542651620449802022592866858723993731346984575945322582785\ 17*c_1001_2 - 52553685268612714517789325762571844847199310011447805\ 1141871993658514952161448697936271964798530909256293888435827215580\ 4411129/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7, c_0101_10 + 22217604397043632498776743042952889752577644312924018528278\ 0390880196527515946199353134349154370744258220116038245519461042/49\ 1327820337040472889029956155769109463400930904026592894083050620375\ 4265162044980202259286685872399373134698457594532258278517*c_1001_2\ ^35 + 1184326382369405155059265412546022560963122015589940881238970\ 631408795932317847331772049343108166614239736593228833715577566/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 34 + 51879089572912724376002050384469619809079961867926815044526345\ 82378882000202376230748526780516969772071593248271981930243103/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 3 + 141602530345827204653487752864059305885489987639874751047346625\ 37674126245832734873733986594227365750467974357633003515285333/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 2 + 281463144578025233952103384159580199399324705238658526976523830\ 71214684025420968060942554609721485511494856983965718971023875/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 1 + 266413368927199278278072005304397447237653404549625117501040694\ 57250820409589299304608322466777503517023387123555183389049993/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 0 + 105397152988547141688297395868461459958152245941721895886005267\ 10652274927021806894351198458655532996086464675971113015634749/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^2\ 9 + 681949702718899437375701149330978507907331432904004392267581899\ 7919459838718089948290923699737565424757378088007446034859982/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^28 - 23456811599073826575070136460730263867753249474972289286024996762\ 322954482291833372120026590812107841817369471617013455986504/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^27 - 4640378360954305460333340443114593258097884591919187873865372955130\ 87465817001079349223683094386934198058064423588699712565953/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^26 - 1318679694578445070426579786686403190271046130860990878425362526730\ 018173614697351122604469645173326918262047745645290454108355/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^25 - 1130396667541961133926333651108027189981841150568704616046336935032\ 932792694821342442261754129577162489895574264554062825800879/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^24 + 4784280660414296377437585864130058669219009682667113926072207501257\ 33219954870429902459729009825256997721041672845207214915999/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^23 + 1000899073350224699628716154391469741469026766186420642954100114879\ 38691049969485915969205384707149750480177855613367600956229/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^22 - 4032729786244030681623998982291533369156136009429686000233947588569\ 456280964786892253104146028066085468604304173351163393490939/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^21 - 2854000554670133791058991142076212916122782412176232963757794832772\ 09360058165667970514253629124674645867261856958949031589991/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^20 + 1491965521888447353861219124216273712446206401520197567145908440648\ 8787716551685218553267397099600188304804729585419126415890631/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^19 + 29688374051661003970038593465708150468277078785093312809061085898\ 268621938585986505869229788394232159039726860515080892195801006/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 18 + 41828385621965708543217280322362531921953371514872103367310948\ 993806519693299255823415655869487238064011431868851217161407901811/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^17 + 63786793352708158721650294894731772637998804608874968378370\ 7569906414293657527824357698520383824614399818106277854156423950464\ 14/4913278203370404728890299561557691094634009309040265928940830506\ 203754265162044980202259286685872399373134698457594532258278517*c_1\ 001_2^16 + 97591865243804532106471157604387974227460599195029874913\ 4135027261187899489069577321662859718907193304187582325190735425901\ 38007/4913278203370404728890299561557691094634009309040265928940830\ 506203754265162044980202259286685872399373134698457594532258278517*\ c_1001_2^15 + 13086409380123575946898348733696426241230220639071921\ 3202768194923179577969325278279293143633650669255700326057641391203\ 266081623/491327820337040472889029956155769109463400930904026592894\ 0830506203754265162044980202259286685872399373134698457594532258278\ 517*c_1001_2^14 + 1983892815339787101574471903928378205556184391791\ 7439480626492023288556229529134959549262057125409334499583276543487\ 6086874973897/49132782033704047288902995615576910946340093090402659\ 2894083050620375426516204498020225928668587239937313469845759453225\ 8278517*c_1001_2^13 + 231113502120738913891193431645694510215855762\ 3903399116930219185044102566784825280914512699704088039364896590418\ 87636244177863671/4913278203370404728890299561557691094634009309040\ 2659289408305062037542651620449802022592866858723993731346984575945\ 32258278517*c_1001_2^12 + 25175116366746489867128033412791828370583\ 0843450404525943026294249837673766185487238688286936312767013776277\ 913322324900535465266/491327820337040472889029956155769109463400930\ 9040265928940830506203754265162044980202259286685872399373134698457\ 594532258278517*c_1001_2^11 + 1808499176119635859324671660964902859\ 1322544199872368916827904667540833431673761052644576312332053116702\ 6003369123955216976707684/49132782033704047288902995615576910946340\ 0930904026592894083050620375426516204498020225928668587239937313469\ 8457594532258278517*c_1001_2^10 + 164262688118832537644810566434214\ 5206206952421781877162378744913996774953670188502087901969764743347\ 95822656211643836644777260158/4913278203370404728890299561557691094\ 6340093090402659289408305062037542651620449802022592866858723993731\ 34698457594532258278517*c_1001_2^9 + 5806889134128083421019146358656039772877766401713013487547616614863\ 5493452456924887985207123458873823454743992042212197492343465/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^8 + 9335982435803791634453828968945175716585564615695957090268128993440\ 7164582084781884885200239470930866750104941713600671200264458/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^7 + 1696389449243540535290142911745072652687750887158153419839366638287\ 2761585148081496035727028351376264370799215947048117822455147/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^6 + 7408267522882917132315890091345351561469352439774067972115986913559\ 5324674576523239177195902557604007495518096297117518655967560/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^5 + 5323007005063872194412203797315835105372824067802884320508759212310\ 203731359167814927517666206794936709921640463120512098833865/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^4 + 3335003143704704195064676217055319559943851967599596821656841978370\ 3884016876146508311810899624375070042366692642158928901462700/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^3 - 7736905254347725182924271292488832520907031668752362105681354755553\ 619142793006139706191603909572943017653213740008553586833195/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^2 + 3366019293319028313750781875425463022618954931894303180135657411450\ 484231879826178983559105276010980937093684857104439624524092/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2 - 3047488923816391400462635522204622980529495810316402160560073393706\ 530263446496633835278679392868526983429664186165810208868142/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517, c_0101_12 - 48543836534439237586069099652659286762938390836600809111289\ 279740308628502252567052557472482148373298389970798665883998740/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 35 - 14403300179422026999664518358297835085176718923339662546582781\ 1538822746069397040470570520915073505547034995022025735646703/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^34 - 59695317443715248683933801848648977257502670860895972040124024322\ 8700600821702813125663658579170973200556154730239117653364/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^33 - 7836667957159860496683812029840335930321227159093638166906815325277\ 31193764805993730878975690350370602077699630383499933430/4913278203\ 3704047288902995615576910946340093090402659289408305062037542651620\ 44980202259286685872399373134698457594532258278517*c_1001_2^32 - 3901477178839034909278619232414765667904822803636355715766284616188\ 70171475333761515644237867964399366941094697645141840015/4913278203\ 3704047288902995615576910946340093090402659289408305062037542651620\ 44980202259286685872399373134698457594532258278517*c_1001_2^31 + 4815458074718137186132119996457271577262954839873265393415788434117\ 566016882826244166009455542274576333962243264470205195978/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^30 + 4613628637483780999678150940929387493069114034849913752504463626605\ 983647181018376937226360263255847066279862046153332290760/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^29 + 6129695083226125002399645676828560612944564754176449082259146897972\ 31721890228521910731636913066051716916316565258249193786/4913278203\ 3704047288902995615576910946340093090402659289408305062037542651620\ 44980202259286685872399373134698457594532258278517*c_1001_2^28 + 1204489646560817994831402738015819569616908199532931488524407632421\ 6926508730078785656923074525885371874669664545377121215689/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^27 + 9071941041307258573328728031514562959903555131936680075533596949787\ 8323922966889809098258844462202583728549109930581211305376/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^26 + 5817851108764401477854968622334384218233135392225415180454153223035\ 6146716238717321901379007901891579642437750379271943546163/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^25 - 2790391129313241540281076299960646544388283226790513973036692871676\ 58143763169166783123170003814321805740980227012753428009793/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^24 - 3121393694212471756191351239592730760565780079650767796852629615673\ 20247969351843439605818245527753875197438696398755387861265/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^23 + 3543446766867350998230599337300745362405711218216701023719127275787\ 65116844289126074208798392479800522831019026494282466020277/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^22 + 4560529768821743382318234902922683999453426914684686177817398954693\ 12241744818116448382713264767204865057707499524258626573370/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^21 - 2062692496677327370955859575457262465667952022624530652196040261857\ 566888461283095925097806379602601303504700399916556205475459/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^20 - 1938977208819889648652073649220368881788677050225490958254370285481\ 988616029590599682449845789446074366941490750416427415058733/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^19 + 6492731450112397057209837585622384172090176821589804668351186610408\ 37566201215426530614296225602208877415425699152453895853725/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^18 + 5551945867053253650411621059756485636820256583570836958086681312316\ 76262584049338331180337988475534830373344083802001135067273/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^17 + 1235913131094774299052819237999269519500827700744554574806454964515\ 04614951505350930667777392719137946259131813151393408802910/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^16 + 3693720449804828740245855034049041544753340272241404746582086440863\ 970078049066566279428207801692004196936139197674214981767098/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^15 + 9090499878270814715471365829537265525555129170507754072891240093544\ 933063494683142883018304480818469621710935708446512977114567/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^14 + 4673967598660097937781853147026470332447795384321204914573249166321\ 525183817300218263204418785015842529350830727456704789904060/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^13 + 2919045439866110341255293904993316581553062362667917701096010348202\ 2354020278561232314286664112688843117230548713591059590268187/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^12 + 27089198094985138290776348073082045082534102009359762949201585666\ 734583186212559766788873167042897124430895742522881442874987014/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 11 + 53888304201465193035235077792185324660373989313811566639443200\ 013035052479169779138665087568933734986801205429728517056859091092/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^10 + 26999312560851281163857402592525340612507331331880606008468\ 1185950762443681172208386082258122071104119478116482309984413002797\ 43/4913278203370404728890299561557691094634009309040265928940830506\ 203754265162044980202259286685872399373134698457594532258278517*c_1\ 001_2^9 + 697206037323399078654003166461168373003126287780300152797\ 7458956671362318890419871951717717610627525785627205428257283518076\ 9738/49132782033704047288902995615576910946340093090402659289408305\ 06203754265162044980202259286685872399373134698457594532258278517*c\ _1001_2^8 + 6390078398056541663892157473670936939834511666524445002\ 1799309057990762755114007819727772733557846445052646826282115108130\ 25413/4913278203370404728890299561557691094634009309040265928940830\ 506203754265162044980202259286685872399373134698457594532258278517*\ c_1001_2^7 + 622439210981715694731252360680593303332997347132166664\ 6939632645606588822960389978632292728120370337228507375357313466881\ 6700145/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7*c_1001_2^6 - 1396958104433555236450120143000556647454026603170955\ 1414521765827380991696960526591794976342572378880819355435267299692\ 416076342/491327820337040472889029956155769109463400930904026592894\ 0830506203754265162044980202259286685872399373134698457594532258278\ 517*c_1001_2^5 + 44675446739323866390176506806860120465037673851542\ 7020462568520976216814706357159418671432658475571281695083946020456\ 71056330870/4913278203370404728890299561557691094634009309040265928\ 9408305062037542651620449802022592866858723993731346984575945322582\ 78517*c_1001_2^4 - 162718509653170427980692772690122598577762643847\ 5088376247780317815675467936080894261466118308403214572014691333663\ 0198271159940/49132782033704047288902995615576910946340093090402659\ 2894083050620375426516204498020225928668587239937313469845759453225\ 8278517*c_1001_2^3 + 1787235284317675763499850502607605013922928859\ 4980523391936242109680577305010614143821804250015364229741300902838\ 778424919415951/491327820337040472889029956155769109463400930904026\ 5928940830506203754265162044980202259286685872399373134698457594532\ 258278517*c_1001_2^2 - 45629729382928885394687106603639329502164794\ 5547272301162071931091666231548239187238610834120795580092443779693\ 7790405417160307/49132782033704047288902995615576910946340093090402\ 6592894083050620375426516204498020225928668587239937313469845759453\ 2258278517*c_1001_2 + 531211311148774794193862158497133542534271075\ 2283781543100614891029567028349651591367536956033277499799801187987\ 460317580434618/491327820337040472889029956155769109463400930904026\ 5928940830506203754265162044980202259286685872399373134698457594532\ 258278517, c_0101_13 - 46675190228553852748360559972018449749369712329212695623869\ 5766295890036369646313951071609618763444789600892547189086396843/49\ 1327820337040472889029956155769109463400930904026592894083050620375\ 4265162044980202259286685872399373134698457594532258278517*c_1001_2\ ^35 - 2622281485799021106750363343164734095348974313024714282919222\ 318878471084023795315305123315633196323080930651237761012715513/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 34 - 11427618320891145100527171715788497466543759116945600059974260\ 758268470087676693649246256221162538232013738219631539201962158/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 33 - 32021763614258482072848093533912622601656354049223770989908445\ 806000384055432368611509204378688617324527241413107351199155573/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 32 - 63993490850702269259971218253702978794553195523568022169747753\ 330536269761980772312907581459864825605221473071930791039138219/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 31 - 63881596496169555811468098968578550574377967925829640222286587\ 997838468343766764789359855658242446043544688298429981503066496/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 30 - 21715603362621743772884455600402818286803146156368064008728880\ 848902919681945473119546815151561115947355070180128129274522776/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 29 - 10951004595879540973733237293633861910535016146349495908774618\ 034336207379025411204597455003285428297760864509600590321833855/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 28 + 46920586309488794630926139826308215934530012720301872049614955\ 833142537778833347119846103404424024941708442361694457138945167/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 27 + 99887722719857957329670335438686948648508277525824438915086767\ 8050187390473143756506120068942352197405265366099615344823019964/49\ 1327820337040472889029956155769109463400930904026592894083050620375\ 4265162044980202259286685872399373134698457594532258278517*c_1001_2\ ^26 + 3029429729582214043708957008337876003786829588171554729215624\ 020556023713211207867366110535695595317860873526169420319558262012/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^25 + 27955223911672326788198332414401192019229262283447511828377\ 9221226852210405915416554338314860944428566905627314517181944889388\ 7/49132782033704047288902995615576910946340093090402659289408305062\ 03754265162044980202259286685872399373134698457594532258278517*c_10\ 01_2^24 - 115202690900454346758751942894416976737409044704686948449\ 8572070041130465652855637242190920529812369810375482024405787652746\ 342/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^23 - 7643346929575838653579413011126561818469854877248139219\ 3718470314255206832127181105168685999078667289267788733365326253336\ 9000/49132782033704047288902995615576910946340093090402659289408305\ 06203754265162044980202259286685872399373134698457594532258278517*c\ _1001_2^22 + 906327971587033496614113063611703070757619888461208155\ 1982963127285667588075907458122479664318231613177913445825913791332\ 855357/491327820337040472889029956155769109463400930904026592894083\ 0506203754265162044980202259286685872399373134698457594532258278517\ *c_1001_2^21 + 2331926327593100917849564778722692592916470228774225\ 2720187535443520651865610965434756213315867398008285867843530817812\ 47340788/4913278203370404728890299561557691094634009309040265928940\ 8305062037542651620449802022592866858723993731346984575945322582785\ 17*c_1001_2^20 - 34456209874958634362498393461079910777756558521970\ 2727654996865162879736729832095688341182393227591033524136957315272\ 66859154627/4913278203370404728890299561557691094634009309040265928\ 9408305062037542651620449802022592866858723993731346984575945322582\ 78517*c_1001_2^19 - 68837809093056506512167905774646137202069520263\ 3140851593815128275698247482022281507224986151927712805811955879937\ 75443479167943/4913278203370404728890299561557691094634009309040265\ 9289408305062037542651620449802022592866858723993731346984575945322\ 58278517*c_1001_2^18 - 94327756137514311530515719136067770034819549\ 2323574693874443794719119065271024083346270213640362064397876029345\ 29428973258730027/4913278203370404728890299561557691094634009309040\ 2659289408305062037542651620449802022592866858723993731346984575945\ 32258278517*c_1001_2^17 - 14452278233025868017721058828002324285655\ 4333545768359152185997369091082695473783163406745027175739012164040\ 508852555874640588052/491327820337040472889029956155769109463400930\ 9040265928940830506203754265162044980202259286685872399373134698457\ 594532258278517*c_1001_2^16 - 2215366816332904104247854054091674670\ 5016084991372268462410690764403023765034247867113421235006259597303\ 0992284931237511047406020/49132782033704047288902995615576910946340\ 0930904026592894083050620375426516204498020225928668587239937313469\ 8457594532258278517*c_1001_2^15 - 295106572521165706808986683438732\ 4593211501720132158949789725631890252325603231720574453829571862785\ 25825309674737133968628890857/4913278203370404728890299561557691094\ 6340093090402659289408305062037542651620449802022592866858723993731\ 34698457594532258278517*c_1001_2^14 - 4392253723233951654171701155262757338791441110982474945061776327547\ 46777902096357993813972720059836729946757753389222058409212509/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^1\ 3 - 534830684837015718511609097290489276224943824833496909682871181\ 581334248072832272705908683268523139390836955686791273881473598649/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^12 - 55005267330615772955999077391119699439980388853017909835752\ 3115434873326988820737346315879645680264848779899015254260290603601\ 124/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^11 - 4153499545685521716996034313270663076811741996219488731\ 5266977527040212608992599042367527625384824444884391421651126001904\ 4453454/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7*c_1001_2^10 - 322382117607410648731270166634289264460334615148467\ 4320718227642299169485745148596522968154756559958611703661859999925\ 56309532939/4913278203370404728890299561557691094634009309040265928\ 9408305062037542651620449802022592866858723993731346984575945322582\ 78517*c_1001_2^9 - 141473485286255050595178286991193748077206179287\ 4364190275264272020892685577222499463861946185647390665031032637220\ 23654326623489/4913278203370404728890299561557691094634009309040265\ 9289408305062037542651620449802022592866858723993731346984575945322\ 58278517*c_1001_2^8 - 131402791455774334758781257979362582216075647\ 7484651239548496185603028722518869648172695047860679557970904332842\ 02437426797293440/4913278203370404728890299561557691094634009309040\ 2659289408305062037542651620449802022592866858723993731346984575945\ 32258278517*c_1001_2^7 - 766840223422661403121629366639236513982691\ 8343755185910610377086425828990725128675089675315517864047594268513\ 6188440459024878542/49132782033704047288902995615576910946340093090\ 4026592894083050620375426516204498020225928668587239937313469845759\ 4532258278517*c_1001_2^6 - 8907579532092215944565215809589924028727\ 0387742584263815990390015933382180624072456026861633555178234177947\ 368480134201648574789/491327820337040472889029956155769109463400930\ 9040265928940830506203754265162044980202259286685872399373134698457\ 594532258278517*c_1001_2^5 - 72132188460595654549262036316586614936\ 8082088120873497338331974341847702049285009670394453265813061797265\ 30768694143737246909091/4913278203370404728890299561557691094634009\ 3090402659289408305062037542651620449802022592866858723993731346984\ 57594532258278517*c_1001_2^4 - 227488278477717389807574919606840523\ 5195570580657361878317876507867696584267416799705000036955214980891\ 4286221297701494713386772/49132782033704047288902995615576910946340\ 0930904026592894083050620375426516204498020225928668587239937313469\ 8457594532258278517*c_1001_2^3 - 1467438961224038613095518847519653\ 1577662837175844355060632553739906758275475512775859691565078433377\ 665340961782775010369527046/491327820337040472889029956155769109463\ 4009309040265928940830506203754265162044980202259286685872399373134\ 698457594532258278517*c_1001_2^2 + 8968962313358967199029659178517916957606739236312016349799270091812\ 92326831170364923826285413129116605480930141852962251075624/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2 - 8769321362747293807059737107527297404053640410834556033126569729168\ 23704269332986904480072150993358254459130297068940800566348/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517, c_0101_4 - 223489462349407230769415751480195127126845445460670284015956\ 995983460920907168548194615465366560755973097579364598520336810/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 35 - 11898405795416327839507699074468347748987059195727982194705088\ 31061142453261254032147942377964458080783968719946587817452373/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 4 - 528961736964441850124846667214774597270618099466422363588287096\ 7130052583538194723391075753030902146633764982508135442059389/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^33 - 14564501920183650467931855296423016496552762661162660144542947865\ 550524831907312485888717772092268811143218443845122303470683/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^32 - 2974066461118585942816807040304948330708844860047242273451811410116\ 6073252521523489112747472170219275262128271961140175988877/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^31 - 3027511163963157816409199890132570632452031521020679927408115537718\ 8498272888496152130396244837554391333446480265148702726036/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^30 - 1693359722922996068419343832871396262343013621287060782649773896433\ 8216989306586744653413120313945102234900867331449723245016/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^29 - 9845438913940994408723355734314711407129039785225428025132208874201\ 411555656528500556588628036708854589564435354075349939836/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^28 + 2421692911703814034073227101111859490340883360884477582156903972603\ 4546308954552814491156948786952727512810832988890828500966/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^27 + 4644015150344568101841274845945133511949032805559776757564043326274\ 31466522553058589366217755030125529252678455708621972853972/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^26 + 1334331803372821419947544707689535078157229910766693039562022485705\ 962260426617575376685004529358437861670339797462779811175985/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^25 + 1285950389342898942656742379561095570356820902924610742906202533447\ 477477534504674715927888196508880407370328662019497560730309/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^24 - 1560566162286302115378916174252098493700763013746243990584052909403\ 87549919267406731678030664365246358030240002031164504839338/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^23 - 2265035770957549429154256878603944771467831666926401890538964552803\ 3136581489417956792858140454743096214704563181915030354797/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^22 + 3742798827179692710047046942782615905176754619527175258634995510426\ 530779784751663979450880608522623672650052104940017873134157/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^21 + 4917434074550588269398127275976738254013839480005323707732631717093\ 65158204549752998489431184016973916557325540744132099371939/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^20 - 1373817715782191252942938056864376167613862519954930690472849310915\ 4510213317144748534524024688124215385769229766242887592314887/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^19 - 30904032213728830419137589218448100894429341620288097714770570670\ 042958591211943275793434530027449004040122947069672989453402672/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 18 - 46501814465510170690235054373132464487156900480129328483255236\ 209817558722413502098397226235226998338313562066197072082320502380/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^17 - 69929871059990838330982291341069911489482306729120411095335\ 8898281991176059603389771101795062454700916239131579557426778913311\ 93/4913278203370404728890299561557691094634009309040265928940830506\ 203754265162044980202259286685872399373134698457594532258278517*c_1\ 001_2^16 - 10658437080943208800193610842227825116996312721407916840\ 8160358342302590909036436670332031931255828856709885228068224943492\ 795636/491327820337040472889029956155769109463400930904026592894083\ 0506203754265162044980202259286685872399373134698457594532258278517\ *c_1001_2^15 - 1452046576635910083667209263404277398881513491993996\ 0241858560067827068116001339549085525350545131905960386512326375837\ 5534393387/49132782033704047288902995615576910946340093090402659289\ 4083050620375426516204498020225928668587239937313469845759453225827\ 8517*c_1001_2^14 - 218445544252298197247426748295982032676971010663\ 6239123856833432934151284527132755263091890495918259199672314361821\ 86246865090970/4913278203370404728890299561557691094634009309040265\ 9289408305062037542651620449802022592866858723993731346984575945322\ 58278517*c_1001_2^13 - 25622295371929635585132251765056909796549427\ 8714437662003600466985992822827119444823017937705386441672112577353\ 696815706291536907/491327820337040472889029956155769109463400930904\ 0265928940830506203754265162044980202259286685872399373134698457594\ 532258278517*c_1001_2^12 - 2957548097963919032272729728496391179288\ 1693794876000596729884728212376018392887452982760463602875101449267\ 5811134112309130810809/49132782033704047288902995615576910946340093\ 0904026592894083050620375426516204498020225928668587239937313469845\ 7594532258278517*c_1001_2^11 - 218514356544472682878902830967824969\ 7724999835308843782627955876784131292553649486486843007378828862708\ 12121119393772088812184367/4913278203370404728890299561557691094634\ 0093090402659289408305062037542651620449802022592866858723993731346\ 98457594532258278517*c_1001_2^10 - 2071346377608042813123810987167707100166943573593892200447069407739\ 60939796052210855187377627238304212354086866549255678745044430/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^9 - 75577654876654648046465528306543684493827158999206260458520450765\ 261787833281479312869534218179381906569284946892023259827886732/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 8 - 122460771037112523422875317904442208694330621538948010735670834\ 584528423474350325613416958350310294490202711328876854096590236552/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^7 - 678131331785160747016478295560114477588593280425337758892419\ 7419680697595526017384093738359729739870611776947998611194916134360\ /491327820337040472889029956155769109463400930904026592894083050620\ 3754265162044980202259286685872399373134698457594532258278517*c_100\ 1_2^6 - 10554523636700082854485103670935111021611652753562109609547\ 8119356439895818834338722874220647508500558481271529773906780086904\ 587/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^5 + 60369904508351817524033686384895768413569870513872435374\ 5755103996129448773591165855923720407833024753808008819753513451225\ 5823/49132782033704047288902995615576910946340093090402659289408305\ 06203754265162044980202259286685872399373134698457594532258278517*c\ _1001_2^4 - 6136550019715064870697832313519690426191382421496153606\ 9054696080463776068878692651147293851666378143634771008331096638756\ 729480/491327820337040472889029956155769109463400930904026592894083\ 0506203754265162044980202259286685872399373134698457594532258278517\ *c_1001_2^3 + 14402474607253916237690524543994776250069226268701259\ 4038654802244609076646194162501337106410296676195660632680291944448\ 05595685/4913278203370404728890299561557691094634009309040265928940\ 8305062037542651620449802022592866858723993731346984575945322582785\ 17*c_1001_2^2 - 217243655474100266836077391472453689670417689109867\ 7309589117652858485564933436642018920969868561551676510752147251771\ 3824770914/49132782033704047288902995615576910946340093090402659289\ 4083050620375426516204498020225928668587239937313469845759453225827\ 8517*c_1001_2 + 495955764353828512353676249507028007391066984650369\ 0514974927234024384459814268400563755252123211725765146100313315713\ 289856142/491327820337040472889029956155769109463400930904026592894\ 0830506203754265162044980202259286685872399373134698457594532258278\ 517, c_0101_6 + 485438365344392375860690996526592867629383908366008091112892\ 79740308628502252567052557472482148373298389970798665883998740/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 5 + 144033001794220269996645183582978350851767189233396625465827811\ 538822746069397040470570520915073505547034995022025735646703/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^34 + 5969531744371524868393380184864897725750267086089597204012402432287\ 00600821702813125663658579170973200556154730239117653364/4913278203\ 3704047288902995615576910946340093090402659289408305062037542651620\ 44980202259286685872399373134698457594532258278517*c_1001_2^33 + 7836667957159860496683812029840335930321227159093638166906815325277\ 31193764805993730878975690350370602077699630383499933430/4913278203\ 3704047288902995615576910946340093090402659289408305062037542651620\ 44980202259286685872399373134698457594532258278517*c_1001_2^32 + 3901477178839034909278619232414765667904822803636355715766284616188\ 70171475333761515644237867964399366941094697645141840015/4913278203\ 3704047288902995615576910946340093090402659289408305062037542651620\ 44980202259286685872399373134698457594532258278517*c_1001_2^31 - 4815458074718137186132119996457271577262954839873265393415788434117\ 566016882826244166009455542274576333962243264470205195978/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^30 - 4613628637483780999678150940929387493069114034849913752504463626605\ 983647181018376937226360263255847066279862046153332290760/491327820\ 3370404728890299561557691094634009309040265928940830506203754265162\ 044980202259286685872399373134698457594532258278517*c_1001_2^29 - 6129695083226125002399645676828560612944564754176449082259146897972\ 31721890228521910731636913066051716916316565258249193786/4913278203\ 3704047288902995615576910946340093090402659289408305062037542651620\ 44980202259286685872399373134698457594532258278517*c_1001_2^28 - 1204489646560817994831402738015819569616908199532931488524407632421\ 6926508730078785656923074525885371874669664545377121215689/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^27 - 9071941041307258573328728031514562959903555131936680075533596949787\ 8323922966889809098258844462202583728549109930581211305376/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^26 - 5817851108764401477854968622334384218233135392225415180454153223035\ 6146716238717321901379007901891579642437750379271943546163/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^25 + 2790391129313241540281076299960646544388283226790513973036692871676\ 58143763169166783123170003814321805740980227012753428009793/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^24 + 3121393694212471756191351239592730760565780079650767796852629615673\ 20247969351843439605818245527753875197438696398755387861265/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^23 - 3543446766867350998230599337300745362405711218216701023719127275787\ 65116844289126074208798392479800522831019026494282466020277/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^22 - 4560529768821743382318234902922683999453426914684686177817398954693\ 12241744818116448382713264767204865057707499524258626573370/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^21 + 2062692496677327370955859575457262465667952022624530652196040261857\ 566888461283095925097806379602601303504700399916556205475459/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^20 + 1938977208819889648652073649220368881788677050225490958254370285481\ 988616029590599682449845789446074366941490750416427415058733/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^19 - 6492731450112397057209837585622384172090176821589804668351186610408\ 37566201215426530614296225602208877415425699152453895853725/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^18 - 5551945867053253650411621059756485636820256583570836958086681312316\ 76262584049338331180337988475534830373344083802001135067273/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^17 - 1235913131094774299052819237999269519500827700744554574806454964515\ 04614951505350930667777392719137946259131813151393408802910/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^16 - 3693720449804828740245855034049041544753340272241404746582086440863\ 970078049066566279428207801692004196936139197674214981767098/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^15 - 9090499878270814715471365829537265525555129170507754072891240093544\ 933063494683142883018304480818469621710935708446512977114567/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^14 - 4673967598660097937781853147026470332447795384321204914573249166321\ 525183817300218263204418785015842529350830727456704789904060/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^13 - 2919045439866110341255293904993316581553062362667917701096010348202\ 2354020278561232314286664112688843117230548713591059590268187/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^12 - 27089198094985138290776348073082045082534102009359762949201585666\ 734583186212559766788873167042897124430895742522881442874987014/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 11 - 53888304201465193035235077792185324660373989313811566639443200\ 013035052479169779138665087568933734986801205429728517056859091092/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^10 - 26999312560851281163857402592525340612507331331880606008468\ 1185950762443681172208386082258122071104119478116482309984413002797\ 43/4913278203370404728890299561557691094634009309040265928940830506\ 203754265162044980202259286685872399373134698457594532258278517*c_1\ 001_2^9 - 697206037323399078654003166461168373003126287780300152797\ 7458956671362318890419871951717717610627525785627205428257283518076\ 9738/49132782033704047288902995615576910946340093090402659289408305\ 06203754265162044980202259286685872399373134698457594532258278517*c\ _1001_2^8 - 6390078398056541663892157473670936939834511666524445002\ 1799309057990762755114007819727772733557846445052646826282115108130\ 25413/4913278203370404728890299561557691094634009309040265928940830\ 506203754265162044980202259286685872399373134698457594532258278517*\ c_1001_2^7 - 622439210981715694731252360680593303332997347132166664\ 6939632645606588822960389978632292728120370337228507375357313466881\ 6700145/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7*c_1001_2^6 + 1396958104433555236450120143000556647454026603170955\ 1414521765827380991696960526591794976342572378880819355435267299692\ 416076342/491327820337040472889029956155769109463400930904026592894\ 0830506203754265162044980202259286685872399373134698457594532258278\ 517*c_1001_2^5 - 44675446739323866390176506806860120465037673851542\ 7020462568520976216814706357159418671432658475571281695083946020456\ 71056330870/4913278203370404728890299561557691094634009309040265928\ 9408305062037542651620449802022592866858723993731346984575945322582\ 78517*c_1001_2^4 + 162718509653170427980692772690122598577762643847\ 5088376247780317815675467936080894261466118308403214572014691333663\ 0198271159940/49132782033704047288902995615576910946340093090402659\ 2894083050620375426516204498020225928668587239937313469845759453225\ 8278517*c_1001_2^3 - 1787235284317675763499850502607605013922928859\ 4980523391936242109680577305010614143821804250015364229741300902838\ 778424919415951/491327820337040472889029956155769109463400930904026\ 5928940830506203754265162044980202259286685872399373134698457594532\ 258278517*c_1001_2^2 + 45629729382928885394687106603639329502164794\ 5547272301162071931091666231548239187238610834120795580092443779693\ 7790405417160307/49132782033704047288902995615576910946340093090402\ 6592894083050620375426516204498020225928668587239937313469845759453\ 2258278517*c_1001_2 - 531211311148774794193862158497133542534271075\ 2283781543100614891029567028349651591367536956033277499799801187987\ 460317580434618/491327820337040472889029956155769109463400930904026\ 5928940830506203754265162044980202259286685872399373134698457594532\ 258278517, c_0110_13 - 41519618158095915412210936146644325328108388631543076619163\ 4193920168515165065124073517705063311853723397834508941546069429/49\ 1327820337040472889029956155769109463400930904026592894083050620375\ 4265162044980202259286685872399373134698457594532258278517*c_1001_2\ ^35 - 2055956769471152007784752736864772036524071202942000404674210\ 211381736924093967018698609799521700780233057050888559033001349/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 34 - 87893369574136662999213871118753047301846673724828884330954077\ 54109407109171409686972693168237657053252822633233996847951752/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 3 - 226566527741604415668442854588445954411742676091012770865877866\ 59658129285155290061759829946819074959577847438634632301880723/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 2 - 420276169751291548229297393877955820969659040368732376894739074\ 23368271513561157130458956400038405114419455741730344761329337/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 1 - 299083622513364283998965091894038697195592089964580161855104942\ 37464595169105832779483078369551287792031700441151948629243500/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^3\ 0 - 273115235022582449900354628035256856848520619580142384263875182\ 5377667194686316199367898176266078259612576389365904451549190/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^29 - 15311739780620740391291335685999955917598176587694278294828402433\ 553808150632079772461188397876690547160949144349001349854325/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^28 + 4429481843897222089357852209055225555839212498877348197644229816922\ 5325545028620221493097379107096285540457273309200918038626/49132782\ 0337040472889029956155769109463400930904026592894083050620375426516\ 2044980202259286685872399373134698457594532258278517*c_1001_2^27 + 8566619906392789413612347050876738084117246986130390675746480971043\ 01455401207997250484573535220804921096135603438358861390070/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^26 + 2120961999176118717361008324870142295319549101293165056338386148126\ 529714383188612331176886360138795889424665808701786631338476/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^25 + 1066025638031053468937718706357282111587321298906118105409421883559\ 833518972700169575186377681727455672777789580257338946496837/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^24 - 1639274816955376939546297094228847106779767745236478575735249288940\ 811990323664420447550670090354468704370449554115283379379827/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^23 + 7740943986388578649252144360347495926325945232749418419367855810654\ 99287714026294445371682851446040664322003795059777727616855/4913278\ 2033704047288902995615576910946340093090402659289408305062037542651\ 62044980202259286685872399373134698457594532258278517*c_1001_2^22 + 7896464907338716893132892736853293048145781352358117046076213768766\ 902406875414908599024477894264927553771331819666494048128662/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^21 - 3360650729609807102334349468434991873160723128028431134648717571022\ 178119190181003813976499392829754949741842567684498505459807/491327\ 8203370404728890299561557691094634009309040265928940830506203754265\ 162044980202259286685872399373134698457594532258278517*c_1001_2^20 - 2854803675887045423758798298346398545895461185707670972085656637597\ 2112194545111712236353786888290134310744550053936632936310611/49132\ 7820337040472889029956155769109463400930904026592894083050620375426\ 5162044980202259286685872399373134698457594532258278517*c_1001_2^19 - 40943548377899173831167487453400207361703516867911954499783019512\ 094074580278971985897657869631348184344852100615617717164435977/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 18 - 56079920373835883656293419264144040319003739254678432698865057\ 954178620725714198568972285366915391083610017297962632347778786195/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^17 - 95163177401894145432369430390378100381516831530081261950574\ 5796146349930534474287676327602432574610650635432542679668157675333\ 40/4913278203370404728890299561557691094634009309040265928940830506\ 203754265162044980202259286685872399373134698457594532258278517*c_1\ 001_2^16 - 14103641116189600448231254268316656019495737956306759220\ 3490748255876916343169718615911201254315992927700233171009197429061\ 677756/491327820337040472889029956155769109463400930904026592894083\ 0506203754265162044980202259286685872399373134698457594532258278517\ *c_1001_2^15 - 1782378677109995410081648302823601118683217028060076\ 3082868291184133581897808552608552417546327506425146217164417727654\ 0594869888/49132782033704047288902995615576910946340093090402659289\ 4083050620375426516204498020225928668587239937313469845759453225827\ 8517*c_1001_2^14 - 288119392858139444198312056931036936063516096105\ 2344966548324699955746311323681224200009676474030394512725310273693\ 78646340844221/4913278203370404728890299561557691094634009309040265\ 9289408305062037542651620449802022592866858723993731346984575945322\ 58278517*c_1001_2^13 - 30921748289914107320275051627412980546978868\ 9452572159335497931153239431578763802910319972399054208373194522376\ 718913675389765906/491327820337040472889029956155769109463400930904\ 0265928940830506203754265162044980202259286685872399373134698457594\ 532258278517*c_1001_2^12 - 3154041449488888536354833286102152480351\ 7772550125691394279908381197245030039471109091617026603902405564875\ 1606772246311295062343/49132782033704047288902995615576910946340093\ 0904026592894083050620375426516204498020225928668587239937313469845\ 7594532258278517*c_1001_2^11 - 208954161261132390411898149794164565\ 7466587269960674890966248066778504477925150227222535133742213262331\ 37655952971913365327265532/4913278203370404728890299561557691094634\ 0093090402659289408305062037542651620449802022592866858723993731346\ 98457594532258278517*c_1001_2^10 - 2091663391569913579349866892899739400298831706876796683743947849067\ 15994960489772129231969533322393833163143524027195298424718485/4913\ 2782033704047288902995615576910946340093090402659289408305062037542\ 65162044980202259286685872399373134698457594532258278517*c_1001_2^9 - 49104853944100074233584877395584124048071257799910660919019384460\ 997689014072927553465963169659060449979282489997292467499361720/491\ 3278203370404728890299561557691094634009309040265928940830506203754\ 265162044980202259286685872399373134698457594532258278517*c_1001_2^\ 8 - 131383066531648889603569374659772787417035948645816017260231242\ 352392992578234092666148695923410117335165455697337986545989688868/\ 4913278203370404728890299561557691094634009309040265928940830506203\ 754265162044980202259286685872399373134698457594532258278517*c_1001\ _2^7 - 198643412641924435329232428432310950078687368361127267949750\ 9825001027767616890179589203649186843085782098935799375197835995180\ 7/49132782033704047288902995615576910946340093090402659289408305062\ 03754265162044980202259286685872399373134698457594532258278517*c_10\ 01_2^6 - 8167727249723281268063341465313775997283883934047008664597\ 0862542129376015969995663409080928860121034128014440078081680399850\ 553/491327820337040472889029956155769109463400930904026592894083050\ 6203754265162044980202259286685872399373134698457594532258278517*c_\ 1001_2^5 - 18725418676781631404336472759342528292277166253255233029\ 6832082612958516752490888304691728824266579785404673218225038908265\ 83380/4913278203370404728890299561557691094634009309040265928940830\ 506203754265162044980202259286685872399373134698457594532258278517*\ c_1001_2^4 - 724322534818535684700210472547757185273729096656621334\ 3130002274602205532586858766054014533336728433687390635699152847415\ 960177/491327820337040472889029956155769109463400930904026592894083\ 0506203754265162044980202259286685872399373134698457594532258278517\ *c_1001_2^3 - 64847192636305062780259894479530599947076428847042610\ 5948309254996151994157226541387417808434134320215230279948008460729\ 4966360/49132782033704047288902995615576910946340093090402659289408\ 3050620375426516204498020225928668587239937313469845759453225827851\ 7*c_1001_2^2 + 2133533519666090530567923867754526449203499129776322\ 2461311024900623391237248007129801935904824976522207213728749717208\ 85338582/4913278203370404728890299561557691094634009309040265928940\ 8305062037542651620449802022592866858723993731346984575945322582785\ 17*c_1001_2 - 91307790076410223211886530455804011995795522978520309\ 3034705249443883982156474658080239261616548498331807185709005810669\ 557549/491327820337040472889029956155769109463400930904026592894083\ 0506203754265162044980202259286685872399373134698457594532258278517\ , c_1001_2^36 + 5*c_1001_2^35 + 22*c_1001_2^34 + 58*c_1001_2^33 + 114*c_1001_2^32 + 99*c_1001_2^31 + 45*c_1001_2^30 + 35*c_1001_2^29 - 125*c_1001_2^28 - 2046*c_1001_2^27 - 5291*c_1001_2^26 - 3969*c_1001_2^25 + 1850*c_1001_2^24 - 908*c_1001_2^23 - 16130*c_1001_2^22 + 4063*c_1001_2^21 + 59564*c_1001_2^20 + 115579*c_1001_2^19 + 173287*c_1001_2^18 + 262197*c_1001_2^17 + 389581*c_1001_2^16 + 521190*c_1001_2^15 + 814292*c_1001_2^14 + 888130*c_1001_2^13 + 1025991*c_1001_2^12 + 671611*c_1001_2^11 + 690528*c_1001_2^10 + 125712*c_1001_2^9 + 458316*c_1001_2^8 - 81321*c_1001_2^7 + 414339*c_1001_2^6 - 90953*c_1001_2^5 + 207746*c_1001_2^4 - 79165*c_1001_2^3 + 53254*c_1001_2^2 - 19821*c_1001_2 + 6545, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 30.160 Total time: 30.359 seconds, Total memory usage: 155.53MB