Magma V2.19-8 Tue Aug 20 2013 23:50:31 on localhost [Seed = 509113650] Type ? for help. Type -D to quit. Loading file "K12a422__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a422 geometric_solution 11.37465099 oriented_manifold CS_known 0.0000000000000000 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 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.278723444438 0.496211855365 0 5 6 5 0132 0132 0132 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 0 1 -1 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795333412343 0.488431301103 3 0 7 4 0321 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 10 -1 0 -9 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858160726055 0.555567967818 2 8 9 0 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050540582715 0.841737060418 10 2 0 11 0132 0321 0132 0132 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 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.145048207502 0.973664421382 1 1 6 12 3012 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729770006894 1.741576473486 12 10 5 1 0321 0213 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 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.393807419849 0.463133272509 9 8 11 2 2031 1302 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 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.392797705424 0.294670507345 10 3 11 7 1023 0132 0213 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727489704683 0.945683490910 9 9 7 3 1230 3012 1302 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 1.130469252152 0.856587879512 4 8 6 12 0132 1023 0213 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 0 0 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.129693741646 1.401542472501 12 8 4 7 3201 0213 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -10 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630489032354 0.785484649199 6 10 5 11 0321 0321 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 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.398111508040 0.345891257994 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_12']), 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0110_11']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_7'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_9']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0110_11']), 'c_1010_11' : negation(d['c_1001_2']), 'c_1010_10' : negation(d['c_0110_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0011_6'], 'c_0101_10' : d['c_0011_6'], '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_1100_8' : negation(d['c_1001_2']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : d['c_0101_12'], 'c_1100_1' : d['c_0101_12'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_1001_2'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_7'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : d['c_1001_1'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_12'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : d['c_0011_7'], '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_12']), 'c_0101_5' : d['c_0101_12'], 'c_0101_4' : negation(d['c_0011_12']), 'c_0101_3' : d['c_0011_9'], 'c_0101_2' : negation(d['c_0011_9']), 'c_0101_1' : negation(d['c_0011_12']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_9'], 'c_0110_8' : negation(d['c_0110_11']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : negation(d['c_0011_12']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], '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_6, c_0011_7, c_0011_9, c_0101_12, c_0101_7, c_0110_11, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 39 Groebner basis: [ t + 7021943778407922820796722978364486657855258665431995166904725255506\ 7788164460860117390138342795743958177/46305173275847502392547174368\ 4541537951511673121249810745061494065080382659793385298767063954759\ 47000*c_1001_2^38 + 53237156523410231043466898500731066914305873547\ 3730865269218712664534394053986528008412269919475658319319/23152586\ 6379237511962735871842270768975755836560624905372530747032540191329\ 89669264938353197737973500*c_1001_2^37 - 5231525010788921481781801899097038581563404191020309673956014542600\ 6316639844181462592087464521147619871/11576293318961875598136793592\ 1135384487877918280312452686265373516270095664948346324691765988689\ 86750*c_1001_2^36 - 14294653550164430644413676094019919914604238134\ 644847749085467730614853592452502476772885113234233330951/298743053\ 3925645315648204797964784115816204342717740714484267703645679888127\ 69925999204557390167400*c_1001_2^35 - 7397381960144252822021534997475487423890921748864674576507164703800\ 246395803661492152204206410908602197421/115762933189618755981367935\ 9211353844878779182803124526862653735162700956649483463246917659886\ 8986750*c_1001_2^34 - 117845761893577018859931922956960038191795845\ 738546729139136830065179177081190813344255437374138228987192619/463\ 0517327584750239254717436845415379515116731212498107450614940650803\ 8265979338529876706395475947000*c_1001_2^33 - 1921665188802227940410619649478471690308714143802407097413646429761\ 67764577122452012625642507758108934336861/2315258663792375119627358\ 7184227076897575583656062490537253074703254019132989669264938353197\ 737973500*c_1001_2^32 - 1489949318552515369891488558149268245534707\ 48412807282780853553781443488197883663874195716191596920199355519/5\ 7881466594809377990683967960567692243938959140156226343132686758135\ 04783247417316234588299434493375*c_1001_2^31 - 5946817929841527919357939169717458173724442026219420814259287753412\ 76945582832843910886908712176764354974899/9261034655169500478509434\ 8736908307590302334624249962149012298813016076531958677059753412790\ 95189400*c_1001_2^30 - 37681305536959314397912090694579022061773490\ 41491593440063663369859388442307350125644661246079087160390858783/2\ 3152586637923751196273587184227076897575583656062490537253074703254\ 019132989669264938353197737973500*c_1001_2^29 - 1643303470258132571673241953426258718986711723451699216170425468579\ 5362232221437066357285716454244383540245343/46305173275847502392547\ 1743684541537951511673121249810745061494065080382659793385298767063\ 95475947000*c_1001_2^28 - 34517719071139197823423553265407558339687\ 4546111401106855865125121350495589539977815712363435648427872414143\ 63/4630517327584750239254717436845415379515116731212498107450614940\ 6508038265979338529876706395475947000*c_1001_2^27 - 3783705595114092692573369887248170365468336275038530605433254295575\ 505017579556907060507497347708908869520217/272383372210867661132630\ 4374614950223244186312477940063206244082735766956822314031169218023\ 263291000*c_1001_2^26 - 1107550127084571445671372836623113003505567\ 7898795007210401522592072950656239420600349132263875494309953428645\ 3/46305173275847502392547174368454153795151167312124981074506149406\ 508038265979338529876706395475947000*c_1001_2^25 - 1729237015288821317451086046750016683665257176960792928133299251822\ 92252294444255264374394415253844674232063283/4630517327584750239254\ 7174368454153795151167312124981074506149406508038265979338529876706\ 395475947000*c_1001_2^24 - 2457216634120362709351455865400901858671\ 2096063297292190776818907224668562740996623848594593593830588171017\ 4791/46305173275847502392547174368454153795151167312124981074506149\ 406508038265979338529876706395475947000*c_1001_2^23 - 3224529978643779200385018502081163913128188868261849576467445588714\ 99207980278595262874381756305377750419772907/4630517327584750239254\ 7174368454153795151167312124981074506149406508038265979338529876706\ 395475947000*c_1001_2^22 - 9583267486478043419392313274778227704151\ 7336812402425660263772543462911675449197959634392457970715520269045\ 997/115762933189618755981367935921135384487877918280312452686265373\ 51627009566494834632469176598868986750*c_1001_2^21 - 4276780892597353352564710524501821252290292787460434161562940535573\ 10304394857346982481802509146666193277733559/4630517327584750239254\ 7174368454153795151167312124981074506149406508038265979338529876706\ 395475947000*c_1001_2^20 - 4301086411062669209364222120535595169653\ 2203913607124567548130726245296707239535697323289868123758565993807\ 3963/46305173275847502392547174368454153795151167312124981074506149\ 406508038265979338529876706395475947000*c_1001_2^19 - 4125182549731407574429997893657749027253697412983219716981105745724\ 87160962080251858525396987147474305385405023/4630517327584750239254\ 7174368454153795151167312124981074506149406508038265979338529876706\ 395475947000*c_1001_2^18 - 1763599446114033301270560203315994242316\ 1842314524456354225712865844685991597776894537528563872153417754617\ 4293/23152586637923751196273587184227076897575583656062490537253074\ 703254019132989669264938353197737973500*c_1001_2^17 - 2939680483662668783025230215364924555228087567352330163932062727504\ 82879981104292253200447220732772289347929701/4630517327584750239254\ 7174368454153795151167312124981074506149406508038265979338529876706\ 395475947000*c_1001_2^16 - 2125856089521362323988091706254793098887\ 6475520252755943310636517234582836338030839838812543712354734002507\ 3127/46305173275847502392547174368454153795151167312124981074506149\ 406508038265979338529876706395475947000*c_1001_2^15 - 3921438772500807421719440380745407374901030511311440190505443365651\ 9622298371812727004505529687639125753125069/11576293318961875598136\ 7935921135384487877918280312452686265373516270095664948346324691765\ 98868986750*c_1001_2^14 - 94012812376868726701461185743861001049935\ 7082661240462265355032181314116748108137981612044705500184217459610\ 29/4630517327584750239254717436845415379515116731212498107450614940\ 6508038265979338529876706395475947000*c_1001_2^13 - 7954167355454925298783233964868784058638134254763792595411718032499\ 636030562831543136776355258321235622118402/578814665948093779906839\ 6796056769224393895914015622634313268675813504783247417316234588299\ 434493375*c_1001_2^12 - 3071601959604415282483284802861539925056200\ 1127460737734307284427309282805296946057816645249345581263055656543\ /463051732758475023925471743684541537951511673121249810745061494065\ 08038265979338529876706395475947000*c_1001_2^11 - 2488910410592765606990226524836391910673594877983439584345805708380\ 354412301421367244307812798814451166250497/578814665948093779906839\ 6796056769224393895914015622634313268675813504783247417316234588299\ 434493375*c_1001_2^10 - 7795768173629993467528920230101217593997408\ 798013538467814517437615357350156543377353638254345251201387636917/\ 4630517327584750239254717436845415379515116731212498107450614940650\ 8038265979338529876706395475947000*c_1001_2^9 - 2868569761447213219201269546760681284626175226507734154274145448858\ 25494304590378080748154574634355226876433/2723833722108676611326304\ 3746149502232441863124779400632062440827357669568223140311692180232\ 63291000*c_1001_2^8 - 170850315744031208951432842164197735985709158\ 1295322962746516287891170217304723463403004237088503280893623943/46\ 3051732758475023925471743684541537951511673121249810745061494065080\ 38265979338529876706395475947000*c_1001_2^7 - 2469914484318017484491453898573273301542473793311540934396471128031\ 91248347238397550765755036856166164576707/1157629331896187559813679\ 3592113538448787791828031245268626537351627009566494834632469176598\ 868986750*c_1001_2^6 - 96666925017439067098386063981173963729554348\ 74211481623507389395001977076889374828799341468363409025133753/1361\ 9168610543383056631521873074751116220931562389700316031220413678834\ 78411157015584609011631645500*c_1001_2^5 - 3774466406951007896576020438834079974392812347250153237955141914001\ 3532015200408712885795340148103161606047/92610346551695004785094348\ 7369083075903023346242499621490122988130160765319586770597534127909\ 5189400*c_1001_2^4 - 4564889288652510695338550185293238558836689184\ 4436828137526811400186764850188582281932048224804313692598869/46305\ 1732758475023925471743684541537951511673121249810745061494065080382\ 65979338529876706395475947000*c_1001_2^3 - 2231490525684141659125427798628672214505905300819268926956922391577\ 77345498122028916752857143908796403098/3404792152635845764157880468\ 2686877790552328905974250790078051034197086960278925389615225290791\ 1375*c_1001_2^2 - 3163299390906725163620079919621617190809368578389\ 246086421527666496340836860125832200512572826414086749501/463051732\ 7584750239254717436845415379515116731212498107450614940650803826597\ 9338529876706395475947000*c_1001_2 - 9276760775579675907473495132635911448411072236071394963907038625244\ 20779391199747938290998510117657241679/2315258663792375119627358718\ 4227076897575583656062490537253074703254019132989669264938353197737\ 973500, c_0011_0 - 1, c_0011_10 + 67155801281731570933369659595850068402317816048005926217223\ 267260670228706838497174265850/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^38 + 18502145646259398280238001479837827428412711798648197424948625941\ 29931610072604901414768364/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^37 + 1041979519304495563031924083804500652535854314152903187709901735926\ 2408341514751613330555394/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^36 - 3087720221152972614612838811924978535429625009563731047242429754460\ 2497891911218017472604004/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^35 + 3017730519115063079075247602650879262833704888534320538570317713350\ 924565937130080649099110/710944283024432139390728546942400659632704\ 9929600578560240138654958948439878771983246420979*c_1001_2^34 - 5226568589103011649271000927006818240421685972028107839099432273719\ 17264204378191791597564224/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^33 - 7820242403470832643155802686134367131908314748697658010289447901531\ 20732803209897716651922129/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^32 - 4326063860206007277632658511556141333964810877259357489383545290145\ 243418210082478681904732380/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^31 - 8450929516538291729427953199673770867365173407855954842901683858665\ 767546945818354562715550788/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^30 - 2525634058990569414698880959113888918344675022150384669409801939760\ 2568553992569089727856657843/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^29 - 5233044494117683950159958342625170259863797212965196878743487280488\ 5079488418067358892629181425/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^28 - 1145956347927115334592898160339896291858872363355043686380079247337\ 68573954702089032864262408301/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^27 - 2156272351047246904661205527077547372192357324882252912212642361005\ 54267409960513878507676332070/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^26 - 3691065739448951911625617804577094505078835605679893186678898915007\ 68432303818025364993248334592/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^25 - 5855673100757915702966588431073593209193892742588216061112909417284\ 71662664979155889275700215073/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^24 - 8060472106954552407402472237669260487621575822146373183135125099326\ 97446734660604595007780075017/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^23 - 1067678453402747457585128515756409069302679523201098059339310142940\ 980960404937271886329158696718/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^22 - 12042351572984886641584148834577014939991081957536110104664209473\ 55362149492961635562651033378715/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 21 - 13483886579712765939491613295706199239775525248257639653630643\ 92950523690506872598514525330172804/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^20 - 12576802492982487788063034258846677535291838503483776839893\ 44554453003727232753907915885401499311/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^19 - 12104996764642241858807906536276455085271482339530751912\ 06557225870089568315751372436507140582198/7109442830244321393907285\ 469424006596327049929600578560240138654958948439878771983246420979*\ c_1001_2^18 - 92821480104878651710667176916685263753627463750614043\ 8308721037148160670756761762119461840609998/71094428302443213939072\ 8546942400659632704992960057856024013865495894843987877198324642097\ 9*c_1001_2^17 - 788698097805609428419971391471197908592659886769742\ 225537635882599676019764046723043036916801406/710944283024432139390\ 7285469424006596327049929600578560240138654958948439878771983246420\ 979*c_1001_2^16 - 4788381112892976016430263990218358722930937733320\ 48432757320508131042321241270317480817355359254/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^15 - 38182922236391521684185513986545467053696707319\ 9791033950903035845628682487424874713280145401760/71094428302443213\ 9390728546942400659632704992960057856024013865495894843987877198324\ 6420979*c_1001_2^14 - 167846147474753061336930891855885168260423075\ 185897844700917027870805096734804723447596715690869/710944283024432\ 1393907285469424006596327049929600578560240138654958948439878771983\ 246420979*c_1001_2^13 - 1402916758091150387559528518838879143537655\ 57279448253269464072964400426231954009244150967342526/7109442830244\ 3213939072854694240065963270499296005785602401386549589484398787719\ 83246420979*c_1001_2^12 - 40496291307508420769137999476098704890747\ 783480256101144956737891485202117351498246847187236416/710944283024\ 4321393907285469424006596327049929600578560240138654958948439878771\ 983246420979*c_1001_2^11 - 3844981895754447914188877847773863655028\ 0632847918585938693680222663068984327469407221042633573/71094428302\ 4432139390728546942400659632704992960057856024013865495894843987877\ 1983246420979*c_1001_2^10 - 852575818883914754557468495366104499671\ 3379394112635523793412687838415930074378934591797145291/71094428302\ 4432139390728546942400659632704992960057856024013865495894843987877\ 1983246420979*c_1001_2^9 - 7666649761988768948633638626958121200799\ 406514189961565188658046453756227382994416724100979530/710944283024\ 4321393907285469424006596327049929600578560240138654958948439878771\ 983246420979*c_1001_2^8 - 19068328553544234437395519501955436561732\ 97744304080055232180739025287141891577992041567689346/7109442830244\ 3213939072854694240065963270499296005785602401386549589484398787719\ 83246420979*c_1001_2^7 - 143945736406138144629321617141258997250993\ 7812016240458906624602092427043395835131911708418486/71094428302443\ 2139390728546942400659632704992960057856024013865495894843987877198\ 3246420979*c_1001_2^6 - 2146507459673892798695263714972650547831826\ 32747300271623061741015734721726310111028247130440/7109442830244321\ 3939072854694240065963270499296005785602401386549589484398787719832\ 46420979*c_1001_2^5 - 332347942231625681258274113553788751301563254\ 292089313527488795988947474910642116616155699314/710944283024432139\ 3907285469424006596327049929600578560240138654958948439878771983246\ 420979*c_1001_2^4 + 12867888232052944246265739532436666361990125504\ 317619309998789446216109524576872082891280467/710944283024432139390\ 7285469424006596327049929600578560240138654958948439878771983246420\ 979*c_1001_2^3 - 34831242720014035900955679082623244958453741026784\ 701716649598210112417599978336775535683344/710944283024432139390728\ 5469424006596327049929600578560240138654958948439878771983246420979\ *c_1001_2^2 + 15058466886655114472396700559204336024860721039161517\ 10885363165231871776454383301227327672/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2 + 51074153489406623354072343819917080467351874346811811856630\ 34863751524200130879185880211521/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979, c_0011_11 + 1, c_0011_12 - 21501882263646056902740882579512121997410651832673980931183\ 69278366481827149549375913622645/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 38 - 28888335544217487995853500024365624169661105416522285100687763\ 896412808321367131516806815271/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^37 + 53268565216267287551424996911537372575994777166964371270171677239\ 244233095761715533862688013/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^36 - 6623830195848924903831332951087220671909690957517514300216067481517\ 8114009438544701552736959/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^35 + 1085738241539935648047305607369822588730956453380136582924602759484\ 439706961292258387830063053/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^34 + 1709474138935608202736145355018249142549346039962628083765317726193\ 730097739821983747538360053/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^33 + 1024078536683602091874014303335038183156218915000427429877160840158\ 5243527480419162321807491946/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^32 + 2179408267433261361619654591988455837647719696565021609408505605933\ 2843346346954400029552446363/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^31 + 6717120716502723586492019346454280062935514395313827188331884501439\ 4824622827106450755251402121/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^30 + 1476487620949365738722337539281371067826290278750634258512905648834\ 33962506286074821223904991903/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^29 + 3395423206590951199429310212521092799535997216991067644418398072021\ 75875967342549489220145175007/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^28 + 6795993518968854457590312795383646383765173405746002442647323943296\ 88509684798454325458666015582/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^27 + 1256672399284613141580488547017645859321787017798921820786259701446\ 589533645841525509127613311935/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^26 + 21424342120605041864856371731770496263893000466665902752718539654\ 20313161291750028020102680329444/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 25 + 32535908754570843279140445868126475616476789181650181414274338\ 34797716821723757449057078520691935/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^24 + 46591953706113136852526665426900082557730508387445596942591\ 35635451933472920447677621359415631802/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^23 + 58990311215785328047151431622579587700278396116558519130\ 87763577777094614473887377503160908553151/7109442830244321393907285\ 469424006596327049929600578560240138654958948439878771983246420979*\ c_1001_2^22 + 71474647135938171115215136586520099489400529386158996\ 44550014984118942680179354991904150883010112/7109442830244321393907\ 2854694240065963270499296005785602401386549589484398787719832464209\ 79*c_1001_2^21 + 76351488962669599381336067484311925492838177538987\ 47286548495752452361526163280289893870364520831/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^20 + 79175609646801930717326365338140854503327686230\ 96872682411419212960960881219874290817645998294256/7109442830244321\ 3939072854694240065963270499296005785602401386549589484398787719832\ 46420979*c_1001_2^19 + 71804942461240286664960025607680623076838570\ 39601266426493599164704744202843466386356399667098036/7109442830244\ 3213939072854694240065963270499296005785602401386549589484398787719\ 83246420979*c_1001_2^18 + 64479671932161634585156306044283786341041\ 03996885057860174234207704427569742841870922569448208235/7109442830\ 2443213939072854694240065963270499296005785602401386549589484398787\ 71983246420979*c_1001_2^17 + 49523857525393107407665707249538619165\ 33899716624215605467544455672500713482174067293791047500761/7109442\ 8302443213939072854694240065963270499296005785602401386549589484398\ 78771983246420979*c_1001_2^16 + 39078404709870574674307318211126647\ 80460710129254800149137403235122759125985878324013199835485912/7109\ 4428302443213939072854694240065963270499296005785602401386549589484\ 39878771983246420979*c_1001_2^15 + 2511887160100261992133579596378950900232913068219488835528807148371\ 631536510320407187026155911364/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^14 + 17777231681216415809647963063587512349840939666797796683428127761\ 81485927910463691144000787712777/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 13 + 94489826944814218370472644599053042493023626523667610261479013\ 8142565805184011652806439637019502/71094428302443213939072854694240\ 06596327049929600578560240138654958948439878771983246420979*c_1001_\ 2^12 + 610720795137104051230330308161896828598681411451661984649452\ 333503063849356429635931959700894667/710944283024432139390728546942\ 4006596327049929600578560240138654958948439878771983246420979*c_100\ 1_2^11 + 2733005805555313922977380788425716151257893467918679450621\ 27553452946237656635214100332976848279/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^10 + 16009823118245521915194373302209148514155114753458363605\ 8316298810651349834962040067105662491565/71094428302443213939072854\ 69424006596327049929600578560240138654958948439878771983246420979*c\ _1001_2^9 + 6500148763162148438288538723548802822582597551547220670\ 2298032875301005295908927333418860433526/71094428302443213939072854\ 69424006596327049929600578560240138654958948439878771983246420979*c\ _1001_2^8 + 3397409925948777967576483637289979673145773726874241831\ 1817085964344622283278415072892609260790/71094428302443213939072854\ 69424006596327049929600578560240138654958948439878771983246420979*c\ _1001_2^7 + 1310160611539831857352732821788068175271365610131127532\ 0499677349632862641136037060540738012132/71094428302443213939072854\ 69424006596327049929600578560240138654958948439878771983246420979*c\ _1001_2^6 + 6592438150637660200560032440598758825326085640389780613\ 969842669052836121744792534317985733078/710944283024432139390728546\ 9424006596327049929600578560240138654958948439878771983246420979*c_\ 1001_2^5 + 21765960132621627246289308836443372901090031273214741317\ 50253958646379153324459653667514727506/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^4 + 109302087784402022058246068513658939134242605941514346564\ 2562700385159869156141145760002857382/71094428302443213939072854694\ 24006596327049929600578560240138654958948439878771983246420979*c_10\ 01_2^3 + 2833425859015119112146324202633959971008061972646850970840\ 70488380581985384175242511274109409/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^2 + 859985108885368423273506091836188102312128090620808758211403\ 54287603469764271563325671330808/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2 + 1085549890642994534332067217729705400868034043239508347389173953370\ 1449157614208808277027310/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979, c_0011_6 + 178099375329726732642889106121547571389435532763501945372734\ 7437426584810437872606026989028/71094428302443213939072854694240065\ 96327049929600578560240138654958948439878771983246420979*c_1001_2^3\ 8 + 218714154429511085301735145952651449024550031173150111226538565\ 43886384316788507424174491748/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^37 - 7195908352959231768070773519415078358083067362725950516637220834908\ 5271772323691235948736657/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^36 + 1053992252689013265837540404079984069823810798102352145975994101540\ 21123898809971049659417219/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^35 - 9268036529259033651494030389530746851839656823550462914620300703589\ 01193681640227482807111063/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^34 - 4511704724635783471442715289480829782868750690575067186265509390079\ 18685180694708524018097422/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^33 - 6692909690399020850151244888030915900011997751868215724605749987260\ 988563111883179616497362883/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^32 - 9200366573332305469656922609038774885355642520077365565058111586690\ 224979857982043813181379753/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^31 - 3548832468193765708393468091889005545449494011047729676884101326832\ 6873188128262460955350533266/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^30 - 6538851897389980804432057030107709195869542788530364007145297001134\ 2424168679386324415897579926/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^29 - 1532701524106793564631567097893542158062323447586312403512125786408\ 77108005681951130833501582199/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^28 - 2815089309505387727707232162735278917575359467421878296801792087009\ 91094813508406625416115717755/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^27 - 4834062076861988601170197305759139036061040331868840968844721049903\ 58921780468513802831278482625/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^26 - 7817740219116011845911660120415175471251325173139065770726752812089\ 22136239314927852203718607917/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^25 - 1059073474901148244431476151983536547443898363715909696003586040962\ 305947222560020759219224618041/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^24 - 14730597559468846007340481503945504547255087556586304052165274454\ 22164628276104428910634301541371/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 23 - 16279648379828149715161777661617216738391405784443195557727981\ 29006622590702247574281560845289235/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^22 - 19693884682657500656071479765153029099897328502798007367456\ 24937843108140632229156861944891149255/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^21 - 17934356649159912842585945659761672351012140923934014082\ 42132893168736606896689810302969844673463/7109442830244321393907285\ 469424006596327049929600578560240138654958948439878771983246420979*\ c_1001_2^20 - 19270657979877896412518352563296422796971859530663239\ 56887450366661707752345550495671159097283901/7109442830244321393907\ 2854694240065963270499296005785602401386549589484398787719832464209\ 79*c_1001_2^19 - 14261610540674880894545157935141062735054731325657\ 47449689092669717434025009849993889233888192470/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^18 - 14152881519010202870583939582684537518787713657\ 22025626800959472012928253607051978499874564009916/7109442830244321\ 3939072854694240065963270499296005785602401386549589484398787719832\ 46420979*c_1001_2^17 - 79866818101066383302197453274076389483767766\ 1949296495774555349326702507835063917674558507368538/71094428302443\ 2139390728546942400659632704992960057856024013865495894843987877198\ 3246420979*c_1001_2^16 - 801156805105077656141583871728057958874070\ 646372925743634692108091241447603556534231138275331473/710944283024\ 4321393907285469424006596327049929600578560240138654958948439878771\ 983246420979*c_1001_2^15 - 2926076458025554410115479624585917881536\ 90129603912538711499980365652257803052491466791943455586/7109442830\ 2443213939072854694240065963270499296005785602401386549589484398787\ 71983246420979*c_1001_2^14 - 35223723378277002749313347970781473890\ 3064321245484479253986957943019029640078607672576330084079/71094428\ 3024432139390728546942400659632704992960057856024013865495894843987\ 8771983246420979*c_1001_2^13 - 604496132999904725427461715580107633\ 34063907131607749510207310076376443503310155085134262622097/7109442\ 8302443213939072854694240065963270499296005785602401386549589484398\ 78771983246420979*c_1001_2^12 - 11485541954484099930501325809789994\ 4706581596261494403029264013431261955802059136070627470047173/71094\ 4283024432139390728546942400659632704992960057856024013865495894843\ 9878771983246420979*c_1001_2^11 - 477919145311138031617093725227313\ 9883299587759472603315530134090127113992177791300536091168329/71094\ 4283024432139390728546942400659632704992960057856024013865495894843\ 9878771983246420979*c_1001_2^10 - 262957281411952899535565158199513\ 83453036658964939741708688436308045247391516440080809172831776/7109\ 4428302443213939072854694240065963270499296005785602401386549589484\ 39878771983246420979*c_1001_2^9 + 108100880526687990141636016501246\ 6959408511306849522180763837401712204808680660656724904921511/71094\ 4283024432139390728546942400659632704992960057856024013865495894843\ 9878771983246420979*c_1001_2^8 - 4973004310381236081844513465990115\ 418047394108946132119454100489390372706396847658320960610589/710944\ 2830244321393907285469424006596327049929600578560240138654958948439\ 878771983246420979*c_1001_2^7 + 10001984455847233711239837377791010\ 49480613392235590427925745312243364512467517784747784510891/7109442\ 8302443213939072854694240065963270499296005785602401386549589484398\ 78771983246420979*c_1001_2^6 - 110774099629684407556123013604353981\ 6495139985882296518946291120299809475448465060757503642546/71094428\ 3024432139390728546942400659632704992960057856024013865495894843987\ 8771983246420979*c_1001_2^5 + 3713820811452804560601986581982607923\ 91433479539067165403468741295916620336780368121396101465/7109442830\ 2443213939072854694240065963270499296005785602401386549589484398787\ 71983246420979*c_1001_2^4 - 170976721122772903035629127000085498065\ 639309243896615388692374758578546721063542172866707192/710944283024\ 4321393907285469424006596327049929600578560240138654958948439878771\ 983246420979*c_1001_2^3 + 61571550527855933723908152171294040188896\ 663963991259005596207961077879699886159823590484258/710944283024432\ 1393907285469424006596327049929600578560240138654958948439878771983\ 246420979*c_1001_2^2 - 77238915915449707104298391334266364287186578\ 02327917351209673381366017997662386481043438536/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2 + 10491878404744401539069984228245351633626888182026\ 629260916909440492741300567863490599736141/710944283024432139390728\ 5469424006596327049929600578560240138654958948439878771983246420979\ , c_0011_7 + 256665016573137060792012686341472682190893218261587102895516\ 471193012616039648094959468472/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^38 + 32907007544898287010985181049633640196441592916869577473722504147\ 68483192160617606258416429/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^37 - 8951356770816859135022752808937005673282933454786886197764033280924\ 699224415645419814002075/710944283024432139390728546942400659632704\ 9929600578560240138654958948439878771983246420979*c_1001_2^36 + 5819509918029049435543893545723450600256187256411150208264231733550\ 709689440953030169980265/710944283024432139390728546942400659632704\ 9929600578560240138654958948439878771983246420979*c_1001_2^35 - 1170793744930594710817665399445120182822371251856769425866343639711\ 93284692117811774585213800/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^34 - 1427111671269709212682897434070491516946684701374545258515628450420\ 16588615936619924777152388/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^33 - 8667759741948818221378583383995684856812699933929742283171464965855\ 66527784947345787615695299/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^32 - 1639546560143777811393274583319143234748171196990930197460660860628\ 809487875239127419958667033/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^31 - 4706568499440915481739769772929080559773710564004714104468558270374\ 891591551632521075057583209/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^30 - 9799350380758468112060645255123095328590445167282978213996762275499\ 320652136456398977529479038/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^29 - 2034266681001125397616282605358764116383001794812504345418499385127\ 3357288863187060704025027371/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^28 - 3750953173346068896085719253734273338201321504656828790625754742623\ 4042443953336282203184537204/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^27 - 5903880169863854122557616264139118890601289371238320214136516968310\ 6383746469580002158933735048/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^26 - 8696695335677474828205272860987138327461317200485128095887149928291\ 1924551472788722812316903186/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^25 - 1038090810227008135141043332916508882742363018712004033504157730181\ 59417463071488220994960917380/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^24 - 1178056100604653962123308626309864019979104399424139205889150357653\ 02342650720989212466122627438/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^23 - 1003520979555523554240914547440657640561219766761519412979360160228\ 43899478793355306225817086627/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^22 - 7911719580948076127746715173957429136202481121706299070891657113391\ 1054252990365700318624987209/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^21 - 2639823366509083305480170381355721218389185858364835918860444992659\ 4134258263661818153881588277/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^20 + 1240375889702840743591763003394074095387790814866900516507258555125\ 3083446618260354433795050774/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^19 + 6324859245939186007016260061900033949098475183058417575122351798507\ 7692232413494421322822514215/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^18 + 8193788123108781374772983717253839297404616949219664898976063948467\ 9899457760415316071832808236/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^17 + 1007623113242757136287515696207563394013528178895553085736487916051\ 19255123818385800312741359617/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^16 + 8916923123702708288119478311822375189252082483129560523097406231501\ 0080319982087784764910917958/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^15 + 7894078762434215644132401062016108308977597793402497462285205513243\ 7139132153177701011839314490/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^14 + 5856817315736333718359929321774980602904092546641602107465509860337\ 5799524057095043760123903065/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^13 + 3987165178687046510619271367200202156762842103452380855851907668270\ 9206394109643458190628474848/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^12 + 2680236083630430865981024018035378922468953595574228261714078570878\ 2489057241208824592465485866/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^11 + 1465322215166456617829444136402791584651389172654996409813064205234\ 6952151990793343759253117587/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^10 + 8720435605699590630463203088683909581457762575420135377980121029750\ 435461472752612432865238654/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^9 + 4193237655306186932469110524824256270747353002839822311060041838474\ 321996749226511397065394810/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^8 + 2267664235779769789738649924060151659051698075046833491961907189310\ 979994040881000924263156071/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^7 + 8969203336421570194886262392315303726775295028148177839213897000958\ 77074433245952735771685364/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^6 + 5460122916088986117774579732339453519501825792663858301169889503973\ 95273998651452636455321649/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^5 + 1674607723738771382241940752761986149683318593443756967700823886320\ 03936325882929723322790085/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^4 + 1009984745966756500230202878706971193761649888628143262464557314271\ 20839180484992132364153124/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^3 + 3646120530552997936656676287264814626086536741195901206076754637664\ 0052100426222224151777169/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^2 + 9019810399728480442480245735616137150999483137344781983082274333036\ 805230663763951265722161/710944283024432139390728546942400659632704\ 9929600578560240138654958948439878771983246420979*c_1001_2 + 1794036217953634750244199741733106506585897087248535557952342786273\ 381434471241989740813952/710944283024432139390728546942400659632704\ 9929600578560240138654958948439878771983246420979, c_0011_9 - 122071798182650655729715436195195316662388907172554104456124\ 7780685624156375449930373242464/71094428302443213939072854694240065\ 96327049929600578560240138654958948439878771983246420979*c_1001_2^3\ 8 - 156938842288048731891729967676731880925224968497108201513988731\ 22723168026017896320570046560/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^37 + 4097163015957531035445635070530909066295027863960880611469302301746\ 1978763869087986591168045/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^36 - 3970393369309442216669419930465463395627127717262094649489155981389\ 5962762500689145786998494/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^35 + 5907856396609231113082639512297854229060059597090123783353915731725\ 07862253296021774913399071/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^34 + 6669567911624074790920497344856974532125172512790435950949116704007\ 90976696979488386485999144/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^33 + 4644717334389123803153971630026036866562255598901623634276646239075\ 795541632472034874035924831/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^32 + 8547991197331838942714686103085037779104554737744195133614071004552\ 258496179778355080666032299/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^31 + 2659694978926790312098376412648410380158726475013199873372613450024\ 6338793975983271565873537259/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^30 + 5492815386695141874295247551033314701040654355783737726409791382749\ 9381009050583776427945796311/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^29 + 1211333338771941097497958773329946965892234484239797290831990811143\ 33102544522474705482556447235/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^28 + 2297819597205059620719855156941296907810575115949493847893000860750\ 66596813662639057609897615506/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^27 + 3916623732769320796382176226827946014112984191749188836678830129580\ 89385646587233300896782830443/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^26 + 6237147641352942959912934352218172938804949957273157036511809866889\ 53831697318914483766171217727/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^25 + 8495169069052078092376844674203047964315371163549069580440149960241\ 17613877100942152039438956117/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^24 + 1123729897652099745037127512727015539592879251052333693339402628177\ 462158865373142156644388568029/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^23 + 12479225332921190980735581747948960358270350000418724127083534285\ 57138004144427355924653157409743/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 22 + 13910000708555867612445262642187498939467794849785316465739096\ 73018637812033564755362015974840058/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^21 + 12708029993877151551070222881840786027778248930662026193516\ 48275867376287563964147039625222726699/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^20 + 12160239248575865269927401195082900793120836738951290277\ 84764875372902595582023065621687581718920/7109442830244321393907285\ 469424006596327049929600578560240138654958948439878771983246420979*\ c_1001_2^19 + 90500666272774146716102778004425883590879727127602698\ 5980865461095618650912646486515653023037397/71094428302443213939072\ 8546942400659632704992960057856024013865495894843987877198324642097\ 9*c_1001_2^18 + 766779873080984938249325715987170786084072530986773\ 152983587119761637669694870099587815306113672/710944283024432139390\ 7285469424006596327049929600578560240138654958948439878771983246420\ 979*c_1001_2^17 + 4418472852495978415853197092309107351080998130882\ 73667431080401844141510845650064381237000223521/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^16 + 35615635541492457596970007254534994530814609611\ 4589791897174203659090888154465614580590795505395/71094428302443213\ 9390728546942400659632704992960057856024013865495894843987877198324\ 6420979*c_1001_2^15 + 140881957035386058678944949164835930145470144\ 469723314337043929572914916678871860449531760757693/710944283024432\ 1393907285469424006596327049929600578560240138654958948439878771983\ 246420979*c_1001_2^14 + 1229090222947784361850923659113266706195971\ 14679174760711418948982419375236418535882000454290216/7109442830244\ 3213939072854694240065963270499296005785602401386549589484398787719\ 83246420979*c_1001_2^13 + 28165445582693754152579057424238808106079\ 541116643138333208367544066912150349854600078101041578/710944283024\ 4321393907285469424006596327049929600578560240138654958948439878771\ 983246420979*c_1001_2^12 + 3027215195806639256600855365562262971400\ 4058570790778590340508472809373606238968984258312746231/71094428302\ 4432139390728546942400659632704992960057856024013865495894843987877\ 1983246420979*c_1001_2^11 + 391155137396201319811048860520689072249\ 0622775152367185399569827360332868077594391685126383188/71094428302\ 4432139390728546942400659632704992960057856024013865495894843987877\ 1983246420979*c_1001_2^10 + 525761279637374315786468223946149736559\ 2472061592453231009316378547040039559917443397235217133/71094428302\ 4432139390728546942400659632704992960057856024013865495894843987877\ 1983246420979*c_1001_2^9 + 3519394804599365476772976742459233969281\ 99131588068611628678012692251523426162578330947583846/7109442830244\ 3213939072854694240065963270499296005785602401386549589484398787719\ 83246420979*c_1001_2^8 + 853131983459808564524747217483185641006927\ 649115893604317926978724507780086976932433676059028/710944283024432\ 1393907285469424006596327049929600578560240138654958948439878771983\ 246420979*c_1001_2^7 - 11054876136532688587748500416241503851138631\ 3542560242372654621402433185701282050870941270411/71094428302443213\ 9390728546942400659632704992960057856024013865495894843987877198324\ 6420979*c_1001_2^6 + 1385407938298680652430938316358823440315219720\ 18970870790010687202805121248849347147752455828/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^5 - 587429089736187653829213839230035406148672345413\ 35729819214605600520447064123309457440313943/7109442830244321393907\ 2854694240065963270499296005785602401386549589484398787719832464209\ 79*c_1001_2^4 - 630538292332037140388923576896204189815033834214918\ 5364059179669777929412601036733574794249/71094428302443213939072854\ 69424006596327049929600578560240138654958948439878771983246420979*c\ _1001_2^3 - 1843545876278546699337364353965025980885120773820950143\ 3546564796472825153802039835598501029/71094428302443213939072854694\ 24006596327049929600578560240138654958948439878771983246420979*c_10\ 01_2^2 - 3086076827842219712564440928951077772768323217313507983267\ 332556015026395572539005843343531/710944283024432139390728546942400\ 6596327049929600578560240138654958948439878771983246420979*c_1001_2 - 93588860147761402229035267099986557302725803404610989014896327764\ 8544568422989629929720886/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979, c_0101_12 + 11359657513333109900421647456787244534094627439569378317189\ 18929217705458271302319256937080/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 38 + 10820086073600557034318052618144922362286169404048906606808848\ 732027238568326812746643122485/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^37 - 86724572884057084461941245109227395029497981031403136977336881558\ 688710163669567222251077642/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^36 + 1626639989203372301899024754836675867137521760501339675626255889243\ 17335316514576187635461175/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^35 - 7003965919290612559942976621368352273034857431607967693533044081859\ 29565017693071348448410579/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^34 + 1274677181912091690129217293195817492482707314054650183279694258550\ 911236253118151531494096392/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^33 - 2333859215793807535112760486598326973322000156517834576869447824702\ 390686614197938415968424925/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^32 + 7362911604414089884035634437822281858305948565276779237616552245253\ 565162071317659979550644040/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^31 + 2783086794691887972613200538751513373519079043460721386719889336486\ 979963185091626090439966636/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^30 + 3867486254137603002112581165838890761518368471502641219815371117914\ 4101940359237056373108605677/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^29 + 7147464057700857827154384497878156363256468061417439426306990463997\ 0354999953554830021672920551/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^28 + 2046857854597242302389536502769722261559420725862161058185892784561\ 87327487048157470700257155853/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^27 + 4386087813340303999937718512361300804112473329063578830442730681671\ 88979856834098478299349523154/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^26 + 8345828667271342992038069792608968297222598943489687831687568718025\ 10950110395874079904448251190/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^25 + 1530180551180209751315531041365569282075274038829580954854533741495\ 254373732777849143492111466240/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^24 + 22556325729019339590127068705930549287239223562859449904870862209\ 55704933173394339918957748449787/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 23 + 33982355490162996564383947359337853425323293155314482041115855\ 92772305302513015613877218393776176/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^22 + 40635129519813100670249322332888882729089277736228839851725\ 89305608551612261771590488878103722297/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^21 + 51151720556635546562185081984691083401343022712714814330\ 39943898885717308378508500044418599319882/7109442830244321393907285\ 469424006596327049929600578560240138654958948439878771983246420979*\ c_1001_2^20 + 50574631467857710444522461344561858912551513709447693\ 00037083291675703374642569382230714639580749/7109442830244321393907\ 2854694240065963270499296005785602401386549589484398787719832464209\ 79*c_1001_2^19 + 54450230593394077964671299720802583593935224562575\ 41642037949210501079892744699089821613698048822/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^18 + 44532254790328435826654861124672658077419446902\ 72011461998293484435852473005979563046964841995853/7109442830244321\ 3939072854694240065963270499296005785602401386549589484398787719832\ 46420979*c_1001_2^17 + 42229680260870935992300391659811783994882553\ 95289329213964377330088859996315257499475752357017810/7109442830244\ 3213939072854694240065963270499296005785602401386549589484398787719\ 83246420979*c_1001_2^16 + 27866046816399424906414813434237952216886\ 72892022661726031539696970040109494215001031196036907120/7109442830\ 2443213939072854694240065963270499296005785602401386549589484398787\ 71983246420979*c_1001_2^15 + 24371201029902441377822779775030218492\ 10971173533580712681182072555230452313109748681888349242285/7109442\ 8302443213939072854694240065963270499296005785602401386549589484398\ 78771983246420979*c_1001_2^14 + 12332305509250913804742515405588060\ 75419804270726167320241941254586606918757038611163408240575083/7109\ 4428302443213939072854694240065963270499296005785602401386549589484\ 39878771983246420979*c_1001_2^13 + 1057233580887764000021350692088406108686987544618895580323559760397\ 589731211290734064028501286131/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^12 + 39279633835960117808750723479249001636007609290801939635225082918\ 6494541336714010651445737217053/71094428302443213939072854694240065\ 96327049929600578560240138654958948439878771983246420979*c_1001_2^1\ 1 + 343224471586415362777219043291145720873280385711197532949422974\ 748249003147299513154683806315447/710944283024432139390728546942400\ 6596327049929600578560240138654958948439878771983246420979*c_1001_2\ ^10 + 9889887467652291883472393151062778501984591399644170685398534\ 7862707301993702018794527253916925/71094428302443213939072854694240\ 06596327049929600578560240138654958948439878771983246420979*c_1001_\ 2^9 + 8404255469179772917159396412376296390768404190897449232251553\ 0056329049400235112071714927376762/71094428302443213939072854694240\ 06596327049929600578560240138654958948439878771983246420979*c_1001_\ 2^8 + 2243491179561168826991917297213809849449508938235482107019968\ 2392460782399936276921032242740205/71094428302443213939072854694240\ 06596327049929600578560240138654958948439878771983246420979*c_1001_\ 2^7 + 1724695348646662103217957402019105863867392969159676556358293\ 3786228459303140064534472110284801/71094428302443213939072854694240\ 06596327049929600578560240138654958948439878771983246420979*c_1001_\ 2^6 + 4151360846111189599210737835041933422855873360653927541172543\ 468834806813683514567605529915085/710944283024432139390728546942400\ 6596327049929600578560240138654958948439878771983246420979*c_1001_2\ ^5 + 35484082036255858195253178977616336051812161482582322341215492\ 82448494883738250906252383829101/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 4 + 487128075223165792526497910979823513571365514385748027678666284\ 931186398296706484689581682203/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^3 + 5837041113802793215112914059357692843878118650657249391589670368628\ 18070815937972755527481865/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^2 + 3010493860725212269811752976517113136513501389471909261006589286426\ 0580126089468436932986276/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2 + 3115095553314859578507000282941001574981679277450123085886449444915\ 1276042726745519569544351/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979, c_0101_7 - 200202748130365905850005108743229854959186249491939737457710\ 3791207424239747892797366209458/71094428302443213939072854694240065\ 96327049929600578560240138654958948439878771983246420979*c_1001_2^3\ 8 - 259592014556658361895672944770240310762918946179041599432851260\ 18435844888015767868586457104/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^37 + 6391306648503937064152538385838503778018900852236613835438508012156\ 0083042257281619767261562/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^36 - 6365522161519042953418264939695003980954036917048867098225382291541\ 2288529157281889219194552/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^35 + 9741405934029071212208972577717640865408187223539001715652818056415\ 24470461530966260364543912/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^34 + 1194224081894792202886605644624868516269991889365575758411947073481\ 768347215933344513543726620/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^33 + 7943917359522872993469615956050508742181817893811320713176628705644\ 279845689460448270102233658/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^32 + 1520416519786263431780732766453346720530019054706162223496922898263\ 8161821583714089252530600001/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^31 + 4693384777109287925620264953106043072978523644265689288928862017992\ 9646816294964705082522230252/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^30 + 9875363805231004353513278243015095186617987947008793577095306995290\ 9385643074345158803068506196/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^29 + 2194634906147283745278234351322355563244641537074636107847088396244\ 28140815830854889128122650245/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^28 + 4227807067844010099663400403877442276977548758521448191603305134055\ 04803967353111848069368343845/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^27 + 7359016757597463004545848868268245760546286050311641852350881536393\ 86976726518233358654107120343/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^26 + 1195045372826422162652302444620966331391281602406870325648003791467\ 603415249679204787265564382806/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^25 + 16816102157040688556402105494209425998100530302278478000589290639\ 08820364954743524833162423683968/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 24 + 22792519325430110923955157609136751793060326896085443416161869\ 22233912920020425773537078019595149/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^23 + 26485873461627371135175689310714504948599733994184373705407\ 51324853515183798631273970607541947127/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^22 + 30373247408943450601217217350897868196471159492190174636\ 33198743937919471531656321367686136804016/7109442830244321393907285\ 469424006596327049929600578560240138654958948439878771983246420979*\ c_1001_2^21 + 29561341069940565448112542802114346113396502339635004\ 46900017744869379599793859933002526784683009/7109442830244321393907\ 2854694240065963270499296005785602401386549589484398787719832464209\ 79*c_1001_2^20 + 29176155843447748815832045296757939820318709375732\ 74575075560603713486591366006785610883163730832/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^19 + 23879817637434948118364121035632364207993538749\ 62421144154942792778847701984562657696021528376819/7109442830244321\ 3939072854694240065963270499296005785602401386549589484398787719832\ 46420979*c_1001_2^18 + 20741247087091427447882596629170676745621913\ 76473939191995993532070579803202389197669567040476044/7109442830244\ 3213939072854694240065963270499296005785602401386549589484398787719\ 83246420979*c_1001_2^17 + 14106137634345871048048429127041814970534\ 26884933547156593488924854088548843919040547665034509342/7109442830\ 2443213939072854694240065963270499296005785602401386549589484398787\ 71983246420979*c_1001_2^16 + 11179287699589676686244352615427767505\ 14051176541756025346119758749132040111379486743077928105978/7109442\ 8302443213939072854694240065963270499296005785602401386549589484398\ 78771983246420979*c_1001_2^15 + 61868736815373741984011110746616221\ 8683012389420229643767469829935406098958202749284920232982552/71094\ 4283024432139390728546942400659632704992960057856024013865495894843\ 9878771983246420979*c_1001_2^14 + 464075437146432023191820445800789\ 841830785035603532422344913166430497036987813781601080139630232/710\ 9442830244321393907285469424006596327049929600578560240138654958948\ 439878771983246420979*c_1001_2^13 + 2125811165500495366183073158290876344315722279611809638135988116382\ 20864726329613800727771727749/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^12 + 1483226079231017547764730129314396768539469318506269916469457866798\ 53059594341964316959154332212/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^11 + 6212563535663583891051611921459348646278149614681728887849102534201\ 6156987885738653347343371206/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^10 + 3776336320072321389709116631863410463558238860867303331670750690102\ 1156974395313602915819013571/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^9 + 1518225124475878302518292002371223442755345627072286818594865040763\ 9901917020167571818855256345/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^8 + 8751977612182538990125280341074159204403457806644016303718170145238\ 329962789474414476182785528/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^7 + 2817952000522211934320568616144680920863497743705697748769784208224\ 234063913449009742686631534/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^6 + 1847871760239226727763867714151244245919900404641410030148979823070\ 163558270204841363607511550/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^5 + 4840568450075877315469914580166071390243773779795694121043474821156\ 56337945704475252559970402/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^4 + 2522440823090427638237408039764424251792605942243747198490255110436\ 20403095742580214777462422/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^3 + 7693276763377003411826737433027021994892972534173833529646611076485\ 3685196509441598609983123/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^2 + 1611811140754775540163851698348940638338322139627724358584627307994\ 3936912831782364837969959/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2 + 3507874169969170505739721143352732152077934598835549085462466956439\ 296016202276098593537130/710944283024432139390728546942400659632704\ 9929600578560240138654958948439878771983246420979, c_0110_11 + 14081579384270802190168788611790426450278252206478287326134\ 45551456567102242402993885786652/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 38 + 18139340512123213804559162057210213747007194697608045163638639\ 154917507841531063777582597714/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^37 - 46019491878249344816173772936401055853993008549720619726180757921\ 731033952627105981638876532/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^36 + 5466910061788575057244357605496291945224450190747172452548371081404\ 5019131847535114689619842/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^35 - 7069606675836862101012749214975328201140388946289509402434060958369\ 28149379306610926525352718/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^34 - 7605709275457513248961677683331473687208790358918134814609050959953\ 50220456943917817468291210/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^33 - 5757025856973280809484494612389589484698373337040233542216236714490\ 406099762442961540496201669/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^32 - 1041616725059387301284178991555450194165520841961689114294807717838\ 6032314280398116292805048929/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^31 - 3389566997052339448194433572290520005099680912347980375503320536908\ 2289533528544052917824114543/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^30 - 6955833764088099972048848689517960575713171255508419490793331534700\ 3115176894068528417319192630/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^29 - 1582360473796792580516085511752076720354266879365937935902268165118\ 22388130536998950833812369137/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^28 - 3034447875017590676687479474011268188610284929415154424447348701677\ 69013698895312246949317450271/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^27 - 5352495943424324968840897149869381968151750975434868089965829778500\ 88256910149529282144854207191/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^26 - 8764188624740395394984202765135573251675392017603163815190025398815\ 35452393869258076193815294721/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^25 - 1245577543580388083140593704662519572074837395940139558045162083940\ 890214031717182918328505433449/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^24 - 17150043904873427688936980355995248012570668565841118813818552673\ 05893718572369982014911499618603/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 23 - 20078658710981575953486758163838754466524702264211198731433684\ 70326966545761098978683526564023205/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^22 - 23500465830960224748157854280515489823563645033893070905498\ 76868142309317628473835841302456024109/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^21 - 22942711046863262155472750112737353505371005567313613067\ 09647240564794448699616506200872947028795/7109442830244321393907285\ 469424006596327049929600578560240138654958948439878771983246420979*\ c_1001_2^20 - 23210263285785798055256842978381497743180952302570220\ 11068480923772717624488076384300809158511487/7109442830244321393907\ 2854694240065963270499296005785602401386549589484398787719832464209\ 79*c_1001_2^19 - 18892528947847245736471831086591804932516021872245\ 20049822756166520078175633632708144418259544528/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^18 - 16923002033081827300419866456986503963885572725\ 10429183094201013706475813699642854638520521935515/7109442830244321\ 3939072854694240065963270499296005785602401386549589484398787719832\ 46420979*c_1001_2^17 - 11240809339891058766204329819650627865078789\ 39431650954546891833321390472892676830958173158426032/7109442830244\ 3213939072854694240065963270499296005785602401386549589484398787719\ 83246420979*c_1001_2^16 - 93266830777277699260277600470015625401586\ 2153056231056575105710609721579731883476458737911732379/71094428302\ 4432139390728546942400659632704992960057856024013865495894843987877\ 1983246420979*c_1001_2^15 - 480274848905214351441101256789977999910\ 198644820259862342608328550284064746066266276404420590456/710944283\ 0244321393907285469424006596327049929600578560240138654958948439878\ 771983246420979*c_1001_2^14 - 3968450094755245171906358311320131322\ 16251700862462337325090327727802266635696993910341805511791/7109442\ 8302443213939072854694240065963270499296005785602401386549589484398\ 78771983246420979*c_1001_2^13 - 14937262278312808712612551501416316\ 6464570728426942986511820733062044845692373433765726206462438/71094\ 4283024432139390728546942400659632704992960057856024013865495894843\ 9878771983246420979*c_1001_2^12 - 130394620992092704436224230626575\ 042046822253274707575930101222731931111500689209160899426444900/710\ 9442830244321393907285469424006596327049929600578560240138654958948\ 439878771983246420979*c_1001_2^11 - 3727572083984108543536847087441163542049207111032494326011526004854\ 6143784071631845164696936572/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^10 - 3231475163978196043038561451769891838241392744521532503273312420001\ 9700813536287169122619032953/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^9 - 8620816504561887496113327564166215119646771798964370838917221890052\ 399084867524885777933892132/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^8 - 6387430693153931624006505925510825439796270935206932445021182735470\ 020017806797980788828646794/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^7 - 1597058576323913881337282871179019915784901603171155005258331745986\ 986585090377103947234602826/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^6 - 1270464920559395871946623681291220620533344079666877622900552020296\ 070129838095913095600131339/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^5 - 1623524767161414494171340538375207806732355461437636094819809171313\ 05177292603855894432747584/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^4 - 1817746554496175377871882654244168706790141133362899817516750490206\ 21590228395275570398169360/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^3 - 9624700206169528673455906220925533422406603815375578094752484650127\ 413917235145398889148004/710944283024432139390728546942400659632704\ 9929600578560240138654958948439878771983246420979*c_1001_2^2 - 3042934829597871388152542556763732795446178582182323970253265508908\ 192105886119863245355502/710944283024432139390728546942400659632704\ 9929600578560240138654958948439878771983246420979*c_1001_2 - 2075332804191387684992211050604377119644666437433611875710974679600\ 92073168920658487342033/7109442830244321393907285469424006596327049\ 929600578560240138654958948439878771983246420979, c_1001_0 - 245051240102786117473885069103026583881097294205118325766582\ 5260992598851726006679433957760/71094428302443213939072854694240065\ 96327049929600578560240138654958948439878771983246420979*c_1001_2^3\ 8 - 310341302469821708204223803123880213184958571461709504014867016\ 07995496543457535242474247125/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^37 + 8714169642077274080825941093047243851733406301822350973949131523706\ 8849190454642087353888601/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^36 - 1102928536358698817172874039737502679160040286289977859977411140634\ 44173531904637704220521392/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^35 + 1240247600598550699155014495462104365276544546565686841741080021575\ 757736089968546813466578260/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^34 + 1074043348439236196726397939090907087350298336051563962943732587887\ 201712598256192630472994628/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^33 + 9623548537201977265699732175032519680755898125509393465324916867958\ 414574397583624921135227989/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^32 + 1599231027895763734300604202233203128303159020067244168112533552254\ 2423227757162826497622049019/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^31 + 5444349189682916141434375472654192364954811223800641278448354224542\ 4445973509675776178842864735/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^30 + 1079782459003617502661336352336051984238274016878006973732147709842\ 23513850658255721933829650152/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^29 + 2467449670258418878796710007635752363535197288142267289635230653311\ 87989218401043336950349964389/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^28 + 4655966669579594380541150889781979859543074690928394406982977093266\ 75167603582323018725999522244/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^27 + 8098532315486863357684321704151783019179738707482176788506279423417\ 43529169791297288912871817416/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^26 + 1313428480496053472560770246135084653080967691945213126973909414067\ 769510721834889763690959593210/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^25 + 18251268738533955900751750290553121404217303291574590740489592559\ 72714125356582111513191722792126/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 24 + 24999443691070808489733471993236760445266003934157035809670874\ 16462469746663529039681647973963661/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^23 + 28458071044044867246793470741287393920114421887353755674519\ 17668314819211465563542583860634491846/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^22 + 33312244798952809929887064778058249614653176663863081444\ 27751743847084742479230931770804055268472/7109442830244321393907285\ 469424006596327049929600578560240138654958948439878771983246420979*\ c_1001_2^21 + 31408467438320335304183085301587684322644743346242536\ 11060071798964330753707366415525195579279359/7109442830244321393907\ 2854694240065963270499296005785602401386549589484398787719832464209\ 79*c_1001_2^20 + 32038902182042294969816359715247333892568790280022\ 78767940989206519419726362341371607871977851199/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^19 + 24882575457742958133346070747736209115693548909\ 98958862034558551526734082780613668979914559127213/7109442830244321\ 3939072854694240065963270499296005785602401386549589484398787719832\ 46420979*c_1001_2^18 + 22838699979093555361009383426450153685081759\ 30034398876821670824810092404575313185992344751729741/7109442830244\ 3213939072854694240065963270499296005785602401386549589484398787719\ 83246420979*c_1001_2^17 + 14071598854571654726533537557546996812611\ 07704067171275275833915808896664842448199171845046173193/7109442830\ 2443213939072854694240065963270499296005785602401386549589484398787\ 71983246420979*c_1001_2^16 + 12423087449981013743027436010830619720\ 49421173952420751552667520274685359101322565863245942329676/7109442\ 8302443213939072854694240065963270499296005785602401386549589484398\ 78771983246420979*c_1001_2^15 + 55498488586159493438332544725067373\ 4806985480945195512977308713215947474773217319542852951275945/71094\ 4283024432139390728546942400659632704992960057856024013865495894843\ 9878771983246420979*c_1001_2^14 + 527942588542365420562243072928297\ 744855062166071475322347471251251260001038491375066470416222445/710\ 9442830244321393907285469424006596327049929600578560240138654958948\ 439878771983246420979*c_1001_2^13 + 1517508432090202015627144773852541364505890533906051912449157876777\ 08472097824565514938569336857/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^12 + 1733147522876954614936545401644352081015527900586399454227681086994\ 11549646675482484177409558261/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^11 + 3300887761965411801115962118082895572753518323479125609582642839191\ 2244367954333981670754352414/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^10 + 4233026775506486972664785994798042343993308531629708082958731841788\ 2989421814085277363394483790/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^9 + 7514730255710832632403373761784408190075999345269610264731294681445\ 554793806488322844789012725/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^8 + 8275017133390852941090822926344722261058130677654560947944720065636\ 720693903919673478996388424/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^7 + 1294543989664493972689598389583215917973688837414383888405632385182\ 310821301094177508253209500/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^6 + 1765487285748416382945419374117849242167158622875112708906570581423\ 309098151911716579799364495/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^5 - 3026348061737783315718512173184219937849617821293569814158063511805\ 0025592818514452157667201/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^4 + 3221441011622462801435167160138234529116727001255116581393062753643\ 16555116290935783805854630/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^3 - 3853662358499183510227478875230586289983903340739296739543078937251\ 3784541992459530751887212/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2^2 + 1418065316484505190885299889258092316609689205714505763296405028672\ 4969508554450604664925190/71094428302443213939072854694240065963270\ 49929600578560240138654958948439878771983246420979*c_1001_2 + 5332483389333300817056791192361157406111131699729798679590217606173\ 97020452711030952986431/7109442830244321393907285469424006596327049\ 929600578560240138654958948439878771983246420979, c_1001_1 - 508789349564905519100037333979578441149777418761206931102965\ 5767576090176553507438024463940/71094428302443213939072854694240065\ 96327049929600578560240138654958948439878771983246420979*c_1001_2^3\ 8 - 676086338435154128644089723676520782637008368468526027002441154\ 56904174693512975928088622299/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^37 + 1387104242297305617132587704628695340456224246265822491376287408723\ 82057412627866055290833914/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^36 - 1422107074036018419983310178026917573341430300724591055028639767746\ 91674677980121752372787592/7109442830244321393907285469424006596327\ 049929600578560240138654958948439878771983246420979*c_1001_2^35 + 2498987274944734264543048260487539377887650035436985177633013716786\ 277175154151841462434018876/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^34 + 3766409624112110499185194285660997908949340325077429528197007692799\ 482803971472504289491507930/710944283024432139390728546942400659632\ 7049929600578560240138654958948439878771983246420979*c_1001_2^33 + 2236344526678522969100945098172598718947897267764292942792265372036\ 7210451743188591695837009019/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^32 + 4679100876879547861689401557967694435463927366989030855419119662023\ 9095798569138632324256754007/71094428302443213939072854694240065963\ 27049929600578560240138654958948439878771983246420979*c_1001_2^31 + 1416987480234282748972262394199094232168198023147588662449501211276\ 74624389384613407547222829069/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^30 + 3093915088054832449743440355003646027972585323428051672648080098519\ 63672395037116688930007260337/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^29 + 6984136472892632698836629529078775759080780391386807324860828569749\ 55021800279423668239451991677/7109442830244321393907285469424006596\ 327049929600578560240138654958948439878771983246420979*c_1001_2^28 + 1382100235494429172554994632101035002430049384787791743506720410278\ 777947209908982710642346568957/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^27 + 24982723252156970495352438348945942301498926662916434584002690318\ 17678359246717561458981477448005/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 26 + 41845842773134451644183502645824517905351075096489506078367972\ 59101990669302102884060882786270694/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^25 + 61986567130984418494357694912991604655976042500890822369136\ 16352923668984035132013033268181834156/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^24 + 86984555443791601604934583196343938006873908396679075790\ 53519621797788126780623255873492450137384/7109442830244321393907285\ 469424006596327049929600578560240138654958948439878771983246420979*\ c_1001_2^23 + 10740181908015885459259788169960066593510510453196784\ 320718410315669184179533905115970099991437872/710944283024432139390\ 7285469424006596327049929600578560240138654958948439878771983246420\ 979*c_1001_2^22 + 1275150186955094341500283300163501396661645954095\ 4820187493393824884277881315127906051200086511178/71094428302443213\ 9390728546942400659632704992960057856024013865495894843987877198324\ 6420979*c_1001_2^21 + 132912489795230410451663579374941961597507108\ 06918979652564660020566274517381435216554620029883966/7109442830244\ 3213939072854694240065963270499296005785602401386549589484398787719\ 83246420979*c_1001_2^20 + 13516338242837588346673947477609556240203\ 982934098479745320088587491709544286285343048739540288746/710944283\ 0244321393907285469424006596327049929600578560240138654958948439878\ 771983246420979*c_1001_2^19 + 1196100185449388304434126424102414311\ 8977240428343941871472770644741089539511956195840459621624708/71094\ 4283024432139390728546942400659632704992960057856024013865495894843\ 9878771983246420979*c_1001_2^18 + 105484619072490147398276307626734\ 45837922326816034659200510301813031374172229883954836103189368875/7\ 1094428302443213939072854694240065963270499296005785602401386549589\ 48439878771983246420979*c_1001_2^17 + 7891489916415467029305789652548074720774435901905661721058692680947\ 126771879881849188723824606118/710944283024432139390728546942400659\ 6327049929600578560240138654958948439878771983246420979*c_1001_2^16 + 61297243452886638473179119897635496781325512390810680367465528003\ 05461573784984374943124278486185/7109442830244321393907285469424006\ 596327049929600578560240138654958948439878771983246420979*c_1001_2^\ 15 + 38300034147136963177570531312742692025692007632272599734690354\ 82705882918753303771638528017972619/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979*c_1001\ _2^14 + 26668758214055359637040442196751220546183964546026253049784\ 85014431374795005253418716431432604000/7109442830244321393907285469\ 424006596327049929600578560240138654958948439878771983246420979*c_1\ 001_2^13 + 13852416283789567144964825229782305857110313712441393105\ 21284582038465518940838070211026592969200/7109442830244321393907285\ 469424006596327049929600578560240138654958948439878771983246420979*\ c_1001_2^12 + 87158189010247924769343879599132189956544489403854676\ 3306482836240816049709433410408363168212414/71094428302443213939072\ 8546942400659632704992960057856024013865495894843987877198324642097\ 9*c_1001_2^11 + 388817193731909074282032952920272630137349927217656\ 677717944043321653709205782458602073584633856/710944283024432139390\ 7285469424006596327049929600578560240138654958948439878771983246420\ 979*c_1001_2^10 + 2186141337555657117076348093271011482379029496436\ 48304122496478512801151906517983096202814201434/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^9 + 900816641696024286487025028452209383490442344751\ 92013435566941419143373296425965609693953214783/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^8 + 458661252017482306099479629424633577580789975959\ 26469146367620265350350860173447835942682681875/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^7 + 176738867038165789265478328015363356080669995264\ 99440859320255540596812985376836473577992943461/7109442830244321393\ 9072854694240065963270499296005785602401386549589484398787719832464\ 20979*c_1001_2^6 + 907012338394952412530019088830630515030794469418\ 2426465691020737624185346424884645967623587944/71094428302443213939\ 0728546942400659632704992960057856024013865495894843987877198324642\ 0979*c_1001_2^5 + 2897885025427498990103537293118299869730432294782\ 966573521789773234946280593341883707259319885/710944283024432139390\ 7285469424006596327049929600578560240138654958948439878771983246420\ 979*c_1001_2^4 + 14910378549573549172599008012423490463449162428817\ 23915543745566988209631721630235545788899654/7109442830244321393907\ 2854694240065963270499296005785602401386549589484398787719832464209\ 79*c_1001_2^3 + 360767719743704534545539932534958209987012320604140\ 916736356010343070328823977952866250043268/710944283024432139390728\ 5469424006596327049929600578560240138654958948439878771983246420979\ *c_1001_2^2 + 10286294117651298579578053524406568091927705398115465\ 0914207395550002937652325549760511642433/71094428302443213939072854\ 69424006596327049929600578560240138654958948439878771983246420979*c\ _1001_2 + 136098436237101314030271154744910426267994341077878780425\ 55735709333785728240046020709694082/7109442830244321393907285469424\ 006596327049929600578560240138654958948439878771983246420979, c_1001_2^39 + 13*c_1001_2^38 - 31*c_1001_2^37 + 37*c_1001_2^36 - 502*c_1001_2^35 - 595*c_1001_2^34 - 4229*c_1001_2^33 - 7985*c_1001_2^32 - 25604*c_1001_2^31 - 53548*c_1001_2^30 - 122236*c_1001_2^29 - 237315*c_1001_2^28 - 424818*c_1001_2^27 - 704622*c_1001_2^26 - 1024320*c_1001_2^25 - 1430959*c_1001_2^24 - 1725568*c_1001_2^23 - 2050423*c_1001_2^22 - 2078078*c_1001_2^21 - 2130842*c_1001_2^20 - 1820985*c_1001_2^19 - 1640649*c_1001_2^18 - 1168230*c_1001_2^17 - 952348*c_1001_2^16 - 548207*c_1001_2^15 - 422524*c_1001_2^14 - 190021*c_1001_2^13 - 144161*c_1001_2^12 - 51259*c_1001_2^11 - 38068*c_1001_2^10 - 11842*c_1001_2^9 - 8201*c_1001_2^8 - 2360*c_1001_2^7 - 1642*c_1001_2^6 - 349*c_1001_2^5 - 292*c_1001_2^4 - 32*c_1001_2^3 - 29*c_1001_2^2 - c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.280 Total time: 1.490 seconds, Total memory usage: 32.09MB