Magma V2.19-8 Wed Aug 21 2013 00:15:12 on localhost [Seed = 1899437458] Type ? for help. Type -D to quit. Loading file "K13n4539__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4539 geometric_solution 12.59750190 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.916264039897 0.690408927252 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 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.701988756538 0.603488611257 8 0 6 4 0132 0132 2310 1023 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842603994515 0.762760889454 9 10 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682614651039 0.708953012666 10 12 0 2 2031 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649130493027 0.594788585837 10 1 8 11 0213 0132 2031 3120 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.676018097216 0.492073253154 9 2 1 12 2103 3201 0132 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 -1 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788243207452 0.706956452655 9 8 11 1 1023 3201 3120 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.278690976536 0.870371528572 2 12 7 5 0132 1023 2310 1302 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444959112007 0.769467798083 3 7 6 10 0132 1023 2103 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440330653832 0.967871131533 5 3 4 9 0213 0132 1302 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351391459314 0.597357199721 5 12 7 3 3120 0213 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.629604203020 0.641276949235 8 4 11 6 1023 0132 0213 2103 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574816929954 0.957013751344 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_8'], 'c_1001_10' : d['c_0110_4'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : negation(d['c_0110_6']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_1001_2'], 'c_1010_11' : negation(d['c_0110_6']), 'c_1010_10' : negation(d['c_0110_6']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_11'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_6'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_6']), 'c_1100_10' : d['c_0101_1'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0110_6']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : negation(d['c_0101_3']), 'c_0110_12' : d['c_0101_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_8, c_0110_4, c_0110_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 1705308156316303836851566076575156901449031238513402789433720362086\ 7664950607918411003157259644825193537044548466802193975172036336528\ 528863968066620480679053707/748178768936431321241507859790143176052\ 7366822347434046302474025200934596131922938995861047192708837965810\ 9335637203110163942624520679191704680897866110976*c_1001_2^34 + 3322305157064181672323414221814469883766434710858755744296386188409\ 7817335290135332522814171710940279318276181388041233581390925374416\ 01648605956200223307161/1626475584644415915742408390848137339245079\ 7439885726187614073967828118687243310736947524015636323560795241159\ 92113111090520491837406069384884367344915456*c_1001_2^33 + 1173260128236882284438092640879132419278800112085810087798860660403\ 9014442611230232655120857177696086595100490202120348494984374847880\ 969439599712516626039862397/280567038351161745465565447421303691019\ 7762558380287767363427759450350473549471102123447892697265814237179\ 1000863951166311478484195254696889255336699791616*c_1001_2^32 + 5455254609206658271331099709549064875437250870133747534239168698121\ 5730238050681961728722118290919031399774270627555059374109921112039\ 6372313957369116125194424461/74817876893643132124150785979014317605\ 2736682234743404630247402520093459613192293899586104719270883796581\ 09335637203110163942624520679191704680897866110976*c_1001_2^31 - 1460032500217075630804143496008208322861922312308484045497452283635\ 0395207588485537341475817013757877956915213939154781411790033080062\ 25517567698352855922492578617/5611340767023234909311308948426073820\ 3955251167605755347268555189007009470989422042468957853945316284743\ 582001727902332622956968390509393778510673399583232*c_1001_2^30 + 7785164572917076283882598226026891614300734791009790495909834417885\ 6807314911847035972355601202045187338646797740703651197513524376787\ 03124799895749504736436398159/7481787689364313212415078597901431760\ 5273668223474340463024740252009345961319229389958610471927088379658\ 109335637203110163942624520679191704680897866110976*c_1001_2^29 - 3965391530144056790012882707861401661891248278608220448391206883856\ 9574350915040595870181075884113035611585622075407412472418434669414\ 705023681188768390611233147485/112226815340464698186226178968521476\ 4079105023352115106945371103780140189419788440849379157078906325694\ 87164003455804665245913936781018787557021346799166464*c_1001_2^28 + 1532043758901760429209382853442647531413446243444932667938168681432\ 9689069804144632492891807488408099249454660966160392925875695204246\ 423959181694737043540919571441/187044692234107830310376964947535794\ 0131841705586858511575618506300233649032980734748965261798177209491\ 4527333909300777540985656130169797926170224466527744*c_1001_2^27 - 4126095326331113613780199372862855305559962322729995546024024295527\ 2560813489121346936466758693922929077793772280427640891573903157636\ 4631764112188856597660187483181/22445363068092939637245235793704295\ 2815821004670423021389074220756028037883957688169875831415781265138\ 974328006911609330491827873562037575114042693598332928*c_1001_2^26 + 2692023200747845753560108367901801507929567140595672141653763957279\ 8652950018936424315650763952634273177394043312894812051221731696785\ 5658415757769449521118497318521/74817876893643132124150785979014317\ 6052736682234743404630247402520093459613192293899586104719270883796\ 58109335637203110163942624520679191704680897866110976*c_1001_2^25 - 4442983208444285055618656528154550197141434890068430129365847237223\ 5630812784296820031640678943091650047398779456286740387672957621797\ 1727666893824051827085249055615/74817876893643132124150785979014317\ 6052736682234743404630247402520093459613192293899586104719270883796\ 58109335637203110163942624520679191704680897866110976*c_1001_2^24 + 4237629567891863746073716542877408721891005842006699698133868901614\ 1015151682695495986402664096892852992243890102526045761683339374408\ 33703890836741299253461077791/4507101017689345308683782287892428771\ 4020282062333940037966710995186352988746523728890729199956077337143\ 4393588175922350385196533257103564486029505217536*c_1001_2^23 - 9960633519637071585301483952654644598772321007855579435000967234626\ 8777142508946041535388146217131282351912052410033823537399231266796\ 1138544007320791571948155019727/74817876893643132124150785979014317\ 6052736682234743404630247402520093459613192293899586104719270883796\ 58109335637203110163942624520679191704680897866110976*c_1001_2^22 + 1858859747710587052516659523117811964437422269276796234487135015745\ 7807642177153183187702927155099215589363470475984044465532275041016\ 49996320983731307341060349972965/1122268153404646981862261789685214\ 7640791050233521151069453711037801401894197884408493791570789063256\ 9487164003455804665245913936781018787557021346799166464*c_1001_2^21 - 15460558221385556944043944119918568137507680417418456174032017502\ 7685171859761182434085453038852084312913415518663965925658966111302\ 4988542414720446870814146649976927/74817876893643132124150785979014\ 3176052736682234743404630247402520093459613192293899586104719270883\ 79658109335637203110163942624520679191704680897866110976*c_1001_2^2\ 0 + 501364293206521210585409749800559512044703551357947751542116407\ 3143220853102976891233194278200249572762779117180963338565663016278\ 095611798473925313144778811622642649/224453630680929396372452357937\ 0429528158210046704230213890742207560280378839576881698758314157812\ 65138974328006911609330491827873562037575114042693598332928*c_1001_\ 2^19 - 504907771956737013095960604022855539801753150988091387172596\ 5082263004362914938275508594613875143732107937706121133242095569230\ 5768569981415275165437425682933789629/22005257909895038860044348817\ 3571522368451965363159824891249236035321605768585968793995913152726\ 7305284062039283447150298939488956490564461902379349003264*c_1001_2\ ^18 + 2701773936623622612837503718131310012151442313476798614576800\ 2039042352888310843250583831994532373167683909872599537064235734521\ 35033180740419909230380107962951474471/1122268153404646981862261789\ 6852147640791050233521151069453711037801401894197884408493791570789\ 0632569487164003455804665245913936781018787557021346799166464*c_100\ 1_2^17 - 7837365141578342665140392143804144649771901744141038707910\ 8408598593317294421299527547501125325014854634207551333798390783084\ 0111874993947905355712857410343021057347/37408938446821566062075392\ 9895071588026368341117371702315123701260046729806596146949793052359\ 63544189829054667818601555081971312260339595852340448933055488*c_10\ 01_2^16 + 436215336107581146415229357520022436239885069051763779230\ 7293153031205423453044696678530909675309981749882657888957575090713\ 000056774209496147149244358778902119132095/224453630680929396372452\ 3579370429528158210046704230213890742207560280378839576881698758314\ 15781265138974328006911609330491827873562037575114042693598332928*c\ _1001_2^15 - 869762337707183308447853527955781297855848780969776237\ 7909142651352107028734154445504173656115760677565588546602559925648\ 8832152315470632841326069867767591798264693/48794267539332477472272\ 2517254441201773523923196571785628422219034843560617299322108425720\ 4690897068238572347976339333271561475512218208154653102034746368*c_\ 1001_2^14 + 2439412599141556218111440928000566919067163270211742254\ 2057848803611151114662690088589525352735792378192067217289697649853\ 32738026684757637644825885521374274981519851/2244536306809293963724\ 5235793704295281582100467042302138907422075602803788395768816987583\ 1415781265138974328006911609330491827873562037575114042693598332928\ *c_1001_2^13 - 1202592632620930923332979114022117060870677317864728\ 1966644270669717435321615966913055545687582253214081653512963174900\ 8174415005609174261385233950431544481997586219/93522346117053915155\ 1884824737678970065920852793429255787809253150116824516490367374482\ 6308990886047457263666954650388770492828065084898963085112233263872\ *c_1001_2^12 + 4573206410005238226626655128172036952570877859139040\ 2716072862199731632816915902664819533494606277359973783979500567357\ 1636075704521936446260969835380071608146907553/11222681534046469818\ 6226178968521476407910502335211510694537110378014018941978844084937\ 9157078906325694871640034558046652459139367810187875570213467991664\ 64*c_1001_2^11 - 79959291543156850394382936874810370654222676615546\ 7696700208055647298202968904634408989492681156266161399519831167539\ 343396509380017441025873606008122342739304282983/112226815340464698\ 1862261789685214764079105023352115106945371103780140189419788440849\ 3791570789063256948716400345580466524591393678101878755702134679916\ 6464*c_1001_2^10 + 650485295046539914237298250068717724573729108054\ 3487476497142987768306422995504835226757181851906797053833880523728\ 8170239251386460385355516469978508552780570881643/74817876893643132\ 1241507859790143176052736682234743404630247402520093459613192293899\ 5861047192708837965810933563720311016394262452067919170468089786611\ 0976*c_1001_2^9 - 7318578113981167886219311207446734261796918588931\ 6334174820005892121878661528054972974631138167742746137791252438101\ 6985631615633641879198903072476689388854603202385/22445363068092939\ 6372452357937042952815821004670423021389074220756028037883957688169\ 8758314157812651389743280069116093304918278735620375751140426935983\ 32928*c_1001_2^8 - 136949240816462894378744172496275109225339532872\ 7089590941556126002376508208382440397475482684549387982891130295157\ 7604123630577255633332362976279417570351384938825/22445363068092939\ 6372452357937042952815821004670423021389074220756028037883957688169\ 8758314157812651389743280069116093304918278735620375751140426935983\ 32928*c_1001_2^7 - 639180823624633486999572713170920960064489936924\ 6385359101019252460458808920638836810004882030405958733341959210671\ 8501758116427979714851953345932613658558057983885/56113407670232349\ 0931130894842607382039552511676057553472685551890070094709894220424\ 6895785394531628474358200172790233262295696839050939377851067339958\ 3232*c_1001_2^6 - 2870339536450284601635850039086891112549974283409\ 4335496483384900864229765409713711781718283224398432281051693788445\ 098248338562987461405345228058308452025246472551/224453630680929396\ 3724523579370429528158210046704230213890742207560280378839576881698\ 7583141578126513897432800691160933049182787356203757511404269359833\ 2928*c_1001_2^5 - 5224695166651082042272570618915865005691317918542\ 6520530111973507394818701959992079375974717500006578080436128453179\ 793365861298533629316768348564931063748914377473/224453630680929396\ 3724523579370429528158210046704230213890742207560280378839576881698\ 7583141578126513897432800691160933049182787356203757511404269359833\ 2928*c_1001_2^4 - 5028626207310024493787780732808227560114775992487\ 8250414187894406736752784348744137669730969175591550564294162742942\ 01406947764113561838017273336215232718981885459/5611340767023234909\ 3113089484260738203955251167605755347268555189007009470989422042468\ 9578539453162847435820017279023326229569683905093937785106733995832\ 32*c_1001_2^3 - 495574137179439587315565724278960127036485534447784\ 8812126106097870882161827017901354274222330912808846825761034664799\ 8352525138511111337660550727818618113216165/16264755846444159157424\ 0839084813733924507974398857261876140739678281186872433107369475240\ 1563632356079524115992113111090520491837406069384884367344915456*c_\ 1001_2^2 - 20770183324297032082338001342445763921261126333367393894\ 4529317401617462004357491182941118926158558214609804602782027154291\ 2461573154050181346568846549430400797837/22445363068092939637245235\ 7937042952815821004670423021389074220756028037883957688169875831415\ 781265138974328006911609330491827873562037575114042693598332928*c_1\ 001_2 - 19740020289760011304758014069495921889012642474992710018481\ 4357192859912208388970546336932420711079012353358806456628711809307\ 278763070070858710433695576067924427/112226815340464698186226178968\ 5214764079105023352115106945371103780140189419788440849379157078906\ 32569487164003455804665245913936781018787557021346799166464, c_0011_0 - 1, c_0011_10 - 82016761208007154778434164537047960351341416054811218835598\ 3634480421452435595408789479823471716288049657033973517244738292800\ 4515/41857057363979866702934425614086810548800384167224888816047277\ 0505318933289051886819038154851189702337675470755677864310988577497\ 776*c_1001_2^34 + 1114206336459881155308800952353636235995952343401\ 1959347641128190813371140414655293517748233466265792781654864148122\ 5266045252625/90993602965173623267248751334971327280000835146141062\ 6435810370663736811497938884389213380111281961603642327729734487632\ 5838641256*c_1001_2^33 + 169414298014069090532528335885995813997280\ 6898150395531251137975613424621451289919427838184208481655554797457\ 761751087876443941775/523213217049748333786680320176085131860004802\ 0903111102005909631316486666113148585237976935639871279220943384445\ 9733038873572187222*c_1001_2^32 + 251465153425023867905070312171965\ 2816637630198671299246236055617133608975969847739332432906470406245\ 93796451581372559808559740385173/4185705736397986670293442561408681\ 0548800384167224888816047277050531893328905188681903815485118970233\ 7675470755677864310988577497776*c_1001_2^31 - 2734595398165453184269628692492573368788332248519034134971243903372\ 24252831519857810524259140459777187321819336556235731575795442171/1\ 0464264340994966675733606403521702637200096041806222204011819262632\ 9733322262971704759538712797425584418867688919466077747144374444*c_\ 1001_2^30 + 4370681070516306894759802987982130219941887722370239844\ 1937117394169011732623655186108777980843218388289282193620948034923\ 90358604231/4185705736397986670293442561408681054880038416722488881\ 6047277050531893328905188681903815485118970233767547075567786431098\ 8577497776*c_1001_2^29 - 756796549724149327110960985549479168143917\ 8558648618045866207566652626142908987212534755962435709625298075527\ 757548393924060894841071/209285286819899333514672128070434052744001\ 9208361244440802363852526594666445259434095190774255948511688377353\ 77838932155494288748888*c_1001_2^28 + 9433596585662870516434109343241396560084379191860163926559437630987\ 717778305079119796513525429455812263419644609334776898380380532109/\ 1046426434099496667573360640352170263720009604180622220401181926263\ 29733322262971704759538712797425584418867688919466077747144374444*c\ _1001_2^27 - 856504066594883030921028957779834060299982048896960084\ 4474980855161859249993883292496608926709435060793400669710471765427\ 5045005643095/41857057363979866702934425614086810548800384167224888\ 8160472770505318933289051886819038154851189702337675470755677864310\ 988577497776*c_1001_2^26 + 1722834601383411767680205868042206140144\ 4038177474197667543507643506804909159487606368782544462178528671223\ 0707669246545305288821900593/41857057363979866702934425614086810548\ 8003841672248888160472770505318933289051886819038154851189702337675\ 470755677864310988577497776*c_1001_2^25 - 2972639835916620319691355416080929096125935347249236348771663415877\ 7906830874397277274641686223945913143874216218735280717472027277975\ 1/41857057363979866702934425614086810548800384167224888816047277050\ 5318933289051886819038154851189702337675470755677864310988577497776\ *c_1001_2^24 + 2376316885503098494248396178119888286853818908255908\ 2900541459685024813097995469637661189809382060148871037782199822280\ 4790424948890133/20928528681989933351467212807043405274400192083612\ 4444080236385252659466644525943409519077425594851168837735377838932\ 155494288748888*c_1001_2^23 - 6898009909035902835952145112105598429\ 0480843244827001727481529562370528469752175024563204953611460631001\ 3866218957213584986278886471127/41857057363979866702934425614086810\ 5488003841672248888160472770505318933289051886819038154851189702337\ 675470755677864310988577497776*c_1001_2^22 + 4451649808871143578092748065840050238957023634834639221267668818793\ 4142566487432910496349236961577438575690437655301918059515827075586\ 3/20928528681989933351467212807043405274400192083612444408023638525\ 2659466644525943409519077425594851168837735377838932155494288748888\ *c_1001_2^21 - 1099803882177185796659383411542143642789716799345438\ 6178446767783562746890750217778950689304099374217784830959526840325\ 99837057954399095/4185705736397986670293442561408681054880038416722\ 4888816047277050531893328905188681903815485118970233767547075567786\ 4310988577497776*c_1001_2^20 + 122848493052556899180844667663463417\ 5117441052865101916830212312403017988005209915184776649309730265079\ 951094301539897895487748442264779/418570573639798667029344256140868\ 1054880038416722488881604727705053189332890518868190381548511897023\ 37675470755677864310988577497776*c_1001_2^19 - 6378557683749888849922329486994240787936137991066983326459779166274\ 8692130105209366525514442555055803571643549647784136332355305866278\ 9/20928528681989933351467212807043405274400192083612444408023638525\ 2659466644525943409519077425594851168837735377838932155494288748888\ *c_1001_2^18 + 6506887186785193960954367400927127017922923437658886\ 4091851862096241621307014287500737325018522856967822499678913906173\ 9964196726038093/20928528681989933351467212807043405274400192083612\ 4444080236385252659466644525943409519077425594851168837735377838932\ 155494288748888*c_1001_2^17 - 5952314183056406643372609965929213199\ 6356631347093389324091627782617643545086681303273079142061750039531\ 8784472383023439369299860211323/20928528681989933351467212807043405\ 2744001920836124444080236385252659466644525943409519077425594851168\ 837735377838932155494288748888*c_1001_2^16 + 1070204178546259762855477867973647291409013067546249410688303795019\ 2489541168001252131478092384547470079678591628875981286898856023263\ 97/4185705736397986670293442561408681054880038416722488881604727705\ 0531893328905188681903815485118970233767547075567786431098857749777\ 6*c_1001_2^15 - 206616150680642454255151199735461091191181374273572\ 4135668247925831015936589806665476296588990722480378416809040488242\ 0690904326914695/90993602965173623267248751334971327280000835146141\ 0626435810370663736811497938884389213380111281961603642327729734487\ 6325838641256*c_1001_2^14 + 671776973564381243633871756070714010103\ 3369722886131888454690782325594871541928925918867069099197191761643\ 09292098994133972178312006177/4185705736397986670293442561408681054\ 8800384167224888816047277050531893328905188681903815485118970233767\ 5470755677864310988577497776*c_1001_2^13 - 7632961425449772839589483018168403764353365186166039196810655959019\ 6815981985208204583535897127851768531563981910115941646633563233313\ /523213217049748333786680320176085131860004802090311110200590963131\ 64866661131485852379769356398712792209433844459733038873572187222*c\ _1001_2^12 + 152573453455203484932754747488621527157899293906355511\ 6286466130012160418536578918934173796122080533429565571006740395910\ 28114913598747/2092852868198993335146721280704340527440019208361244\ 4408023638525265946664452594340951907742559485116883773537783893215\ 5494288748888*c_1001_2^11 - 144758120969520194114905445133682809570\ 1612442690610795293523929620193185272727213804114488399310909495828\ 78380007880621938178397832613/2092852868198993335146721280704340527\ 4400192083612444408023638525265946664452594340951907742559485116883\ 7735377838932155494288748888*c_1001_2^10 + 9900932607394144263277372850505640689731450972954980778642969662715\ 6311312050683222225027434695218086477389087206865872464910550218899\ /418570573639798667029344256140868105488003841672248888160472770505\ 318933289051886819038154851189702337675470755677864310988577497776*\ c_1001_2^9 - 990148864004747129746689961140702835300332526878680222\ 5424189401833453633244755340802287138084182745550948691231607812473\ 0719044540547/41857057363979866702934425614086810548800384167224888\ 8160472770505318933289051886819038154851189702337675470755677864310\ 988577497776*c_1001_2^8 + 28014850988626831569473626403613662167475\ 3890436263687494884692466922361868261151324459167708035152879715670\ 47895087631260139634529557/4185705736397986670293442561408681054880\ 0384167224888816047277050531893328905188681903815485118970233767547\ 0755677864310988577497776*c_1001_2^7 - 5209817134034344765379617098487152662355889248994957701270595129377\ 817340976400879465701065198737369980978974753511048870677842026735/\ 1046426434099496667573360640352170263720009604180622220401181926263\ 29733322262971704759538712797425584418867688919466077747144374444*c\ _1001_2^6 + 2310040758192121908575934292861740584517890489409739673\ 5418096194668953248685356068351469594570076424104956265711210133335\ 45997804507/4185705736397986670293442561408681054880038416722488881\ 6047277050531893328905188681903815485118970233767547075567786431098\ 8577497776*c_1001_2^5 + 1437737843794761945698542003558034130719624\ 0342173753290056707457141573230576404744202953717613571187895385629\ 28118080151469383161917/4185705736397986670293442561408681054880038\ 4167224888816047277050531893328905188681903815485118970233767547075\ 5677864310988577497776*c_1001_2^4 - 9924897969334730834936222886715228711660667807509800979786639628296\ 57343474874945351814813657342708770271830541686513386537246089509/1\ 0464264340994966675733606403521702637200096041806222204011819262632\ 9733322262971704759538712797425584418867688919466077747144374444*c_\ 1001_2^3 + 73840731849192973816532419345262890580289195956635923327\ 7404186688847458660902769735842702412605657590691822055806816973928\ 54522899/9099360296517362326724875133497132728000083514614106264358\ 1037066373681149793888438921338011128196160364232772973448763258386\ 41256*c_1001_2^2 - 705720366342400405034077887166563500213877246950\ 3050343292225814824003747234708915521721593647404516172637738079022\ 33794866913353079/4185705736397986670293442561408681054880038416722\ 4888816047277050531893328905188681903815485118970233767547075567786\ 4310988577497776*c_1001_2 - 335007952819625553765951777646422715289\ 7479992859547774960958308854797216617089616997071413237410718056032\ 564416673858329984918985/209285286819899333514672128070434052744001\ 9208361244440802363852526594666445259434095190774255948511688377353\ 77838932155494288748888, c_0011_11 - 35443328453226206332659442374208609265455461820499957690515\ 0062150986479552655817073174193353344003159816359473882813016512084\ 883789/334856458911838933623475404912694484390403073337799110528378\ 2164042551466312415094552305238809517618701403766045422914487908619\ 982208*c_1001_2^34 + 4272985875408580303885367726991851467052733081\ 2464516010097098549428115714940937456989838279622535347305178620449\ 85420393270174831/7279488237213889861379900106797706182400066811691\ 2850114864829653098944919835110751137070408902556928291386218378759\ 010606709130048*c_1001_2^33 + 7781631658468159336194512652249484946\ 1407209769845422603501203793933003117252565680855565121720113236793\ 369995917572911966182639465/418570573639798667029344256140868105488\ 0038416722488881604727705053189332890518868190381548511897023376754\ 70755677864310988577497776*c_1001_2^32 + 1099371091864288781201826710141354823132555247997223774709569243108\ 3336143223001849841975219883068313249853220695952252374461278597339\ /334856458911838933623475404912694484390403073337799110528378216404\ 2551466312415094552305238809517618701403766045422914487908619982208\ *c_1001_2^31 - 1164715965309111129542111922295343181650324696157750\ 9561454951271980793548945086161525614104698532542209710745745770186\ 926673649319461/837141147279597334058688512281736210976007683344497\ 7763209455410106378665781037736380763097023794046753509415113557286\ 21977154995552*c_1001_2^30 + 18469925218862743587033801525523909088\ 7113378612705677661653904499978296048854888009523581007741407511511\ 679687108360674094877946217257/334856458911838933623475404912694484\ 3904030733377991105283782164042551466312415094552305238809517618701\ 403766045422914487908619982208*c_1001_2^29 - 3205221587489023772655993049013773429354986673023402270934887577353\ 0699866214693570060672768196826665421911284832988162633323474136092\ 1/16742822945591946681173770245634724219520153666889955526418910820\ 2127573315620754727615261940475880935070188302271145724395430999110\ 4*c_1001_2^28 + 396533640235542423500947871521292279996213689453955\ 3266424018589410795653105621059267254444926632412742046411761457523\ 94348976159577047/8371411472795973340586885122817362109760076833444\ 9777632094554101063786657810377363807630970237940467535094151135572\ 8621977154995552*c_1001_2^27 - 359724770480867527395945790778853056\ 4777635219053851430599852060658419115787929029802652194893831575897\ 360841012242944885712523336353129/334856458911838933623475404912694\ 4843904030733377991105283782164042551466312415094552305238809517618\ 701403766045422914487908619982208*c_1001_2^26 + 7259348269695513328137802211690762547752995689980094186607008284859\ 7691797201472023161278082537096298330413468013927639193143154919908\ 63/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^25 - 12517740172193666336498552414558312092801784159043\ 7678337431344650711046852990949873806607126183206460031607795635174\ 99170047308760671353/3348564589118389336234754049126944843904030733\ 3779911052837821640425514663124150945523052388095176187014037660454\ 22914487908619982208*c_1001_2^24 + 1005852134326102317759350529822465411404998246533878464986474974182\ 2995187157070981303311351494819345662759615995012214967420549413434\ 395/167428229455919466811737702456347242195201536668899555264189108\ 2021275733156207547276152619404758809350701883022711457243954309991\ 104*c_1001_2^23 - 2944260899175262743113046244098944874747453164080\ 4067861999795703413656847620640370964638234845439221451151419525615\ 263953860560444746153/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^22 + 1912277523227788064854514239899198806781499595627565517493135167805\ 6682782527387296231394230122812472451788174691486989639448940667839\ 297/167428229455919466811737702456347242195201536668899555264189108\ 2021275733156207547276152619404758809350701883022711457243954309991\ 104*c_1001_2^21 - 4789967860219987534415421737420081622109143284532\ 8189482576554553501859332298262969624031498895169242677730776324397\ 521847935690538017433/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^20 + 5440365526049699533745250257961551682940589139118260551796449818845\ 7861728526314519118662175851595605967569118509762233253527170172710\ 821/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^19 - 2862409761407617136836385268006422298686428982347\ 5364555970637233280961323049716382763124596041652916386691497214310\ 409169838709040274843/167428229455919466811737702456347242195201536\ 6688995552641891082021275733156207547276152619404758809350701883022\ 711457243954309991104*c_1001_2^18 + 2990797188431702715853996440947704013660626428087541813791143721450\ 2138830980260518571409320954463124855216258615036585437740218197702\ 747/167428229455919466811737702456347242195201536668899555264189108\ 2021275733156207547276152619404758809350701883022711457243954309991\ 104*c_1001_2^17 - 2796487922208821800877297911266599301958535047164\ 7120315569251090967406027558696354873758177038055927240470913856246\ 516988251565991900949/167428229455919466811737702456347242195201536\ 6688995552641891082021275733156207547276152619404758809350701883022\ 711457243954309991104*c_1001_2^16 + 5104503828211992343341052936468037865690923603515457912361323187062\ 4455396871309801007683063929344652871855614274030998940675024772807\ 059/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^15 - 1021456261152587973247693337258759310997910910242\ 9562338938889012620929998475209906142977976555595002581962690797137\ 86702529741769503249/7279488237213889861379900106797706182400066811\ 6912850114864829653098944919835110751137070408902556928291386218378\ 759010606709130048*c_1001_2^14 + 3441688034174795876353788469674505\ 9975698094350081475377054071992122590642168548498077083739279979933\ 993427310303173906518576343088785999/334856458911838933623475404912\ 6944843904030733377991105283782164042551466312415094552305238809517\ 618701403766045422914487908619982208*c_1001_2^13 - 3937369737732842706854530997963507807036569984907450846019092286928\ 3854357221503163401374269118012201946076114561243518784219145485578\ 85/4185705736397986670293442561408681054880038416722488881604727705\ 0531893328905188681903815485118970233767547075567786431098857749777\ 6*c_1001_2^12 + 937067442122607073085790825306875821388809450084983\ 7719813818151832800784916935757279273681171826248595803966808760861\ 099095533775447885/167428229455919466811737702456347242195201536668\ 8995552641891082021275733156207547276152619404758809350701883022711\ 457243954309991104*c_1001_2^11 - 7956007127095237978999326748503524\ 3402046514906428935111387112535919462523296279283166885868128145713\ 65453735947306307541161921323046043/1674282294559194668117377024563\ 4724219520153666889955526418910820212757331562075472761526194047588\ 09350701883022711457243954309991104*c_1001_2^10 + 8191299843719231067166988456104594811554980246208587237892383690566\ 7251889839156817678653849792598328849605165864141595217943632471699\ 01/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^9 - 641974321128747605463384043167987111269236553261954\ 0421208722225670576312250965014952047265277538036293122929040663575\ 335809378232354365/334856458911838933623475404912694484390403073337\ 7991105283782164042551466312415094552305238809517618701403766045422\ 914487908619982208*c_1001_2^8 + 29716870431535656046795562655279696\ 8373610416851113114535180228386678963575590674018644478519608019476\ 8154937995436959659563940230528555/33485645891183893362347540491269\ 4484390403073337799110528378216404255146631241509455230523880951761\ 8701403766045422914487908619982208*c_1001_2^7 - 4951432642300832396290638120726791320447532298298998900173009394302\ 4854249628352295553652679783402207359297989476657337385444303481796\ 1/83714114727959733405868851228173621097600768334449777632094554101\ 0637866578103773638076309702379404675350941511355728621977154995552\ *c_1001_2^6 + 83590589792310339501930547123937488227363178759120815\ 3574233608851162102223520216230246804847930222020211189223004791065\ 848439816454757/334856458911838933623475404912694484390403073337799\ 1105283782164042551466312415094552305238809517618701403766045422914\ 487908619982208*c_1001_2^5 - 33252202252323361454001860702066788128\ 3846784179642389306208560020619938493223605370703963198398855819503\ 962214670639820176266486189357/334856458911838933623475404912694484\ 3904030733377991105283782164042551466312415094552305238809517618701\ 403766045422914487908619982208*c_1001_2^4 + 1754784981493454213099775841523920747770564760115918588736374140826\ 3065021051489036920251411045762716121111228014560767918585280872649\ /837141147279597334058688512281736210976007683344497776320945541010\ 637866578103773638076309702379404675350941511355728621977154995552*\ c_1001_2^3 + 258846669225935758301448356460049361732243329598386169\ 2589156241318940626544053395959131479808466846672666045013716401862\ 03969572413/7279488237213889861379900106797706182400066811691285011\ 4864829653098944919835110751137070408902556928291386218378759010606\ 709130048*c_1001_2^2 + 41213664398916384550762373398062974807651121\ 0087354064954049891009445174165460964345267432402570375884604855469\ 4548887798486790776631/33485645891183893362347540491269448439040307\ 3337799110528378216404255146631241509455230523880951761870140376604\ 5422914487908619982208*c_1001_2 + 501115538883931366220938719643767\ 4610325153681547285123171118638702091197286766404592134105502109341\ 95261495994453939949429785149265/1674282294559194668117377024563472\ 4219520153666889955526418910820212757331562075472761526194047588093\ 50701883022711457243954309991104, c_0011_6 + 911783014133538478126484059587925526495146602609147812866303\ 2421868588528957488354220541158375071059711729816283896044668166760\ 9275/66971291782367786724695080982538896878080614667559822105675643\ 2808510293262483018910461047761903523740280753209084582897581723996\ 4416*c_1001_2^34 + 294628914201833549218228984819747714373454741338\ 4557526605753991163143323494891258191651151271027293101295104342567\ 319029829698007/145589764744277797227598002135954123648001336233825\ 7002297296593061978898396702215022741408178051138565827724367575180\ 21213418260096*c_1001_2^33 - 30879697421490613867005827239718482645\ 8076183822506494979439981841727022589829917497915877423269413378354\ 97337382657270928860389167/8371411472795973340586885122817362109760\ 0768334449777632094554101063786657810377363807630970237940467535094\ 1511355728621977154995552*c_1001_2^32 - 3196579130868903835039205119046973220052324686409664230368937429808\ 662627406419961678532375727029440929466007956741328991323322020829/\ 6697129178236778672469508098253889687808061466755982210567564328085\ 102932624830189104610477619035237402807532090845828975817239964416*\ c_1001_2^31 + 15490884924274634869791099280701422125996225517447575\ 2548578782381565943359907202009021577848442225516333975602876085364\ 8997272352131/16742822945591946681173770245634724219520153666889955\ 5264189108202127573315620754727615261940475880935070188302271145724\ 3954309991104*c_1001_2^30 - 234947977898474410057410299328533690025\ 5592451779910235361047558116217557531421609944360289544149441183033\ 4874230957523765686106381759/66971291782367786724695080982538896878\ 0806146675598221056756432808510293262483018910461047761903523740280\ 7532090845828975817239964416*c_1001_2^29 + 3554920222931468983143799688263411823152205257820395453390697554499\ 4014321863986507238084772530352063524416802948915007555951995006351\ /334856458911838933623475404912694484390403073337799110528378216404\ 2551466312415094552305238809517618701403766045422914487908619982208\ *c_1001_2^28 - 2101438551054911853658952775897084115677693440451758\ 0130223443023807854713102195010907888617308370876127101777461256819\ 817061884559873/167428229455919466811737702456347242195201536668899\ 5552641891082021275733156207547276152619404758809350701883022711457\ 243954309991104*c_1001_2^27 + 1381714475320725404675027633068807803\ 5370364538207665216189193035902860595638799931571086334095981249278\ 6898196816804089158045922603903/66971291782367786724695080982538896\ 8780806146675598221056756432808510293262483018910461047761903523740\ 2807532090845828975817239964416*c_1001_2^26 - 1072060043112083771401588205040735518088683624627558125306992594761\ 6597579910989547191958421635991755751594204943959866354361505601293\ 7/66971291782367786724695080982538896878080614667559822105675643280\ 8510293262483018910461047761903523740280753209084582897581723996441\ 6*c_1001_2^25 - 292190180497855474151260138322960275136267015927832\ 2303967520706092633293576314550519459372690078441691636057321695087\ 97407295332795921/6697129178236778672469508098253889687808061466755\ 9822105675643280851029326248301891046104776190352374028075320908458\ 28975817239964416*c_1001_2^24 + 38209946446488439070919647567282872\ 5058824350594482348338501410067161919245775227452637814058901484123\ 481630624109063015370895112811299/334856458911838933623475404912694\ 4843904030733377991105283782164042551466312415094552305238809517618\ 701403766045422914487908619982208*c_1001_2^23 - 1816361156161361935307038539218497876930707308722882873539596367102\ 5021345822354968138427082736489060908839401083135962308200921577653\ 13/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^22 + 18454469571135158818509083483253698063928726943829\ 6543994982636402637042864434221896848783419392002344939128289780176\ 2253453665939911065/33485645891183893362347540491269448439040307333\ 7799110528378216404255146631241509455230523880951761870140376604542\ 2914487908619982208*c_1001_2^21 - 481365796777885936745753271220855\ 0870410369384209350606571234488844735657332374899927397766252267822\ 135773612812156830912716792221686577/669712917823677867246950809825\ 3889687808061466755982210567564328085102932624830189104610477619035\ 237402807532090845828975817239964416*c_1001_2^20 + 7103623375110383377865756248882573622095627420491709652437810374537\ 4133798130413136786828031102208991648982325570617790353383065868158\ 37/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^19 - 43677878853021770507138851823232231440924632981800\ 2882211137920676544782059670202340112933052881293655732962504171220\ 0065230336358572579/33485645891183893362347540491269448439040307333\ 7799110528378216404255146631241509455230523880951761870140376604542\ 2914487908619982208*c_1001_2^18 + 428734798161692409385569846137788\ 7964823745872100937670458003289806032775536037759883097317597195950\ 485074312573111801156998979858790691/334856458911838933623475404912\ 6944843904030733377991105283782164042551466312415094552305238809517\ 618701403766045422914487908619982208*c_1001_2^17 - 5192136043201835352777502255117485332332337602116880109571059816627\ 9913724156366877599971709538008199397909828031352784570843286205561\ 73/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^16 + 93785589696428378407336560401827529716430603865803\ 4007395270379682362843401136433214697168003616184119887729523054278\ 4499632535159292827/66971291782367786724695080982538896878080614667\ 5598221056756432808510293262483018910461047761903523740280753209084\ 5828975817239964416*c_1001_2^15 - 170540077810970615707462503519949\ 4218301378797076876126275316365137859678147906965167364055992898458\ 01353977416090675733610550676455913/1455897647442777972275980021359\ 5412364800133623382570022972965930619788983967022150227414081780511\ 3856582772436757518021213418260096*c_1001_2^14 + 9569390899182233268461300314966138710201594052339589850763727373469\ 3571023326855223888834220360074309089361705784358059415633205556979\ 11/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^13 - 53930829126693735355308020550527606187141147791859\ 1532996843706321088669599208667801381169768072509639847191120313781\ 946419885529556133/837141147279597334058688512281736210976007683344\ 4977763209455410106378665781037736380763097023794046753509415113557\ 28621977154995552*c_1001_2^12 + 34345746479705577142293167664857951\ 1303957785948773680341871965917182127461745235939610066299955947794\ 5203423567173650910911013776329669/33485645891183893362347540491269\ 4484390403073337799110528378216404255146631241509455230523880951761\ 8701403766045422914487908619982208*c_1001_2^11 - 1064210741464991714109835574619908333493900456446389982800114554098\ 7379997552184837655583213817195740186016716033447067104082646739451\ 87/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^10 + 32663195665451388295096570802666170621523265526191\ 8189197683776568419683540234832611878541495303050089041924952269750\ 6948049755848523365/66971291782367786724695080982538896878080614667\ 5598221056756432808510293262483018910461047761903523740280753209084\ 5828975817239964416*c_1001_2^9 - 7932569416701523825537430248438447\ 4141952319153783686452474265763027924915366013612029549647021777851\ 0904095967037351263779486768506037/66971291782367786724695080982538\ 8968780806146675598221056756432808510293262483018910461047761903523\ 7402807532090845828975817239964416*c_1001_2^8 + 1253478257648713463715974885197107277786172449407891484120360480770\ 7682803096910243972506082043376415180904715725465970681493680656103\ 55/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^7 - 664275765970225779855599790338163784204381921194405\ 0663004281081688135211774440653364107017027669293989772380863489228\ 2477137718678497/16742822945591946681173770245634724219520153666889\ 9555264189108202127573315620754727615261940475880935070188302271145\ 7243954309991104*c_1001_2^6 + 3288965955485664666499225336760699227\ 9484688666544155845624704172084993653066341685115456380811907991000\ 9757232559626595264838443517213/66971291782367786724695080982538896\ 8780806146675598221056756432808510293262483018910461047761903523740\ 2807532090845828975817239964416*c_1001_2^5 - 1032358014344128102330687927925463297723230067312463938927728729798\ 8027263696223738984763307359057030583648503634666836266916611302019\ 7/66971291782367786724695080982538896878080614667559822105675643280\ 8510293262483018910461047761903523740280753209084582897581723996441\ 6*c_1001_2^4 + 5277721090005133660636465214883390962788090521323281\ 9261848398397235299812835637972895275964780471668483079954555841674\ 27182401743873/1674282294559194668117377024563472421952015366688995\ 5526418910820212757331562075472761526194047588093507018830227114572\ 43954309991104*c_1001_2^3 + 246287383189041455082378988725211532066\ 4434689389440194332721590712059851018394861943991170302052502801201\ 28728439953590319168590325/1455897647442777972275980021359541236480\ 0133623382570022972965930619788983967022150227414081780511385658277\ 2436757518021213418260096*c_1001_2^2 - 2075649252582950141059814160623861704943120899706802203454068061532\ 8400574713075745974384235757299373469993654238200330946176551725921\ /669712917823677867246950809825388968780806146675598221056756432808\ 5102932624830189104610477619035237402807532090845828975817239964416\ *c_1001_2 - 1345754826709762300080826268795330349546480283888873403\ 1347510041815825186227250409332310630051191591381499885595931800914\ 33371724375/3348564589118389336234754049126944843904030733377991105\ 2837821640425514663124150945523052388095176187014037660454229144879\ 08619982208, c_0101_0 + 185318803026938819229481014788834281820610655336261227886217\ 4720312183813571954317558318030422899941453663023376967094372209244\ 3557/33485645891183893362347540491269448439040307333779911052837821\ 6404255146631241509455230523880951761870140376604542291448790861998\ 2208*c_1001_2^34 + 910667091374395901600243302102682143264887337396\ 4041073898668247539229153269204936680567063347040899072582095586318\ 08157604292745/7279488237213889861379900106797706182400066811691285\ 0114864829653098944919835110751137070408902556928291386218378759010\ 606709130048*c_1001_2^33 - 8738779222386807335638796078437452996630\ 0824754766947384095181283293138708333935700271798445829618724559733\ 23353416071795483763505/4185705736397986670293442561408681054880038\ 4167224888816047277050531893328905188681903815485118970233767547075\ 5677864310988577497776*c_1001_2^32 - 6695551799386581145490022807382746921892248525696620786531524852343\ 11603535289480462765300883114659544468589889108552853505879919171/3\ 3485645891183893362347540491269448439040307333779911052837821640425\ 51466312415094552305238809517618701403766045422914487908619982208*c\ _1001_2^31 + 210358725468866626530442803973318493244298632009883244\ 6588760716633641321304325759796320620793740706839032007626539420275\ 47047705181/8371411472795973340586885122817362109760076833444977763\ 2094554101063786657810377363807630970237940467535094151135572862197\ 7154995552*c_1001_2^30 - 252364586211528604594916971765557471606640\ 0006964002074495880893120708196166092090394171914720426583641177954\ 722708623758146251802529/334856458911838933623475404912694484390403\ 0733377991105283782164042551466312415094552305238809517618701403766\ 045422914487908619982208*c_1001_2^29 + 2727383843797436207976590333620745916764797417719052749762662437629\ 457118555135948643750400643502976798704568080026791540446446713425/\ 1674282294559194668117377024563472421952015366688995552641891082021\ 275733156207547276152619404758809350701883022711457243954309991104*\ c_1001_2^28 + 36625294046250174316022547614333342670204136383787845\ 4018996483426864188010349728136267984588899567891038031432079579947\ 4272938660193/83714114727959733405868851228173621097600768334449777\ 6320945541010637866578103773638076309702379404675350941511355728621\ 977154995552*c_1001_2^27 - 5608192881247715810544244602206262827069\ 3971755135696694505870076717730641219729275656001591266174897440385\ 506056381099389735971998239/334856458911838933623475404912694484390\ 4030733377991105283782164042551466312415094552305238809517618701403\ 766045422914487908619982208*c_1001_2^26 + 1716906440747650424163689363284145152347434555053204807217187343132\ 2411679165653025630566615011215555578837745705975564447137299740848\ 9/33485645891183893362347540491269448439040307333779911052837821640\ 4255146631241509455230523880951761870140376604542291448790861998220\ 8*c_1001_2^25 - 458749829823585832783801883579319049918414442772898\ 3896754423142120693159206207555785002152277056970194269274022373262\ 67433668222576143/3348564589118389336234754049126944843904030733377\ 9911052837821640425514663124150945523052388095176187014037660454229\ 14487908619982208*c_1001_2^24 + 43594706304825417579241647064555421\ 1373056756259269340971745739124102475645641661942151010627128461711\ 153496811556453322373418866285565/167428229455919466811737702456347\ 2421952015366688995552641891082021275733156207547276152619404758809\ 350701883022711457243954309991104*c_1001_2^23 - 1534483029121215164071743333756169863833177491486991438952769288246\ 0838516619462396866728462739398471538559540745880651585639257440309\ 43/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^22 + 12470957286682325776349519512296729982244382991332\ 7045507552574303472592411948836439065727636752686652236572316804269\ 8760781270152601543/16742822945591946681173770245634724219520153666\ 8899555264189108202127573315620754727615261940475880935070188302271\ 1457243954309991104*c_1001_2^21 - 332537229655169386590908155360889\ 1770000240017534531499110948184725876534141477454192806438568130603\ 911996746249905292253173938870524655/334856458911838933623475404912\ 6944843904030733377991105283782164042551466312415094552305238809517\ 618701403766045422914487908619982208*c_1001_2^20 + 4394080422116977288087559828682164134525184481932921872478136743321\ 8895081733521439636240831602962410622673958220531592495139405582663\ 07/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^19 - 26202116246078113713448054173694536589630899307011\ 3127449239348788671469049776885419148451004076645149438907442830235\ 8501560803841622013/16742822945591946681173770245634724219520153666\ 8899555264189108202127573315620754727615261940475880935070188302271\ 1457243954309991104*c_1001_2^18 + 274982975061767753409354490590674\ 7090453520553859489792702532643256868026470303080398717732133829289\ 699274281751654871695382254561292221/167428229455919466811737702456\ 3472421952015366688995552641891082021275733156207547276152619404758\ 809350701883022711457243954309991104*c_1001_2^17 - 3014298806153317371661908304434624694837514761568415898598042866258\ 0746673011862268374926995682839126513014619411131112319900297256466\ 11/1674282294559194668117377024563472421952015366688995552641891082\ 0212757331562075472761526194047588093507018830227114572439543099911\ 04*c_1001_2^16 + 57865775838790352258637991547171240804035034854557\ 6076241290894035264995283459582012456220354693991022774209280253641\ 0310898628770749637/33485645891183893362347540491269448439040307333\ 7799110528378216404255146631241509455230523880951761870140376604542\ 2914487908619982208*c_1001_2^15 - 112832446290087176972060002666090\ 1504769863091441698169876541457312478110829097223248740049998492737\ 71454666738360071961089048146290871/7279488237213889861379900106797\ 7061824000668116912850114864829653098944919835110751137070408902556\ 928291386218378759010606709130048*c_1001_2^14 + 5239230219612469663654283341113779610298515898570268665042601868623\ 5909925634999664716462873641203311997776054512089428396799754778114\ 33/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^13 - 45485810210996908484177917835023595476747349100508\ 4667188895594624226347288340016924039451975743680256030755886267817\ 082664528414054907/418570573639798667029344256140868105488003841672\ 2488881604727705053189332890518868190381548511897023376754707556778\ 64310988577497776*c_1001_2^12 + 18253678724665269298000918999179908\ 9447905414041057913947030810025281306120455018784889944882253574561\ 1849021055253929892437436967094619/16742822945591946681173770245634\ 7242195201536668899555264189108202127573315620754727615261940475880\ 9350701883022711457243954309991104*c_1001_2^11 - 1059113158932089929211362360850119991227856296754938109154983892580\ 7659772714898427384715120708459945821380471756881548542076719736107\ 49/1674282294559194668117377024563472421952015366688995552641891082\ 0212757331562075472761526194047588093507018830227114572439543099911\ 04*c_1001_2^10 + 19491265526485744502510254996393431193265205594948\ 4806416537706064770315989160227900076087250406323245194592181971824\ 0889697848051150523/33485645891183893362347540491269448439040307333\ 7799110528378216404255146631241509455230523880951761870140376604542\ 2914487908619982208*c_1001_2^9 - 9520820975448601912008529901070943\ 4659663095036825460211679825563092591501132786885930899293281690591\ 8557947317488331442913028417080939/33485645891183893362347540491269\ 4484390403073337799110528378216404255146631241509455230523880951761\ 8701403766045422914487908619982208*c_1001_2^8 + 8739542522918593445005404711875702596810009180865008764715082453770\ 7242899493608208820882210886696881468397678154283635031954907248894\ 1/33485645891183893362347540491269448439040307333779911052837821640\ 4255146631241509455230523880951761870140376604542291448790861998220\ 8*c_1001_2^7 - 9313801026763594205738738885597754293256013651738211\ 2177152702467257601169685128322225848756708042206831130389015460483\ 289017994258847/837141147279597334058688512281736210976007683344497\ 7763209455410106378665781037736380763097023794046753509415113557286\ 21977154995552*c_1001_2^6 + 290889871148114896853185685273765105001\ 6713025311809817198562656858829569527807146792570698755641916208871\ 42899477419038106945868740099/3348564589118389336234754049126944843\ 9040307333779911052837821640425514663124150945523052388095176187014\ 03766045422914487908619982208*c_1001_2^5 - 1242026523592461382131156327695924681553003305259959221376785143139\ 6801983011828466867272289202049467761513837675820696801121281725797\ 9/33485645891183893362347540491269448439040307333779911052837821640\ 4255146631241509455230523880951761870140376604542291448790861998220\ 8*c_1001_2^4 + 1534334206021567732083284277617193913406839422255181\ 9835269997540052442213045496513845316726371746154888367059637174621\ 685943850273919/837141147279597334058688512281736210976007683344497\ 7763209455410106378665781037736380763097023794046753509415113557286\ 21977154995552*c_1001_2^3 - 360127191187799606403465961422728045879\ 7855378958751638366424525577653079968430609784798260444740029068702\ 17751042116280773886845269/7279488237213889861379900106797706182400\ 0668116912850114864829653098944919835110751137070408902556928291386\ 218378759010606709130048*c_1001_2^2 + 1076546858983611806653878702726162283671235093578474289461553289067\ 266671894814371944702576461805961847137227413406863167907548917697/\ 3348564589118389336234754049126944843904030733377991105283782164042\ 551466312415094552305238809517618701403766045422914487908619982208*\ c_1001_2 - 20796172692911167271300809948998161895359065048828413952\ 1545940106747491057888009149558025192548654747733258528887608916043\ 7202903561/16742822945591946681173770245634724219520153666889955526\ 4189108202127573315620754727615261940475880935070188302271145724395\ 4309991104, c_0101_1 - 172974922288772364880486543968644450035295286071817448550119\ 4760063044666700316283374625617369451427261359931349342458459891345\ 58339/6697129178236778672469508098253889687808061466755982210567564\ 3280851029326248301891046104776190352374028075320908458289758172399\ 64416*c_1001_2^34 + 50664950465153081577844832537440109423554831756\ 1184054057692937761824335841073869322691208521419908259666352573281\ 9660255244896961/14558976474427779722759800213595412364800133623382\ 5700229729659306197889839670221502274140817805113856582772436757518\ 021213418260096*c_1001_2^33 + 3420224557709158664345686467599991558\ 7695828285447867096398849658599781115229111931879842913829469650625\ 829657119994884217588395479/837141147279597334058688512281736210976\ 0076833444977763209455410106378665781037736380763097023794046753509\ 41511355728621977154995552*c_1001_2^32 + 5072553847851411178740500847274877864657173142158831113909538676557\ 699316529571197190736267510974274508109450875829340918907350283349/\ 6697129178236778672469508098253889687808061466755982210567564328085\ 102932624830189104610477619035237402807532090845828975817239964416*\ c_1001_2^31 - 67735438136651218232209211414582405644176368129563655\ 2613586771738369246575772863041723322682561155483248405180997517272\ 2026240161995/16742822945591946681173770245634724219520153666889955\ 5264189108202127573315620754727615261940475880935070188302271145724\ 3954309991104*c_1001_2^30 + 106811669062249535964502274859426001816\ 6893340735250800224882953055963222216819345335435107734870000871706\ 22977594767473364087894881767/6697129178236778672469508098253889687\ 8080614667559822105675643280851029326248301891046104776190352374028\ 07532090845828975817239964416*c_1001_2^29 - 1886891523839574341330349407304100782955757721076176320162790967259\ 6208780832501532293196373742059048644769087476669439024772734007967\ 1/33485645891183893362347540491269448439040307333779911052837821640\ 4255146631241509455230523880951761870140376604542291448790861998220\ 8*c_1001_2^28 + 248976615090195431720194157341266248840792127879210\ 0640466812217488164132019888701960251278390669101065726988614693745\ 15045541466349529/1674282294559194668117377024563472421952015366688\ 9955526418910820212757331562075472761526194047588093507018830227114\ 57243954309991104*c_1001_2^27 - 22776461856746347006731815405041668\ 3564685124969519922811974544534331083455640492537926693804928266733\ 7684431797343491279296477824800679/66971291782367786724695080982538\ 8968780806146675598221056756432808510293262483018910461047761903523\ 7402807532090845828975817239964416*c_1001_2^26 + 4700973359692650193752366905706103756810127371608528944158514030042\ 0491742769695178107295626472241128074913234105288973432750760327496\ 01/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^25 - 84010716255101504015455432095868495324060440006234\ 2196677232858515587198559706510895792080791597949959742173273595939\ 0091159739051733911/66971291782367786724695080982538896878080614667\ 5598221056756432808510293262483018910461047761903523740280753209084\ 5828975817239964416*c_1001_2^24 + 680841759222443275821742441720314\ 5009399945582186395617448430576851093120487538682880052398510603937\ 409000421250719047160701789345746389/334856458911838933623475404912\ 6944843904030733377991105283782164042551466312415094552305238809517\ 618701403766045422914487908619982208*c_1001_2^23 - 2035111391372717493315678873743439951874580342164604448635377232300\ 9375155914329355590719784279719540515833299682517973521869013423959\ 911/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^22 + 1361794187356514992384061932013836853912130795023\ 4359804057084475615711839497356858548436494678272102192590210057920\ 662960900111663234639/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^21 - 3406699221198280428800960891267404024831607561442144823683971700966\ 9219763232002147588459232051322307530942988106624798786965047910084\ 727/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^20 + 3981268418775988652909266370184580464967143508981\ 6318583477865874393499717661566084745228037175934626750358081603650\ 038432752698467881259/669712917823677867246950809825388968780806146\ 6755982210567564328085102932624830189104610477619035237402807532090\ 845828975817239964416*c_1001_2^19 - 2131206217436036951614078910817594992489974388893915177477292730632\ 3949348523466479914375565783180069234090309619897848066259983508400\ 981/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^18 + 2204844377405047581803259113927878341597472097837\ 3259802053709331503400366072317949812145148791935685856334237717525\ 419817022575516207445/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^17 - 2152577809526389085416766323371850513117606198766519010423340307594\ 4609700348840664206399382445406188934243081978365985472009802651254\ 395/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^16 + 3907706900403912247439565813185804034829940461611\ 6926779687572261502548153295645395545576087359206306405105483574151\ 583156418316638518685/669712917823677867246950809825388968780806146\ 6755982210567564328085102932624830189104610477619035237402807532090\ 845828975817239964416*c_1001_2^15 - 7726731411931038526568800602543512004030656601747051356215991297692\ 0472392765648066001454049831024164917861363455603540980876047712614\ 3/14558976474427779722759800213595412364800133623382570022972965930\ 6197889839670221502274140817805113856582772436757518021213418260096\ *c_1001_2^14 + 2887411501179855570403122272833922547824441392610087\ 9733331557848896354429921700971772798443026037364639387872757189329\ 391302557019981985/669712917823677867246950809825388968780806146675\ 5982210567564328085102932624830189104610477619035237402807532090845\ 828975817239964416*c_1001_2^13 - 2886928293308099588879526015481285\ 7787017984750694641142216323982006803977593512683439187950601605194\ 50625745943628824698075986236850755/8371411472795973340586885122817\ 3621097600768334449777632094554101063786657810377363807630970237940\ 4675350941511355728621977154995552*c_1001_2^12 + 8538642764030514639920855287698359096083008393240735959768805595257\ 1431286793459711268226260689688248603588733601944502801413673836815\ 39/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^11 - 59141294118911569298831233413471774215341371928706\ 0896213978278651279638899494426235227518760628606753534331192510447\ 4970407399221870613/33485645891183893362347540491269448439040307333\ 7799110528378216404255146631241509455230523880951761870140376604542\ 2914487908619982208*c_1001_2^10 + 773443478651296724424152136030900\ 7045523865660388736721240414739537949894747708595027131092719545636\ 397777697687432913997205419917735267/669712917823677867246950809825\ 3889687808061466755982210567564328085102932624830189104610477619035\ 237402807532090845828975817239964416*c_1001_2^9 - 4916277479671102553637383274412479601949297205592377417352595054743\ 9540713005773680329426297656873030537555997236707994617882932340517\ 31/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^8 + 292255494251242095353186941360953795544136709396143\ 0134413190005910859555161016433514887955192257677283994225834031933\ 884899432814357381/669712917823677867246950809825388968780806146675\ 5982210567564328085102932624830189104610477619035237402807532090845\ 828975817239964416*c_1001_2^7 - 39609197956232680385820195387297957\ 1124208565008135842596924490478604335207003897207590284403452552836\ 910229216345155721104675833450439/167428229455919466811737702456347\ 2421952015366688995552641891082021275733156207547276152619404758809\ 350701883022711457243954309991104*c_1001_2^6 + 8174032729635052532535981107050748265556071043987756266860931537844\ 4144585464311028093648011513276649207505232688932080146075562825969\ 1/66971291782367786724695080982538896878080614667559822105675643280\ 8510293262483018910461047761903523740280753209084582897581723996441\ 6*c_1001_2^5 - 3538929963351566231439573954101407253422205147245979\ 4374213586019265996179922098190735615575739704032330917557857011779\ 0465595257890723/66971291782367786724695080982538896878080614667559\ 8221056756432808510293262483018910461047761903523740280753209084582\ 8975817239964416*c_1001_2^4 + 2091213847166221614838225545099597871\ 9170030416276130756462874337154048868782778700745717009474430966378\ 440852794371257991378529443879/167428229455919466811737702456347242\ 1952015366688995552641891082021275733156207547276152619404758809350\ 701883022711457243954309991104*c_1001_2^3 - 1537446099836818084855224310487605489234916305845545313626175312678\ 5977572805241493859281303337660421504185687644212006688142358829/14\ 5589764744277797227598002135954123648001336233825700229729659306197\ 889839670221502274140817805113856582772436757518021213418260096*c_1\ 001_2^2 + 696102807592844774609475978023807509533331924802116103567\ 7697010435048412410304107383680677392757922207432849669485417556586\ 137459257/669712917823677867246950809825388968780806146675598221056\ 7564328085102932624830189104610477619035237402807532090845828975817\ 239964416*c_1001_2 - 1447403758404735771916293788396293307893935059\ 1998162704631722760746277521439051720350456894855249708447291432518\ 24143763008500421825/3348564589118389336234754049126944843904030733\ 3779911052837821640425514663124150945523052388095176187014037660454\ 22914487908619982208, c_0101_11 - 31223275494247604902043337870437462717633566190945646800821\ 6916646479675586430650795445028150416850941016150287332963621764772\ 887839/669712917823677867246950809825388968780806146675598221056756\ 4328085102932624830189104610477619035237402807532090845828975817239\ 964416*c_1001_2^34 + 4665432915265756848264797392172186632941768232\ 7814328949599198278279245057090997827885856632232002661281315014512\ 02692284377477493/1455897647442777972275980021359541236480013362338\ 2570022972965930619788983967022150227414081780511385658277243675751\ 8021213418260096*c_1001_2^33 + 665207030064842951718486875472506826\ 3326736790807157167748995508664254296037489111751600298733902167800\ 5459367884392337807969585859/83714114727959733405868851228173621097\ 6007683344497776320945541010637866578103773638076309702379404675350\ 941511355728621977154995552*c_1001_2^32 + 9590403819221121012655101357925801758764207529999982112472567376057\ 433094793353666411546761311919049149766413193127438503455892810905/\ 6697129178236778672469508098253889687808061466755982210567564328085\ 102932624830189104610477619035237402807532090845828975817239964416*\ c_1001_2^31 - 10589801445777980616425290487622588233139907824771969\ 5409246023073449215448744303915192441013575491931888952456791823982\ 46921784276039/1674282294559194668117377024563472421952015366688995\ 5526418910820212757331562075472761526194047588093507018830227114572\ 43954309991104*c_1001_2^30 + 16799460538305177490985821664495306073\ 2540797500407910423733533112706958687083722355610272795610512721282\ 936283971212917508389978549715/669712917823677867246950809825388968\ 7808061466755982210567564328085102932624830189104610477619035237402\ 807532090845828975817239964416*c_1001_2^29 - 2924052685868806477118606940370409463173986904801068146695632412011\ 7223720504759693746935143069677458116123137605044582173114332280521\ 9/33485645891183893362347540491269448439040307333779911052837821640\ 4255146631241509455230523880951761870140376604542291448790861998220\ 8*c_1001_2^28 + 366830535561161918642788509020724681617992361431039\ 9335769154400536092690955812713271342446383055877498190785033276030\ 43696960184475245/1674282294559194668117377024563472421952015366688\ 9955526418910820212757331562075472761526194047588093507018830227114\ 57243954309991104*c_1001_2^27 - 33369154966868141918898645376452280\ 6901700181176089385119461255359083852646557599623622090463805707004\ 0551541210888556529020213241128595/66971291782367786724695080982538\ 8968780806146675598221056756432808510293262483018910461047761903523\ 7402807532090845828975817239964416*c_1001_2^26 + 6768182112243682515326544247887196668897091809839346578681119092130\ 4931797443291081801091039551860688701022301889775777142262688367933\ 01/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^25 - 11779049426700493022622543466594560866818182234999\ 2728878440552402364988688909241099513671093932721567181045836018781\ 61494959298480600387/6697129178236778672469508098253889687808061466\ 7559822105675643280851029326248301891046104776190352374028075320908\ 45828975817239964416*c_1001_2^24 + 9494356806816266420995484830624584156777294602342639459373295434885\ 8252766073680831391621944885120135630056805642826703297249459959195\ 13/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^23 - 27951426618618730312751759484941155467420106064870\ 9007058434412249144126226747715049022355348232907927357133932697997\ 56721675806285950803/6697129178236778672469508098253889687808061466\ 7559822105675643280851029326248301891046104776190352374028075320908\ 45828975817239964416*c_1001_2^22 + 1832170064132825189340568789245192276667911009181758051008682996395\ 5277042290329224794684634360454864182117216589542798576955804485843\ 675/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^21 - 4595563305910165583398432521862608472942262120631\ 0203518154131328452361262882238262271926293281090395098045590707933\ 727822986162628465315/669712917823677867246950809825388968780806146\ 6755982210567564328085102932624830189104610477619035237402807532090\ 845828975817239964416*c_1001_2^20 + 5263728924275715931644240238180424972343000684222309724478505087003\ 2054280803341464468185579024813384637659218463028054411008578545464\ 039/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^19 - 2791148459046908196357688502417198578303944813311\ 6766082239636495702687982339598021471338923090497242154247422225374\ 401774216689450676377/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^18 + 2911609679091843629382766525286089093483777147405514793628287151712\ 3757106295785657719024083433498051580028482550814836907993703515749\ 273/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^17 - 2759389514978749209108338005596479391599976313364\ 3754270088874074616779880986244388290433323053090352312969446607733\ 704840195623476337527/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^16 + 5051468751975734587244711944372698868618565881308934124768008834822\ 3713976143277260831026833533579507083786825177469343659286547798427\ 777/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^15 - 1006184103759330247866593301708115219456796129641\ 0347490946917510713219050156095974838049041460354417918843673247446\ 90418349881712400587/1455897647442777972275980021359541236480013362\ 3382570022972965930619788983967022150227414081780511385658277243675\ 7518021213418260096*c_1001_2^14 + 351324040613348188507837355735652\ 1616273739767256347307974364783537969101738983334937579073752575772\ 4649825923846342209637896985075134549/66971291782367786724695080982\ 5388968780806146675598221056756432808510293262483018910461047761903\ 5237402807532090845828975817239964416*c_1001_2^13 - 3892238368555603239644947616400274399649642227124648855874819328838\ 5147054030788555837387720563442991763833771942572212334656241300118\ 39/8371411472795973340586885122817362109760076833444977763209455410\ 1063786657810377363807630970237940467535094151135572862197715499555\ 2*c_1001_2^12 + 979538430094428712688252796821644877299193061375328\ 4252402592496549368006632706086012466970335740603497986740358014117\ 904600642914421407/334856458911838933623475404912694484390403073337\ 7991105283782164042551466312415094552305238809517618701403766045422\ 914487908619982208*c_1001_2^11 - 8099560820593599997014262282489019\ 8655140645197521263112640982681245176533851951328231713401371090352\ 54230281801994297841209863229672921/3348564589118389336234754049126\ 9448439040307333779911052837821640425514663124150945523052388095176\ 18701403766045422914487908619982208*c_1001_2^10 + 8634815379489448807434909691307760190635402303760868566472105359525\ 7658663763338727649636017919863463233245400362103271006832987490945\ 27/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^9 - 674636363020800648918526283435108741971150551581870\ 1858179765312102415347358483228702029368145877880167673469329553447\ 272877285247417967/669712917823677867246950809825388968780806146675\ 5982210567564328085102932624830189104610477619035237402807532090845\ 828975817239964416*c_1001_2^8 + 32314972389529503932691740361516881\ 3077300302302914482222484890567652979002170634494014586111698189072\ 6479145926459986583196505250887305/66971291782367786724695080982538\ 8968780806146675598221056756432808510293262483018910461047761903523\ 7402807532090845828975817239964416*c_1001_2^7 - 5356039268783706218156866518687586580685287961586461856638430737837\ 5981700197428745830470012172646156789539921525001647602486344488792\ 3/16742822945591946681173770245634724219520153666889955526418910820\ 2127573315620754727615261940475880935070188302271145724395430999110\ 4*c_1001_2^6 + 9469643519297257752952520954668679363866259850973106\ 8514466992763059541811895597476310525943286005970959576585667527945\ 1944497817698599/66971291782367786724695080982538896878080614667559\ 8221056756432808510293262483018910461047761903523740280753209084582\ 8975817239964416*c_1001_2^5 - 4314078525803362554989119355803917347\ 5677932944700190498377508065223867454239381583943218470023326786448\ 8210386537773766501631776145855/66971291782367786724695080982538896\ 8780806146675598221056756432808510293262483018910461047761903523740\ 2807532090845828975817239964416*c_1001_2^4 + 2244736620640882611829977226422231645135590458560088643980685541209\ 5504674584416530923437080185116206928557763660724489667412823172371\ /167428229455919466811737702456347242195201536668899555264189108202\ 1275733156207547276152619404758809350701883022711457243954309991104\ *c_1001_2^3 - 23272289234898984476536534714688849733819813213738628\ 4479305696546048999567038632812064521231370658135145068001685059746\ 80818974289/1455897647442777972275980021359541236480013362338257002\ 2972965930619788983967022150227414081780511385658277243675751802121\ 3418260096*c_1001_2^2 + 5724017165506859236061704050147482802412582\ 1089786752050558143787441899002662201042089636387427924612576651613\ 53148209514783108689613/6697129178236778672469508098253889687808061\ 4667559822105675643280851029326248301891046104776190352374028075320\ 90845828975817239964416*c_1001_2 + 1961148084706608011573340350622266432074179739361990061617803176346\ 617330380617376544802100448949258899484728209959060269486211847819/\ 3348564589118389336234754049126944843904030733377991105283782164042\ 551466312415094552305238809517618701403766045422914487908619982208, c_0101_2 - 445821667717175259434442819628065211198983234736022936854787\ 2217889909374275220438260815855598268583365143236402217073892043304\ 40355/6697129178236778672469508098253889687808061466755982210567564\ 3280851029326248301891046104776190352374028075320908458289758172399\ 64416*c_1001_2^34 + 97451234713244442691932604677278267159814694447\ 5040878716930503351723557128203489427403596399487904101024514534812\ 0791478625736353/14558976474427779722759800213595412364800133623382\ 5700229729659306197889839670221502274140817805113856582772436757518\ 021213418260096*c_1001_2^33 + 8538353982413298637708713793892598982\ 1013686714106454866370103053664065468866130011126632576661181221128\ 296375110131133142285548535/837141147279597334058688512281736210976\ 0076833444977763209455410106378665781037736380763097023794046753509\ 41511355728621977154995552*c_1001_2^32 + 1342704615280208059099969732300361922901090749898161221835526853307\ 6732489815724348201176093160283574338338001861835446398259575973685\ /669712917823677867246950809825388968780806146675598221056756432808\ 5102932624830189104610477619035237402807532090845828975817239964416\ *c_1001_2^31 - 1621662187212055445830378558002632072326004844992304\ 7887091617974423726109596083909687050217388589005066424432226978379\ 766118839714603/167428229455919466811737702456347242195201536668899\ 5552641891082021275733156207547276152619404758809350701883022711457\ 243954309991104*c_1001_2^30 + 2584805835094605014925032698841929989\ 5409503657074210028864616951830224847945645490338414841182587440690\ 1302751661574823677421692844679/66971291782367786724695080982538896\ 8780806146675598221056756432808510293262483018910461047761903523740\ 2807532090845828975817239964416*c_1001_2^29 - 4541078265616051238553750971349996983929594642665766474312213401833\ 9551473555932306185922216659383351474764622767295147782233793767739\ 9/33485645891183893362347540491269448439040307333779911052837821640\ 4255146631241509455230523880951761870140376604542291448790861998220\ 8*c_1001_2^28 + 587057528901943304491994824954965046350344539566870\ 8759542304761470144337877982072906635773123549472148364505835276888\ 59176983354328569/1674282294559194668117377024563472421952015366688\ 9955526418910820212757331562075472761526194047588093507018830227114\ 57243954309991104*c_1001_2^27 - 53860554349929942492237763646774471\ 4290283057270159328142291746478513268287818383486910071109678392962\ 9141448791557183790901889898899015/66971291782367786724695080982538\ 8968780806146675598221056756432808510293262483018910461047761903523\ 7402807532090845828975817239964416*c_1001_2^26 + 1106062794084795317974055034911044452116180851482729212611507807785\ 5689300264342775934035771961044274860851510688498344482238140968095\ 617/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^25 - 1961529614429376776466361678601388406313904028653\ 5037051769773149168018058808250501975414118656029878158857446015712\ 289335474622460325687/669712917823677867246950809825388968780806146\ 6755982210567564328085102932624830189104610477619035237402807532090\ 845828975817239964416*c_1001_2^24 + 1594021890812708342264322694545209835797933882651972850121521858991\ 6078518958743979594406574833852354770047928447193804433258279380157\ 109/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^23 - 4748426541156703284754452282873882581943213079404\ 3828980571318943836422769590485477791087955176780179559491047905675\ 449301465921665670407/669712917823677867246950809825388968780806146\ 6755982210567564328085102932624830189104610477619035237402807532090\ 845828975817239964416*c_1001_2^22 + 3164026102838272074030947165594466644674661900039233271848092550778\ 7981958703141715369228813908332689966591857103192731079043772772719\ 599/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^21 - 7962845033353670309156421236072807921315228380436\ 3002683258361171720285778488589022786737642581735131659448045737168\ 875005873865613865751/669712917823677867246950809825388968780806146\ 6755982210567564328085102932624830189104610477619035237402807532090\ 845828975817239964416*c_1001_2^20 + 9247995449870597147897559262296332397820881327638927239099111240095\ 1258846395804973146959699529172640862841606320838147652986002353594\ 443/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^19 - 4954978720727206500516908446481581749814905583552\ 5704558666047830727064997896131760262729728322306529162072440674368\ 605415646403937542581/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^18 + 5159428081456997598342212609848998178789475871717481317582986120804\ 1272669357670833217923447739584726178111326841804589834565068529648\ 437/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^17 - 4978100205683510835653564517731639051560094421795\ 9335250490779788716353933509104787947905374415422436177054559173047\ 237704802270077649307/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^16 + 9122277781843942956948593411546685607743578584863629369385716213256\ 7349555971105417184992345721691728498880481829471323169891193145474\ 429/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^15 - 1809443938307295418326080602960840908198995115673\ 2726979038449919139922111734015184104552647213765231482308905088774\ 62666821651785902239/1455897647442777972275980021359541236480013362\ 3382570022972965930619788983967022150227414081780511385658277243675\ 7518021213418260096*c_1001_2^14 + 659228510118164729734736050120346\ 2385708662083018712988956684945617871526226714674486689747562325038\ 0495001981766149285593148843952169217/66971291782367786724695080982\ 5388968780806146675598221056756432808510293262483018910461047761903\ 5237402807532090845828975817239964416*c_1001_2^13 - 6937042568834959290268682248421285038675257105924793842971861092286\ 7314364215913013382584183620529089114553308804913210063960520989706\ 91/8371411472795973340586885122817362109760076833444977763209455410\ 1063786657810377363807630970237940467535094151135572862197715499555\ 2*c_1001_2^12 + 190979798331808077472294900467095519487652277255714\ 4480781882932474596544566554060230433416055155991639902850989459848\ 6374830562388778915/33485645891183893362347540491269448439040307333\ 7799110528378216404255146631241509455230523880951761870140376604542\ 2914487908619982208*c_1001_2^11 - 144038838833551483262616305137114\ 5561111304534681835392405548021711978352597403463663394857612364310\ 6920020142114341398316520470636780149/33485645891183893362347540491\ 2694484390403073337799110528378216404255146631241509455230523880951\ 7618701403766045422914487908619982208*c_1001_2^10 + 1720562308514068969439611493313948298052322553522519233542036432718\ 4199972255172718910557205352514907636979915044814415592168339112641\ 411/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^9 - 11998449716382748156996778578812030336730124524510\ 5244760308608804827545509682901345040763574464826862617220007629690\ 03218499289419862963/6697129178236778672469508098253889687808061466\ 7559822105675643280851029326248301891046104776190352374028075320908\ 45828975817239964416*c_1001_2^8 + 645595552290994530733088098895245\ 0628997686353175812637898187018625299058556058274150957257670874361\ 937793798723400742264388605618251365/669712917823677867246950809825\ 3889687808061466755982210567564328085102932624830189104610477619035\ 237402807532090845828975817239964416*c_1001_2^7 - 9725851574847855672284823332751740580517788307053500156065268833768\ 3396687532614004705442715344035419132774810607390536421832149304874\ 3/16742822945591946681173770245634724219520153666889955526418910820\ 2127573315620754727615261940475880935070188302271145724395430999110\ 4*c_1001_2^6 + 1858935526174903234958638189125903536446761026627360\ 6860477957721514280565515890290888569285649405374341332468906631150\ 09528567452665739/6697129178236778672469508098253889687808061466755\ 9822105675643280851029326248301891046104776190352374028075320908458\ 28975817239964416*c_1001_2^5 - 813673330625805300068599514411078137\ 1687970204903136868281740097757754427107704202069190104746533322839\ 86210996444776644414136179610563/6697129178236778672469508098253889\ 6878080614667559822105675643280851029326248301891046104776190352374\ 02807532090845828975817239964416*c_1001_2^4 + 4716171276238894058267994138394199378249334394064426842185772069097\ 0872324484084948557711648334589913141060797456847034009929273317191\ /167428229455919466811737702456347242195201536668899555264189108202\ 1275733156207547276152619404758809350701883022711457243954309991104\ *c_1001_2^3 + 53034530198765255346878666630852392206602204558129654\ 1076266034258712952323030723098528069705751759934360548988523222243\ 67913886067/1455897647442777972275980021359541236480013362338257002\ 2972965930619788983967022150227414081780511385658277243675751802121\ 3418260096*c_1001_2^2 - 4036458131444658049707452164919631542922202\ 1399441092156553296619324203960697581785141505307972563245827019395\ 92193526483311846249063/6697129178236778672469508098253889687808061\ 4667559822105675643280851029326248301891046104776190352374028075320\ 90845828975817239964416*c_1001_2 + 2496481332982156863584113528004862133227867573606895986655511286260\ 9411869186217891033368302899031866579790012567349641815825649119/33\ 4856458911838933623475404912694484390403073337799110528378216404255\ 1466312415094552305238809517618701403766045422914487908619982208, c_0101_3 - 368716163497128600232535201787552886577959420796936232947261\ 2566506753562393088886189070933263470873712559279912787315298912005\ 20649/6697129178236778672469508098253889687808061466755982210567564\ 3280851029326248301891046104776190352374028075320908458289758172399\ 64416*c_1001_2^34 + 56083125850895361841891221590855594853568852451\ 4270494358465592392884773957228093769800378545683513243359438358562\ 2969516585332099/14558976474427779722759800213595412364800133623382\ 5700229729659306197889839670221502274140817805113856582772436757518\ 021213418260096*c_1001_2^33 + 9171195709844614534622836488182462888\ 6392044368593222072640712426691791258576067849086316758406984464909\ 289593070322500372801203845/837141147279597334058688512281736210976\ 0076833444977763209455410106378665781037736380763097023794046753509\ 41511355728621977154995552*c_1001_2^32 + 1130512975971867126855972158289318558012783381162381378509530127133\ 6247793704290646357335204065901450606450037586721464992958596154815\ /669712917823677867246950809825388968780806146675598221056756432808\ 5102932624830189104610477619035237402807532090845828975817239964416\ *c_1001_2^31 - 1259386299468434180165960515921602225182288271503215\ 0712034165313840129904631083004761702719158483879274502137470151591\ 817969851451041/167428229455919466811737702456347242195201536668899\ 5552641891082021275733156207547276152619404758809350701883022711457\ 243954309991104*c_1001_2^30 + 1955108232288033106147060068800152784\ 9636099025099525199362762118998174839417536536734294075441893470256\ 9973034431681374424162127722229/66971291782367786724695080982538896\ 8780806146675598221056756432808510293262483018910461047761903523740\ 2807532090845828975817239964416*c_1001_2^29 - 3401405012298352579644413249108443229407597877666436870120029572482\ 7575170170041971713089038399040519750532391214975517322918090829219\ 7/33485645891183893362347540491269448439040307333779911052837821640\ 4255146631241509455230523880951761870140376604542291448790861998220\ 8*c_1001_2^28 + 422770531112650310103411129142121464730727887323699\ 3533458854704329757298427726293933329512882189392981334006608877258\ 32710953628285899/1674282294559194668117377024563472421952015366688\ 9955526418910820212757331562075472761526194047588093507018830227114\ 57243954309991104*c_1001_2^27 - 37889516441369581123741574331363643\ 8573070675006668129447973998041601502816875368070796685083473634310\ 7517062275628638176051788986643765/66971291782367786724695080982538\ 8968780806146675598221056756432808510293262483018910461047761903523\ 7402807532090845828975817239964416*c_1001_2^26 + 7635369562045496733149164035910796368228942834377641008302815355647\ 9252961082910373143882604845724180594581106756154913061800019315118\ 43/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^25 - 13096147744179980307829710975608983863653719785875\ 6980905063605971270534214014534303325628849170434399785442127114245\ 61141032092468742661/6697129178236778672469508098253889687808061466\ 7559822105675643280851029326248301891046104776190352374028075320908\ 45828975817239964416*c_1001_2^24 + 1038878770541435962742574498139856879394274835898629301965880841697\ 3203264122396946293364276900138063284995751491491679797786946389869\ 503/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^23 - 3024604690101915669135247904991505972335590380847\ 6767804883893295288420821322256175580284622638076684932185668964405\ 265838026194993616501/669712917823677867246950809825388968780806146\ 6755982210567564328085102932624830189104610477619035237402807532090\ 845828975817239964416*c_1001_2^22 + 1940700659100549032935864250504557367126341743123993344178228237394\ 4380039714913804165901077393617548413414656217951418247106709002986\ 029/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^21 - 4775103012449486299209826838125596732373417862513\ 4070818365888920588702806490304749809383562408167777116302002539894\ 622343528964878608549/669712917823677867246950809825388968780806146\ 6755982210567564328085102932624830189104610477619035237402807532090\ 845828975817239964416*c_1001_2^20 + 5388694011710777190888501125089437632394998664428320090659567862120\ 7570106032659211006139760229673435392320292990589530328797411221615\ 809/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^19 - 2768069101608163567008011202922524526775456788260\ 9291142959820957578738522524821727901563536469757244249519642817906\ 961943635543647413439/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^18 + 2843752953490068880315815013399160266830307914948859605571565462748\ 3004559518957494516426567292313376764668517866865947435745571356998\ 975/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^17 - 2640971631032289767274433260168477933468659622412\ 1148776415492028863266988779543719017976507294074684857027271698261\ 943265567423830595761/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^16 + 4627052814099546138790913342581390140004670341185420311228638724467\ 8124595773997523680009608927458614991976519846782640498046084011885\ 463/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^15 - 9237893888056526535816491281297517452466349383581\ 1728661162441666911186358216379441318108489218232449930751284155783\ 4785466051672380861/14558976474427779722759800213595412364800133623\ 3825700229729659306197889839670221502274140817805113856582772436757\ 518021213418260096*c_1001_2^14 + 3031364693567250967530927970427532\ 8404331669203241234914301827181501961515602437027134113814790691734\ 530185783559205087708496990207100835/669712917823677867246950809825\ 3889687808061466755982210567564328085102932624830189104610477619035\ 237402807532090845828975817239964416*c_1001_2^13 - 3236979424376217941733800437781254047580241088799033235132005222248\ 4325015314596573086067212441554825920231643392349506088884342960976\ 73/8371411472795973340586885122817362109760076833444977763209455410\ 1063786657810377363807630970237940467535094151135572862197715499555\ 2*c_1001_2^12 + 801030422734984308023033446836148227162880410617079\ 1147497409832973879496756761267600527812304194637467054610521269350\ 234985506933324361/334856458911838933623475404912694484390403073337\ 7991105283782164042551466312415094552305238809517618701403766045422\ 914487908619982208*c_1001_2^11 - 5756943107335962048206648876217556\ 9569013758465244798619690634876417020542943733261178100244644440354\ 10181311198557662414440448822008191/3348564589118389336234754049126\ 9448439040307333779911052837821640425514663124150945523052388095176\ 18701403766045422914487908619982208*c_1001_2^10 + 6218921227817497630277640077463592166134296972736909700028797328055\ 3776990606200958669644249172823196902993982032742641612569456406948\ 89/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^9 - 421325799017849508206575015531362206313274435477302\ 4451983398585866028031660778543448223666020623241851749197957489978\ 790560752788937209/669712917823677867246950809825388968780806146675\ 5982210567564328085102932624830189104610477619035237402807532090845\ 828975817239964416*c_1001_2^8 + 18761033515401481136961922179994651\ 7229674545569735525005820784817043092447334644205444685125780773536\ 6676489114262558194237270133719375/66971291782367786724695080982538\ 8968780806146675598221056756432808510293262483018910461047761903523\ 7402807532090845828975817239964416*c_1001_2^7 - 2635748540221640721060944384941518263978599212052895496216964412913\ 0384398143181209276983154622650462999087020847936680011338417342261\ 3/16742822945591946681173770245634724219520153666889955526418910820\ 2127573315620754727615261940475880935070188302271145724395430999110\ 4*c_1001_2^6 + 4027549006050302193720087553368812632672111189683781\ 5163736872004766953348475638730980702527873034140848092210342125827\ 4661249400455297/66971291782367786724695080982538896878080614667559\ 8221056756432808510293262483018910461047761903523740280753209084582\ 8975817239964416*c_1001_2^5 - 4783287466912924314725807424466001084\ 3120600479759885706650472098384528171276790649990001856453723924017\ 711054868631476157641320920105/669712917823677867246950809825388968\ 7808061466755982210567564328085102932624830189104610477619035237402\ 807532090845828975817239964416*c_1001_2^4 - 2445527696485420891508262957930511720000631081207524069492839963757\ 7649123545047194532551918260349375016045101558973329016213047534539\ /167428229455919466811737702456347242195201536668899555264189108202\ 1275733156207547276152619404758809350701883022711457243954309991104\ *c_1001_2^3 + 14266516157366021384736333175171715250747708439455256\ 8433417120479423938805826349782926634099134634485437838577329013038\ 0891984386105/14558976474427779722759800213595412364800133623382570\ 0229729659306197889839670221502274140817805113856582772436757518021\ 213418260096*c_1001_2^2 - 10446345387663372389809386363886482317706\ 2352655384258417229867072443062636496630587541024270989511608872448\ 24996990401632169081337493/6697129178236778672469508098253889687808\ 0614667559822105675643280851029326248301891046104776190352374028075\ 32090845828975817239964416*c_1001_2 + 1306502538255449931130562399012023285687239928825886833852516075755\ 680809122422097168627428773653573742379122409464359547629815981309/\ 3348564589118389336234754049126944843904030733377991105283782164042\ 551466312415094552305238809517618701403766045422914487908619982208, c_0101_8 - 119356319245504231156387173808468962282148462721964151797592\ 8200185811717387742025099158481194727951645992146496307029652935030\ 75339/6697129178236778672469508098253889687808061466755982210567564\ 3280851029326248301891046104776190352374028075320908458289758172399\ 64416*c_1001_2^34 + 43345355107741992760482182235376010940507807215\ 7723236398237137372587022699159471463505895727096288517280821595957\ 2408745188090905/14558976474427779722759800213595412364800133623382\ 5700229729659306197889839670221502274140817805113856582772436757518\ 021213418260096*c_1001_2^33 + 9754260477556377102976899735367426632\ 9230861726442161988758566062536452084044850171624944652728037911033\ 33430518865916248022032671/8371411472795973340586885122817362109760\ 0768334449777632094554101063786657810377363807630970237940467535094\ 1511355728621977154995552*c_1001_2^32 + 3472280826257661847195392686773569126683173586250736798996515100361\ 553537273663928477203858676196628575658976728457868078496648482317/\ 6697129178236778672469508098253889687808061466755982210567564328085\ 102932624830189104610477619035237402807532090845828975817239964416*\ c_1001_2^31 - 49184733727092949269523499820162554625262465239955617\ 1429341149789063117588150114947668198373274373999481289711408658612\ 1531859356051/16742822945591946681173770245634724219520153666889955\ 5264189108202127573315620754727615261940475880935070188302271145724\ 3954309991104*c_1001_2^30 + 815444739600128134694862886895338239467\ 2274673143553307915566029485169667794378278932001008988257975705564\ 4987673981681273381879669455/66971291782367786724695080982538896878\ 0806146675598221056756432808510293262483018910461047761903523740280\ 7532090845828975817239964416*c_1001_2^29 - 1460378562498312547162104332915574857397802908463038746165972366448\ 4571023734255973968876982371535287591181524365204042832371070488835\ 1/33485645891183893362347540491269448439040307333779911052837821640\ 4255146631241509455230523880951761870140376604542291448790861998220\ 8*c_1001_2^28 + 200129636278571533632114186765782911223879161765686\ 2481910348560829088490652516621256707275174548570540925257865186924\ 24729772863724337/1674282294559194668117377024563472421952015366688\ 9955526418910820212757331562075472761526194047588093507018830227114\ 57243954309991104*c_1001_2^27 - 18938718922341461514878030694726814\ 0354301341281172755291329874619674251173854900394223605123769953455\ 5567899884344327735026174222444943/66971291782367786724695080982538\ 8968780806146675598221056756432808510293262483018910461047761903523\ 7402807532090845828975817239964416*c_1001_2^26 + 3991124462930566703527612815981072111840644347754945993427493682554\ 1408952923670700006662612690938135256467507835269128480606428607441\ 85/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^25 - 73598805869083511122037316758251527221909215628715\ 7296977434709799325154719310477510540893893620490843019489432147839\ 9819762039975237375/66971291782367786724695080982538896878080614667\ 5598221056756432808510293262483018910461047761903523740280753209084\ 5828975817239964416*c_1001_2^24 + 613828853421913657385045377557123\ 7236529781554414806646650005708904864281896420882888201159839872944\ 022288793936253522690172604685092749/334856458911838933623475404912\ 6944843904030733377991105283782164042551466312415094552305238809517\ 618701403766045422914487908619982208*c_1001_2^23 - 1872285299325382439944564857391394498267290205043069824581433031282\ 1176232820034961529822338738190571066647629831602729810494007507595\ 343/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^22 + 1290679820252303966721500957296354114215243342567\ 5544552139051020013717430051385987447728117150311471087389477107619\ 589660082623831148791/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^21 - 3304513270476221227482620559415823210884037287034394008036639624051\ 3247878704286536600325187391241014733977257656784773805942448642526\ 431/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^20 + 3921165931011285231390834123747336683348336545260\ 1570943577365041247356579618305234966725271037450477597313888815689\ 850547613903591101299/669712917823677867246950809825388968780806146\ 6755982210567564328085102932624830189104610477619035237402807532090\ 845828975817239964416*c_1001_2^19 - 2155506538630357631925770825696250191889830955597330312984670909894\ 1892001429665686975785733956650792504717784146250341728701156579187\ 469/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^18 + 2254635781216862532015262456127755722679340157117\ 0944421420492246059476904897425869240140336524242292863802644210142\ 914700840357922263565/334856458911838933623475404912694484390403073\ 3377991105283782164042551466312415094552305238809517618701403766045\ 422914487908619982208*c_1001_2^17 - 2218019799053135373808228060553183342522154874941922291324212755295\ 7507828708933840587609937697756019052958871696307407538005706829788\ 355/334856458911838933623475404912694484390403073337799110528378216\ 4042551466312415094552305238809517618701403766045422914487908619982\ 208*c_1001_2^16 + 4136460077521719687814388211641288915094334292521\ 2697843222173821243432007740019482676386122485863321845826513184212\ 321724047019205662997/669712917823677867246950809825388968780806146\ 6755982210567564328085102932624830189104610477619035237402807532090\ 845828975817239964416*c_1001_2^15 - 8132791142882487018078460450316614752897565882070653403663508230043\ 0391698156855871797840731900020667172143857288528694793200913918519\ 1/14558976474427779722759800213595412364800133623382570022972965930\ 6197889839670221502274140817805113856582772436757518021213418260096\ *c_1001_2^14 + 3106452848192671045256720431277467544274908625166776\ 1605352663862626807592345373437078777383244396919182664004746523703\ 356435640705203065/669712917823677867246950809825388968780806146675\ 5982210567564328085102932624830189104610477619035237402807532090845\ 828975817239964416*c_1001_2^13 - 3184269443543348466122913342965608\ 1472112784857966954701510611978281959131930464623097973329280883145\ 15658908656610472401121809092610923/8371411472795973340586885122817\ 3621097600768334449777632094554101063786657810377363807630970237940\ 4675350941511355728621977154995552*c_1001_2^12 + 9291320282854244059755512673601983850009593700807661066131344868990\ 0452381857214073828835451562498507236001456709845680357596632078499\ 95/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^11 - 67011634327147359816984827761437511589119317869213\ 0193559992928087285844702405198689885757182707474019912181097398194\ 0615830961914416717/33485645891183893362347540491269448439040307333\ 7799110528378216404255146631241509455230523880951761870140376604542\ 2914487908619982208*c_1001_2^10 + 871397667115808603078394712569331\ 6775539493223828018583383467822764228327687618031480645854145175617\ 490308520904810048990936693972280043/669712917823677867246950809825\ 3889687808061466755982210567564328085102932624830189104610477619035\ 237402807532090845828975817239964416*c_1001_2^9 - 5432352770037806372276666004219337124589604393064360777196355616888\ 8649948206657799113526457254861985399671197381087392331695265514843\ 15/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^8 + 334674026391556111786263031107775665929375888012361\ 0330638715309453606200005302546074237690458475465116345892609048773\ 209011209430028221/669712917823677867246950809825388968780806146675\ 5982210567564328085102932624830189104610477619035237402807532090845\ 828975817239964416*c_1001_2^7 - 45254368189751648387649668591191648\ 1126960335267835322878788744806251290258688323931933088093907770745\ 802662866731953385005416990631023/167428229455919466811737702456347\ 2421952015366688995552641891082021275733156207547276152619404758809\ 350701883022711457243954309991104*c_1001_2^6 + 9497137019527438491419301577839518802317697684703952172068533117051\ 6036461219367372145541952144230201713949633699635474551438408706193\ 9/66971291782367786724695080982538896878080614667559822105675643280\ 8510293262483018910461047761903523740280753209084582897581723996441\ 6*c_1001_2^5 - 4117332130906126927433741998685984197252065835040142\ 0262190064983828443764323262757106026692572556503382026522204515602\ 1739137786656043/66971291782367786724695080982538896878080614667559\ 8221056756432808510293262483018910461047761903523740280753209084582\ 8975817239964416*c_1001_2^4 + 3031840503114311107133976552982834004\ 4547026916400514819684285716650371215257512065751838567372550777500\ 704978515485638415197157497487/167428229455919466811737702456347242\ 1952015366688995552641891082021275733156207547276152619404758809350\ 701883022711457243954309991104*c_1001_2^3 + 8895188980406508944954164762357854755365106701768077537144349401719\ 7649236475245081632016859160272896910894474701310997957599216091/14\ 5589764744277797227598002135954123648001336233825700229729659306197\ 889839670221502274140817805113856582772436757518021213418260096*c_1\ 001_2^2 - 168130356942819139129551046110995402594908272920405846946\ 6445173144572482425670623935185792768851533346128206753249953963674\ 0378706607/66971291782367786724695080982538896878080614667559822105\ 6756432808510293262483018910461047761903523740280753209084582897581\ 7239964416*c_1001_2 - 947161399171238312795573573059513196649879299\ 3533371868880829027465161342771795661663225891961280139674387840516\ 58143194323497098393/3348564589118389336234754049126944843904030733\ 3779911052837821640425514663124150945523052388095176187014037660454\ 22914487908619982208, c_0110_4 + 125708715662984476621992216562275551358939923215373260420754\ 0721961219299025037326723851123783333799774968052294947848953133235\ 6933/66971291782367786724695080982538896878080614667559822105675643\ 2808510293262483018910461047761903523740280753209084582897581723996\ 4416*c_1001_2^34 + 205462570368708279500670787402636948929186319234\ 0325943673978698168442820252630838964156568778914206527321144494852\ 171227265439913/145589764744277797227598002135954123648001336233825\ 7002297296593061978898396702215022741408178051138565827724367575180\ 21213418260096*c_1001_2^33 - 14232935676416961046343206618292226893\ 5370578463013391525088133502147751162461022255113329965874159546836\ 86335349789302735442486897/8371411472795973340586885122817362109760\ 0768334449777632094554101063786657810377363807630970237940467535094\ 1511355728621977154995552*c_1001_2^32 - 5778848834503000213345972834126964649417619897775575872925960011015\ 05548607032245467481013676550784307721903732701334850051511923491/6\ 6971291782367786724695080982538896878080614667559822105675643280851\ 02932624830189104610477619035237402807532090845828975817239964416*c\ _1001_2^31 - 353463510260419184312363842554920754576259906457271178\ 7119777096971178413245791466170892702946979951276771490000436408030\ 55467224707/1674282294559194668117377024563472421952015366688995552\ 6418910820212757331562075472761526194047588093507018830227114572439\ 54309991104*c_1001_2^30 + 79674043838567849371894241993164090867121\ 8189401310451802364795829693172494574011876398909267421077227338799\ 5552763513780414708395711/66971291782367786724695080982538896878080\ 6146675598221056756432808510293262483018910461047761903523740280753\ 2090845828975817239964416*c_1001_2^29 - 1695304606059098198418199217213690379694726111082052457090651329239\ 3473547807239262045912525711818152000677274130256073321247937920783\ /334856458911838933623475404912694484390403073337799110528378216404\ 2551466312415094552305238809517618701403766045422914487908619982208\ *c_1001_2^28 + 3544063811772232690643875711474225551632919143381462\ 5999158559081759694252741769762220194499012182113672391056676781426\ 211112176506305/167428229455919466811737702456347242195201536668899\ 5552641891082021275733156207547276152619404758809350701883022711457\ 243954309991104*c_1001_2^27 - 3759616019755000228712996531740222019\ 6732723982550505156846499384764181060287773984877051224258870864671\ 1132801250027534122297913361535/66971291782367786724695080982538896\ 8780806146675598221056756432808510293262483018910461047761903523740\ 2807532090845828975817239964416*c_1001_2^26 + 8798222127735325909749690089931976787877007859408860994643779438447\ 5719859255995816904738391479364953683702344850928427005313925996352\ 9/66971291782367786724695080982538896878080614667559822105675643280\ 8510293262483018910461047761903523740280753209084582897581723996441\ 6*c_1001_2^25 - 186942730913601443620045142645998971551755265048753\ 1364204234341985948907262526670510956942500350120888856669395418594\ 626415539690792943/669712917823677867246950809825388968780806146675\ 5982210567564328085102932624830189104610477619035237402807532090845\ 828975817239964416*c_1001_2^24 + 1662425808239046593892992300151464\ 5641500103037171723326608625480033504497341237680902139347961992479\ 62963310447916696865720846226612317/3348564589118389336234754049126\ 9448439040307333779911052837821640425514663124150945523052388095176\ 18701403766045422914487908619982208*c_1001_2^23 - 5422057613884923143741473377912667210581509594320467559230817768338\ 8032008259064680417241544772825087610846231999290801473258543877123\ 19/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^22 + 40838682377186366657614414189753038738387298716577\ 2640157767715150599346838557105231219950047390049210987897812418173\ 7598667924869152615/33485645891183893362347540491269448439040307333\ 7799110528378216404255146631241509455230523880951761870140376604542\ 2914487908619982208*c_1001_2^21 - 107671872449324807436266645253442\ 4230765508378819576478563617258667510081654457302950037840362012576\ 8165588199195746951874190005483046095/66971291782367786724695080982\ 5388968780806146675598221056756432808510293262483018910461047761903\ 5237402807532090845828975817239964416*c_1001_2^20 + 1352689045212924429528371042470815152770970671838567054689417841803\ 9823542873607287878769850995316326928785390908559562195164652550721\ 443/669712917823677867246950809825388968780806146675598221056756432\ 8085102932624830189104610477619035237402807532090845828975817239964\ 416*c_1001_2^19 - 7851297039308184657037253563876850304696055900095\ 4305467792445904535104303427161235977774597086497110144209981913920\ 86760957682767064413/3348564589118389336234754049126944843904030733\ 3779911052837821640425514663124150945523052388095176187014037660454\ 22914487908619982208*c_1001_2^18 + 8246044343312741393894873600090911167294577225297093620361062269734\ 0657011855385660086611473569333344541474654189357545064923931120921\ 25/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^17 - 85869730243238862440990920076435665339063561419669\ 4134804153828396447685068639110591086096136076935545867597689193388\ 5393580059244543475/33485645891183893362347540491269448439040307333\ 7799110528378216404255146631241509455230523880951761870140376604542\ 2914487908619982208*c_1001_2^16 + 164467242859019918826390976633856\ 0444944288144443636392919181673513554129055103517312186238101928247\ 6520400715349059271139329603372164709/66971291782367786724695080982\ 5388968780806146675598221056756432808510293262483018910461047761903\ 5237402807532090845828975817239964416*c_1001_2^15 - 3185309228933297168984742788782831751319999186328296159289709868422\ 4338321602964069850049960789480706154026032049104357152997082687951\ 1/14558976474427779722759800213595412364800133623382570022972965930\ 6197889839670221502274140817805113856582772436757518021213418260096\ *c_1001_2^14 + 1363030437893306931742673632585579460588220918591305\ 9663396297670819798267610057580621384881476316090121593773152929053\ 076465657197482249/669712917823677867246950809825388968780806146675\ 5982210567564328085102932624830189104610477619035237402807532090845\ 828975817239964416*c_1001_2^13 - 1288044187590741990287551443320036\ 9463314257153042985269191852059216389304510389443469942454151404247\ 18436041504374784394168574835383035/8371411472795973340586885122817\ 3621097600768334449777632094554101063786657810377363807630970237940\ 4675350941511355728621977154995552*c_1001_2^12 + 4393096544792505796121284796256084762549878892864677514995265601399\ 2883897831654002074173403503820017153940734896572208714003051339910\ 99/3348564589118389336234754049126944843904030733377991105283782164\ 0425514663124150945523052388095176187014037660454229144879086199822\ 08*c_1001_2^11 - 28863952150573422037673516422991837740367897865710\ 3612742987307217499931901287777051704219097562936320911216892378925\ 6257459831960771741/33485645891183893362347540491269448439040307333\ 7799110528378216404255146631241509455230523880951761870140376604542\ 2914487908619982208*c_1001_2^10 + 440306626816520476567920492047553\ 9273815472372920137646572182961115318329511330411217573596715845475\ 169661404030797815376601524385560475/669712917823677867246950809825\ 3889687808061466755982210567564328085102932624830189104610477619035\ 237402807532090845828975817239964416*c_1001_2^9 - 2383308235325340360528760980618977220343420615033882636576474289287\ 8079273857434399386205471114980752051757038390706236617667801328205\ 55/6697129178236778672469508098253889687808061466755982210567564328\ 0851029326248301891046104776190352374028075320908458289758172399644\ 16*c_1001_2^8 + 180208483980196241505499311113786512729099710989941\ 2425535640301536376865704224837152928099452730550311462599414924440\ 322272911857284493/669712917823677867246950809825388968780806146675\ 5982210567564328085102932624830189104610477619035237402807532090845\ 828975817239964416*c_1001_2^7 - 21267499264789311178097274103097559\ 1969859613032055930562820454994757230901470039612000376269202955248\ 191957438197734445674342473310367/167428229455919466811737702456347\ 2421952015366688995552641891082021275733156207547276152619404758809\ 350701883022711457243954309991104*c_1001_2^6 + 5376161948609506232137100360085901017553985546162305174206718645043\ 7105839966193850693869590412688246885501265754773575223000820466096\ 3/66971291782367786724695080982538896878080614667559822105675643280\ 8510293262483018910461047761903523740280753209084582897581723996441\ 6*c_1001_2^5 - 2427887883630201087325671301036687363339038540880964\ 5474216915496112830852255324492828457279841795423422848419764068654\ 7995199410275803/66971291782367786724695080982538896878080614667559\ 8221056756432808510293262483018910461047761903523740280753209084582\ 8975817239964416*c_1001_2^4 + 2366395921209514830297302920709867694\ 7208269500979105904571074841452321054131350254778902286231791651435\ 010851293685653019813667471039/167428229455919466811737702456347242\ 1952015366688995552641891082021275733156207547276152619404758809350\ 701883022711457243954309991104*c_1001_2^3 - 1103250917306079845566705693220578156667653427388229318975876645991\ 67952054998364552783638382486010310632150489958115828553125262453/1\ 4558976474427779722759800213595412364800133623382570022972965930619\ 7889839670221502274140817805113856582772436757518021213418260096*c_\ 1001_2^2 - 12608895604012362855911800447028828230087961369973449498\ 8240937666991203625971546761954676571903749151616501979477259521163\ 08729291679/6697129178236778672469508098253889687808061466755982210\ 5675643280851029326248301891046104776190352374028075320908458289758\ 17239964416*c_1001_2 - 15048047170247240386417826586510289368935278\ 9966267033986477287848507110525643922328682644450356858847978261918\ 0049261134048454429993/33485645891183893362347540491269448439040307\ 3337799110528378216404255146631241509455230523880951761870140376604\ 5422914487908619982208, c_0110_6 + 150998049828447865401300355023482331805899451587960745813206\ 2903512966115890453123731592315397443505267243236185622890756357280\ 5/10464264340994966675733606403521702637200096041806222204011819262\ 6329733322262971704759538712797425584418867688919466077747144374444\ *c_1001_2^34 - 2466394047648386677691770603670715512599567660608187\ 1520480921174735465050937075170493671454568049136730801459054150742\ 949653089/227484007412934058168121878337428318200002087865352656608\ 9525926659342028744847210973033450278204904009105819324336219081459\ 660314*c_1001_2^33 - 1990010333785419138463409333596797812781807308\ 6777589562496359826700852399854890995458755272693551416562536338640\ 4525024012051904/26160660852487416689334016008804256593000240104515\ 5555100295481565824333305657429261898846781993563961047169222298665\ 19436786093611*c_1001_2^32 + 26045204712000379472101859479652926346\ 6350679174844124369283075221977790327750213869798788367285957286995\ 3709761722637751348426313/10464264340994966675733606403521702637200\ 0960418062222040118192626329733322262971704759538712797425584418867\ 688919466077747144374444*c_1001_2^31 + 9988120247639351951956390305801701666757280108316947135753053977450\ 846371396379780688960615118816828070577974356004730320053633477/261\ 6066085248741668933401600880425659300024010451555551002954815658243\ 3330565742926189884678199356396104716922229866519436786093611*c_100\ 1_2^30 - 1134158957935583431437287302296400034344596699243512892067\ 5156214600648643456698589235399063257460632778414160775695628172458\ 3458417/10464264340994966675733606403521702637200096041806222204011\ 8192626329733322262971704759538712797425584418867688919466077747144\ 374444*c_1001_2^29 + 2096015999061464526007785418666396762611863992\ 5994388012572460714417749272210193812968369917014357666700278892637\ 2505827349421511129/52321321704974833378668032017608513186000480209\ 0311110200590963131648666611314858523797693563987127922094338444597\ 33038873572187222*c_1001_2^28 - 33997787994813037253689725278378975\ 7138943646386243430703901961699738723868558791095000013263533948204\ 821667088258954394830068871048/261606608524874166893340160088042565\ 9300024010451555551002954815658243333056574292618988467819935639610\ 4716922229866519436786093611*c_1001_2^27 + 2598332974341114110593321345709553759743809907287813891659513182350\ 824073460451097775793514982926160431462645146169007632377883923105/\ 1046426434099496667573360640352170263720009604180622220401181926263\ 29733322262971704759538712797425584418867688919466077747144374444*c\ _1001_2^26 - 527862085918294193905720567767341312493637525532535162\ 3016815972011368689207845388370397787293465126706243574828244918855\ 074965198955/104642643409949666757336064035217026372000960418062222\ 0401181926263297333222629717047595387127974255844188676889194660777\ 47144374444*c_1001_2^25 + 92451429586415333330817272025561329546292\ 4733558375909893874064760411717447401572267742855738124487048458443\ 3834391230120567951646529/10464264340994966675733606403521702637200\ 0960418062222040118192626329733322262971704759538712797425584418867\ 688919466077747144374444*c_1001_2^24 - 5856435653554965804608996851151041660748279732322074484394094883203\ 582079016797661577940889298448397845113193453163805330313296231923/\ 5232132170497483337866803201760851318600048020903111102005909631316\ 4866661131485852379769356398712792209433844459733038873572187222*c_\ 1001_2^23 + 1572318946334315680475125422505663711912269512318667043\ 8683813164718637852992430490795577316151662286274105997200464443642\ 924402572121/104642643409949666757336064035217026372000960418062222\ 0401181926263297333222629717047595387127974255844188676889194660777\ 47144374444*c_1001_2^22 - 86255810177038080157589369907443215506012\ 9611660828546819606047666494207441236685173936453159354682028819176\ 2187671596182555701989139/52321321704974833378668032017608513186000\ 4802090311110200590963131648666611314858523797693563987127922094338\ 44459733038873572187222*c_1001_2^21 + 1018707295691499972103754316060392756325997107271755276806956790961\ 2887590315200409890330282831833474387568076285278073945454400159813\ /104642643409949666757336064035217026372000960418062222040118192626\ 329733322262971704759538712797425584418867688919466077747144374444*\ c_1001_2^20 - 96118105133791732757782728613571548488572104547704498\ 2810706237074665356970794734220989203461829760414360805533326779782\ 8195455390221/10464264340994966675733606403521702637200096041806222\ 2040118192626329733322262971704759538712797425584418867688919466077\ 747144374444*c_1001_2^19 - 9668403237914827188744541301367396619568\ 1396278515254418786902652723990916694371236528051910856551108027673\ 5655485150514727601332417/52321321704974833378668032017608513186000\ 4802090311110200590963131648666611314858523797693563987127922094338\ 44459733038873572187222*c_1001_2^18 + 8200784880901039772316260560541469529997342029484174172309127662186\ 715060606570326295174845724554679441053692678408264046247661682149/\ 5232132170497483337866803201760851318600048020903111102005909631316\ 4866661131485852379769356398712792209433844459733038873572187222*c_\ 1001_2^17 - 6413796481468949788199667910658387997334371916859309721\ 6663479843785544072861679852078194573806628421811550818356484653287\ 47195408945/5232132170497483337866803201760851318600048020903111102\ 0059096313164866661131485852379769356398712792209433844459733038873\ 572187222*c_1001_2^16 + 3149851092900807406462021350968976592638908\ 3394904467163670214806830637945195310434251387717291840105256738711\ 541850313499099878399433/104642643409949666757336064035217026372000\ 9604180622220401181926263297333222629717047595387127974255844188676\ 88919466077747144374444*c_1001_2^15 - 7502829044972884607087412735800268564042126991849641921424314782732\ 92524953286251931469952154468161094807961433809408198371233553647/2\ 2748400741293405816812187833742831820000208786535265660895259266593\ 42028744847210973033450278204904009105819324336219081459660314*c_10\ 01_2^14 + 220243374160866547700595656873072485694467710599829533114\ 4096686342672159274270388529699332867583159828456740890549152921807\ 4717668417/10464264340994966675733606403521702637200096041806222204\ 0118192626329733322262971704759538712797425584418867688919466077747\ 144374444*c_1001_2^13 - 1271615748265422344686802874351785283836674\ 8819254684538854315604650228263150251020152563045038177960951559499\ 780830546181479792542251/261606608524874166893340160088042565930002\ 4010451555551002954815658243333056574292618988467819935639610471692\ 2229866519436786093611*c_1001_2^12 + 8294650249290685752142119411713965392880703487742711695779662236420\ 167629547959681983531782920653638722773272429394162738218434871729/\ 5232132170497483337866803201760851318600048020903111102005909631316\ 4866661131485852379769356398712792209433844459733038873572187222*c_\ 1001_2^11 - 1858884380717319080671071605461827869169287175025101665\ 1419143447636435685573926606651605845664815039096863288914281275597\ 755075883317/523213217049748333786680320176085131860004802090311110\ 2005909631316486666113148585237976935639871279220943384445973303887\ 3572187222*c_1001_2^10 + 164585186099017985266268788313573082067928\ 2122166580426338734834615202652814120369983716015569927892698532702\ 8733048835837530220232915/10464264340994966675733606403521702637200\ 0960418062222040118192626329733322262971704759538712797425584418867\ 688919466077747144374444*c_1001_2^9 - 1678978460546632311482984487982223236065389316182668959340502877186\ 4557779360867031156816142888961415667989209225091747164304932321263\ /104642643409949666757336064035217026372000960418062222040118192626\ 329733322262971704759538712797425584418867688919466077747144374444*\ c_1001_2^8 + 918217905822285543610609894067611385775539284508339463\ 1574036972026824857342121651809772843588180852299703388018491080754\ 785955437761/104642643409949666757336064035217026372000960418062222\ 0401181926263297333222629717047595387127974255844188676889194660777\ 47144374444*c_1001_2^7 - 185027399439763658375659097442857508962851\ 8343408084950171181086703455607336575316966299564198665509434932410\ 780059568079370394156420/261606608524874166893340160088042565930002\ 4010451555551002954815658243333056574292618988467819935639610471692\ 2229866519436786093611*c_1001_2^6 + 4171002606106603408834856290557150655709910170521308184545275688840\ 626924173443202594591440600353263758957459680350633180767432957995/\ 1046426434099496667573360640352170263720009604180622220401181926263\ 29733322262971704759538712797425584418867688919466077747144374444*c\ _1001_2^5 - 2196291952239881738509756720730957834949423959104817723\ 2331912131847511212640360993388361857844646447970547131755143981080\ 69762604683/1046426434099496667573360640352170263720009604180622220\ 4011819262632973332226297170475953871279742558441886768891946607774\ 7144374444*c_1001_2^4 + 4147896707651412351901382060325834882316721\ 9840926223498240618013978320875331415561028268439756110275345354047\ 0213040689831715044505/26160660852487416689334016008804256593000240\ 1045155555100295481565824333305657429261898846781993563961047169222\ 29866519436786093611*c_1001_2^3 - 730045368964649455015378498501119\ 6841038301827262036574329558000992750095144879901868789914201696360\ 374658356648543395793884937487/227484007412934058168121878337428318\ 2000020878653526566089525926659342028744847210973033450278204904009\ 105819324336219081459660314*c_1001_2^2 - 2028257699988556962596630745501728713725439750224312226635711674754\ 6609475174772357469874879780871566195830352293410211155331639459/10\ 4642643409949666757336064035217026372000960418062222040118192626329\ 733322262971704759538712797425584418867688919466077747144374444*c_1\ 001_2 - 56909315996221603178686471232743456883324918091301359661813\ 3145028223329835212904022809356390211317367103715423141269445481055\ 7815/52321321704974833378668032017608513186000480209031111020059096\ 3131648666611314858523797693563987127922094338444597330388735721872\ 22, c_1001_2^35 - 28/59*c_1001_2^34 - 108/59*c_1001_2^33 - 1837/59*c_1001_2^32 + 7614/59*c_1001_2^31 - 30071/59*c_1001_2^30 + 104004/59*c_1001_2^29 - 254608/59*c_1001_2^28 + 574567/59*c_1001_2^27 - 1152943/59*c_1001_2^26 + 1970841/59*c_1001_2^25 - 3149504/59*c_1001_2^24 + 4579363/59*c_1001_2^23 - 5892084/59*c_1001_2^22 + 7345339/59*c_1001_2^21 - 8272617/59*c_1001_2^20 + 8631560/59*c_1001_2^19 - 8997150/59*c_1001_2^18 + 8324682/59*c_1001_2^17 - 7555777/59*c_1001_2^16 + 6956452/59*c_1001_2^15 - 4961661/59*c_1001_2^14 + 4638466/59*c_1001_2^13 - 2604646/59*c_1001_2^12 + 2335414/59*c_1001_2^11 - 1083775/59*c_1001_2^10 + 948809/59*c_1001_2^9 - 377195/59*c_1001_2^8 + 287502/59*c_1001_2^7 - 104187/59*c_1001_2^6 + 44841/59*c_1001_2^5 - 4858/59*c_1001_2^4 - 2914/59*c_1001_2^3 - 1277/59*c_1001_2^2 - 660/59*c_1001_2 - 212/59 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.280 Total time: 9.490 seconds, Total memory usage: 82.38MB