Magma V2.19-8 Tue Aug 20 2013 23:46:14 on localhost [Seed = 3751392730] Type ? for help. Type -D to quit. Loading file "K14n15446__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15446 geometric_solution 11.31831361 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 1 -1 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.980593003975 1.513224235279 0 5 2 6 0132 0132 2031 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 -1 0 1 0 8 -8 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597474973780 0.634704196784 7 0 8 1 0132 0132 0132 1302 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 0 -1 0 0 1 -1 9 0 0 -9 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720765678911 0.671127212943 5 9 10 0 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 -8 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.430700791298 0.700112074550 11 9 0 8 0132 0321 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.324666849853 0.570242482232 11 1 3 6 3120 0132 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.816304189983 1.123724735306 5 10 1 8 3120 0213 0132 3012 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708056297827 0.818186991156 2 11 10 11 0132 2103 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394342901439 0.428438137349 4 9 6 2 3120 0213 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -8 8 0 0 -1 -8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577685054732 0.763843798679 10 3 8 4 1230 0132 0213 0321 0 0 0 0 0 0 0 0 -1 0 1 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 8 0 -8 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652983965503 1.157038285825 7 9 6 3 2103 3012 0213 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 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471636372123 0.620747516400 4 7 7 5 0132 2103 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.390990336030 1.641599389187 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_0'], 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_0']), 'c_1010_10' : negation(d['c_0011_8']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_6'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : d['c_0101_1'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0101_8']), 'c_1100_3' : negation(d['c_0101_8']), 'c_1100_2' : d['c_0101_1'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_2'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 5588391353485604916002551288017382374412498121578037431824973380898\ 83709104302670915473802607206677831681/4673003285306188307520657649\ 5486323911328982290957227995496380243091782256990421045843804384902\ 63154267166*c_1001_2^29 + 10300911419201437096028523098427012526516\ 6156472496732234900883514552117649279232909874679306196339655848779\ /249226841882996709734435074642593727527087905551771882642647361296\ 48950537061557891116695671948070156091552*c_1001_2^28 - 1201252268611117406923013714774523926690906998550199484714052252938\ 594357386073669959654593450178982468721393/249226841882996709734435\ 0746425937275270879055517718826426473612964895053706155789111669567\ 1948070156091552*c_1001_2^27 + 168035963882225535623502743797591844\ 5335511382152908744529449563761433005695531529004125131415398281409\ 3707/92764333207070735633164419842156474265665473530436184606444427\ 281571776192536815971898370987399764848976*c_1001_2^26 - 2969486490240937449104098462206982995285640603330576776187147945418\ 734674453295950746534740810144475428099699/249226841882996709734435\ 0746425937275270879055517718826426473612964895053706155789111669567\ 1948070156091552*c_1001_2^25 + 469240375898242313338993955543485216\ 5411533129062754212601318510080252203366197679012486685407117401204\ 0844191/37384026282449506460165261196389059129063185832765782396397\ 104194473425805592336836675043507922105234137328*c_1001_2^24 - 2637013352145687572823252732550158841970328585678522711202778072515\ 6936760343292062218043124355022752364327951/24922684188299670973443\ 5074642593727527087905551771882642647361296489505370615578911166956\ 71948070156091552*c_1001_2^23 + 99733862095932177274875026412552527\ 9794948110875097414587222357694617709334167001907585998818946993533\ 1205047/31153355235374588716804384330324215940885988193971485330330\ 92016206118817132694736389586958993508769511444*c_1001_2^22 + 3499098379173722029540248881968404933815753484106676051725771081201\ 0044748809906786338007146962676833301031805/10681150366414144702904\ 3603418254454654466245236473663989706011984209788015978105247642981\ 45120601495467808*c_1001_2^21 + 15272163846553540457039580121796523\ 5617490045828902116299798037902867632733465593047636087717293666270\ 65149377/2670287591603536175726090085456361366361656130911841599742\ 650299605244700399452631191074536280150373866952*c_1001_2^20 - 2787291633997798863510667230718802058502040215771486724954714091199\ 8651835244161709547646016485734058159813691/18692013141224753230082\ 6305981945295645315929163828911981985520972367129027961684183375217\ 53961052617068664*c_1001_2^19 + 14237264737261557403685874668517768\ 7535513581356575695781098989756225587562974632579161278558061775207\ 050085637/467300328530618830752065764954863239113289822909572279954\ 9638024309178225699042104584380438490263154267166*c_1001_2^18 - 3666973221966989869058910900902122258296213832563475727465676586757\ 850440362502287766842315485064355396306712955/747680525648990129203\ 3052239277811825812637166553156479279420838894685161118467367335008\ 7015844210468274656*c_1001_2^17 + 363456104789116762774081831946931\ 7377484226555534323338650324493765871207838042364262579295795618694\ 90607075133/7476805256489901292033052239277811825812637166553156479\ 2794208388946851611184673673350087015844210468274656*c_1001_2^16 - 1000665445132262178912202131647560979744441562300393303684639882635\ 987294312495705631740094007033068470248159423/747680525648990129203\ 3052239277811825812637166553156479279420838894685161118467367335008\ 7015844210468274656*c_1001_2^15 - 310287668147232005272245247942851\ 2978757571428552290266350651542737220503855218651620809432367295992\ 07680243258/2336501642653094153760328824774316195566449114547861399\ 774819012154589112849521052292190219245131577133583*c_1001_2^14 + 3927602299272401819521744645765838693465132813402768214532190823234\ 51826499910920057676269307015328629412219679/5751388658838385609256\ 1940302137014044712593588870434455995544914574501239372825902576990\ 01218785420636512*c_1001_2^13 - 40807406994433329988658259055527155\ 5222759102549563787573659184212490350881553026720261134563325459186\ 5221968909/37384026282449506460165261196389059129063185832765782396\ 397104194473425805592336836675043507922105234137328*c_1001_2^12 + 2100586603445902662346529717737659065545760177567969171672589740718\ 29421109795066279283540659097936901624363839/1869201314122475323008\ 2630598194529564531592916382891198198552097236712902796168418337521\ 753961052617068664*c_1001_2^11 + 1241839860246464677747316944889538\ 4818411420335974466167392816322796492609636580083307539379194605500\ 3949983975/35603834554713815676347867806084818218155415078824554663\ 23533732806992933865936841588099381706867165155936*c_1001_2^10 - 8344397975410245159117069240421229248821203659394858975878217438769\ 747753910649958692176386361192925986331709859/747680525648990129203\ 3052239277811825812637166553156479279420838894685161118467367335008\ 7015844210468274656*c_1001_2^9 + 1717588520187769141169502945246948\ 9397353140496206441973842440631551142698707514895553308600955914370\ 5218954789/31153355235374588716804384330324215940885988193971485330\ 33092016206118817132694736389586958993508769511444*c_1001_2^8 - 1628289226650483653923310832806692876539522636125045209055117675184\ 804189484304909143403002227322587280638027235/747680525648990129203\ 3052239277811825812637166553156479279420838894685161118467367335008\ 7015844210468274656*c_1001_2^7 - 9376543993829359512243028810254628\ 5621925477205693928569341541946414760253452568347920101126841177010\ 24774775575/7476805256489901292033052239277811825812637166553156479\ 2794208388946851611184673673350087015844210468274656*c_1001_2^6 + 4525811731032345207215258785245579144617546599909368661198076743378\ 644842337407549877382960990321519957749987347/249226841882996709734\ 4350746425937275270879055517718826426473612964895053706155789111669\ 5671948070156091552*c_1001_2^5 - 3940168794000230357181797081689316\ 7972110576041885382085559000408179170214816621278720447282528003281\ 4434349399/23365016426530941537603288247743161955664491145478613997\ 74819012154589112849521052292190219245131577133583*c_1001_2^4 + 6781603563024241950448219761573804226798752937469310769126804458880\ 815308927957951233868428247538869247353642311/747680525648990129203\ 3052239277811825812637166553156479279420838894685161118467367335008\ 7015844210468274656*c_1001_2^3 - 2362389731928970777672028547727913\ 5407794936483648647327996604855261238384761528181121030561642952006\ 31373893109/7476805256489901292033052239277811825812637166553156479\ 2794208388946851611184673673350087015844210468274656*c_1001_2^2 + 1796464876508198597348989399831820327621022220093032653271198130566\ 08738342627679651682725554690710258128793493/3738402628244950646016\ 5261196389059129063185832765782396397104194473425805592336836675043\ 507922105234137328*c_1001_2 - 2192918579819491780880157101106772451\ 2001946682823561525923031462331383765739220602977043732158041829330\ 04265/1869201314122475323008263059819452956453159291638289119819855\ 2097236712902796168418337521753961052617068664, c_0011_0 - 1, c_0011_10 - 93873447085167701846210632366368634763289046834127005154935\ 750934904659050151349641234548780832027/614658979638687620150837661\ 2917868689747248444900356785478692504742365239367666046375455273482\ 624228*c_1001_2^29 + 4982450976037570462245633447374409481281255907\ 360964803476417486975553722119689023713757373153596247/122931795927\ 7375240301675322583573737949449688980071357095738500948473047873533\ 2092750910546965248456*c_1001_2^28 - 1808104859952988536682720473980124232533872241210436822733456165592\ 3923665782796644278243910633256921/61465897963868762015083766129178\ 6868974724844490035678547869250474236523936766604637545527348262422\ 8*c_1001_2^27 + 108209207670969978664605423057332403777101588504033\ 3573912496746894633359513662429804444082374238175/20488632654622920\ 6716945887097262289658241614830011892849289750158078841312255534879\ 1818424494208076*c_1001_2^26 - 220742973333371098314428820791794614\ 771643700935086488570352289278092240886775123745536603049021876941/\ 1229317959277375240301675322583573737949449688980071357095738500948\ 4730478735332092750910546965248456*c_1001_2^25 + 1859181892491998047016068775378977644226482216769646321799193328249\ 04258371118098719361815416869014021/1229317959277375240301675322583\ 5737379494496889800713570957385009484730478735332092750910546965248\ 456*c_1001_2^24 - 3025453058691045174419895559242153972243092874198\ 6763132552756412232615055091698422010810236821802158/51221581636557\ 3016792364717743155724145604037075029732123224375395197103280638837\ 197954606123552019*c_1001_2^23 - 8893099614159825042614276001735664\ 8533612780785456249665533783879399945439456850049639664549750134669\ /204886326546229206716945887097262289658241614830011892849289750158\ 0788413122555348791818424494208076*c_1001_2^22 - 8673335539956239392445357902237570039563686651316796378610230885298\ 42725972233196657624402738412470657/1229317959277375240301675322583\ 5737379494496889800713570957385009484730478735332092750910546965248\ 456*c_1001_2^21 + 8598394563806484284996621355768215466708551429095\ 2386795201213822060715550400366151820427227950096989/12293179592773\ 7524030167532258357373794944968898007135709573850094847304787353320\ 92750910546965248456*c_1001_2^20 - 4524796854806852764000231961280077419746204771837058259250424825855\ 432005812118658724953688912899180741/122931795927737524030167532258\ 3573737949449688980071357095738500948473047873533209275091054696524\ 8456*c_1001_2^19 + 106654478537936531505460064235319358294629740652\ 41738662736993019433367592960572647059176046854027681917/1229317959\ 2773752403016753225835737379494496889800713570957385009484730478735\ 332092750910546965248456*c_1001_2^18 - 1540911049945618017050891932216405865407977356457330772291930573344\ 419494989177618352829410646662980925/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^17 + 1789454961330665159804433364975016311989506626554\ 936417885585724408501879772878677117344372104888178355/409772653092\ 4584134338917741945245793164832296600237856985795003161576826245110\ 697583636848988416152*c_1001_2^16 + 5504193570371094780037084981026784968442990543725950171396017509655\ 845516011655475553672815047829317617/307329489819343810075418830645\ 8934344873624222450178392739346252371182619683833023187727636741312\ 114*c_1001_2^15 - 8987923820811247925818801607003945625625558266754\ 939884979214343002605636747119285214659174255657848281/614658979638\ 6876201508376612917868689747248444900356785478692504742365239367666\ 046375455273482624228*c_1001_2^14 + 7716915259467936166678470000299819900828913223917945903211631654066\ 703225668153961889755964265912347453/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^13 - 2999036517371779026046425747777309025552887909049\ 437108183977102797902216537065316532427102630554765331/409772653092\ 4584134338917741945245793164832296600237856985795003161576826245110\ 697583636848988416152*c_1001_2^12 - 1200167264151121652804538083080993003645763701388351958693467383414\ 624205923208970251604440343185250227/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^11 + 1059309565455132001109722309283832060406054530816\ 9207395958180466208884113494253324391117008679844056013/61465897963\ 8687620150837661291786868974724844490035678547869250474236523936766\ 6046375455273482624228*c_1001_2^10 - 1571202281872980508459415450984254356487090447409252094829397715043\ 7601734979474120084633910440077875015/12293179592773752403016753225\ 8357373794944968898007135709573850094847304787353320927509105469652\ 48456*c_1001_2^9 + 311823217778430610098411732238892781360610160929\ 5486095369440202350757152140836163761713924509285855315/40977265309\ 2458413433891774194524579316483229660023785698579500316157682624511\ 0697583636848988416152*c_1001_2^8 + 8980106329077419331979628478642157611383390173943669031858365198600\ 896484489366015208579304934297780417/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^7 - 12309546241349118933961966815265814546978475537954\ 819323459427635417523956541928714550139265643449857173/409772653092\ 4584134338917741945245793164832296600237856985795003161576826245110\ 697583636848988416152*c_1001_2^6 + 9782449861007707558777444347723347460964975007160593089669159619795\ 824911736862186515006199886555894313/307329489819343810075418830645\ 8934344873624222450178392739346252371182619683833023187727636741312\ 114*c_1001_2^5 - 12713993721230595133949850137217372845608393990423\ 138189185461055788715540162854047002964196646856882433/614658979638\ 6876201508376612917868689747248444900356785478692504742365239367666\ 046375455273482624228*c_1001_2^4 + 1076434242381060369532457996033956386558166039822183239311812112579\ 0724825550828174010954080733345799893/12293179592773752403016753225\ 8357373794944968898007135709573850094847304787353320927509105469652\ 48456*c_1001_2^3 - 320868419642845040208595862753067164792490923510\ 484248330238108729944350112164595422538932737272705435/153664744909\ 6719050377094153229467172436812111225089196369673126185591309841916\ 511593863818370656057*c_1001_2^2 + 3094497961845295927687861404911818453434305783595084616842863877985\ 5950982763617038807456070848785744/15366474490967190503770941532294\ 6717243681211122508919636967312618559130984191651159386381837065605\ 7*c_1001_2 + 204484088293902758417597431566101318284926131326287273\ 1773194140795976784068108177213577441735569626/15366474490967190503\ 7709415322946717243681211122508919636967312618559130984191651159386\ 3818370656057, c_0011_3 + 703506350030409421074039702871783742128554218731249590466668\ 46764956376453866769033804584467119475/4097726530924584134338917741\ 9452457931648322966002378569857950031615768262451106975836368489884\ 16152*c_1001_2^29 - 18763304228929429254165649378237977591368920982\ 00953129033458174971880398264031109991409948470554073/4097726530924\ 5841343389177419452457931648322966002378569857950031615768262451106\ 97583636848988416152*c_1001_2^28 + 6897283623347670144436328856416284122351342972303563622755179261890\ 737092550318880124238950219876259/204886326546229206716945887097262\ 2896582416148300118928492897501580788413122555348791818424494208076\ *c_1001_2^27 - 4128537531330016537469344494871267717050061230998975\ 659707068678235715848604528309035318923798010509/409772653092458413\ 4338917741945245793164832296600237856985795003161576826245110697583\ 636848988416152*c_1001_2^26 + 2056913684127959155780119288857788889\ 1743477233093441660890246087944847779009151823320933116359645355/10\ 2443163273114603358472943548631144829120807415005946424644875079039\ 4206561277674395909212247104038*c_1001_2^25 - 8063681519481652441688138211064154254936930699069195289592374979890\ 6061002641680013999974159242530747/40977265309245841343389177419452\ 4579316483229660023785698579500316157682624511069758363684898841615\ 2*c_1001_2^24 + 691648611847061315135859908111041559105374608540774\ 66354257420387128150514335600665879078346273600183/1024431632731146\ 0335847294354863114482912080741500594642464487507903942065612776743\ 95909212247104038*c_1001_2^23 + 16707559606464427522341042827264834\ 1043924996977120704280815588125498786160362867332121596708421446111\ /409772653092458413433891774194524579316483229660023785698579500316\ 1576826245110697583636848988416152*c_1001_2^22 + 1417467117958580099391956178248978778645019068108038968798595492008\ 39956559458687833498573822424999137/2048863265462292067169458870972\ 6228965824161483001189284928975015807884131225553487918184244942080\ 76*c_1001_2^21 - 22343017322280361838155133480453947345889549436675\ 694645522649024688207968908409540034687537397885717/102443163273114\ 6033584729435486311448291208074150059464246448750790394206561277674\ 395909212247104038*c_1001_2^20 + 4199869669576851022819146862520151\ 1895177363084138987897362298520751422135805566200782659274415525008\ 9/10244316327311460335847294354863114482912080741500594642464487507\ 90394206561277674395909212247104038*c_1001_2^19 - 4222627183816558359911519075576906124637270468965877756021168940309\ 810057522234642498177138818094673875/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^18 + 1588542576747660375937248294813267876235192044601\ 501700128356335049994246321556876320897846168175916391/409772653092\ 4584134338917741945245793164832296600237856985795003161576826245110\ 697583636848988416152*c_1001_2^17 - 1951877103598838583323377560546710733836522249531526513934753724090\ 716741357360360395004461043775489065/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^16 - 2003925253738313300924811133234741398697251045125\ 363716213208665538848505529622963972794536047074389117/102443163273\ 1146033584729435486311448291208074150059464246448750790394206561277\ 674395909212247104038*c_1001_2^15 + 7925814094659225819352259288604280518544683603478015375917286977409\ 828375527718426127624169391819244791/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^14 - 2270013407088183221215209107434844231387284665328\ 593165829404203199505739939113499494781604936503592963/102443163273\ 1146033584729435486311448291208074150059464246448750790394206561277\ 674395909212247104038*c_1001_2^13 + 5263794067464512017388706900920463525022871193871379686327616091023\ 36397453524944793592721860163331807/5122158163655730167923647177431\ 5572414560403707502973212322437539519710328063883719795460612355201\ 9*c_1001_2^12 + 133494734467733479977253712021712829104690457363061\ 7524137567039013937864092851880948568462243841317293/40977265309245\ 8413433891774194524579316483229660023785698579500316157682624511069\ 7583636848988416152*c_1001_2^11 - 820347038565332604984243270862765\ 1746472594507835584180025475299761589998497450720893436049043211113\ 963/409772653092458413433891774194524579316483229660023785698579500\ 3161576826245110697583636848988416152*c_1001_2^10 + 1712958417529804434688847111266326414933589305001496619712972790378\ 041296539365927630191301493928271731/102443163273114603358472943548\ 6311448291208074150059464246448750790394206561277674395909212247104\ 038*c_1001_2^9 - 38242297966845483127073369562469883899078113034665\ 03854692407713142355240350159643159304677957359958475/4097726530924\ 5841343389177419452457931648322966002378569857950031615768262451106\ 97583636848988416152*c_1001_2^8 - 651208848133275315221272801109429\ 7627268543574648654699829649343712788178009719342399152116500183483\ 133/409772653092458413433891774194524579316483229660023785698579500\ 3161576826245110697583636848988416152*c_1001_2^7 + 1487290490488131060482582020419184037319248322946566873799913694116\ 7024129724044695289566720176482890115/40977265309245841343389177419\ 4524579316483229660023785698579500316157682624511069758363684898841\ 6152*c_1001_2^6 - 2008105577020883530384644820257025022663269115722\ 539108659321077531162750322331378820313140564315012036/512215816365\ 5730167923647177431557241456040370750297321232243753951971032806388\ 37197954606123552019*c_1001_2^5 + 107496953119626036038107024435461\ 8697567976437202059552544670441351704240919580890350667452381064283\ 7419/40977265309245841343389177419452457931648322966002378569857950\ 03161576826245110697583636848988416152*c_1001_2^4 - 4589373440850660224695441430209943450923234142431519219367325256262\ 317136528669433890945066234548126177/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^3 + 55711895310662006008075271008088883327717068249105\ 2688251125200558986052514311478257519284790316290415/20488632654622\ 9206716945887097262289658241614830011892849289750158078841312255534\ 8791818424494208076*c_1001_2^2 - 1167094529378628745533607535764767\ 8474418948635514906561856907891294918020976038305789735682817841941\ /512215816365573016792364717743155724145604037075029732123224375395\ 197103280638837197954606123552019*c_1001_2 - 1208403161151535843252688478652726783133275510171585998460255543984\ 520768251734954915070676984527900/512215816365573016792364717743155\ 724145604037075029732123224375395197103280638837197954606123552019, c_0011_6 - 319710472415880433026506947879620110755803020267375687723184\ 6632982822968964492748764754646128361/61465897963868762015083766129\ 1786868974724844490035678547869250474236523936766604637545527348262\ 4228*c_1001_2^29 + 101275726155475726471809261120669516508090570054\ 622079582883081493165123254212745968253513812953897/614658979638687\ 6201508376612917868689747248444900356785478692504742365239367666046\ 375455273482624228*c_1001_2^28 - 1040955296088483589818878260125386\ 800394801686834359821532755327497587749872677044483947390814060683/\ 6146589796386876201508376612917868689747248444900356785478692504742\ 365239367666046375455273482624228*c_1001_2^27 + 9971407173471062486446695964799247736448594461889657037481156594044\ 29605451579805201161445034734863/2048863265462292067169458870972622\ 896582416148300118928492897501580788413122555348791818424494208076*\ c_1001_2^26 - 23582961058832069312824037964029739897275627135588334\ 64714334422931340197905266126819793200539115065/6146589796386876201\ 5083766129178686897472484449003567854786925047423652393676660463754\ 55273482624228*c_1001_2^25 + 22984998222963598430581796886607716971\ 999377588215661150679489887110699710601115922782031655907768925/614\ 6589796386876201508376612917868689747248444900356785478692504742365\ 239367666046375455273482624228*c_1001_2^24 - 5209589755241198001216085635557275925814945707292129695316633775201\ 986667292793245711366516396158849/204886326546229206716945887097262\ 2896582416148300118928492897501580788413122555348791818424494208076\ *c_1001_2^23 + 1649245460541466525617247864442150793705846441159419\ 7327433805311086655755682466977200325584242153705/20488632654622920\ 6716945887097262289658241614830011892849289750158078841312255534879\ 1818424494208076*c_1001_2^22 + 717244648641635511924163656696331495\ 30581659188562162721113935820616855051219426132885716055836732839/6\ 1465897963868762015083766129178686897472484449003567854786925047423\ 65239367666046375455273482624228*c_1001_2^21 + 3149733173458760741839567519770438118371768517619231919499209845614\ 4956140631140662767453338315738250/15366474490967190503770941532294\ 6717243681211122508919636967312618559130984191651159386381837065605\ 7*c_1001_2^20 - 129746183754539028219428510302738152367691890838695\ 72498528623140609474382167193676623062610460932029/6146589796386876\ 2015083766129178686897472484449003567854786925047423652393676660463\ 75455273482624228*c_1001_2^19 + 30211939228253636289691916840287169\ 0672989973410110997731642341492831336179795787808184410651270533471\ /307329489819343810075418830645893434487362422245017839273934625237\ 1182619683833023187727636741312114*c_1001_2^18 - 7124993570840445734716842514281611003769243811434631993867797599611\ 33562083154932917218229386274356515/6146589796386876201508376612917\ 8686897472484449003567854786925047423652393676660463754552734826242\ 28*c_1001_2^17 - 45418555241245515323858818662689409173015424779249\ 047442999449739356799975564770735919989849002909601/204886326546229\ 2067169458870972622896582416148300118928492897501580788413122555348\ 791818424494208076*c_1001_2^16 - 1401810424780798381306069519882076\ 6608862708012254269214939829918147718231067638442726286916462062909\ 9/61465897963868762015083766129178686897472484449003567854786925047\ 42365239367666046375455273482624228*c_1001_2^15 - 2564189463156951414305416056233076077637044881505014451980880511881\ 496917166637600235505929127347534917/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^14 + 1800513509973301321169251182117054795061222966646\ 21842603245775825630209280962876732636840572157157199/2048863265462\ 2920671694588709726228965824161483001189284928975015807884131225553\ 48791818424494208076*c_1001_2^13 - 1475193087140797284889590140638645904845565492889468562082558327145\ 21726201376405893793848507905988057/5122158163655730167923647177431\ 5572414560403707502973212322437539519710328063883719795460612355201\ 9*c_1001_2^12 - 707035727465796913743119973847800065717968744792044\ 75939971766297167798145891126382274528524928554219/1024431632731146\ 0335847294354863114482912080741500594642464487507903942065612776743\ 95909212247104038*c_1001_2^11 + 34565563359957738434515046914642409\ 5473504255016349245277556953955435650104213715214830618672225731159\ /307329489819343810075418830645893434487362422245017839273934625237\ 1182619683833023187727636741312114*c_1001_2^10 - 1879607630598390177100763902966389972007800783190695476399673650585\ 075425148441705156756986596294174239/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^9 + 71596732924954039500256983239928829362322413144399\ 379783887072925397953506790794465717351718571496053/102443163273114\ 6033584729435486311448291208074150059464246448750790394206561277674\ 395909212247104038*c_1001_2^8 - 75651819954030893641720899227060442\ 659936958810839496977327480830230801801733506774951273133694302453/\ 6146589796386876201508376612917868689747248444900356785478692504742\ 365239367666046375455273482624228*c_1001_2^7 - 8437373581483883984309971329735252646744133639973362296245257614049\ 94170638769138698442352084915372699/2048863265462292067169458870972\ 6228965824161483001189284928975015807884131225553487918184244942080\ 76*c_1001_2^6 + 270952944485859851328051755206100429836757857537228\ 1190069257097713550750067151273630816184329285622593/61465897963868\ 7620150837661291786868974724844490035678547869250474236523936766604\ 6375455273482624228*c_1001_2^5 - 2235092671437919762842713624021829\ 5413440802643446764936108470608039957450264913571679998651947302458\ 35/6146589796386876201508376612917868689747248444900356785478692504\ 742365239367666046375455273482624228*c_1001_2^4 + 4371821619955607089666629242962734034990685169180144023739914920173\ 71442023035956832612593216318785033/3073294898193438100754188306458\ 9343448736242224501783927393462523711826196838330231877276367413121\ 14*c_1001_2^3 - 479703223520167506139775727691368746114954732485007\ 53580173187306554892012618737616385784473286791878/1536647449096719\ 0503770941532294671724368121112250891963696731261855913098419165115\ 93863818370656057*c_1001_2^2 - 626140408514820808962173364894893489\ 6883029465501357221503592925502910209894634690669589952490701260/15\ 3664744909671905037709415322946717243681211122508919636967312618559\ 1309841916511593863818370656057*c_1001_2 + 2595620064870852094811914795953921727884886710322379385824298502673\ 609431268917657888394340119485375/153664744909671905037709415322946\ 7172436812111225089196369673126185591309841916511593863818370656057\ , c_0011_8 - 166786177479892242785452625104788984817958777062517634055529\ 04101653076756254294715925170343648091/6146589796386876201508376612\ 9178686897472484449003567854786925047423652393676660463754552734826\ 24228*c_1001_2^29 + 43148366395810356230537491809870880054663301190\ 7865196472517101793681692016502154333136822997296263/61465897963868\ 7620150837661291786868974724844490035678547869250474236523936766604\ 6375455273482624228*c_1001_2^28 - 292289757401156348931868344216223\ 9583645723286021978675866429961787957565350871910285882244106807285\ /614658979638687620150837661291786868974724844490035678547869250474\ 2365239367666046375455273482624228*c_1001_2^27 - 4712965768925062602305058961673233923737394688455942815362444613385\ 99628314153144815227571564026773/2048863265462292067169458870972622\ 896582416148300118928492897501580788413122555348791818424494208076*\ c_1001_2^26 - 20282237006207722464593216985042473443384425612642281\ 171002454605616859582170352419392836099906271885/614658979638687620\ 1508376612917868689747248444900356785478692504742365239367666046375\ 455273482624228*c_1001_2^25 + 3033973354658940112586561565818818911\ 960366257324538434062922181628333221417589656633132284371747723/614\ 6589796386876201508376612917868689747248444900356785478692504742365\ 239367666046375455273482624228*c_1001_2^24 - 2019129129417620598525611203981278468075402377600993498020245087221\ 3440667295276813741741167964363179/20488632654622920671694588709726\ 2289658241614830011892849289750158078841312255534879181842449420807\ 6*c_1001_2^23 - 294685307059129093335596179693472042197431229876035\ 82029661104314026326236157519711454171486509005195/2048863265462292\ 0671694588709726228965824161483001189284928975015807884131225553487\ 91818424494208076*c_1001_2^22 - 12981665314946226423810390380871964\ 8995447777460010912310712133317897649655154930899425802637560615977\ /614658979638687620150837661291786868974724844490035678547869250474\ 2365239367666046375455273482624228*c_1001_2^21 - 1803261555514528947904722667537036153795284744840304164536764073122\ 2378980267723910535705320862419919/15366474490967190503770941532294\ 6717243681211122508919636967312618559130984191651159386381837065605\ 7*c_1001_2^20 - 437878459308264784702148447604249404041912597754083\ 697201912059768598916436619942450495734579161326335/614658979638687\ 6201508376612917868689747248444900356785478692504742365239367666046\ 375455273482624228*c_1001_2^19 + 1657179499533583688803920577169869\ 7461760109977184187171955651676158519638020416842237310837865033292\ 1/15366474490967190503770941532294671724368121112250891963696731261\ 85591309841916511593863818370656057*c_1001_2^18 + 2122465748279404663411867542485434244305418409603912584883741293903\ 75298182037725010902008456528501399/6146589796386876201508376612917\ 8686897472484449003567854786925047423652393676660463754552734826242\ 28*c_1001_2^17 + 18474225660528407143297046847881987512366334166039\ 8782417618861980371932932206945707746523226622569505/20488632654622\ 9206716945887097262289658241614830011892849289750158078841312255534\ 8791818424494208076*c_1001_2^16 + 233432031558310989048851927494684\ 6775124340881389463415769356064639206805469876945965196080662798681\ 319/614658979638687620150837661291786868974724844490035678547869250\ 4742365239367666046375455273482624228*c_1001_2^15 - 1061648147967371634812484232173177959581892004873215892881123843804\ 90947430780647686381952131743314973/6146589796386876201508376612917\ 8686897472484449003567854786925047423652393676660463754552734826242\ 28*c_1001_2^14 + 59046444451148096570208137947452160237408403960057\ 2851140588988252464114384766651156865114739771464555/20488632654622\ 9206716945887097262289658241614830011892849289750158078841312255534\ 8791818424494208076*c_1001_2^13 + 343182447290572090730646065907042\ 3157493580559483108019629925278887133914377970573185391423106249209\ 6/51221581636557301679236471774315572414560403707502973212322437539\ 5197103280638837197954606123552019*c_1001_2^12 - 4858657965818060945991548988028967403004924748835172773830669638009\ 5561589094007560136928733506772073/10244316327311460335847294354863\ 1144829120807415005946424644875079039420656127767439590921224710403\ 8*c_1001_2^11 + 418153114007377939736093719581663815720439746642455\ 813485672497525616849619889472065005961808921316285/153664744909671\ 9050377094153229467172436812111225089196369673126185591309841916511\ 593863818370656057*c_1001_2^10 - 3031567674992058763116496445254800\ 5474113221678223026108115883285300240671157876098939147100267840474\ 5/61465897963868762015083766129178686897472484449003567854786925047\ 42365239367666046375455273482624228*c_1001_2^9 + 3807175301752096304837805423600261486057972989837998137711642810563\ 6058843779632634937479976130493066/51221581636557301679236471774315\ 5724145604037075029732123224375395197103280638837197954606123552019\ *c_1001_2^8 + 19687239780727283808817396149402017281213939164460019\ 09712200492980268507662562014158748130712206113453/6146589796386876\ 2015083766129178686897472484449003567854786925047423652393676660463\ 75455273482624228*c_1001_2^7 - 689540655533988200387377247406342389\ 759860942170717783357186887118005615611976255787713025408242017541/\ 2048863265462292067169458870972622896582416148300118928492897501580\ 788413122555348791818424494208076*c_1001_2^6 + 1927934052587585176480726196704850529761012607397128537621471837144\ 335594149144445391755714232168592579/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^5 - 76498282589118063176652169316955186867000661697726\ 0381387348575677837471686406185772029741580842441983/61465897963868\ 7620150837661291786868974724844490035678547869250474236523936766604\ 6375455273482624228*c_1001_2^4 + 4239899857842907754698814896898576\ 4367270181701257222824509587913757485849317473545548710123240536082\ /153664744909671905037709415322946717243681211122508919636967312618\ 5591309841916511593863818370656057*c_1001_2^3 + 1308468580619320103831666710524069309636403840542575482719366872638\ 1372286799006760807958433885838486/15366474490967190503770941532294\ 6717243681211122508919636967312618559130984191651159386381837065605\ 7*c_1001_2^2 - 4989832887046673725581912441088972685172363577914919\ 144394119436744290812922475964762220165066094227/153664744909671905\ 0377094153229467172436812111225089196369673126185591309841916511593\ 863818370656057*c_1001_2 + 1580210183247605379719911361412597428533\ 086449402889351867566624179797096239186630401721596942847135/153664\ 7449096719050377094153229467172436812111225089196369673126185591309\ 841916511593863818370656057, c_0101_0 + 301488597943104306948186579984806494760625014077991925968402\ 874881508227444698257330953776983474551/122931795927737524030167532\ 2583573737949449688980071357095738500948473047873533209275091054696\ 5248456*c_1001_2^29 - 799223121890395306594984676530510961966590259\ 1064761334591586618718959828054346592932446002086152909/12293179592\ 7737524030167532258357373794944968898007135709573850094847304787353\ 32092750910546965248456*c_1001_2^28 + 1446171773261306265794297537251787808650694937023924445286054620978\ 3370125832402302711992444836508991/30732948981934381007541883064589\ 3434487362422245017839273934625237118261968383302318772763674131211\ 4*c_1001_2^27 - 298608833430033731502762794945097012829457821290001\ 7687121716510050332883507263595282227148973547553/40977265309245841\ 3433891774194524579316483229660023785698579500316157682624511069758\ 3636848988416152*c_1001_2^26 + 177813575019872033153136311665996813\ 935330604617927083801808288505358717769404905933307534747974542493/\ 6146589796386876201508376612917868689747248444900356785478692504742\ 365239367666046375455273482624228*c_1001_2^25 - 2879047449355591031316437843893468002167188912863626147510326222189\ 36522523925057501980644132499656373/1229317959277375240301675322583\ 5737379494496889800713570957385009484730478735332092750910546965248\ 456*c_1001_2^24 + 1945333500425609698278832051727648180261762429051\ 58459785261608022002554129960655623642322201889381503/2048863265462\ 2920671694588709726228965824161483001189284928975015807884131225553\ 48791818424494208076*c_1001_2^23 + 2956938351735183394978266272413322097181184945153292782551806490649\ 79567177033930453136947252137448195/4097726530924584134338917741945\ 2457931648322966002378569857950031615768262451106975836368489884161\ 52*c_1001_2^22 + 18094711063136084048142631513627236764224966002896\ 9138948000882419143373923081511027180558518372978205/15366474490967\ 1905037709415322946717243681211122508919636967312618559130984191651\ 1593863818370656057*c_1001_2^21 - 311460688757818291846065335604973\ 4980369143245132498970564543851306544830157863302490420020438537196\ 3/61465897963868762015083766129178686897472484449003567854786925047\ 42365239367666046375455273482624228*c_1001_2^20 + 3659158611328691428107875674838215088699785333613510718128626167259\ 635709395288185868109353118540936141/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^19 - 1689508443794111616124574583913631430368139053251\ 2008377312560635782188835439923038797394815953992841339/12293179592\ 7737524030167532258357373794944968898007135709573850094847304787353\ 32092750910546965248456*c_1001_2^18 + 4654265847997838776305833474497965502480167290708040586815657804671\ 831321869666819451895887624429362537/122931795927737524030167532258\ 3573737949449688980071357095738500948473047873533209275091054696524\ 8456*c_1001_2^17 - 294996095252643613610975589578076127826949319564\ 5157885208901503118331452209069307390547763150686746995/40977265309\ 2458413433891774194524579316483229660023785698579500316157682624511\ 0697583636848988416152*c_1001_2^16 - 1782131337617101630221678137130630966264346296722892525101824537141\ 3274399377270583225757982944170013725/61465897963868762015083766129\ 1786868974724844490035678547869250474236523936766604637545527348262\ 4228*c_1001_2^15 + 275368987915771308738215758537928452890230738452\ 77730909063933770463091881057088749386368950578697632673/1229317959\ 2773752403016753225835737379494496889800713570957385009484730478735\ 332092750910546965248456*c_1001_2^14 - 6232553244618456180465398360768785288215142485315819993656555984850\ 747102177935718148608613772082677825/204886326546229206716945887097\ 2622896582416148300118928492897501580788413122555348791818424494208\ 076*c_1001_2^13 + 2278092491411035826055581522053041077886882713830\ 318332883221648625457497354565618867979855128475556261/204886326546\ 2292067169458870972622896582416148300118928492897501580788413122555\ 348791818424494208076*c_1001_2^12 + 1770358463966425642386470427848999511163044439550090364717785152551\ 439119421680709212329587502702653865/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^11 - 3369338738022415033479748416177390172660887815381\ 1683717233485432881369192530949137884666764413485378227/12293179592\ 7737524030167532258357373794944968898007135709573850094847304787353\ 32092750910546965248456*c_1001_2^10 + 3056680249191810039684150765471574605971511989779603254478805920721\ 579433244725397177659822033578479399/153664744909671905037709415322\ 9467172436812111225089196369673126185591309841916511593863818370656\ 057*c_1001_2^9 - 50070576264269002476506116158816252361926646360900\ 02041214413862427088587298675512564273293820978186533/4097726530924\ 5841343389177419452457931648322966002378569857950031615768262451106\ 97583636848988416152*c_1001_2^8 - 288897657932595041043327196089148\ 8199287702957742046530571391805769335186506502132428905110720088127\ 3407/12293179592773752403016753225835737379494496889800713570957385\ 009484730478735332092750910546965248456*c_1001_2^7 + 1938283082227894262662369624575258814423662402440063154935434422092\ 6092044857043854018019520380155160705/40977265309245841343389177419\ 4524579316483229660023785698579500316157682624511069758363684898841\ 6152*c_1001_2^6 - 3095203391042849168386600439024722645079847561094\ 5423830766907837473317369616677801999930482241187724501/61465897963\ 8687620150837661291786868974724844490035678547869250474236523936766\ 6046375455273482624228*c_1001_2^5 + 4024202374692409658388877328681294709323273475108581811129841131051\ 5900233860941285368405676382213751793/12293179592773752403016753225\ 8357373794944968898007135709573850094847304787353320927509105469652\ 48456*c_1001_2^4 - 172683072506716165545018817903294974619045579839\ 82801849348560508195436826954367773944527612367621864743/1229317959\ 2773752403016753225835737379494496889800713570957385009484730478735\ 332092750910546965248456*c_1001_2^3 + 5483770932022515755908042103366310461841798357452958841732127603515\ 76086973735948140587159887234245345/1536647449096719050377094153229\ 4671724368121112250891963696731261855913098419165115938638183706560\ 57*c_1001_2^2 - 142802504572181005273567546345626635881980747268663\ 942376998186364657033172354572144342932192603376857/307329489819343\ 8100754188306458934344873624222450178392739346252371182619683833023\ 187727636741312114*c_1001_2 + 3192634798979023590169536957218156683\ 981658744990512727316423101524673843258893557014217294004073851/153\ 6647449096719050377094153229467172436812111225089196369673126185591\ 309841916511593863818370656057, c_0101_1 + 677053861757840484522636564924729659737922317306611204054941\ 2288093571648912491719266851482053356/15366474490967190503770941532\ 2946717243681211122508919636967312618559130984191651159386381837065\ 6057*c_1001_2^29 - 146963956037726578105488808115844057343129717053\ 9312092177516148477825360712453121002020432835692407/12293179592773\ 7524030167532258357373794944968898007135709573850094847304787353320\ 92750910546965248456*c_1001_2^28 + 5640188153417457158459159142589003252994600558004173283669747042339\ 854292423066732416006156553928925/614658979638687620150837661291786\ 8689747248444900356785478692504742365239367666046375455273482624228\ *c_1001_2^27 - 1314776932738071111602734682323152590331325226940411\ 933833111695898443263214624677461890856433009789/204886326546229206\ 7169458870972622896582416148300118928492897501580788413122555348791\ 818424494208076*c_1001_2^26 + 6349087560851912026969532510806783288\ 2028820721383980722071845469476475651659486805903661518448528347/12\ 2931795927737524030167532258357373794944968898007135709573850094847\ 30478735332092750910546965248456*c_1001_2^25 - 9198126894796807030410018787546833479932049313540985537949176946121\ 0550034327339858613438028822621103/12293179592773752403016753225835\ 7373794944968898007135709573850094847304787353320927509105469652484\ 56*c_1001_2^24 + 19378085590536487119129523835310997712420235926642\ 320241421992909271294098736665642343988553733944067/102443163273114\ 6033584729435486311448291208074150059464246448750790394206561277674\ 395909212247104038*c_1001_2^23 + 5303669793107455970947807115376742\ 239139790802904114885368753341941327580727701674218327884024080121/\ 2048863265462292067169458870972622896582416148300118928492897501580\ 788413122555348791818424494208076*c_1001_2^22 + 1318721813101103379144680322551348590556024865199843794196326492208\ 31204452964331998109450956411540231/1229317959277375240301675322583\ 5737379494496889800713570957385009484730478735332092750910546965248\ 456*c_1001_2^21 - 2086868734967446302090474766709794633174750147967\ 44141298053454171281504550805492279606794155496613037/1229317959277\ 3752403016753225835737379494496889800713570957385009484730478735332\ 092750910546965248456*c_1001_2^20 + 1267701631379222373131680705894250676153380001143793233093351588169\ 587820409417695362757117020316634043/122931795927737524030167532258\ 3573737949449688980071357095738500948473047873533209275091054696524\ 8456*c_1001_2^19 - 387683352797722919914982532783023247871225987160\ 2034298838850540091338820169339408361123370510158084911/12293179592\ 7737524030167532258357373794944968898007135709573850094847304787353\ 32092750910546965248456*c_1001_2^18 + 1266506741461333698452234722446653220427266739185674303371646477616\ 702598735911174550222244118530283815/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^17 - 5865726509903795943488107028566297884254066595725\ 60788143624686539055328618203396171077806862498811195/4097726530924\ 5841343389177419452457931648322966002378569857950031615768262451106\ 97583636848988416152*c_1001_2^16 - 1343030183825978684494286338758455035679934084393771081605565520488\ 270985466638059003864195661745113837/307329489819343810075418830645\ 8934344873624222450178392739346252371182619683833023187727636741312\ 114*c_1001_2^15 + 4604656294227085865925763543188965834750371927945\ 469986246420677611974171033335959974743538284301454669/614658979638\ 6876201508376612917868689747248444900356785478692504742365239367666\ 046375455273482624228*c_1001_2^14 - 2928074993694784005648304969731015819584675133689240284517780702287\ 490688910058201901443729499162668823/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^13 + 2130348697629443323567966184829725339928206087757\ 724283318037812333972159470156112889246192680782225191/409772653092\ 4584134338917741945245793164832296600237856985795003161576826245110\ 697583636848988416152*c_1001_2^12 + 8978066233895698778516098063338669235987711708533546412768645361292\ 5796838364008455267438187490436275/40977265309245841343389177419452\ 4579316483229660023785698579500316157682624511069758363684898841615\ 2*c_1001_2^11 - 335315395523697916811618901253553283944248430580287\ 6860692806735854534661154534247189276646917312437505/61465897963868\ 7620150837661291786868974724844490035678547869250474236523936766604\ 6375455273482624228*c_1001_2^10 + 802121849024023494671788422296973\ 8385101272972080536152970741006010655660069222789320309700939173403\ 571/122931795927737524030167532258357373794944968898007135709573850\ 09484730478735332092750910546965248456*c_1001_2^9 - 1562522610077853608905636977300267677644970480708060636075552175288\ 488035292697417718822368803437387901/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^8 - 19046594652719146639415268233272754150285322650975\ 84452235996611454172212676602815090610401236372297739/6146589796386\ 8762015083766129178686897472484449003567854786925047423652393676660\ 46375455273482624228*c_1001_2^7 + 465548386726554921709574099478328\ 1521811380106043199269449035592736736580320537665348919196924605910\ 689/409772653092458413433891774194524579316483229660023785698579500\ 3161576826245110697583636848988416152*c_1001_2^6 - 2102675791616315495063755198064514424114547465618353628593276668813\ 759113595174130346644895576189019631/153664744909671905037709415322\ 9467172436812111225089196369673126185591309841916511593863818370656\ 057*c_1001_2^5 + 65221053272395723343498893770974559248846781693994\ 26906386461926386492131932906577499112149745572892013/6146589796386\ 8762015083766129178686897472484449003567854786925047423652393676660\ 46375455273482624228*c_1001_2^4 - 652327785794074899713915828221683\ 0330496458555771456917665036805768320265345830780757685855507037398\ 949/122931795927737524030167532258357373794944968898007135709573850\ 09484730478735332092750910546965248456*c_1001_2^3 + 1046630300936289927728629898175769528246361019930580166401165594206\ 951169589795495811519109174310126809/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^2 - 87701653531083356677461387407810646958860427839301\ 138582725022358238395818545648380259146837204367025/307329489819343\ 8100754188306458934344873624222450178392739346252371182619683833023\ 187727636741312114*c_1001_2 + 1681297391046089337000911248974218821\ 214007781652399563134543390672793716196391060520424648192763266/153\ 6647449096719050377094153229467172436812111225089196369673126185591\ 309841916511593863818370656057, c_0101_11 - 79569339430550623773846190862008433785711299693853598654315\ 31930297698256818773604756644714449415/6146589796386876201508376612\ 9178686897472484449003567854786925047423652393676660463754552734826\ 24228*c_1001_2^29 + 36017961223414519824743161565670709321715744516\ 4660456016967928879542574189292040296839338434966871/12293179592773\ 7524030167532258357373794944968898007135709573850094847304787353320\ 92750910546965248456*c_1001_2^28 - 7151538154778601535393416458982888877481027410164363110604760273018\ 99474282014320836354058117558507/6146589796386876201508376612917868\ 689747248444900356785478692504742365239367666046375455273482624228*\ c_1001_2^27 - 46011672276227672034751305166106581732068504171222878\ 6397990073842266830693557821168076101558972820/51221581636557301679\ 2364717743155724145604037075029732123224375395197103280638837197954\ 606123552019*c_1001_2^26 - 1922638619164183722006755962604236751525\ 3558341816254354615967393222743835411712475574704194757578753/12293\ 1795927737524030167532258357373794944968898007135709573850094847304\ 78735332092750910546965248456*c_1001_2^25 - 5749544928021231101860924505426587762131563559539602675089834356639\ 3564369864584035255617313273736357/12293179592773752403016753225835\ 7373794944968898007135709573850094847304787353320927509105469652484\ 56*c_1001_2^24 - 69845204127190428236373498442686441336464837932442\ 8385351823955410617111111557463252895455388677194/51221581636557301\ 6792364717743155724145604037075029732123224375395197103280638837197\ 954606123552019*c_1001_2^23 - 2295801477055581193649150167822856277\ 7405952928951050706132776804880858534819111851460513884394336385/10\ 2443163273114603358472943548631144829120807415005946424644875079039\ 4206561277674395909212247104038*c_1001_2^22 - 3021001766160924057505828470900588235555867411376206565797168069333\ 92255437460013960148271560722698497/1229317959277375240301675322583\ 5737379494496889800713570957385009484730478735332092750910546965248\ 456*c_1001_2^21 - 3335990332109412221202646097744787087007194933657\ 70084779370387731844898611864963671005848942932475049/1229317959277\ 3752403016753225835737379494496889800713570957385009484730478735332\ 092750910546965248456*c_1001_2^20 - 4318188334900729940989667793556121121134316242978755222021443404058\ 98391070539163080142335826027161269/1229317959277375240301675322583\ 5737379494496889800713570957385009484730478735332092750910546965248\ 456*c_1001_2^19 - 6021441407989217644469419594107471542922998147649\ 95570816815729941614256993981461047141663072599191069/1229317959277\ 3752403016753225835737379494496889800713570957385009484730478735332\ 092750910546965248456*c_1001_2^18 + 3659616332009867359203176593241724583136666005905723210950752984690\ 66190027324219341864142284416187591/1536647449096719050377094153229\ 4671724368121112250891963696731261855913098419165115938638183706560\ 57*c_1001_2^17 + 55786316383536419017374039463034147824379244335053\ 150993682589764548875232835795485526793473407065423/409772653092458\ 4134338917741945245793164832296600237856985795003161576826245110697\ 583636848988416152*c_1001_2^16 + 4514129406228315697039843277246886\ 4215717126039388745285837303976375498657434188594075196864814550958\ 3/15366474490967190503770941532294671724368121112250891963696731261\ 85591309841916511593863818370656057*c_1001_2^15 + 7669802470451030266774690908689034320361050656791588529940123249186\ 22019588252549625757283421398657879/1536647449096719050377094153229\ 4671724368121112250891963696731261855913098419165115938638183706560\ 57*c_1001_2^14 - 74092030017460141643431106683714465733838371813693\ 6140431902232962574074142000864615733052718176204795/40977265309245\ 8413433891774194524579316483229660023785698579500316157682624511069\ 7583636848988416152*c_1001_2^13 + 198173251435179599474414696668562\ 1957666383257436306631054576419780458677198847307469069467055789229\ 499/409772653092458413433891774194524579316483229660023785698579500\ 3161576826245110697583636848988416152*c_1001_2^12 - 6207369420492641880600764375607607712452649220599072938008297141858\ 99513300032738991560698685072471763/4097726530924584134338917741945\ 2457931648322966002378569857950031615768262451106975836368489884161\ 52*c_1001_2^11 + 68842553185087268380264861154694359539824441446739\ 903690168785151791216479377078880200291593198668313/307329489819343\ 8100754188306458934344873624222450178392739346252371182619683833023\ 187727636741312114*c_1001_2^10 + 5238843102959754457182747628562814\ 3902311462764546181106765947685730109781952438334279015569338397473\ 95/1229317959277375240301675322583573737949449688980071357095738500\ 9484730478735332092750910546965248456*c_1001_2^9 - 9770607402756615189765734361315120467224440923647208689450535437988\ 26528427845449068987872517415732927/4097726530924584134338917741945\ 2457931648322966002378569857950031615768262451106975836368489884161\ 52*c_1001_2^8 + 946532541412800763305718710001861497779968031774448\ 605956916984391433349900800931407900089404145975287/307329489819343\ 8100754188306458934344873624222450178392739346252371182619683833023\ 187727636741312114*c_1001_2^7 + 10758338710503253842968506420503130\ 4865307246648056784635062943831135350473487774399155074916356313460\ 3/40977265309245841343389177419452457931648322966002378569857950031\ 61576826245110697583636848988416152*c_1001_2^6 - 1858293548610542445120820973978332787938162047720865928472972746124\ 658078040502088751089003644820381813/307329489819343810075418830645\ 8934344873624222450178392739346252371182619683833023187727636741312\ 114*c_1001_2^5 + 10383209295277845373693968035591466756977445312372\ 56721366122339826348706891550266304017626526730518037/1536647449096\ 7190503770941532294671724368121112250891963696731261855913098419165\ 11593863818370656057*c_1001_2^4 - 524500599866227431413827214381413\ 3064587626537785353775207297237670550957836343793870294777946290737\ 991/122931795927737524030167532258357373794944968898007135709573850\ 09484730478735332092750910546965248456*c_1001_2^3 + 1033222367841752477225080888803183404012374105025004308857627079866\ 563088131872150138319835610536958603/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^2 - 10512596613987399911674734772393730052626246125795\ 5948239342175817161631342724418796615863158407337723/30732948981934\ 3810075418830645893434487362422245017839273934625237118261968383302\ 3187727636741312114*c_1001_2 + 240451939906976497165286590229938740\ 5901431818304197778261844078831480802404085015859080153936586171/15\ 3664744909671905037709415322946717243681211122508919636967312618559\ 1309841916511593863818370656057, c_0101_3 - 188277934080116190534220763674381704209284092020441600113659\ 34600679034006024853558535167057777891/6146589796386876201508376612\ 9178686897472484449003567854786925047423652393676660463754552734826\ 24228*c_1001_2^29 + 23309372025357757226366206604217029933428028022\ 6019151764072294793480485090428461859891391846216727/30732948981934\ 3810075418830645893434487362422245017839273934625237118261968383302\ 3187727636741312114*c_1001_2^28 - 274720016107892720800481571391086\ 8941978350632412053954681551129930017202376067391818644767649815469\ /614658979638687620150837661291786868974724844490035678547869250474\ 2365239367666046375455273482624228*c_1001_2^27 - 9268310396495455731787110009833893236746837185734691834861307446902\ 93587696368398392761120072624089/1024431632731146033584729435486311\ 448291208074150059464246448750790394206561277674395909212247104038*\ c_1001_2^26 - 56577174512105118627958224506299440405727079871887207\ 18854185815464435511376172897021718091470348812/1536647449096719050\ 3770941532294671724368121112250891963696731261855913098419165115938\ 63818370656057*c_1001_2^25 - 20850923796605753317654727984861452397\ 400101476067319205642432787233272574253286657291342463980561221/614\ 6589796386876201508376612917868689747248444900356785478692504742365\ 239367666046375455273482624228*c_1001_2^24 - 1674532420910517759600343562498025989201267231502047975517683297099\ 8088229462864746302526513684276039/20488632654622920671694588709726\ 2289658241614830011892849289750158078841312255534879181842449420807\ 6*c_1001_2^23 - 295110282998429725272026236997990066832920229791999\ 69619244569844637302209362550407570653099240007811/1024431632731146\ 0335847294354863114482912080741500594642464487507903942065612776743\ 95909212247104038*c_1001_2^22 - 10755891630707298792766507811262380\ 3017812334098428604469306005119326630761499984873504369383636078107\ /307329489819343810075418830645893434487362422245017839273934625237\ 1182619683833023187727636741312114*c_1001_2^21 - 4506387084870441314495757389092014522287537341232574101004024755716\ 0189966968491437463838768134584108/15366474490967190503770941532294\ 6717243681211122508919636967312618559130984191651159386381837065605\ 7*c_1001_2^20 - 244781232628961371399253324406691903673650605907572\ 483704418926167386973025304962326326088835770823063/307329489819343\ 8100754188306458934344873624222450178392739346252371182619683833023\ 187727636741312114*c_1001_2^19 + 1261188024957945997197375516964623\ 8119941889478594132862609810817492005446126477449779292375124357959\ 9/30732948981934381007541883064589343448736242224501783927393462523\ 71182619683833023187727636741312114*c_1001_2^18 + 3436159927453186964937041272490842147873038851137071978276020608551\ 18040357835606686229507958690647518/1536647449096719050377094153229\ 4671724368121112250891963696731261855913098419165115938638183706560\ 57*c_1001_2^17 + 72829611611249804312332307233023402241956152944049\ 547262409292941363792151672540246669876466373211571/102443163273114\ 6033584729435486311448291208074150059464246448750790394206561277674\ 395909212247104038*c_1001_2^16 + 3141494232411413055467055775236167\ 2643490743482173890656839176278146026709378991688083852496406873100\ 85/6146589796386876201508376612917868689747248444900356785478692504\ 742365239367666046375455273482624228*c_1001_2^15 + 1192092804726762740474172307307532084378743957307933331008320061682\ 326253462315633081734570365680821923/307329489819343810075418830645\ 8934344873624222450178392739346252371182619683833023187727636741312\ 114*c_1001_2^14 + 2008731239297794414346697582412591319495185812390\ 0197806789325906885844852603108028695981241775235617/51221581636557\ 3016792364717743155724145604037075029732123224375395197103280638837\ 197954606123552019*c_1001_2^13 + 4464989042732838628253504182969636\ 6647148224364331801720499002499393998456631745699719950572998606376\ 3/10244316327311460335847294354863114482912080741500594642464487507\ 90394206561277674395909212247104038*c_1001_2^12 - 3352647145440835363953198720303565986503949364880092451582841725732\ 84363359978826697348035992637057317/2048863265462292067169458870972\ 6228965824161483001189284928975015807884131225553487918184244942080\ 76*c_1001_2^11 + 12905988124096586313460535386779564710493421031236\ 00415836514607449107230290849697372873077612958920935/6146589796386\ 8762015083766129178686897472484449003567854786925047423652393676660\ 46375455273482624228*c_1001_2^10 + 1953917497297875870095045400747522262249828512935067077708260057062\ 943993856366177279003661440175752987/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^9 - 79043233310767218307027829759526453063476242378131\ 857436144847409684938969880883875538959865933749996/512215816365573\ 0167923647177431557241456040370750297321232243753951971032806388371\ 97954606123552019*c_1001_2^8 + 147608921332344855160980333025249781\ 7464006648562863991844265998586742100490283754866529864731246451259\ /307329489819343810075418830645893434487362422245017839273934625237\ 1182619683833023187727636741312114*c_1001_2^7 - 3088483243293949058263285720601589002493539584736919207543798934675\ 1001333878651259063638378077631527/10244316327311460335847294354863\ 1144829120807415005946424644875079039420656127767439590921224710403\ 8*c_1001_2^6 - 1723720474165681781401809137875124683818615360324449\ 276877179407316697054688893131260437940298540552729/614658979638687\ 6201508376612917868689747248444900356785478692504742365239367666046\ 375455273482624228*c_1001_2^5 + 72984252742962258864878587876828925\ 3329498235516971249211803154219419643584186551330746689195316112815\ /153664744909671905037709415322946717243681211122508919636967312618\ 5591309841916511593863818370656057*c_1001_2^4 - 1999700269918085303956359800619284981794429457095781512101379638480\ 265185550507095228681009514003230643/614658979638687620150837661291\ 7868689747248444900356785478692504742365239367666046375455273482624\ 228*c_1001_2^3 + 81588647742276157426835571911725283194650388159338\ 9304675274057716162433543263123164885169696093474583/61465897963868\ 7620150837661291786868974724844490035678547869250474236523936766604\ 6375455273482624228*c_1001_2^2 - 7405231264487545729738973462921812\ 5036381343773139146327683769403035913126078989132662296101229329767\ /307329489819343810075418830645893434487362422245017839273934625237\ 1182619683833023187727636741312114*c_1001_2 + 6926970069700158022552940889123508973409965418990574057951950669583\ 26294816196303172707050830868818/1536647449096719050377094153229467\ 172436812111225089196369673126185591309841916511593863818370656057, c_0101_8 + 405769429110222049402982518824195127992765799147965124913277\ 62727643169247377722167555370719952253/4097726530924584134338917741\ 9452457931648322966002378569857950031615768262451106975836368489884\ 16152*c_1001_2^29 - 54605680233226289463631546507036700559303404015\ 3801929837561496898238359365176802088635996596440253/20488632654622\ 9206716945887097262289658241614830011892849289750158078841312255534\ 8791818424494208076*c_1001_2^28 + 410953762284773489309130010565506\ 7122952804452667439925107824286215017686894795167147503759874064805\ /204886326546229206716945887097262289658241614830011892849289750158\ 0788413122555348791818424494208076*c_1001_2^27 - 4294625373992228011609948442899876688992695826957909776848585821595\ 191716498402776292298130603569063/409772653092458413433891774194524\ 5793164832296600237856985795003161576826245110697583636848988416152\ *c_1001_2^26 + 4786174411035394610814279700298268725607386396504480\ 9498356329493354860497993074579186243047401868151/40977265309245841\ 3433891774194524579316483229660023785698579500316157682624511069758\ 3636848988416152*c_1001_2^25 - 725579556572789948882337550141040051\ 0965164884049437263657500274872685564110723965642887144748894270/51\ 2215816365573016792364717743155724145604037075029732123224375395197\ 103280638837197954606123552019*c_1001_2^24 + 8490241472328796762467845466697175556860574980127498711147228316897\ 8918783793429222953900846622970873/20488632654622920671694588709726\ 2289658241614830011892849289750158078841312255534879181842449420807\ 6*c_1001_2^23 + 582876752330702985110878560233324246369638617294263\ 78463600408070565899850586773056995966223221753233/4097726530924584\ 1343389177419452457931648322966002378569857950031615768262451106975\ 83636848988416152*c_1001_2^22 + 13642745131046895495152363468163763\ 9446610926363708544049774218403391690466580737646638444691026786465\ /409772653092458413433891774194524579316483229660023785698579500316\ 1576826245110697583636848988416152*c_1001_2^21 - 9433202176923976168580935837989316578480262365381464121039189030380\ 2540095617218098620008531746234865/40977265309245841343389177419452\ 4579316483229660023785698579500316157682624511069758363684898841615\ 2*c_1001_2^20 + 976647867749095514907736949568391377526318160949303\ 816077884609094839768936389906192267025112865646977/409772653092458\ 4134338917741945245793164832296600237856985795003161576826245110697\ 583636848988416152*c_1001_2^19 - 6681100862270198404475257554174575\ 8169656195232744829698899255250243527747682125720344362773204677444\ 5/10244316327311460335847294354863114482912080741500594642464487507\ 90394206561277674395909212247104038*c_1001_2^18 + 1486052503887419904007469087123627414184668726059109853921452299790\ 262484190190460780636529295851286079/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^17 - 3249421674475196887408465418733582639166234604348\ 63100713718043552437245890480741551515892156232658853/1024431632731\ 1460335847294354863114482912080741500594642464487507903942065612776\ 74395909212247104038*c_1001_2^16 - 2181396966354942052540123089447074307999358038936714557962584140426\ 463871013046037107228522100754213247/204886326546229206716945887097\ 2622896582416148300118928492897501580788413122555348791818424494208\ 076*c_1001_2^15 + 5726403075117945013495044375437189611409883107358\ 525832696280769975442059118087974848066387686944978525/409772653092\ 4584134338917741945245793164832296600237856985795003161576826245110\ 697583636848988416152*c_1001_2^14 - 6234043961451465359538716046830937239292899497078605108915165866182\ 592723408159639748676558444621788389/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^13 + 3631003852547482648449500078691012201957480429365\ 409637560487824158184893514533959573958513330219684693/409772653092\ 4584134338917741945245793164832296600237856985795003161576826245110\ 697583636848988416152*c_1001_2^12 + 1512361793215958949598677279389483335880864223921780272461088241478\ 92140649764908293346441627951675117/2048863265462292067169458870972\ 6228965824161483001189284928975015807884131225553487918184244942080\ 76*c_1001_2^11 - 49463123046929314406138277532894576255674476438232\ 08156612016390860180588632198791735372778096930632899/4097726530924\ 5841343389177419452457931648322966002378569857950031615768262451106\ 97583636848988416152*c_1001_2^10 + 5085419007853748746867968967649519083443290095421882513851100421146\ 389635575603928800226780702689344333/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^9 - 38280822445464895746152318147278991846814485928548\ 6529669055845000289364144729146761354462908212404558/51221581636557\ 3016792364717743155724145604037075029732123224375395197103280638837\ 197954606123552019*c_1001_2^8 - 32926040968568289002991570673874180\ 4079149831273999774471661536098187655005069084263795251992243526838\ 5/40977265309245841343389177419452457931648322966002378569857950031\ 61576826245110697583636848988416152*c_1001_2^7 + 1192459149969957793856464214100136609097973378002699857986676835815\ 294904684362682338734238739217360062/512215816365573016792364717743\ 1557241456040370750297321232243753951971032806388371979546061235520\ 19*c_1001_2^6 - 562743699893093025023104391151690567231930821825846\ 6986924898275022994441897104949012018445475998057377/20488632654622\ 9206716945887097262289658241614830011892849289750158078841312255534\ 8791818424494208076*c_1001_2^5 + 8285561951194308155031989554231133\ 8289102713834895677632910303974499894175367451626354995648379804507\ 13/4097726530924584134338917741945245793164832296600237856985795003\ 161576826245110697583636848988416152*c_1001_2^4 - 9909620777581610805639639608990730788041730824316170789050086971628\ 33680035892999544560933939645295219/1024431632731146033584729435486\ 3114482912080741500594642464487507903942065612776743959092122471040\ 38*c_1001_2^3 + 293435165893124035283454853898180933614923316174278\ 355680722567492394141942483373496635618694626998623/102443163273114\ 6033584729435486311448291208074150059464246448750790394206561277674\ 395909212247104038*c_1001_2^2 - 42152287498537727481114202464712697\ 332432492336764055811775563852723227028578038171105949566604866883/\ 1024431632731146033584729435486311448291208074150059464246448750790\ 394206561277674395909212247104038*c_1001_2 + 4596964097427366040858375804882991717268860538062761677528690885065\ 85250101577875924961320720811189/5122158163655730167923647177431557\ 24145604037075029732123224375395197103280638837197954606123552019, c_1001_0 - 556911563529645278668379598289431681316807459601798542530252\ 66531430754260409417592448574181548965/1229317959277375240301675322\ 5835737379494496889800713570957385009484730478735332092750910546965\ 248456*c_1001_2^29 + 1445218171033339285565534035972843235762106660\ 768822117995952309928206535678090877488018075748470765/122931795927\ 7375240301675322583573737949449688980071357095738500948473047873533\ 2092750910546965248456*c_1001_2^28 - 2466032021894041433964042748800532139750092842405733253132121763401\ 761466362117786691681238699667849/307329489819343810075418830645893\ 4344873624222450178392739346252371182619683833023187727636741312114\ *c_1001_2^27 - 1407986881054861736456807287649539317754556907198939\ 514162799683248380542350014394463265749720956817/409772653092458413\ 4338917741945245793164832296600237856985795003161576826245110697583\ 636848988416152*c_1001_2^26 - 3272548999758940548918809300418081948\ 6084286990866282571431132830188138853984332535064738868759446839/61\ 4658979638687620150837661291786868974724844490035678547869250474236\ 5239367666046375455273482624228*c_1001_2^25 + 1683549253531829260289172340354408471325860345555432748071619107421\ 6644755066303848241602996485114483/12293179592773752403016753225835\ 7373794944968898007135709573850094847304787353320927509105469652484\ 56*c_1001_2^24 - 31611995314515691125793589589958251901882202410667\ 191203339837570965710986603182310807864693630024537/204886326546229\ 2067169458870972622896582416148300118928492897501580788413122555348\ 791818424494208076*c_1001_2^23 - 9307940761686283100665022034496151\ 0860910642727074072258928647553480894332234497271577281601447974533\ /409772653092458413433891774194524579316483229660023785698579500316\ 1576826245110697583636848988416152*c_1001_2^22 - 9295139258830571322685273472754951769139242839127091316570025655941\ 7345245693988032930936219638442951/30732948981934381007541883064589\ 3434487362422245017839273934625237118261968383302318772763674131211\ 4*c_1001_2^21 - 712104867396616304027889601997373988464833270816563\ 66529485176270234549119930677079046797943448844147/6146589796386876\ 2015083766129178686897472484449003567854786925047423652393676660463\ 75455273482624228*c_1001_2^20 - 16906635179183812072348528939207928\ 6547168905562660654325962623639533773580924038036507325036869923840\ /153664744909671905037709415322946717243681211122508919636967312618\ 5591309841916511593863818370656057*c_1001_2^19 + 2380056494349577027032378495527019975538796055063844376491088838737\ 215229318136733645645068924065493023/122931795927737524030167532258\ 3573737949449688980071357095738500948473047873533209275091054696524\ 8456*c_1001_2^18 + 810964049604697263356525152318738390207060993001\ 037710551109180673138676286997633582038378989660009507/122931795927\ 7375240301675322583573737949449688980071357095738500948473047873533\ 2092750910546965248456*c_1001_2^17 + 4608774348697105898374070765490636741287548801439901190500651635418\ 33122478143830898176858205118371891/4097726530924584134338917741945\ 2457931648322966002378569857950031615768262451106975836368489884161\ 52*c_1001_2^16 + 36970902777145196444052256605528007833793352905857\ 11313828951232670884457304213778943887788680878464505/6146589796386\ 8762015083766129178686897472484449003567854786925047423652393676660\ 46375455273482624228*c_1001_2^15 - 1344119593092897792589289033648546535191496444708394756954058515900\ 812535501962598938826144026186435743/122931795927737524030167532258\ 3573737949449688980071357095738500948473047873533209275091054696524\ 8456*c_1001_2^14 + 733876472891893435677708278084373145348564590178\ 519903035052054311459539694146300809613381798201804373/204886326546\ 2292067169458870972622896582416148300118928492897501580788413122555\ 348791818424494208076*c_1001_2^13 + 1352986985540155261944080998764936602767234507411375320962235710442\ 53357959270450613827515069487674707/2048863265462292067169458870972\ 6228965824161483001189284928975015807884131225553487918184244942080\ 76*c_1001_2^12 - 67005684892198904340697220457319638971082361355775\ 5927806693006357381988096535524974220191317420231653/40977265309245\ 8413433891774194524579316483229660023785698579500316157682624511069\ 7583636848988416152*c_1001_2^11 + 536902432871482925476468490554693\ 1587920643634678899729974532116835329132894204205362812859576349659\ 253/122931795927737524030167532258357373794944968898007135709573850\ 09484730478735332092750910546965248456*c_1001_2^10 - 2868662840881559305145338457337014807837380128241376285045779335124\ 01069918584411168407861475632237619/3073294898193438100754188306458\ 9343448736242224501783927393462523711826196838330231877276367413121\ 14*c_1001_2^9 + 215365489810982980285574426430191191841963211744284\ 363551173449375600311445486603570993994763785587473/409772653092458\ 4134338917741945245793164832296600237856985795003161576826245110697\ 583636848988416152*c_1001_2^8 + 64785092480310817345504353278649859\ 1682938465382531100832238120393531574981658920609900869206015138537\ 5/12293179592773752403016753225835737379494496889800713570957385009\ 484730478735332092750910546965248456*c_1001_2^7 - 2532555322407986678197709942429811062761682788941493931411836836712\ 778216311149176839769983620540777549/409772653092458413433891774194\ 5245793164832296600237856985795003161576826245110697583636848988416\ 152*c_1001_2^6 + 28554019532793231196487703926321228267400920852371\ 81195294927316821743722201195140454954562655180655309/6146589796386\ 8762015083766129178686897472484449003567854786925047423652393676660\ 46375455273482624228*c_1001_2^5 - 186044279477188173730889544175893\ 1454798229054238609880483903096606352623859252721206021473644229895\ 835/122931795927737524030167532258357373794944968898007135709573850\ 09484730478735332092750910546965248456*c_1001_2^4 - 1232362280649673647433235505640378480698561808745248948917351934353\ 67650498784993976796295049476751299/1229317959277375240301675322583\ 5737379494496889800713570957385009484730478735332092750910546965248\ 456*c_1001_2^3 + 19943479709351010173469950597552009022043954717115\ 7417627996698560957735494007208127505201946072521069/61465897963868\ 7620150837661291786868974724844490035678547869250474236523936766604\ 6375455273482624228*c_1001_2^2 - 1276247723468172086499106426525222\ 2030728621128906206053750586703712115538854823460562530539417862420\ /153664744909671905037709415322946717243681211122508919636967312618\ 5591309841916511593863818370656057*c_1001_2 - 9729741329743692523842938589314350857815011147233759971087680167950\ 53025295709483419690243378405281/1536647449096719050377094153229467\ 172436812111225089196369673126185591309841916511593863818370656057, c_1001_2^30 - 27*c_1001_2^29 + 205*c_1001_2^28 - 127*c_1001_2^27 + 1216*c_1001_2^26 - 1530*c_1001_2^25 + 4481*c_1001_2^24 + 975*c_1001_2^23 + 3790*c_1001_2^22 - 2065*c_1001_2^21 + 25091*c_1001_2^20 - 67762*c_1001_2^19 + 45864*c_1001_2^18 - 42655*c_1001_2^17 - 104015*c_1001_2^16 + 146079*c_1001_2^15 - 184072*c_1001_2^14 + 112239*c_1001_2^13 - 16692*c_1001_2^12 - 119332*c_1001_2^11 + 139086*c_1001_2^10 - 102020*c_1001_2^9 - 65908*c_1001_2^8 + 236381*c_1001_2^7 - 312919*c_1001_2^6 + 253179*c_1001_2^5 - 140395*c_1001_2^4 + 51785*c_1001_2^3 - 11896*c_1001_2^2 + 1292*c_1001_2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.870 Total time: 2.080 seconds, Total memory usage: 64.12MB