Magma V2.19-8 Tue Aug 20 2013 18:02:22 on localhost [Seed = 1377036051] Type ? for help. Type -D to quit. Loading file "11_468__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_468 geometric_solution 12.13434244 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2103 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -4 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.878127287736 1.159471951263 0 4 5 0 0132 0132 0132 2103 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 4 0 -1 -3 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.878127287736 1.159471951263 6 0 8 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558502787960 0.707643138332 9 10 9 0 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 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.357778411300 1.233605676166 5 1 8 5 2103 0132 2310 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.107950593125 0.699004487922 4 6 4 1 3120 2103 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694548110183 0.544243673449 2 5 11 11 0132 2103 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.801567174081 0.675395013099 10 7 2 7 2031 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308201053629 1.022267703065 12 4 12 2 0132 3201 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 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.472255846690 0.954496005867 3 12 3 11 0132 2310 3120 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -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.357778411300 1.233605676166 12 3 7 11 2310 0132 1302 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.039308499180 0.659931558447 10 6 9 6 3012 0321 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 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.270419350810 0.614739660068 8 8 10 9 0132 1230 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443640359371 0.802383026709 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_3'], 'c_1001_10' : d['c_0110_7'], 'c_1001_12' : d['c_0011_7'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_1001_2']), 'c_1001_7' : d['c_0110_7'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : d['c_0110_7'], 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_0011_5'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_3']), 'c_1100_8' : negation(d['c_0011_7']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_0011_7']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : d['c_0101_6'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_7']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0110_7'], 'c_1010_2' : d['c_0110_7'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : 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' : negation(d['c_0011_10']), '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_12'], 'c_0101_4' : d['c_0011_12'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : negation(d['c_0011_11']), 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_6, c_0110_7, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 39 Groebner basis: [ t + 7832388782110621624420372865482057060069958029659378366346066116032\ 81096656800247136/2613089837969838991367373571231016024883361192189\ 3590884470831528487412901256097*c_1001_2^38 + 6786379285814182389868195862334932506621344172199002422426887069220\ 987161409347834042/373298548281405570195339081604430860697623027455\ 6227269210118789783916128750871*c_1001_2^37 + 3462449264315058167642270577396822292495561004475714796408692348912\ 833400726656539919/654909733827027316132173827376194492451970223606\ 35566126493312101472212785103*c_1001_2^36 + 3663267409779979610980729433987881831484747845820355330343499593242\ 496216424935846092638/373298548281405570195339081604430860697623027\ 4556227269210118789783916128750871*c_1001_2^35 + 3412809359875601676767969386377294239897606931527700390375921288156\ 77695642506922906626485/2613089837969838991367373571231016024883361\ 1921893590884470831528487412901256097*c_1001_2^34 + 3855181027823342641405700116212112685051694503146457081303871174034\ 85312674709545966249793/2903433153299821101519303968034462249870401\ 324654843431607870169831934766806233*c_1001_2^33 + 2803682000523184298127263998624723875642243688330471323803537657787\ 9631451132055627906546205/26130898379698389913673735712310160248833\ 611921893590884470831528487412901256097*c_1001_2^32 + 8852174947767433975469386654637381935822249353865213119704473616318\ 61718300568023055436917/1250282219124324876252331852263644031044670\ 42688486080786941777648265133498833*c_1001_2^31 + 1016646692631255989198928648857471570925073144070823871773488386845\ 918850944965572674663920204/261308983796983899136737357123101602488\ 33611921893590884470831528487412901256097*c_1001_2^30 + 4720634041801230716488842183394673730798935228415807094205142177149\ 302798216019158046414193071/261308983796983899136737357123101602488\ 33611921893590884470831528487412901256097*c_1001_2^29 + 2675885158441921120791478559338917256506284020375278044176728054714\ 993205111146540884732651743/373298548281405570195339081604430860697\ 6230274556227269210118789783916128750871*c_1001_2^28 + 6407279721067942929378444760246751516546550914686053213801602830437\ 1005495606513197737176760705/26130898379698389913673735712310160248\ 833611921893590884470831528487412901256097*c_1001_2^27 + 1902475330264960576696032912570907993785941284153841843128824251782\ 20191479840207023057785317519/2613089837969838991367373571231016024\ 8833611921893590884470831528487412901256097*c_1001_2^26 + 5477821730774202277370121859001655873063078220432946313234934226586\ 6700119314812335972880780261/29034331532998211015193039680344622498\ 70401324654843431607870169831934766806233*c_1001_2^25 + 5331684303812126141820220201573649641192016682441698029249336077281\ 1195891746137947705400642187/12443284942713519006511302720147695356\ 58743424852075756403372929927972042916957*c_1001_2^24 + 2235509397358980036557621620787133370150085622596797397717036732318\ 047534819087783182655939881872/261308983796983899136737357123101602\ 48833611921893590884470831528487412901256097*c_1001_2^23 + 1310853068127166676329102323628804148657860684542523609938074917825\ 568213150222201161432258869416/871029945989946330455791190410338674\ 9611203973964530294823610509495804300418699*c_1001_2^22 + 2034328295123522482320139154281309704602562655040996135705611502837\ 123826599316939032094478806628/871029945989946330455791190410338674\ 9611203973964530294823610509495804300418699*c_1001_2^21 + 3440002340079209670228174346337869085240351505064898038088911262352\ 6093089794720642411363528425/10753456123332670746367792474201712036\ 5570419431660867837328524808590176548379*c_1001_2^20 + 9182410441800856395011569471034369753985438929633159126996905506929\ 65000466483152195367882040346/2375536216336217264879430519300923658\ 984873811081235534951893775317037536477827*c_1001_2^19 + 5144581616943294345140273519580108409019708251761756882395563325396\ 5332212813199212093280225481/12502822191243248762523318522636440310\ 4467042688486080786941777648265133498833*c_1001_2^18 + 3353025953773843341453549778345394960056515432531371720432296498084\ 516232752050735440221411927291/871029945989946330455791190410338674\ 9611203973964530294823610509495804300418699*c_1001_2^17 + 8240782961910620599204419107913012983256265072915912472238656699273\ 133120355860114543607648727533/261308983796983899136737357123101602\ 48833611921893590884470831528487412901256097*c_1001_2^16 + 5882127032106884424059945009617464810291023308616092714738779661505\ 878157215749572676880193939812/261308983796983899136737357123101602\ 48833611921893590884470831528487412901256097*c_1001_2^15 + 3633040052413544226434274393340205476839993864011672753824439726944\ 631276367127672269686080781162/261308983796983899136737357123101602\ 48833611921893590884470831528487412901256097*c_1001_2^14 + 1923682049016503302854913270981483105580951524904544809198414168499\ 196206447220421437205896700551/261308983796983899136737357123101602\ 48833611921893590884470831528487412901256097*c_1001_2^13 + 2330144017110832029894857248097453841859307920816328953156346189135\ 2842975258698286962412488621/70624049674860513280199285708946379050\ 9016538429556510391103554823984132466381*c_1001_2^12 + 1070721577224380271848572643338412944957810965808826077512085777479\ 68143342159567592897423444456/8710299459899463304557911904103386749\ 611203973964530294823610509495804300418699*c_1001_2^11 + 9684552062277681085311999752859337309386521731095949614310934029803\ 5651352492309705848518766789/26130898379698389913673735712310160248\ 833611921893590884470831528487412901256097*c_1001_2^10 + 2790399637480390135552097094841940366291484119821289219302334283144\ 62025711668263095565952488/3226036836999801223910337742260513610967\ 11258294982603511985574425770529645137*c_1001_2^9 + 3739594236695008452611027120178385111327355086194682337046248930851\ 909015488951579518313070102/261308983796983899136737357123101602488\ 33611921893590884470831528487412901256097*c_1001_2^8 + 9105757203015085094776672554287266558833776116957548912664468166901\ 905768076176369750762486/706240496748605132801992857089463790509016\ 538429556510391103554823984132466381*c_1001_2^7 - 1173529450128449379409300889582939646889247367681905860517396629815\ 2693915951004458789048981/26130898379698389913673735712310160248833\ 611921893590884470831528487412901256097*c_1001_2^6 - 8067923339632844140234819098178763018175040505938891122241599793793\ 52019716010667866103459/2903433153299821101519303968034462249870401\ 324654843431607870169831934766806233*c_1001_2^5 - 6199569514521030158520142992096419357525195882132406848839772864090\ 80843497577174250600153/2613089837969838991367373571231016024883361\ 1921893590884470831528487412901256097*c_1001_2^4 + 4240279352453655428626683264071030221018364683625379025554139227227\ 038561485700720295681/373298548281405570195339081604430860697623027\ 4556227269210118789783916128750871*c_1001_2^3 + 5700719883276460999933724955456919469336626436919256210596401203251\ 55242107077850431133/2375536216336217264879430519300923658984873811\ 081235534951893775317037536477827*c_1001_2^2 + 2474221656470260973795920313781788273850958840714950612099444098494\ 2192784397751677104/26130898379698389913673735712310160248833611921\ 893590884470831528487412901256097*c_1001_2 - 1939966756655782631229412302862816881896618950572472753810362970473\ 9970402939606852126/26130898379698389913673735712310160248833611921\ 893590884470831528487412901256097, c_0011_0 - 1, c_0011_10 + 10848722285201195337169481918839533681296405611351739376573\ 730975/294052296993248642136636960216536865397359106705848507601087\ 9907*c_1001_2^38 + 939890968765091340714723302136421644898888238349\ 02089294287765385/4200747099903552030523385145950526648533701524369\ 26439430125701*c_1001_2^37 + 27330803899327593532102901279033508047\ 72111508915891177027483057267/4200747099903552030523385145950526648\ 53370152436926439430125701*c_1001_2^36 + 5072448127371178077139081407412420042881957902739935923208917815305\ 6/420074709990355203052338514595052664853370152436926439430125701*c\ _1001_2^35 + 472515863235199420353537635386872061806392790093557375\ 7796809209839873/29405229699324864213663696021653686539735910670584\ 85076010879907*c_1001_2^34 + 48033927272114596437555053551733927779\ 203787071270423009218556337602860/294052296993248642136636960216536\ 8653973591067058485076010879907*c_1001_2^33 + 3881036839237122084870770207950599860419311302294372864282156262422\ 00465/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^32 + 2560802179299040829018256575357071961935681087307\ 681630625579658301647344/294052296993248642136636960216536865397359\ 1067058485076010879907*c_1001_2^31 + 1407064460107298048784823287218968228193501038115409343823488808711\ 0953047/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^30 + 65330037233103133227505754008922186132394018129\ 370029838354863726873735792/294052296993248642136636960216536865397\ 3591067058485076010879907*c_1001_2^29 + 3703004411267215315844204926049427638634942543440353959437795697793\ 3275876/42007470999035520305233851459505266485337015243692643943012\ 5701*c_1001_2^28 + 886627928043110088925878694781289905016653150592\ 841973361291892694138587592/294052296993248642136636960216536865397\ 3591067058485076010879907*c_1001_2^27 + 2632545175829269474379340890895538695667447339665388689096127536121\ 547639710/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^26 + 682190782400280853091335948205558246132651120\ 6541286462115816256871050627373/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^25 + 2213354260882065922940687423858979307682214282065974884723658909025\ 935997753/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^24 + 3093602256799636161050166143491650143771179890\ 2733852213900612967112554953373/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^23 + 5442530205816647264446873096807440347307541558370665354138514684485\ 9882396920/29405229699324864213663696021653686539735910670584850760\ 10879907*c_1001_2^22 + 84473903587389571171234284076289289782315559\ 495058769061789304563416339078730/294052296993248642136636960216536\ 8653973591067058485076010879907*c_1001_2^21 + 1157229790870479235898950223659839072478063170139450261668169001334\ 15398855682/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^20 + 1398623834481401077239685235731506127298149\ 00129061550622582397870579676043306/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^19 + 1489261741418492101933313718708231877563426520773155605780587966947\ 41418358262/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^18 + 1393755506991490399214246813843822835487760\ 19702028630189472848390151630623851/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^17 + 1142317315127714029894370311687089822629207001006699107920329807507\ 11027667971/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^16 + 8158038990348902790897005955600700924745475\ 9726460128838993249602917942180010/29405229699324864213663696021653\ 68653973591067058485076010879907*c_1001_2^15 + 5042052348854895477867522233130494342285707465139706941063418936027\ 5603766716/29405229699324864213663696021653686539735910670584850760\ 10879907*c_1001_2^14 + 26719106617918671576374537729197218393002512\ 184901803690751936540378512273747/294052296993248642136636960216536\ 8653973591067058485076010879907*c_1001_2^13 + 3239717892014143425559822466050588328527607619727555448062644939806\ 18160692/7947359378195909246936134059906401767496192073131040745975\ 3511*c_1001_2^12 + 447167860508519112559204574970094506564629182559\ 2375784682647008380056094642/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^11 + 1350391403565901479867514054217011395496908395757206443389786848547\ 026885674/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^10 + 315853217455055052004203084264580262551553464\ 548396146974840004277464656851/294052296993248642136636960216536865\ 3973591067058485076010879907*c_1001_2^9 + 5242890678561617231841851335946849648376582595649522020832107132626\ 9267204/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^8 + 128499408695810702340221895906968427973643663865\ 618514630867910282778790/794735937819590924693613405990640176749619\ 20731310407459753511*c_1001_2^7 - 160838401680052389010685695765050\ 399920603476121909857336346190622663138/294052296993248642136636960\ 2165368653973591067058485076010879907*c_1001_2^6 - 1025999359032659317095791406085357826684073652122919498477312351581\ 05443/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^5 - 89454231591703994933677807463151628719698061701766\ 49873292780079092545/2940522969932486421366369602165368653973591067\ 058485076010879907*c_1001_2^4 + 57437616788421483774295846445976173\ 121503570104207037244034102712636/420074709990355203052338514595052\ 664853370152436926439430125701*c_1001_2^3 + 9003552364648900714229350702660923381509811200530275787226793652253\ 5/2940522969932486421366369602165368653973591067058485076010879907*\ c_1001_2^2 + 487233439637441908896879788383606819079703945306019803\ 524960323992/294052296993248642136636960216536865397359106705848507\ 6010879907*c_1001_2 - 283299440199359773564572857374777805122765588\ 296638429491413098606/294052296993248642136636960216536865397359106\ 7058485076010879907, c_0011_11 - 22914071893731524756568782163255773272761514662538304573733\ 258919/294052296993248642136636960216536865397359106705848507601087\ 9907*c_1001_2^38 - 198464425465645516427341585128309250489591754382\ 836810452757895008/420074709990355203052338514595052664853370152436\ 926439430125701*c_1001_2^37 - 5769403593081549994125459361277675478\ 789595939383538425529894820781/420074709990355203052338514595052664\ 853370152436926439430125701*c_1001_2^36 - 1070435218166193922401495068653072722255312735377281480683607069270\ 39/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^35 - 99681277237261911035258668695711434693800054592033293\ 86933809849322100/2940522969932486421366369602165368653973591067058\ 485076010879907*c_1001_2^34 - 1012952666310511696183715381421967823\ 24827087677231273782321888563356664/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^33 - 8181282095272977708023583384205870158473494371730743604738969455031\ 62563/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^32 - 5395977221365456107347778515397929644512054568432\ 997261629463038366295880/294052296993248642136636960216536865397359\ 1067058485076010879907*c_1001_2^31 - 2963573198531310016247504044616828126593748264441790049914582848688\ 8325899/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^30 - 13753346537332922540731596046661580331927591574\ 3582235718243497435669509965/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^29 - 7791638060447239952229527544585816906893216621173994371060083064202\ 3429831/42007470999035520305233851459505266485337015243692643943012\ 5701*c_1001_2^28 - 186457195508178842981540534118637547897935816406\ 4872600745201269881253512094/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^27 - 5532986941609454981016319739887082405524880287796871918469047864591\ 244688032/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^26 - 143290412523773839627944249087983668088961082\ 68566461492689661617828784612729/2940522969932486421366369602165368\ 653973591067058485076010879907*c_1001_2^25 - 4645894693841552492011296527482007301517209065323982762239332323358\ 613062283/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^24 - 6488848952840743203037120912949737971293224265\ 4799918675800027893974997588330/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^23 - 1140680288483464767093590601914991229920430632708708870132938574296\ 87116919698/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^22 - 1768958715884760262206949423503472661649965\ 76595884506091920691981071784688097/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^21 - 2421114139527755423245461874323329961727784819077291169861563460832\ 35517744085/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^20 - 2923217037727431773870004733642388141533607\ 96831070422225489405359540350349247/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^19 - 3109237830619820802842320579948579168577533289230841015263658143566\ 64181312649/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^18 - 2906319888184467217376921361918277868296243\ 05631187052689961596405383570720157/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^17 - 2378807990523010737619748147688687261221895879475790022539971465924\ 27196731134/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^16 - 1696305123979840542653621460016064114518876\ 27521770352173414119803205177660614/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^15 - 1046608932678946448935933383973233009924669659935694545156001308729\ 81961715133/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^14 - 5535389309621527569592708144305332284160120\ 0851845222523927239311473483696477/29405229699324864213663696021653\ 68653973591067058485076010879907*c_1001_2^13 - 6696361313465980103521849993391231323731791725162235467292174174079\ 87099154/7947359378195909246936134059906401767496192073131040745975\ 3511*c_1001_2^12 - 921744270848046738579506620069915526196292038031\ 7915139981000205217221271827/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^11 - 2774067668625705992758904373945898839074273225092755222223093824869\ 471167771/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^10 - 645919607411135986401584694846209306252128088\ 532622242645140445876306382018/294052296993248642136636960216536865\ 3973591067058485076010879907*c_1001_2^9 - 1064873387408938974358822440767769291026352360739426066322962409754\ 68803714/2940522969932486421366369602165368653973591067058485076010\ 879907*c_1001_2^8 - 25701863623256550957958102508641933253205749466\ 9578887487916951139349427/79473593781959092469361340599064017674961\ 920731310407459753511*c_1001_2^7 + 3522275161222614071307071550633036950101538931443296093525464503996\ 21847/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^6 + 20795951405091612088830312724118318187681383155158\ 8606209698494476444238/29405229699324864213663696021653686539735910\ 67058485076010879907*c_1001_2^5 + 175196563002825951565527779046849\ 60241496719876589865220823264318603405/2940522969932486421366369602\ 165368653973591067058485076010879907*c_1001_2^4 - 1239953901413885933272257040856992930267085002445638396081298985270\ 29/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^3 - 178620267628482484320822959480881255013342936323259662\ 022857360202566/294052296993248642136636960216536865397359106705848\ 5076010879907*c_1001_2^2 - 6342793777176698347781610802813436566501\ 65674656992921994431443038/2940522969932486421366369602165368653973\ 591067058485076010879907*c_1001_2 + 554590311233525882364711861423952068923151918507657065867401482332/\ 2940522969932486421366369602165368653973591067058485076010879907, c_0011_12 + 52132779070487027581056284231001172461638217773395920339077\ 427027/294052296993248642136636960216536865397359106705848507601087\ 9907*c_1001_2^38 + 451648888417969481782834025949197188446858147727\ 049762025813027776/420074709990355203052338514595052664853370152436\ 926439430125701*c_1001_2^37 + 1313311040498292773598417983524039812\ 2210243262062091310031803492794/42007470999035520305233851459505266\ 4853370152436926439430125701*c_1001_2^36 + 2437390634430906237424468754421478843670595274537806954823812343328\ 23/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^35 + 22704762103692396720002871173393079025704235194960969\ 765097474687584003/294052296993248642136636960216536865397359106705\ 8485076010879907*c_1001_2^34 + 230803551324297192006806356098579763\ 560679368454952248109020227042692097/294052296993248642136636960216\ 5368653973591067058485076010879907*c_1001_2^33 + 1864819644113737338207032566448263684970560845754550592489666191573\ 657565/294052296993248642136636960216536865397359106705848507601087\ 9907*c_1001_2^32 + 123044060891735002511294392109039732711171778098\ 33640294301124632442382195/2940522969932486421366369602165368653973\ 591067058485076010879907*c_1001_2^31 + 6760752181415173016008441561547259157948600945588123080212993512973\ 5500143/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^30 + 31389981604121797148764995318479783684267757878\ 5361985523296184232646519830/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^29 + 1779221600102174814288843736168654732706599199756896328039739308050\ 53104715/4200747099903552030523385145950526648533701524369264394301\ 25701*c_1001_2^28 + 42600536346398223463385666406555635994488871571\ 98799147133380189262111854368/2940522969932486421366369602165368653\ 973591067058485076010879907*c_1001_2^27 + 1264873328805550952651143571640555587667919178775711224278823887728\ 8852806444/29405229699324864213663696021653686539735910670584850760\ 10879907*c_1001_2^26 + 32777331971894589137579475205193188851214704\ 633270320153561945223655930922208/294052296993248642136636960216536\ 8653973591067058485076010879907*c_1001_2^25 + 1063440794036229345281008583247483657363431961557629211459017627929\ 5540559028/42007470999035520305233851459505266485337015243692643943\ 0125701*c_1001_2^24 + 148634066538982562603835897769480619015756102\ 213400966067720827352853233896989/294052296993248642136636960216536\ 8653973591067058485076010879907*c_1001_2^23 + 2614818367365609724734951225939099030258679498264214300517880859661\ 80123495075/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^22 + 4058292280904880545173955403313910886456813\ 94374248330033883695020540079039993/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^21 + 5559185491855376367941774520424947029780509806691384735328553911350\ 46287718437/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^20 + 6718166215308238243390320601489898242861253\ 08004161875637063482389937090608378/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^19 + 7152574616547289076651225921921963281342835257823578897190466529734\ 03241596501/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^18 + 6692639247820636127920995327620534129756613\ 92153284515255407050054020646551282/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^17 + 5483880018030218148586649825835033223971873783930138877037047343436\ 46931051823/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^16 + 3915064938229427448546981276278582649613346\ 86603535886059331254509018164557978/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^15 + 2418586729587210267175677160531243283971761923275576255961854622940\ 73119658067/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^14 + 1280881727000606644413351857987876702992959\ 38363264014218989551660421482007798/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^13 + 1551791658107983386814351337596386689027913537642532974474240630882\ 624732033/794735937819590924693613405990640176749619207313104074597\ 53511*c_1001_2^12 + 21394557270453239511192968620205828821433572630\ 270826319869843922270410358042/294052296993248642136636960216536865\ 3973591067058485076010879907*c_1001_2^11 + 6450609078970555871908291328367925875984864547474061383998400494964\ 887261656/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^10 + 150525017772756082053398655892108190401741701\ 0441477898431451541649936715608/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^9 + 2488984852328423408538527579185721985142735756160102062269283001719\ 37778319/2940522969932486421366369602165368653973591067058485076010\ 879907*c_1001_2^8 + 60453724926793114654563659446332580762255038029\ 3697759831581817841615915/79473593781959092469361340599064017674961\ 920731310407459753511*c_1001_2^7 - 7977218567210565601724998540957894925334897185115435892038628162773\ 35230/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^6 - 48531227071953758958408875899914984766590906921438\ 5515666179575653080467/29405229699324864213663696021653686539735910\ 67058485076010879907*c_1001_2^5 - 412513190750983297374418234425227\ 76079246147498866455317827340993132910/2940522969932486421366369602\ 165368653973591067058485076010879907*c_1001_2^4 + 2861965601439354169044587246013534551133502723747335708188308561803\ 07/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^3 + 418876067929637507550689409167893398167594439712280309\ 955279267740902/294052296993248642136636960216536865397359106705848\ 5076010879907*c_1001_2^2 + 1531166946678576004831869944154689620190\ 361016008823613903171647397/294052296993248642136636960216536865397\ 3591067058485076010879907*c_1001_2 - 1298996343839855491618006508868098363651814535656246061086671763324\ /2940522969932486421366369602165368653973591067058485076010879907, c_0011_5 - 642713638566296859167446679070242714434771495763263914338156\ 70442/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^38 - 5566467596004643822792834695344454812846303810798\ 56243210284085569/4200747099903552030523385145950526648533701524369\ 26439430125701*c_1001_2^37 - 16181128573172977405711378035936613767\ 796015736673776131353575557089/420074709990355203052338514595052664\ 853370152436926439430125701*c_1001_2^36 - 3002052034693409317137419346112184835293953730316491616899738856870\ 38/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^35 - 27954415612914203894868186752408090824393130557096251\ 732518080009650481/294052296993248642136636960216536865397359106705\ 8485076010879907*c_1001_2^34 - 284056058381619174653191059950520592\ 996780398167224844609625596440442059/294052296993248642136636960216\ 5368653973591067058485076010879907*c_1001_2^33 - 2294106033189823821302618359778232369940730708018671510197102877533\ 998226/294052296993248642136636960216536865397359106705848507601087\ 9907*c_1001_2^32 - 151299904233566586140555036353939114611047664312\ 35992103852437932962140859/2940522969932486421366369602165368653973\ 591067058485076010879907*c_1001_2^31 - 8309214022559970364118748909731032706504383049841129477383327964640\ 3026825/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^30 - 38559186510821416673554426162946123854293092372\ 8824024968399786057851246890/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^29 - 2184354153220518014632230018136142998647442435219125762545300086626\ 14295122/4200747099903552030523385145950526648533701524369264394301\ 25701*c_1001_2^28 - 52269464716887766321295243151695982967817493026\ 31840017270778759356015791082/2940522969932486421366369602165368653\ 973591067058485076010879907*c_1001_2^27 - 1550969413907845209856151212465478131918719268243273691260940849137\ 1433556082/29405229699324864213663696021653686539735910670584850760\ 10879907*c_1001_2^26 - 40163888797898236289338293680430795606810039\ 633040610561025398889281303853057/294052296993248642136636960216536\ 8653973591067058485076010879907*c_1001_2^25 - 1302158103939214922645135741746618937909038767960466602066864698069\ 8381022402/42007470999035520305233851459505266485337015243692643943\ 0125701*c_1001_2^24 - 181860704057845736974250365707692541043473488\ 631862211053903712953604428681611/294052296993248642136636960216536\ 8653973591067058485076010879907*c_1001_2^23 - 3196786254701712885588269725568984871020713228796925278398981930305\ 92097828225/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^22 - 4957332361085857754540800364822753507766846\ 05819166888548515393407432042310419/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^21 - 6784678020159126270145650704519244511300216812294535929469081142259\ 21849226509/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^20 - 8191483592259518503574432567365982692638236\ 38736619877429746681514872476760151/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^19 - 8712605126786139945973391933995018468631526003493990928859750788822\ 21541679486/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^18 - 8143979030397904069474424333324564545933740\ 58621479160618728985755427468943952/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^17 - 6665923060677812547385912632589974501025413612251420932113715598234\ 61846263134/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^16 - 4753611930016641187634004708664674706619269\ 51937958603938683181851655520174332/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^15 - 2933173986683505228041100430396709326095113558914762449724837726080\ 98000176767/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^14 - 1551512051723554867678138137745648741362807\ 21395183949366053320018495593051837/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^13 - 1877271588990610006398195351744774699030929152164806479997108341653\ 586416476/794735937819590924693613405990640176749619207313104074597\ 53511*c_1001_2^12 - 25847574936377766461489724357989173481511717483\ 616273974716924665533480543011/294052296993248642136636960216536865\ 3973591067058485076010879907*c_1001_2^11 - 7782315952671321081910878246277227001384171310134598862497885544230\ 713401528/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^10 - 181325192374596284109434838667750316294333721\ 5074130593181299756906351131869/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^9 - 2992898424257641312786183795602362842775345779956489453283178883211\ 88958161/2940522969932486421366369602165368653973591067058485076010\ 879907*c_1001_2^8 - 72466562475582887636395462803106860009888724408\ 0511470266019966373640947/79473593781959092469361340599064017674961\ 920731310407459753511*c_1001_2^7 + 9720947664117684401623370101106630248792165856652276450942315577300\ 50464/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^6 + 58375831596883146168719616172129628160492168442201\ 2602542300879483822623/29405229699324864213663696021653686539735910\ 67058485076010879907*c_1001_2^5 + 494938902006790178914624863863301\ 84877271171332351417917238084830577732/2940522969932486421366369602\ 165368653973591067058485076010879907*c_1001_2^4 - 3447847417167078447165849834153556272583308059785404052701636687238\ 71/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^3 - 503627288404357954039724747493382192331245474554501904\ 810053295464157/294052296993248642136636960216536865397359106705848\ 5076010879907*c_1001_2^2 - 1849669006213740468079988838708275082912\ 451084488978465329889568786/294052296993248642136636960216536865397\ 3591067058485076010879907*c_1001_2 + 1562465690740144181293674292814166186100003594346285039079031974691\ /2940522969932486421366369602165368653973591067058485076010879907, c_0011_7 + 394515021919989026042512179544324273225472885314007107361828\ 86457/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^38 + 3417109464361705987960568012214678141805393139943\ 04906262866081356/4200747099903552030523385145950526648533701524369\ 26439430125701*c_1001_2^37 + 99339808566235721422535711218433837003\ 93544981214198523773277245765/4200747099903552030523385145950526648\ 53370152436926439430125701*c_1001_2^36 + 1843191006257944323024363969650356418945090886929107509063908472698\ 65/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^35 + 17164953103508346421878067612265587562823972724393757\ 143177691752266362/294052296993248642136636960216536865397359106705\ 8485076010879907*c_1001_2^34 + 174437122604927435059213980629357541\ 070990349762212183437166295182670429/294052296993248642136636960216\ 5368653973591067058485076010879907*c_1001_2^33 + 1408943816084269574415320358920025671492649722687448985991168624547\ 321185/294052296993248642136636960216536865397359106705848507601087\ 9907*c_1001_2^32 + 929323521584684391202063841637795826099431930329\ 6530983533510893196460442/29405229699324864213663696021653686539735\ 91067058485076010879907*c_1001_2^31 + 5104334595612756345768573259601917142171270306300802887856499743252\ 9025653/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^30 + 23689770117872107443103558897301731961706396745\ 4718195462816191064663719942/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^29 + 1342186148437721468880324280564118960392418395636021240435442224228\ 48819452/4200747099903552030523385145950526648533701524369264394301\ 25701*c_1001_2^28 + 32121618753362515238182278208375570927095430436\ 00232231672640622637014582142/2940522969932486421366369602165368653\ 973591067058485076010879907*c_1001_2^27 + 9532685191785642784515945969079106036457648118915088095588226613106\ 482621755/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^26 + 246895634370347751014669995476119653342257793\ 90529508833267563151838061741855/2940522969932486421366369602165368\ 653973591067058485076010879907*c_1001_2^25 + 8005897153754772832369356167733946073000369691056296604689622241715\ 676372199/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^24 + 1118296043472331773402881825581680010595816038\ 42228422767481066075075696538915/2940522969932486421366369602165368\ 653973591067058485076010879907*c_1001_2^23 + 1966102450437726686387899801095211712717192677533007303942173875509\ 08704859979/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^22 + 3049426634330512216039349860247299122858476\ 75348251829305817954472085061186023/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^21 + 4174264482166774874804473097269467273834068275958544748367020343537\ 97976027187/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^20 + 5040768799368323444124036368285615467110368\ 10944091831099096566949121193225024/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^19 + 5362515984079724718975691198400931313561384905891161579058944847847\ 46600148882/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^18 + 5013561351912973560313906776690708131336793\ 23944502429539484844285970053428511/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^17 + 4104513669103192996358824232003164259321825649506738175694182086626\ 59919793216/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^16 + 2927650368292650787350696903498370776190895\ 27683418464744403832017350113919091/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^15 + 1806880173229740935796226538870609681012279901558469996720220349229\ 04392810036/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^14 + 9559696151522603222218416035790846232324983\ 2255214863396190245975909821302401/29405229699324864213663696021653\ 68653973591067058485076010879907*c_1001_2^13 + 1156948120057568624100679603476285606623468864190831908356685330239\ 737681307/794735937819590924693613405990640176749619207313104074597\ 53511*c_1001_2^12 + 15933213790046396167075499113378737576662997096\ 345538574096843687065031465453/294052296993248642136636960216536865\ 3973591067058485076010879907*c_1001_2^11 + 4798282140755398955594211374049469050944607097377335070133181330914\ 423172239/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^10 + 111820292060458312584078040652388934371067341\ 6961543885081979354818799391530/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^9 + 1845962277493000743606664213007691549276218385260069265739496261101\ 15823360/2940522969932486421366369602165368653973591067058485076010\ 879907*c_1001_2^8 + 44697488998371600846111185167445559931063112238\ 9658584759334679435422880/79473593781959092469361340599064017674961\ 920731310407459753511*c_1001_2^7 - 6002841958415219942082905342461329913093292831193057546046999934793\ 14592/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^6 - 36018952188267545016956781092851627653800721361846\ 8522347847376866965134/29405229699324864213663696021653686539735910\ 67058485076010879907*c_1001_2^5 - 305171162550807454288157811174376\ 39267648081941553661538973625090284932/2940522969932486421366369602\ 165368653973591067058485076010879907*c_1001_2^4 + 2132083392664496342751674370688566602442420847604921628298663423901\ 71/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^3 + 310809155932783795203750836051434848583530852323318279\ 086359899345932/294052296993248642136636960216536865397359106705848\ 5076010879907*c_1001_2^2 + 1160683016453326559600029771716494949834\ 210461622165435004007085241/294052296993248642136636960216536865397\ 3591067058485076010879907*c_1001_2 - 966316474653562834646603828341085063478619387911289697949939980195/\ 2940522969932486421366369602165368653973591067058485076010879907, c_0101_0 - 219752715484712311971228678600339633190658568667819868933961\ 69246/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^38 - 1902577348531159727876943670813430411683667724753\ 48256151633954487/4200747099903552030523385145950526648533701524369\ 26439430125701*c_1001_2^37 - 55284659872549716011001199050015261227\ 34217849652086283648436410106/4200747099903552030523385145950526648\ 53370152436926439430125701*c_1001_2^36 - 1025257984430066789100273730728720081460324952883743841667475637910\ 89/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^35 - 95426526107071683809927525101515181676970305826914995\ 86534328481435228/2940522969932486421366369602165368653973591067058\ 485076010879907*c_1001_2^34 - 9691922463336688132525339648180426468\ 0173945186900741183506189235636147/29405229699324864213663696021653\ 68653973591067058485076010879907*c_1001_2^33 - 7823278389085794546520819842304296562976485735390386499261362191712\ 05032/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^32 - 5156612000921105287874565660998701871750647154171\ 041278051219457379372333/294052296993248642136636960216536865397359\ 1067058485076010879907*c_1001_2^31 - 2830193835092573169607337000579594090588026691769535154499010717739\ 3408729/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^30 - 13124818849411098724268075881788311396197356790\ 0571471940789931975761714431/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^29 - 7429770113671114826402964026517203826639475980729720402620615672630\ 4973635/42007470999035520305233851459505266485337015243692643943012\ 5701*c_1001_2^28 - 177649404245423085605825841430092640883774425939\ 4408120005776185144734843229/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^27 - 5266931531938292956139334165697348172645569105246432822067070839588\ 677401640/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^26 - 136270892532177653903811533927038234460645793\ 51765960699450894703368780861740/2940522969932486421366369602165368\ 653973591067058485076010879907*c_1001_2^25 - 4413842985020124575594055772230444913061948044044178449513114471323\ 913582216/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^24 - 6158137659666895441977842267464102643892562407\ 2495153434834961241025327771184/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^23 - 1081313190261039127292809808264878933684994703941853612072577365364\ 75819585804/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^22 - 1674871749892802459828195701554762353012277\ 24876004476214485705205950087497853/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^21 - 2289414972338527648751745510358182046018350039445914246317505276963\ 01140899146/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^20 - 2760470858245533295629533479180485363925835\ 43143424548978909834491974172168684/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^19 - 2931934835706762731474326590789084244195782604480791435503804936084\ 11298479447/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^18 - 2736433174238184236241148101177522199227484\ 07948981433227040152411177513997506/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^17 - 2236151469385763414717321494973954792320514854389263315731865384426\ 30170568052/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^16 - 1591844971256451965507454460516462326569288\ 90972606114918303463895104383378858/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^15 - 9803562401560728271800577623618542967227884531467359538798784925972\ 5686184876/29405229699324864213663696021653686539735910670584850760\ 10879907*c_1001_2^14 - 51747293208554860013518001766006035699001901\ 193564388113403458970258035658296/294052296993248642136636960216536\ 8653973591067058485076010879907*c_1001_2^13 - 6246527872648310253399634089931026329996927603318479495129282290688\ 98104309/7947359378195909246936134059906401767496192073131040745975\ 3511*c_1001_2^12 - 857750212633937955330366958787909630187804478714\ 8844783476851678694514754638/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^11 - 2574234943428550284573352075058974296335569269320931204991223984787\ 602349392/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^10 - 597280392783017178518856741636067705256809496\ 416409327333612650562039419994/294052296993248642136636960216536865\ 3973591067058485076010879907*c_1001_2^9 - 9795052453182685723474487477850131131282410251148994879959301052249\ 4886168/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^8 - 233336504867638383689699329991779494026949525930\ 505518906614137185680165/794735937819590924693613405990640176749619\ 20731310407459753511*c_1001_2^7 + 349432886709815763045526467583698\ 392724439979797393630642346211292281923/294052296993248642136636960\ 2165368653973591067058485076010879907*c_1001_2^6 + 1934371219287421661563379005822139507749318773819913261299850043511\ 29869/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^5 + 16032786268945387367284937771186939325303976011466\ 602965124569852859601/294052296993248642136636960216536865397359106\ 7058485076010879907*c_1001_2^4 - 1182157098341236343239906853054673\ 19664831747049079996650855383473672/4200747099903552030523385145950\ 52664853370152436926439430125701*c_1001_2^3 - 1656468289379810821826591949471235143311943725687063048069430290550\ 73/2940522969932486421366369602165368653973591067058485076010879907\ *c_1001_2^2 - 48067979416863204009968400654897760933440596721429437\ 1415699770641/29405229699324864213663696021653686539735910670584850\ 76010879907*c_1001_2 + 51791035708875703678276125672466170659004324\ 7177593375510541218979/29405229699324864213663696021653686539735910\ 67058485076010879907, c_0101_1 + 873134959371536332223742236993559999175969175684621648403128\ 98983/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^38 + 7563372146391791345937196310865291328292278398085\ 86427306887954434/4200747099903552030523385145950526648533701524369\ 26439430125701*c_1001_2^37 + 21989762614614818494497063161614890220\ 265708790197795248717407869403/420074709990355203052338514595052664\ 853370152436926439430125701*c_1001_2^36 + 4080469930903800804659140935874856712193814842987877328757310902366\ 60/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^35 + 38003802081511656653697446024373768284449069040525748\ 282417215989055595/294052296993248642136636960216536865397359106705\ 8485076010879907*c_1001_2^34 + 386251189362118820825582356451462032\ 193501840632037662744460956755280253/294052296993248642136636960216\ 5368653973591067058485076010879907*c_1001_2^33 + 3120131179682555045027306494321233750516837335736921165210107415904\ 209448/294052296993248642136636960216536865397359106705848507601087\ 9907*c_1001_2^32 + 205823973198826817526352612739516676319984323835\ 33967121129841255654096992/2940522969932486421366369602165368653973\ 591067058485076010879907*c_1001_2^31 + 1130627004504095879510112685890512137419198915071297009329034243662\ 84954327/2940522969932486421366369602165368653973591067058485076010\ 879907*c_1001_2^30 + 5247993507121056440734330780472150723978827193\ 05762641910636771620219392303/2940522969932486421366369602165368653\ 973591067058485076010879907*c_1001_2^29 + 2973706332550915702055869904429155248843633616100794849876061822160\ 10160189/4200747099903552030523385145950526648533701524369264394301\ 25701*c_1001_2^28 + 71176371916327725058099096755384781632242748365\ 22299005884863070290501102239/2940522969932486421366369602165368653\ 973591067058485076010879907*c_1001_2^27 + 2112547455709787564118007752885617108929054331999188845455600961147\ 1048455722/29405229699324864213663696021653686539735910670584850760\ 10879907*c_1001_2^26 + 54721316840434258206250821081646515614301540\ 624297118836656551710946010059458/294052296993248642136636960216536\ 8653973591067058485076010879907*c_1001_2^25 + 1774612248824202588639773759784626529813222837685495614528422522502\ 3109081026/42007470999035520305233851459505266485337015243692643943\ 0125701*c_1001_2^24 + 247912406610916951053096143587725621884895210\ 219764792007087713812549340288799/294052296993248642136636960216536\ 8653973591067058485076010879907*c_1001_2^23 + 4359055703465032967245627906842551950686516593331348618187285911668\ 49747679761/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^22 + 6761531445673918892817272841042790503064215\ 41920229838943437341553639817897487/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^21 + 9256400293606052132241904864617846020514191929554766263727617034156\ 12283857780/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^20 + 1117860436832916004602267040533719460170768\ 289540988006892917200009838505381649/294052296993248642136636960216\ 5368653973591067058485076010879907*c_1001_2^19 + 1189268375585780938276190689561903053342909546264358443900508465591\ 981864771506/294052296993248642136636960216536865397359106705848507\ 6010879907*c_1001_2^18 + 111190594489979084306195499521379433607857\ 9979566936065835774502831874107448328/29405229699324864213663696021\ 65368653973591067058485076010879907*c_1001_2^17 + 9102938762023118700001398438058066705268213285086609132857780209611\ 79855912959/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^16 + 6492654298070797400002668243828242996961704\ 53216758271819619792279291577093382/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^15 + 4006793249054996496266683348380386024259159442363740913185894985116\ 75153888857/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^14 + 2119594033488170540572204614838163306532929\ 80004425001906359117662129289404324/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^13 + 2564679350989573871264277526793022060872901546510722200949826655020\ 040574347/794735937819590924693613405990640176749619207313104074597\ 53511*c_1001_2^12 + 35309531555873983973110891974518029884108986141\ 840615280322328124801350615065/294052296993248642136636960216536865\ 3973591067058485076010879907*c_1001_2^11 + 1062878417625589328388169550352668616662125830721178749350010286543\ 2080684071/29405229699324864213663696021653686539735910670584850760\ 10879907*c_1001_2^10 + 24752977827724055430305840855911663304511372\ 81298803275001486724851498315329/2940522969932486421366369602165368\ 653973591067058485076010879907*c_1001_2^9 + 4081529623074400893513567335398971325167796382615928753555237327882\ 95494552/2940522969932486421366369602165368653973591067058485076010\ 879907*c_1001_2^8 + 98518874925070450962407561542550357346770542414\ 9646770625183214423296282/79473593781959092469361340599064017674961\ 920731310407459753511*c_1001_2^7 - 1352919729777833756004224847984520954200663659934135508331133877359\ 425988/294052296993248642136636960216536865397359106705848507601087\ 9907*c_1001_2^6 - 7982279565093898570814627599705202785156424933278\ 82676259943187968021420/2940522969932486421366369602165368653973591\ 067058485076010879907*c_1001_2^5 - 6730085125532204262640817432494978664600643087653431199668087026137\ 5998/29405229699324864213663696021653686539735910670584850760108799\ 07*c_1001_2^4 + 475733279864365025792954279338745642479057262349296\ 522172943068684868/420074709990355203052338514595052664853370152436\ 926439430125701*c_1001_2^3 + 68667416856942768839681035737295962728\ 3735270865728955892918459581347/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^2 + 2353853513602632053507725510086554798835016731425380138323235277237\ /2940522969932486421366369602165368653973591067058485076010879907*c\ _1001_2 - 213353315272861197917262922080795351734548608098943563710\ 8332229907/29405229699324864213663696021653686539735910670584850760\ 10879907, c_0101_11 + 35449859762955369990752274310014638113223120365080421209745\ 7471/42007470999035520305233851459505266485337015243692643943012570\ 1*c_1001_2^38 + 214739625629676035794636961841920053892808532764334\ 56910776083404/4200747099903552030523385145950526648533701524369264\ 39430125701*c_1001_2^37 + 62367390115560810291920343065223881071386\ 2892687223022623830128770/42007470999035520305233851459505266485337\ 0152436926439430125701*c_1001_2^36 + 1156006095407495022371083679675636369063187774370114142513891078589\ 1/420074709990355203052338514595052664853370152436926439430125701*c\ _1001_2^35 + 153625331985948186416261882292154421970172497093702639\ 614529238992456/420074709990355203052338514595052664853370152436926\ 439430125701*c_1001_2^34 + 1559405932767115240242987417894231324138\ 920548089057405618280704871409/420074709990355203052338514595052664\ 853370152436926439430125701*c_1001_2^33 + 1258010836222395610715071273074873729067634180647912116900372955677\ 9062/42007470999035520305233851459505266485337015243692643943012570\ 1*c_1001_2^32 + 828700009270734010442799846680120556486669703103511\ 27704551804410561829/4200747099903552030523385145950526648533701524\ 36926439430125701*c_1001_2^31 + 45454557936213991443376732517964793\ 9913881198742748203080927043649591245/42007470999035520305233851459\ 5052664853370152436926439430125701*c_1001_2^30 + 2106561372757983394420706316354200379119074307284232962138631730106\ 251229/420074709990355203052338514595052664853370152436926439430125\ 701*c_1001_2^29 + 8341899287315114748387728401053542886826874042888\ 337876396548080773794698/420074709990355203052338514595052664853370\ 152436926439430125701*c_1001_2^28 + 2847456450853270907957613644405636286676068167120567663188629451792\ 1284480/42007470999035520305233851459505266485337015243692643943012\ 5701*c_1001_2^27 + 843613716981127276100157871284984313210624512625\ 89318310585332677564296192/4200747099903552030523385145950526648533\ 70152436926439430125701*c_1001_2^26 + 2181082176846493007710959360232371636150208915763282065457082896457\ 98713711/4200747099903552030523385145950526648533701524369264394301\ 25701*c_1001_2^25 + 49414731805046908521888019229069644683166481769\ 3222834234299051476951383294/42007470999035520305233851459505266485\ 3370152436926439430125701*c_1001_2^24 + 9841292298177177935545360046463767717852012041112930169816581546356\ 94565188/4200747099903552030523385145950526648533701524369264394301\ 25701*c_1001_2^23 + 17266437638672371051006746750388078017181078719\ 51165937602000425231052495286/4200747099903552030523385145950526648\ 53370152436926439430125701*c_1001_2^22 + 2672187333175868166415396477424047921226579507950503751903815371937\ 461081533/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^21 + 3649450276184966859789340661273896910649443423\ 781664669441531411349063525902/420074709990355203052338514595052664\ 853370152436926439430125701*c_1001_2^20 + 4396272460116126883953680372376440886126518572024860124699852912515\ 077874623/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^19 + 4664789157133323104225094710964215913908793039\ 891111000565018599399568389920/420074709990355203052338514595052664\ 853370152436926439430125701*c_1001_2^18 + 4349233354995197971877405439054961049188088464419948303879244334234\ 969360544/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^17 + 3550161847925581135333372371381302608528285516\ 803564240760534067782022682904/420074709990355203052338514595052664\ 853370152436926439430125701*c_1001_2^16 + 2524230021458829722901754360007140054256901246153228001999351916584\ 070372172/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^15 + 1552549409013676414633706130986257057121637575\ 446155069959825444486815352875/420074709990355203052338514595052664\ 853370152436926439430125701*c_1001_2^14 + 8183106190049253709029477681572209384365530262275871323169766263002\ 35153357/4200747099903552030523385145950526648533701524369264394301\ 25701*c_1001_2^13 + 98615211837433916278300033248684946527558639412\ 57387620960183440239649977/1135337054027987035276590579986628823928\ 0274390187201065679073*c_1001_2^12 + 1351404868477098921428809221565642420743800623769560859419450057975\ 59983581/4200747099903552030523385145950526648533701524369264394301\ 25701*c_1001_2^11 + 40448159766965335425394901825761550375842687288\ 719733089266252919808006725/420074709990355203052338514595052664853\ 370152436926439430125701*c_1001_2^10 + 9345388898353069495918565254730955987576714803181199489697391746493\ 299534/420074709990355203052338514595052664853370152436926439430125\ 701*c_1001_2^9 + 15194994621711125849755289160330818567168031277815\ 14488481760949970782813/4200747099903552030523385145950526648533701\ 52436926439430125701*c_1001_2^8 + 351007194541466965761759750773975\ 1072756993847291999965481544454860320/11353370540279870352765905799\ 866288239280274390187201065679073*c_1001_2^7 - 6610372968077773056860254687451246635472103353115034694544788886748\ 059/420074709990355203052338514595052664853370152436926439430125701\ *c_1001_2^6 - 31583773395866019510665549187982944982920641374853712\ 05653817432348893/4200747099903552030523385145950526648533701524369\ 26439430125701*c_1001_2^5 - 250121492778130889379561747291812554572\ 549244521157025708164288312301/420074709990355203052338514595052664\ 853370152436926439430125701*c_1001_2^4 + 1523934303568695439967010640472418043171882308628021207388507846677\ 4/420074709990355203052338514595052664853370152436926439430125701*c\ _1001_2^3 + 2769049285562738140410422381306532344840336122005012164\ 292936926991/420074709990355203052338514595052664853370152436926439\ 430125701*c_1001_2^2 - 20949894922379068443658196017901993630230155\ 05367972025855251826/4200747099903552030523385145950526648533701524\ 36926439430125701*c_1001_2 - 87656471066404468368063851672964385208\ 58422949202286877903288173/4200747099903552030523385145950526648533\ 70152436926439430125701, c_0101_3 - 338258567526154726782442932120763745829525279444228473242750\ 80054/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^38 - 2930076937385227607666788303787271399953674832485\ 20348765254477505/4200747099903552030523385145950526648533701524369\ 26439430125701*c_1001_2^37 - 85188321951130306261931445541600569547\ 85252704199268196989792856595/4200747099903552030523385145950526648\ 53370152436926439430125701*c_1001_2^36 - 1580758708603266804986088054249598294993903447401179955952647243887\ 01/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^35 - 14722390823652538303233274225167579467380051669598901\ 347523138834199182/294052296993248642136636960216536865397359106705\ 8485076010879907*c_1001_2^34 - 149629484401953131641391373250697246\ 635846718812504276938521053887242207/294052296993248642136636960216\ 5368653973591067058485076010879907*c_1001_2^33 - 1208694694624201644308664790332377371303031684298273599252556059700\ 346184/294052296993248642136636960216536865397359106705848507601087\ 9907*c_1001_2^32 - 797327503108286560895539089965437079180417054590\ 4299752357043163521095952/29405229699324864213663696021653686539735\ 91067058485076010879907*c_1001_2^31 - 4379838547549010712500002196465868154357153190824624766043740812141\ 8282029/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^30 - 20329716968570313129239581172377075222628071072\ 0529625682200290248367770051/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^29 - 1151959590050162521266271752711564175944271941167234509914314509093\ 64963278/4200747099903552030523385145950526648533701524369264394301\ 25701*c_1001_2^28 - 27572653299960763265139924400048911634850181881\ 91855480021733890031058451228/2940522969932486421366369602165368653\ 973591067058485076010879907*c_1001_2^27 - 8183816240227745165662617958658214655240843938651600469042971140027\ 863118055/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^26 - 211990599750564840563916301625920778638163981\ 85359360960712183195928229282712/2940522969932486421366369602165368\ 653973591067058485076010879907*c_1001_2^25 - 6875102845315413364923671919683151340740888689054051921669043549467\ 599401388/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^24 - 9604965977450004000261229519529712954022612265\ 5338774282629684351339616664488/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^23 - 1688960255163600846829464137347104634052371227786263196068679114975\ 48108810870/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^22 - 2620057365405494624428409644951411408721799\ 22649199722582675547685340848194966/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^21 - 3587218731650290674421733022165459291581554055197749912114929210286\ 12306052746/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^20 - 4332783973423244360201392055469529623785982\ 43450469294559488441426766627616744/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^19 - 4610411896265695023914031220618255245952843496037690945417529039773\ 41119951554/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^18 - 4311502992003370088323553890668860744434717\ 74291879192542174422844799493268642/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^17 - 3530759098426792860611936433781863592563602534684284430846086007468\ 92005891220/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^16 - 2519217461281996407333471748432752230767085\ 74372109833276367208926116977733547/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^15 - 1555379509648690723344495538821603296635259359533899772193186559533\ 66014293896/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^14 - 8232628641678834905353669003773966830889313\ 3066881393775206540423335898507774/29405229699324864213663696021653\ 68653973591067058485076010879907*c_1001_2^13 - 9968550522121533321444539010122520880195770129479139374436052757937\ 87689351/7947359378195909246936134059906401767496192073131040745975\ 3511*c_1001_2^12 - 137371459891981339223342252842774295838921056443\ 85619537148337888911385764210/2940522969932486421366369602165368653\ 973591067058485076010879907*c_1001_2^11 - 4140299347398368580440295716828262210842539116197354226846218605875\ 475145841/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^10 - 965944980969553486524599917166153763087907780\ 361499527692953569290458609958/294052296993248642136636960216536865\ 3973591067058485076010879907*c_1001_2^9 - 1597448713963201780818333832093448968853980722087483838451984071308\ 61387319/2940522969932486421366369602165368653973591067058485076010\ 879907*c_1001_2^8 - 38847683617471060885218484896977304314787559447\ 1859303684784044531108614/79473593781959092469361340599064017674961\ 920731310407459753511*c_1001_2^7 + 5072043534190485874506358286654257982490342266596889722808348689292\ 58066/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^6 + 31129935449937965780350976903850992487487678064140\ 6366123826570488383372/29405229699324864213663696021653686539735910\ 67058485076010879907*c_1001_2^5 + 265816562139887177281388242831394\ 81752022465912622233134163988499045962/2940522969932486421366369602\ 165368653973591067058485076010879907*c_1001_2^4 - 1824361018851580627994919925534777721767122764647280284979371686029\ 08/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^3 - 270477073971961964863076666625545733212857365383768771\ 690074501406454/294052296993248642136636960216536865397359106705848\ 5076010879907*c_1001_2^2 - 1079151872896846257800119614356551590607\ 861502974956539373703722034/294052296993248642136636960216536865397\ 3591067058485076010879907*c_1001_2 + 845269208363769749806028425930705297043241030173481640262102074553/\ 2940522969932486421366369602165368653973591067058485076010879907, c_0101_6 + 249266896080662450802560471643072134936466917369949041386443\ 12940/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^38 + 2158731359012695003731137565947868723908929536363\ 44914699625721681/4200747099903552030523385145950526648533701524369\ 26439430125701*c_1001_2^37 + 62747598178442114934879662127096320111\ 02456027016725867842113661651/4200747099903552030523385145950526648\ 53370152436926439430125701*c_1001_2^36 + 1164054014369074041132170229730996707168364695458440000081044690290\ 10/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^35 + 10838492101329026175422918472779233610851038196486825\ 368744076744880613/294052296993248642136636960216536865397359106705\ 8485076010879907*c_1001_2^34 + 110124158363027022856730624888635346\ 517941775844879190600476748253877802/294052296993248642136636960216\ 5368653973591067058485076010879907*c_1001_2^33 + 8893000684675518565354618235230248849138460753390226636848631671526\ 41670/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^32 + 5864426748046748864882114399336559269757279700029\ 273389786038749557875449/294052296993248642136636960216536865397359\ 1067058485076010879907*c_1001_2^31 + 3220284560735027556969167346864069136544967756374225839334063519996\ 9116263/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^30 + 14941849301389226050341197385411839908211500596\ 6095665023145064758026745319/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^29 + 8463225643788586350208411243039955591885386641885379400255553003722\ 3699004/42007470999035520305233851459505266485337015243692643943012\ 5701*c_1001_2^28 + 202484043022101931020947417916405919151152041638\ 5991800332404695687799919293/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^27 + 6007151385065581154042969153460871454584518326811518104921878675003\ 776877817/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^26 + 155530464317516633516501355455420000787850175\ 69481704141090749437672562798749/2940522969932486421366369602165368\ 653973591067058485076010879907*c_1001_2^25 + 5041368935561136225111799014713272313113864462785688491382318088866\ 335273843/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^24 + 7039115000662324762868608860545765514241333109\ 7565419927208351171407017148875/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^23 + 1237015211168294536049543959398070194959221758336284014634686181036\ 16670813783/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^22 + 1917686702644712340767067912017131531460779\ 67036003001028293441776822577067039/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^21 + 2623678782656668562040589366968388468481037720911272912535783438699\ 03393047935/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^20 + 3166478576379644500501899548798790382815083\ 50717988747909195258889525128553241/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^19 + 3366446950123926961100971303874664599821662677561690887261294412558\ 33002881633/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^18 + 3145160273864515630481535421189919668202072\ 78654793695170709682024431289224206/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^17 + 2572856479457270696133508320053384870938767168645490444458565759298\ 89598173678/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^16 + 1833525882920216217407158182586764982357974\ 91057831086275522060170100611842837/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^15 + 1130465957927013249913949454236279922447108110063802478863262120652\ 73288654154/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^14 + 5973988981287141817408624138270728419106334\ 3388540463340465321444478419279245/29405229699324864213663696021653\ 68653973591067058485076010879907*c_1001_2^13 + 7219995442306630848850456665156621822400584325134711773004271243687\ 74606198/7947359378195909246936134059906401767496192073131040745975\ 3511*c_1001_2^12 + 992671708916580041611741315130886386901023007278\ 1367338386169365627447747928/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^11 + 2983208420729275644724081020228477717499407429201559784309199861441\ 793868170/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^10 + 693272950948023957269723087067952488825732565\ 648939777621727651512614963099/294052296993248642136636960216536865\ 3973591067058485076010879907*c_1001_2^9 + 1139534449857844260116210420695554517765384466889034491428972400521\ 75745670/2940522969932486421366369602165368653973591067058485076010\ 879907*c_1001_2^8 + 27309809561285581553444398846078255407262119794\ 9568735497308638122619617/79473593781959092469361340599064017674961\ 920731310407459753511*c_1001_2^7 - 3907294240258958080902632507488501798122082567839462084632023645993\ 83218/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^6 - 22294165994793974188229192790419753058173246326428\ 1966287636156921368011/29405229699324864213663696021653686539735910\ 67058485076010879907*c_1001_2^5 - 185583401894223979085390651442342\ 64969941512780229399727259455279225076/2940522969932486421366369602\ 165368653973591067058485076010879907*c_1001_2^4 + 1346124021588279643686546447314706543101979161747444507380463806761\ 81/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^3 + 189141513309568795003170096523047850307822730972085760\ 210016955657979/294052296993248642136636960216536865397359106705848\ 5076010879907*c_1001_2^2 + 5733501721563039662312976827876274672463\ 32620344684617822891943394/2940522969932486421366369602165368653973\ 591067058485076010879907*c_1001_2 - 581466322797335830189851015659298296168712494485846629243489122523/\ 2940522969932486421366369602165368653973591067058485076010879907, c_0110_7 + 253136970019318975271455850793652739307892517682049260031434\ 11856/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^38 + 2192619346115997630581671178504828921519023031684\ 80005159320289880/4200747099903552030523385145950526648533701524369\ 26439430125701*c_1001_2^37 + 63744235422526417229774497066983238273\ 39978607231957235010377888045/4200747099903552030523385145950526648\ 53370152436926439430125701*c_1001_2^36 + 1182775233352647725005048036114497305221851826760774831660381446863\ 76/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^35 + 11015137310677151446589723622311309693320999991332369\ 377010572528646981/294052296993248642136636960216536865397359106705\ 8485076010879907*c_1001_2^34 + 111944523644057839657188106008796194\ 645523118535388017836522184200756249/294052296993248642136636960216\ 5368653973591067058485076010879907*c_1001_2^33 + 9042230783855136373793515373765461486571428686444062793621434866248\ 97993/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^32 + 5964420437139446030363852900673067996624869753308\ 215477052316669514424913/294052296993248642136636960216536865397359\ 1067058485076010879907*c_1001_2^31 + 3276132149029306218769782471578112462727200056376919348801965781172\ 1833549/29405229699324864213663696021653686539735910670584850760108\ 79907*c_1001_2^30 + 15205676661847774003427117048913666451111441134\ 2221517858933237983112784422/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^29 + 8615531933657569270305313541399781466005069327360761097583364269040\ 0151670/42007470999035520305233851459505266485337015243692643943012\ 5701*c_1001_2^28 + 206202142068993191551806431701995830226347680452\ 7816929441881010567871150987/29405229699324864213663696021653686539\ 73591067058485076010879907*c_1001_2^27 + 6119832694769601234061440039076493656321864327387720110076706228690\ 705948848/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^26 + 158514358435967353741403647518417518278461323\ 66956541332505072475693255831828/2940522969932486421366369602165368\ 653973591067058485076010879907*c_1001_2^25 + 5140421016462301329405160332927957788408357788254540231901631682854\ 465763826/420074709990355203052338514595052664853370152436926439430\ 125701*c_1001_2^24 + 7180948841828151861444255778842134382137369863\ 5207398616832770329503346896788/29405229699324864213663696021653686\ 53973591067058485076010879907*c_1001_2^23 + 1262614471545573974567368274576533206423068144193289288115407365924\ 41925292554/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^22 + 1958510956379356819020086277164505609751432\ 17139597370822318466130013938907892/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^21 + 2681236376057344085815998539785129474706726309705324868545928951048\ 96086303938/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^20 + 3238202385967238015857794076371282434603228\ 89927096939766108691468263476637387/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^19 + 3445350425523700805781610702013375584519476189373725634285051470059\ 22262486647/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^18 + 3221626808801345692422862867679004984834952\ 22834004479860169495310954050354631/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^17 + 2637925198283574150845323067127700475160343448540701691591879554817\ 81308488023/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^16 + 1881920671664021593798690943382607720676850\ 44943688520239052246924308450927193/2940522969932486421366369602165\ 368653973591067058485076010879907*c_1001_2^15 + 1161728204870448707304317542963914213169139728374124175744968674330\ 28418448167/2940522969932486421366369602165368653973591067058485076\ 010879907*c_1001_2^14 + 6147907493159837954045136419473408397978248\ 8572188999701688924158569746104626/29405229699324864213663696021653\ 68653973591067058485076010879907*c_1001_2^13 + 7442604584819450085999955501130633328483498658422890913630279631642\ 47426656/7947359378195909246936134059906401767496192073131040745975\ 3511*c_1001_2^12 + 102534422502147384612184570313851094980480728606\ 97000323425163471458673255228/2940522969932486421366369602165368653\ 973591067058485076010879907*c_1001_2^11 + 3089216163148212956965775843826698929088680294906113394762854088636\ 255069237/294052296993248642136636960216536865397359106705848507601\ 0879907*c_1001_2^10 + 720358493437480844984766593310565423369792156\ 161225717649697372597363305922/294052296993248642136636960216536865\ 3973591067058485076010879907*c_1001_2^9 + 1190324564912428552415978766370346850387749891243325487153393404046\ 85263918/2940522969932486421366369602165368653973591067058485076010\ 879907*c_1001_2^8 + 28887987257706056073029101617595769404355644188\ 1545616163336308866502427/79473593781959092469361340599064017674961\ 920731310407459753511*c_1001_2^7 - 3823155268377366939661830463857218288611795070557466966810873271473\ 38673/2940522969932486421366369602165368653973591067058485076010879\ 907*c_1001_2^6 - 23211389199875247200226481288006727236015497380291\ 0446024285694059767335/29405229699324864213663696021653686539735910\ 67058485076010879907*c_1001_2^5 - 197478780393717220652036119606048\ 77834733726146617495139413035997662257/2940522969932486421366369602\ 165368653973591067058485076010879907*c_1001_2^4 + 1365273345882586472966606604024367528820341859142251367464944222632\ 63/420074709990355203052338514595052664853370152436926439430125701*\ c_1001_2^3 + 200731378767193997951887938326763296984170672698292860\ 985822364910663/294052296993248642136636960216536865397359106705848\ 5076010879907*c_1001_2^2 + 7517131798628457427751947394059432640155\ 22082428365994972208854517/2940522969932486421366369602165368653973\ 591067058485076010879907*c_1001_2 - 627695089721116292332967109978319738962603193478772538339277348360/\ 2940522969932486421366369602165368653973591067058485076010879907, c_1001_2^39 + 61*c_1001_2^38 + 1785*c_1001_2^37 + 33355*c_1001_2^36 + 447163*c_1001_2^35 + 4582170*c_1001_2^34 + 37345457*c_1001_2^33 + 248743508*c_1001_2^32 + 1380772258*c_1001_2^31 + 6482323138*c_1001_2^30 + 26031040310*c_1001_2^29 + 90209616074*c_1001_2^28 + 271678113320*c_1001_2^27 + 714988119798*c_1001_2^26 + 1651441545966*c_1001_2^25 + 3358755919039*c_1001_2^24 + 6029459203152*c_1001_2^23 + 9568205569446*c_1001_2^22 + 13432307916114*c_1001_2^21 + 16680268354603*c_1001_2^20 + 18305699848282*c_1001_2^19 + 17721624401259*c_1001_2^18 + 15090783371621*c_1001_2^17 + 11257577977898*c_1001_2^16 + 7316368560106*c_1001_2^15 + 4111805314490*c_1001_2^14 + 1978378733458*c_1001_2^13 + 803839953018*c_1001_2^12 + 270479060800*c_1001_2^11 + 73164733074*c_1001_2^10 + 15122536910*c_1001_2^9 + 2142880099*c_1001_2^8 + 139151711*c_1001_2^7 - 14743323*c_1001_2^6 - 4136587*c_1001_2^5 - 247010*c_1001_2^4 + 21803*c_1001_2^3 + 2927*c_1001_2^2 - 14*c_1001_2 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.690 Total time: 3.899 seconds, Total memory usage: 64.12MB