Magma V2.19-8 Tue Aug 20 2013 23:57:58 on localhost [Seed = 2446850357] Type ? for help. Type -D to quit. Loading file "K13a646__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a646 geometric_solution 10.91800656 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 -18 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.532430114473 0.705050921844 0 5 3 6 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 18 0 0 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.251717974607 0.544110451905 7 0 8 6 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -18 0 0 18 0 -18 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.377626979109 1.157490668506 1 9 8 0 2103 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.172082225958 0.794960512906 8 10 0 11 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 18 -19 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.294718070450 1.189079546084 9 1 12 12 0213 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19 0 0 -19 -19 0 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.897376368105 1.007149823888 2 9 1 7 3201 1302 0132 1302 0 0 0 0 0 0 0 0 -1 0 0 1 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 -18 0 -1 19 1 0 0 -1 -18 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.105245721308 0.548500991443 2 9 6 10 0132 0213 2031 1230 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 -1 18 0 0 -18 0 -19 0 19 0 19 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375706377397 0.478322132825 4 11 3 2 0321 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -18 18 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.974615549755 0.791198097560 5 3 7 6 0213 0132 0213 2031 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -19 0 19 0 0 0 0 0 19 0 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.695253658758 1.165408040209 7 4 11 11 3012 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 18 0 0 -18 -19 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539131674131 1.718773145775 10 10 4 8 2031 0321 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 18 0 -18 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539131674131 1.718773145775 5 12 12 5 3201 3201 2310 0132 0 0 0 0 0 1 -1 0 1 0 -1 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 19 -19 0 19 0 -19 0 0 19 0 -19 0 19 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.785648281501 0.352250494690 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0110_6']), 'c_1001_6' : d['c_0101_12'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0110_6']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_6']), 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : negation(d['c_0011_8']), 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : d['c_0011_6'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : d['c_1001_8'], 'c_1100_3' : d['c_1001_8'], 'c_1100_2' : d['c_0011_6'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_8'], 'c_1100_10' : negation(d['c_0011_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0110_6']), 'c_1010_1' : d['c_0101_12'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_12'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : negation(d['c_0101_1']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_12']), 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0110_6'], 's_2_9' : negation(d['1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0110_6, c_1001_2, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 3537974607116433201334811925503217214670080516265515412497219217616\ 5507239533784294481037296994331957070694624325174018177223872618362\ 737993561/147654830111576498215391288624323467732912510899447038811\ 1610473499531880491770483887917556551464967273072706590879541018132\ 5331046417992*c_1001_8^41 - 347645249093893699187369351303022957078\ 3273168583475160719870590901549389665050325635190482810929369289724\ 9580067505688111473977411459705502147/36913707527894124553847822156\ 0808669332281277248617597027902618374882970122942620971979389137866\ 2418182681766477198852545331332761604498*c_1001_8^40 + 3170619131826805199643188194029887720206638032615574626802771694478\ 3411770211375685043052232579305738870075682149540519517306001755979\ 3626745503/36913707527894124553847822156080866933228127724861759702\ 7902618374882970122942620971979389137866241818268176647719885254533\ 1332761604498*c_1001_8^39 - 502017798131294476827711525897856991606\ 6854553871573776096566932613783566610554540227691705336221892466890\ 497834623655319919735566325296779879083/147654830111576498215391288\ 6243234677329125108994470388111610473499531880491770483887917556551\ 4649672730727065908795410181325331046417992*c_1001_8^38 + 1971176632334828065219738568095867991273403022981885604502322776395\ 2939996855578334529616536027747037646158019641770713052904673630638\ 099945869101/147654830111576498215391288624323467732912510899447038\ 8111610473499531880491770483887917556551464967273072706590879541018\ 1325331046417992*c_1001_8^37 - 383663020006369304688844058689413624\ 0015810030203852810722553203561548117961525041994755140143722529988\ 1777203885161216192065173267478527113357447/14765483011157649821539\ 1288624323467732912510899447038811161047349953188049177048388791755\ 65514649672730727065908795410181325331046417992*c_1001_8^36 + 9308517150948325659762468449202108310052824139590761912366535974189\ 2524833166016507804185742112359316911262509067080146824374683315619\ 646292264487/147654830111576498215391288624323467732912510899447038\ 8111610473499531880491770483887917556551464967273072706590879541018\ 1325331046417992*c_1001_8^35 - 265660133372203495330514900269974430\ 7606653388693031932602309457913562174287183218499470272217982354732\ 11514787085777566713751525119411702642994163/1476548301115764982153\ 9128862432346773291251089944703881116104734995318804917704838879175\ 565514649672730727065908795410181325331046417992*c_1001_8^34 + 6694012297816456709779912440254575495978807291784066642003669930914\ 3739953028556570876189008906528963721034785560752663936796438764592\ 4021841222661/14765483011157649821539128862432346773291251089944703\ 8811161047349953188049177048388791755655146496727307270659087954101\ 81325331046417992*c_1001_8^33 + 67477545540444291722091241817076654\ 2438821221062211235015138415576048068035454301194458745016952193151\ 34564829951219193871069534886425303404538457/1476548301115764982153\ 9128862432346773291251089944703881116104734995318804917704838879175\ 565514649672730727065908795410181325331046417992*c_1001_8^32 - 1925563083143705422145729778009372846095663957505481763002744908153\ 5393561585171140625542243838100879340662840989705405325559355215968\ 11231377760433/7382741505578824910769564431216173386645625544972351\ 9405580523674976594024588524194395877827573248363653635329543977050\ 90662665523208996*c_1001_8^31 + 30462417391675353934016766535431463\ 7798492030668037237309355128063567702782028269099381644117437249614\ 7128324974330098682549065691234677978426846283/14765483011157649821\ 5391288624323467732912510899447038811161047349953188049177048388791\ 75565514649672730727065908795410181325331046417992*c_1001_8^30 + 1051252114551551589447028992319967938362439662128543662420289262238\ 2620467963846204871319853564869308681212825302761082123484499847484\ 669705743956455/738274150557882491076956443121617338664562554497235\ 1940558052367497659402458852419439587782757324836365363532954397705\ 090662665523208996*c_1001_8^29 - 1127944470076640943288853764129308\ 8510768422824006078987355691338494502676113766469807531361782692083\ 096179746021679298885697031218589588836529846065/738274150557882491\ 0769564431216173386645625544972351940558052367497659402458852419439\ 587782757324836365363532954397705090662665523208996*c_1001_8^28 - 9130828394566259461153029446156316398630737388133279783713696672854\ 9127037535122049633421534266905998375779728040088419172499088831550\ 10164377084101/1135806385473665370887625297110180521022403929995746\ 4523935465180765629849936696029907058127318961286715943896852919546\ 29332717772801384*c_1001_8^27 + 22882171218208950683149122908157405\ 8253476820994415213629027075215464196201134286806662465390346189541\ 273816331545682581382691702336535420113370982035/147654830111576498\ 2153912886243234677329125108994470388111610473499531880491770483887\ 9175565514649672730727065908795410181325331046417992*c_1001_8^26 + 2881911245692525895117393115272594890132636563253302897910731053864\ 7675139393169692177741188916682783792064997457759633703330707159266\ 6887220720618565/14765483011157649821539128862432346773291251089944\ 7038811161047349953188049177048388791755655146496727307270659087954\ 10181325331046417992*c_1001_8^25 - 4923636083350036179811709941811775297561307273259164657775503877313\ 6046664201091376465969363669894965388530884375609678502636976472708\ 9515458665376041/73827415055788249107695644312161733866456255449723\ 5194055805236749765940245885241943958778275732483636536353295439770\ 5090662665523208996*c_1001_8^24 - 179905520340551962317910395661522\ 2823818874939457797552869345713584008512143375156031902970836741785\ 41894929350168626447150268446112479017009266527775/1476548301115764\ 9821539128862432346773291251089944703881116104734995318804917704838\ 879175565514649672730727065908795410181325331046417992*c_1001_8^23 + 7272648321539191855912437031210259053013050462344517529705138588118\ 9128554981992608524163781050574481580935568855059162141425728289539\ 78441347331253/4988338855120827642411867858929846882868665908765102\ 6625392245726335536503100354185402620153765708353820023871313498007\ 369342334616277*c_1001_8^22 - 2415160396511325516685139148646083836\ 8041849127044702513058564895430092827673686851227250301186502216230\ 1189555431006445081356837964109262415722565887/73827415055788249107\ 6956443121617338664562554497235194055805236749765940245885241943958\ 7782757324836365363532954397705090662665523208996*c_1001_8^21 - 2800432920154581246441835036772546464909896767090775011733627981799\ 5126540124554165800463299000723706848122873100296972061706270822891\ 22432177538634247/1476548301115764982153912886243234677329125108994\ 4703881116104734995318804917704838879175565514649672730727065908795\ 410181325331046417992*c_1001_8^20 + 1542754052677397851206899802553353190000379417478094487099053460367\ 9229266335364782242403616924329113645507548007198415746638941290035\ 7887600693484851/18456853763947062276923911078040433466614063862430\ 8798513951309187441485061471310485989694568933120909134088323859942\ 6272665666380802249*c_1001_8^19 + 237434994392248581973131430714486\ 3306403312990545128382358079294106328603127567228596973296241114403\ 291221374626254325807286068065919964176739173620223/147654830111576\ 4982153912886243234677329125108994470388111610473499531880491770483\ 8879175565514649672730727065908795410181325331046417992*c_1001_8^18 - 38218737095255176518636237196746515362298297775450584752463369267\ 4825062130530189841138072611994830724134535166592404266026078895431\ 22729455077042211/3990671084096662113929494287143877506294932727012\ 0821300313796581068429202480283348322096123012566683056019097050798\ 4058954738676930216*c_1001_8^17 - 137164083922171672422440920118951\ 7081034774210182859075731172978674029631677196855434446132779551410\ 930331075834518062425997724260865940563469588316997/147654830111576\ 4982153912886243234677329125108994470388111610473499531880491770483\ 8879175565514649672730727065908795410181325331046417992*c_1001_8^16 + 50914711376083317966043083433334674401614824712877149899594854027\ 6279007940717128991319394884475091131444206269459639329071001966660\ 601055027135276043/738274150557882491076956443121617338664562554497\ 2351940558052367497659402458852419439587782757324836365363532954397\ 705090662665523208996*c_1001_8^15 + 2719930422478050274318651548856068034600648655858102362732672264804\ 5797234799215035436199448524853952597125525395495845870593362712265\ 4584764512935791/73827415055788249107695644312161733866456255449723\ 5194055805236749765940245885241943958778275732483636536353295439770\ 5090662665523208996*c_1001_8^14 - 251934350562386936917595514022505\ 9141047259615326782580604800920980111441327443800152812603114582073\ 41061174266964307610147279707081829236098796134793/7382741505578824\ 9107695644312161733866456255449723519405580523674976594024588524194\ 39587782757324836365363532954397705090662665523208996*c_1001_8^13 - 2738156200223325540238770056953165746737098515724587889035863158686\ 2632172104983162330900953402416331776935513745395290500375193402915\ 32238747989855/2839515963684163427219063242775451302556009824989366\ 1309838662951914074624841740074767645318297403216789859742132298865\ 7333179443200346*c_1001_8^12 + 441217609045961972852473764938883534\ 3520951095947597783121872874069653590741952172573872136122095252395\ 8793158371562074295094771109075147083822255501/36913707527894124553\ 8478221560808669332281277248617597027902618374882970122942620971979\ 3891378662418182681766477198852545331332761604498*c_1001_8^11 + 1042177202363660998579617060814526538317766981780351385106909578359\ 8470264734346626060885261489131788326125111252550537716317887592291\ 458562769181841/738274150557882491076956443121617338664562554497235\ 1940558052367497659402458852419439587782757324836365363532954397705\ 090662665523208996*c_1001_8^10 - 2190905113297964277632766860041627\ 1722003705558237021392194289467095345806936330090366682746886427750\ 569979949035476652416554677407804066093501006251/738274150557882491\ 0769564431216173386645625544972351940558052367497659402458852419439\ 587782757324836365363532954397705090662665523208996*c_1001_8^9 - 5184413771193978296502996291167397556589897958960157767499995779115\ 6622594285912439345844220611514149265276619612670722477715781616958\ 105074850831/738274150557882491076956443121617338664562554497235194\ 0558052367497659402458852419439587782757324836365363532954397705090\ 662665523208996*c_1001_8^8 + 94586751514065108239405616501963167629\ 8152952099668159859817074547600151557870664309523794115514018567917\ 737348898206540419703624930527205141518703/184568537639470622769239\ 1107804043346661406386243087985139513091874414850614713104859896945\ 689331209091340883238599426272665666380802249*c_1001_8^7 - 3148790767364133864649418985732413273336200076324069600039907635953\ 4140618425103267087436523001274897656573007123088944529753516762966\ 4919730549445/73827415055788249107695644312161733866456255449723519\ 4055805236749765940245885241943958778275732483636536353295439770509\ 0662665523208996*c_1001_8^6 - 8739944859926378463751497749137638961\ 4043658644758405853816386839289637598815773162892274163951331985329\ 6219500653376537078946147840783403067667599/14765483011157649821539\ 1288624323467732912510899447038811161047349953188049177048388791755\ 65514649672730727065908795410181325331046417992*c_1001_8^5 + 3277322064484487773049199224856279130499196999641372214952202318143\ 7386712379253760721851507332499704766906567613738651528962720205678\ 626286878899/369137075278941245538478221560808669332281277248617597\ 0279026183748829701229426209719793891378662418182681766477198852545\ 331332761604498*c_1001_8^4 + 62894203331659949184160317779976190741\ 7952385007083023845215196761079675058373887085005955384140294166892\ 25143210588536937803454011884859553350745/1476548301115764982153912\ 8862432346773291251089944703881116104734995318804917704838879175565\ 514649672730727065908795410181325331046417992*c_1001_8^3 - 1637483321468918415270931600477342189267641779244735061071872832802\ 1615727872749083309410049262153990379895864562110178774808052441606\ 09348511297/1845685376394706227692391107804043346661406386243087985\ 1395130918744148506147131048598969456893312090913408832385994262726\ 65666380802249*c_1001_8^2 - 231607418332564468725398900676850389475\ 0857776615603752458551733602448223472422803879123012767893333559708\ 482341483487295186571303715916335285679/147654830111576498215391288\ 6243234677329125108994470388111610473499531880491770483887917556551\ 4649672730727065908795410181325331046417992*c_1001_8 + 3127109935762416552941054449415628937919937220425993550774533392178\ 2378913831582330782697991307603247729233124818170183321314106822729\ 4965065721/73827415055788249107695644312161733866456255449723519405\ 5805236749765940245885241943958778275732483636536353295439770509066\ 2665523208996, c_0011_0 - 1, c_0011_10 - 23810355914670827103218728437526949019217903368309544098430\ 1411616664788400898801277710283001399933367547466574381322406466586\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^41 + 7972135986895590255824285609859882110960615440084773563894309\ 03691736966382332748527747457050377435038204228079961987275109181/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^4\ 0 - 805275448985165867144645177085911556118388168864756117611413342\ 7097759435093516494610589327004870827340045672192279931543749951/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^39 + 29044132809384510313246300300860738572559592978338932129241099354\ 042776770552897315441330062699850418290015986264250593370061779/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^38 - 1151570008749509124551905103348647162612584360897702009812755606562\ 17177968346627827991410413542753418076292301077475967009383691/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^37 + 1892125186734774530877132348802187974484049157943705448648241333672\ 50147531207164958036805863047726680016783233038509984200178337/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^36 - 5084663869527774374891585104381927859183315473351278311671095800921\ 27834307863697874758661688264232938059516020466228125028183011/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^35 + 1481410885927752618935150439283265378248572341596388562054460276615\ 618545549199986432604163713103247899573760188560893657700454790/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^34 - 3609980811722961745321902346779057493402483035366268033714525377198\ 520691132444529531138736530041408690446765676385497282887628882/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^33 - 2651167087231436061750228542702448706753995142041885061258383238499\ 654667539421330421535169440613561464727750433796854254042087358/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^32 + 2459818394506668851784150261608317744522712360024737440999148984661\ 4914471488095997810324584498232334607570502606704386739938496822/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^31 - 58456885105937175786683497354139565333565096003795657896120093653\ 38807381308161465287292906376048081335449256591837690378320382482/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 0 - 146688999735204076982503474800501405079185802960955003970372985\ 3256235588265549634119978336747879491080097539621955098794804857488\ 53/1423619461385299294243958336790967571101895895801215422826856829\ 317069453783622931520372282881293614828728710855236150693503*c_1001\ _8^29 + 66009848286379676785293369004536811597407526952370652723320\ 0015476027716590607008835336387341454311104741113411366633264915799\ 04675/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^28 + 65281200949820384360701183397508812592948969822095744625\ 0086918108310497532434194783940269350310813838658373721055644550592\ 87601950/1095091893373307149418429489839205823924535304462473402174\ 50525332082265675663302424644021760099508832979131604248934668731*c\ _1001_8^27 - 104572941368612044389969358108046023510577986308728681\ 6449307754682142281948672571864561771699599942842558622039845423636\ 722270293097/142361946138529929424395833679096757110189589580121542\ 2826856829317069453783622931520372282881293614828728710855236150693\ 503*c_1001_8^26 - 2615150508417248347971453809002069507373829885390\ 3194668709805769519045067009266186779145003691454676296190749840739\ 08845628165860843/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^25 + 51548138582997862530865247010482358277361359\ 7395855229945077549895668124133712272255066923581880323173724701380\ 8155013262828862818480/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^24 + 444612888062439270718574919704321734062\ 7351256949349357466986208307200634645822037934630810772849954705414\ 929064784811411541820245893/142361946138529929424395833679096757110\ 1895895801215422826856829317069453783622931520372282881293614828728\ 710855236150693503*c_1001_8^23 - 1220160168025400276607741371407110\ 9010616321473819867374858986737786665806531118533615285721974573081\ 443139753974920694020065862382809/142361946138529929424395833679096\ 7571101895895801215422826856829317069453783622931520372282881293614\ 828728710855236150693503*c_1001_8^22 - 4359676582566985252475280702055894185642370445117521949382318447568\ 961445410267196123635898450119414893699748131123324821540679484278/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 21 + 17079538403603326871614697615929877675088291122065222073340342\ 8419961355392295386970440490650199123216950507260014916461235199143\ 90539/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^20 + 23483007069883607791263955876923186573353515274694594683\ 7238810367335030482698173492114304691557175450296487410728566585417\ 0978785702/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^19 - 157389730363479722597817049274984862068658888715921\ 4056962438167653353500925145512777725301554211417226265407048994074\ 8182848259988071/14236194613852992942439583367909675711018958958012\ 1542282685682931706945378362293152037228288129361482872871085523615\ 0693503*c_1001_8^18 - 322836180712175269033182488121583163740978096\ 3382420310136281576716009132593854038681693944479616219912168369759\ 37296817059724775154/1423619461385299294243958336790967571101895895\ 8012154228268568293170694537836229315203722828812936148287287108552\ 36150693503*c_1001_8^17 + 10113365703473549353577421517386110061335\ 8887301459398423813285460274914528131409546565786397377108365725574\ 41214383339383078988331419/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^16 - 51498497551989994835258808836326898\ 3614234142741199803045324116041530656701597523786688550470793522502\ 292780630962635386954693274665/142361946138529929424395833679096757\ 1101895895801215422826856829317069453783622931520372282881293614828\ 728710855236150693503*c_1001_8^15 - 4664142127103429726615284894235010862975043569787682937717180457754\ 179797072293355406819188865634486210486798639259268434829988966566/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 14 + 46398472216649163357524195868727538664174202338576452679623783\ 0194209302493196762047110970246565944925323240579304600714641390971\ 280/142361946138529929424395833679096757110189589580121542282685682\ 9317069453783622931520372282881293614828728710855236150693503*c_100\ 1_8^13 + 1198747262005561544794130907790876291790324954597814960440\ 9481545899039207097470037099231430781344957301485632406598747927585\ 0421909/10950918933733071494184294898392058239245353044624734021745\ 0525332082265675663302424644021760099508832979131604248934668731*c_\ 1001_8^12 - 2111725270414078895619691830231298761044059210783633729\ 9637910726689731457577073054356629777768579231465676737296655645092\ 8058286774/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^11 - 374960499281110253188774308514830370464618023845796\ 8095749666761812690997273593087208716970790521856228615992168338456\ 47144290249970/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^10 + 61584837481740519553775847829184733083391577329\ 9494556729456666917293151651492003673350136885368868115540216979356\ 53574336808234251/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^9 + 636979024172874421617305637614162342981583271\ 9077542143332739193264453475496226557958330666406566605963170689276\ 8018395052931180423/14236194613852992942439583367909675711018958958\ 0121542282685682931706945378362293152037228288129361482872871085523\ 6150693503*c_1001_8^8 - 1201059972175441338910667182753594705790117\ 8392472072792779911286814568366558898267428047133272519842205102338\ 379425216877757276864/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^7 - 73884146753584228592097418384477741461668\ 5227987933478144378295023730359408549459200963212368362493086860719\ 0139576591130724837563/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^6 + 1548962481521975136410295580764373088406\ 3469114462402609164160431511435609597321603393007199918589023320170\ 00644486863257701191282/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^5 + 555656087019510815727950221025734435775\ 5383112728960413569896914551083053756816558633115743882921367008115\ 20987989553130421044315/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^4 - 124961812621108842681061402029871938247\ 6718876819748554023236327234944363169968222643631272352558860359984\ 06373324024035014991246/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^3 - 240904518689080578769893616814316532927\ 6483089175850990016495537764805036079222062535664901216925331068801\ 1211635242549411874992/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^2 + 5157671512808254352094406413196395379994\ 1120017361000105407970194469015586066080479624009204884793123267389\ 52336489805912300287/1423619461385299294243958336790967571101895895\ 8012154228268568293170694537836229315203722828812936148287287108552\ 36150693503*c_1001_8 + 33509966175502365875917293054439310272303059\ 9342312813426634500304865362256180115306265707103915265722694839321\ 462226014019282/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503, c_0011_11 - c_1001_8, c_0011_12 + 28816067120273800221947918607481739931398734210199535601696\ 7470286261754251888525904919395094521403180054379666998307982507496\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^41 - 9942780421276122270754429051382718128885167747172225977841824\ 64858965090029970435315992635456748746241246952781213926338776516/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^4\ 0 + 982771859485108754239639553500887144364741326682876890843509914\ 3416980546883194653476163102691479423870652608675263476014355316/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^39 - 36095344232637533586444537587381204838085249055423094097462632282\ 073916269397410895425503562465529276358175356686250992810723345/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^38 + 1424099876871074779265616429891893261562522978397991284276667993065\ 52627450097896402181576689035773335913184465046123053087102904/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^37 - 2413513209941637275836983229223895471893531887921368614167978833495\ 63664466795466005505422871906792333607683593093976697182657214/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^36 + 6311702608325653449816171019157340694133692080272857674508367104552\ 77419315818016340322060521931773381969419106594979982843728962/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^35 - 1844335291438629881033008046377249345577271109864773752599689830439\ 965500209870652544070430422977465486639916708906693184447026792/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^34 + 4518824498893774199024084499964539585037807268959616645247970567288\ 141575545085156766851410450292093740501800972898851384367709726/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^33 + 2858161172700076995841113788117647352413051802763532358260824832169\ 160340876462397928992789058900182956804499531189558282219519366/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^32 - 3032860559442130093565244821759286643540391899657268276422254380701\ 6095283344593320651190773599667626882834301761605404750128387483/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^31 + 98843527661273236715171453799669288888432146432186281867210870301\ 61851194757651626531019567812485139036228959878276888884621676199/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 0 + 178430920687934357234271882913415515459988421827524304729071028\ 6358127192171340542566610412698473266430201379545804709675935853645\ 00/1423619461385299294243958336790967571101895895801215422826856829\ 317069453783622931520372282881293614828728710855236150693503*c_1001\ _8^29 - 98025030311034900381825262377065744587957606208810021723246\ 5802688585017688171183099782408164836804733797626300542589616698193\ 82473/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^28 - 79151644783896055783492703027523279325162447953700387166\ 3056670796146355090154357885550562106484699858015037264723000404102\ 70906880/1095091893373307149418429489839205823924535304462473402174\ 50525332082265675663302424644021760099508832979131604248934668731*c\ _1001_8^27 + 137243946071149224500981190755504735363358029277296001\ 5518001800469694902524760369385581017457711417302781900122221017646\ 723194771106/142361946138529929424395833679096757110189589580121542\ 2826856829317069453783622931520372282881293614828728710855236150693\ 503*c_1001_8^26 + 3094315584175530697056832942493478203840835093872\ 1075231144162207243296429505205879977084754083027696127140258205687\ 51447176758611174/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^25 - 66188486232748256211266685145447406402243866\ 6585723901604023691531683541930963383593894676399364535885459074726\ 3385576709609075851429/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^24 - 493492946477005192853337090481655188559\ 2306179253893008438955669485705039527968841493162974027248895194205\ 373836894395856832497536204/142361946138529929424395833679096757110\ 1895895801215422826856829317069453783622931520372282881293614828728\ 710855236150693503*c_1001_8^23 + 1561700815971312581564804500782879\ 3118012054308261826032548285663078414433310529825285297977349891374\ 740366550026082685717074063368147/142361946138529929424395833679096\ 7571101895895801215422826856829317069453783622931520372282881293614\ 828728710855236150693503*c_1001_8^22 + 4141014453208950403525910859516252846777307470110643285439013019573\ 623858913020244255733340631993500142841444204830686580763031315678/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 21 - 21921855554666201372071995279314193134823308876051399639085339\ 8112005233130349210433260401421211045832898420516753138284493842993\ 30555/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^20 - 12035782421158934121130612322554956773952452360847292714\ 9408697165728637979441460587160526299004181070160611289895247758359\ 6895324286/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^19 + 203160357974725511180248266115293747601035383594815\ 3617951339597433111327942816039128659249504483701681130247251730176\ 5174464603823567/14236194613852992942439583367909675711018958958012\ 1542282685682931706945378362293152037228288129361482872871085523615\ 0693503*c_1001_8^18 - 113761624792684571094436454824193856795148065\ 9541196868874611963869831254519627893755959490505893751421092945615\ 325927836024850343822/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^17 - 1315227475830362395084863117085960695591\ 4064193024389017418546339274259795814596557402671448550496375358713\ 445834226081714390670042901/142361946138529929424395833679096757110\ 1895895801215422826856829317069453783622931520372282881293614828728\ 710855236150693503*c_1001_8^16 + 1606189980712627450582214278856702\ 2300094815969389671409095324656116722463487635507611354308187867906\ 08608114853987126735355971501177/1423619461385299294243958336790967\ 5711018958958012154228268568293170694537836229315203722828812936148\ 28728710855236150693503*c_1001_8^15 + 6119107041493841496385127989534538594524151831169789039779771507170\ 193030505746379512406088217338205408774887633685123293995497100484/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 14 - 10116248792880681917276778808530520356437005479804802331745409\ 8469774211849207242918103903696724277464804846489485895278172600676\ 7967/14236194613852992942439583367909675711018958958012154228268568\ 29317069453783622931520372282881293614828728710855236150693503*c_10\ 01_8^13 - 158809750340668892028327940093052335270151265449641541027\ 7894311467213441437822634340606753630915988764349606714473051619684\ 98793412/1095091893373307149418429489839205823924535304462473402174\ 50525332082265675663302424644021760099508832979131604248934668731*c\ _1001_8^12 + 404007026450792136028909086719131629404761082209173661\ 9693727833212253516773187842777994059680197193615540040940308010024\ 78770055927/1423619461385299294243958336790967571101895895801215422\ 8268568293170694537836229315203722828812936148287287108552361506935\ 03*c_1001_8^11 + 50190033446139223085613633737930494488109518366800\ 9179667971367349632685616549845250268230059353491211807791661769363\ 447649336828567/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^10 - 1096480309899777698922241199123871639114585674\ 5851700075409437122492489977693009001803498450978035997804073933901\ 4865493072067897258/14236194613852992942439583367909675711018958958\ 0121542282685682931706945378362293152037228288129361482872871085523\ 6150693503*c_1001_8^9 - 8613516505038446937975647345450927495444780\ 5821877391086274939632877646885096151000695431452932920976621829562\ 569712136981473479515/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^8 + 20396524739775021896016929691744464896291\ 4212519343468398063024554442311978481507336283100810583341172455584\ 70631843774336204748833/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^7 + 100792751199803366232165514607447801799\ 0902263296972613059190296753905745519974511283821008784900069303950\ 6985479618717942752620831/14236194613852992942439583367909675711018\ 9589580121542282685682931706945378362293152037228288129361482872871\ 0855236150693503*c_1001_8^6 - 2546012501497423353735683915579262777\ 5135689574605530630288509570234537644671221250468860069365174829880\ 17560028168176623296667565/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^5 - 763218998471107480300686858063840386\ 0551019110004687183553620237551207604775509185681994473747780875780\ 98302079551343281988547922/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^4 + 201472961212195216166677278272476513\ 2794384283312969887803340183410178424618236700122539380638219166606\ 13056223160567617611049712/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^3 + 335771408868532972429492857546224257\ 0600089587562414796003366522651950119810619018214775143861380020964\ 3721820620737948310209943/14236194613852992942439583367909675711018\ 9589580121542282685682931706945378362293152037228288129361482872871\ 0855236150693503*c_1001_8^2 - 8278444305417950841592078447839233023\ 0084314640168577377600879327807952879465647276329507124946150144689\ 73834350587274525538793/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8 - 52231072169368403290145357596529734881881\ 6966471424239222997165776593181158506427528752655758652498060821652\ 941301137929097553/142361946138529929424395833679096757110189589580\ 1215422826856829317069453783622931520372282881293614828728710855236\ 150693503, c_0011_3 + 242731298383627373838887804526063419139346825460215932533003\ 979328366458788671507217374326936318386122224110449828205480748487/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 41 - 83790085248466758540091862314004208972554282195018290550176361\ 4265336758835638980063309872536103267614267799390167769421195188/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^40 + 82795189802291323773587976849714533854428354686149194817654711936\ 40337817449430801026474783710096756371747573590283163869949511/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^39 - 3041731991762665902618742044055047277662804829063648817240472822345\ 4905711335248985361784981520005348813745301919005166745681899/14236\ 1946138529929424395833679096757110189589580121542282685682931706945\ 3783622931520372282881293614828728710855236150693503*c_1001_8^38 + 1200018588405999174672564199014908467663999667077166777415216422838\ 83234942144161505681782958527277743128011708297545638169924435/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^37 - 2034771514774843592003188010142082283107653155197021503766828665138\ 55571642462169016034297100816849833230773804344222338280664277/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^36 + 5319373448129232611218293255743273035097453743610312838631855570815\ 47350026009315362410070668176797894337003622474318980719711694/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^35 - 1554367914592913376742376383631630434856662988191544956369894887981\ 151286208632786769175887010283063032168629239804520685958475228/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^34 + 3808654201069970560046513810720359818177377287889143422872892601474\ 754633499679909157000069441051890406675173374001196812566475822/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^33 + 2402125838373652193597090873371050009395444076341425786435349660754\ 608354596119637108229763850129417384203720049244879295714146797/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^32 - 2555182850999366266798796469381383326451661462939472858061064200857\ 5156862103937070376757324387804942012142742338334558791486330849/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^31 + 83618610822348896369283018569497164000514344532501885018954829125\ 74728506207705420100820328967185602578340531111033391558515075372/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 0 + 150297481004894041809629445620916585337930033260321449902783208\ 6198219729922087474003598623193184175866746145105402252415270802044\ 78/1423619461385299294243958336790967571101895895801215422826856829\ 317069453783622931520372282881293614828728710855236150693503*c_1001\ _8^29 - 82789501750266394022137315794464988774585395270545289035579\ 0914807603821120073652728824438985671342545531999282858894716549090\ 32733/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^28 - 66668824947524330332048375783334253667795447544142362984\ 1461728960857443836595619828667246651924822318603936431695348798141\ 89247919/1095091893373307149418429489839205823924535304462473402174\ 50525332082265675663302424644021760099508832979131604248934668731*c\ _1001_8^27 + 115733678004048798593608196449389247029515120553597907\ 1997313046325885128142590685131150043218932649711814052600740566304\ 075337558777/142361946138529929424395833679096757110189589580121542\ 2826856829317069453783622931520372282881293614828728710855236150693\ 503*c_1001_8^26 + 2605133583795119673744959166046342643636296186991\ 8640769750879882652930930459964516747973313482726001215325778413982\ 03756068212671520/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^25 - 55793168641881459379526377441081194985387503\ 5503072767244129893977402835654147295062294563411786587662942787356\ 6138703465742848729613/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^24 - 415011574537810488779082548525477997179\ 0554576318429148599406604473125492218306873189787963044699682744816\ 224620819972024896585648786/142361946138529929424395833679096757110\ 1895895801215422826856829317069453783622931520372282881293614828728\ 710855236150693503*c_1001_8^23 + 1316193483524372230749030316560036\ 1422881292413571482968460225027018196051432890840197390649737604275\ 555123674784796480467330985768362/142361946138529929424395833679096\ 7571101895895801215422826856829317069453783622931520372282881293614\ 828728710855236150693503*c_1001_8^22 + 3472789463789710390283210170478615186327928429972358206831639295782\ 046849698920531082989403979988393562412139188937874292416051197171/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 21 - 18473189857742437946922386904148220229446375085752296730989833\ 5490156713168471246250562194531859251719380855515177373522153005054\ 47642/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^20 - 99383920555795208935504880003201014878171665781738022586\ 2835392699222439574288805785279883488357085544102489486850945791121\ 945747388/142361946138529929424395833679096757110189589580121542282\ 6856829317069453783622931520372282881293614828728710855236150693503\ *c_1001_8^19 + 1711789240803147296346435842093451801639799456985278\ 8536417629055719147840650129406910804868685226296288559482097737112\ 751665067473518/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^18 - 9750299771280196976359106033871603415978581984\ 6940507842505433126472051407692005303721155902551819255518430203920\ 1683788300007879618/14236194613852992942439583367909675711018958958\ 0121542282685682931706945378362293152037228288129361482872871085523\ 6150693503*c_1001_8^17 - 110804962244180040375886971343339881284367\ 0150230929068199211516343344078983828164816597206128286609923091321\ 6511073148174329243758904/14236194613852992942439583367909675711018\ 9589580121542282685682931706945378362293152037228288129361482872871\ 0855236150693503*c_1001_8^16 + 136257236042562609018305704579514460\ 5866941891642669233535905198090794414449870296121092235653167545370\ 544326058216770736421682167302/142361946138529929424395833679096757\ 1101895895801215422826856829317069453783622931520372282881293614828\ 728710855236150693503*c_1001_8^15 + 5154570407992177292156742880378531566222887569337040824923170179356\ 152581292936510033530983398505888628559424323755505543420377993885/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 14 - 85599190409899754360409518183624458833119012975441626559204458\ 5442324240374220857411181246172930851756219972193491062789056099623\ 071/142361946138529929424395833679096757110189589580121542282685682\ 9317069453783622931520372282881293614828728710855236150693503*c_100\ 1_8^13 - 1337602683812278235256987919086154386498008199223269867004\ 6133047964729922548594917657059084952829123167390572383126633845372\ 7177768/10950918933733071494184294898392058239245353044624734021745\ 0525332082265675663302424644021760099508832979131604248934668731*c_\ 1001_8^12 + 3413972269282457969058674828842584040669532865178678646\ 9878170897513255272811966930922534496035320040682452570246474848646\ 2722144280/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^11 + 422684714557756180269249064760530046128592703611059\ 4260063741788233570933191308195722328421049030704387935560525266904\ 12213239860404/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^10 - 92570573332592405863302233387512972590342629438\ 2214866854545943774293830784949721037072926656681384390345574353307\ 88113715198256830/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^9 - 725345867646503512130459225231187762763646443\ 1017515610143303699979077114437002854113070122234651181326967094698\ 1236916854985468824/14236194613852992942439583367909675711018958958\ 0121542282685682931706945378362293152037228288129361482872871085523\ 6150693503*c_1001_8^8 + 1720729440382516812407434500840745617609422\ 9202679885822430047971261729846829811925033451644473381900722842698\ 558409722710723889068/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^7 + 84880316945084554663179936358577428555907\ 6240457905372479652453387204925135032237677717619421279748226837548\ 0145248944425210053104/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^6 - 2146584609335268014492843359952366166610\ 4982768374477106812186551169798762307375326882910506527185870586431\ 22639340286157787137319/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^5 - 642890004402935703727010947784295576593\ 0652982708110777314109339841161650419502091535806181690039886648058\ 15720180586712262000546/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^4 + 169768444406255610780887938492965596898\ 4391378083452159725823406826529538355015163119924657179724852944449\ 03597807455248428277173/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^3 + 282956230353350070237158159120428022607\ 9638673901725685515602794655010416851090595807687958184541493178185\ 4802473357289305069312/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^2 - 6971455998124812703394849081459900596931\ 5460146779748084404641610699126514884459783281130167189035800384799\ 96922049626390836113/1423619461385299294243958336790967571101895895\ 8012154228268568293170694537836229315203722828812936148287287108552\ 36150693503*c_1001_8 - 43942158498538788434137915117917329686884192\ 0314494464452451894091790137977233569238680306126766396574092615826\ 141397760120458/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503, c_0011_6 - 228904105486112528228015555082627933841418810885097755790461\ 04489404718284320016030448971717928325547099005557693304517074437/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^4\ 1 + 745615654421434855941976367536664461874932436334788183306645991\ 21602858054182675901803353995022918283307793823351360759587600/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^40 - 7679843199686063517060101268833002050362978820939125265061983392906\ 63760497982778163370363390781586871614267699602342083599800/1423619\ 4613852992942439583367909675711018958958012154228268568293170694537\ 83622931520372282881293614828728710855236150693503*c_1001_8^39 + 2724365115010264722198120590571036037969189606331228998362578180788\ 324082762050292121046587668199956112487486454665398509285708/142361\ 9461385299294243958336790967571101895895801215422826856829317069453\ 783622931520372282881293614828728710855236150693503*c_1001_8^38 - 1084321226145213154699734055416451437063528281323474786871465541435\ 3136034996020029703037637448230162147396205268472472611402996/14236\ 1946138529929424395833679096757110189589580121542282685682931706945\ 3783622931520372282881293614828728710855236150693503*c_1001_8^37 + 1727593584407331724107671922151058395744153439961056724558740099095\ 5508878967808135459648620598647530066951121631480490078842674/14236\ 1946138529929424395833679096757110189589580121542282685682931706945\ 3783622931520372282881293614828728710855236150693503*c_1001_8^36 - 4759367359589451297860148568703896215107763516307317543398240146422\ 8542656005455434337209899852244167940435999234155398470325034/14236\ 1946138529929424395833679096757110189589580121542282685682931706945\ 3783622931520372282881293614828728710855236150693503*c_1001_8^35 + 1385407566481062360057234648389250934217326273575307476618440284088\ 25939720449657217905222433478313075265569984879525412500035858/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^34 - 3356909072083275927915860664129333673530620052479251244993516918249\ 99036297365831712795227366531960691730921495214635051768585244/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^33 - 2817652878568936510041150116123231431746955492924060012265459879292\ 65409121752987079664098796463738435500523725952911008965852450/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^32 + 2330487199168826915632192450011473165446304346196133139275867148587\ 573234879170196954692902115542463276746806942724403916919798506/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^31 - 3576973335796673208250392106718307955953913595115278055410639268441\ 79772944992475543730322570294097457419618735576635341011526368/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^30 - 1407375362301229068876969509030767635042380955601133080922762948701\ 4965434748375965187425892845590386288517005389058140829268049336/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^29 + 50593515872544704467274240254064140230285977973715343605629407911\ 92896449859834525883397356046929854411471554588823933311606385390/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^2\ 8 + 628286068092344285567799063738904097810158559115028341068224605\ 2548161088768506894789880013187941473291847367177011037276386736974\ /109509189337330714941842948983920582392453530446247340217450525332\ 082265675663302424644021760099508832979131604248934668731*c_1001_8^\ 27 - 92986105046227476144806699904283921915602553942236841308610847\ 7478941976999910488065827080511600518573908752863348163452279965455\ 06/1423619461385299294243958336790967571101895895801215422826856829\ 317069453783622931520372282881293614828728710855236150693503*c_1001\ _8^26 - 25771064285727255557165805717298159246275490988073957578225\ 8456958400181066593955386556921730707309806103461927321235319204951\ 287376/142361946138529929424395833679096757110189589580121542282685\ 6829317069453783622931520372282881293614828728710855236150693503*c_\ 1001_8^25 + 4697636862985530657034861554289382916792046477701145079\ 2432326926300573849434213374794621131005956891912640601887977262650\ 7938441228/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^24 + 463270469709989597562544973578140921312447307500019\ 6281538910877837808912515486043071551714748302891347757513464674965\ 83583470902294/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^23 - 11187827423114482498935615799150328707635236412\ 0010535259643539699434232342325602123516340178516948572142461569668\ 9137706802875755948/14236194613852992942439583367909675711018958958\ 0121542282685682931706945378362293152037228288129361482872871085523\ 6150693503*c_1001_8^22 - 508108439530600400982499266295826925150985\ 8874746239475987699862812181173878199798519308167726177456915385951\ 71529829048764974085308/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^21 + 15667199818710911333478685937469556262\ 1869394364922230387332133058139183583725643133239401886216377385997\ 5880607461762767906596848697/14236194613852992942439583367909675711\ 0189589580121542282685682931706945378362293152037228288129361482872\ 8710855236150693503*c_1001_8^20 + 353116537280642057494555313091252\ 0711864026233105043150464489669296773137169942000119936452657379732\ 74374228749412889679670229676698/1423619461385299294243958336790967\ 5711018958958012154228268568293170694537836229315203722828812936148\ 28728710855236150693503*c_1001_8^19 - 1440174827107015222994694237597008003359155625169551055663912708098\ 995345495578017469846819729986096793322465689943674940440364375392/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 18 - 14955238275170038021745199528634896305528635824654861607838924\ 2477976351296885996103924764068073637555879815335308607315140361179\ 382/142361946138529929424395833679096757110189589580121542282685682\ 9317069453783622931520372282881293614828728710855236150693503*c_100\ 1_8^17 + 9211961571529772867656881898498736549213360338567261015285\ 0986026139602453173894507854666890412785520995349957152818551124845\ 4819522/14236194613852992942439583367909675711018958958012154228268\ 56829317069453783622931520372282881293614828728710855236150693503*c\ _1001_8^16 + 267172151591868094342335137830099030132336352109543499\ 6394931494223946004665540940208962113280995166198756599062373957974\ 2455538514/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^15 - 422156868189634417084516408939460667282050936649197\ 9661971365914583321184886679933562987732196414606465067369591076859\ 70915247773122/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^14 + 96823071950064617776655792804170452805098077602\ 8395253813880397456048348568260856035378431750919285846333273112527\ 4713456607218678/14236194613852992942439583367909675711018958958012\ 1542282685682931706945378362293152037228288129361482872871085523615\ 0693503*c_1001_8^13 + 107640943206905713344592769699067979304412310\ 5961141875523497300498939479459865049213608236721245872963839226882\ 2149613913933940064/10950918933733071494184294898392058239245353044\ 6247340217450525332082265675663302424644021760099508832979131604248\ 934668731*c_1001_8^12 - 8788311938839611415391373917463298695587274\ 9745559563863217946603669478561935293872895489285105544995896267599\ 48980473757103970932/1423619461385299294243958336790967571101895895\ 8012154228268568293170694537836229315203722828812936148287287108552\ 36150693503*c_1001_8^11 - 33356421756760254275727262632577313157200\ 4847573239230401320022910681626717948346273996408345068953359751211\ 25277391989287331661838/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^10 + 32040946024482679174511834033061807752\ 5985290015786358964003692994016001738167323765079871459217272894808\ 2510042542082806992822454/14236194613852992942439583367909675711018\ 9589580121542282685682931706945378362293152037228288129361482872871\ 0855236150693503*c_1001_8^9 + 5609221769081502792624408762885351877\ 3118618238733010766273085476138101365338395728928462594879978447572\ 84603915657903365807599460/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^8 - 704113780665176848109907081005705978\ 1282530931938075581787806144633362105377626554358913263457273547856\ 03752672147407070953130342/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^7 - 644360013709088820856720861801750053\ 9993746941664365144632357865381040365290459872176026456919263921224\ 82011756903557388904687016/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^6 + 978482042267132302149223970991801744\ 2637150653126403335575439725334716227228207284004664285921870974742\ 5228966853939903858000456/14236194613852992942439583367909675711018\ 9589580121542282685682931706945378362293152037228288129361482872871\ 0855236150693503*c_1001_8^5 + 4806224112949952154480631348383334950\ 7848215779533446918384657085253033187583584840296700392186724961527\ 656703156512039874893486/142361946138529929424395833679096757110189\ 5895801215422826856829317069453783622931520372282881293614828728710\ 855236150693503*c_1001_8^4 - 82298707773556942988374012490029747509\ 2687491555886466515488611969309691058607607717649637279601702189964\ 5787362569106081100082/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^3 - 2041800554326589451460067543054611733162\ 6398105298570417761975978461199933442193801691102779659011947839543\ 63257941208212076738/1423619461385299294243958336790967571101895895\ 8012154228268568293170694537836229315203722828812936148287287108552\ 36150693503*c_1001_8^2 + 341371887998826807111567340493067951598843\ 3634922838333634730376001084455896426485711205807371971901749131588\ 19032740843933427/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8 + 22846808268013428482663538061979280231279094441\ 3937407498848382736200945504459145213144999197579774178459837384188\ 52266657976/1423619461385299294243958336790967571101895895801215422\ 8268568293170694537836229315203722828812936148287287108552361506935\ 03, c_0011_8 - 405215878637839155980756504325428893526316992853141333231669\ 124906830757703442372602503905041683298090384605565233532099605319/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 41 + 14250754805881886796088366917549458229932507341007326048632338\ 00225929955063791362036247815967224831535296915036894408074692678/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^4\ 0 - 138953968616351189743316980688403606030166355246276384919914516\ 39716692540249746727872060083871722740234618104931938213512162039/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 9 + 516246159316938328253311327129192226712244932524638408918244823\ 73927480556900891719647751144065250660957139615276228270821289294/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 8 - 203063522691701694874485539251887550488212897601588255696167425\ 589165457617850016088458213463581521188964158099766853445159457028/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 37 + 35080650626075264750349966237359832981875670405333791848429871\ 0312789783556725707823961587543912027973771020320018766399128959519\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^36 - 9024646109882618694863871819077842268707645125044818199017189\ 4284922326565450331948968419884777317387963305663000837218632449797\ 3/14236194613852992942439583367909675711018958958012154228268568293\ 17069453783622931520372282881293614828728710855236150693503*c_1001_\ 8^35 + 264174340905048601374647132130770215711907717817519186891879\ 5553212655398709687736003642288019979434147491966289603259856299080\ 607/142361946138529929424395833679096757110189589580121542282685682\ 9317069453783622931520372282881293614828728710855236150693503*c_100\ 1_8^34 - 6493642673586550170813503660987984477166120688295836147799\ 6547414079395153215997933388430984736624072162037896425618939519530\ 99495/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^33 - 36921650828538141554791712151202341000788899709190071709\ 4115028982796305907086351205081741009171857730204682874688650159220\ 0947820/14236194613852992942439583367909675711018958958012154228268\ 56829317069453783622931520372282881293614828728710855236150693503*c\ _1001_8^32 + 431409509704051102206187910100263131992253957598108961\ 4081306102679728313802249875036639213682838190439956169596523421800\ 6565448417/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^31 - 164510047016269850932382228636089277284989254580569\ 0910565997261824833781856685159341326341081204095115753552505186562\ 9145359012220/14236194613852992942439583367909675711018958958012154\ 2282685682931706945378362293152037228288129361482872871085523615069\ 3503*c_1001_8^30 - 251649359691786151215025470197567049877014932664\ 1707014969436630091527506019043984948227936173213810685650064113195\ 06176326536749012/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^29 + 15425125326649461188211819554841733666472672\ 6002893162396866825250327125794127431104312480364461701736690882171\ 574176802144650476299/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^28 + 1114066953250444209546435061893905866058\ 5081780450946375873376649976132459822339004042703455094212385877333\ 1937781002049137746019276/10950918933733071494184294898392058239245\ 3530446247340217450525332082265675663302424644021760099508832979131\ 604248934668731*c_1001_8^27 - 2026464838310515364384040292987207182\ 6358724573434970438517980900891606180531722222769777055319827873087\ 50788793518662823890120859868/1423619461385299294243958336790967571\ 1018958958012154228268568293170694537836229315203722828812936148287\ 28710855236150693503*c_1001_8^26 - 4284560600774308908187183589377230676352303249074965310644886652696\ 337898703485314716851777623341261335557241609377210876355156760964/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 25 + 96468986464423065951639967987138825234560486516937691010647980\ 4556455979946883066569091503900249378505737650939297692174010244631\ 9454/14236194613852992942439583367909675711018958958012154228268568\ 29317069453783622931520372282881293614828728710855236150693503*c_10\ 01_8^24 + 652979735109434042271943343086403620583947837000053286726\ 0574981960527197303921230786586225831903204129526921927374123700805\ 324979123/142361946138529929424395833679096757110189589580121542282\ 6856829317069453783622931520372282881293614828728710855236150693503\ *c_1001_8^23 - 2270682062585496079521528991825240871790923663865618\ 7192527417903080459877640655877453166656111404292381017301387539938\ 258850524651934/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^22 - 4797996294465593489244324456231027270776636801\ 1124779229788303909393618488880649073473459710657836200295589286403\ 35631104247398685142/1423619461385299294243958336790967571101895895\ 8012154228268568293170694537836229315203722828812936148287287108552\ 36150693503*c_1001_8^21 + 31904419951519100393720445188073295127441\ 1714663045265279534329704266702607296084145001628498413651318027447\ 09730233776047591832210470/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^20 + 23592701851567696676212299475739387\ 5026998089818789117033548155378925004257180221456455270904528468778\ 499729208577010359985721862684/142361946138529929424395833679096757\ 1101895895801215422826856829317069453783622931520372282881293614828\ 728710855236150693503*c_1001_8^19 - 2964061123045839382375924595545721437703539599575410536051980565922\ 3409612796073060271939854584331926984206737003214903599747081549073\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^18 + 2938791576271155049277367615238494983142413541186563498764272\ 6592514750886372801845398931457942022732690689445008134369286641072\ 80759/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^17 + 19253353855818291719608629722663877653127712290998107366\ 2888814582688163161069263024382126594959684354453417766524524423043\ 94155144361/1423619461385299294243958336790967571101895895801215422\ 8268568293170694537836229315203722828812936148287287108552361506935\ 03*c_1001_8^16 - 31082531536839186644239470226693787108818438142759\ 7129331824040714538810103088328929257446913567623777030154224725210\ 0094531309965959/14236194613852992942439583367909675711018958958012\ 1542282685682931706945378362293152037228288129361482872871085523615\ 0693503*c_1001_8^15 - 899295378790276182022358229742048990478515823\ 9601825640393355411614190414358285013688509703948897467884316658503\ 209652935617109796662/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^14 + 1806679858702640424408130545057241526608\ 9956000966786954394682926711903260227584148874436788957642511038246\ 28722179193725381774944059/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^13 + 23440444991344975870951974587054313\ 3826265547811552877017041782996689652716449323181755003702100578212\ 543453043851563506911291017950/109509189337330714941842948983920582\ 3924535304462473402174505253320822656756633024246440217600995088329\ 79131604248934668731*c_1001_8^12 - 6932811368914537608963762263609729402401258450429471767995954658703\ 34195527039420740752203611938135450521540509280108436517481140302/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^1\ 1 - 744151628995922068643679407528550850334008137110291222117979221\ 2373483604561766077056592549550574925312311739620956273472940157312\ 27/1423619461385299294243958336790967571101895895801215422826856829\ 317069453783622931520372282881293614828728710855236150693503*c_1001\ _8^10 + 18345960894479775983796645169155259828440154444264776512559\ 2888746544532220210063057849525966395442456977917837646022382211284\ 906560/142361946138529929424395833679096757110189589580121542282685\ 6829317069453783622931520372282881293614828728710855236150693503*c_\ 1001_8^9 + 12827238666465266696817763804589794083354154763999813609\ 8456732281496695193142276985182928550988104259371615140112954893092\ 801324752/142361946138529929424395833679096757110189589580121542282\ 6856829317069453783622931520372282881293614828728710855236150693503\ *c_1001_8^8 - 33514082975331271842318644218348840249901123888429134\ 9919431019228256154465736636058849788314601553669058246020126903316\ 19858515811/1423619461385299294243958336790967571101895895801215422\ 8268568293170694537836229315203722828812936148287287108552361506935\ 03*c_1001_8^7 - 150675645717996272770218318490997247108336735074365\ 2581503455622923216407797218808635465053645509349928742989041922227\ 1697843563771/14236194613852992942439583367909675711018958958012154\ 2282685682931706945378362293152037228288129361482872871085523615069\ 3503*c_1001_8^6 + 4127916163811265431946271580397814501110435070736\ 6129449065398426007381790392973128422937997024712195534258184131897\ 26096773611643/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^5 + 114459347652863102469482862953859273563609681378\ 7478899439650331265730242955007498951750415023209808782756667801443\ 274617904636733/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^4 - 32382904341000306147780748299864943820424314163\ 7632792641285979568349102171301892294516075986059977408464308569426\ 238485046604618/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^3 - 50722463678495685626214670968244224171554913373\ 7444447834473131208582540007929374432393324983360398656080223755906\ 11054920201415/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^2 + 132618938070673050178404145179637775210327457617\ 6565170966504375784661416273846311733555116125611210755652727006048\ 4219199827088/14236194613852992942439583367909675711018958958012154\ 2282685682931706945378362293152037228288129361482872871085523615069\ 3503*c_1001_8 + 829852956753643997916633854088584094602900425764597\ 8957107153517201728154749759808852588215674984194062113188777355495\ 10656284/1423619461385299294243958336790967571101895895801215422826\ 856829317069453783622931520372282881293614828728710855236150693503, c_0101_0 - 342142190942887339195646678897541244712824429102333138023684\ 468365395295671612266987611326386390950658068651027154022254755964/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 41 + 11807604654083247562954206366564935629464725201537106936452125\ 21221436566965695500286473404345003702642347887506454141833996140/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^4\ 0 - 116680559276822746825462463490776390463670975225106958599831366\ 99368122886986903643916633028848963869895194156084277626138074588/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 9 + 428605639468588943566888149358847938413460565034008440296564837\ 84512816342211616875947119065793277505046472228138737504965016368/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 8 - 169067639075876329662416848190408459240944326919074358975649149\ 109312066407951625859878244419495713671414568865786162312605118066/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 37 + 28651766911367446436940020539795962920941116594818970507238602\ 7381300922309770587551611787031913414795634645515637690747064292746\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^36 - 7489463985804266704550931529059690951203136979876934247187301\ 7330507732494060197411221710038318593433891752828852739171582448547\ 4/14236194613852992942439583367909675711018958958012154228268568293\ 17069453783622931520372282881293614828728710855236150693503*c_1001_\ 8^35 + 218942753403704635520780177454049976222529711711078653722522\ 7578101721292778493129098631705848281386089175701626089173586102768\ 552/142361946138529929424395833679096757110189589580121542282685682\ 9317069453783622931520372282881293614828728710855236150693503*c_100\ 1_8^34 - 5363842041039311186439423501092756236202641375409348579848\ 7351060764712269645751702998038846201231094951155459770114786281374\ 32974/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^33 - 33981509864902179197670744214837360336129605775775355028\ 2904211552220952453668318113639474631637065914623071609805914580735\ 7428782/14236194613852992942439583367909675711018958958012154228268\ 56829317069453783622931520372282881293614828728710855236150693503*c\ _1001_8^32 + 360316378633847354496024049056102445339120417030946062\ 3454039225590422323634923138146686175014548440232931942827166859542\ 3319493376/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^31 - 117363921837047336297205713614621499090219305804496\ 9433949293410714695012360159636430399657269182593296371685083973693\ 9276425349564/14236194613852992942439583367909675711018958958012154\ 2282685682931706945378362293152037228288129361482872871085523615069\ 3503*c_1001_8^30 - 211981383677667371621459845065053587870189176913\ 1282244408804741776302610584440097954817161180357110325112417335167\ 03099710033773810/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^29 + 11649938042139878965166931226393198495875264\ 3681870758556278728015660342907727800637234095126694647375406534499\ 511799826616808295838/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^28 + 9403838097501589931504654993970114655986\ 3520277122724536313056142140716533461323699191850326153885655429773\ 041138771570199533912150/109509189337330714941842948983920582392453\ 5304462473402174505253320822656756633024246440217600995088329791316\ 04248934668731*c_1001_8^27 - 16303011527266548143752121020824640377\ 5959640479736459868244161106197205630406615607062158257822030934322\ 6771988584463828665430443192/14236194613852992942439583367909675711\ 0189589580121542282685682931706945378362293152037228288129361482872\ 8710855236150693503*c_1001_8^26 - 367785455333443871064779336284659\ 4833214962251815642196827148465353062351959607691060035644619015085\ 124093167459641375561212115871520/142361946138529929424395833679096\ 7571101895895801215422826856829317069453783622931520372282881293614\ 828728710855236150693503*c_1001_8^25 + 7864980898325313164262703955312234680901278544865353746930087291815\ 469293151020608023219515122514419479801393370511524939403776020898/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 24 + 58707252576876724768303790473535816204655418495222960241058983\ 9668174036383503631250254265084379756916073194972999824699844031156\ 1728/14236194613852992942439583367909675711018958958012154228268568\ 29317069453783622931520372282881293614828728710855236150693503*c_10\ 01_8^23 - 185677842721980742534095834884313234498871287714259851105\ 0842178547875110891134990355791207307246142000408746658237362551704\ 2393198624/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^22 - 493817372841248233381247882474261663323473889014363\ 1530874867831877182086933663503796182452073986767492490678797501521\ 918993977140411/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^21 + 2608031268165394142303618619877224597238951030\ 6239231070707206067698740343596163176776669649819621792074754133727\ 439981408128471663974/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^20 + 1455968260907633508240736658759150243986\ 4359807080869749155432802934614297657819143968310281432836569228919\ 31026446486106010944754644/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^19 - 24184709918818247724136641130229895\ 5214122658026385044363591078067890321502260998480795715893699286609\ 85130976185913629822584054514110/1423619461385299294243958336790967\ 5711018958958012154228268568293170694537836229315203722828812936148\ 28728710855236150693503*c_1001_8^18 + 1327543857556532589310610306569400187573138775721016715011154412522\ 501744630126934827420656146621725575636456706164534932389535686258/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 17 + 15665709373492406229902408047410501943700859095572836143252315\ 3029097134705979311752579764897464939013221983447274429566254311006\ 38186/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^16 - 18931700105348201178329725418524735901530591911012997091\ 6089188646456967969970676378831882725710448954589115873581143073582\ 8341482850/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^15 - 729224846807123759051108035076372870274884963507654\ 7693456197527992074929234081349957446086358508062131802613042738823\ 833442348577450/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^14 + 1195328188774545086300045686853531124093863528\ 5816230281128668164826570664259233948527215557205509018958219096260\ 90711236905962941424/1423619461385299294243958336790967571101895895\ 8012154228268568293170694537836229315203722828812936148287287108552\ 36150693503*c_1001_8^13 + 18934436158966309465690254667049564175298\ 8164555512915982128992798853249662472166786295954332575235017017732\ 271653728813693023853516/109509189337330714941842948983920582392453\ 5304462473402174505253320822656756633024246440217600995088329791316\ 04248934668731*c_1001_8^12 - 47804451498949653762931037004834581595\ 5763567550445696118096400682102214713382039631724464235796873409671\ 220977147001225066879844694/142361946138529929424395833679096757110\ 1895895801215422826856829317069453783622931520372282881293614828728\ 710855236150693503*c_1001_8^11 - 5986533601290023628252008424806347\ 8306909235359600429931366088639294397962044174526675683278871859260\ 0244326925702890972528974364374/14236194613852992942439583367909675\ 7110189589580121542282685682931706945378362293152037228288129361482\ 8728710855236150693503*c_1001_8^10 + 1298902171113074185404399735828362776431400555252545581157907336511\ 41815726331531375132463470834361805271262311447136876144301398236/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^9 + 10278082487490066627128962176443825209229258092890940045331618211\ 5511627744614732291832934333552522736452992434333283182767459043794\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^8 - 24187664681365134303842739628169207824967830703604251088252760\ 9628928804907889022780830010191740863402353915045813219937730408550\ 36/1423619461385299294243958336790967571101895895801215422826856829\ 317069453783622931520372282881293614828728710855236150693503*c_1001\ _8^7 - 120324448618221517872097053334387242546593878973846693391912\ 0515789467983162298022910734346701459230402283219658788408912865509\ 6120/14236194613852992942439583367909675711018958958012154228268568\ 29317069453783622931520372282881293614828728710855236150693503*c_10\ 01_8^6 + 3022110878981397781640304816308181301873511166960704208740\ 1581675255729657717997565152194923902012334278194245906616609809054\ 64426/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^5 + 911683413564859255900651869864830896022500319926614590097\ 8788474545168039738775905768930769206268962134258967755040179773802\ 73102/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^4 - 239302221925315746721224696848214734346109148733846585971\ 1730567689200234308243231687190832741268172657772424278301547409870\ 61198/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^3 - 401330741095470280132188306339678953899730006349230825175\ 3561519121946780632334374540884997764270780267377107217688649170156\ 1280/14236194613852992942439583367909675711018958958012154228268568\ 29317069453783622931520372282881293614828728710855236150693503*c_10\ 01_8^2 + 9836359873954892866030266545119676475494495134489157721348\ 3663871387244285389385882445100426590148643302780298737225757961878\ 72/1423619461385299294243958336790967571101895895801215422826856829\ 317069453783622931520372282881293614828728710855236150693503*c_1001\ _8 + 62091890206525854840962594449786283052170305375123319263807551\ 3521331788787543697632933263421839113008014733290383044771735916/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503, c_0101_1 + 384754648069417539652375112322898096489961696101797830440320\ 405484889436640676619881658502627759666818384132690122758529320041/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 41 - 13211701372366002578371631616378750964664980845328010489146046\ 70677323246665036036766329984353415411275655815539829754555311156/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^4\ 0 + 131055488430682687641731995525024132282680246309681193026802451\ 31533431473817877202358176981618493407650458120657187622017680844/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 9 - 479948160471428229438994885484223455084157731604975570178217695\ 89418904344595023649019019175827806593402662871223503888614438759/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 8 + 189533077295470167279146010393587536534934624148094789360896189\ 743060101810394954740124608180228764368320753252003546245610839927/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 37 - 31975952902315056890350110864678750806772085500863544115359256\ 1293914478851280251776425077858862230055365324583944715651399684261\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^36 + 8400466496158340598325163528465476292491109180592034342982495\ 2306751124276081050232080832248283906173338943617630482120104616757\ 6/14236194613852992942439583367909675711018958958012154228268568293\ 17069453783622931520372282881293614828728710855236150693503*c_1001_\ 8^35 - 245286097287178298069014592854592713150661016593507717496312\ 5769509601759282802845739130415232935048126569003392614420553089809\ 001/142361946138529929424395833679096757110189589580121542282685682\ 9317069453783622931520372282881293614828728710855236150693503*c_100\ 1_8^34 + 6004499586415906250404976883018308725142410708546124614270\ 8323487018939176113026282773747242395157252304512023629409034932164\ 31890/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^33 + 38821540859862954941614337898922048413059637498536352824\ 8047194893472822214399400535957822253140019409436524212586678869763\ 9114201/14236194613852992942439583367909675711018958958012154228268\ 56829317069453783622931520372282881293614828728710855236150693503*c\ _1001_8^32 - 403482397080921619429229727388115158273209763785615294\ 5270650612598701859584627085247644238447368507493849869726267835837\ 4511799827/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^31 + 125882217486403005873661325318115351494796114860678\ 1229870326756972320354982945146151602034249142340997129601885417510\ 9196860984787/14236194613852992942439583367909675711018958958012154\ 2282685682931706945378362293152037228288129361482872871085523615069\ 3503*c_1001_8^30 + 237902768831544322383040851280410365922479532352\ 4554965419760530610630113445562185438465960782203743471146660774685\ 12084408373377229/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^29 - 12683134056972705120294189971425184141972527\ 0110425201244108055139397680092636780305318223694538203927596427723\ 841464827831740240320/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^28 - 1055915144362718759511020475489880305581\ 5454121800628932655407155129416030991823698613877893325655698225776\ 3144379769251107449404884/10950918933733071494184294898392058239245\ 3530446247340217450525332082265675663302424644021760099508832979131\ 604248934668731*c_1001_8^27 + 1808429713470197522937848379475274583\ 9375270034913415926559070718693542229705050920788917373746284860625\ 16939071675158096813167387355/1423619461385299294243958336790967571\ 1018958958012154228268568293170694537836229315203722828812936148287\ 28710855236150693503*c_1001_8^26 + 4142397370316575294739408591957780451185081985936493747794166474485\ 605633402478953005359886277946068959119654228141347890995939217357/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 25 - 87463721362393029993593875613192514091670978191443418782346352\ 4010393695007095085800907508732654777905967860113422290562080177622\ 9866/14236194613852992942439583367909675711018958958012154228268568\ 29317069453783622931520372282881293614828728710855236150693503*c_10\ 01_8^24 - 667498176395369329636981850538146109124823355252835906213\ 7332611886668881640874149907032326897427046870409297910215226632454\ 541369584/142361946138529929424395833679096757110189589580121542282\ 6856829317069453783622931520372282881293614828728710855236150693503\ *c_1001_8^23 + 2063074303462100426168038847647498447208105215454911\ 2045749936930294768140250069416811457109161599896832914132821196247\ 334645570686000/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^22 + 5766911064990762432235171348204196401862226697\ 7211452330129431680404452714084188531387039983740999240125549786523\ 42664930144336665156/1423619461385299294243958336790967571101895895\ 8012154228268568293170694537836229315203722828812936148287287108552\ 36150693503*c_1001_8^21 - 28918527706947019691075413129786779462796\ 8652743143627991184103714050229872018380332469548874699500067673652\ 46204010827466720297489392/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^20 - 19714501541029634934422892289885981\ 6500090688330243555486545939327321595052693714770580592541109430314\ 6464273090807440914606622908716/14236194613852992942439583367909675\ 7110189589580121542282685682931706945378362293152037228288129361482\ 8728710855236150693503*c_1001_8^19 + 2674668388100235729416010825155727428231004999067031395371246237550\ 0856236116182180281448729823992127925744827891131427006539052199373\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^18 - 1161933741996584776428044537385277967949567076116089597683482\ 9509838079495833040854006791865208291087767638013551325400997021988\ 86546/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^17 - 17274241582819057113423638736579937646317586193748604952\ 0024269422873973913489573530886093526442562351390048654077603830682\ 78158158087/1423619461385299294243958336790967571101895895801215422\ 8268568293170694537836229315203722828812936148287287108552361506935\ 03*c_1001_8^16 + 19050448527613045859341115467885436279283982612286\ 4716416919740184361898941130231684184931431188862200855744064880973\ 0307855718188059/14236194613852992942439583367909675711018958958012\ 1542282685682931706945378362293152037228288129361482872871085523615\ 0693503*c_1001_8^15 + 801546581560834231626370738838841399665909439\ 4168259007450016652537851799142919951313000717817000777626866078638\ 294308533964767876532/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^14 - 1236771060450049482845062410120710570939\ 9871396666101068424057753968625866489245571688872364224616273603559\ 60331661936727052746604966/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^13 - 20742793250637292864478680445739952\ 2205864920573038797628947649379863066118415867955054810926920095744\ 066271776129647842443602625726/109509189337330714941842948983920582\ 3924535304462473402174505253320822656756633024246440217600995088329\ 79131604248934668731*c_1001_8^12 + 5004835068779150645042486922423839983614440664088879455743794544553\ 16813418621719249575850729601512339201540767893685413347578392888/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^1\ 1 + 653594996930320475379832222122112234785998703685210944818972475\ 7465469369490619369213156020391994047676398576710932779343742903132\ 01/1423619461385299294243958336790967571101895895801215422826856829\ 317069453783622931520372282881293614828728710855236150693503*c_1001\ _8^10 - 13686583669479144522208833972436039370975615220299746888065\ 1424001506799757891680596226537154899562384151052346635417449254126\ 145986/142361946138529929424395833679096757110189589580121542282685\ 6829317069453783622931520372282881293614828728710855236150693503*c_\ 1001_8^9 - 11184339340035472520663961196361777936203892815570447257\ 4182706190773642117552675138481573702934872401432935190897416351386\ 350868283/142361946138529929424395833679096757110189589580121542282\ 6856829317069453783622931520372282881293614828728710855236150693503\ *c_1001_8^8 + 25587272785332556172835047284899312779996422981560529\ 9189445403241031832248010000207808832772099656433411875000319558083\ 43050200839/1423619461385299294243958336790967571101895895801215422\ 8268568293170694537836229315203722828812936148287287108552361506935\ 03*c_1001_8^7 + 130552287540381162161737210821588732229472666856240\ 7675459984743635222341519103738010112395819759943978984052295454812\ 4629540483610/14236194613852992942439583367909675711018958958012154\ 2282685682931706945378362293152037228288129361482872871085523615069\ 3503*c_1001_8^6 - 3204504925292965013436104629115093815624588868316\ 1659838095162452596873960860101880232436321979510405413064908933798\ 90886224980005/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^5 - 986764192935775995714778663088439900061701760093\ 1915661927428392566061032961149183177888942078682549188873651024607\ 11917955789146/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^4 + 253946611842997385383072760490261962832357097583\ 0633073105314984924272540344949094523844319345989650496876320629656\ 50686857252579/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^3 + 432821145381155392255117877456972503442131108927\ 1297502648353659861596947421819030178145875313727724153453825159871\ 7317850492132/14236194613852992942439583367909675711018958958012154\ 2282685682931706945378362293152037228288129361482872871085523615069\ 3503*c_1001_8^2 - 1042416718394775594606354232775577110900073551641\ 2505971455140094003455921672350212960806709162084703501700746031790\ 009997799771/142361946138529929424395833679096757110189589580121542\ 2826856829317069453783622931520372282881293614828728710855236150693\ 503*c_1001_8 - 6622382234786560226404799498998771028857123028515789\ 1542343279162609737283486294351259940948722237502247204565222390691\ 2382077/14236194613852992942439583367909675711018958958012154228268\ 56829317069453783622931520372282881293614828728710855236150693503, c_0101_12 - 18711858558031569953303386681780879631530060727769118702367\ 7606413777779575693689972871547228102126933759237576653030787411663\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^41 + 6453400866682498951637844939191858446929742614203972903459039\ 40030596522710969526530584923850849332206433617863693699213329333/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^4\ 0 - 638088301961709139595740356311634852723459035890716857283924724\ 1949647481644956694153807012466467579650504389279548231755722160/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^39 + 23429126538510855859883842795722694146693245970487453811277305511\ 394093381156698473247807158414671043424801969126820409897500993/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^38 - 9244474955654338184819337152479529298118773207713578083028224928551\ 7145387725156732817770015040561767142999746931297610461590358/14236\ 1946138529929424395833679096757110189589580121542282685682931706945\ 3783622931520372282881293614828728710855236150693503*c_1001_8^37 + 1565988265096152033327959908658214573526123828312963581215931486941\ 43877567633181486239718965031123590927849138886918650053359556/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^36 - 4097019852524710423540247906176419008451390078372312096135246175803\ 76602139942045793570368161015729051895673700345704768412968255/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^35 + 1197097609909571248521977989157647740391868805412479316973350246894\ 132699038723164367024289571656346517643634062846800739946044450/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^34 - 2932830801752328950628281719706675282002058768444232960902799437019\ 825039383611495517081468959199181163780650138712223361271426241/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^33 - 1859445737574071780076563316653293106387554743099666142488264528350\ 891673004540987495495179809172840337394207785299414192840612753/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^32 + 1968823776678061855076975468543004088266785766312749050590360862101\ 3803989481210039471171223677094528790313399301841517889241802253/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^31 - 63913931121530221082146334679849628591965987844950389087904674425\ 92921789881866377941915181051614396138180027505846860038386419440/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 0 - 115853640175353711465777252379932006392434474734071934005513206\ 9166597752409337497239767679164757772975631640847088481581950763095\ 09/1423619461385299294243958336790967571101895895801215422826856829\ 317069453783622931520372282881293614828728710855236150693503*c_1001\ _8^29 + 63476250579424468594427579758968393137427521675291737788970\ 8566634929418240648168184777300958030882911008478770210032449170767\ 65896/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^28 + 51394465545049841109750636643677834287599644393290331419\ 4290178026207843522773241228020447766130352288832397319929396584464\ 57692833/1095091893373307149418429489839205823924535304462473402174\ 50525332082265675663302424644021760099508832979131604248934668731*c\ _1001_8^27 - 890158583126413638016980183584496497220702543288930804\ 4335345793586045941471256250099155669340103366159656113902133954086\ 44046782810/1423619461385299294243958336790967571101895895801215422\ 8268568293170694537836229315203722828812936148287287108552361506935\ 03*c_1001_8^26 - 20098997435482039746046367449029577054268155023401\ 3475509125500725638733584797612120780936861648669261469871966926934\ 0891848449556691/14236194613852992942439583367909675711018958958012\ 1542282685682931706945378362293152037228288129361482872871085523615\ 0693503*c_1001_8^25 + 429427298933005586826696255164230724280360369\ 7739772527294279941854937545923452221802622469969176263825468460129\ 392086418389242121803/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^24 + 3208431676144719794658842101914132948156\ 0753942956912063160095374556889295318260185764542698873856519299145\ 72959178056204238608614151/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^23 - 10132661453894631852213935677839046\ 9098351201847900999257710225423949992089267569588172277486060233655\ 18343583087042663334203560137583/1423619461385299294243958336790967\ 5711018958958012154228268568293170694537836229315203722828812936148\ 28728710855236150693503*c_1001_8^22 - 2698512944665882467093519227979934419909412531868909045417634900092\ 887513481412099483325404009308930725172479476497482974935182500557/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 21 + 14222932391149931977870660513973561196525399493442938104031909\ 6466042817689912197824613638176854461048353613908071622598301242928\ 57073/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^20 + 79425181275725889145684397528423853491592484432486678869\ 2953450105267169307855406487566773347698341081883422046903980958991\ 496296542/142361946138529929424395833679096757110189589580121542282\ 6856829317069453783622931520372282881293614828728710855236150693503\ *c_1001_8^19 - 1318037694817298536508587459786117245969406706696557\ 6680585103699678468770287836502162604832730656163440466412050950440\ 581924781722733/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^18 + 7280943176670045197871190480207158620099281914\ 8040448565457981107497944073764234895795647467369076848283645639274\ 2782860134507647586/14236194613852992942439583367909675711018958958\ 0121542282685682931706945378362293152037228288129361482872871085523\ 6150693503*c_1001_8^17 + 853232627732034843075504051465533815205365\ 7287090808982965324551904232449060026718162691234726089080542033981\ 433522062849090496250027/142361946138529929424395833679096757110189\ 5895801215422826856829317069453783622931520372282881293614828728710\ 855236150693503*c_1001_8^16 - 1037083356014471359620726838059375836\ 5143741013438628168530888853911624444463510023835433259576958402904\ 22345704864632544013184595546/1423619461385299294243958336790967571\ 1018958958012154228268568293170694537836229315203722828812936148287\ 28710855236150693503*c_1001_8^15 - 3969533852565216640963186769535756917204992389599558875651396439593\ 043853894454272507888831795363208192854228587278361382486582094163/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 14 + 65468807370056649983341384061383127595259905228032043776397751\ 5355324904271622298958103658454229821027784136043465745375518460960\ 752/142361946138529929424395833679096757110189589580121542282685682\ 9317069453783622931520372282881293614828728710855236150693503*c_100\ 1_8^13 + 1030212770872183199514264695765776497377504827095579612936\ 6448769536510504161395260387944788352243096136321619014445346959027\ 1520577/10950918933733071494184294898392058239245353044624734021745\ 0525332082265675663302424644021760099508832979131604248934668731*c_\ 1001_8^12 - 2617947076997724923551481177742437534574618122046049131\ 9976624803793820649772471051982575585452437950197083938702473185487\ 1615798835/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^11 - 325601739613602498936112987280477508320177326540085\ 1747401193461342726482152023528524048826413249444850850981867266753\ 24160663356118/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^10 + 71116858487057686013141947459051648399510383391\ 5862934155463651876677926451990554599471057288900499057359230957155\ 81483697518119041/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^9 + 558856932283492068384741817944791956220202788\ 7470145865263152022689342445840232856544797997976192896865339104624\ 0589534986625043975/14236194613852992942439583367909675711018958958\ 0121542282685682931706945378362293152037228288129361482872871085523\ 6150693503*c_1001_8^8 - 1323801535987571475776109537701709914606918\ 2475138043176710079690413061465808447387974508928530790965129983145\ 353005000697367074206/142361946138529929424395833679096757110189589\ 5801215422826856829317069453783622931520372282881293614828728710855\ 236150693503*c_1001_8^7 - 65409748630742623189848729416156623123177\ 9914184968903698178220319661337061096550367855989749589307483517706\ 5458906651438596175708/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^6 + 1653060476322759392065052498889585988201\ 8452766018479651268836249337604258935728063747458149224695469947191\ 83667635981585621084939/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^5 + 495441925111940884598688155035007451726\ 2184384276549715702897545297918187097650528730171912711988883696515\ 46880672690321419130033/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^4 - 130798648133514100529487988142265415342\ 0233684193272513866271632135750330849262033087538583382512985497554\ 82432460227032695869748/1423619461385299294243958336790967571101895\ 8958012154228268568293170694537836229315203722828812936148287287108\ 55236150693503*c_1001_8^3 - 218013091548757990057087634547351821222\ 1374395584045855065341890537976155769450912200638708785856462584161\ 6606857586137716107794/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^2 + 5371400409325340800843431144805386296939\ 5495157688033942742132758272204206106383167612215528277062503315858\ 15938207785902001627/1423619461385299294243958336790967571101895895\ 8012154228268568293170694537836229315203722828812936148287287108552\ 36150693503*c_1001_8 + 33903747687545292625788486993645657282553685\ 8501696080838966282773733392791277285506754473833046314301173058471\ 078685814240780/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503, c_0110_6 + 413880459267886584997188791984538951307051856762347006416166\ 49795397764570799995849365385878484513518436596342811132642499560/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^4\ 1 - 144575267449251054689801630927770994897129665815736436411398433\ 008744370420186130081700991175575229238657775232867956986355754/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^40 + 1414908469250332052418447330844480138274469775721043756065459701753\ 852740396372755283361835040330895923521522202143481215144013/142361\ 9461385299294243958336790967571101895895801215422826856829317069453\ 783622931520372282881293614828728710855236150693503*c_1001_8^39 - 5235297571521642939225264630268927903015535191242125220834485315124\ 748452574024219859823636650107314860222840778708926837487594/142361\ 9461385299294243958336790967571101895895801215422826856829317069453\ 783622931520372282881293614828728710855236150693503*c_1001_8^38 + 2058198828785811098357531563406208959379974853157962234095139673796\ 3996825670839145468321555452454715426912511556223640227662955/14236\ 1946138529929424395833679096757110189589580121542282685682931706945\ 3783622931520372282881293614828728710855236150693503*c_1001_8^37 - 3519709503879760684710212780435839743538384737146535404274142910061\ 5976170476216082336866898079362308520131821891631342725917850/14236\ 1946138529929424395833679096757110189589580121542282685682931706945\ 3783622931520372282881293614828728710855236150693503*c_1001_8^36 + 9076951406893154187421700667530829767318348443380029291505285788732\ 1662406367488864920716748063423443388007248979316349663803749/14236\ 1946138529929424395833679096757110189589580121542282685682931706945\ 3783622931520372282881293614828728710855236150693503*c_1001_8^35 - 2664323281722665956436719833137408876261774174732542541983881195009\ 76656099172163022472515883676012217881398131562194866945141300/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^34 + 6540544272190429595164115628484571673406495586481300623115279281150\ 87488710398642027495387470109356667404490225325606828828405546/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^33 + 4007409282392693247958531403643035733305101153986094447422019900393\ 01690255195400980180839979108504659356664982006296863020293845/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^32 - 4417682064692404823601763469812648973840046804794806677541359862534\ 088746835734130883906004076953804272461442228340449819548290027/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^31 + 1582388035454189854264410399112026128435499174513374784892928387558\ 758138021381948485039359133533896555643845614009657475143287678/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^30 + 2584128973263652692593161799365390378709708909473859781089589213312\ 5808562810679267609162427062147025609837027380797775663887659513/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^29 - 15264509996478260975743098221285080623050609345832537298478957510\ 790805195559499648837949213014884578293838429131766795106366297364/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 28 - 11446748254357067190635391643721157883806773513508636486113304\ 7208780241662415819132285776336233332499488892752737363732651291654\ 71/1095091893373307149418429489839205823924535304462473402174505253\ 32082265675663302424644021760099508832979131604248934668731*c_1001_\ 8^27 + 204282897624544698982389646303339513889727795230505229527232\ 1227504923416339970860132234417145129056838054404832650798606420149\ 29000/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^26 + 44535332772810644833566559547589254895879860401161881497\ 6096359106669713033631684994179297589230615821581436657118953340993\ 781940763/142361946138529929424395833679096757110189589580121542282\ 6856829317069453783622931520372282881293614828728710855236150693503\ *c_1001_8^25 - 9820964237031218260005997106889978489154253446398734\ 3725755111516337372991575188837618348089600186955417218612513533192\ 4740480022706/14236194613852992942439583367909675711018958958012154\ 2282685682931706945378362293152037228288129361482872871085523615069\ 3503*c_1001_8^24 - 695389168197074395997707246915220752114280678400\ 4298335595887145439634487591651138044579594753111839252523745250522\ 06983235958445827/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^23 + 23316212100500970515249022258378542862696142\ 7780882158235527992990006843880332566062593751154793593843112851627\ 2778375454820370933354/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^22 + 540513248176124675580787458738736261144\ 9687377208446812161319090879997509919926009705300475688310283077286\ 42482856746667876570183001/1423619461385299294243958336790967571101\ 8958958012154228268568293170694537836229315203722828812936148287287\ 10855236150693503*c_1001_8^21 - 33043903528185069667008332292936818\ 0062164042671098040945268483188178034164944194323124932046751601355\ 3178137696702393236186988507106/14236194613852992942439583367909675\ 7110189589580121542282685682931706945378362293152037228288129361482\ 8728710855236150693503*c_1001_8^20 - 7200684212210374440686547685541690871335718557743864584199448053750\ 8886853253847139742585325795933566598356968065267955212934984424/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^19 + 30965236176025513733110091993286563856691694001322486838671635448\ 1209722025131923373614819283749501767680706009446337616499164264557\ 6/14236194613852992942439583367909675711018958958012154228268568293\ 17069453783622931520372282881293614828728710855236150693503*c_1001_\ 8^18 - 276833580280372595147851504276380232791503777717831392428323\ 5274669739210886656396838021102943788427336984122172532447808997032\ 03439/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^17 - 20290620710265957656058507695046666426552171607855976883\ 8154836025862189782889817343581660585679223108710581223054590920096\ 6223741873/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^16 + 315842028608475806594450568635119768900106062011423\ 8266572749151407640946802695549337972265099981733003349597264486787\ 90240901923146/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^15 + 95640036193320803986173588360045478064836225426\ 4587969182582737213885006554231924319903822088448059546250401145244\ 519605953175225693/142361946138529929424395833679096757110189589580\ 1215422826856829317069453783622931520372282881293614828728710855236\ 150693503*c_1001_8^14 - 1899436536479248554991283978561186757067010\ 4652904472711336333791366716455448537937766844848698909552462065847\ 4191518311852302381922/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^13 - 251708864138561436416155667935054302744\ 5728242283086601836376031830984575667825158035448756876496350810548\ 6524577785623884680213716/10950918933733071494184294898392058239245\ 3530446247340217450525332082265675663302424644021760099508832979131\ 604248934668731*c_1001_8^12 + 7467584849811789754297841076809481295\ 7073426020568495488852460769514792756363629584224191720640640054833\ 271656270406042507157246925/142361946138529929424395833679096757110\ 1895895801215422826856829317069453783622931520372282881293614828728\ 710855236150693503*c_1001_8^11 + 8074109274335137662812630304913633\ 0991165445034576185408712400468692874868184916866817889235705917841\ 894342190732303528075214661308/142361946138529929424395833679096757\ 1101895895801215422826856829317069453783622931520372282881293614828\ 728710855236150693503*c_1001_8^10 - 2015548964483632473306216409819823277963926433684905893387532633992\ 8784236304601085723860887248651036738240274980601832365052077595/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^9 - 1407160502315498475109966538198156990714816818142289836456197386202\ 9389099127593660912106039034653466372027146356513169192167760628/14\ 2361946138529929424395833679096757110189589580121542282685682931706\ 9453783622931520372282881293614828728710855236150693503*c_1001_8^8 + 3742668339410491401036640451074608269052586312175429670915735484674\ 388665875733598830492307878245856837538018800749780383142499747/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^7 + 1671383965879632881867825741114256797461707746410539492846449595682\ 301549052529195249471589417349116795929526166654419766463285326/142\ 3619461385299294243958336790967571101895895801215422826856829317069\ 453783622931520372282881293614828728710855236150693503*c_1001_8^6 - 4670555124121881875359691117778743164654806407745330580601943458855\ 95000464994005551500165494303887252265745777713857718240424863/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^5 - 1282468192857709455770373299684499559254753296637883562619321669340\ 38444293661621630698690479471032737797198299834288845456908408/1423\ 6194613852992942439583367909675711018958958012154228268568293170694\ 53783622931520372282881293614828728710855236150693503*c_1001_8^4 + 3708581905836303918827428047440050386015520895466801363029605797876\ 5512152617068932623743454324694807317483206623944331012176266/14236\ 1946138529929424395833679096757110189589580121542282685682931706945\ 3783622931520372282881293614828728710855236150693503*c_1001_8^3 + 5744769311567732388940975048149078497020473197044051366046980014142\ 856614176221149486957240017552136228569437707448437726871265/142361\ 9461385299294243958336790967571101895895801215422826856829317069453\ 783622931520372282881293614828728710855236150693503*c_1001_8^2 - 1550598879962797273857386004307851240073260230828237086909301447411\ 817165647842802840508281455514871773764484153877185196359579/142361\ 9461385299294243958336790967571101895895801215422826856829317069453\ 783622931520372282881293614828728710855236150693503*c_1001_8 - 9819952339243892628617420940049247168132927357495090994055614242570\ 5146141341402184539281115280804604140437081055006334145854/14236194\ 6138529929424395833679096757110189589580121542282685682931706945378\ 3622931520372282881293614828728710855236150693503, c_1001_2 + 622342521526643847703869902834653798092804949647034408060902\ 370350648858241327320564453635704720406622843462001238280922429419/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 41 - 21472278951636880516198329324410739476583953694858044942199250\ 13037200137293697015270203216432490675833305196977799101434961712/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^4\ 0 + 212235703095508537610438958653910431683945056671395279965472728\ 11401922329722088040033857481024930935780016744538123971373462944/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 9 - 779492671721544393868110196591125078789968152266622589007868046\ 31125312699764230517364690512630774683794264372094034826691761748/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^3\ 8 + 307518275672641591900589940360025294484903130147879527708631550\ 722902490847655664601840277835964311423614396878558414654362746529/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 37 - 52111021729717169744117487405322260284397636223948679956389157\ 9609557517381680372646100837577039217273318830493587091230369107605\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^36 + 1362690012931931732045855037113872935736521950616451476289005\ 2540479185520297468119441903475855956627549005287876437536973736676\ 04/1423619461385299294243958336790967571101895895801215422826856829\ 317069453783622931520372282881293614828728710855236150693503*c_1001\ _8^35 - 39827237925866465036374297183459037317792823341787091797683\ 1054847090594426820964413932389187980331721456131330688725813740638\ 7183/14236194613852992942439583367909675711018958958012154228268568\ 29317069453783622931520372282881293614828728710855236150693503*c_10\ 01_8^34 + 975705950918840894531568488027351454596418669631368595991\ 1854323149334190022026116456620285139531539442927394949680867000852\ 358572/142361946138529929424395833679096757110189589580121542282685\ 6829317069453783622931520372282881293614828728710855236150693503*c_\ 1001_8^33 + 6178488401717687983083789203903318057906123054497316620\ 0004563088654705824024726329186736937576021217644176377366323883555\ 97542445/1423619461385299294243958336790967571101895895801215422826\ 856829317069453783622931520372282881293614828728710855236150693503*\ c_1001_8^32 - 65508235339461315541853105090271967145020496252291761\ 1920821292320719827088013190790804762525459774825416202401410445562\ 04950272317/1423619461385299294243958336790967571101895895801215422\ 8268568293170694537836229315203722828812936148287287108552361506935\ 03*c_1001_8^31 + 21307890357472595458593648592060583153368542332634\ 9089521508476363528093177154612987390739755089302618663629432124204\ 17364715026189/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^30 + 38543751779741619807970185126610088931879898271\ 9752680519863284943452823276062619180244293472483812099815644696033\ 293676172230723589/142361946138529929424395833679096757110189589580\ 1215422826856829317069453783622931520372282881293614828728710855236\ 150693503*c_1001_8^29 - 2115345267291227729741299973420821801541283\ 5461572198389831674599102294930308581706771970759810491536205956818\ 4103970595340712014651/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^28 - 170989802456157463362556408307695733608\ 2844938583254211839267440505430350410891864056363524200136339402269\ 27624589450820850228558066/1095091893373307149418429489839205823924\ 5353044624734021745052533208226567566330242464402176009950883297913\ 1604248934668731*c_1001_8^27 + 296310799514370031841841574545174197\ 0253204235985110490781277303306643425289410096624537255539324502208\ 997007509940112134307841827042/142361946138529929424395833679096757\ 1101895895801215422826856829317069453783622931520372282881293614828\ 728710855236150693503*c_1001_8^26 + 6686671708732517622924904352569386302622334398587661288196769474642\ 332510162849649226140050280154681127701338605063173132083705739833/\ 1423619461385299294243958336790967571101895895801215422826856829317\ 069453783622931520372282881293614828728710855236150693503*c_1001_8^\ 25 - 14293127785179027940927393417482568873303600234339348773485513\ 8794290078576639192061032867921238951428206725050302016614680254047\ 57387/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^24 - 10673916401125561851147948315317610582747576571437847783\ 3000734095646787070369525734630342264321415181271258849915564910234\ 17889524370/1423619461385299294243958336790967571101895895801215422\ 8268568293170694537836229315203722828812936148287287108552361506935\ 03*c_1001_8^23 + 33730578594734721158763278125257951384744583029635\ 0680019906808200114757055349606124131379911821794133283480725830968\ 49540188057368622/1423619461385299294243958336790967571101895895801\ 2154228268568293170694537836229315203722828812936148287287108552361\ 50693503*c_1001_8^22 + 89843927727763952537147658339309674091282384\ 4669636767015057615288140370444125814426330585331177094101877003388\ 4581458944082168100686/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^21 - 473547565810545186541743762915255013577\ 7455846791989434761182454672110625229320924616905842131996474946391\ 5636953914226290947176294505/14236194613852992942439583367909675711\ 0189589580121542282685682931706945378362293152037228288129361482872\ 8710855236150693503*c_1001_8^20 - 266513086393972415647460033738727\ 1785727928008992703096602454963790673727230455392137754786490852348\ 227916797345034568123356800123682/142361946138529929424395833679096\ 7571101895895801215422826856829317069453783622931520372282881293614\ 828728710855236150693503*c_1001_8^19 + 4388922286727162303391342273887841510853070274743344418010603611016\ 3365302734790586557613559834889243836676778618983278389785616947703\ /142361946138529929424395833679096757110189589580121542282685682931\ 7069453783622931520372282881293614828728710855236150693503*c_1001_8\ ^18 - 2388194289145653560605041347244913611006342312770600831838097\ 6611123022274360258681909415097700927956375504873484347341829299189\ 72852/1423619461385299294243958336790967571101895895801215422826856\ 829317069453783622931520372282881293614828728710855236150693503*c_1\ 001_8^17 - 28413291909754550843328057592954717120925315181106559275\ 3085787223207697165214513949183540316036608521574985664764813092851\ 55161617846/1423619461385299294243958336790967571101895895801215422\ 8268568293170694537836229315203722828812936148287287108552361506935\ 03*c_1001_8^16 + 34200066661543696152414734641770652994235546883404\ 2638843495475862073546741887880522718965473435447176133830846439807\ 6809252771009331/14236194613852992942439583367909675711018958958012\ 1542282685682931706945378362293152037228288129361482872871085523615\ 0693503*c_1001_8^15 + 132183974082210879309475940274627663978584195\ 3549112363810709738748938643327223859831689933186632322196267454093\ 4225345009159076795910/14236194613852992942439583367909675711018958\ 9580121542282685682931706945378362293152037228288129361482872871085\ 5236150693503*c_1001_8^14 - 216049902220400375274219782212386830875\ 3004796208315342858279296314153214967416254222308332834140394934027\ 651581367399093438725595751/142361946138529929424395833679096757110\ 1895895801215422826856829317069453783622931520372282881293614828728\ 710855236150693503*c_1001_8^13 - 3430114443676257231480302655168018\ 0912748822462845584939695076449061878049023379159606069048107808146\ 4118587374379135889681990546004/10950918933733071494184294898392058\ 2392453530446247340217450525332082265675663302424644021760099508832\ 979131604248934668731*c_1001_8^12 + 8640006056316567433643324571620838728592876243380660991552259351456\ 74318018662507977181564806524162041427554176726259718497531460088/1\ 4236194613852992942439583367909675711018958958012154228268568293170\ 69453783622931520372282881293614828728710855236150693503*c_1001_8^1\ 1 + 108384641697900524514890681860546018540285794724576122368155610\ 7833571527600371362670216051210757221065292749445316371117139969746\ 512/142361946138529929424395833679096757110189589580121542282685682\ 9317069453783622931520372282881293614828728710855236150693503*c_100\ 1_8^10 - 2347024837740299278126863012188452357664533206932025362475\ 9522435590693244276474059024214599895142925336030783206124519430213\ 0730023/14236194613852992942439583367909675711018958958012154228268\ 56829317069453783622931520372282881293614828728710855236150693503*c\ _1001_8^9 - 1859719910961594022324265060068782700044750807577474167\ 6379088985292018693789050154047763839872953652768217804622672332318\ 8106062002/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3*c_1001_8^8 + 4369184396404564979275008695701736186543571360516767\ 6724673617063106035584489341894255180005003358005079576251892154900\ 292761723789/142361946138529929424395833679096757110189589580121542\ 2826856829317069453783622931520372282881293614828728710855236150693\ 503*c_1001_8^7 + 21759906504889696653949943137211223358607798595031\ 1698624071808161549992947894844005610673862899720339996791593144914\ 59894643691517/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8^6 - 545724702064112026481215054592355143314270960254\ 5938630544334156069605031533041460715497057195165283298937616032915\ 319634378866037/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^5 - 16479785914505681659101600708492657156845978381\ 4005223574168573379134028677494903270890586475417857560458106049192\ 7536704181307274/14236194613852992942439583367909675711018958958012\ 1542282685682931706945378362293152037228288129361482872871085523615\ 0693503*c_1001_8^4 + 4319540904111648112920032503551866540598655663\ 6133269690560937013253408096914809452176232256586446168529313768516\ 9430534144842519/14236194613852992942439583367909675711018958958012\ 1542282685682931706945378362293152037228288129361482872871085523615\ 0693503*c_1001_8^3 + 7251442615617519553658756288852751645723742222\ 8441364610851221514946129422148601257445508905261748290855194611498\ 295453775976906/142361946138529929424395833679096757110189589580121\ 5422826856829317069453783622931520372282881293614828728710855236150\ 693503*c_1001_8^2 - 17743356772969464523946826371318116865086757786\ 3553162167054783945615589406663134441538177706134087196358421652274\ 18397933681184/1423619461385299294243958336790967571101895895801215\ 4228268568293170694537836229315203722828812936148287287108552361506\ 93503*c_1001_8 - 11235645725818789981760879054345233021952258394306\ 7600849573320222964041316035610034215914279292917161046956185638664\ 2882176006/14236194613852992942439583367909675711018958958012154228\ 2685682931706945378362293152037228288129361482872871085523615069350\ 3, c_1001_8^42 - 4*c_1001_8^41 + 36*c_1001_8^40 - 144*c_1001_8^39 + 563*c_1001_8^38 - 1109*c_1001_8^37 + 2650*c_1001_8^36 - 7603*c_1001_8^35 + 19196*c_1001_8^34 + 1309*c_1001_8^33 - 110721*c_1001_8^32 + 92135*c_1001_8^31 + 600475*c_1001_8^30 - 680519*c_1001_8^29 - 3384580*c_1001_8^28 + 6725568*c_1001_8^27 + 8124739*c_1001_8^26 - 28876353*c_1001_8^25 - 4513488*c_1001_8^24 + 63632650*c_1001_8^23 - 15398902*c_1001_8^22 - 84025964*c_1001_8^21 + 37624268*c_1001_8^20 + 72862113*c_1001_8^19 - 42698198*c_1001_8^18 - 43522252*c_1001_8^17 + 30667543*c_1001_8^16 + 18197740*c_1001_8^15 - 15188979*c_1001_8^14 - 5244412*c_1001_8^13 + 5343484*c_1001_8^12 + 973422*c_1001_8^11 - 1339063*c_1001_8^10 - 90114*c_1001_8^9 + 235357*c_1001_8^8 - 3901*c_1001_8^7 - 28103*c_1001_8^6 + 2208*c_1001_8^5 + 2159*c_1001_8^4 - 268*c_1001_8^3 - 93*c_1001_8^2 + 14*c_1001_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.340 Total time: 1.560 seconds, Total memory usage: 64.12MB