Magma V2.19-8 Tue Aug 20 2013 17:57:10 on localhost [Seed = 1275983941] Type ? for help. Type -D to quit. Loading file "11_533__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_533 geometric_solution 11.26928725 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.116537573781 1.230944177146 0 5 5 6 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624393767225 1.132047724543 7 0 2 2 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858870656106 0.572414779901 8 7 8 0 0132 2310 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.179447569395 0.985112891633 7 7 0 9 1302 3201 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 -1 0 1 0 7 -6 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.030280850658 0.579512977269 1 1 10 11 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626424610209 0.677305239349 9 9 1 11 1230 2031 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.423133038427 0.943649232420 2 4 4 3 0132 2031 2310 3201 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 -7 6 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759854531578 0.454095974268 3 3 9 10 0132 1230 1230 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -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.499194271191 0.599306873806 6 6 4 8 1302 3012 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423133038427 0.943649232420 11 8 11 5 1023 1302 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.643237342462 0.515703358234 10 10 5 6 2103 1023 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907263098106 1.311456276628 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_9'], 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0110_9']), 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0110_9']), 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : d['c_0101_5'], 'c_1010_10' : negation(d['c_0110_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_9'], 'c_1100_4' : negation(d['c_1001_8']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_1001_8']), 'c_1100_3' : negation(d['c_1001_8']), 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : d['c_0011_9'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0011_9'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0110_9']), 'c_1010_0' : negation(d['c_0101_7']), 'c_1010_9' : negation(d['c_0101_0']), 'c_1010_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), '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_9']), 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_0110_9']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_10, c_0101_2, c_0101_5, c_0101_7, c_0110_9, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 7570505224935283648255727399846200253545295719832868630165612644241\ 6789342449718925212794919594234001507182583056908063416231904138996\ 9666512230731107137358900994620468226576185401314298/10102506709560\ 2877203675633538361015902226393620621076088490882811980420480047606\ 6416227765604775834897705081019973764977062435098835858568194558149\ 191126616174603044700098318895470375*c_1001_8^35 + 9229809271331874378429841091819153766293534069048424498130118588343\ 9907586816962242977345607025803597421240823198999260672614967391239\ 390953487470943972772565585404088812986206724444355672/131332587224\ 2837403647783235998693206728943117068073989150381476555745466240618\ 8863410960952862085853670166053259658944701811656284866161386529255\ 939484646010269839581101278145641114875*c_1001_8^34 - 1325659567037220441343716318675269243371015026900032255160081482313\ 3450504736287326594773731617671427352700559425851516975855494638124\ 014922037000001841156182432312729993440368234921068214/525330348897\ 1349614591132943994772826915772468272295956601525906222981864962475\ 5453643843811448343414680664213038635778807246625139464645546117023\ 7579385840410793583244051125825644595*c_1001_8^33 + 7723502984845247818847919516361180723749331820190826472532935930580\ 3415786066465625286809695007888560632571258247480276864701048031736\ 97562453954254856049489340381983229470759534416694724/2626651744485\ 6748072955664719973864134578862341361479783007629531114909324812377\ 7268219219057241717073403321065193178894036233125697323227730585118\ 7896929202053967916220255629128222975*c_1001_8^32 + 8603134339450495289761683910061993904137935653319720698188790428338\ 2690180037857322000334758412196110585153969403371424807120554318175\ 92372616766733010526806310828643579605033621259968956/4041002683824\ 1150881470253415344406360890557448248430435396353124792168192019042\ 6566491106241910333959082032407989505990824974039534343427277823259\ 67645064646984121788003932755818815*c_1001_8^31 - 2122253850046409607521253735860887246192944436711058126647128350959\ 4789364642659774707766675446117799057130097647327770536577897133605\ 32286341103282242828422958862286144036100118577006165599/1313325872\ 2428374036477832359986932067289431170680739891503814765557454662406\ 1888634109609528620858536701660532596589447018116562848661613865292\ 55939484646010269839581101278145641114875*c_1001_8^30 - 1230384957515335802642045095545102859120207693161359351716665740488\ 9589201916892047701888099592910750438352940254739378336245532113052\ 5878308983935727531508726085107405795125633031001479656/55886207329\ 4824427084163079148380087969763028539605952829949564491806581378986\ 7601451472745898759937731985554578578274341196449482921770802778406\ 7827594238341573785451494800619749425*c_1001_8^29 + 5519531670346289694495658402267002886730358975197195639596501845342\ 6840580415371226013694106486780122294577901527133948028288805329628\ 909808093177875335235531950607104961380020416390608830176/131332587\ 2242837403647783235998693206728943117068073989150381476555745466240\ 6188863410960952862085853670166053259658944701811656284866161386529\ 255939484646010269839581101278145641114875*c_1001_8^28 + 1519385759817558678381467928676614222125716500210483732094045428105\ 3366493450475100916349342300089180370448090744308254720273906690293\ 7569643473999485710188252718426767855108525045284548876682/13133258\ 7224283740364778323599869320672894311706807398915038147655574546624\ 0618886341096095286208585367016605325965894470181165628486616138652\ 9255939484646010269839581101278145641114875*c_1001_8^27 - 4267252657093000228221041891951747910792489617404973758181218591105\ 1272698507040943967646213174485519795628256932468270322819189584126\ 4568913288334919306705477543397187304466339801065580629974/13133258\ 7224283740364778323599869320672894311706807398915038147655574546624\ 0618886341096095286208585367016605325965894470181165628486616138652\ 9255939484646010269839581101278145641114875*c_1001_8^26 - 6426657745736515438818484448440340016561660630971163883472964106620\ 6869608471273734192379375458640637149516449767472174365597753444546\ 1665736509611089847937101310775661473308266496702537229356/13133258\ 7224283740364778323599869320672894311706807398915038147655574546624\ 0618886341096095286208585367016605325965894470181165628486616138652\ 9255939484646010269839581101278145641114875*c_1001_8^25 + 2323081868916634446652293130205384634942023527250285630534134470155\ 0277978247624414693415284924648202505683469918173198695842494248770\ 15477377018500666986784597279699216742207984739948711417857/1313325\ 8722428374036477832359986932067289431170680739891503814765557454662\ 4061888634109609528620858536701660532596589447018116562848661613865\ 29255939484646010269839581101278145641114875*c_1001_8^24 + 1054149085686841520150144996745662334598131907124704967144751957550\ 2546428826763336202345840012347419323911540839501071292445102650632\ 450059132831583109980583710579249120418867296849732514886/777115900\ 7354067477205817964489308915555876432355467391422375600921570806157\ 5082032017520431136602684438852386151828075158648853756604505245735\ 242245471278167277157284622947607343875*c_1001_8^23 - 1721901369404362299796063438243830606985469979423448740419669073478\ 6714881221737733046499818336078460315704268700130315738854288239814\ 40773392527436114640100815550696620443221264699832835143168/2626651\ 7444856748072955664719973864134578862341361479783007629531114909324\ 8123777268219219057241717073403321065193178894036233125697323227730\ 5851187896929202053967916220255629128222975*c_1001_8^22 - 3263822486299083468828695990621176915730591292458068416941585317392\ 5611510221898191686080043104283964439484501416508661835202633237534\ 34587685764610907336156703750288156899267772845737459730779/1313325\ 8722428374036477832359986932067289431170680739891503814765557454662\ 4061888634109609528620858536701660532596589447018116562848661613865\ 29255939484646010269839581101278145641114875*c_1001_8^21 + 2346337150810637594791982559534758740914723575941268283729679521034\ 3025039901227085204543465715633324875402997963464164698577980597256\ 257103280932040290696948627209202904494262230407457168425102/131332\ 5872242837403647783235998693206728943117068073989150381476555745466\ 2406188863410960952862085853670166053259658944701811656284866161386\ 529255939484646010269839581101278145641114875*c_1001_8^20 + 6530730434597028712499271891668874956346678197102852051889451820552\ 4323361625832385490443729195335348504351531046786481146330672270356\ 6384014388760540930628421925779495916789981726491971260778/13133258\ 7224283740364778323599869320672894311706807398915038147655574546624\ 0618886341096095286208585367016605325965894470181165628486616138652\ 9255939484646010269839581101278145641114875*c_1001_8^19 - 4408928156981004064423352205014359169921299569275384165860703975376\ 8284275535800136732596834702419034065702862000442493299109967155767\ 684426230079810482585073187772311803040471669496608783989932/131332\ 5872242837403647783235998693206728943117068073989150381476555745466\ 2406188863410960952862085853670166053259658944701811656284866161386\ 529255939484646010269839581101278145641114875*c_1001_8^18 + 2320345902727467106108476518669407192815956080792333906070352509890\ 1901622483342136399486060939419493595491586831151875439820494355088\ 05878548083877026297263952933026731053247583170799468495312/2626651\ 7444856748072955664719973864134578862341361479783007629531114909324\ 8123777268219219057241717073403321065193178894036233125697323227730\ 5851187896929202053967916220255629128222975*c_1001_8^17 + 1115909385214264180214105962309390304995223196998042562540995943528\ 9337519452987553628455784326166370155656581974102919459127168198943\ 510388928490643700927440543182711885555153599156228595988862/262665\ 1744485674807295566471997386413457886234136147978300762953111490932\ 4812377726821921905724171707340332106519317889403623312569732322773\ 05851187896929202053967916220255629128222975*c_1001_8^16 - 6858196572491267339594836811579372462352055771877651658454553141772\ 2997242163222913927203625497396082078564105358963003972430504974396\ 99726787527420849470875844233357717529517050229303794377492/2626651\ 7444856748072955664719973864134578862341361479783007629531114909324\ 8123777268219219057241717073403321065193178894036233125697323227730\ 5851187896929202053967916220255629128222975*c_1001_8^15 - 3743044745196034040628910570856727752029500487828268452059016554869\ 5344968090203566715791039553430118042646335309602697352134284324825\ 556637832782419756295143392436171697669600917988820108715238/131332\ 5872242837403647783235998693206728943117068073989150381476555745466\ 2406188863410960952862085853670166053259658944701811656284866161386\ 529255939484646010269839581101278145641114875*c_1001_8^14 + 4117631525910950691563616562126004692268601127542274269825450087851\ 4272935498428532272785321423345438820551435685766400927263979228790\ 399321180880152619078633812773549155167315095249225150541182/131332\ 5872242837403647783235998693206728943117068073989150381476555745466\ 2406188863410960952862085853670166053259658944701811656284866161386\ 529255939484646010269839581101278145641114875*c_1001_8^13 + 5580587798694538904525811533466922034368098435288128063989066690654\ 9457678560214341356620292900906616158890683345015426721480398370671\ 92227129157838325185469865990153989939866791185352454880843/1313325\ 8722428374036477832359986932067289431170680739891503814765557454662\ 4061888634109609528620858536701660532596589447018116562848661613865\ 29255939484646010269839581101278145641114875*c_1001_8^12 - 2017512812446914590088171756084604094394988746875559612799351875705\ 8091723851724604264907781569856343113769079899623402266698948669613\ 4314345673090528902478230088316644205295951082870812266682/10506606\ 9779426992291822658879895456538315449365445919132030518124459637299\ 2495109072876876228966868293613284260772715576144932502789292910922\ 34047515877168082158716648810225165128919*c_1001_8^11 + 1363801578662240971486149895472433993958762353097317548124213821263\ 3524554148333174747143351460060827974469391063670296167470777660718\ 756485355315545125172454744311129888399989199644894031952546/131332\ 5872242837403647783235998693206728943117068073989150381476555745466\ 2406188863410960952862085853670166053259658944701811656284866161386\ 529255939484646010269839581101278145641114875*c_1001_8^10 - 1783355965566078992535343329171786811762419200953925329512479034950\ 8886638833528101073718377884696291982044590968696785857698178629520\ 65772246803123363015615415856014732597922713028077899265387/1313325\ 8722428374036477832359986932067289431170680739891503814765557454662\ 4061888634109609528620858536701660532596589447018116562848661613865\ 29255939484646010269839581101278145641114875*c_1001_8^9 - 1750178942410680052467165064604398143305209230912027343297243238980\ 0746757880332585304830463562326336205418773576133009908321267559033\ 57288007803792838232069964072940819849593624029919176205214/1313325\ 8722428374036477832359986932067289431170680739891503814765557454662\ 4061888634109609528620858536701660532596589447018116562848661613865\ 29255939484646010269839581101278145641114875*c_1001_8^8 + 1307747240281278944534820154530125677276059310869732482797199092589\ 6233077757949181911256448494964952304806367158783067671042598495524\ 13565710796684462426357658779662639711960090275386372284721/1313325\ 8722428374036477832359986932067289431170680739891503814765557454662\ 4061888634109609528620858536701660532596589447018116562848661613865\ 29255939484646010269839581101278145641114875*c_1001_8^7 - 2788130021023466022990199027493618948113893996398388061340122105852\ 3619424747253414482561815940015911970719341003988913461291605713618\ 8336422456225771832108781858301740016834519248901143495734/13133258\ 7224283740364778323599869320672894311706807398915038147655574546624\ 0618886341096095286208585367016605325965894470181165628486616138652\ 9255939484646010269839581101278145641114875*c_1001_8^6 - 2436183703214233273889969071571946605517744933486078547284852620504\ 1685993997922382746338794450460513381615047985789988332821238654646\ 897895494574671850085404595316574774841718324881181857012/262665174\ 4485674807295566471997386413457886234136147978300762953111490932481\ 2377726821921905724171707340332106519317889403623312569732322773058\ 51187896929202053967916220255629128222975*c_1001_8^5 + 6925264915655749238504432047330011059049067094002211656635000958955\ 7709249949393400762479348161053785387900076098681374315529398858546\ 206908731328542910298130010374024885101552663987549050014/131332587\ 2242837403647783235998693206728943117068073989150381476555745466240\ 6188863410960952862085853670166053259658944701811656284866161386529\ 255939484646010269839581101278145641114875*c_1001_8^4 - 9476394765556955708800311757126626035900946591313444352014834404698\ 1133131194734448784789181536132447523768870419817642793308697217781\ 93571131699657950564271872243747016710374932541633468083/1313325872\ 2428374036477832359986932067289431170680739891503814765557454662406\ 1888634109609528620858536701660532596589447018116562848661613865292\ 55939484646010269839581101278145641114875*c_1001_8^3 - 7651126021186560612241149091785056589799417701404054175105271081552\ 7134149345108199544529147293391718219591587964578041592836830753310\ 12364144802314414764674407619227289436074375105133223871/1313325872\ 2428374036477832359986932067289431170680739891503814765557454662406\ 1888634109609528620858536701660532596589447018116562848661613865292\ 55939484646010269839581101278145641114875*c_1001_8^2 - 1398268071328689680240115543548434779470386317956662142754099147727\ 5095638788366052330155529264786881442857758496191205828828196609874\ 7434585534911106299757111487999751247255318475956459394/13133258722\ 4283740364778323599869320672894311706807398915038147655574546624061\ 8886341096095286208585367016605325965894470181165628486616138652925\ 5939484646010269839581101278145641114875*c_1001_8 - 1969782932381767200995724918205334263278369181873671722602100194829\ 8922473463031742386014667858383280987907868827155567163340167718721\ 3351813616663902626680941226559581790419283517190206533/13133258722\ 4283740364778323599869320672894311706807398915038147655574546624061\ 8886341096095286208585367016605325965894470181165628486616138652925\ 5939484646010269839581101278145641114875, c_0011_0 - 1, c_0011_10 + 32019005632680734706641566553722822567215752405888815510983\ 7978798704251397553346429900352587080833214432512956075766710439855\ 897605615054717407659900428567571848478054512970/422199319928778343\ 2210751962018218641941108139085217698445443820916161278990299938582\ 0141353817143617055966960442687968249396664881925151066266574621820\ 58018880803921718586501*c_1001_8^35 - 3005112735650523569973614951394128948984045786718016485832654347552\ 5303309522842236065940674293183788462777220632044823974810289901259\ 33590832951524777145683709796095854958966/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^34 + 107969157667600338428812205524156908\ 6571610052220453350171876785532115388779444945020052706341687262816\ 7189414078470754278782038953208529210612074549059674084369932601267\ 455138/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^33 - 1268831117060421438819381022762032790853939011806317400150104892785\ 6015489638626523334209533194679899455897998899662469352871814085720\ 69883314754781550199560291453881262432025/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^32 - 911940740612598275242738900357066463\ 5403281765569787158074360073864695592082800689723085379637556148500\ 0235847237260907109069359858045649001486304647261711512971178456274\ 265911/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^31 + 6975653897734146301589813702703535603422899432168997705041913378124\ 5325069762598592575453815231858057431268256233626595243623415490199\ 804202214615180001613933836662340534188739/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^30 + 94210927891175420563316482443556168\ 5460602323826993888888878272518357588769677774093352939102537104612\ 5998418927400903600651286161830580575164007747289373120670909393440\ 46733844/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^29 - 1804184361775786401481786005653924700274246041319565263766149312124\ 6379712141588803380950135873719265844331242826577244277165173401578\ 20492744815984666063258097903032888576109659/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^28 - 494998260974440040933201370430528\ 8489408927144907797195066359292071973795358876915606778002395190519\ 0320218883731319503268984397031107239363492818493673015659414177829\ 85858967898/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^27 + 1395933283665574882098676132739199422822243353096669523595970146505\ 5301105437763748170193427397657707560380379789459505838009391125731\ 864907605923477645898038103566761615185384145/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^26 + 2090788755353482232869279749957060383776304255945034274215776771071\ 0560735984326060975886736292170357469261502226830782357176960139047\ 031528649773551817988229196335753383601261338/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^25 - 7603762828332182003091143569878470724559992760774168161996731440331\ 5383706633222023490715479650353719686673219695345680711586862281089\ 081078746177705624515780530609336047799500406/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^24 - 5781789610948385666851016056454490776306138239123912952714579162525\ 6829025065159868178887655245415853250172380246629665815582110280195\ 044541899527047353381934072644139728480665649/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^23 + 2821822903439169315476437606811856394620917558191257854015190840651\ 8694896069268346237537059169195552815537734450569260292488754256439\ 2580029103395717930787400980587514058571277570/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^22 + 1051785912701064134856249793414739428490832640679238416319508714975\ 0774195833936921160375522787424268675008891842310535548039823569470\ 2060642260468285597520488243329791868126471363/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^21 - 7702400577164895820744527605709162666930106436266760061944286075933\ 7305801843030667180757459700190071893069958247818530948840919417161\ 9246207483275829296560008115423288570680085471/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^20 - 1722840880808704241078509788967081825316479631256862843683076500043\ 0171502758865724578097467878279338773304953217165158350044242386653\ 041410255350295908834491673839021787842275141/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^19 + 1451117056642167752909265749136604656069987217372476919025696521560\ 1434105507047373466422467659663644691254392913010709769365392301457\ 31794097785047783542116431828102753200354720148/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^18 - 3893100695343280532053914525115743261358289972679709909658622302772\ 2030086348035691849287595485860434167271192030889312997763433963633\ 4452170483281745025313460829226094678570031269/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^17 - 1843207912777740592273012497981961223209407369412394209849916040193\ 5930327732973378017435851319331865586777538293945875203697965446316\ 32387378374139336118419701077410205533015236190/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^16 + 1140045017758465886601092945934325033695660509577486683803678520184\ 1641668450288804930870579558996986143610957582428059034185241702637\ 12253271935173252607475727639219387263693904741/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^15 + 1247619908789636695919502881719482376320304854394320412552554904899\ 1913261299488460384714081293599647436267776893503810196187926623619\ 27394335250783445973169306769285687903353418740/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^14 - 1375589673877473598817627221988033489079316862562990934009930473664\ 4730109640422984775766232512363012726836139460521284177025583214824\ 05525252351404676108200523297843397623657939872/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^13 - 1954100951372120227997101091939023893660526764827005922248341706111\ 4496707572247087916640747211580333859940239055855375821576918490472\ 6821543103349967951605770671306799000636746660/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^12 + 8514331162273859908770088982917577394007828767548630883301263551384\ 5786354257442706488296965559983814980560136877382506142089327909309\ 3823435227630777904933135654223051800369648461/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^11 - 4479632291518711179154538317591931938586819287632191900021803593443\ 2418653518619153117415021518033714766877874592626446250159796353238\ 7644408801353661300052873964226093143303187322/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^10 + 4482917611322521681201282401815579845372444410680706723797002181390\ 7232855325814974702259400976344576403572060759920197175819290734702\ 408303992553759935453008892346824380991409064/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^9 + 665525415710865889179102231551340\ 2671387567843445878617376876416861870525816706952232490522181470910\ 2680229531662030715645437053802139088049728907040320676937795237648\ 293387017226/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^8 - 4571672445802428224977844078891454438501654387454801589711892527548\ 4700843199943694326883498991187110630959991765194430013085060926307\ 600031460441840144992289295530227858237390862/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^7 + 940809212949985216970033004079690\ 0106384863069603925451716634218857279398390872177588683875482189456\ 9245672693996319271628743357933548346884310753830238729524101414593\ 35863956123/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^6 + 4370964622666125873781492297080682846648113912647624551123146252567\ 7090608685076463475695066378263774916325561659336164687026925383480\ 62719848406448360049141294934894009234154001/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^5 - 2467645074250610811624522328501627\ 4736109148373042370820853225429210604248276899637594666151585349100\ 9345764352421921146135934758394358846261387058340744485114288404247\ 0168761205/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^4 + 2810998883156374688830136551236887530070353828990572649465749493812\ 7716561213910637787956148483401615500746061423267625551120301682001\ 1393430764712729004673120982504269985714229/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^3 + 28020602563791733506591444237034204\ 8281639498415405027257277146214372268345787413913038561845865301709\ 2499040053308290248554280486062277721326427224176268706079654052222\ 39928848/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^2 + 1844574431926545668595946444002473843503896741621373108318170301716\ 6327214124673206142619882224355840691030008617175740159682525686277\ 71262826191850568338263152939671130735276/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8 + 368564930255327240315126624112056775145\ 5400383371905568219891402236368425067723196779047153494163420747840\ 9612609044231432060008231662477781783745289915942197282476525734813\ 19/4221993199287783432210751962018218641941108139085217698445443820\ 9161612789902999385820141353817143617055966960442687968249396664881\ 92515106626657462182058018880803921718586501, c_0011_3 + 373651452266472065148219072752883936514738787896203408658762\ 4697089514385922517149634814935155992815189990192806135349641168224\ 14705107564640492305501977445464180116161389350/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^35 - 3486608780425519204435725167489065546936794289428756780951407916103\ 5254777678035167993576826893504056901187410979754430517050125566806\ 50923088385959670437108164059521751247902/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^34 + 124083665388384588545767604880382983\ 6755739303783808903877882985224578976573239153125977317169966969206\ 4079973265309836365508885946892556088471555279364948894889271214821\ 490443/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^33 - 7853903962924014917204105221979517431734586899694310831442237433563\ 1621725787639762090987475370001874787332501841096212059725207294191\ 3151169435571484383092585643974181633969/42219931992877834322107519\ 6201821864194110813908521769844544382091616127899029993858201413538\ 1714361705596696044268796824939666488192515106626657462182058018880\ 803921718586501*c_1001_8^32 - 1065536012904162362962628224450206278\ 6318307295058390450218189736052965721390275299409546905258350260832\ 3235562062576212135388208397072372754549079481635440034606918213529\ 392488/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^31 + 7569365761932441164799971508990615123638183166834260053618899695986\ 1862293020837346825171200371266466418859842914851329665403515308036\ 006208534293263382273793961906849006894880/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^30 + 11041230273999598066062351884447908\ 7407987844251055654675858434688747361395913433815440938672872128283\ 2966433088185367682426336598894804205359344083326978949196086057791\ 227456707/422199319928778343221075196201821864194110813908521769844\ 5443820916161278990299938582014135381714361705596696044268796824939\ 666488192515106626657462182058018880803921718586501*c_1001_8^29 - 2046493901555621413930231277750989951649249030463159147198821884990\ 1286225834956384683767520838827919600029451561892054501955590498692\ 15768258105853875448845215741094328315242299/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^28 - 589345340192719811551280100279814\ 0746732349059865458433692545837649731634866593972726612573630692984\ 6646283258209050774762421284390515500855705700559252520038729259874\ 17878287192/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^27 + 1598763837733894220255264121022862778190134406962038301267391523338\ 2026228958789458326271885545850012855317309711767625250733229446818\ 080936261712274801710535956555741627770555888/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^26 + 2528922772001245514298704382526720255013065283605325392022346913436\ 7744540213270713334428559096661607053131954615680675767211452848056\ 023780634486324213523460125168793476491207064/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^25 - 8748074666390678290890339203534968559766875524434221668933801901965\ 7879287119639192089761864456269819883263439875579186313758151611371\ 876446881183535936270101384967774946267082707/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^24 - 7227965177478132257692500771514811199014906499627577093308792453590\ 5944698843423628186655782087474740437038436920364129800699236035552\ 864269868945556822979651836428729354879053927/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^23 + 3259868134717715342196775507138090773350622784994594481831966160347\ 3271452756222327997248484226584606804253703337123530157429303730504\ 4650090622695401351803953205377302339205274269/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^22 + 1403853377151502142365289465716459877919436312040476727224290846284\ 9138217808316738348507024987795411446091537416293218561067774752562\ 4668653520678503918868714069771522805037810923/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^21 - 8933535502534353462437213972191512828285973059695355119896957948424\ 6610034725776914033448609482993403220930363277646076554332975733753\ 5286643154612208753643800900611518411077965708/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^20 - 6768546225767899498868631112933180373867261716182390086396359865499\ 1128627714717580936654429852307050290540949902869496488019752077210\ 682010453589298044925912387591024357514776009/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^19 + 1695152395516799918218459821346911531736635580230129515247255293166\ 4975873677644169936688072225437811094877226483314965902031774393276\ 95812771067319555103564225065123609240776011415/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^18 - 3665899858421162981244003463839708800722950852792704478213566721637\ 9203662802492961988789793426395870552430918292019520336457127745708\ 0423138812016553301906199915571670191668845046/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^17 - 2179809774766872376223184497876561842591860879762899606890257953774\ 5725394553877844818219130531707719836134273736589204287523348279305\ 76878828936744213170532892825291769476449860523/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^16 + 1222894099934809075904265490252783332022041697292336672802313607743\ 8596367565824674525502990397808446715806908161890545283714919000373\ 25200150608551805524098537904193789192722641513/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^15 + 1530940393155650967927128140110439936791476149867152210406950522626\ 7190702856430467677227785198111456190249486555825808529498441298048\ 71676294783001981897242837973560299425242165781/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^14 - 1539980883219924407155354292749150052790849238778794572228090290640\ 7017365058511441453246125454042583015540846648123108563379913203219\ 50745752657706241109905035906170834934242860849/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^13 - 3118752152759886022373444004417758842747985713447862952537341144657\ 9689234846039218060325239505276962518581902978657287446326301556887\ 6623637964532317252222772982896950009400850534/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^12 + 9920641853341727052542906476694330947022033648060451513980011438500\ 1186413109536736087725747693635731221313965943548885245636650638004\ 0225161486024655496759067320173669299889024751/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^11 - 4762996087615700792436726993420043890471103443261612156153297348344\ 8506687589423899857924089558226233355563039630191727259355373105148\ 3971722649582606755841521974065723806435960609/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^10 + 2062389840470605389961238644823176410148668970389803479258944907829\ 8631023942070481598918551472179702235871094749524040295510411099665\ 902676705996080429437087072223327373179066294/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^9 + 865731338733925616968515255935624\ 0566703988829011250250964206141352520688647658080374671065354587739\ 3535320721545467951218487356372667847413111655501994988720374972479\ 125067250950/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^8 - 5197329602759721008020902596627771438575277237407684096031230518520\ 4369266298229910168666987404092894496755558731140290705719661405672\ 414401592564626824141934057121595978706715384/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^7 + 837354677397664156967688233459278\ 1212755797704289324199435540937730345097979374021442877312427550765\ 0990908073009683428170479082779600487373382936571094000728111721964\ 92534599405/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^6 + 6021790820370917976090166399620316983451274550861845958682609313676\ 9972619961581450342609229434919179098632030204972431721115965406991\ 47125650858914551418251110807673640436668168/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^5 - 2815206736552852170962594687853102\ 7749094593905064646070354473985588838651678467472464474219827837441\ 8880423243634232071100772389452702938912429597998518960232312653400\ 9370466690/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^4 + 2189973115090284087580224846713882425170004322618313407153982723044\ 4501604148574348376126619608021759101578710955769932801712728905464\ 7878487381622118034750525781609069840381243/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^3 + 35656701133449154399061577748200974\ 1958457068545923665714769808107786759135364861673854217125884810330\ 0717350823222156623475315675829233122026262944877388518568895151561\ 06187368/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^2 + 8109451715727608061513021149402394350087058080382216857836044598440\ 9243172518665831690202215238268593600560300411026857391248787171696\ 25330183535870864588300006283619510382942/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8 + 400842118445029828303886456928633151225\ 0609956292439143403707380027105763828837217678169744060874134948437\ 9180893152059024920114645050751017880266804020638805397268539847622\ 29/4221993199287783432210751962018218641941108139085217698445443820\ 9161612789902999385820141353817143617055966960442687968249396664881\ 92515106626657462182058018880803921718586501, c_0011_6 + 237743765642448914905419359559373965322378045205294967856198\ 1959033207019516342965830254607881209162471481437515560892417037547\ 8822810611737370699974924411864254457425128015/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^35 - 2287248763495099876438397516137473049101662320127446264602505165149\ 0083093562735497694180376483670429205479802502038661393437437236966\ 4168968350740712398138784347951545334270/42219931992877834322107519\ 6201821864194110813908521769844544382091616127899029993858201413538\ 1714361705596696044268796824939666488192515106626657462182058018880\ 803921718586501*c_1001_8^34 + 8538921752175461379544295076752181101\ 0573278414428777563232049612202415594154221483531424032059907157054\ 1247161183301322536044744311501216413462244641743345671835091236788\ 753/422199319928778343221075196201821864194110813908521769844544382\ 0916161278990299938582014135381714361705596696044268796824939666488\ 192515106626657462182058018880803921718586501*c_1001_8^33 - 2817739558247718165253370195359397401779290300254025937998328540225\ 7563267397219436090977637938184187616889058772705302113384044913675\ 8116504332059968122634294345507758109430/42219931992877834322107519\ 6201821864194110813908521769844544382091616127899029993858201413538\ 1714361705596696044268796824939666488192515106626657462182058018880\ 803921718586501*c_1001_8^32 - 6744346956413915377847925489230246650\ 6513556319785177507134835042251029765784138950336810371461632740313\ 6574044854045442716390966534272141415070278583780354154061904210357\ 5238/42219931992877834322107519620182186419411081390852176984454438\ 2091616127899029993858201413538171436170559669604426879682493966648\ 8192515106626657462182058018880803921718586501*c_1001_8^31 + 6726804194988000064276617235215838427258712470572848337218069796286\ 1121680917221706190134936666715711229045705648102654302565897835363\ 63657193051820200960845152500764934431425/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^30 + 687974823421428994896931931004831568\ 1260604487545728169855506765141541425317444771726657921263406857674\ 7326311545025863983546267946743222028005456735628662863790213719469\ 290949/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^29 - 1500375851588169131439463102022427237272447123141895785230205233270\ 2338167074423098242399617312829963799184228606249862668482962764457\ 2360024085288756906498873520047652933785955/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^28 - 3369708611440420891430876019791236\ 0065381684180863804037716553238927524272705100349571128036514222907\ 3776689152284042217991362898566896940658550181779644573365556888151\ 516501715/422199319928778343221075196201821864194110813908521769844\ 5443820916161278990299938582014135381714361705596696044268796824939\ 666488192515106626657462182058018880803921718586501*c_1001_8^27 + 1119800956460970436814775534982956484045667564901861817975881367689\ 5526992366366307536965521631372570787826739227749625311094295800803\ 18434771800917080371748859268678947339516093/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^26 + 131949355121100979931475921262077\ 3976759487529182311341060675714090201433216929999271532619117621523\ 4501996611964032866217819353420644912716168277678380005962590051545\ 34142354122/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^25 - 5995498479902625983833330676328908710376846942574055736601585480402\ 5726413764025454368304869098722122861574719320560419437322054383390\ 88046680076339340822644591079362984092044588/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^24 - 303804445673802857520203478209543\ 2999748140885035076410438705512544872605153952435256412298825372950\ 8069071493954764065497172858100930129746891930317932584151173638785\ 98244324814/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^23 + 2189706918222565424142602368876769679192918265051005604370114541166\ 1122256454857668089136249628832662056698706278192099889426782417686\ 668475023757481452451094326157371664271774708/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^22 + 3239781446381634669011532599312783448639175077278718315568597412163\ 8754055620177936305090298695193266200206988271407849316386464137564\ 16157900825135050379131527676240200301254681/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^21 - 588280939902925913323695904743388\ 8832396003545177306458101843855766390588146020616600395004907641882\ 6124839552338551183188867030214718482654926206462799786121168451757\ 814537038473/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^20 + 1092152150512746822825363560178436263705029200012119553573839225764\ 7592634798719001186005902791684628730965707947742291053089481178838\ 257354358949167403357469752353619952121617165/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^19 + 1075780154225855755742726625895360955412561867311731289235642891821\ 9522939574563439910186018999511374396023100452172818348262660672653\ 7409718447255803760837021766772829064340970583/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^18 - 5104268236512261051798982010759768437050126478955280238954213033453\ 3009320255059791991113482188604554906725853683071580321227094906099\ 431625544237221505790511804105290104058221945/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^17 - 1294756269604144397641903551193560620439837098591374510477859349429\ 9827940430885547885002246707141337903512540163906667506829434202552\ 0117386085089813563839283932222721230867095545/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^16 + 1110578046609692118837198343802294604762100985437757751674727573035\ 3062280203951608886970754969984351202589031380503975210472460219861\ 8587588975658804159816178480973976322271934751/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^15 + 7270323556717741199269879347581751014075621616412954459864366818312\ 4144549550372467172763228210089325287746874718689641751501981531949\ 356265179493949919579821317467544050407437628/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^14 - 1168147286393944525361192953542769244952908081834282302371963773697\ 1045885184610632340059487276828148325773749273818394231868281922896\ 5469371519278761578872972339950295196072278352/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^13 + 7811553675102504319790822600897627205926287990972379375880757055098\ 1474701763461438787892264278806515130868393616291170273607445663514\ 29869095163159078047297058279472103511739241/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^12 + 614485721327926738067156920598234\ 9796794692998131197145379592733281822753881291195285092744998481277\ 4209312012298484693237630643091083466180102212682020150789537167450\ 217255520700/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^11 - 4562878268314116717810554631150527661833764293809997194711515486475\ 3225341143896829343596693935935126074774263780668035006464882945199\ 216559628953352654311500885078698537849092028/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^10 + 1292324873206709344886188221712082784084300586045466344856522462332\ 8209378510562039040132319968716184092095022821058002196665925804482\ 652356268725521228073073646771953582159133905/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^9 + 251616906992457450421514315243617\ 3567234494410881869802243524644474651079274435957202327556946052613\ 0470613187351383569794186436474343817787558430661993858817873122683\ 03837760329/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^8 - 4044430152070146717233353340616345240633834884852303304510691269203\ 0371811649078586390701995890332049968443982429540189284954356156548\ 44164552867839956732322503400268072831131146/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^7 + 1257617577670377680808602430728782\ 6284071699364070266361464426417296848480224197190949142937966531008\ 8742418017606174012942165566044897635045409709899447985896867592293\ 6693516444/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^6 + 2666881620609369320791067033511029757153920090885583460435593096356\ 2954403991365749497413087188922955800145663813113516313795278485514\ 9088848404849549115467578621171651264034877/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^5 - 26719693393999852556513949440661184\ 6164786162406837423580537024166520413951441664712101364386398706189\ 3358360619365245831599441167008583083636028539657127587181682950244\ 41412752/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^4 + 7645269924323261132575794098897766849179248405451381715028634968514\ 2626798340357995607598726575540336845608554434379302709415202151468\ 224912838625903219831445827165036821053670/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^3 + 533362674662964103545757145689554829\ 9198495077108447825828401564241188664031229051899409884384746010597\ 7844404826878365217881481770242692825783104136990243684312481576020\ 94800/4221993199287783432210751962018218641941108139085217698445443\ 8209161612789902999385820141353817143617055966960442687968249396664\ 88192515106626657462182058018880803921718586501*c_1001_8^2 - 5711226010167799077671265831806071494914304813881110367947376475642\ 6061088155783682542438736178884741359330376680190270346143677746086\ 60487826612373255196290379198089173151781/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8 + 112751428441247040443791252024335799673\ 9431537696712081438533920515663525465004089443139583262506229436617\ 9467467238363868735511926988851167439851918045238756605778746258212\ 05/4221993199287783432210751962018218641941108139085217698445443820\ 9161612789902999385820141353817143617055966960442687968249396664881\ 92515106626657462182058018880803921718586501, c_0011_9 - 716953575979219045407685929978214119347559371939507995545630\ 0719270765614074259133097017129324094841189698783585339861562263857\ 3337732129820442638235612365281150622236911976/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^35 + 6753600026844705520444139261694798401800912183572228273063713520615\ 1094530759422843030043964957903639650225040835607373400676548277932\ 7911492861577310831383635035875867434498/42219931992877834322107519\ 6201821864194110813908521769844544382091616127899029993858201413538\ 1714361705596696044268796824939666488192515106626657462182058018880\ 803921718586501*c_1001_8^34 - 2436593005482567324426841886141160148\ 2949494942394011302435824876690970079566682207113779194824808698206\ 4526673120128705783833324828455632031186433159714038695702793892714\ 1234/42219931992877834322107519620182186419411081390852176984454438\ 2091616127899029993858201413538171436170559669604426879682493966648\ 8192515106626657462182058018880803921718586501*c_1001_8^33 + 3274866456192802512419212818584578089830298233992021406506605624125\ 2242925403114608590924750462262592791026261949846065033846926739267\ 5826130771436189192078120024318994935831/42219931992877834322107519\ 6201821864194110813908521769844544382091616127899029993858201413538\ 1714361705596696044268796824939666488192515106626657462182058018880\ 803921718586501*c_1001_8^32 + 2055704825886387675865045014067445687\ 8143556233401637999815570068188377525988878957515858756681287996042\ 6982781530901412776630745775781403743183165228973996262784519882925\ 82079/4221993199287783432210751962018218641941108139085217698445443\ 8209161612789902999385820141353817143617055966960442687968249396664\ 88192515106626657462182058018880803921718586501*c_1001_8^31 - 1636063754880553681566643175404984157514977514992881757516951241503\ 5906919595008778127514300092766256782648186457530230514446046567667\ 940768446576453905916107491793334992405470/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^30 - 21160787595088418734908047923354844\ 7560766985846554263337869859906929540246610167322225747891097981296\ 6832079598982018295371243414051984555100282155968974745796829902845\ 57616713/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^29 + 4123529812545380582610585684049246225527933635648962256727687418645\ 7192669119069728311902071158587376543099193460477867852627832770232\ 7260172855619701932919820016208433586121080/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^28 + 1106657496519015686760315380002527\ 0352669975317158290656239074395631406216710677495354112810022700364\ 4931327629803153088492884281008276723962699841289679465745603533567\ 0900431406/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^27 - 3189430219736919740194670489402671085963153560291191618936603586189\ 0021381456274695725725145988829401317056572239848734329259289550764\ 97717212670555519405012980879460915809748215/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^26 - 463523955282116989791467913948272\ 2376547957636097500808749888034755804401066562710610416718342260034\ 4467866441522421616742139072299369121662394154461407349285544836658\ 11267366386/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^25 + 1738053149226044325079333834548032557252044245508410075594014422838\ 0968275032814975998034956055533571903419634126028889418679605496491\ 883310657854140520864491660836319978455068419/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^24 + 1260605761034775055325528553898010487687772087581034453549743353943\ 7797739111170083574259529262674629910842873836614102532742917601727\ 356954480213742682684532339945622338441492443/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^23 - 6467210909506919765152299695931749769334690463375662552991046082028\ 3918646582834154203798241776014931723664451205501875402076339664005\ 632839547730662368736863436527376030093248069/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^22 - 2198142571266089693409532417163512387274995983086468385427561348063\ 2791457038215835805008439473268354297294425027213011521561084684092\ 752956762936177332018405506193717379989030477/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^21 + 1771082926730597123035472618754134057239397422932721873180391648384\ 3674598133370734015746306991313566299482690765188186097646508046358\ 9524449325592343282847966649688414918124407791/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^20 - 1268200382569736736242201515803161023123020144460507266086719875276\ 0015986473025554865442173916279055582956291368309360348251671125151\ 26804064367344521740989431020397314546478282/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^19 - 335407178579130417360164468832672\ 5522086240995341888874345022719328947418519686760618990415528622067\ 8927063991538229005935802322844023803105630931618412471706355039952\ 0873321433191/42219931992877834322107519620182186419411081390852176\ 9844544382091616127899029993858201413538171436170559669604426879682\ 4939666488192515106626657462182058018880803921718586501*c_1001_8^18 + 99688877606525609064201799727218670753687416518406367772064577089\ 5262801788047311803820739375232578922578728078928159622508725680903\ 97102260459214279211053517435598550834156131446/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^17 + 4288440609443152330162923849959563138306076441790620230732761857679\ 9056612545175556941642258383887760489031666634865404737597508480931\ 3964979144096960313136457469254067808406119371/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^16 - 2775855069285080716928511153937865773419472874890318149302867866753\ 1798849963624956113707715927081735159979486264084441362633222720214\ 7544424473293075856827913602770776828943050434/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^15 - 2939405225671767794280889771461549754065487267150320546562741021315\ 0727485893650293895894451060580584778969833941467138926690895147234\ 8520379244429897903295801169440561165456790005/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^14 + 3365404784984021952852475697766083883657267068995221243882766777235\ 6076721024161903389845486963647174235068842867336291776260054200596\ 8875283620873351156311515807134055650014089224/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^13 + 4691680606817037592689045683870254188120617507667240005857599307196\ 9345124983469031107138876583453170786226367913836821320506728925820\ 377450303520439585613702070664212779262449594/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^12 - 2131981508123457951404776309524095022830819334726543544520786766165\ 7624763667733713936513444753040826046608410649518339238734181298487\ 7020608854104156911693513480834607541629816262/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^11 + 1078090537212988891387562459468605269618431679000779810875426171828\ 6506478313048176560219564400935359047438097522732402007996798894432\ 2092271020227059877366294552467215667242567857/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^10 - 1579623382654422481738115447440423230720848864998457533488233413813\ 5715107738126920352478112905826620814308935131927526405710877791517\ 57216462128068317804196679620145570357898285/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^9 - 2296757500416315809352589618610754\ 5918990368433968630605417202358881822990480782975255197991894298213\ 6829848228045321048811618534569107137701048877657590478106843635429\ 02448255863/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^8 + 1221314843187993969257021020544018595895385285952814600803550468296\ 0274897611535466376599054330159368031186353547631227149788140069235\ 735293751633793010699961144210042518762095539/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^7 - 117102756138630003849725524968959\ 3866906941819928214925534730046519008798756436804328638934822347033\ 6368159163847656747843945622838880967730375166077016080285291645510\ 27563023756/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^6 - 1891690815125036238693361956827166624124705244719116235055518009362\ 8354616282461926280632811850907584362500256631231473097492049966557\ 18855750157100898775296540962279078851929937/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^5 + 8427914111116395690461623052916319\ 9663437407783826698558948179830833757155336346305705735526333536262\ 8794922003914336088090181273188373256820676157531493834662926468355\ 958866014/422199319928778343221075196201821864194110813908521769844\ 5443820916161278990299938582014135381714361705596696044268796824939\ 666488192515106626657462182058018880803921718586501*c_1001_8^4 - 5922265100095704113166269826464862375688089071463540535301420616863\ 6990947534504179528150908182026869371836781509300887938695758079298\ 306799264638412618832118144962052156682543/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^3 - 103244710451409892942909661042624954\ 6324241113379193538014797333887548960341558155576516467181538795890\ 8830758771526260801866967589027194836806910494445225799674376449061\ 5116340/42219931992877834322107519620182186419411081390852176984454\ 4382091616127899029993858201413538171436170559669604426879682493966\ 6488192515106626657462182058018880803921718586501*c_1001_8^2 + 1517878105950324078115241702128905871048380589129746983469634367998\ 8822839024080996394252020489007388938427447653638130772131454425297\ 235678772894563377180810726327576791835125/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8 + 12101767427412813321167462356548114576\ 7835995840665610813082939035141868951645064249634762509696719452256\ 4769600060842195722168929104180563805893754473015212805073370163461\ 728/422199319928778343221075196201821864194110813908521769844544382\ 0916161278990299938582014135381714361705596696044268796824939666488\ 192515106626657462182058018880803921718586501, c_0101_0 + 388677270616910134542411152622583199909564234524874414640491\ 4782148838901102472570250795261264829364426298404435953738171320180\ 77843955644937307594373803457079948563335190036/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^35 - 3658435532166892614782225218569267523175777546319011729822542277972\ 7327310499221214667085090163265387101577122370666518789236421754001\ 93777136364250348414299797971621530594990/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^34 + 132110959789322971690397776837708531\ 6368365895726507236764760657896233234071230145308753638317289922200\ 5150633791428030966383559644998791542790660185631080421967943829912\ 687777/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^33 - 1953935596696566991031612005566996109414096449002882114034605288666\ 2560830559312772242427054052773279795604820110919512666009418920548\ 19194948248329540658503337139622595217708/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^32 - 110428160618818880133335399633721886\ 3179633727140581433467139843235285643859130625783550828122012184769\ 1651856050849675956647313044515984920071661740418967180875759190073\ 1547035/42219931992877834322107519620182186419411081390852176984454\ 4382091616127899029993858201413538171436170559669604426879682493966\ 6488192515106626657462182058018880803921718586501*c_1001_8^31 + 8753165896859952913345093314272955794855473746693447436435084869917\ 1360471819806792741789182853450280779652727117589250288904825102575\ 386867742172812091400721950982035099694204/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^30 + 11397070741056570103699737148842929\ 6814319102977882285420036548035862409760084540484998447016861774938\ 2887791249487919560925021813391120811598560360851116284396906836123\ 712844836/422199319928778343221075196201821864194110813908521769844\ 5443820916161278990299938582014135381714361705596696044268796824939\ 666488192515106626657462182058018880803921718586501*c_1001_8^29 - 2218876349285995040715513697974871170056899765486022155704406696361\ 3527773889625609641997559475967429192626140163850593351398799646952\ 62351025016969171722622918695181579545682902/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^28 - 593310708106002394564102641848751\ 1605005864633624326050222691267365619354700726059854124198247715784\ 5352829872596136041939294612711449004594522287819909258559587784842\ 94132257369/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^27 + 1706535361577830953180393369533841723634992206364107463034602248217\ 5962634537884517749481714390528151336848727802070325867653502847225\ 294572680767792389864174950197131064702827431/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^26 + 2485126391815162033975989747869287232219370867926642912536606215510\ 7916204753775648028818840996025581208502522215036832708838134818144\ 824861662585142689550530300649234769085661762/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^25 - 9268761283418603178839958901700118860789512646354237852376798684397\ 4246692931933688133164528805692752954375411143110874129153346238712\ 414565757690720411233877887532903191763338425/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^24 - 6745461803701907231107321697947716920384270503613035102026718942422\ 2543836181093264968650946380919040978428120301065945151132285365829\ 173803630031506426371027350901234993686087573/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^23 + 3428679178877270247048206853246865727724458159628527868701476174038\ 9388939769054333512092355712599225693194333844558040049862661595750\ 6398733468096636878449758940713321118215620644/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^22 + 1181446756988451082605265765442474569480212685965903001772299463651\ 3340152317898581985561657685883018272311603141793283755178460188220\ 6031983523706316695580916943559498780208409540/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^21 - 9328728325872760655072647101710299068185409260881731233713048108335\ 5781543836519975054557693297831235135093140608967897865012495575615\ 9852744602257993118680989310955261388921404711/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^20 + 3474433511923000388425990533011175656954780350119066639663576049625\ 8812107740288121598545136872435373158620060778856974964371366294612\ 43879506018765095741551503771140136734227100/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^19 + 174754643054033407295113858217725\ 7128677258246882291018906302008159887589433147848124213323354461176\ 5932105169481392313621824802739881050485948319244799305207300744612\ 80557111956758/4221993199287783432210751962018218641941108139085217\ 6984454438209161612789902999385820141353817143617055966960442687968\ 24939666488192515106626657462182058018880803921718586501*c_1001_8^1\ 8 - 513164343740601836777886814923853647155499729094497285951946264\ 6786703736322866580693873167513007513926868560300654362294923869468\ 42121408225290105282767129804894276772367540182500/4221993199287783\ 4322107519620182186419411081390852176984454438209161612789902999385\ 8201413538171436170559669604426879682493966648819251510662665746218\ 2058018880803921718586501*c_1001_8^17 - 2199680049477830613361327183245109927229605704456250595000870245798\ 5217678828942616351018073463664184745762272842429648286993132519159\ 25728330411376066065811779221231813576712356532/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^16 + 1424522992868572597078470070713311790374108890503144894315109977542\ 0343901653439169574338526708161390122138810512522255112324773628794\ 59232952874392049550307328058195806573234477950/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^15 + 1450213831227070890968846481781211916175632945389635664103452603858\ 9012381151440678262143361618912220447002450293931874472723320650261\ 31092103039783177393822828443694830443574003444/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^14 - 1676012417101688785552775034237448908069359439097847044200530140040\ 1349848975366873662180240103540988330259585704380055861848911289593\ 12715921456115100427353302282392415401639574596/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^13 - 1836966157543683496167834860151870360039744508900908758971342621531\ 4634308629853258176584208542384391145499963514629039837510683559858\ 7704846459584236485673412059040469443070615328/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^12 + 1009771559150328800412006460075455456627703832804698486886545149272\ 5130519875842624899743777464762043267887883866643118520465936795349\ 59515159137098014852148411241649879760541135182/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^11 - 5617629981915502008300516335685066717714086125096840105220801443975\ 7039747037765726633488941551635354195190275951841839403416696580556\ 2283040764725373511516463442927212457713308838/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^10 + 8030800747736875181474863617144604411846091393984809803319672012428\ 3647113161557699452882014417720036953130588131061675452250090073844\ 439354502130397706660210382747109600329497600/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^9 + 657183198886634039733260234993954\ 2035300265901974730863782030579516184178519834117725768834034043579\ 4465840012250971998348558168557904583331011313675793647816365369624\ 186878249587/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^8 - 5002356663432143280431313747354180623915039150557976216704423551192\ 7558705755428783548554035738682155744764427206178594337816372883728\ 338046173089031877570986417711025150783453869/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^7 + 104261798629631286840603587909739\ 4955239822588248888839969819845268284351127876578972680607384479926\ 6694528022360034989504318391614814651352491667693802894215497657013\ 867940798589/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^6 + 5037194927584098169957807414664734822325848246982284092292997249394\ 2859482480662744093277360842065679930122742196739871380341641201233\ 08038697694522293396417893661088876557093415/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^5 - 2787972291834127983419725404180096\ 9958561662346261678735291140443172377970839934283313009237617333819\ 2827192401983345925411391708124358360630357839696032252082823988935\ 2201640548/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^4 + 3176494512702339836440438178916806736814787107714920567815488583188\ 4836466625391137883756018082480706814206475404749670364537306219033\ 8644477971132858867013466069536009654835230/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^3 + 31903746514684321798912542245653870\ 8934693408429987303660153843024710245428302596691881163886441059469\ 0023728862813913779636073531915781982976825345794318568175666467039\ 34604994/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^2 - 2659106753188201188692794627827597345846474023893047755244016833130\ 8720637501012204916777996497897224220781890330521510693586522310145\ 13771157727838635835485192999831388375420/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8 + 240724311689822454831633743959084581796\ 9793780698264726646085969521408320727979519423928699706833515553688\ 5595166621857027476787850167274336606957047947805045331547329779068\ 32/4221993199287783432210751962018218641941108139085217698445443820\ 9161612789902999385820141353817143617055966960442687968249396664881\ 92515106626657462182058018880803921718586501, c_0101_10 + 15929324841024825538450214296732986106933313299849930912324\ 7081569488456025875396763278478676498513855837442170207319519274591\ 608791093420506687680819610323142178283982984050/422199319928778343\ 2210751962018218641941108139085217698445443820916161278990299938582\ 0141353817143617055966960442687968249396664881925151066266574621820\ 58018880803921718586501*c_1001_8^35 - 1524596800337005188120266132576944171351518726920819212955303866876\ 5447542991355026284994168913465256099902173060435110621465803017272\ 18776089145550003763570786215031190686810/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^34 + 565359055444376700507994556824530424\ 8024124475332836323188890880199116319120484921582442271416711798910\ 1909595887864158130807309741446978975272823910642791899383138893735\ 56052/4221993199287783432210751962018218641941108139085217698445443\ 8209161612789902999385820141353817143617055966960442687968249396664\ 88192515106626657462182058018880803921718586501*c_1001_8^33 - 1673441927000303069338055743530967781373289375140699759443860986640\ 8844755300631713916289842175309284639823549717743297253864295029568\ 93288175047829356318295181774875546544203/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^32 - 450815044707229404025503771742892562\ 1792586934148557893800587786319097807869558985488192056846841525483\ 5921116401461989195024589573730427522645213023722316408423137466633\ 186951/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^31 + 4306145889258133921816904594526992214093471338185007843532555263332\ 5400802454683100588517660933782463294752297335128894680655283837150\ 101575843314363426146656222756970439158330/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^30 + 46093238703340068681187668213644133\ 6716936100061842696225238378820053313757387289310374514420250729114\ 2572838754215989486635936316656664873799725192261203909487299705986\ 37709646/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^29 - 9831996840425547992339924988688790325630780312382255961418357888303\ 9870529297538112981777675245571253694103749288742886177979603859782\ 9160940931527270462994616751111412050288072/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^28 - 2282517341190943418154903975657703\ 5087111561583678948387795839534558828369708858023823457750153478078\ 7067624642649330492947209892187743332174071066682789103612554582786\ 3218118783/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^27 + 7371795853087452267498855982526719087552078984585531662194562338608\ 1029561827963237360330086368061966413898185574579401445311195197048\ 51099790188493415852809454247709491584834591/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^26 + 904750998124851400688184347626244\ 4592439073185149960077932692155926248820355644956164167264388384484\ 3135620404365872266812604420815496778658063944070602744740692049470\ 50423903691/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^25 - 3953701602437919235962300619122230453482538379261728695491497487063\ 0483203449508549604400234576217817225445434690693482794955939928306\ 231414788472585256133180175905985508318627867/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^24 - 2149123601173317669246112883692298606422456630972352840165533935596\ 3331143418513854705921549430074861168937727100727217927922216646265\ 063907954065117687750098622314127932536244773/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^23 + 1445393984255094186645423554434620428530503255036727315953254748547\ 7091031954730344879520265819548664513541460969637352105969191770812\ 7297162863672429028652909270839499915040179560/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^22 + 2571088001522266797799837578744612688520187919752028432264131329494\ 8921831808967733424089121639080670483984555271980615032372284721653\ 132574565618911305515811224830955181184585787/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^21 - 3886007923877619242775175024278765282511062757171587615676010564464\ 2009110547581382726968552540866303457941872241539277533683660906980\ 5844309466006240982948968996343271626592481542/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^20 + 6306590549248807212475725806293583705719033919703019273203720459806\ 9042486978761783369036168601366973102087543405755578942621673447592\ 283835178261888965992985961074243310581078746/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^19 + 7120133703201173809886696773346475200548043690444993284474292582752\ 6064980565263044959617754927910572859260244560238878322613193173554\ 8658176657842915677789932622930523952860083584/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^18 - 3252503108514729523443200631515588135965898926525283097978572459300\ 7426231391739221098543564208194325859834691575540627632208653134122\ 2848474186361182161520611743219238833304954278/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^17 - 8601901854821380412745715063231951509417233153490959620677030526557\ 6897132056886261275759409122898672634731357679842542973541023050702\ 5796220626561745271719784886835842584441366647/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^16 + 7270132842008220651364444051056390913887827625570997740791981454083\ 9728090198085212092861583155189044936374363762053538465860303254631\ 5764212463682888512965954812795022467922732198/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^15 + 4906377227744037359401270137884464043015835204945934264310717223072\ 6233229148451702667978761674022156666148912422716570239618311396476\ 6757290091446275277201297887372489941120986114/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^14 - 7777216041012556979986973550258696635959349209236038532701740592928\ 3165970140175657077974908777332458550414085154263732831067020221607\ 2056330270820578548898547124840259110225027452/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^13 + 4318431132635803890313708662511980249207694482627893185926442245512\ 5488502060579142550197025132225620667039908080958882832577015551707\ 826801094580779315458476782442028794684918298/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^12 + 4194371720619803778339128082400613528804459882780266831722293284796\ 6864543243583535732071212260070128079726201183143308824639267995718\ 5900139565756759550474714950040372311035137388/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^11 - 2996744330481874342440191614820991914538878001989206659899522779018\ 8438617886477345104282889442413199200654165462514354038004559635212\ 0992817508845974692944671013518811907806341740/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^10 + 7479413396715424133185679373203621142074618375876319014063605214926\ 4056198726515907400607029581078807671803771638365808863990380960739\ 429353194341047863563415830749041983830182440/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^9 + 205175954392433375721614280419199\ 7406676493383861881853466584458342443414543869555885864097527986539\ 6609798725906871382468994159893214662838916742536326315801467820434\ 197898959320/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^8 - 2592641992273520147186542890727160667300372445750984369776941576385\ 6048684477445830858738557208239554932601891558247544554677703146721\ 122266524073687100369047538201914336524764433/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^7 + 860428847902579476398872886196443\ 2557723444250995216355268587213513220042378813310595585719244435223\ 0587637361973480697226674097683072714740455206835291769297338853925\ 18007038595/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^6 + 9702643168106391981238705386712127354942180155570300968724790799686\ 3392488522137773019453610075803818398050961289545652446055998735854\ 4322975057254372972090682350615556593818216/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^5 - 14233861007972560678083435497800463\ 8290073733800495496929751587632892548472025401285803539987972367530\ 2900402454096252036963872340336193742462806781286109005161868203542\ 614716821/422199319928778343221075196201821864194110813908521769844\ 5443820916161278990299938582014135381714361705596696044268796824939\ 666488192515106626657462182058018880803921718586501*c_1001_8^4 + 3292723689091502764778415050539123335027889254195661138098123544718\ 8748445122362221067164660371914173834535161729032804088011178955103\ 5203530359654257950205719842180668388905182/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^3 + 11006941520360165520133496087396889\ 2647443653388917328083840093876521840425350204961703380314242936442\ 3142639395558778843909928138773949860020020363924183435662052242494\ 80270144/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^2 - 1833005276917919142871236419088566890625197166935754309003529569705\ 9324241574907414660465079217903081808790461389817951415564846173071\ 028918704449713382574000560853088684820897/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8 + 37300248525856445618425362253689628291\ 7985608458774831935439772934120909972482830724548534845814223374928\ 8254698840951530491696300967918967042311595474209305609687019949440\ 652/422199319928778343221075196201821864194110813908521769844544382\ 0916161278990299938582014135381714361705596696044268796824939666488\ 192515106626657462182058018880803921718586501, c_0101_2 - 506816419105737129753007517563090586137883472765044265598082\ 4122783748877471413706037981059275648654488521212630005834139594414\ 09873676971072164315113934589605044379108136531/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^35 + 4763060669926404557509918324670318342723596882833641579916740150574\ 0073136127317440876880957641547493392703713079758740643019435192628\ 19512231896063570038520602541205111382746/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^34 - 171598859195232753529480895411496535\ 0558080403162682815919231120295725414483981126587941465533665945932\ 6324285400110819315947691343439204363513124139819578959419014302761\ 843081/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^33 + 2322203466536369065490385093546975868841053213121072649475904063059\ 6303319263264088860260784018664729121974447605067520671327876477369\ 87837996625113648350328725954513620353875/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^32 + 143937696256174116384163133658505093\ 2416592844697239277323999269091920652929467027727630636548617872911\ 9985023941652482323193370796029784345080835452288825712340266128140\ 5885294/42219931992877834322107519620182186419411081390852176984454\ 4382091616127899029993858201413538171436170559669604426879682493966\ 6488192515106626657462182058018880803921718586501*c_1001_8^31 - 1120120839941006935236167738960728250744666703710992410390759473599\ 9875583509197168674426918971688193559974470830764755027263886177288\ 6608526549833882981626329202057362728613253/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^30 - 1487061891448458299429978126967310\ 6648207850134407674175217033559984550833751751589988973799046650174\ 5240045807042953992426090162062566150419436199923359592204574684866\ 5455449486/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^29 + 2870983848395833781547802807450880679553702102662274496332252530953\ 4913067542455962896171938784761493631829592840607501981451255246953\ 95009528425647876198906815838337693248589182/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^28 + 777118163335614287815453860662514\ 8461265057164669620979000542357080394821039517362968146311299079335\ 7716997051681122544330845650441737368532581608147946647580064404536\ 02576703792/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^27 - 2212379509990835658896462630832766862086464221577510128890172749275\ 4859220200189094212044086537567080485962177175676540424237467283671\ 141032988922158333602179026165341415597500803/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^26 - 3269264865473874295124248034338412632458798074181780281993809070146\ 5344082632246428734820005538215303016458339564296361019088366129400\ 055463709660079851983463967730324735799340520/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^25 + 1202693266760409368327750414363247451144037536554254615643341962364\ 0226696217550225967701761084782409288278468491472821018729404841649\ 5000589839606386966048811671208668119410315643/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^24 + 8957627222908236301209462406327036573504151771971025087818131499315\ 2929640161632901762443997293864988671864850269682385967784222076772\ 518575367661964306561746366568215580301183013/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^23 - 4451653864076271925080500082449885046633466596389162785197909635136\ 5303162964434303656861932565547526585215287022948437204293711403499\ 1442006779515290607963938779043306152424558202/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^22 - 1602469383841440663619339054303334501838628361028594592819343629843\ 0271573096701406077914692283259729316233095683706956080185279299722\ 5013110787234532982645144656284358116277426583/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^21 + 1211860218044091255043717174574364990553843692820680065268958210037\ 3617917839048101178313658826835573162092170404354704268973353092400\ 98171331758258977638319217484681401315287438161/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^20 + 1287506944477301333931567157721704459142264379206533813814080707580\ 7768270454800646877196796661893734016866503784749453234870680250469\ 544517782741327979045927411287667547918984559/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^19 - 2272584366858659497796755162138811115906376270090364852697491272442\ 5147544949466024059326381259357656977143308857808732154451105350184\ 00366910527355142797363356280754408124169176688/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^18 + 6346494361775136410531049152506924740260974963043080659578453778511\ 0666120766467627101307668570129840692217449400774142692443511503573\ 3421490197700409140688466011900864943529892631/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^17 + 2866801408387618718123202893663219694404528064075830125474720913429\ 0355781680837217634521612510209753388347432160163576460051668630304\ 68426680002368082359462528398120307253848996220/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^16 - 1809993907724261641103015717310071091077719992821127576388196019166\ 5219553563827112983615325846432083537414106140709731728601357740292\ 94229608842164544064449816268579493493060027229/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^15 - 1904803360856673541916699326824803400187350183393145494086408493293\ 0704405482968409658589858026934680001176680253563442596142586079248\ 58067190499044468527404885785902198950976199719/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^14 + 2145678252682637607716661187446488165068874335816197490740562201392\ 6501838254900270194715148273242647878024591610803330756310734867090\ 29685366186743724996057921191753748869497873674/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^13 + 2644441331685966520127134339494641845809140657481657640394189553421\ 9366474718772295512386540887215239948595309135705370511144517728389\ 5925024428130962938200442817164974846914249992/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^12 - 1300661756275230920017665566129038209697966854233819432143792402471\ 5489469404364039050612562915319136511172119765631696484918436926750\ 33063598411178004436491862938275766723501880819/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^11 + 7118142705856381355883410318388773801534551774472738596125824055444\ 9521422000656824251896745437464809936352121292384584202477148087312\ 5812421397309358793604229065759418003393291150/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^10 - 1003821349398420909416583900341644191171419711127623339965095634463\ 7485914979379567052075573537069681764445410355981891540314453188284\ 4082147487251343990951683852360944974751465642/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^9 - 8211395497193786589888820223261974783328923799345829052595630551488\ 0637260448510820855653521846976114252121326847477990792240553450744\ 260147326416849066658595570557025705373167290/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^8 + 623264727387724395804298800597410\ 1644483873697893374586717219040773960120369950705514117044344763423\ 0130184599766128705448120791319031112135344148935197545823813642129\ 041215161609/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^7 - 1272254795875035126505747989585743755893034031629161613307713066886\ 9368859655307642967793028990672804679645164779547342968618384558613\ 116902264606544132982422501685720619855031261/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^6 - 640907771709692204185851657876625\ 0571307408307384945513094346849899158217010269242311346299420962414\ 2526221494031408108911016879040083520159828983009744577706043572859\ 11744103406/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^5 + 3384402451330599891433624909362448230786712253595385757499692849899\ 9603166365022739612830849092936117289506574105165353334804270157817\ 54645564482341383787595663168897016317999298/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^4 - 3551587396973624677270514968972070\ 3530724459742934998109264543189090007639507958395993859221586482969\ 6612749219218921838787627543617379357741191815616282761881036647520\ 143733200/422199319928778343221075196201821864194110813908521769844\ 5443820916161278990299938582014135381714361705596696044268796824939\ 666488192515106626657462182058018880803921718586501*c_1001_8^3 - 4101415981516604391476314014396609668376902575287746000113520789322\ 0154064623505644708629588726358532413785357651866184849425707715336\ 7809330317111600958144071288108352690388359/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^2 - 15640153887897471308615558232376915\ 9751103687640882333953507601287058555799233513210153052765360271852\ 6313211864017700743130517476285202851935827902480676558149209528316\ 6027753/42219931992877834322107519620182186419411081390852176984454\ 4382091616127899029993858201413538171436170559669604426879682493966\ 6488192515106626657462182058018880803921718586501*c_1001_8 - 2276750269269051349042035431914356210813689055442260061643303468038\ 3092187392284150056553068905142099662986029917333820777426607168489\ 06380813463332044905158322767081485607487/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501, c_0101_5 + 135671262110397320526246237730584197954856132134811265053619\ 0475188776249809494974228965367513556265620334423061498453574210921\ 11914908564298311312568325385022510834460303864/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^35 - 1298869043701555519045224006964809308267535729856354134113788282116\ 6928350817412268376710649446770240287968897518404314051022158827486\ 33673881547517500901186141700522692358372/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^34 + 481011577650222186499577418480768308\ 6918537548491748654634787941283215345976503740916271662459423987464\ 3894134710586519432243237047101269265273923323366167297228349918317\ 81524/4221993199287783432210751962018218641941108139085217698445443\ 8209161612789902999385820141353817143617055966960442687968249396664\ 88192515106626657462182058018880803921718586501*c_1001_8^33 - 1356595976910421417446562391774865582602937060464473342699894019003\ 5263273036450480014057009238242180214860531683207071115843560462859\ 94022248826900792677991461604597843328726/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^32 - 386936195704399669950085231433842253\ 5006369598906514253852436977655600265260525962700553069627756758337\ 7393973153291086876018953571946578609745039530420436040909292394046\ 522257/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^31 + 3686240401966643886465583430013475441007538227844853677657770398681\ 1380104378266149089646004830633134259355678321132958712087125007261\ 234056127823263271625976802962410546482002/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^30 + 39489298533417128412379097558360493\ 3524412149408488684091482545228742952673049535911138232523327000715\ 3266091889326215824274728560661283189587201979826568922369089867327\ 58441219/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^29 - 8406985827258933609694233086763862629907706980401415007409017338118\ 9195235714418383896208296220218876083945508702712820198044711770998\ 1133394328260216083343595680784876874129800/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^28 - 1966495998423221111336310092549957\ 8665955998439729123069073777201851542907664880059541117554685899297\ 8941570049460250881265606053982268734618843928271210273489458339199\ 0525403702/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^27 + 6335910779826296055383275675333979373043198058245217032142568401256\ 8478250345272904131179253531624464214935363745970896159377125092604\ 63231128172617917052366880526650668277586743/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^26 + 781198582469537212579256017531689\ 2767305096737677527030015261715861011523321798687681339842811968285\ 3636487362613637345637483650361331259125416085674695351534976895485\ 75157990504/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^25 - 3408615285774029429749078288346768272779227441071520712364512911925\ 9236307208009965330928432077271203255779195554684900547493066741566\ 105644488637876304946430222716637342332752503/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^24 - 1870462082398849361023724218067643197111562521246577927513435801423\ 3109460996301079250832968931685729945061428363416881442881453194972\ 011409902123194828203151869399754583049703388/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^23 + 1252568023378429796526439254044849357502668627160747084026567763765\ 9775369765959094066913049992142056216462624075532705841051344209700\ 3422495988679097958151913847834690581142907488/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^22 + 2275292525659816872973852029033576319853073818014278306850263862611\ 8277801144128033244809603417215001271443895864386444607950440760766\ 846447751912807822063750257648631893720943640/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^21 - 3387245763873829953350893784888365977035774905166544473379497996501\ 4213411534988565949156848647371193704695054778327366549310429473905\ 7737717863978387554321502609744443250548733202/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^20 + 5309625556137798535892575067920203378442533931410407293090719678990\ 3354174891213125883892502560779952178432014887945642579916359060998\ 101164800908237192234397192528976131855159904/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^19 + 6269744271878867015072090122053470067188104212240779013598567295362\ 3770890124837136414422994034301741542247666470590359124350285070973\ 5483404437991012710164413033964066327782709702/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^18 - 2816640758359390169285303076518450378901841853664389262409797457770\ 5830176665696457629008668344576930769962097410341743602165468356591\ 5578248450902075765736854114081510867781599472/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^17 - 7698367313358539329092909276731128690846027618263961092143530791632\ 0981327392089280315580993094124137872527591495158728671700812961380\ 3152480991008936931951219245936094197000515310/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^16 + 6378756404030237200920969209834138593148088550278725412231255186399\ 2028766748134710188931411529776331766141698395244214171320739697537\ 5447609965616394100977803890094826736665170325/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^15 + 4621588223876041792457200945872472373852129834515660184232167213574\ 6948076377309678497155745356010781916410833626407026862099912687732\ 9009419363163565935695640737204285143040240013/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^14 - 7014438130827399521034490099295387942800595914766075202541326191970\ 1715754318845910554414240692144935108410657694077236006230208298917\ 1291948995301453450792454074778089644356629884/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^13 + 1212145215707929907387638484029343785146575338200522799556788848600\ 2287549423709450719787246192556062472605374890778327558313618165100\ 359465457826501546972532814918711023014161319/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^12 + 3978899561609393361540831396854672736057049267669014603816830746163\ 4708664895992590500713570214479694518834542362798647750803119703132\ 3087293588784249779555355951071020619168947807/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^11 - 2580895142488200198371044347228092916790228225892401619947108311423\ 0782821005367792173693033171457025741352011721576049207618142739231\ 2934268790110123782269443403729398364504662635/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^10 + 4239241120813681077010784438571992023585134960882109058882603425127\ 8054711011761851022013768947798265239710416564417817664444909658706\ 611732616121334687789016599577883430484683265/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^9 + 329118203167951696601891739018950\ 3758512026138595407531176349957300693947191428061512262640400557436\ 9828403502883294945266673578293520878190779081737289415802445215014\ 030648520768/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^8 - 2611282794166637221928683772767231193276999332158751302555017972249\ 9761738583588286541945654478404809629367787807295861117246462362453\ 115891254614212151325396358862862971304445409/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^7 + 645529484811264325213543782191174\ 8809333382370968578511322282777110592549441327606698284320455793054\ 0882390650163089328724810186683998227572873104521596591527589005501\ 87344969653/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^6 + 2098635769155227045502206425573148415931894927622938018770354488963\ 5755621870579347280354518068317879417118195178115267492494250567545\ 47257696699476245674466268883926383921534458/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^5 - 1724432569433255570462626648223628\ 9092831900664171455435583606560886963502410814608415505324587745070\ 9460368123041820381570171658429329579893934247694814063812025338093\ 3019540924/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^4 + 3394056761680566593917221011388329786047919531533355816247697580641\ 3969071235805935962994653799141395900293092949056670767875256593431\ 4832671698408760603658582001295134353538395/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^3 + 12048441461823995136049013951281357\ 3778053855957509021381291233404297464555656817307840994738810387297\ 3894827961691028582789545285825111531481582353374314904154547245348\ 89702753/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^2 - 3552849243525566148821706287325912764044290149304420523042957473921\ 2593208886159626482401792143675929401664339178588989279322879774935\ 324807750412277692519899425334070333267991/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8 + 13811118418129681964527248449684818071\ 7947552621404391371605687708112281378157451327382234181379912095161\ 8164706040916818150745967076133415717236907385199365834795284809585\ 488/422199319928778343221075196201821864194110813908521769844544382\ 0916161278990299938582014135381714361705596696044268796824939666488\ 192515106626657462182058018880803921718586501, c_0101_7 - 133760465025089817216920118090030334990390207440394803450140\ 6870597509637097691359894765849786222633496063512332852274283331930\ 8855968093914529969414053811742375192699202160/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^35 + 1203627250240193734945166488201618450108644969841134508393249151942\ 2293785986868530736446875446804929704200630309120157268463878627186\ 8976533245030158445934039917557911343023/42219931992877834322107519\ 6201821864194110813908521769844544382091616127899029993858201413538\ 1714361705596696044268796824939666488192515106626657462182058018880\ 803921718586501*c_1001_8^34 - 4024287735254618619411981745286694298\ 1753418931256028835087508825217401315128013831704176550465023165431\ 1490314953027404311920087760635935777888624786910302834046319059326\ 500/422199319928778343221075196201821864194110813908521769844544382\ 0916161278990299938582014135381714361705596696044268796824939666488\ 192515106626657462182058018880803921718586501*c_1001_8^33 - 1209735152112374014826570602170426975441119474283846845377884575818\ 5515177440796751079252551722729402105559102053656757996284873147427\ 3212481402515940174438273014195547724345/42219931992877834322107519\ 6201821864194110813908521769844544382091616127899029993858201413538\ 1714361705596696044268796824939666488192515106626657462182058018880\ 803921718586501*c_1001_8^32 + 3822792395346874397628068669428607402\ 3726926707390543833668789409010162176510130116765242724225520304876\ 4029973118620406634012218538369319271060049039254805147455636204422\ 1544/42219931992877834322107519620182186419411081390852176984454438\ 2091616127899029993858201413538171436170559669604426879682493966648\ 8192515106626657462182058018880803921718586501*c_1001_8^31 - 1407781987440077002249796322034988269707614538973034040641708388853\ 0623293081862747962398309167721444105289516416767485193622872861381\ 68456284432538796668249295172797320797957/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^30 - 405084618606181814284453527727435634\ 7586785316448636686654319130230621606628728739325908963465153630434\ 3456666471586419640739953445120070879591833910551427054511162607052\ 337495/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^29 + 5990770679950257017789521723237216421054452109186894369691865858314\ 7863584509810630972346820163565908831825945885738655203010800582266\ 508666288192542430042316657702690477633239/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^28 + 23631490705798451825753471230275578\ 4375320289398340096465747192295511476411271207162973308722121776601\ 6265388846591514720182086824043627780181217429120107782401866227277\ 09267840/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^27 - 5008784322448641067301024141792052029392553900513485421958572644401\ 1914032361494912107703774995981767407677521730506825819041966432862\ 1869836941184656232866134405133371243703396/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^26 - 1105268337523246464048437316976765\ 7496068859015591055473912547376640676208128792864196371172593728540\ 1042561804169840308131501186339195200181320788680841964143300696105\ 3238748741/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^25 + 2828691604641031765786457429005226917305428610702664110317955628828\ 9366288788442359231192065510548871986493459553670849212411015097629\ 57988921268581445931198765144650415348841711/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^24 + 368770034715874156308016118498199\ 1950997700356864384189910679047758588514865299754490682778837668767\ 4369080728988185381510895995440745496571254678511650089620070910789\ 21106406978/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^23 - 1082018476516005126522393738083268847820139975474990806822151447116\ 2918389400350962333456896556509683835936438001736296163263393511708\ 640390352332305975700739093116068501222479399/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^22 - 9177168466460623106907460592873299780899314655250197763701200423348\ 1911268429898627881163049658051866018218814937537823164867175541584\ 62440241959919751778926828531003190351633740/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^21 + 304299723602862456881163080021701\ 4290709513941012043635856885803857944656840154286155370469159759114\ 6546064669509115270829465999044913517251818615008260473423952722494\ 620748424872/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^20 + 1395105972332613584746262351368752599897045940418777397413147234020\ 7146730054857941593802454234848491250815035045793648059132748782471\ 517564805425677580860850114733432292874237126/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^19 - 6042476503495121338220148908681039686653080165496272298603488350636\ 3880188131379681587154131745893708310010645160637870157992092976954\ 725532562364307458463396187274764724930985924/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^18 - 9209174168485649432722720784877276740279787451843643404170335687260\ 4168311081678895820150769454144078685358233466817659489455501327299\ 13572304494348099221580421637341107415979009/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^17 + 841498381760061979380167772702489\ 0114284356408407852157045518772710258146677496571195804828595315926\ 0186552926980640120764502883627336772133131758493533318841716810542\ 709699214471/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^16 - 1436617259857521652824659558759462099843277576360733847966549551697\ 9932778530996813675773247880214796654744927870406472233500809059321\ 062534776374969571674473717385126036170298627/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^15 - 7309469009265895273288689362321480371085994074151105017453506742620\ 4191747940624164641497537747529893664827894949912944080550482198742\ 423512321677898169074417140390841852939147599/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^14 + 3356497716271702749170409872755058939216048140441989385778381551348\ 6836067077986553099142982085883550695512483940788177656832735438529\ 287902912662347803954159744846343617899051122/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^13 + 3501488343661327352337135050135360004936697773303577394397764228072\ 3780451112597942630718612639198925776111919958947466861115778440676\ 204822143626525498612918259538627995784615276/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^12 - 3113353966127940283116760099294497513495127603658027215632806107738\ 4724687469848237150479983068155855180138153991120561262376353391765\ 905876015330541903591523049904997048650715266/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^11 + 7750051125606957728045131057581118402386417737442624778876766841336\ 5407888294602516930120027526064166339026137342749136767560443542245\ 2556734795212558440479534872725023529463496/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^10 + 6665609445789604066234401306200454\ 8180508074345122478950527156835957285372812269765954335747506435404\ 8465354747221570448813226343661106390485749527079872918237574914686\ 7329186729/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^9 - 1809522969060720155944536760394211076834874920461146527274086212580\ 6265261623758889407031226471705818468107005720999823582312387870536\ 57733618540127714106654626909577020729578822/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^8 - 1075276816138186026000993386502119\ 5370808963381765770903666405860133907773944627506712599806605174700\ 2153841032826848860098033345342231001822680989793283155193822419564\ 4142008124/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^7 + 1251078772316855286523740238031914022599481821660245859991024608420\ 4207149269677927093405488260215536045161770614615322563562436461345\ 85620478612218791418895027653846782159905501/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^6 - 5140756579583166400498841799177950\ 9765247879100302081155821527115204226561311122307235331576250966465\ 8797935758738506555245523785580522901890427725062070186190782399582\ 419535468/422199319928778343221075196201821864194110813908521769844\ 5443820916161278990299938582014135381714361705596696044268796824939\ 666488192515106626657462182058018880803921718586501*c_1001_8^5 - 2033047554745354267751563107629023006998600522234509697596030399748\ 7274466090916078362372268575263094144351315069679060059813320222776\ 750165679419501359630804255295442398070460/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^4 + 723306574931375165095861569003936371\ 0538768306279418951845447251900432890915148783980172025458676522197\ 3354992762419163150210577343165433116009430399679824012702113410866\ 430139/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^3 - 2085416162945364521876064904067819628254729307059146831092135752248\ 7637274905235549760840451303618696563716616597189792308645928432207\ 829750917473458531907552309870515013441340/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^2 - 102156672851361447311430074035629791\ 5633603743316886263026397983687994140244422657475066735705679800625\ 7155791331149274914409617728813052067231425337675510214355259714142\ 758758/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8 + 5226506397896710792933145691017069633614370942127668543788030957569\ 0019214423891946122005520531197429539857892195696056072067664598649\ 07862022335256620316388919359555941343241/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501, c_0110_9 - 286115800387784198199093735720477661704561115730746229402854\ 0882886419629564454393532252049613205645755479392375994242325837149\ 03524395702450964005778209700720197399638282049/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^35 + 2694746663422373980690867897379790991362369113828045853330337612866\ 7670806471389207696038460675223768608751612429475074137323160632921\ 63687382263423631926600358042599761026102/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^34 - 973827468125954966831472442348112597\ 8529777460653586364360387431949269922517306782766762069030987655037\ 8869507585874241777449495728459181768823156743850311678799191354881\ 34576/4221993199287783432210751962018218641941108139085217698445443\ 8209161612789902999385820141353817143617055966960442687968249396664\ 88192515106626657462182058018880803921718586501*c_1001_8^33 + 1471020548633627128645860847272769791672369176301634915948258832758\ 0166645190571850011706770071195651727829392731744780680297427953213\ 97155294964574366342684969513348715630097/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8^32 + 813709672357519004809787501277994820\ 5758568217954498458760087080524569904731952350321764802108496931711\ 9892692987781672955179847556903958548744675929810014040867556887384\ 566583/422199319928778343221075196201821864194110813908521769844544\ 3820916161278990299938582014135381714361705596696044268796824939666\ 488192515106626657462182058018880803921718586501*c_1001_8^31 - 6493934454160299686971788980326009083263314587628225212933666108689\ 0002652010139425602270822312755877529087132739308364182062767705047\ 848466271390043401945022005421564119134201/422199319928778343221075\ 1962018218641941108139085217698445443820916161278990299938582014135\ 3817143617055966960442687968249396664881925151066266574621820580188\ 80803921718586501*c_1001_8^30 - 83930340629299658932158195177453722\ 2355470295814887786630455980146122332374927769446902861843353995270\ 9709477509253740343842497049601350105978122635746770562591127841468\ 08171884/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^29 + 1638982197718662609786154938664601863201015160013064943498665481954\ 3569213643442439663560863660097009753996057284311725284982619144273\ 49311326467980744469735123009512803253542613/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^28 + 436523246094853392163635713800741\ 5379308909624658716634418754980831456657876737454102071594498305515\ 9433469045803739203057038569494920374999739117964494767423792746418\ 22591716588/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^27 - 1260356134070126323888684200081008718240073865520197650578647147812\ 6252815375611131231621714502175787776038031134481980791553309879525\ 346387359189416824492802633017165040797863986/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^26 - 1825578736955335829858256285168477114189429666347712669040143691871\ 9215666086740536767265378658506649935660634334622155384174856700645\ 394927216374868426149772745665713772252743667/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^25 + 6845419083392730421608071304078620655607829930566668055168477659108\ 9447898228527583554530566879506048545686253405219289962715009799576\ 763401705233094146055506368275437739760482266/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^24 + 4939557880857501136512075727199783625918911080207217000501665194522\ 4522616608749426122434430486240095939606137094603321082745024487601\ 995694227996221116339264502461398642890965345/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^23 - 2533120009943992213487480625247888253261904830442185906350131454490\ 0851077889898925785858951447489095129279296150670845841030456866502\ 8838824314988395852093065388505876744027168048/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^22 - 8581458932559980676782060416074402439723760145059118079895987517510\ 0559573169937431154009271988277894000797771800486231171244380348937\ 233599302599950896270741866744062178877052552/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^21 + 6895052992633484245060375209578065822122705900668842746038535043319\ 3829968145497031828636465218124199065996914416602323678571679073967\ 1351354913556182260197625458341952202237879613/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^20 - 6231160485038061688875201508704047078836126526167790172223809167411\ 5840228498396267543454871948578198956855645864907006317671507077431\ 06602594989041611477874628879566211824895030/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^19 - 129251462981926453325323388576083\ 6004049769145719894634029357128591256435130038921603290906971327447\ 1867553345083451288862399094476361831573969807827696270115971035622\ 20597314773784/4221993199287783432210751962018218641941108139085217\ 6984454438209161612789902999385820141353817143617055966960442687968\ 24939666488192515106626657462182058018880803921718586501*c_1001_8^1\ 8 + 386434621166147181241772554949953839539369528419080582130054306\ 5808591084596716265546110836018284059155845551554090988095831940471\ 74215148397063181730115564644129270932970909215642/4221993199287783\ 4322107519620182186419411081390852176984454438209161612789902999385\ 8201413538171436170559669604426879682493966648819251510662665746218\ 2058018880803921718586501*c_1001_8^17 + 1628148473675659222301241678236265130112974757269334419558790894394\ 1529450551908501775084187613384589091057731474108050371623062779242\ 52298884493337705824520386919257435196831185155/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^16 - 1063490098836154194438940303601447600993237589125331723931891463653\ 0757197637121446500922485341049242736867406612721269470796788344331\ 87551995621572529142232050861510757863994284712/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^15 - 1074657358781089772997844789808530932975328660191769282907703730251\ 1004719318124773397244574596974353656123613073885176239144134054375\ 02524960133790626403004814382488512825243377840/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^14 + 1251694303529955173906673581019232664133625918141764349998313468616\ 9122755048868476998242597998417249763463364287410101848209401643132\ 59548837458817314218187658711287345546160719842/4221993199287783432\ 2107519620182186419411081390852176984454438209161612789902999385820\ 1413538171436170559669604426879682493966648819251510662665746218205\ 8018880803921718586501*c_1001_8^13 + 1352135600889427697444465799038487433994321885615902608280061263615\ 3286506558000198675978733621271249425846454461407448302889123040784\ 0174779594687857768805589861994546787647981337/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^12 - 7563004576944878957142289726971162803233177165545873285483893882934\ 6069844855489111159594515512579436660529103688912692673375239443175\ 3110026790567016635951147497537866172016068387/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^11 + 4189766048364632139676388856253296016349114934749008968522341489236\ 8140964194774017981992417192149390577738840395255367798767099826716\ 1013734089228886753002406827339068343611259456/42219931992877834322\ 1075196201821864194110813908521769844544382091616127899029993858201\ 4135381714361705596696044268796824939666488192515106626657462182058\ 018880803921718586501*c_1001_8^10 - 5522109089760223092511604045640925124882020071965585467077546327805\ 8587877999272762796168851011681621311005571548471915314390407241740\ 493916053253119018946301611227020191346646759/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^9 - 528544415869161995377539121892470\ 1704324524349653779363990222615387476726687870822727442613568291860\ 5046647551209752828291177434209899055618845750126517383986438346830\ 686668411721/422199319928778343221075196201821864194110813908521769\ 8445443820916161278990299938582014135381714361705596696044268796824\ 939666488192515106626657462182058018880803921718586501*c_1001_8^8 + 3854556078959235964189603835985638347398475434571859676319367160559\ 9737806780469179055668508019037244994622610099808503502060109623046\ 653760967373875536379623053469524004481847948/422199319928778343221\ 0751962018218641941108139085217698445443820916161278990299938582014\ 1353817143617055966960442687968249396664881925151066266574621820580\ 18880803921718586501*c_1001_8^7 - 773996632729283286119216717474351\ 8666364635983895232260289627303611518195666665142819493234168660555\ 2908383255867233170053766210169550346661675059087604612415058212718\ 39476525925/4221993199287783432210751962018218641941108139085217698\ 4454438209161612789902999385820141353817143617055966960442687968249\ 39666488192515106626657462182058018880803921718586501*c_1001_8^6 - 4019562266339159970036349482113806657305017907714706109838940166189\ 9910441470078377123548223995880822786556957234076982285289930542739\ 80593674663969151644844263278788344878590490/4221993199287783432210\ 7519620182186419411081390852176984454438209161612789902999385820141\ 3538171436170559669604426879682493966648819251510662665746218205801\ 8880803921718586501*c_1001_8^5 + 2206895301114522472590933850375500\ 3587657047196485731317359674757516319664799117849490859749872982936\ 7775423868203719697573553516083794167535169002151977476000461340930\ 4003622979/42219931992877834322107519620182186419411081390852176984\ 4544382091616127899029993858201413538171436170559669604426879682493\ 9666488192515106626657462182058018880803921718586501*c_1001_8^4 - 2527253764464923342300758582158205873064821862269266240283743663008\ 2323863116814294358064886205286395190305627482288856303675668047634\ 7387928133694111162980210047995836660407033/42219931992877834322107\ 5196201821864194110813908521769844544382091616127899029993858201413\ 5381714361705596696044268796824939666488192515106626657462182058018\ 880803921718586501*c_1001_8^3 - 23839619875060918589703138344288659\ 0661512586114203471624305105899515076879071183291391746326485499561\ 1611668671889261569830638926866808568757481438412160463036061644342\ 16780679/4221993199287783432210751962018218641941108139085217698445\ 4438209161612789902999385820141353817143617055966960442687968249396\ 66488192515106626657462182058018880803921718586501*c_1001_8^2 + 5680606728584164171779008277983946119777682228792347380726357975391\ 2920087147327550103649805971007614196069619378353367943642871185292\ 66589124809440999325643977941000369034470/4221993199287783432210751\ 9620182186419411081390852176984454438209161612789902999385820141353\ 8171436170559669604426879682493966648819251510662665746218205801888\ 0803921718586501*c_1001_8 - 236263538793215293897510430528408478356\ 6293068288164673795483108941418887288133811630682835151860431454316\ 4586993647343435603608017753976761983786782770451215481414449548944\ 52/4221993199287783432210751962018218641941108139085217698445443820\ 9161612789902999385820141353817143617055966960442687968249396664881\ 92515106626657462182058018880803921718586501, c_1001_8^36 - 367/39*c_1001_8^35 + 1325/39*c_1001_8^34 - 5*c_1001_8^33 - 11075/39*c_1001_8^32 + 8764/39*c_1001_8^31 + 114310/39*c_1001_8^30 - 222386/39*c_1001_8^29 - 595102/39*c_1001_8^28 + 1710239/39*c_1001_8^27 + 2492666/39*c_1001_8^26 - 3095709/13*c_1001_8^25 - 2255133/13*c_1001_8^24 + 34342690/39*c_1001_8^23 + 11842994/39*c_1001_8^22 - 93391972/39*c_1001_8^21 + 384817/39*c_1001_8^20 + 174795427/39*c_1001_8^19 - 51561635/39*c_1001_8^18 - 73210095/13*c_1001_8^17 + 142958435/39*c_1001_8^16 + 143979218/39*c_1001_8^15 - 167918302/39*c_1001_8^14 - 16893398/39*c_1001_8^13 + 33549050/13*c_1001_8^12 - 57242831/39*c_1001_8^11 + 8793332/39*c_1001_8^10 + 6711929/39*c_1001_8^9 - 5404831/39*c_1001_8^8 + 423558/13*c_1001_8^7 + 34420/3*c_1001_8^6 - 289954/39*c_1001_8^5 + 15446/13*c_1001_8^4 + 29131/39*c_1001_8^3 - 32/3*c_1001_8^2 + 763/39*c_1001_8 - 25/39 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.650 Total time: 2.859 seconds, Total memory usage: 64.12MB