Magma V2.19-8 Tue Aug 20 2013 23:50:21 on localhost [Seed = 1511796866] Type ? for help. Type -D to quit. Loading file "K12a1274__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1274 geometric_solution 12.04773557 oriented_manifold CS_known 0.0000000000000016 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248800159874 0.471928260947 0 3 4 5 0132 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954489393285 0.599641394213 3 0 7 6 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 8 -7 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.768249767316 0.912166265138 2 5 1 0 0321 1023 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.192854624905 1.195985491255 4 1 0 4 3201 1230 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631947113376 1.581426358867 3 8 1 6 1023 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459836831519 0.641352123906 9 5 2 7 0132 1302 0132 0321 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -7 -8 0 0 8 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566654925109 0.615565109258 8 6 10 2 3201 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 8 -8 7 -8 0 1 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.126722232998 0.994161197128 9 5 11 7 3012 0132 0132 2310 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 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403833838229 0.440549391087 6 11 10 8 0132 3120 2103 1230 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 7 0 0 0 0 0 1 -1 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.047954459349 0.781531200607 9 12 12 7 2103 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 8 -8 -7 0 0 7 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477902722136 0.673056418556 12 9 12 8 3201 3120 1302 0132 0 0 0 0 0 0 1 -1 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -7 8 0 -8 0 -1 1 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.719548106801 0.927598155124 11 10 10 11 2031 0132 0321 2310 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -7 0 0 7 0 8 0 -8 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477902722136 0.673056418556 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_7']), 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_12'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_1001_12'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : d['c_1001_12'], 'c_1100_6' : d['c_1001_12'], 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_1001_12'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0101_7']), 'c_1100_11' : d['c_0011_7'], 'c_1100_10' : d['c_1001_12'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : negation(d['c_0101_2']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : negation(d['c_0101_7']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_0011_7']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0011_6, c_0011_7, c_0101_1, c_0101_2, c_0101_7, c_0110_5, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 47 Groebner basis: [ t + 7704327726891372888662960763568343154067193096004952261874984682663\ 1627757931283922551471427877848098035041966797616735986334705479127\ 8286899296596090276739963/33576808522134644433112840607203123592664\ 0945792387049086225217996978717528196206578941934281526899788485911\ 67733535101288812212132657891404299819913535493536*c_1001_2^46 - 5955633377936740401958101614932491536432231322357048047253541694961\ 2891150260287730977693996591910113366588168887558218935721132673236\ 6174840471703570974704171/83942021305336611082782101518007808981660\ 2364480967622715563044992446793820490516447354835703817249471214779\ 1933383775322203053033164472851074954978383873384*c_1001_2^45 + 1158649050151289576421198347160828297036387677423034064210221707930\ 6316477844530906304711967954237307674824255612039538213002554785185\ 831378040240807627316693621/335768085221346444331128406072031235926\ 6409457923870490862252179969787175281962065789419342815268997884859\ 1167733535101288812212132657891404299819913535493536*c_1001_2^44 - 2680384828812195920970890298656870792771873662843583960449701531080\ 7028688901292358360759365611769569313339128112147550626956511170665\ 487098662707286225923599639/335768085221346444331128406072031235926\ 6409457923870490862252179969787175281962065789419342815268997884859\ 1167733535101288812212132657891404299819913535493536*c_1001_2^43 + 8314071883437277238996049977939991286843946025398866242674972054762\ 2010858859309656054518090458319259276100595897581593581841800783464\ 820457240901602964586078059/335768085221346444331128406072031235926\ 6409457923870490862252179969787175281962065789419342815268997884859\ 1167733535101288812212132657891404299819913535493536*c_1001_2^42 - 2298068338917776665317046125388890136055336775928667736966691126832\ 1933786749382827264564766595436611708505209391008496767730302669404\ 601849217933638478364714253/419710106526683055413910507590039044908\ 3011822404838113577815224962233969102452582236774178519086247356073\ 895966691887661101526516582236425537477489191936692*c_1001_2^41 + 3519412119089629100988647724289686555714653648178380678737618714704\ 2556776739507229572370808855665898568596563982713110612709344433242\ 2348383231007333623363669963/33576808522134644433112840607203123592\ 6640945792387049086225217996978717528196206578941934281526899788485\ 91167733535101288812212132657891404299819913535493536*c_1001_2^40 - 6799951358115432825081842440095248603428024394090179536132953280443\ 3321992283453113113763359458344857149037676982971971995595112207547\ 1874864354684553052371795671/33576808522134644433112840607203123592\ 6640945792387049086225217996978717528196206578941934281526899788485\ 91167733535101288812212132657891404299819913535493536*c_1001_2^39 + 8328959388278491201397017381414739286584653903704540213605980402841\ 3110339542539425878175222670246204377883281678345505621097560739873\ 1129322093475947423727103513/33576808522134644433112840607203123592\ 6640945792387049086225217996978717528196206578941934281526899788485\ 91167733535101288812212132657891404299819913535493536*c_1001_2^38 - 1580781085548622925725965799117990282369444203056641967868871103717\ 4068642831620816139253294725765402878671864491111430210549919013236\ 12534384364931239311870813993/3357680852213464443311284060720312359\ 2664094579238704908622521799697871752819620657894193428152689978848\ 591167733535101288812212132657891404299819913535493536*c_1001_2^37 + 1721379068421187087626875188847647369861197922984079961441528483863\ 1057594141023184482478832292815044257937249489226100399185324085269\ 0050486407585263636109939767/41971010652668305541391050759003904490\ 8301182240483811357781522496223396910245258223677417851908624735607\ 3895966691887661101526516582236425537477489191936692*c_1001_2^36 - 4654506300549970364744742394644716244375160278512712139678781599975\ 5330877412708589635269201202126592153255704534899657232176968271068\ 7823831690229911115830368851/33576808522134644433112840607203123592\ 6640945792387049086225217996978717528196206578941934281526899788485\ 91167733535101288812212132657891404299819913535493536*c_1001_2^35 - 1480499887690436581234856908574631457284516385944394661414069340866\ 0901382590408385577812033157932099009074012325463566299493396752589\ 20240866524199120299199552969/3357680852213464443311284060720312359\ 2664094579238704908622521799697871752819620657894193428152689978848\ 591167733535101288812212132657891404299819913535493536*c_1001_2^34 + 7848702307083042616312048827976441164692697230395827816754040299982\ 0259354633013916697049725457819582835659776567336232633066928060650\ 8087327558703602240944412837/19751063836549790843007553298354778583\ 9200556348462970050720716468811010310703650928789373106780529287344\ 6539278443241252283071301921052435547048230207970208*c_1001_2^33 - 2630960161214334563802371995792525290791149279668125217194729833136\ 7981628495776918209403095444757678580007620663859861980939189994701\ 066266792692558591644790039669/335768085221346444331128406072031235\ 9266409457923870490862252179969787175281962065789419342815268997884\ 8591167733535101288812212132657891404299819913535493536*c_1001_2^32 + 37106642004163183533386689816483155658280325516747818159694909623\ 9629354935236530669459168436800197264619583262020711512951255081176\ 977490288527612959610967704681/204736637330089295323858784190262948\ 7357566742636506396867226939005967789806074430359402038301993291393\ 20677852033750617614708610564987142709145243375216424*c_1001_2^31 - 9962649720389688238750016332205242431290913391863931819550033215017\ 5746344759645552099214464407095515401134241888462079681612229143041\ 329885031291593664727301886637/335768085221346444331128406072031235\ 9266409457923870490862252179969787175281962065789419342815268997884\ 8591167733535101288812212132657891404299819913535493536*c_1001_2^30 + 62807969439048886403489710881921681429118682367269687342650313611\ 7212372439456881852065958706460437283997060440374410835421257147507\ 37498198269133100971427625714629/1678840426106732221655642030360156\ 1796332047289619352454311260899848935876409810328947096714076344989\ 424295583866767550644406106066328945702149909956767746768*c_1001_2^\ 29 - 15663388661475672787232853642971013778501755255398418010437710\ 3013453455985350858661953128038210408123371198563485588128069273508\ 099595153635874510866809937006296999/335768085221346444331128406072\ 0312359266409457923870490862252179969787175281962065789419342815268\ 9978848591167733535101288812212132657891404299819913535493536*c_100\ 1_2^28 + 3459538864850522774793255963916052361982504717405568074243\ 4063751707255540935397975147287839400624989030903369838564411151834\ 378050717063402276545999659900537099615/167884042610673222165564203\ 0360156179633204728961935245431126089984893587640981032894709671407\ 6344989424295583866767550644406106066328945702149909956767746768*c_\ 1001_2^27 + 6068950511632010352344698497877764433990402922593082689\ 4568383735394757678462315792660540075184790503589799109346981417761\ 009373020103480868320135216191281074957515/335768085221346444331128\ 4060720312359266409457923870490862252179969787175281962065789419342\ 8152689978848591167733535101288812212132657891404299819913535493536\ *c_1001_2^26 - 1777151732675980811696557680317243761711166521867840\ 8307099004588811251992155753978274266961167095743435323130125960310\ 9963723014865451459513288528221776906557912647/16788404261067322216\ 5564203036015617963320472896193524543112608998489358764098103289470\ 9671407634498942429558386676755064440610606632894570214990995676774\ 6768*c_1001_2^25 + 792978892629422151016469780974052254325880944335\ 3996703033701098036619046386366575599540151587050534738936625121934\ 25243897965639816846282422743418268646010757585541/3357680852213464\ 4433112840607203123592664094579238704908622521799697871752819620657\ 8941934281526899788485911677335351012888122121326578914042998199135\ 35493536*c_1001_2^24 - 11635581362149809347469034316735460923128581\ 7658821087683107417695284487699610369244650067887781922531230537884\ 8788919027341153937959284873336409710261905105254396735/33576808522\ 1346444331128406072031235926640945792387049086225217996978717528196\ 2065789419342815268997884859116773353510128881221213265789140429981\ 9913535493536*c_1001_2^23 + 874166642916714085302404611969691257188\ 8568270880914212983042752381162306521560454847049303758086650125257\ 63280456100137050094377756401265330047390620868518830621077/1678840\ 4261067322216556420303601561796332047289619352454311260899848935876\ 4098103289470967140763449894242955838667675506444061060663289457021\ 49909956767746768*c_1001_2^22 - 47787952344466405787048894294678336\ 3270100533448977964368718984390917581529768459419231997003505674615\ 486540284942522161896415451891311112121721762478787737361036551/839\ 4202130533661108278210151800780898166023644809676227155630449924467\ 9382049051644735483570381724947121477919333837753222030530331644728\ 51074954978383873384*c_1001_2^21 + 2657502356529333493913724907283441924941021253567998137453675520680\ 3325454763580794300156821389361508450666350501347340805497071612637\ 5888192321407561934991187134271/41971010652668305541391050759003904\ 4908301182240483811357781522496223396910245258223677417851908624735\ 6073895966691887661101526516582236425537477489191936692*c_1001_2^20 - 14276464872046698831622392877599575677524839166434293950247765117\ 0396470321015561903115453947330405587643723343015524587828252718426\ 79738105464542582716814219394387/2468882979568723855375944162294347\ 3229900069543557871256340089558601376288837956366098671638347566160\ 9180817409805405156535383912740131554443381028775996276*c_1001_2^19 + 15013251347368301763351590754674136346961647466629876128400276235\ 3506578426863740625094767655859427437828020508515466460805736274375\ 7764532598964754838154379863285199/33576808522134644433112840607203\ 1235926640945792387049086225217996978717528196206578941934281526899\ 78848591167733535101288812212132657891404299819913535493536*c_1001_\ 2^18 - 107374611783415526105337786241833186578473173176549102420447\ 7525788200425904699707973317884974092364710722260795054418243833137\ 194606563530844625078135953823300021133/335768085221346444331128406\ 0720312359266409457923870490862252179969787175281962065789419342815\ 2689978848591167733535101288812212132657891404299819913535493536*c_\ 1001_2^17 + 1720757175421846998618240283513003701742853232997185776\ 3634245084207935661364122243258641185910887474572284357810749441193\ 6076374460708076183442091505593208814289859/16788404261067322216556\ 4203036015617963320472896193524543112608998489358764098103289470967\ 1407634498942429558386676755064440610606632894570214990995676774676\ 8*c_1001_2^16 + 231612970176587238342669816105698419273253811799383\ 5047741823353190036893532585162903096776363321523416272587548723170\ 614208939771599353344916443847822872740168427/104927526631670763853\ 4776268975097612270752955601209528394453806240558492275613145559193\ 5446297715618390184739916729719152753816291455591063843693722979841\ 73*c_1001_2^15 - 52855771671668834939651483630484877481880525688572\ 4945454915282250177899001150895830004899230233184063900652164535694\ 390582636857109177405382062915345231869913524001/335768085221346444\ 3311284060720312359266409457923870490862252179969787175281962065789\ 4193428152689978848591167733535101288812212132657891404299819913535\ 493536*c_1001_2^14 + 3740836039984325486882078815796479927371729959\ 8787834771206413468975343261919489874208024809648810076348244484915\ 6537866537994314395018609005907041797015762191111289/16788404261067\ 3222165564203036015617963320472896193524543112608998489358764098103\ 2894709671407634498942429558386676755064440610606632894570214990995\ 6767746768*c_1001_2^13 - 376163491083814173268722956177802866729194\ 5049496985613936012495540081446854449757734522047444007150799253933\ 36964325943058455337648019485683243031197605713492563571/1678840426\ 1067322216556420303601561796332047289619352454311260899848935876409\ 8103289470967140763449894242955838667675506444061060663289457021499\ 09956767746768*c_1001_2^12 + 36707512217961469857529843275163487166\ 2175094009343559274107594925594686719666781592703712104533025510737\ 533730254359765951554242680285215154882980010381889281836761/167884\ 0426106732221655642030360156179633204728961935245431126089984893587\ 6409810328947096714076344989424295583866767550644406106066328945702\ 149909956767746768*c_1001_2^11 - 6852311777748284880506385395575157\ 7412818719069349455361383849000109267521159215339897551333390608810\ 869394385449962806120151582032603762754443337589633460885101675/419\ 7101065266830554139105075900390449083011822404838113577815224962233\ 9691024525822367741785190862473560738959666918876611015265165822364\ 25537477489191936692*c_1001_2^10 + 5150240807765306666509453048703894954991856769133772266044871959157\ 6037775376550191445159729470321440045412875154564538913162852983088\ 143745735964052465416628141139/419710106526683055413910507590039044\ 9083011822404838113577815224962233969102452582236774178519086247356\ 073895966691887661101526516582236425537477489191936692*c_1001_2^9 - 6465568602391552323777847434806405760722028945583704238286032069500\ 4154055310448016727451205394445004927131473648661656531107488961081\ 845427709852412799611536648433/839420213053366110827821015180078089\ 8166023644809676227155630449924467938204905164473548357038172494712\ 147791933383775322203053033164472851074954978383873384*c_1001_2^8 + 1147242731235550198577176613117884687578161863649157366801868967294\ 8323828815709262836907823636194485107762089506529145014431392578123\ 569100526916538079544066409479/258283142477958803331637235440024027\ 6358776506095284992970963215361374750216893896761091802165591536834\ 507012902579623176062477856358299338792293839502730272*c_1001_2^7 - 8124091090604942241024083629561392915968988814206127915140136317096\ 9395055033381411361231759336787708946423032173218418939906299136563\ 983048102962196995434744280771/335768085221346444331128406072031235\ 9266409457923870490862252179969787175281962065789419342815268997884\ 8591167733535101288812212132657891404299819913535493536*c_1001_2^6 + 3575275726752223302750752151752817283045639020051629905868612883050\ 5307310056921575609823086316357064532190644786337089019089682645540\ 339855911259986258101921036429/335768085221346444331128406072031235\ 9266409457923870490862252179969787175281962065789419342815268997884\ 8591167733535101288812212132657891404299819913535493536*c_1001_2^5 - 1554408065368807106350619575215356784167372032908768578264147917238\ 2589277367746001488453198533968706132806129838559964468639044863191\ 992585688624925747366565550333/335768085221346444331128406072031235\ 9266409457923870490862252179969787175281962065789419342815268997884\ 8591167733535101288812212132657891404299819913535493536*c_1001_2^4 + 4572937656430870207355628379183483159506014547575525281943323639442\ 2263720741587220824886609729765757405398087826909687427356570285072\ 47831896390107837098991189567/3357680852213464443311284060720312359\ 2664094579238704908622521799697871752819620657894193428152689978848\ 591167733535101288812212132657891404299819913535493536*c_1001_2^3 - 1507170459421415416124725659271767772611176837838001727038618856410\ 6097558268991236580613418780568641432772314532817707568656676996306\ 24877192617552269952238650395/3357680852213464443311284060720312359\ 2664094579238704908622521799697871752819620657894193428152689978848\ 591167733535101288812212132657891404299819913535493536*c_1001_2^2 + 2621876166368841755525185693515650792357294825107799314577923941338\ 6546984543715622079195941118258051117185304921620220288278374431618\ 6337733723308165723398604989/33576808522134644433112840607203123592\ 6640945792387049086225217996978717528196206578941934281526899788485\ 91167733535101288812212132657891404299819913535493536*c_1001_2 - 6725614603657778305475800033914141273970046953199024759575870066200\ 8197100733263989959045040076807610949238625814291413429898211307465\ 275193813797708004170167967/335768085221346444331128406072031235926\ 6409457923870490862252179969787175281962065789419342815268997884859\ 1167733535101288812212132657891404299819913535493536, c_0011_0 - 1, c_0011_10 - 66972197233307300353161703123615200254863628731943099473511\ 1121133993180353250252120800694792999018308994473426803878840889451\ 4808492939479019/21520213982440337087124687942441689021984058842788\ 9846706424806789081508382193214982503921151720427306692564898958733\ 931649905121414507371175547*c_1001_2^46 + 2226741785141407443195672081807038079650442425746605358030145941354\ 5580249189047546079751035869409571621255717604402559634915709606109\ 755943938/215202139824403370871246879424416890219840588427889846706\ 4248067890815083821932149825039211517204273066925648989587339316499\ 05121414507371175547*c_1001_2^45 - 1029693587530745640070646573153559858531117038057710513842182821765\ 7677425477106148598288913869205987650498539124393421901269463428550\ 2706061016/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^44 + 2494051744286824881435675239662665331217794296110717155004280169082\ 3138498447149093751253685379911523326441937389738399057876859031322\ 5232959405/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^43 - 7409672357961670602387957821369680615877169016867228451913978209702\ 0257151549711277492378672523221615627437137772917348896339234282040\ 7665339536/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^42 + 1690259376577203698571530908520338077967925468074532763583279586271\ 4821803415419735955876176202644095637139857962448737654983925527283\ 97732637247/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^41 - 3183581972565654339952798963699435823947073794210006417626401469116\ 5769932153426578258393810392297263219506215162818917097730233087304\ 94198468766/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^40 + 6104210700714037480243111372103024995383300990395902806831118629852\ 7440787050177670578265518889708149370250546222799480362539094981091\ 39498587034/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^39 - 7644988113505303672438953894123851549437504110514882769325458151209\ 1619081292677960274712948346581802777239713441805174175088825646527\ 32619068652/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^38 + 1354748725867721845632224013984021044878738468950232881524121909222\ 5052613498897910848425506725926482212183572024642121354415643582330\ 857655988784/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^37 - 1314097003588084320262417452058176159508068600163419287676831647075\ 5874072151238440282662566815547028449928844575116144288808821846834\ 528615902384/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^36 + 2441863925287522593553693977909202405003567932767937484459463351635\ 6662268599960667010554887222891808543052930918301966153782260682110\ 60885212688/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^35 + 1475722166805201346229050436457100614068039502066824530958829727730\ 2528272521639787280308265354951069036992338883128556650128251750870\ 460785127781/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^34 - 1191748250566326331034670546707225559774376408286494719678109379397\ 4627567165854242921392278478759703759728660878753145682886969426538\ 2147590152597/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^33 + 2503049872634983844036547970208938801851794531973821632301112387389\ 6799432158484231690884638935455351681365640368828652125096930546725\ 1857851555133/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^32 - 5395728921227544954650283411648334681693713083779277434019664136572\ 5289896191595398540327913158923758250092565744013448825399856586742\ 6055544682819/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^31 + 9168265925937585666737678238228651047440708792990779724666212176632\ 6054309728998726401987573364887335869431170485378683041205729246950\ 1046257148425/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^30 - 1119211254727673200736972186264881549831417301368887274873367217652\ 9138632811721007712465232509332383794194760606752564509011718067989\ 76516943120331/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^29 + 1351923690282555649381726730348209747909952035447379439039622711661\ 4120586502454104046128304362561011408331187874047802709628826042516\ 70211834483890/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^28 - 6068828170695033659407567375217909617032403071844153575425907581436\ 0335032249066761638781514618118809049667586595301584283144701662314\ 8703919570929/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^27 - 7745161516504692113385572157250614223546488520412249038405468051539\ 5989990754815735184504484166237353250211046040493667543154880822452\ 6301572573710/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^26 + 3275958599025083356609561006424296145619909120064718399176135717656\ 7700984910275957553747713790329096343026683054742758018811627299191\ 20087312298945/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^25 - 7350104792415793609677854406680758163073043754218970066468125526910\ 5264508740585792797577821997307081347523018708656090937651910063248\ 15997667790554/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^24 + 1060703074107870213662303436066093533829602517308155146856014668504\ 2501564661135387960060807796881622658436654031917112293623363303401\ 903772441872892/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^23 - 1532145051711755862749286780990141462303115392365328624826904340440\ 3244996390107851921005385155974233321176793423144743707966778638438\ 538928986135957/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^22 + 1714553700892652870486103250151026055814213739257608431956230293248\ 0131496377926436325181623367245594458762994595128952411231158903666\ 318788586205451/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^21 - 1778100988866800327625792079271657516530883147718979035302937128581\ 1467190497271988513609166410082479921688895100736117531057765349808\ 509590251199471/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^20 + 1670682083174106691975395557477935124649127816270532424608228072682\ 8916406589408814439334374454045564588906583333112170112050926287587\ 974430822183821/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^19 - 1188404157123833265893550889707512671194564134684843607136642256558\ 3736212167205565379634694458893608332978889540626749476403435593692\ 132786432223619/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^18 + 8177835691186284728406712591086750871395101212371898756868310902943\ 2574723557073464257736055922085218651768664367449220772410679029982\ 44865831533554/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^17 - 2118868067096680287894773822837837212824093815154864326951392264575\ 7989056756781910506079176207229393876235909413822411794811638968196\ 49080441861480/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^16 - 1970864216480744458647025401988112308391756334095365700131864822731\ 7098345274210555236448076079077481312253288818769380903077255948584\ 57824595261002/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^15 + 4850488169903783548370425980551668307807925547042506284126304776490\ 8453341594875536555569086032590473172747308988516535746370928079983\ 02194740500962/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^14 - 7043711283102008967501603668718939102461742427186433054023987321475\ 1966467763713734793986287901481433446916754692018200581051094450923\ 45313652445586/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^13 + 6404286019348548487792030742506588514702685493873973123915798449569\ 6793655071069811323067029821237425305000087511105437508678995802225\ 31079218809874/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^12 - 6042099091608218414357014454129425153945252155360672100182056629936\ 5908097407084866743791647607696239157291767714917309353514768785552\ 66117822287688/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^11 + 4514480521090791443648515781154184877343065904834420138255313971271\ 1733732913267559347590084770352306827781989787299614047311103587170\ 32335562549306/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^10 - 3057932048637879585911614948550258804096873452415793991894706032368\ 6151753328517393074656976521413460948600387271468666141456234648797\ 57890409872981/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^9 + 2001116555534340415677804910516976493981248722027469409440076584451\ 7962004468911851996795340999746469197402188063724936616508298659560\ 03306017316337/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^8 - 7705071983380813729890516677881635430333307875756815257737922286412\ 3408231664413927669653356272781399346155575529190759663748875645591\ 594419602116/165540107557233362208651445711089915553723529559915266\ 6972498513762165449093793961403876316551695594666865883838144107166\ 5377317031885182398119*c_1001_2^7 + 5658751113180677977618959863980989043445914090470965348846518328719\ 6810806819328953352360110397217323112210849010089106507338211078960\ 0967120235343/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^6 - 2205824390623188843419093296157216896592885443230984957767980979516\ 1916979729203673145872840726358104573280236930055103592658735209093\ 6368438974006/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^5 + 8972034704171256693752337571516457351378260118956409186759491867383\ 2873262500251196582197134745399720504418930754195547373350143929357\ 169102376995/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^4 - 2096572933198186922703351540240935890183550793259629085693706223787\ 8558858557114741576020851848181930080505564857221895319467776203033\ 704827910773/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^3 + 7123646869360747211883056742626769825960002349766690025770142404686\ 7149841394404254852415674361163826699290729725949702493558836039092\ 81613723539/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^2 - 1223032297681549514592654081864681794670330122619821076794023060381\ 7212302961136114541575759934701690325345228770407665267209349454448\ 66269164087/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2 + 294097805613257633914980556382401\ 9902510097942716554977886638871428442725243358176803480345131095444\ 89936394585131895097373535563596190664743770/2152021398244033708712\ 4687942441689021984058842788984670642480678908150838219321498250392\ 1151720427306692564898958733931649905121414507371175547, c_0011_11 - 92079196654377746121949821355729087128785976046275310133055\ 2868350307207818563986955826630141175960724759872724172764958336725\ 4145169361820631/43040427964880674174249375884883378043968117685577\ 9693412849613578163016764386429965007842303440854613385129797917467\ 863299810242829014742351094*c_1001_2^46 + 5381875302709237836359927071678674587145630277682229039483891818085\ 7450425059876271769146509828092491964622238233126712653693661437846\ 86871131/2152021398244033708712468794244168902198405884278898467064\ 2480678908150838219321498250392115172042730669256489895873393164990\ 5121414507371175547*c_1001_2^45 - 917111940590671654221192567361441\ 8822064034555057862082474111756600452357900057707314222943890427040\ 5683849769794513339318353577140948725543091/43040427964880674174249\ 3758848833780439681176855779693412849613578163016764386429965007842\ 303440854613385129797917467863299810242829014742351094*c_1001_2^44 + 7458547309900073549281945443406397178957900976806027327057749277907\ 5462487573809004765199069672084830306569274175164471603221906206606\ 034803489/430404279648806741742493758848833780439681176855779693412\ 8496135781630167643864299650078423034408546133851297979174678632998\ 10242829014742351094*c_1001_2^43 - 4877814306379032200848476649747734452233978751527665040286652594903\ 3642326827395491054586941544796234323048706731595015904147214961099\ 0222474529/43040427964880674174249375884883378043968117685577969341\ 2849613578163016764386429965007842303440854613385129797917467863299\ 810242829014742351094*c_1001_2^42 + 2541826722344048931410146793430543094914786496957046116033364680374\ 5549483123903282203738012742832943003968124638388252274809461172053\ 1051715171/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^41 - 7362969674508637696667869192399659539023246018256589437874539229016\ 1714539236839138662076202349089412134372269091854531576739293092375\ 1749133279/43040427964880674174249375884883378043968117685577969341\ 2849613578163016764386429965007842303440854613385129797917467863299\ 810242829014742351094*c_1001_2^40 + 1565816842110210576115319880156548333631303688761319309220171534209\ 8324524839295999254465126313509290044018572694261442625560665924306\ 58180476811/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^39 + 2762081682567127115624110003948211085786307633298713308944042044049\ 0557374708171280895318640741480835364446086960641148911082758788332\ 29929216811/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^38 + 5388046042360451255574249903477082152261574188173343984600183656174\ 9991965454311905212054594325882174018336185026817865399568532374377\ 45641370085/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^37 + 6989609028155689553666205747992340665996656505022565317936915240359\ 9692470879272228201917496901617526017889205653434177942756388589784\ 02054835073/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^36 - 1238002747106056417463752943330677424029917487380358782155618655645\ 2911838264208311214109284340894417068897289085561878040298400273808\ 142993613205/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^35 + 2096533753271340944312782645234071535423006347784074839750345525879\ 1716371516165710389905849317261893087291337534895058501258226193591\ 147957957115/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^34 - 1234557442823602246297843141130650526352393662377977408179358245805\ 7877989272616998480673726320294800660080889375843226487819765844462\ 0697467137991/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^33 + 2407640043222358113736827286027068200617697113155126194490990940060\ 5992873256994213512958686361491529641735206342620464308958752278945\ 065266243903/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^32 - 1262814878932667865752154485693324040049245090651015444102796529455\ 9291142229077682899986685756017348122860338565398613421302641886344\ 8365309980621/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^31 - 1526039468612282814765558038082724121508896450045541937616960438207\ 7154934041088811980975120580420693557066300106270215930646986056152\ 07623158453/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^30 + 1269415957144593765318253124048515843028230674649650130243110889238\ 8244899991055350511236052112449158425382579575265857967088996860732\ 5474980302537/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^29 - 2481789244105675170225124791510281501717346381825999314847140695809\ 3118755966809676333998354302123709135302210211455255480671981691428\ 5436368280007/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^28 + 9153377631629109654359690121782987150582759905845164721779126277923\ 8915690004155212013845033947255681972227404217699177216576398596268\ 2558328313028/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^27 - 1135942214732117560971971767428835471259994539861879099874779084030\ 8891637922417940006736435410452572395384312888149463580697249600990\ 18410856542623/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^26 + 1349090313413811255544908166016907098483946182741764031673238458559\ 6451519114514476259402626535752971538223469631343194902659697479844\ 25281230667225/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^25 - 1945843236352442011271015494663607563658052080522014645280110677716\ 2666081621924423873017294286446131138811649451315205481368000434280\ 81568551198027/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^24 - 9330580801490176387883840954623988614725690857051950269248011128825\ 6004216868216727249787465091019948861781854516946766663996510104087\ 6537788564425/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^23 - 3310900691683695997620756971052311408432158687794924817267445367330\ 8119289696845300026473540434275861208426608454283986632903435579976\ 0342498352028/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^22 - 4200151903911423846652437566707090682469836109557201855730277824544\ 5089256415889289866964909488499236400784238517697970653547382530045\ 48384981268186/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^21 + 2306028860391033526109042885341968868158364849735370108173627146903\ 1192452734377339095687090799804116607419340152431371224527403771506\ 68184503901471/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^20 - 6284871990436519173497630014401402880509058434962116442283629587236\ 1719810893205830882779394356223987006958045640374141327922824899426\ 60434875458825/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^19 + 1054365485458823252090099378301385650969880739165375967441294009100\ 1071078936130212159514392624533975926260106211943033066206073925086\ 437948806919379/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^18 - 9324719001639504964438278662441993144021861979417430563383639357726\ 0762307383584340184251626817424584200644428363018479950944338707949\ 05292650683143/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^17 + 5229942739085566730755360320104833263420500201920716541640902719769\ 5940797941481144234466497575856184678024098713854799548966336686235\ 65802652976067/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^16 - 1189112050941779176852706846416008163062473627102899284869811622015\ 8262186985786589788958906263541314354930948576283239730832213800481\ 62519404041565/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^15 + 3932734229764469490094890052684181489008235007340514461997520972968\ 4009523288747215755670583727564631300886136581780269485321895575994\ 51284248651433/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^14 + 1191176397675199614039356601742951525750325888116479815275548041425\ 0596026484965332448925474544429798281215394890172920532765181765223\ 20571486713505/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^13 - 1495999254457272423845001070684225500040960621428933160017965907817\ 3885893644511112751188582162017782042617118704442239623948866422518\ 28407582602315/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^12 + 1720615693808552754007000668673977726269734143024252995160571120388\ 0710530496009703768139949354612619717359146335421360923601821147653\ 67076611893449/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^11 - 2380158442629866406246485884396001907076140253686116837654228259854\ 9443131233596697651637154441110986133671078600307400669909508975419\ 94614006894303/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^10 + 1345295935076515241630393802301592267137930324157264198466154765391\ 7068269103433584728360404397129566692424519659717538734348176223792\ 10784619062580/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^9 - 1505045983735614075563751438294368266580785617165620721269680543081\ 1445784262333471396654813416657140137188653641624099673131321798285\ 96402826111242/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^8 + 1048586733118965294567959924095917917449077375550407475262522592673\ 3027520541524304339590303132598751177693442340031049194134118365349\ 0721776812487/33108021511446672441730289142217983110744705911983053\ 3394499702752433089818758792280775263310339118933373176767628821433\ 30754634063770364796238*c_1001_2^7 - 1115219104272727425248713769674223934878443759453464967181557864933\ 5911473051062582194695935580805845779215965282558480725728769630072\ 50976397761555/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^6 + 4477182535486203507412630341683301702247487835795244410586679146679\ 3056822192769324987523654412621324543504929231071869401634690920234\ 3968934176969/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^5 - 2742202949430777763594436933629285333954218222198415098107479742078\ 5710807776617595993816352326304955947650470123740092035777956964079\ 3681024498059/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^4 + 7896459216308275279857615660479669569217304259651484479894115698854\ 9277172958681325423773276917593172312131657489350771197543585526278\ 604033204723/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^3 - 3324543668335489616246925592806572367978858945296380875558623317115\ 4000122044879088251798840392148020112415922649697376307500925307148\ 569766004729/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^2 + 6114830761178854008064152604395194213704582660945745629331347196376\ 3571842628780553485979968284500951843108837707427903077711466110211\ 82164408731/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2 - 197488576279133283327480131086921\ 6932853980086527677062807485431839344048674128139575118051996877985\ 894923794660051417305134163036257437615585445/430404279648806741742\ 4937588488337804396811768557796934128496135781630167643864299650078\ 42303440854613385129797917467863299810242829014742351094, c_0011_3 - c_1001_2, c_0011_4 + 666442184503074322710483749117758207507065526214535965985746\ 8932731698078388925086795132742463794014027226422494027877978778281\ 522147424312970/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^46 - 3112883381196638427422401745137835998499195921969738588768478758693\ 7940457809532589309587869604541146914820153243773707984267171275846\ 055879835/215202139824403370871246879424416890219840588427889846706\ 4248067890815083821932149825039211517204273066925648989587339316499\ 05121414507371175547*c_1001_2^45 + 1278844546271835440081647363941070059204554603263138966112485446706\ 9951846109282329084919698124430811686350535943996406875504724988683\ 3158187047/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^44 - 3774867682341099360675417670758714016827031816416654195864832030807\ 0306222308922133941590917386353412136733498199022469338150584745739\ 9303357418/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^43 + 1018097180182905911894357879609325736066505403752166950513522344602\ 8160621740226043519364896045846264743345082017785530742557294193968\ 07690718238/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^42 - 2589606251222205714906300973131904394405770730522905899350635927888\ 1821270747935452270520537086006342069304205510454544530640420913230\ 60540906693/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^41 + 5094954005040614587742119008676608160684807509956234821627981599550\ 1210446231360490872771580691783930633047084223397417967289056898225\ 21211894210/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^40 - 9752222362352437264549050040328273338748155809110525836546772942656\ 5017748117768688719392027839902564044373947461812444482991865715220\ 22389201161/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^39 + 1471710322093279467650770485770482431312808392495329693911089103512\ 0516051821463512534673324104147334547571879684789594210457718052365\ 712410846704/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^38 - 2160275825027452300885992357591573656215346264860148904645638752674\ 7409059429127494727029254032940532280102868159320509029601197194769\ 785462146414/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^37 + 2988979203383043151432378058441579553696331247434911293678966344148\ 4909712244756778767217501243691522067317845654342492211943113019947\ 004538470714/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^36 - 1449465938255417673305338026796750640594742744465820793944659134159\ 2671271806792802023308359603722202687129650758605771714293228539038\ 852437025639/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^35 - 1112598417847210389310492689818286837736428780601462993722395050634\ 6647260698595451173079807636857443371260135503415487872332779553402\ 811519673478/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^34 + 1366402798922513320773747706394894669587780981900151845106528138220\ 7353756702960299337138660156681025630145338713710364109802715870636\ 0002144732260/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^33 - 4001410469876557965517071884032060019164751824038613723955989307456\ 0443140822379269473303954685266831538400839208839858548976839747115\ 0605195543998/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^32 + 8064122406555033629033354877680791409006402010918521263784803554409\ 8263134512001925169728506741349365171714048645710552980331703093407\ 0830729931269/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^31 - 1566114510576865991864417225502409230776104560289277145889961325490\ 0592698464569950660675219458676507507097285804763970011284885101513\ 36382727132769/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^30 + 2122822530182305032637224853075868347543227640298897708251588142387\ 8449858774234163202502717916611495622692295566388934400708559556953\ 65380299186201/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^29 - 2598825028703613493450062949584480512444100334757224791901175455203\ 3051126309557808748172838303838226030223277844195167789142051758798\ 34792923364562/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^28 + 2165518740492108516176656363911284037389233102879812008287529878863\ 6342978697176989999223465811814250649790152401545847016782195182996\ 79481624558970/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^27 + 3032536675155696235344199201532103986497539246196164092238936656898\ 4877939880349764016506070853946709735128338597241525269532353504409\ 5880467584822/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^26 - 4006189382746050502474022964384633393693077301946253732618913101586\ 0532414581710675237963960970017884587460624589432436052128550201245\ 99123643464955/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^25 + 1131627392775601243694459513720465303020323620091831406876814111802\ 6707057770733859642190850756404691197387833555260343717312977274592\ 714648607350664/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^24 - 1885708980042400831248562715025403922062511662050028969627376487083\ 6961950830026087810757030984444673721376842266352545006254430008798\ 123171450414414/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^23 + 2702310677899433491503788390572847947251086746388744158133875745070\ 5137232960814699548354074666078553842329561108605741140217995204821\ 739767530754389/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^22 - 3497050329392877574158283798540065532854597740419405149060678624395\ 9282001931117795098160004733871157204651097750774549979415860864775\ 981632539591855/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^21 + 3600386466866511161316230908691451195761211299159797622751243314165\ 7241236777494936644650195969505710157005089156572611057672593921411\ 763537517280154/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^20 - 3775337624307934824432850356224326883714846947864742178208941184606\ 3064026950902923723916431151547710536513152450239399925319579665185\ 877943936597058/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^19 + 2969456970274524424259207072881008671628705076722944325631003873625\ 2212251303038020626451863716890778808948655932557309447608129803060\ 947531715874787/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^18 - 2205972406323887546990114436187653223024177616605061437904354500246\ 0300092533228805284507439492021666832339667247328474223881683471776\ 153241477301616/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^17 + 1149551762609168528292705561254066354591353838979356669187532305891\ 1802394331250363887001807419810599494778681571788281020510410280678\ 798694367125547/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^16 + 8846955890481534467262692645192713696916926378158179098375812915051\ 4284658274538147366364037465335142742132193446534852031980216311010\ 38245719247/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^15 - 6069217913644552321020884423100738396469145023782869105282717206571\ 1291250700759569701916718177318670086548983225127675732088927190372\ 09237605665912/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^14 + 1317951673339452202652768921102647397771524379154512759452850068764\ 4066052735196044627717992631348537701028852943447318162532515540466\ 709408236204831/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^13 - 1365271244533184185436447351345485944712539665194431261227315391307\ 1187558668727261958690722178447905711066613709143915701636236670919\ 561182203105368/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^12 + 1342659911009694322130505541499845049665221440532106359803886859676\ 3322454713059525918659368015583492382251327852012218413580130069759\ 882203869869452/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^11 - 1141732417884457791564216196205754991085977829814774957407569929743\ 8020921027105589328927716830795604354744999125792493411715997590420\ 001068630230174/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^10 + 7943010095602838917340125531084847665097491336628091103094095487398\ 9871445331643629558510729704813525934235522116507311023016735531374\ 35079543679892/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^9 - 5763725219275895037926827140254917344790993580205616236846890668849\ 8360197228892425752140427746991623281105874048079177544308909856979\ 32699394167893/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^8 + 2394160019049137483409171997036534407406207951023350473612652141140\ 4649304679587635773413096855184925108226959753195584400571751973049\ 4199274710942/16554010755723336220865144571108991555372352955991526\ 6697249851376216544909379396140387631655169559466686588383814410716\ 65377317031885182398119*c_1001_2^7 - 1867685798595768351227867220149325074923790564091522889814981719194\ 4670950362222869332969776902315378970864321661950552322379808563748\ 02293558229532/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^6 + 8221424036777079111619428356698137292315129004315407014136136523472\ 3395114851186673937214247375022691321236149483756776408086633787298\ 5323629283475/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^5 - 3806193468029128796801333009138958474439501383871427398300128841677\ 3117522645153326749262311394001628289185225213093781590546750078525\ 0250809955582/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^4 + 1186563396093452295331293479137011070374711389835112668591022126506\ 9155651543103238925480772694448828051083466384103849886997654081970\ 7133369072690/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^3 - 3920838591868590925834894162705078299991047894174848471396830830422\ 7051050792617485407572736189727317101528058546546564338610889894449\ 185918623390/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^2 + 7388803663631380862158347215534184083212462826782584766866779759688\ 6643638102466666007233073254372020425125321976963107682430755670008\ 23908506582/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2 - 168864464541176558383151225415634\ 4179254114708276928603314802845564499864896474578547834673604257733\ 012751084635872137427172898753809532698265680/215202139824403370871\ 2468794244168902198405884278898467064248067890815083821932149825039\ 21151720427306692564898958733931649905121414507371175547, c_0011_6 - 111355682768741545929095049778456137597799934332613069081123\ 8078874284622264275732892418964221315910483314088576169007404793232\ 6709403782940925/21520213982440337087124687942441689021984058842788\ 9846706424806789081508382193214982503921151720427306692564898958733\ 931649905121414507371175547*c_1001_2^46 + 2791812695172239560159217402644327479439563139413350171338651067972\ 4047285258946988922205844287397906455109022029545899073373027054621\ 793492497/215202139824403370871246879424416890219840588427889846706\ 4248067890815083821932149825039211517204273066925648989587339316499\ 05121414507371175547*c_1001_2^45 - 1508964255030646663459772923758336111303009027287231911513292593678\ 2532755786576838838139593009453764444163661719327684210304427570438\ 6876716438/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^44 + 2983396209195856433670354305621468719588746354404681072489156998677\ 9266970801869497806215341849487295939405457242354225254767501500488\ 5864917478/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^43 - 1023467117639981056536664162705172606764166743918746379284130728696\ 2330786533961498301958592296090409105322112649489031280511459336184\ 15827358743/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^42 + 2049313221861564932955208275208453152377518055155805457073118297291\ 7350227993972844219014947632245286528622333425690015604272310342011\ 48300866920/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^41 - 3860873451345260251788373698127290784385696557374027897232770406121\ 6806735159670921450418584459963480043692372614606003150591857059436\ 99296535681/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^40 + 7506198784609530504780270692250680507901634931312017787145109649904\ 8187310046465686223396967583222113701128905462514302374196174454021\ 99304213164/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^39 - 7527499313569593313214506794548683219604238734950489444837413140818\ 0627178717177114157089019494075746546006638519336307384214666199944\ 25313153774/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^38 + 1820706053949153863720900046238149415936445379980829745305952040240\ 6242980828971101615349803704660615477589927022311622115144785511622\ 569717834304/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^37 - 8943195985643567624875050637816580537413571611291123342785319720627\ 1667725088182047229627851313817890024500408210805493579709200310900\ 47984321629/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^36 + 9499482047236028344090386358309103426637395289927617664377831997631\ 8965734213680609970072170753731004607414205576302702521346656472832\ 1335428162/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^35 + 2254537790532500802933995279052926183356848010208662713389294569370\ 6866465011205507438714050586656736155337034039346370101342979047196\ 097906685860/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^34 - 1798419184783195484365296802948398488429396020583843634793504377052\ 2541972899948502563313161196949338770001177012581305102327352347504\ 5347106007678/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^33 + 2747979744992460064204097059343345963543291014857789316713099161459\ 0780733011385400313634133381910894677931599053099573131415229219389\ 2940708627339/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^32 - 7145946670154428989940050344171583914622518667897023967903126624859\ 9747467262564780116661630852622578443698135199196100390200870178503\ 7830834642899/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^31 + 1012749776721069225528053386682892034044933805249131585788109114669\ 5242320544153313880453962776943720277962060410761518887796939373958\ 35354760712211/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^30 - 1203221785713880523518811825719491872521479345656102880170763028531\ 0274863374525895239617410982982543315668154235226448235002664640454\ 20520120003892/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^29 + 1523594963956902297798691311923568154336352517374708820490398613793\ 9844072612180457147283656943263218398625389991073254668843166638049\ 17424374975600/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^28 - 6389599634901905159001268207325377544796354442723359979731415528327\ 3199437720774316465597206533408929422647455646074573033550772292527\ 872358245448/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^27 - 9746171940818607466395305428603542611462620004042132223060089162446\ 6383427791132371664525801038899321191506235705739621932438131679647\ 9425340854625/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^26 + 4603808265644442581915558872553171765953396584988148511122759691758\ 9461679347030118963519963521891861230391357814730187661856831209521\ 29553765149934/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^25 - 8754132846762272994383140336153418963593456493229983138474195412386\ 6133221040215467833283695154862829807468381808410072728135790221726\ 46694506291034/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^24 + 1159560332782344226489676007321403883901943224427083777793640333097\ 9865692807900071500867313472929471800632979545068136267754257417795\ 056488314936539/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^23 - 1820834940196280129906556387271553622079051740850390723492307610842\ 0496946109645084543645984871210366943792016686470452123532090528716\ 444423286836955/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^22 + 1656475913883087829266801806044816403710642233151980819437649460015\ 6653160224915575076440846379473067929717753157712383231029121020099\ 093225079361594/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^21 - 2040346033091273243363994541186123405586422811276762967656423209547\ 0939590803997354064592474200035071002536864280497007398975437568562\ 070794825765978/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^20 + 1536914836324339553843081966253670047538589966700329328913899453899\ 4916158977143156332102613879494385278906453404012106700738998874788\ 739516287279897/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^19 - 1191680723619433581540893694217881119108799238982848424472347016028\ 9292202129204269436655162099250367183602413532542745334080077909143\ 880808352610116/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^18 + 7707386940735915494465167829342922941040552161582260662256079285388\ 8451578961230663766936101432229801875488835355354008707150685023934\ 59093207534877/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^17 + 1283400395718827605292524288620067603029337752284244777996202308789\ 3077501134088062097336647612236018578238297466257333736269260932320\ 4356177271347/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^16 - 1496524831004383316891306751091608119390540975490762755066412760411\ 2654640546908425420132675673365611940838969245729495162398565268385\ 86256625994962/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^15 + 6955806440553816818288067518302974227686935891230178423617746317964\ 9824365720521848972605832939427580274088865425270097266128629970973\ 72117658597961/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^14 - 6725685721919507221138797005774915927968657289849377200378661274514\ 1296491989649710434825691306105523551113612631613632189821757436734\ 39761604835488/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^13 + 6791100855873633419805852918532579127787365787013414799105181079199\ 6799459843423740002175016540823443759030680316084214252297462894185\ 77712418159252/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^12 - 6306179133235150012478648944948726890025840657950608890141210648858\ 0997137682872725131365626530380611768442389224476929534515701426394\ 76940284148074/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^11 + 3954860117412161432403140260264394289405409532034016394003549498797\ 9534536713502568155605566943278835431946075570845922507292592115278\ 84832478920612/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^10 - 3324146958683941172212830328234451650390629514944685879759465591334\ 0706211478393253029877510684027255533040831866440727415193132517006\ 46555388369693/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^9 + 1555725705779752694701548550120743930950991609543180360987280332706\ 2016407601828819518498014737385706735759297753379002059133179802717\ 07072123396676/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^8 - 8337255068235634275605420413746019858325233652146417446624505024633\ 0437988340805686523126542508457011020013019856728641221999576681993\ 141197226924/165540107557233362208651445711089915553723529559915266\ 6972498513762165449093793961403876316551695594666865883838144107166\ 5377317031885182398119*c_1001_2^7 + 4160258652852244803886282486324342327408573100669267744612192105244\ 2973364764754980025034341349154728642123776089649693581007541847636\ 5580845517615/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^6 - 2213663223940582395252361042247163461780617602429172253980588065511\ 7451794526977939343613110002519452369724966021364764372458168553201\ 5399427224462/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^5 + 5663722991948913306169173022080252824686362111398654986446860676269\ 0374197943695531539302425576421185973465576111615066399465852974603\ 202712573870/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^4 - 2206749293326683767823529959974204190282875360751061966881489820924\ 1123593176302162170491322572849113023501699891906862177193149819486\ 010585664550/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^3 + 2685662481823095731426224026469545402030159831747199184598392494121\ 7526903414131675284192645388776469971119972960624707515546089250705\ 32136710269/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^2 - 8489274929378919372163027302679688377952121452466132861727617600403\ 0590701947001761164794805381968724532055540162462480184683528201895\ 7234831460/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2 + 6192043738869627664783561712733250\ 2493215517398546574529703021336252452579247937986215868075053164984\ 066357181596092738138004646405116611977237/215202139824403370871246\ 8794244168902198405884278898467064248067890815083821932149825039211\ 51720427306692564898958733931649905121414507371175547, c_0011_7 - 439881288337609936225988116109402153569553980462003404895189\ 9949894934156300907208873732795157290546693386561025783424541732203\ 8133056120327763/43040427964880674174249375884883378043968117685577\ 9693412849613578163016764386429965007842303440854613385129797917467\ 863299810242829014742351094*c_1001_2^46 + 5376640470947879420408449309182202569765719210466370890525949702601\ 9896258429513920165266940220324779026889709837135894442880454159768\ 393761148/215202139824403370871246879424416890219840588427889846706\ 4248067890815083821932149825039211517204273066925648989587339316499\ 05121414507371175547*c_1001_2^45 - 5907110712306078014653970367189627996719744930160410402667337709771\ 8323521252438890272197775364642373443989418577193713943343448199362\ 2231523897/43040427964880674174249375884883378043968117685577969341\ 2849613578163016764386429965007842303440854613385129797917467863299\ 810242829014742351094*c_1001_2^44 + 1145277297892397766652031394193293391478567851920500017954617639325\ 1577435439677044584718605522193966350610055276224761050333380096723\ 45260133639/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^43 - 3990854746213978084822200404284095000041190430708239157821101137897\ 5254731774927057231816660114179506437370369741459755747036030883978\ 74004973707/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^42 + 3943564991093567834574714568368457102768340485657759896684164257855\ 4301802862792205114788426116410196813535352400542522596168078651171\ 43241161602/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^41 - 1489599781745738565196009195160693951190422048002659139305720625033\ 9566581245503271794945132853639927218650266546344251450801304681196\ 178854448393/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^40 + 2900719059751029548887605920202290644175303221208530788679754509504\ 0068642507690724786357297588286677319768844540082175741682490053334\ 134790787531/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^39 - 2848003691861461343610519301724683153349303145430458455860763722495\ 7294022598222064321360735988358401180487069033602453377118936863421\ 850200458473/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^38 + 7122760915116385129370300869420024606066697101450856797923409326639\ 8911637320368669679721796801019067769833001489394363214990952775650\ 391241623907/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^37 - 1605534230552147129933831364637074107759108896981130023329032945877\ 1384128700984667686128243453795045077355611457601847818596768277781\ 868456919669/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^36 + 4396339812096138388020520427858686224650888034346391410988750943768\ 8944354295850538014690204161517461162568626135251496371219070161287\ 39819485557/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^35 + 8754845389841222184190496324569124656547914856180546460467570944369\ 6064480619322858857996456376043490915705670584339699799014589923439\ 398875604891/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^34 - 7040820686382416577080477044547957858336968182573241974727247821859\ 7706623912250868254622916157153481924417844791861898860301662154477\ 6993632398873/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^33 + 1043967436086056741954851990351626676080932913379785986888789358580\ 9246189558692243939040853434077888624227335743294666435826705546204\ 48603544135959/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^32 - 1390177128705112804067950477734486383609139117639760195066039906820\ 3702698710364550479675009183930340466115527122200222195088158769187\ 11852169140022/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^31 + 3865929075387470985079238435523287306499480557306186228999398199005\ 6611204822284032579408384809367810778989609043763551041659766120199\ 09808021986645/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^30 - 2305946437077302367549850795706575689151453318183760031494052369337\ 8789799191517195179252842706373637713295962258278376698926628134683\ 63557150730736/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^29 + 5882271166112164700795036379473759801995197074751041468188731385549\ 4036542311286912314821658500668396291673706022851844478097437662920\ 90225632872021/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^28 - 3994304295757196672570870455911053306809678100916722835985092639300\ 6974076732373938779738342996675490385710345331661801774562762660226\ 548250750352/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^27 - 3605221459473221532799318240932571714794885565006770129453061571615\ 9353042700613353962957692312023774621531866675332237707597782099817\ 00107851090361/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^26 + 8940699220591673319088885438353064710925945589768056843280968811468\ 4737920490592558545983988876538579174503963805386576893298919542077\ 54670558544237/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^25 - 3354234842040079072624685216985301633852570232388694401617499673162\ 9259193689197638964320439692030526570085049990162047503122447224840\ 542197108568691/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^24 + 4430747654367480612820852389728063677659397744098114321973613014798\ 5992488445880396543687581276648633384570047407083585553655326149750\ 922646757075329/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^23 - 3520267940555253969248472382922389774953807394074702826042190994206\ 2390271522670370437913507220639920425125495296647136407186666692711\ 283830368171315/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^22 + 3141619958790451796362616158894891730984099335173144224832864872377\ 2805049580137431992504870638386912086724957985443324218677726964907\ 424476296688464/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^21 - 3974328166891279195459352659742407214799339802624054643783068095330\ 7124939687561710252534420644463883428607938042380726541176636605327\ 331336601615821/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^20 + 2928952601710108019667512585222217010057006085677851960623675828484\ 8090378767795496304980486387421445508969975749246768291424575690135\ 910289356652739/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^19 - 4683302546278783925873986382077336409628477638094705967384979012677\ 7485198083515501476529294261411108795294507640565296913569693888734\ 493764824224657/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^18 + 3036465478806019253179032912665419431102548359236435622785520685156\ 7604098594646540057251236922521610922164255830462272336957414792489\ 250484746985031/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^17 + 5259981566514443590713219529900137478522124881516597542958442438930\ 6673430092150808279047732902285967861740949225794613461430951304989\ 591900269662/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^16 - 2152537047652625916129029416331015353793908053932767643353574913056\ 5183972167187120031660711921899396846847139602082745223322233910106\ 79629330899566/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^15 + 2686380434895111915056324663308780708861292000758513838534019157789\ 3401969667924429884767221099261116180504120461675858611302559069319\ 482430554650407/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^14 - 1248886890312194411764848001655171284420350978653611273988005900655\ 9566671263480833560594313411959271276344006810722542929911542125233\ 926536367595575/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^13 + 1312766664894421306688627208688741889350077976086450820246676402975\ 9306866962246964150652562057748664875642807547305234776557841015177\ 267076806893774/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^12 - 1220162575531823182641433558122409167724001684033200005747095007275\ 7171533274387231306649285599800084726393531981456145187446388391798\ 908239200191976/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^11 + 7642446761574331550068891272661334897907124534163351402312075121171\ 7981107202834292287535857276488684409216761706205651575341392934743\ 37407053613599/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^10 - 6662004870144815591224440840479078991769731329228417397988377960092\ 9452855225062547497820642289219388677612221845920863375723604851221\ 77520837040553/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^9 + 3045149499974284776822234402541830574257223144350720944442790976685\ 2899545151702472259409005208305858187094211549365200921940541778495\ 96924606338891/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^8 - 3489994186464618173376040585870712361112552270406420490232178686948\ 5562321802540466050807626511822796478278540129748672564244739348864\ 1020940510575/33108021511446672441730289142217983110744705911983053\ 3394499702752433089818758792280775263310339118933373176767628821433\ 30754634063770364796238*c_1001_2^7 + 1705638252193086384047350428848786108369229252046723829187658407446\ 0883018982990482190771265696066898461360844256345651266966597716422\ 79402519193267/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^6 - 9822726051535671384475584800175311326313545949011223970375553535446\ 4420200255927082554101911263392571646527777266156685207647606572519\ 6274174244283/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^5 + 2643894342149032113541450934010930179956349972176752451760186165405\ 8952584888807374381838981535838829299889296881113951015635993667357\ 8267361395875/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^4 - 1155188565038821048461720502676199649653439310827571726838840931585\ 0030935992627622611120347650485082180409415935103856090381231883271\ 5643253100259/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^3 + 2100691539557516116716886656040560158833616010857029581493764805048\ 9652460830477841672966521268954825707117772209251417877497890152609\ 269981154103/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^2 - 6661488406096237618123961615166942116351857554990464358962035774008\ 6849548620722107971261389041554900317832235163247373161623717243330\ 76017104185/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2 + 455788399362543097508747048520345\ 9774087833972662946516241524349216444411315057508415048358342948594\ 68381560773898011789604037083161752133827801/4304042796488067417424\ 9375884883378043968117685577969341284961357816301676438642996500784\ 2303440854613385129797917467863299810242829014742351094, c_0101_1 + 844620862580480116634338590490383847099883574260011135140947\ 9237036965222188456722720508547550229812536131552443248435491821216\ 0884168034499685/43040427964880674174249375884883378043968117685577\ 9693412849613578163016764386429965007842303440854613385129797917467\ 863299810242829014742351094*c_1001_2^46 - 1238699782590278475701552411883630845184736178879488383312002449210\ 9785255013533427640003066582728837969765102449870743747470243521519\ 4627798121/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^45 + 1236701047413916259494984547160272025898460596806075912373708509214\ 7673937773673524378746870542187016390108472075569358312016324177667\ 02691775181/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^44 - 2753511228352563963401032390835871866763457649666457658393681976242\ 9506606901247493835737688275739913784854731789937909121422173898331\ 85250869713/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^43 + 8749116078556029003369798316556328662920632096556766210456936395784\ 7133136299562108381647006494604259656934571304961858869591708186726\ 89013869479/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^42 - 9440194097065824626073070399695105686416347409157333517773057629882\ 3824100585452404914343420716862145620624118693246001229993258999416\ 76117970583/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^41 + 3604417850184868196287382722533975955514894080239101653967049021302\ 2106301621520104859918221552234958042821433617852083311256323883724\ 105977828873/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^40 - 6962451934270017740835074672158468924275949541317974077542508670246\ 6653773245732029329925418129726507751652183937672852434804658931868\ 909062961429/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^39 + 8174931697389253282503276485350286134253178257993213333740819019657\ 0003502414717255764488578632689696074045062352023982519361422011662\ 258930367963/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^38 - 1632693665361422218040002254710668645268894245851876349337828619762\ 5793096784933913261346569305152016974991219597967114953906313589704\ 6035015748837/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^37 + 6353049393329417012227009139571922308490265157488676657684828354216\ 1541732956388047984553400552162191145643995139882445101221569891190\ 329251845888/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^36 - 3864614497680355630850790202841275900815071521677656716377667360708\ 0607242775088333292920476761724089120655869262126655842080311099359\ 238954552867/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^35 - 1684784104260219723488045205644030710685897037028420200797385646111\ 8777538567614314412045782432512013182108835290460200209385863908960\ 5561474587329/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^34 + 1437142801482468468195384560218147889851194389459779877937408773642\ 7220527652218574133038969282039690297543676010504516728667868319630\ 33672437781973/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^33 - 2667625984906986059184383123706940431651710525405507962226411201583\ 8153729590408818579360857569582084390105927437303412750458073562215\ 62355772638731/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^32 + 3167833069934368050259494693632022694430648853622187045626563757236\ 4457969529886701332286373926267620984101079879173458951784819682006\ 24566406541443/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^31 - 1001040118439504557575782662498639742701914165085967750472704319284\ 6394800875700664969674276586306702564469569463899560530135829026487\ 777657910155829/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^30 + 6243701444840802847885405821355411057899648532059157299805923071676\ 5868542783385016117172895014730906276411066636053969716126907844727\ 57297808073589/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^29 - 1553228513660590121655679763434374747598782436255873346631388056033\ 5016095649308024953567232299071596101765761253617423292124271871437\ 897915210416761/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^28 + 2749739331987172980761194799544472581889785812589068202220230823289\ 3054695716611661293253786828638220165811728072004402908601993653401\ 24819911751312/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^27 + 7016891551151049072382940691848768606364430811926829416767332145989\ 3201473579225293013725041171588672743611958334268664537321538366007\ 21873013603985/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^26 - 1909324452688092096176542352618346263805754000513878035386242915285\ 4966638421933420107402054032659226369391235242251637937970993441917\ 520575621895583/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^25 + 8132405471475110753375653705630723707209059236844898492087829865403\ 9148892881490771472169677358833947254877561216696525150179120415121\ 760405901285191/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^24 - 1167792598093862489528507499466154618274503578198155140421431883254\ 9383019760861782289647112289554525457728454364185285137325622007149\ 2022648402909537/43040427964880674174249375884883378043968117685577\ 9693412849613578163016764386429965007842303440854613385129797917467\ 863299810242829014742351094*c_1001_2^23 + 8823084500037923337449381157533171886503827765628421164149948543873\ 4553977102147549620329086772116211296859630974062336256405688274673\ 142865573642814/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^22 - 9268553467410768059598111918883552563957698466424844550968935716221\ 1980330993916364104555608715862482464743575203032627347547155053775\ 132282100707835/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^21 + 1051673338919677735165750475554906625662573541399564484646493370891\ 4145463387796955805047756939928443408919053926689736031063975457207\ 3593631510366267/21520213982440337087124687942441689021984058842788\ 9846706424806789081508382193214982503921151720427306692564898958733\ 931649905121414507371175547*c_1001_2^20 - 9178834455736293151540894262252979195000398526440552467699947462445\ 7660127120426527301371625377034540971992860259291331740725352051470\ 526315700244600/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^19 + 1423594431462634764637328621857983039853544203899186361213661132470\ 2956369962505491217894806468183077574848791671196030205249239964773\ 6946650735186711/43040427964880674174249375884883378043968117685577\ 9693412849613578163016764386429965007842303440854613385129797917467\ 863299810242829014742351094*c_1001_2^18 - 9823813554044469150427852053679378549270410002882062381673476588872\ 5050861912041699807934823135060210381509270250439117680514749243162\ 688909707444829/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^17 + 1254220742541434238619162237205958156767277801876341791772389617021\ 9987284098766394516661446655250918311562452977199046816827631700110\ 324501010183354/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^16 + 5313330420325250516312901167863601115920019969155324820890178615923\ 0180150505357107680820602670819538604286991052552402670686598841260\ 29270374534215/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^15 - 5783819496374283029787649354833044355411344949108043951434183182489\ 1150137830590714365715494351520728935351654326793423157227679179637\ 035701126762051/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^14 + 3655906023335240310834192454002885392289223652092077475145818879701\ 4852207388590840177691038747745832988825291123346540672468619577632\ 488061190102036/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^13 - 3701232727845987987786054334111853871029122999428038991236188633505\ 2804225500547488702014681190319935100942475610337409503482651334443\ 648122039343027/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^12 + 3514436556853038076433620825646674821374773755776806160239911471025\ 6634326626583535340822704804643439277325693092437532088020659196577\ 082717319430916/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^11 - 2545324060269112775882175400174269315066475301174093560516022968287\ 3678270249980954012656693612594865532908730114193878349282359961687\ 466947449973016/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^10 + 1939451730387713983895861478074623131234268680493384900915354236547\ 9573226794994137129974232346734823041199820403734885083766884122778\ 293257800793169/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^9 - 1141541618793862824380665883767577878407388253508052258948324618151\ 9762276589198921954565159706598329488591117908005328445224396402460\ 345085049689358/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^8 + 1053991324489416166027240742202889244124373829470027534862914467973\ 7474024345964084505934819518139697319701696907554732357204294881616\ 70223020362441/3310802151144667244173028914221798311074470591198305\ 3339449970275243308981875879228077526331033911893337317676762882143\ 330754634063770364796238*c_1001_2^7 - 6832622840722184696653510736697135912884925032166433235471384270423\ 2286611416189736240312418490477015323589276159982594890098443138186\ 49171006059867/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^6 + 3170355268046715185484477453305597660070163444913258486742123332389\ 7448478354868278935945253619296213519600377946914032203927099200878\ 44115962973771/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^5 - 1218597496686191708828690991393786279079091044778761721973328390920\ 9431231319226707256632925184312073561877490773989737483017453279925\ 48842495536065/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^4 + 3779961420571539706376373410001542374467294756778981208828645693268\ 7252340795326047187902569308554088042261179194438238498710806280639\ 7307669876481/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^3 - 1068242309726883307734061026922288969653428922694186128693394364270\ 6335224699654980811876680960221882163602143682166300593235851021780\ 3980055509205/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^2 + 2128461059764747907498564479061641498070321110566248645286233442446\ 7003700385675863545428805174477115488266198678061878146838991904010\ 045076988495/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2 - 4465160893786414314076781104173838287750059428888027913574417775918\ 4888169622780962910442122687739799720779520884792528732402934834009\ 64839036899/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094, c_0101_2 + 214087787062983207934156065171593666268230521061287174536211\ 1882138688874950056380800649886781809183473669157652067991277459961\ 2083264252243973/21520213982440337087124687942441689021984058842788\ 9846706424806789081508382193214982503921151720427306692564898958733\ 931649905121414507371175547*c_1001_2^46 - 5623342045656435638372415653087888433472831343246219785138574256008\ 4892641193722460829452701500735350450268894776078810473301173010453\ 582211722/215202139824403370871246879424416890219840588427889846706\ 4248067890815083821932149825039211517204273066925648989587339316499\ 05121414507371175547*c_1001_2^45 + 2984059810775084585046321923812019850180961041403283540063421559812\ 4298400787166983344768437984772731435660584166620553618430792619538\ 3913141744/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^44 - 6131938794818098507043299498688028299279538267590766771244489221661\ 3865399110608178843912731047828512793384701154408087883482894886277\ 0446168048/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^43 + 2062209170863021735497820865710038528826202837006943036933676007475\ 9832461529853855478314293072882277615141910407827157003294133464648\ 28584331907/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^42 - 4228409255938782783014944200444814661612811508325854206722473675241\ 7312620795056483057789503995921240977345347028083444365366068887412\ 94658493602/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^41 + 8071498203601297928515938172331860220269192422930067609305619842251\ 1932247313615166960035112958305745067409393674389792558263271170946\ 91824131259/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^40 - 1568348285641228504891310629447816641922423128810139097197348719814\ 3919959998875592866094578624465839803089167255772653526527769818561\ 982246036494/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^39 + 1688261786063263917048694951651045925609746991821270690227756036441\ 2133084216829463010596544284268579673225129926486335880125881372498\ 881189995643/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^38 - 3806733923398383929178831703110091577078934339358076841709165658164\ 8357147268160988045007597093857774398134149241616493189002054585914\ 439748129991/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^37 + 2277297069125154709676645403972328679683374107305773879054632023909\ 6566648078723050559532267319853225678291143617752048476319069342543\ 289498651498/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^36 - 7056055995275751013117722947230445793338766648448310330497009031459\ 5829339880780370847889848234335415789443691099937162936238671085919\ 36621437990/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^35 - 4129476690804546746646904577565807670556027235427020015326381966442\ 0703351312841899257510212828611199254655884215714346702500920131970\ 228314654529/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^34 + 3507624243545333105890525543787301779522644776531182162673687337653\ 2037689360212594563237341219414877992311156275718202123664846970789\ 3874650695474/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^33 - 5734316578454366326868975619988271018010233705946016323725327256853\ 0249523318968568282820056412932294119647829930752564680555219804875\ 9929265054436/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^32 + 1467946260503535022853135843251981809937761957171302075297509682122\ 0484236646653797022488801619859192604105286083917985024252568389508\ 24858897872437/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^31 - 2161179297779643858259268056910294445413690796176503537827872292201\ 0241906531442394917202777459712568012964412906597271808988027088676\ 66482757425514/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^30 + 2670853776747202851424724135856148230303443785556334988997911678003\ 0600048368295681453985100237235356224974148193911260369683744586837\ 49404596091087/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^29 - 3389908655288854963478834891133636001647627847510877508758929430733\ 7860856395576965499240475791414496246857029404723694031887227137317\ 33021112190480/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^28 + 6907629564700596896549226017219673070759147785731622351402533618401\ 5436718448620844797068141127877953365722033445318292405009543350578\ 5436079500780/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^27 + 1583370401578661633045000828290625527674421344434637378824802955406\ 6911003809618112047341677393323938601710952538655611285438495643989\ 71722698390081/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^26 - 9042827766260873170053401809933723344801107537646754718961664930728\ 4538799297389196835709683551263724252485845384282885927372711825161\ 83289127959561/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^25 + 1806456400410886510739159477956981512827552093975036068329459437498\ 4051934486736792424997226662988922093989996598420755603053914711606\ 076933310439469/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^24 - 2510053030163252671096294003920392059019501831082726640838381279533\ 5439987222756064802590685580419350254924556808232780770338074938836\ 356721235052364/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^23 + 3924491959980060573959913489617067267418004273410623484002147135377\ 5646430105351195132102487268812603911840107824863648694813405489197\ 118535539181729/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^22 - 3812968498341872636759207454703495171214899866852483675177248018072\ 5677627965453476242350954631947376373963279099658956640441183195222\ 943174305919323/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^21 + 4628705414972539286037667279961832175551881085281323635534278686048\ 3394784353866888769518726055750405165761870437170879991284680345188\ 086034370729266/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^20 - 3732249249271180741701383058109359644812782331297917352790216854318\ 6617154863243468034604210506755606525457488074439234241009235428408\ 356915480014918/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^19 + 3007350943476329970918279163814244714851749272298947874748012989379\ 6648766022281082829927483958449459724184072959423468990914952183193\ 381188199164157/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^18 - 2046417988490253446112190627553968560596198773535534396021977272197\ 6356211479426065825504219475791033166797722320927834024367285633516\ 877570635727209/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^17 + 3656383191691513741780216630711110114490342044696876762462698086498\ 1009415655286692295262995851437571286710009797437234837913223317413\ 73058465866482/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^16 + 1459546932755348779170991887275494384576578799365859530703002235779\ 3820573841106339082163887953825207037005988217864536154124036530536\ 15267849833796/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^15 - 1369697401664346007032341023775628414643359784392615392330048710498\ 5508107855838726486018147573683576437987759129450885615053135103738\ 320165954610597/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^14 + 1485140591284271352128339699252288522110515868436966915620647274826\ 6220768792177253818257573667564720039210218404807352776422342325790\ 327011616388517/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^13 - 1579447503977127054630971800707306484901044122558609368894347654538\ 2872095301505623582002338496968420336697658041385566462015243072714\ 578836767866167/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^12 + 1497563657767052859731094602860225332423892384257595641638676786301\ 1124927544224901076290727686279924648618770978204973699989068074089\ 243735441246761/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^11 - 1025772937158982367275277128549174888625815663427542819909418644192\ 7847719537561531140677409012669368574217287670662442948440731697832\ 658085537331499/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^10 + 8465596222715532723273828209629277581163695451122260404112108915485\ 7894597001244891549535669146865522282817298346581248368181946737142\ 37254472197759/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^9 - 4489697001596054695322664142879825328825030717083606792823702591905\ 1953405133367886639414978247240770862914099409070910120264172299112\ 21603350290271/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^8 + 2329231751997680102503860387502186112299283723966256127672295786526\ 1395762751484902704910087958073899286123214133368096046931291548657\ 7076381904130/16554010755723336220865144571108991555372352955991526\ 6697249851376216544909379396140387631655169559466686588383814410716\ 65377317031885182398119*c_1001_2^7 - 1355375934688538705021599376081578311585062863397045371761365172652\ 1906415113651584486884224037837045018966811197633963405457928747168\ 49794767643019/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^6 + 7018456248595647371220744318390184630903269288624772810366447669657\ 1264373863767344690894268374032046822991950986207946108180138545392\ 6316466489079/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^5 - 2448403525767273731740153301744536775280873012621742526990681344949\ 7686036091626028047699044482417583997812648487194418497288886119661\ 2023863521392/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^4 + 8998804333040135841207859942700533051580525886420597398495395993836\ 5369965161105041825488342710082385338051627083531398164504276028255\ 482514854773/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^3 - 2264079003775046653061898375621467987508100257629428888909154612760\ 4738276201703937827275064593904067293817277983731570320839182521917\ 991989573731/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^2 + 5240033889656852765310278269300204518935054096726095468100896657790\ 6571483920918646892326829052186425688828924662022629219120412789275\ 40911981259/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2 - 825129069825680640155648761483011\ 3097818062686086900025350069631225376159156171139068139669875244198\ 97144257642768237397847716270602700170799471/2152021398244033708712\ 4687942441689021984058842788984670642480678908150838219321498250392\ 1151720427306692564898958733931649905121414507371175547, c_0101_7 + 165789353397359417047636118302701729799182816302694795342545\ 2882659634103434070633853555157401581742317759936904687802250861190\ 8972026720123427/43040427964880674174249375884883378043968117685577\ 9693412849613578163016764386429965007842303440854613385129797917467\ 863299810242829014742351094*c_1001_2^46 - 2950560432469026892405324785411486170423069801124053217282174335044\ 9228803210015280531904345220106611844149533189689182995955312844808\ 471778415/215202139824403370871246879424416890219840588427889846706\ 4248067890815083821932149825039211517204273066925648989587339316499\ 05121414507371175547*c_1001_2^45 + 2724846171850586002261081334975242801991052696359799789122305179482\ 9958017440241645664984083054669696128435894145217995801747239221134\ 8985914903/43040427964880674174249375884883378043968117685577969341\ 2849613578163016764386429965007842303440854613385129797917467863299\ 810242829014742351094*c_1001_2^44 - 6891231607628302352650746445139672894408984149912579992828219217755\ 6213175325960348900154393098818391738983721693228101831955691312170\ 5999878823/43040427964880674174249375884883378043968117685577969341\ 2849613578163016764386429965007842303440854613385129797917467863299\ 810242829014742351094*c_1001_2^43 + 2042073032291893661166946573361248927647269217211623354153930775669\ 7684764414221340270624656585409564892744073820605527285975513313245\ 05317186709/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^42 - 2370432112733742320839569051735616643399213593184294845676084277445\ 9317498466431549359338667356487767969129965347279015417769984329115\ 68878181446/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^41 + 9287073016872228996594337355673412109153959228735631243231096158026\ 8788164594612058484853499657661135762910391100149188001565372883635\ 49941594949/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2^40 - 1782014861260000026046086135425714569288664694163503011355008954531\ 9972652311850193550930950854601465698336407094662139738813018649806\ 402233403889/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^39 + 2406246842904617663625670333608841135469485144114988801297555041912\ 8045517144623056307346971032522516895899704781364180715061099772670\ 911218487777/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^38 - 4106599680305945080629652324829930787446772915418025976826507018089\ 0731761431059582867546590829133312058547676564604656631879947033466\ 075956299879/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^37 + 2172856654666961282050202195646136593550980999537500914441618561165\ 0957964939368377845324282909320690486611584050605543718992487566487\ 155236956443/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^36 - 2095499144241801146719303239826934630787417318822458405501594176491\ 2878905909235502525095977867656208436076847828402181780276189218575\ 392198684923/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^35 - 3145574692553853894637212719285404760851156784813149301513415880836\ 7126909735451512303917369019686833833325291622399717997366595130398\ 686222242407/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^34 + 3042049554644066172998660483396727064219989852722858831150164425866\ 9985933099655157477886687063327786047078896398038625438557889510891\ 1797754718977/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^33 - 6988139592436857677848895244225803300464890066327784311373575455983\ 3806123782999493004595260149829727620717075376344712448660392293770\ 9468347378479/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^32 + 7784166203786283606789372095905327248712903396663508889952598923536\ 6816946095324099746022878512843407070036675052254611859316553561172\ 5123503794183/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^31 - 2700403451095385586626210883441017484560267502863983211251799042814\ 4745077433995168243092901342882784207037714741364161627869402905198\ 86271766706769/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^30 + 1797972413706172033855441319969181440822190265750972737190262006938\ 6450810744414981320977438599253684872619114744012256094676640627633\ 98147367240445/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^29 - 4418015015931105345607973574748217364878403890946391695928906765398\ 9302840507774692193122504240425521509822608846879182608883030841253\ 73581982333725/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^28 + 1382648227663042736663524030928617165592748896876490486970681179191\ 0568909056378372320172582087762247619735293000606151082649164545668\ 05357150548331/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^27 + 9682619239076052563423889727217215478501065645962069400461871004693\ 3672243503852825479614199815223993993504859979212156468562242567365\ 4001279877741/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^26 - 4289454126499493304821667763099067638432742967908738420762092792673\ 9517697099937249841535426781060084922060538843225314300146541225427\ 31404661144338/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^25 + 2060495955469490948516437228429791817796529558074385274032979216854\ 5130402492378098257854926371978469678769033916234080600595043176309\ 302356590660795/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^24 - 3247360609584728859126715242325531544027386628652167577204975092340\ 6580847436889601990695939413980811251714419766592890883385405885234\ 615100585638179/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^23 + 2389179483466033901458191017646661210757051177100075940433378949896\ 8894066784449234682700684789752687732271116458033865377915352345429\ 132210780132104/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^22 - 2803432843505329088485927009207080147284922361184908305712864535769\ 7703091419576150148122560302832927477560249738435236733477135066474\ 356485245854908/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^21 + 3062781764124789829360548158058828378196844859651277770820566754301\ 8026421118777726510931070913425407317380520490937517452712842093964\ 399862313324882/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^20 - 2912029089984129865292055162880169316052093853525417049379772478527\ 5574163849832445161470703844129337639605240221780466112093727147031\ 625136508807207/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^19 + 4681071525125226859443562487353882605649592481908241719095755249678\ 8771317977348549386464804953126621047371861630711174409629523431398\ 085560998385643/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^18 - 3295956261134187758433142951571228857236559167092839713184901512607\ 4990560486490650477274769897870781387084108574946278831646135800157\ 431881062768967/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^17 + 6997899457585765238046471007860934448754617891276685302576283261073\ 6900570097053894729905265114712173310935491364617867079133250341095\ 19056300021307/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^16 + 5492145685277802662827046511164405056313609793832614562390119224639\ 6247709178312939245257726082090743923688413574298507067435996327907\ 2391718600212/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^15 - 1375221854433675723680777119951333211496084003078363813093938280951\ 0009106477741985256845054197924955967258339903840034770905180013329\ 609789558525547/430404279648806741742493758848833780439681176855779\ 6934128496135781630167643864299650078423034408546133851297979174678\ 63299810242829014742351094*c_1001_2^14 + 1065317738014797318798904759122322705943468042720470226445524658018\ 9493306853192077934887827587442548021775090451787518637204774200668\ 125575843897884/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^13 - 1139704812967234332613271966092119894773358905160759860951795857650\ 2212635570485028529993322710505523524711668303256560324473010247878\ 180639045723702/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^12 + 1075097836927311425371714949301735411569439886155199883838859362609\ 1642232433536580267059472375865475689674535321311550262522249783879\ 323953716458470/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^11 - 8585527472836440223821446082034873149719534256307829972656029864373\ 4199642675522623217864971443654697615028045733393046561006296250715\ 43748048478032/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^10 + 6270914763074341847110387591953298988130712458992630238608583513861\ 0524424309168743125565151136626793541662375374314353745649822242773\ 34948425527797/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^9 - 4043388274744390516206654529276377741991659042208196233559096479775\ 8530198226378887423379607889392076775409541213138932220227490508631\ 23168982201187/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^8 + 3639469321963590435515775039316225049153534224819933778720335502532\ 7690923253954896380928902909588299346013240845979931555552171652053\ 2032482565767/33108021511446672441730289142217983110744705911983053\ 3394499702752433089818758792280775263310339118933373176767628821433\ 30754634063770364796238*c_1001_2^7 - 2483506177050569629273688728426543837115604070845332948340827251936\ 4321118734449030349633400349886292804706186657156294270312937214924\ 96437679721849/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^6 + 1167092102090737951614252280689583545839242536100371564161754593440\ 1856023539038711614692778496397785863399522138920881116608148599524\ 42385682877337/4304042796488067417424937588488337804396811768557796\ 9341284961357816301676438642996500784230344085461338512979791746786\ 3299810242829014742351094*c_1001_2^5 - 4730177305695501429103387649038554225918655930009337287341607686185\ 1375756429255711054739378330596793470192196534357143440750826559280\ 3063929349071/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^4 + 1485856518724199035437288045087536857225591029670241947821248860642\ 6610764620909003226741611088154086724900952633088666279112505052687\ 2992803899565/43040427964880674174249375884883378043968117685577969\ 3412849613578163016764386429965007842303440854613385129797917467863\ 299810242829014742351094*c_1001_2^3 - 4071937425602491371143700385975425096164804465400248497331057291562\ 0773684670129047139407771970771458732387459896837426771112067760283\ 552936569033/430404279648806741742493758848833780439681176855779693\ 4128496135781630167643864299650078423034408546133851297979174678632\ 99810242829014742351094*c_1001_2^2 + 8079534615853256789999635475401927297267122711443601714472002412819\ 8936564115813633923285920882356783583966837428973852766060152208352\ 14918698871/4304042796488067417424937588488337804396811768557796934\ 1284961357816301676438642996500784230344085461338512979791746786329\ 9810242829014742351094*c_1001_2 - 163712301074375540229910132393307\ 9754069837424445255396351972433460767413267466235652721222482608868\ 185837858210378678937605644020775623480759055/430404279648806741742\ 4937588488337804396811768557796934128496135781630167643864299650078\ 42303440854613385129797917467863299810242829014742351094, c_0110_5 + 214087787062983207934156065171593666268230521061287174536211\ 1882138688874950056380800649886781809183473669157652067991277459961\ 2083264252243973/21520213982440337087124687942441689021984058842788\ 9846706424806789081508382193214982503921151720427306692564898958733\ 931649905121414507371175547*c_1001_2^46 - 5623342045656435638372415653087888433472831343246219785138574256008\ 4892641193722460829452701500735350450268894776078810473301173010453\ 582211722/215202139824403370871246879424416890219840588427889846706\ 4248067890815083821932149825039211517204273066925648989587339316499\ 05121414507371175547*c_1001_2^45 + 2984059810775084585046321923812019850180961041403283540063421559812\ 4298400787166983344768437984772731435660584166620553618430792619538\ 3913141744/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^44 - 6131938794818098507043299498688028299279538267590766771244489221661\ 3865399110608178843912731047828512793384701154408087883482894886277\ 0446168048/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^43 + 2062209170863021735497820865710038528826202837006943036933676007475\ 9832461529853855478314293072882277615141910407827157003294133464648\ 28584331907/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^42 - 4228409255938782783014944200444814661612811508325854206722473675241\ 7312620795056483057789503995921240977345347028083444365366068887412\ 94658493602/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^41 + 8071498203601297928515938172331860220269192422930067609305619842251\ 1932247313615166960035112958305745067409393674389792558263271170946\ 91824131259/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^40 - 1568348285641228504891310629447816641922423128810139097197348719814\ 3919959998875592866094578624465839803089167255772653526527769818561\ 982246036494/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^39 + 1688261786063263917048694951651045925609746991821270690227756036441\ 2133084216829463010596544284268579673225129926486335880125881372498\ 881189995643/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^38 - 3806733923398383929178831703110091577078934339358076841709165658164\ 8357147268160988045007597093857774398134149241616493189002054585914\ 439748129991/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^37 + 2277297069125154709676645403972328679683374107305773879054632023909\ 6566648078723050559532267319853225678291143617752048476319069342543\ 289498651498/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^36 - 7056055995275751013117722947230445793338766648448310330497009031459\ 5829339880780370847889848234335415789443691099937162936238671085919\ 36621437990/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^35 - 4129476690804546746646904577565807670556027235427020015326381966442\ 0703351312841899257510212828611199254655884215714346702500920131970\ 228314654529/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^34 + 3507624243545333105890525543787301779522644776531182162673687337653\ 2037689360212594563237341219414877992311156275718202123664846970789\ 3874650695474/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^33 - 5734316578454366326868975619988271018010233705946016323725327256853\ 0249523318968568282820056412932294119647829930752564680555219804875\ 9929265054436/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^32 + 1467946260503535022853135843251981809937761957171302075297509682122\ 0484236646653797022488801619859192604105286083917985024252568389508\ 24858897872437/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^31 - 2161179297779643858259268056910294445413690796176503537827872292201\ 0241906531442394917202777459712568012964412906597271808988027088676\ 66482757425514/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^30 + 2670853776747202851424724135856148230303443785556334988997911678003\ 0600048368295681453985100237235356224974148193911260369683744586837\ 49404596091087/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^29 - 3389908655288854963478834891133636001647627847510877508758929430733\ 7860856395576965499240475791414496246857029404723694031887227137317\ 33021112190480/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^28 + 6907629564700596896549226017219673070759147785731622351402533618401\ 5436718448620844797068141127877953365722033445318292405009543350578\ 5436079500780/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^27 + 1583370401578661633045000828290625527674421344434637378824802955406\ 6911003809618112047341677393323938601710952538655611285438495643989\ 71722698390081/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^26 - 9042827766260873170053401809933723344801107537646754718961664930728\ 4538799297389196835709683551263724252485845384282885927372711825161\ 83289127959561/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^25 + 1806456400410886510739159477956981512827552093975036068329459437498\ 4051934486736792424997226662988922093989996598420755603053914711606\ 076933310439469/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^24 - 2510053030163252671096294003920392059019501831082726640838381279533\ 5439987222756064802590685580419350254924556808232780770338074938836\ 356721235052364/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^23 + 3924491959980060573959913489617067267418004273410623484002147135377\ 5646430105351195132102487268812603911840107824863648694813405489197\ 118535539181729/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^22 - 3812968498341872636759207454703495171214899866852483675177248018072\ 5677627965453476242350954631947376373963279099658956640441183195222\ 943174305919323/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^21 + 4628705414972539286037667279961832175551881085281323635534278686048\ 3394784353866888769518726055750405165761870437170879991284680345188\ 086034370729266/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^20 - 3732249249271180741701383058109359644812782331297917352790216854318\ 6617154863243468034604210506755606525457488074439234241009235428408\ 356915480014918/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^19 + 3007350943476329970918279163814244714851749272298947874748012989379\ 6648766022281082829927483958449459724184072959423468990914952183193\ 381188199164157/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^18 - 2046417988490253446112190627553968560596198773535534396021977272197\ 6356211479426065825504219475791033166797722320927834024367285633516\ 877570635727209/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^17 + 3656383191691513741780216630711110114490342044696876762462698086498\ 1009415655286692295262995851437571286710009797437234837913223317413\ 73058465866482/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^16 + 1459546932755348779170991887275494384576578799365859530703002235779\ 3820573841106339082163887953825207037005988217864536154124036530536\ 15267849833796/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^15 - 1369697401664346007032341023775628414643359784392615392330048710498\ 5508107855838726486018147573683576437987759129450885615053135103738\ 320165954610597/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^14 + 1485140591284271352128339699252288522110515868436966915620647274826\ 6220768792177253818257573667564720039210218404807352776422342325790\ 327011616388517/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^13 - 1579447503977127054630971800707306484901044122558609368894347654538\ 2872095301505623582002338496968420336697658041385566462015243072714\ 578836767866167/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^12 + 1497563657767052859731094602860225332423892384257595641638676786301\ 1124927544224901076290727686279924648618770978204973699989068074089\ 243735441246761/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^11 - 1025772937158982367275277128549174888625815663427542819909418644192\ 7847719537561531140677409012669368574217287670662442948440731697832\ 658085537331499/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^10 + 8465596222715532723273828209629277581163695451122260404112108915485\ 7894597001244891549535669146865522282817298346581248368181946737142\ 37254472197759/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^9 - 4489697001596054695322664142879825328825030717083606792823702591905\ 1953405133367886639414978247240770862914099409070910120264172299112\ 21603350290271/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^8 + 2329231751997680102503860387502186112299283723966256127672295786526\ 1395762751484902704910087958073899286123214133368096046931291548657\ 7076381904130/16554010755723336220865144571108991555372352955991526\ 6697249851376216544909379396140387631655169559466686588383814410716\ 65377317031885182398119*c_1001_2^7 - 1355375934688538705021599376081578311585062863397045371761365172652\ 1906415113651584486884224037837045018966811197633963405457928747168\ 49794767643019/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^6 + 7018456248595647371220744318390184630903269288624772810366447669657\ 1264373863767344690894268374032046822991950986207946108180138545392\ 6316466489079/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^5 - 2448403525767273731740153301744536775280873012621742526990681344949\ 7686036091626028047699044482417583997812648487194418497288886119661\ 2023863521392/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^4 + 8998804333040135841207859942700533051580525886420597398495395993836\ 5369965161105041825488342710082385338051627083531398164504276028255\ 482514854773/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^3 - 2264079003775046653061898375621467987508100257629428888909154612760\ 4738276201703937827275064593904067293817277983731570320839182521917\ 991989573731/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^2 + 5240033889656852765310278269300204518935054096726095468100896657790\ 6571483920918646892326829052186425688828924662022629219120412789275\ 40911981259/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2 - 825129069825680640155648761483011\ 3097818062686086900025350069631225376159156171139068139669875244198\ 97144257642768237397847716270602700170799471/2152021398244033708712\ 4687942441689021984058842788984670642480678908150838219321498250392\ 1151720427306692564898958733931649905121414507371175547, c_1001_12 + 11135568276874154592909504977845613759779993433261306908112\ 3807887428462226427573289241896422131591048331408857616900740479323\ 26709403782940925/2152021398244033708712468794244168902198405884278\ 8984670642480678908150838219321498250392115172042730669256489895873\ 3931649905121414507371175547*c_1001_2^46 - 2791812695172239560159217402644327479439563139413350171338651067972\ 4047285258946988922205844287397906455109022029545899073373027054621\ 793492497/215202139824403370871246879424416890219840588427889846706\ 4248067890815083821932149825039211517204273066925648989587339316499\ 05121414507371175547*c_1001_2^45 + 1508964255030646663459772923758336111303009027287231911513292593678\ 2532755786576838838139593009453764444163661719327684210304427570438\ 6876716438/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^44 - 2983396209195856433670354305621468719588746354404681072489156998677\ 9266970801869497806215341849487295939405457242354225254767501500488\ 5864917478/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^43 + 1023467117639981056536664162705172606764166743918746379284130728696\ 2330786533961498301958592296090409105322112649489031280511459336184\ 15827358743/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^42 - 2049313221861564932955208275208453152377518055155805457073118297291\ 7350227993972844219014947632245286528622333425690015604272310342011\ 48300866920/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^41 + 3860873451345260251788373698127290784385696557374027897232770406121\ 6806735159670921450418584459963480043692372614606003150591857059436\ 99296535681/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^40 - 7506198784609530504780270692250680507901634931312017787145109649904\ 8187310046465686223396967583222113701128905462514302374196174454021\ 99304213164/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^39 + 7527499313569593313214506794548683219604238734950489444837413140818\ 0627178717177114157089019494075746546006638519336307384214666199944\ 25313153774/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^38 - 1820706053949153863720900046238149415936445379980829745305952040240\ 6242980828971101615349803704660615477589927022311622115144785511622\ 569717834304/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^37 + 8943195985643567624875050637816580537413571611291123342785319720627\ 1667725088182047229627851313817890024500408210805493579709200310900\ 47984321629/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^36 - 9499482047236028344090386358309103426637395289927617664377831997631\ 8965734213680609970072170753731004607414205576302702521346656472832\ 1335428162/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2^35 - 2254537790532500802933995279052926183356848010208662713389294569370\ 6866465011205507438714050586656736155337034039346370101342979047196\ 097906685860/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^34 + 1798419184783195484365296802948398488429396020583843634793504377052\ 2541972899948502563313161196949338770001177012581305102327352347504\ 5347106007678/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^33 - 2747979744992460064204097059343345963543291014857789316713099161459\ 0780733011385400313634133381910894677931599053099573131415229219389\ 2940708627339/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^32 + 7145946670154428989940050344171583914622518667897023967903126624859\ 9747467262564780116661630852622578443698135199196100390200870178503\ 7830834642899/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^31 - 1012749776721069225528053386682892034044933805249131585788109114669\ 5242320544153313880453962776943720277962060410761518887796939373958\ 35354760712211/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^30 + 1203221785713880523518811825719491872521479345656102880170763028531\ 0274863374525895239617410982982543315668154235226448235002664640454\ 20520120003892/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^29 - 1523594963956902297798691311923568154336352517374708820490398613793\ 9844072612180457147283656943263218398625389991073254668843166638049\ 17424374975600/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^28 + 6389599634901905159001268207325377544796354442723359979731415528327\ 3199437720774316465597206533408929422647455646074573033550772292527\ 872358245448/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^27 + 9746171940818607466395305428603542611462620004042132223060089162446\ 6383427791132371664525801038899321191506235705739621932438131679647\ 9425340854625/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^26 - 4603808265644442581915558872553171765953396584988148511122759691758\ 9461679347030118963519963521891861230391357814730187661856831209521\ 29553765149934/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^25 + 8754132846762272994383140336153418963593456493229983138474195412386\ 6133221040215467833283695154862829807468381808410072728135790221726\ 46694506291034/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^24 - 1159560332782344226489676007321403883901943224427083777793640333097\ 9865692807900071500867313472929471800632979545068136267754257417795\ 056488314936539/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^23 + 1820834940196280129906556387271553622079051740850390723492307610842\ 0496946109645084543645984871210366943792016686470452123532090528716\ 444423286836955/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^22 - 1656475913883087829266801806044816403710642233151980819437649460015\ 6653160224915575076440846379473067929717753157712383231029121020099\ 093225079361594/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^21 + 2040346033091273243363994541186123405586422811276762967656423209547\ 0939590803997354064592474200035071002536864280497007398975437568562\ 070794825765978/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^20 - 1536914836324339553843081966253670047538589966700329328913899453899\ 4916158977143156332102613879494385278906453404012106700738998874788\ 739516287279897/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^19 + 1191680723619433581540893694217881119108799238982848424472347016028\ 9292202129204269436655162099250367183602413532542745334080077909143\ 880808352610116/215202139824403370871246879424416890219840588427889\ 8467064248067890815083821932149825039211517204273066925648989587339\ 31649905121414507371175547*c_1001_2^18 - 7707386940735915494465167829342922941040552161582260662256079285388\ 8451578961230663766936101432229801875488835355354008707150685023934\ 59093207534877/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^17 - 1283400395718827605292524288620067603029337752284244777996202308789\ 3077501134088062097336647612236018578238297466257333736269260932320\ 4356177271347/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^16 + 1496524831004383316891306751091608119390540975490762755066412760411\ 2654640546908425420132675673365611940838969245729495162398565268385\ 86256625994962/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^15 - 6955806440553816818288067518302974227686935891230178423617746317964\ 9824365720521848972605832939427580274088865425270097266128629970973\ 72117658597961/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^14 + 6725685721919507221138797005774915927968657289849377200378661274514\ 1296491989649710434825691306105523551113612631613632189821757436734\ 39761604835488/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^13 - 6791100855873633419805852918532579127787365787013414799105181079199\ 6799459843423740002175016540823443759030680316084214252297462894185\ 77712418159252/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^12 + 6306179133235150012478648944948726890025840657950608890141210648858\ 0997137682872725131365626530380611768442389224476929534515701426394\ 76940284148074/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^11 - 3954860117412161432403140260264394289405409532034016394003549498797\ 9534536713502568155605566943278835431946075570845922507292592115278\ 84832478920612/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^10 + 3324146958683941172212830328234451650390629514944685879759465591334\ 0706211478393253029877510684027255533040831866440727415193132517006\ 46555388369693/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^9 - 1555725705779752694701548550120743930950991609543180360987280332706\ 2016407601828819518498014737385706735759297753379002059133179802717\ 07072123396676/2152021398244033708712468794244168902198405884278898\ 4670642480678908150838219321498250392115172042730669256489895873393\ 1649905121414507371175547*c_1001_2^8 + 8337255068235634275605420413746019858325233652146417446624505024633\ 0437988340805686523126542508457011020013019856728641221999576681993\ 141197226924/165540107557233362208651445711089915553723529559915266\ 6972498513762165449093793961403876316551695594666865883838144107166\ 5377317031885182398119*c_1001_2^7 - 4160258652852244803886282486324342327408573100669267744612192105244\ 2973364764754980025034341349154728642123776089649693581007541847636\ 5580845517615/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^6 + 2213663223940582395252361042247163461780617602429172253980588065511\ 7451794526977939343613110002519452369724966021364764372458168553201\ 5399427224462/21520213982440337087124687942441689021984058842788984\ 6706424806789081508382193214982503921151720427306692564898958733931\ 649905121414507371175547*c_1001_2^5 - 5663722991948913306169173022080252824686362111398654986446860676269\ 0374197943695531539302425576421185973465576111615066399465852974603\ 202712573870/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^4 + 2206749293326683767823529959974204190282875360751061966881489820924\ 1123593176302162170491322572849113023501699891906862177193149819486\ 010585664550/215202139824403370871246879424416890219840588427889846\ 7064248067890815083821932149825039211517204273066925648989587339316\ 49905121414507371175547*c_1001_2^3 - 2685662481823095731426224026469545402030159831747199184598392494121\ 7526903414131675284192645388776469971119972960624707515546089250705\ 32136710269/2152021398244033708712468794244168902198405884278898467\ 0642480678908150838219321498250392115172042730669256489895873393164\ 9905121414507371175547*c_1001_2^2 + 8489274929378919372163027302679688377952121452466132861727617600403\ 0590701947001761164794805381968724532055540162462480184683528201895\ 7234831460/21520213982440337087124687942441689021984058842788984670\ 6424806789081508382193214982503921151720427306692564898958733931649\ 905121414507371175547*c_1001_2 - 6192043738869627664783561712733250\ 2493215517398546574529703021336252452579247937986215868075053164984\ 066357181596092738138004646405116611977237/215202139824403370871246\ 8794244168902198405884278898467064248067890815083821932149825039211\ 51720427306692564898958733931649905121414507371175547, c_1001_2^47 - 3*c_1001_2^46 + 15*c_1001_2^45 - 34*c_1001_2^44 + 108*c_1001_2^43 - 235*c_1001_2^42 + 457*c_1001_2^41 - 884*c_1001_2^40 + 1082*c_1001_2^39 - 2112*c_1001_2^38 + 1753*c_1001_2^37 - 833*c_1001_2^36 - 1812*c_1001_2^35 + 17120*c_1001_2^34 - 33056*c_1001_2^33 + 79769*c_1001_2^32 - 127771*c_1001_2^31 + 166567*c_1001_2^30 - 209411*c_1001_2^29 + 96321*c_1001_2^28 + 55091*c_1001_2^27 - 454889*c_1001_2^26 + 1007209*c_1001_2^25 - 1515954*c_1001_2^24 + 2314905*c_1001_2^23 - 2515170*c_1001_2^22 + 2916848*c_1001_2^21 - 2603364*c_1001_2^20 + 2149537*c_1001_2^19 - 1521950*c_1001_2^18 + 568411*c_1001_2^17 - 17930*c_1001_2^16 - 686135*c_1001_2^15 + 933871*c_1001_2^14 - 1039404*c_1001_2^13 + 995660*c_1001_2^12 - 766930*c_1001_2^11 + 598424*c_1001_2^10 - 366060*c_1001_2^9 + 233581*c_1001_2^8 - 117616*c_1001_2^7 + 60938*c_1001_2^6 - 23896*c_1001_2^5 + 9306*c_1001_2^4 - 2572*c_1001_2^3 + 738*c_1001_2^2 - 126*c_1001_2 + 23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.680 Total time: 1.889 seconds, Total memory usage: 32.09MB