Magma V2.19-8 Wed Aug 21 2013 00:24:42 on localhost [Seed = 2867640727] Type ? for help. Type -D to quit. Loading file "K14n13794__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n13794 geometric_solution 11.63051627 oriented_manifold CS_known 0.0000000000000007 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653418293629 0.618507628165 0 5 6 2 0132 0132 0132 2103 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.497206259399 1.693946251782 7 0 6 1 0132 0132 0213 2103 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649146195718 0.573905858498 6 8 4 0 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 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.769333493608 0.789769901073 3 9 0 10 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985551611592 1.007970489921 9 1 8 11 2310 0132 3120 0132 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245677448868 0.827553690506 3 2 7 1 0132 0213 3120 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.055981347560 0.432829083886 2 9 6 11 0132 2310 3120 0321 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 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.010982303955 0.598045052061 11 3 5 10 0132 0132 3120 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168369033670 1.141280944944 12 4 5 7 0132 0132 3201 3201 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 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306651517404 0.647638598144 12 8 4 12 3012 0321 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.721830136368 0.675603304235 8 7 5 12 0132 0321 0132 3012 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 -1 1 0 0 1 -1 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.993231053659 1.299789306808 9 10 11 10 0132 1302 1230 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 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.521094658644 1.265605370053 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0101_0']), 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_2']), 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_5']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : d['c_0011_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : negation(d['c_0101_10']), 'c_1100_3' : negation(d['c_0101_10']), 'c_1100_2' : negation(d['c_0101_0']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_12'], 's_3_1' : d['1'], 's_3_0' : negation(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_0101_8'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10']})} 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_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_5, c_0101_7, 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 - 2763073796320841373994461716876585838404846977769120838647367047072\ 639634614397224454359090489048506542280658885361307788167347728557/\ 2060110413691561946517834235180412078479433840699716801147294941789\ 657333008997710527159489160658477301397201967548359975267906*c_1001\ _2^29 - 42978692513850905462305427254953519458460395136292864203340\ 5747037765439119476479611574994216832551277224588723001063479437003\ 389603/605914827556341748975833598582474140729245247264622588572733\ 80640872274500264638544916455563548778744158741234339657646331409*c\ _1001_2^28 - 144045551957583120454832932965559140271046242407352061\ 3948755699735597958181559696015344686327645576597404120085415004382\ 3278088792861/20601104136915619465178342351804120784794338406997168\ 0114729494178965733300899771052715948916065847730139720196754835997\ 5267906*c_1001_2^27 + 225786649551876351680648488626151386173848732\ 7285142216523507798584784929567847563828637726427074858313859547203\ 7723416665496360629502/10300552068457809732589171175902060392397169\ 2034985840057364747089482866650449885526357974458032923865069860098\ 3774179987633953*c_1001_2^26 + 826787920288071957270072878096525436\ 2013441743757840745946085263770252371090081143888352069168894903119\ 5086900263549699129903894774017/20601104136915619465178342351804120\ 7847943384069971680114729494178965733300899771052715948916065847730\ 1397201967548359975267906*c_1001_2^25 - 3020947341897455180236630004902672121609703706704888593388039110500\ 2107009556264983221128711872104439806539752277980446317336551811733\ /103005520684578097325891711759020603923971692034985840057364747089\ 4828666504498855263579744580329238650698600983774179987633953*c_100\ 1_2^24 - 8713153873891583727263074954335072799094312139876637487928\ 5244323310275729210956953348685445136235427378825467708119905413998\ 751025555/103005520684578097325891711759020603923971692034985840057\ 3647470894828666504498855263579744580329238650698600983774179987633\ 953*c_1001_2^23 + 2713702379813121288578343423560155973775993540854\ 7543455323571748299380144753164132087052026953608096342385127679070\ 416190905764822652/103005520684578097325891711759020603923971692034\ 9858400573647470894828666504498855263579744580329238650698600983774\ 179987633953*c_1001_2^22 + 3221619020382874562934976093018042512123\ 0261491128056079357612062822375582063305066800559117519538946366902\ 104211101588034414902832205/294301487670223135216833462168630296925\ 6334058142452573067564202556653332869996729324513555943797824716281\ 71709649765710752558*c_1001_2^21 - 6423461078178078965381885343471977880753321224911063213739713759583\ 8505757913159161689181818797427468762220144631606095647119653706757\ /206011041369156194651783423518041207847943384069971680114729494178\ 9657333008997710527159489160658477301397201967548359975267906*c_100\ 1_2^20 - 1881931472072663594831748281956645300125678923324455817922\ 4510227737171888343716453125900876804196861189753017653153786427776\ 3659491/16600406234420321889748865714588332622719047870263632563636\ 54264133486972609990097120998782562980239565992910529853634146066*c\ _1001_2^19 + 845553482719252178428499731865731696696048274167094309\ 2143714224740165656379846468252864440935839164015428228943022830142\ 2071663639/19545639598591669321801083825241101313846620879503954470\ 0881873035071853226660124338440179237254124981157229788192444020423\ 9*c_1001_2^18 + 380794089818210821554411251450894339496868473735732\ 0620978464981950928321742767366645209067438976214697551882988079690\ 531933258448403/332275873176058378470618425029098722335392554951567\ 2259914991841596221504853222113753483047033320124679672906399271548\ 3472063*c_1001_2^17 - 889237534093403884514000448733754899382828651\ 6164812567296715308498132460405507811477874240997586731092495199663\ 4843319744392653089023/20601104136915619465178342351804120784794338\ 4069971680114729494178965733300899771052715948916065847730139720196\ 7548359975267906*c_1001_2^16 - 120695458347704614761936796177985664\ 1590858870865725465125387817331036144323040694437897795076032448701\ 45981170528969091898049086633670/1030055206845780973258917117590206\ 0392397169203498584005736474708948286665044988552635797445803292386\ 50698600983774179987633953*c_1001_2^15 + 3470426829994389782322615192326096455145690257287764944218608067411\ 374493997769359520466834933180308011866557339508202235372669482926/\ 1471507438351115676084167310843151484628167029071226286533782101278\ 32666643499836466225677797189891235814085854824882855376279*c_1001_\ 2^14 + 190089543651267584857837917086001285707945318938310310409340\ 2824592956386618232477786172159372354691636167075710168634167810449\ 943807/173118522158954785421666742452135468779784356361320739592209\ 65897392078428647039584261844446728222498331068924097045041808974*c\ _1001_2^13 + 123915458054879748729893280324237571413747789604689565\ 0487470052095430850390818444365204587989787690324576296940146789306\ 4763345406288/10300552068457809732589171175902060392397169203498584\ 0057364747089482866650449885526357974458032923865069860098377417998\ 7633953*c_1001_2^12 - 738679540367858842148830508774197309333009196\ 7023083503472725349825372387819033034656897711514193828104001484625\ 8152454656141313720616/10300552068457809732589171175902060392397169\ 2034985840057364747089482866650449885526357974458032923865069860098\ 3774179987633953*c_1001_2^11 - 323047174837471628609585680488098247\ 7264534230290920820558774971299313540763604369926212404973346206672\ 8419801663371180966847535267627/10300552068457809732589171175902060\ 3923971692034985840057364747089482866650449885526357974458032923865\ 0698600983774179987633953*c_1001_2^10 + 2353784340544856269584576935367765731805010102675333289512119072571\ 3112038402902375619997084337816782184723725475182480071407013404368\ /103005520684578097325891711759020603923971692034985840057364747089\ 4828666504498855263579744580329238650698600983774179987633953*c_100\ 1_2^9 + 22601267066945931438028002451513959186628401015491564884065\ 5673385234995889812321208237395365318153766096951565127043801381754\ 7425319/12118296551126834979516671971649482814584904945292451771454\ 6761281744549000529277089832911127097557488317482468679315292662818\ *c_1001_2^8 - 48523096157253374310286122689479795579808444164149433\ 5936081564358352802944451597025370731328260098033667298116166562352\ 6132792038767/20601104136915619465178342351804120784794338406997168\ 0114729494178965733300899771052715948916065847730139720196754835997\ 5267906*c_1001_2^7 - 5089955559219821022435792176106960864047644666\ 6480781328923385326877635358973846303889620040486103137114589548881\ 79556332353864194682/1030055206845780973258917117590206039239716920\ 3498584005736474708948286665044988552635797445803292386506986009837\ 74179987633953*c_1001_2^6 + 272259499416650438796287393836303945974\ 4618178349449424868029798555362139420853055785891811718853901090733\ 13244581192596589112406001/2060110413691561946517834235180412078479\ 4338406997168011472949417896573330089977105271594891606584773013972\ 01967548359975267906*c_1001_2^5 + 179917062721216078127213334712703\ 5478585811585561529309458497979321049941203838190833728806474210415\ 522427869465285208843181401541873/206011041369156194651783423518041\ 2078479433840699716801147294941789657333008997710527159489160658477\ 301397201967548359975267906*c_1001_2^4 - 2786729107715324865785992194802699008119387577459397768768873584735\ 10156226094123451488975026716976525501313143355725817779192502289/2\ 0601104136915619465178342351804120784794338406997168011472949417896\ 57333008997710527159489160658477301397201967548359975267906*c_1001_\ 2^3 - 4899007343275272791060164175427352496959785993294415410063159\ 4684914625203217394088139712216155841696918336218762306500238120226\ 085/294301487670223135216833462168630296925633405814245257306756420\ 255665333286999672932451355594379782471628171709649765710752558*c_1\ 001_2^2 - 324748859735951027700347240374506173780007294118373909095\ 0105776362475066363665243364984429250238814430388645896309375563837\ 3360053/20601104136915619465178342351804120784794338406997168011472\ 9494178965733300899771052715948916065847730139720196754835997526790\ 6*c_1001_2 + 173574945287890176220226409107624003571278524666535228\ 9214970934174310880405509019451629450466587055110678847086204535940\ 5667777565/10300552068457809732589171175902060392397169203498584005\ 7364747089482866650449885526357974458032923865069860098377417998763\ 3953, c_0011_0 - 1, c_0011_10 - 34574773092604629950989911484794670151543337383892991699243\ 31988047862222070486409610363317770014797693312507/5256938945609975\ 5856955663204859603187722737646854859564089651409178736403102765116\ 996777842400170688395374*c_1001_2^29 - 8925501312284916291044687823769106416902568070635671157273035602679\ 499285567978620501524943784696280125466916/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^28 - 813316842970345216879397244942844458\ 1458125751866921225150269948534224753500720886105007399547173100774\ 910987/262846947280498779284778316024298015938613688234274297820448\ 25704589368201551382558498388921200085344197687*c_1001_2^27 + 5613781241312477133153579258842259292691967698672459556287559103719\ 5126142692638018549536007689774345930981043/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^26 + 47110712675116680615016512167529798\ 0045416431387786065717065862398458721103297746251295843486514755153\ 10431841/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^25 - 4048237667586343864919147275748019920874971012475337316841664786761\ 9573944494153997809055692079677623351753721/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^24 - 98826841592294087661937921386769510\ 2245411199101897875800711457748759305060184397137915414282240312467\ 56034189/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^23 + 4229987574045655692523132722845310711367918560282856485354769520433\ 5675115625809514531997210255649067084414243/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^22 + 25467462533547678093310043318932014\ 2258984039069126714745985086611226462195130793037896473102215617159\ 227771541/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^21 - 1036561356038906112176623876360584802500408537498213691941871113565\ 23995370290744065789089917559044715491511681/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^20 - 1315780416698507572383035782103774\ 4607076973163756022301174281537232863669429237795839784614685937438\ 9335653687/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^19 + 6634934050195657131452120183230426907856377421132641469340452767855\ 9132532260348817299241276425396717425390670/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^18 + 13275156502536183712435813913093178\ 6373570837062190574437758421785516652672712354071802575414561061265\ 117396152/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^17 - 1310819430411983020260493833285815855097330691389316545858345138994\ 48629559152556774436078310519480509416686065/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^16 - 1359949796964231492088448036950525\ 8293477879480006743012761911574422783713145020346719312518351015601\ 2819496128/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^15 + 8441963544829720462752506836094258690464644723043826287400741121954\ 3487569282054512231141183403199735698697609/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^14 + 12871719790339457576638422103183454\ 0467485549581569373765567349401880793331859830190984592108485638266\ 197607403/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^13 + 1829789149935571316897548862777918901338499122709178176023885518442\ 094427986561420355653067229634003271556814/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^12 - 858128401899341829309967780536799080\ 2616080294961421332262589938842198792832192749194045509964469841296\ 4776369/26284694728049877928477831602429801593861368823427429782044\ 825704589368201551382558498388921200085344197687*c_1001_2^11 - 2824344524864455044942765876865840664080478297351191527703973807118\ 2275734520933156055860024896115993407313952/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^10 + 30477510924606330595276963620351361\ 1520974153364376107687748343363754872017983788474220635572174647978\ 05958656/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^9 + 3643612831423637866817736343930996303158035733384744638763610651036\ 1377269301511124105426460485782946374733411/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^8 - 123410206537552531495906597024481471\ 6501384676099666553739042366646022059919126045260199630388394339987\ 6898463/52569389456099755856955663204859603187722737646854859564089\ 651409178736403102765116996777842400170688395374*c_1001_2^7 - 1166913680156628449027879088088308482014530738938061872717672801653\ 5125653094909638380289275277493161827164731/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^6 + 197632854052842384399531370618285223\ 9877506003338922493646315893876717371854717982570612388989703020673\ 080251/525693894560997558569556632048596031877227376468548595640896\ 51409178736403102765116996777842400170688395374*c_1001_2^5 + 1266067797461283944237686986144558689289627756120649272582894595469\ 899988360375649941364683176073381985294790/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^4 - 2539392054354817336444544946288257813\ 0886495568338738285995798929678342623561723420637147797220362772099\ 8691/52569389456099755856955663204859603187722737646854859564089651\ 409178736403102765116996777842400170688395374*c_1001_2^3 - 3298899310848285628070612567421702070046854175436768156086813943752\ 40142428327667253531432799111244747244231/5256938945609975585695566\ 3204859603187722737646854859564089651409178736403102765116996777842\ 400170688395374*c_1001_2^2 - 21220869026181249449311992957468578526\ 1012161202835505789899536073010369659249574359954116587946515173088\ 75/2628469472804987792847783160242980159386136882342742978204482570\ 4589368201551382558498388921200085344197687*c_1001_2 + 2557181673349270171552754059762266010060351520809568967805213110170\ 3384370199159590262346801462925735949265/26284694728049877928477831\ 6024298015938613688234274297820448257045893682015513825584983889212\ 00085344197687, c_0011_11 + 99005703662517593762357270703293165815587830876877245946917\ 33543373234586547039548955966785564407745552300701/5256938945609975\ 5856955663204859603187722737646854859564089651409178736403102765116\ 996777842400170688395374*c_1001_2^29 + 2607418325870936510401160082964083771335188981303135367623463203155\ 0940470657374586606410952415227704196331041/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^28 + 50415617182507226390341765697302522\ 1177973193891701636709875499238465477696804783304799437403437491037\ 31438345/5256938945609975585695566320485960318772273764685485956408\ 9651409178736403102765116996777842400170688395374*c_1001_2^27 - 8176343223229006375267336135029280440205144723813463957589105859142\ 0658730329087861035236833610448759808164583/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^26 - 29431108113721916447292547721809831\ 2930217820339530958449801977411903110254342330570041816353797700234\ 551930729/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^25 + 1113756845293825312079561707814283609383755279320523181049414157107\ 38485876988652806928537396539231327826131764/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^24 + 3124173973721263293865844991333783\ 2847821178873577156688831369020207259128237144833599542806327365882\ 8395405921/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^23 - 1015853337063602612926302210270301457886667195343700006725679712490\ 02041620413206368001310662310825304359273128/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^22 - 8109411798154757501805719411513327\ 2652183835366351489764650524434152192509338218542247924369588606115\ 6299035769/52569389456099755856955663204859603187722737646854859564\ 089651409178736403102765116996777842400170688395374*c_1001_2^21 + 2373751017953042896599271409787641423036296719557659373046025135487\ 98635861598762693002119688177185231040630081/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^20 + 8383881862147363045213491468925717\ 4266023891144552084269334996501014556552848557663456481979605281239\ 7433023449/52569389456099755856955663204859603187722737646854859564\ 089651409178736403102765116996777842400170688395374*c_1001_2^19 - 1629707438066045546851954066874039414613980284533544916200527096038\ 73270944471161737561735306213203403167775632/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^18 - 4229498168888690226396339912724194\ 7289259257591023464355156462532715947502229857175161417055259306422\ 2257867849/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^17 + 3264970358588420417766463642147914393105132563523542183863830246487\ 74199834352576344204050002384454642249883579/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^16 + 4329915228475649921556391083623845\ 6734197245348236253958253466088923280416546897812882947728382630810\ 0367882388/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^15 - 9092775524285293105578963137381553503629794761365215215873066503087\ 8182386385441486264014533837379528647953331/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^14 - 81379230114707436238917466945448567\ 1004136181344636256796273509404231792245463191459475449390250996492\ 132218485/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^13 - 4197339315205116309706123024963588001572080656764249287043593677839\ 4184269565109540766155148062051506289948436/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^12 + 26743275964276959554050848189502086\ 2596808916077655260445862576433442910950555282439088030797806643001\ 533028007/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^11 + 1165877451452368815151223606249911587912023851150794205234209360491\ 40114025376357773357562766568441351208187770/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^10 - 8554204164151634942436459538964095\ 3386088397950933248038499783019462742518518963050107300299032540138\ 653613516/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^9 - 1417644346772140673533656365952605318630108706279711677563359806161\ 06214884143863854006392283569858942876831345/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^8 + 14992541431743605124254338121269468\ 0293679209489765682207834637278886663894843630354701531365830216413\ 86247449/5256938945609975585695566320485960318772273764685485956408\ 9651409178736403102765116996777842400170688395374*c_1001_2^7 + 1848026432121897474125321972220411278464016255476338957456497385543\ 4041338797448781296123424525918087257025366/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^6 + 565601821097314467413699296619113885\ 9194490282644989482200015632661234262577522448874969186965889031636\ 02905/5256938945609975585695566320485960318772273764685485956408965\ 1409178736403102765116996777842400170688395374*c_1001_2^5 - 5920475672764009690182376364797920529590771567563936866197615073944\ 679837206137286386523621761601943936031561/525693894560997558569556\ 6320485960318772273764685485956408965140917873640310276511699677784\ 2400170688395374*c_1001_2^4 + 7513286997334826711954781461854147627\ 4066268353528877184821471782225835429849135776655751475754275763030\ 5739/52569389456099755856955663204859603187722737646854859564089651\ 409178736403102765116996777842400170688395374*c_1001_2^3 + 1122891060315176344751903011745273281284443452364632823747438819782\ 468456462097343904014174937318070162167911/525693894560997558569556\ 6320485960318772273764685485956408965140917873640310276511699677784\ 2400170688395374*c_1001_2^2 + 1542669286271473587237365189068553015\ 9978455424103376137426062945357181239836291743414402233355042667255\ 7025/52569389456099755856955663204859603187722737646854859564089651\ 409178736403102765116996777842400170688395374*c_1001_2 - 4953050244499952066208692647223694718585566116156338230540806348231\ 8967075688215634092545502141488815575854/26284694728049877928477831\ 6024298015938613688234274297820448257045893682015513825584983889212\ 00085344197687, c_0011_12 + 15984985651134377894006423593838016819559992134844261449358\ 662435570386613530161600150626625404303613479812555/525693894560997\ 5585695566320485960318772273764685485956408965140917873640310276511\ 6996777842400170688395374*c_1001_2^29 + 8404300312563492145229891428944742215774047440055043771466202048476\ 4534341361387031316529028644282048145822749/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^28 + 40760775154691839874030013943032103\ 2287025192313263046386581295835124111744541148594501444557291577322\ 13121770/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^27 - 2598506864675394386018809513181893888357057534061314719333928117470\ 66611661470589613993232202288120159561155465/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^26 - 4672919389283331681977143529408063\ 3374254746340256740304749936991065913943844929640064917326918118987\ 8948742299/52569389456099755856955663204859603187722737646854859564\ 089651409178736403102765116996777842400170688395374*c_1001_2^25 + 1754526373006670188684433386206899447167634687683757159967215527240\ 36352779868481696041192810718222983925329860/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^24 + 4893546837155343435005002620761962\ 6496510302860657188472406126770201984871878652722026954624591532310\ 4787005027/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^23 - 1617418085116330918258135198450170365382367755606191658895528023387\ 39357253697048597156931686093652252235596897/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^22 - 1256172938540929877425082608647549\ 0332279861783871076364269018716472962959216742075951027155315883237\ 57164494555/5256938945609975585695566320485960318772273764685485956\ 4089651409178736403102765116996777842400170688395374*c_1001_2^21 + 1930251789638685863453773048861398271789095017932500247882019102990\ 84868185746186164033858854287067165267699228/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^20 + 1292437082097408273987984972307116\ 9153152115814594162683886821785443015172554412376098332024486617105\ 32945143347/5256938945609975585695566320485960318772273764685485956\ 4089651409178736403102765116996777842400170688395374*c_1001_2^19 - 2628263193332280677265913860578596609197646115273346497669930108733\ 63193958569290185820878378778961552710846399/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^18 - 6525972449649130394590206325760143\ 9875406450748255885090556211640410079922646772702485000005461332820\ 0062674043/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^17 + 5196395991517252120627205341071650644834936825360468313478609589706\ 99056471145145911934295129013925994065935935/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^16 + 1337253605801479272058880912386803\ 7035808920021296146459345722718017686468315589393683780512416140436\ 50701659901/5256938945609975585695566320485960318772273764685485956\ 4089651409178736403102765116996777842400170688395374*c_1001_2^15 - 2896185236675041691654339751826957133916626078436752505965654191805\ 12103694829653055924182619929595023440464735/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^14 - 1254069148509356048925222140724819\ 9557323907061583847004829572659837268650812747947125067492502229467\ 80209263983/5256938945609975585695566320485960318772273764685485956\ 4089651409178736403102765116996777842400170688395374*c_1001_2^13 - 6324548591916384628913338601578302783830700608910464821122765427907\ 1715802018538338526199453139511097775086874/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^12 + 40689523261658440111573442412012238\ 8073731693608056175965608201144209797644734166428410140144681394640\ 952377726/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^11 + 1758364069818118761553430828234680501414179314474051665953736315068\ 74785002796440959032529839171254018514270555/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^10 - 1268809941381631932825222163683286\ 7315812597210931104200021418494184477253589765070217933067829833527\ 9782559670/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^9 - 2054418921499424520669352591298210473610899849279416206425940082792\ 29392096925972136872991601713090545953147035/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^8 + 12845890327915485771169127235884223\ 6471106254878063376661747179596616784873441444285501905994310072963\ 60595960/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^7 + 2623682659332365793237980076460425623947240748193490730758568042331\ 2766306639235814323986765483357275671281496/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^6 - 112914753186569663126063751717059897\ 6421046576873753318213497908465778250964046574817495115661778597623\ 147545/262846947280498779284778316024298015938613688234274297820448\ 25704589368201551382558498388921200085344197687*c_1001_2^5 - 9128353707475193502594343081302591804685906554823288390031328086274\ 346386066279948968940586042813537498645145/525693894560997558569556\ 6320485960318772273764685485956408965140917873640310276511699677784\ 2400170688395374*c_1001_2^4 + 1549783599355142784740205602808644276\ 2946985117648549240431659300340824921776897591081438751960231078183\ 66991/5256938945609975585695566320485960318772273764685485956408965\ 1409178736403102765116996777842400170688395374*c_1001_2^3 + 8305977217422108314802378948121623533537198565478620572212223334839\ 30241511720509668699003120781706544516956/2628469472804987792847783\ 1602429801593861368823427429782044825704589368201551382558498388921\ 200085344197687*c_1001_2^2 + 22412740494770801055663978232554385253\ 7369512346195289078737500999098812826499003945854970353854997986778\ 881/525693894560997558569556632048596031877227376468548595640896514\ 09178736403102765116996777842400170688395374*c_1001_2 - 7935100339952837822882725249170231456349982278748889229809446400367\ 4055201319632354560361250644248602869489/26284694728049877928477831\ 6024298015938613688234274297820448257045893682015513825584983889212\ 00085344197687, c_0101_0 + 558059396772044532634663948092445064765051332685702564784257\ 6372432367051756498074084227975950447371788233329/26284694728049877\ 9284778316024298015938613688234274297820448257045893682015513825584\ 98388921200085344197687*c_1001_2^29 + 2960834127880465140933142214767458899929724127720048282252983175879\ 7501107241823011968985203911144582422652655/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^28 + 29882650672337760650086514470766891\ 8377397224600077087324830971899919184290787573757662295428908613052\ 94886052/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^27 - 8908378258609944827736510088642460668613624416902670087286180247410\ 6927437291399321065920698374945283682276687/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^26 - 16644289863944364130912493218714440\ 3161616455483991621348633598945894390951621002857875045183851217608\ 206672034/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^25 + 1152982776883349654838227396662296400553946788335376116418287684080\ 21309369423619901078602910216723661819389012/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^24 + 3441526501013230330842113557314493\ 2368506005074764633757183820697014303524706282175829820251568012615\ 4463472970/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^23 - 1008953925503732173681431213051881779665360490489260207917428833168\ 06597897466642942110295045097920085471709866/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^22 - 4386400504692384965559159052268732\ 9268490799109103917570388504630346872993190644945420324936945074325\ 0301050300/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^21 + 1225360182058981364034269291017410111456133647759597114096981847748\ 78618586591288578597045116853343109859452018/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^20 + 4511246593130498767575945204963021\ 1785553535152288805574232214896764876735745285559203250689821550950\ 3213107033/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^19 - 1721302638953676009797307267611845399995562486366293016406643888060\ 58266627651046995840292842601111531760952316/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^18 - 4558668248151768530089155022748978\ 4881917332353011337121147881440209580325085352193839401896318277173\ 6057206929/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^17 + 1689179347884109715335991335777343299572973626495792147574980304731\ 98880016846660410543696044703522774142427312/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^16 + 4652982750192953592302377080046274\ 8682794486975750460962360073495579919801001674722421544687293650728\ 4688596570/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^15 - 8748677997179044247932271640215337255267140791977077410269338696755\ 2340575148414911233012625175192980538575890/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^14 - 43318374121251217873158474574296918\ 2708686334038480974308992418610194557972175905949931414445025550856\ 041142029/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^13 - 5603409723930294977676003217592645108512024268653262929780252532274\ 7897357846778575865987087056779024429298563/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^12 + 27545003931734814757450895658571772\ 3570925822425308158621347398944213467684377731231885625449944393387\ 161381169/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^11 + 1272764970010007453530533278232499767636605617083676638728171414220\ 05288264525572716809022527107049653247581420/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^10 - 8092119878195384375811046031857676\ 2485782627897429948850060903772386080445611130273878217037447565078\ 170175718/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^9 - 7031288422920919363798550223740886291680917481708882977213626342092\ 9343429581156578129072588436990417251925637/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^8 + 648319746358157456283567202172142708\ 8941165856505269012517843409929931397393916956218313555778187458034\ 083349/262846947280498779284778316024298015938613688234274297820448\ 25704589368201551382558498388921200085344197687*c_1001_2^7 + 1746809727499988371626098141711194721810524773120985310511839630713\ 5841697700781087755684828502463491327435291/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^6 - 209354367001668266936394837576914241\ 1468685177281731592872672417121503837488598044502657353287772847630\ 21607/2628469472804987792847783160242980159386136882342742978204482\ 5704589368201551382558498388921200085344197687*c_1001_2^5 - 3023530663600899022145702314834965783958497161872002486595797489566\ 377107713040274536422179685330289920968370/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^4 + 3555953454543310944109927766283804549\ 9581213491342930795740385929770274030312634988512637471825160741864\ 5433/26284694728049877928477831602429801593861368823427429782044825\ 704589368201551382558498388921200085344197687*c_1001_2^3 + 4994836669603277834719710021054505417928012060204511675277417381277\ 59956648736288747738919961759207668915679/2628469472804987792847783\ 1602429801593861368823427429782044825704589368201551382558498388921\ 200085344197687*c_1001_2^2 + 94666463778790062080339096351724880935\ 3217865201731576589791013913353208591757106889896144868209099292489\ 12/2628469472804987792847783160242980159386136882342742978204482570\ 4589368201551382558498388921200085344197687*c_1001_2 - 4906343586247199401700504107663231239190815311330079477697321970660\ 8101629663255070268276206131238118072479/26284694728049877928477831\ 6024298015938613688234274297820448257045893682015513825584983889212\ 00085344197687, c_0101_1 + 383728663005587767187425017998646971286508371572142442790745\ 9771933703341190625811810797766122067166215520871/52569389456099755\ 8569556632048596031877227376468548595640896514091787364031027651169\ 96777842400170688395374*c_1001_2^29 + 1014505259181468305293061344506319455146240418435727859987763759174\ 2435158805498245065717190727158414052617346/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^28 + 10059271751236508045356734421501903\ 1506149882188686924439430259690211510068611353505200853729574224939\ 16622883/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^27 - 3107433082482195659970199807933912822330620834980776713200692430892\ 7535337754018442783217477861932025560143592/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^26 - 11454217991027710790607652758304857\ 7772863932992989823727645760743962558096888659561987075813242624875\ 522524637/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^25 + 8195510313247258312485760996911783987701492621551093218767614320968\ 6274401334695657497225505877892069349709179/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^24 + 12014624260332527994913529469935080\ 2856116206090910816033417462007142394350742476834468175876402956269\ 299337177/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^23 - 3578938608264457621104663114060268772508708023899989375580350338352\ 3475082274751358142199763943612036633303072/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^22 - 30987342572761458270400083981576023\ 8968588284019557788892703567011868445750849978164720304456567975093\ 392440485/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^21 + 8340058214188144085611232158231111232005919416092652580448974157005\ 1352511429821095422576366596766471899435189/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^20 + 16028237494989661271247361233967731\ 1055881705222357421292835111116697824745146367536129572104765801315\ 328256061/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^19 - 1160247177806467930309805564644095613931013223764149868873067423460\ 75711182031205211530688931612738693641202095/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^18 - 1622838563465264640472853168120471\ 8769621965281092659338654977177666738708172358715127374568154305596\ 1763458371/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^17 + 1146921209606780558689966262611239027753601106852055506520691027192\ 75123119969080708820818284169905953322646205/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^16 + 1663180320398082034723564179081270\ 9019941072658352804478417049354654071407941454180219627888952376920\ 8126238422/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^15 - 5889145434980602459322147757892135998602693455466002987681834507300\ 5671841004745845707594861670935509775274819/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^14 - 31193758520879334115596526084877916\ 5513187668176009087873962114630575512776993501162702118430488058893\ 018094941/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^13 - 4146430116598577674253124040037304875135846803542354907334293442049\ 7655331579896062360913410348280623577171837/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^12 + 10138120163481075731456197881534140\ 3442771296979447567731513460113825958111669333513050064814047736735\ 237580437/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^11 + 4693140319867456647449936352497903477281323374317120378124880567146\ 1800568827910866377701733979776876440138333/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^10 - 31712348748735652231957193934273777\ 7849304982306834701186701934521927538409772803159526629907157776181\ 28170340/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^9 - 5533166546561052171866216578526563237077071805410032759639083255177\ 4730656787875405983736780595123944397961445/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^8 + 576174390359607390512773740738508218\ 3983189739886113721365491818864712479210141662307272240832228688220\ 740519/525693894560997558569556632048596031877227376468548595640896\ 51409178736403102765116996777842400170688395374*c_1001_2^7 + 1501450658040925879288174105367355200948393120241890473700560527435\ 9130987093329643285295312463150565397517325/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^6 + 230189069737303202205079259912991196\ 2807657474167434672238192126330347730375047817175982163925280990473\ 9841/26284694728049877928477831602429801593861368823427429782044825\ 704589368201551382558498388921200085344197687*c_1001_2^5 - 1256395825324909121340738197138843380579316401183480649912802877124\ 689139154005643344533003517226685163171737/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^4 + 2297948449303587802939681321873438829\ 3549284379483733128812174310520847527368487627555330328293197356389\ 3614/26284694728049877928477831602429801593861368823427429782044825\ 704589368201551382558498388921200085344197687*c_1001_2^3 + 4281697660949946085371186763557953346536383966372406328342192901644\ 20292945800136074838854786846834637549071/5256938945609975585695566\ 3204859603187722737646854859564089651409178736403102765116996777842\ 400170688395374*c_1001_2^2 + 84511162358865883880304571430032737322\ 5635281527386962124052211052113558431480869775895765466940266764746\ /262846947280498779284778316024298015938613688234274297820448257045\ 89368201551382558498388921200085344197687*c_1001_2 - 5491352393813853743079489807564156617115584434778003899688480078110\ 1381503154920044492722960901848493455077/52569389456099755856955663\ 2048596031877227376468548595640896514091787364031027651169967778424\ 00170688395374, c_0101_10 + 53636502177958536049347713396314103522537545710133075592478\ 14524367833448894937636477001225982824186915136697/5256938945609975\ 5856955663204859603187722737646854859564089651409178736403102765116\ 996777842400170688395374*c_1001_2^29 + 1369810364664058023836479595683679641137748672777630690418941842542\ 2321385174171229368052124241428873169711623/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^28 + 22872008166464345780826860851837454\ 7196409751418871875246208933918947764038061438659491046585057213622\ 88038377/5256938945609975585695566320485960318772273764685485956408\ 9651409178736403102765116996777842400170688395374*c_1001_2^27 - 4631791171584329623370359589044129875586576934621713496554292001714\ 8436480724116904723587640152903358845115508/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^26 - 14544633845765623231529869050032636\ 5144322643550142688274783211608884408234331108205542976200387214585\ 841019737/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^25 + 7167143096058088133085365943138653483116042998579067037169826501169\ 0769014406317645879438444270460996337843933/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^24 + 15824231612213813883910438783004839\ 8863688693134704266822474421671502943144685430646435254730754443067\ 124069783/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^23 - 7857462360134120608531136590176834691706406680171124114881101202817\ 9733593504144906002530380708444505349426603/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^22 - 41149709789694984675556161808412957\ 8390574877504825065226339514352382780439749632131543303509974803481\ 822935233/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^21 + 1885987127077529733708629833694329213650385976797270644544084283581\ 42590099121151372661459377303442398647314141/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^20 + 4163107417371577856273930269171517\ 5472820901940948821126374055802574542940873467571384426658222300814\ 7887761563/52569389456099755856955663204859603187722737646854859564\ 089651409178736403102765116996777842400170688395374*c_1001_2^19 - 1181968424160306474343087854661626259472182084880857788290342237983\ 00686366009706700490462905374723711518914059/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^18 - 2056552611212290418124606521617632\ 2538584085780626603353607785683056398871003750881890568112580329842\ 9518439364/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^17 + 2337257204346217837716154168055416527294269604636073665048122346420\ 15265250603890524997447363912671948852364501/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^16 + 2119223382902557897239473088930906\ 4903107309519775045196376836230475153635984199416431857119424828954\ 1927980228/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^15 - 7767416478370074474669954216875362643678402807259810459743027791319\ 3229234272514663929691796259850315653183894/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^14 - 40857285662515152210704695749700094\ 1771773439417873466065550714597077475387217044254558552263414519530\ 586955703/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^13 + 4650262531893350075583299565597449221354490756186748466147914488587\ 504837393470743999868784021675708981599628/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^12 + 139861129313085539439819219579919969\ 3843937049488284615906830502601967903418773330693046007972461127856\ 94548955/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^11 + 4490689107880747054898068727865888195352618392472446848093008388519\ 8145961366680701486849883382383492805052547/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^10 - 48513643907121636989567954482746674\ 4109337062428199606942922038383403059597360050697230398711013677938\ 81541126/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^9 - 6371086090814071261998251731205559287329366429539520885817677250707\ 0969574231558733970949164966621751525176829/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^8 + 119219131995369620385681008611284581\ 2380024105415963705702720162079100333641145968218124975027700526651\ 0961337/52569389456099755856955663204859603187722737646854859564089\ 651409178736403102765116996777842400170688395374*c_1001_2^7 + 8455346645308761870591201056407997734607783433038244761897163148099\ 163397909427060855326869940592582430707914/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^6 - 1172455490326051481348425357105239910\ 1828009971599984483485727063638614594938240338714781823050937630813\ 29863/5256938945609975585695566320485960318772273764685485956408965\ 1409178736403102765116996777842400170688395374*c_1001_2^5 - 2801108054067253835859083361196807509491031408653846245447433190872\ 302788033820927432606681448666870550201587/525693894560997558569556\ 6320485960318772273764685485956408965140917873640310276511699677784\ 2400170688395374*c_1001_2^4 + 4922333113710139218350133567687167056\ 5994764937817937246343370422972440249806693058964043611975076025015\ 2667/52569389456099755856955663204859603187722737646854859564089651\ 409178736403102765116996777842400170688395374*c_1001_2^3 + 4598660268490903129243268030672298065099599362438160287018069210856\ 12399756096863080092351865666152110511043/5256938945609975585695566\ 3204859603187722737646854859564089651409178736403102765116996777842\ 400170688395374*c_1001_2^2 + 69682435289235193016834580516992341322\ 4921130252968108301063185065383489226678150441903360447263923159265\ 13/5256938945609975585695566320485960318772273764685485956408965140\ 9178736403102765116996777842400170688395374*c_1001_2 - 3295953488728274529219196950163132224761754607926263074520928294794\ 9038999271937333930727338100057370083981/26284694728049877928477831\ 6024298015938613688234274297820448257045893682015513825584983889212\ 00085344197687, c_0101_12 + 16193976465494658628752566808131757626226189186175827671954\ 261874632981428646773532013769072527007590965817309/525693894560997\ 5585695566320485960318772273764685485956408965140917873640310276511\ 6996777842400170688395374*c_1001_2^29 + 4294120630061367746591761370702835542272503311591692603892046711948\ 2346163688381866691128354167059576289256765/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^28 + 43218003162564847390202975489560320\ 7557938431603104670295787280117253979343756355267023492518345650429\ 15185688/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^27 - 1297930467717006211629539130800495343147309010772762006680667170738\ 85539233756779609105913174069145273658688847/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^26 - 4852591095336842496379536015475354\ 7646162284329289781322368951448257335272453527462948409589860221595\ 4196688031/52569389456099755856955663204859603187722737646854859564\ 089651409178736403102765116996777842400170688395374*c_1001_2^25 + 3341515871762197940652626253571415219553564749782762049451548849168\ 33708011039002844206361484871721423954893469/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^24 + 5033958057178008067222169322170590\ 4447006850980696684338310070587149557575253120618719709808956833432\ 5049226392/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^23 - 1412031594457930150976365804548646055294417399437790965594256827926\ 74154005754445153998856323422122053133745912/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^22 - 1283818457483304135419355600217970\ 1190229428129529978887143160047093220635263286109238458271059603855\ 78701032469/5256938945609975585695566320485960318772273764685485956\ 4089651409178736403102765116996777842400170688395374*c_1001_2^21 + 3316775720135918398440650115008410952757853447192193847760877711728\ 64937047813939238730002596360594121008206605/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^20 + 6594633854516975926253160032913262\ 9617826692034473927302264771539453624783104338667048293598460911977\ 4907455581/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^19 - 4690201810910257219985062421405504683239295916113085590986898677348\ 06711711897395182282321560559674953533905909/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^18 - 6676443743609965975205971489170517\ 6255787336567180310968570507183569722995566788361886557477018671536\ 2206198636/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^17 + 4593675435184136563824936467756335527235320642437633244696037074370\ 47738135526387180315383212365951486154668793/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^16 + 6840120471432749722923416129668358\ 9515147083359281838241785021452087863529757613252418168360179372310\ 2491628934/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^15 - 2229291547063683909506693217627295521437360492407480773290768109920\ 94250359094739157355317791767284393679082733/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^14 - 1274999088592557452878371017083922\ 1107818200126983474084035348651279402336123299853612341520056152990\ 42592323471/5256938945609975585695566320485960318772273764685485956\ 4089651409178736403102765116996777842400170688395374*c_1001_2^13 - 1945897129942670972971337036241525310822421445596643305037128540980\ 51170088604472877347034753830266204135191155/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^12 + 4053135299090018473726070116508816\ 9099204525670197432038293413981939308490753791471062448868777164382\ 4581368621/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^11 + 2004150505937666325937207833143493056940669125824841638106540608560\ 37055121238763556593199668877197831779582106/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^10 - 1167285478580956494112132359700542\ 3475488903681908572551849159986358873248337360022000254423306707101\ 9575065207/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^9 - 2241760097378049924138063161162863429494091952684975077231902459754\ 93780765539296179617429487525430098949634439/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^8 + 10967648906695584501156856138966055\ 3953270227946538726310844408427643519693863951029050041484434878881\ 34963605/5256938945609975585695566320485960318772273764685485956408\ 9651409178736403102765116996777842400170688395374*c_1001_2^7 + 5561262020998501075429843069052351342765517050588113688877054600753\ 0504708941592941005584842323442224936416933/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^6 + 139792495858370152430922576322624361\ 1848501547940148326546241253931139231214800489829835146202016070508\ 213110/262846947280498779284778316024298015938613688234274297820448\ 25704589368201551382558498388921200085344197687*c_1001_2^5 - 4617789894073970501249947757217853216066242789605832896592934493333\ 808121907079982411286983247447486944153194/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^4 + 2603604668128893833827230790447362018\ 9557433665064659592410760932165966790382315650630602743558040791533\ 6780/26284694728049877928477831602429801593861368823427429782044825\ 704589368201551382558498388921200085344197687*c_1001_2^3 + 1663229203700318071863254621886341244687121297494621555193840118476\ 912638984683289498214880443773103456882793/525693894560997558569556\ 6320485960318772273764685485956408965140917873640310276511699677784\ 2400170688395374*c_1001_2^2 + 2122623354251386026260852664862510279\ 5314806595726548013140228299264476751254329501815670278040212704232\ 3024/26284694728049877928477831602429801593861368823427429782044825\ 704589368201551382558498388921200085344197687*c_1001_2 - 1615672700327572672328012231296790594738744045757339077625481567757\ 33513667365860320005701992388276892817929/5256938945609975585695566\ 3204859603187722737646854859564089651409178736403102765116996777842\ 400170688395374, c_0101_5 - 321802732363445077257333576326397427663784596363487804417424\ 3895830509910493859824732714522909626624602709032/26284694728049877\ 9284778316024298015938613688234274297820448257045893682015513825584\ 98388921200085344197687*c_1001_2^29 - 1710516582140556271985829245124963785812027914148372473982578663345\ 0930408851079301281134585248770659768928615/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^28 - 17120771891583954060943052158504210\ 9553389385451765635285300813215177119795883723722151564040302700979\ 67740881/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^27 + 5282422023633619481075811622142216703076001069313157572298088528302\ 3756571303363008191756036351562306317794098/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^26 + 98814396309196639505581467161810194\ 3359160643279245514124027890855024342069183346900631405459592836459\ 97116835/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^25 - 6883912147415356340946613407256009118207474330752234726855600228374\ 7189773812488708852467412244319533278649505/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^24 - 20931093689265802850112614823990016\ 5887376501390337106183156991314866758758876070278316717659623881477\ 597072834/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^23 + 5667003479794863345888265542138898980710512068429848334974458205263\ 7192542892266050712305476139559828001179728/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^22 + 27162475725263766635135003693254688\ 8325270565508815167409587603389212212280152920840080815281994049914\ 548658824/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^21 - 6333106573824422309532807543922764814243657938346917144217377706821\ 1766478698132109651072008928862482357589046/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^20 - 28171389090564883705476591110204726\ 8190254652170088445814521659129246830758316891166439238851336635019\ 023261524/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^19 + 9098042679173862438949152146719448418120822226284524455807125811851\ 5105777759604138794078615287936793305425725/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^18 + 28587345006484279311149500816038516\ 2663479475559077051101909960730835855271252805548835545576493473780\ 002986411/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^17 - 9107674524890280424091521120344375265817492007567214123913694947193\ 5133419492661627082274349360852522635704238/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^16 - 29346521232299752546558818357433583\ 1140222380172217356652246120640825516987443452475844355108411367305\ 691840042/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^15 + 4348379980110681805587164932424615245986415212184943482159569287746\ 7537584439666069027026430594766133245288849/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^14 + 27486967320522329524403911043126947\ 8099486322960352393752812647272622824215415667334904921509291633499\ 212209463/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^13 + 4280448166436544210521686464187472697387793208771601069759702243920\ 9446932363982307967717705070782049680191137/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^12 - 17904991496005363600831464896987303\ 7864371052955106213573315339048750014084977192598154717491775445932\ 274834956/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^11 - 8820624593986056983458030146752558763673804807104560079024724175480\ 1726489909495846564286489900500642829775723/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^10 + 55220419987047657225456611347359069\ 9208832790301192631095951581326104848797764740920201579880875289376\ 22203468/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^9 + 5245275244721692330492308991439858897213914539278106803561228988415\ 1570898007407689043022398633848890456681454/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^8 - 304275942836274434092468858616043903\ 0900042172791293145272976355023360474014226861648459832577015862648\ 700392/262846947280498779284778316024298015938613688234274297820448\ 25704589368201551382558498388921200085344197687*c_1001_2^7 - 1368370745064737849585092786186828993972242192108435587601081550828\ 7310376657302889006351193277644303943040681/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^6 - 719375243947753805889435031225210205\ 3392932820282267827146873110805122445044447860540865531124192922114\ 17312/2628469472804987792847783160242980159386136882342742978204482\ 5704589368201551382558498388921200085344197687*c_1001_2^5 + 2222532311930135330214010651658563571037623322018845476661196405580\ 183810432252879921693352393827136135883054/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^4 - 2584258743742173080263427144168008690\ 4345058994936384471639274861879585914167069120457740472259418573711\ 0379/26284694728049877928477831602429801593861368823427429782044825\ 704589368201551382558498388921200085344197687*c_1001_2^3 - 5116224225847663200751304434644674381035317037166313112920494163439\ 29281016174541179016685269566458373551735/2628469472804987792847783\ 1602429801593861368823427429782044825704589368201551382558498388921\ 200085344197687*c_1001_2^2 - 10032344805122216114784523403620919460\ 3501752329714303502946373615439360797892004407537911856809641284275\ 877/262846947280498779284778316024298015938613688234274297820448257\ 04589368201551382558498388921200085344197687*c_1001_2 + 4814373018946319362310873596689513489717135855206100309259173031615\ 9463297136910567122132403952642687143059/26284694728049877928477831\ 6024298015938613688234274297820448257045893682015513825584983889212\ 00085344197687, c_0101_7 + 126061756918913127645755189151958471374224356602632670099341\ 9201491499516965956599212489166336486998024165957/52569389456099755\ 8569556632048596031877227376468548595640896514091787364031027651169\ 96777842400170688395374*c_1001_2^29 + 3534158020095286305319821318033751285945351464169129146295199727246\ 560636584448425362574251495916878226321614/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^28 + 934968416216829490983126324423126155\ 7682125530845253793978644456137289088477036421052515345437973506858\ 333759/525693894560997558569556632048596031877227376468548595640896\ 51409178736403102765116996777842400170688395374*c_1001_2^27 - 7320350353809384524691739536131802284084796930892061296970743882686\ 268706962311460030683864764496523874112104/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^26 - 385747161416681181453243871561904933\ 9301509062845228424746522047988567164889967514570827401390473498186\ 1413339/52569389456099755856955663204859603187722737646854859564089\ 651409178736403102765116996777842400170688395374*c_1001_2^25 + 3922593158952434275866568884801279117019150901485293536887352697282\ 823492434967094150065513677492333993257248/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^24 + 317352527291967036976268565980709952\ 0684826201187477068352451676807044396469137342230277445240646732606\ 8067049/26284694728049877928477831602429801593861368823427429782044\ 825704589368201551382558498388921200085344197687*c_1001_2^23 + 6899411559870439244870997218419678221306704854439798808250879321954\ 43722946563425891015617212905218887563262/2628469472804987792847783\ 1602429801593861368823427429782044825704589368201551382558498388921\ 200085344197687*c_1001_2^22 - 6633892112300124293125986930241385884\ 7977628518563453761264848265415534770430713485927255043015425344303\ 064831/525693894560997558569556632048596031877227376468548595640896\ 51409178736403102765116996777842400170688395374*c_1001_2^21 + 7696934616491983146926717224717879987597057596153485514793856000958\ 601311583814464191970545529500988678273955/525693894560997558569556\ 6320485960318772273764685485956408965140917873640310276511699677784\ 2400170688395374*c_1001_2^20 + 638611324113634489938398941000324930\ 5083179160025526879129433292515196918642013454950019400037820660899\ 3190617/52569389456099755856955663204859603187722737646854859564089\ 651409178736403102765116996777842400170688395374*c_1001_2^19 - 9159520088763046294535320073780598538158220183274810020611679202184\ 995683179885258278557536387908128593176684/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^18 - 329170079263078303692815110024783759\ 2658074761987872765991418907493632822855495018677984841058970751379\ 9339080/26284694728049877928477831602429801593861368823427429782044\ 825704589368201551382558498388921200085344197687*c_1001_2^17 + 1133883371797990129055190294067722060408146894680421112861303629762\ 3560199340744476883342087022590906034971045/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^16 + 32306752171730367074598599642242919\ 4859724162751420700410660740665663938445477690953859695891101991843\ 20714182/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^15 + 3440975271062488576466914971662162483626539693881378056037278063325\ 841811237026575031001908662186548109377441/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^14 - 525751812779499950739948220314526944\ 1323648673232569182171132781615732369888862044038737949980010521995\ 0065573/52569389456099755856955663204859603187722737646854859564089\ 651409178736403102765116996777842400170688395374*c_1001_2^13 - 1406070408725178667969880192629057106939943611889013642736658854435\ 3713088281669035099831938994727518139350127/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^12 + 80172796745785520340004746906968609\ 7411690634765289817548482251077055673382244879279759465213775038562\ 8353162/26284694728049877928477831602429801593861368823427429782044\ 825704589368201551382558498388921200085344197687*c_1001_2^11 + 1068875185576386383793096719825881797245817659328824334939620537286\ 5174239149214943451459760538608302039393650/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^10 + 46208428595625056662541350710641909\ 0030577005350329918843887924707666207290783277622908326158497506048\ 3437798/26284694728049877928477831602429801593861368823427429782044\ 825704589368201551382558498388921200085344197687*c_1001_2^9 + 1138666218795680077394632120442806029392520993793508212063453774247\ 528024981550697748247106695878108372980071/525693894560997558569556\ 6320485960318772273764685485956408965140917873640310276511699677784\ 2400170688395374*c_1001_2^8 - 2026146504580455998582994077826613851\ 4855892359660301957477769080288035946965291230335260250266467253180\ 80751/5256938945609975585695566320485960318772273764685485956408965\ 1409178736403102765116996777842400170688395374*c_1001_2^7 - 1012167046219091024992238305092165566534914823553536469446577548298\ 199641096667693540438596023454595929590075/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^6 - 9843105551006510012864889717729423682\ 1318606372084526679453604669042419375547185378802838935414347268964\ 6119/52569389456099755856955663204859603187722737646854859564089651\ 409178736403102765116996777842400170688395374*c_1001_2^5 - 1265856544377883541090282648720110383262227561800681069939799051880\ 74378219943262686320737609058635905905179/5256938945609975585695566\ 3204859603187722737646854859564089651409178736403102765116996777842\ 400170688395374*c_1001_2^4 - 40138008824820482373492592928653852749\ 0384137084301559334069992268528736922386579963047653210395427930148\ 73/5256938945609975585695566320485960318772273764685485956408965140\ 9178736403102765116996777842400170688395374*c_1001_2^3 - 1239237263945207778079610075343721976988410403237304886919553435269\ 48543164624766408536335013799654824336553/5256938945609975585695566\ 3204859603187722737646854859564089651409178736403102765116996777842\ 400170688395374*c_1001_2^2 - 17503390525666990420013989408265142916\ 8637188475423056203920780800799070831142611731615712023087775024545\ 75/5256938945609975585695566320485960318772273764685485956408965140\ 9178736403102765116996777842400170688395374*c_1001_2 + 4670665825275266450818853956046347939475080482625875284348437757108\ 65446024960563824269296010250697503375/2628469472804987792847783160\ 2429801593861368823427429782044825704589368201551382558498388921200\ 085344197687, c_0101_8 + 345131394218283553314847023652143579895798757563096798188794\ 6588437857593099115045298577909984872895764426944/26284694728049877\ 9284778316024298015938613688234274297820448257045893682015513825584\ 98388921200085344197687*c_1001_2^29 + 3640522055939839692411348271476900322616378280587344537537187861316\ 4030786444941050830950066185161026227772193/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^28 + 17824083419113480455115507547556469\ 8200433741802660934295898679853710947695274555770081294587214663089\ 35433924/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^27 - 1122121479832927478368649119834364078177512018256541915427510655938\ 77191459788939858654797356251985357891948695/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^26 - 1016752686765625220902562108390998\ 7802319221031811898024586164792340350598162119286364277055441040805\ 9027493632/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^25 + 1515466861940589083044975013083856395112551890808974727743311986925\ 31262264923854796476801936187265361052953415/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^24 + 2132696393782178329986178759690435\ 4008183843657214202798989491031105318840674203748941027263852809016\ 5983056928/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^23 - 7026960156675391023954276911110833973070680499069444442204178926671\ 9655401431553997259824442140130696558312153/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^22 - 27505590011254312172687195049951083\ 5029652986425871158398663784125095727744082638900416469518072711082\ 649269225/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^21 + 1686553349311929230970739687385038544105900011055494385222089649743\ 12414804868534417286507514487674482601170571/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^20 + 5688992622468699986205299960035707\ 3738566323528573291917884872713329316142840991986927634804742805713\ 0874328927/52569389456099755856955663204859603187722737646854859564\ 089651409178736403102765116996777842400170688395374*c_1001_2^19 - 2293225509177390060122796754828378683594999721755694960481924307949\ 91965510083358128687501941930564126124221287/5256938945609975585695\ 5663204859603187722737646854859564089651409178736403102765116996777\ 842400170688395374*c_1001_2^18 - 2874207523136512178929234901296475\ 2471474362851056797102936553302443019718487312130798568650051606036\ 8550525872/26284694728049877928477831602429801593861368823427429782\ 044825704589368201551382558498388921200085344197687*c_1001_2^17 + 1133898817066219417500527359531641776347867212669675580884801316816\ 71335952721329482241040535056474398247032736/2628469472804987792847\ 7831602429801593861368823427429782044825704589368201551382558498388\ 921200085344197687*c_1001_2^16 + 5879360521435326964129277664217746\ 7155301656252964036265999826527167734462753078850089175004429286051\ 0177446737/52569389456099755856955663204859603187722737646854859564\ 089651409178736403102765116996777842400170688395374*c_1001_2^15 - 6360010815880702812180159981956604806395831105836742409986308387592\ 1923166118889310572432973515081254129127047/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^14 - 27584275059576890200951007492936193\ 5157024309411272063003836880731023686686213117291162750212762803730\ 282459925/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^13 - 5359172583695317737399261670400117757868305352365850774410769636659\ 8884927207927062911195692353405937613707343/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^12 + 18022193658513915722560292783463905\ 1784448260079747468992330379951287129481313107663778010266081172228\ 553606535/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^11 + 7612365364793657077710457656892209357518058886528760770111806080213\ 3467910817619876266020337864706464181936437/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^10 - 58365231100581803007921521529555351\ 8144133525656303247636325454494374854528327693446671725127132719728\ 66788841/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^9 - 4551903821843988736780541546859934149999528826303141294655887732493\ 0918438622388437800070497786780005502261810/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^8 + 148630004805842636891034619609399029\ 4195705186314702052256288717967490117148200345527539145033434542584\ 1477401/52569389456099755856955663204859603187722737646854859564089\ 651409178736403102765116996777842400170688395374*c_1001_2^7 + 2562579303412323044969928609282415035752297673585229242788543802055\ 4190076217073859437414348307521973773146551/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^6 - 717953783008643916139971005736848353\ 9405428817484045294952211670796143527202122492898917149975528136007\ 74715/2628469472804987792847783160242980159386136882342742978204482\ 5704589368201551382558498388921200085344197687*c_1001_2^5 - 5124746993805367630450903433722207388612882309348253939367277149837\ 629327942019110167333230479903468828417429/525693894560997558569556\ 6320485960318772273764685485956408965140917873640310276511699677784\ 2400170688395374*c_1001_2^4 + 5555556168262360920953097849777287870\ 8216690386046634469025403041190760415125241510833421696522259566062\ 8373/52569389456099755856955663204859603187722737646854859564089651\ 409178736403102765116996777842400170688395374*c_1001_2^3 + 9071620430736027293084289327513607022473285255251553328749780544162\ 53507679146089965890229581033763337469071/5256938945609975585695566\ 3204859603187722737646854859564089651409178736403102765116996777842\ 400170688395374*c_1001_2^2 + 87187853273000540856526888800758364838\ 2724290098764891289327006883588929347141062517821284260891085434575\ 51/5256938945609975585695566320485960318772273764685485956408965140\ 9178736403102765116996777842400170688395374*c_1001_2 - 9846581599809594246918538585258138275574343131989692307054784146953\ 8852080456263045808563475968319700046771/52569389456099755856955663\ 2048596031877227376468548595640896514091787364031027651169967778424\ 00170688395374, c_1001_0 + 351401077114829261768846457785326682070352241258007093946184\ 8837472482998202028670239381581631590077499141929/52569389456099755\ 8569556632048596031877227376468548595640896514091787364031027651169\ 96777842400170688395374*c_1001_2^29 + 9335811733000576641222738193655410324391329233489561271015023482041\ 853026461886808692309764042533077364087108/262846947280498779284778\ 3160242980159386136882342742978204482570458936820155138255849838892\ 1200085344197687*c_1001_2^28 + 979050652749158616986379044734676698\ 9779086830496704843804756271047847208963894098661445471075233797526\ 512431/262846947280498779284778316024298015938613688234274297820448\ 25704589368201551382558498388921200085344197687*c_1001_2^27 - 2633431775539298071564031559991597849504291805874472409794305064961\ 7447320933117496475727895476392476770134858/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^26 - 10202094212292864028461190794080370\ 0453171836923091290381313168705554693083337286274906184362709745311\ 742435965/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^25 + 6156824482781155039177279776913158646974181245191965930934946103062\ 9319035799268886930761293305389458454272071/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^24 + 99378435196443726828072038700150325\ 8087554633620362280730633541954475009413429774017270482124328882504\ 25952860/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^23 - 2399422220882970922238104245967970564550670729833964851792490042881\ 9614299971195413300150795027757574164628281/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^22 - 23822697919144759872123812220988933\ 5087718168446436313530761951120318175547148783157370980669942147523\ 492717709/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^21 + 6171669004476947229066717605649685034299207833768869502568827255551\ 3284685418018789725019234275899491046572279/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^20 + 11807900807220168689086098735824928\ 7774005860380273621354969165957955923414874723553593442814047547486\ 101081341/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^19 - 8926917461047269622374790761838665384949776152736918255516740844721\ 8768295010802295483491254721140552835983623/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^18 - 11957532581371355478433825463976334\ 4122450444178770688677802749452782696745262928155029513986899018657\ 832869125/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^17 + 8098598089550849273883994801835960055068323335253940309109103833280\ 0312854322649367401741491279828925798794349/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^16 + 12262657144397980149320956988551557\ 5763063047322228320565024597429639750843977829361928337439325811193\ 091372676/262846947280498779284778316024298015938613688234274297820\ 44825704589368201551382558498388921200085344197687*c_1001_2^15 - 3033834983798530407839520433235732151531167104291121921274128739587\ 2213098815004609523101728425844677252477431/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^14 - 22351861566336103109347774358461798\ 1246835928125144914308133557225582852777087245299981882780647778694\ 916883535/525693894560997558569556632048596031877227376468548595640\ 89651409178736403102765116996777842400170688395374*c_1001_2^13 - 5029942582257419799377728197993227793736426014793567051069283834630\ 0163387671509252335075227178872649439293531/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^12 + 63350646882702830963608817771308596\ 7505952577496838645309585653500369827145681153051428588589147124695\ 54684784/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^11 + 3905376788062206182758972517436324018094341734914730629729358186576\ 5780660753950780378654493470114033234610368/26284694728049877928477\ 8316024298015938613688234274297820448257045893682015513825584983889\ 21200085344197687*c_1001_2^10 - 10455632491457923443338117698332474\ 8968178143822154107718897543547323110991166812097205034580286917971\ 90173836/2628469472804987792847783160242980159386136882342742978204\ 4825704589368201551382558498388921200085344197687*c_1001_2^9 - 3251614970639948529358260400013043884745672873895627276016542702081\ 8103689622910901205583775764941558826739135/52569389456099755856955\ 6632048596031877227376468548595640896514091787364031027651169967778\ 42400170688395374*c_1001_2^8 - 435938947418931153692689850491955509\ 6234233975906745765569045511209822337157929334094557649858481340445\ 544257/525693894560997558569556632048596031877227376468548595640896\ 51409178736403102765116996777842400170688395374*c_1001_2^7 + 4764645739844651312913627515676100256471282010104964546134084375886\ 869532940185858611878974958931154245794933/525693894560997558569556\ 6320485960318772273764685485956408965140917873640310276511699677784\ 2400170688395374*c_1001_2^6 + 2382644229107842381964814970193475007\ 0540995394758580753923607320033609356619465088885007946077336027346\ 0538/26284694728049877928477831602429801593861368823427429782044825\ 704589368201551382558498388921200085344197687*c_1001_2^5 - 4914037562922227894272532555556001630592160907672865780847595395570\ 39558005673553677453760843403398163525661/2628469472804987792847783\ 1602429801593861368823427429782044825704589368201551382558498388921\ 200085344197687*c_1001_2^4 - 86182671801752001809722194153157507536\ 0183091112055045009468411950023904863697577089110633747274334263979\ 46/2628469472804987792847783160242980159386136882342742978204482570\ 4589368201551382558498388921200085344197687*c_1001_2^3 + 8880252566043113107898462146732797010557686979035970386402840408927\ 9357945610144497829335929665160797856869/52569389456099755856955663\ 2048596031877227376468548595640896514091787364031027651169967778424\ 00170688395374*c_1001_2^2 + 762598880768244378976208199945467833041\ 9328771592402335494039534174239713141497654313634500413949728101974\ 8/26284694728049877928477831602429801593861368823427429782044825704\ 589368201551382558498388921200085344197687*c_1001_2 + 7566967755666124519378484327062776282478985185532180316375820042691\ 25712703552455263447845257262314916439/5256938945609975585695566320\ 4859603187722737646854859564089651409178736403102765116996777842400\ 170688395374, c_1001_2^30 + 51296/10243*c_1001_2^29 + 38537/10243*c_1001_2^28 - 180689/10243*c_1001_2^27 - 258295/10243*c_1001_2^26 + 303908/10243*c_1001_2^25 + 574807/10243*c_1001_2^24 - 371888/10243*c_1001_2^23 - 760901/10243*c_1001_2^22 + 459061/10243*c_1001_2^21 + 774341/10243*c_1001_2^20 - 555985/10243*c_1001_2^19 - 757733/10243*c_1001_2^18 + 554313/10243*c_1001_2^17 + 778536/10243*c_1001_2^16 - 410366/10243*c_1001_2^15 - 763728/10243*c_1001_2^14 + 127476/10243*c_1001_2^13 + 549443/10243*c_1001_2^12 + 92286/10243*c_1001_2^11 - 224270/10243*c_1001_2^10 - 92219/10243*c_1001_2^9 + 50689/10243*c_1001_2^8 + 30680/10243*c_1001_2^7 - 9810/10243*c_1001_2^6 - 5760/10243*c_1001_2^5 + 2492/10243*c_1001_2^4 + 894/10243*c_1001_2^3 - 131/10243*c_1001_2^2 - 159/10243*c_1001_2 + 31/10243 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.250 Total time: 9.460 seconds, Total memory usage: 82.56MB