Magma V2.19-8 Tue Aug 20 2013 23:51:59 on localhost [Seed = 1014650678] Type ? for help. Type -D to quit. Loading file "K12n159__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n159 geometric_solution 12.11343445 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.371341063398 1.164142101733 0 5 3 2 0132 0132 0321 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460890143490 0.423253049121 1 0 6 5 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550036511854 1.186542324337 6 5 1 0 0213 3012 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359143606566 0.665057264965 7 8 0 5 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 -4 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673488280501 1.058276826220 3 1 2 4 1230 0132 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 -1 1 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550036511854 1.186542324337 3 9 8 2 0213 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.266201235714 0.862800879856 4 10 11 9 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.300879449812 1.357330542941 11 4 6 9 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677907218194 0.522436763299 7 6 8 12 3012 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 -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.467463474046 0.455928848410 11 7 12 12 1023 0132 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.179871101535 0.616509269208 8 10 12 7 0132 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.417925742851 0.955852459796 11 10 9 10 2031 1230 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 0 -3 4 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563882546649 1.494795162531 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), '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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_12'], 'c_1100_8' : d['c_1001_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : d['c_1001_8'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_1001_8'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : negation(d['c_1001_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_12']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_8'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_12'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_3']), 'c_0110_10' : d['c_0101_10'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0011_6']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_6, c_0101_0, c_0101_10, c_0101_12, c_0101_5, c_1001_1, c_1001_12, c_1001_2, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 1920758535369551646154785831422708442133772235386713552626645423757\ 19038639268072617284308396060816543343328487524518038843706880/1777\ 6547550938200699215018922817510835192757292876493294025029332746944\ 4062767069228284004903303950173641714553595781607419673*c_1001_8^34 - 48148170074061853520242067308525584471513129839753149416200987315\ 7678174035151742094862713339029759033037931160478701395270851264/17\ 7765475509382006992150189228175108351927572928764932940250293327469\ 444062767069228284004903303950173641714553595781607419673*c_1001_8^\ 33 - 18789573266334755369502630463028461708240642810495486178882635\ 0964475001974771848945542565373770911002680716502658789243612126723\ 2/17776547550938200699215018922817510835192757292876493294025029332\ 7469444062767069228284004903303950173641714553595781607419673*c_100\ 1_8^32 + 1252792241254693135535398066257309859577733552907984351715\ 9214383378640419289664883821422496525554632549679519082762490396104\ 97104/5925515850312733566405006307605836945064252430958831098008343\ 1109156481354255689742761334967767983391213904851198593869139891*c_\ 1001_8^31 + 3710025479202684073372047116695160332604923411678001929\ 9500446523625857635460596037653644270724237175655250140132616451883\ 98090448/5925515850312733566405006307605836945064252430958831098008\ 3431109156481354255689742761334967767983391213904851198593869139891\ *c_1001_8^30 - 1121079526549370895059236249728925831945251919595505\ 2747809902730077532389867837174521064690454081014577257139802804214\ 692296811116/177765475509382006992150189228175108351927572928764932\ 9402502933274694440627670692282840049033039501736417145535957816074\ 19673*c_1001_8^29 - 25617403216532538191806709375503548340389018238\ 0695855795043950518453260916332755727856485965662803468446360990159\ 72741208605090200/1777654755093820069921501892281751083519275729287\ 6493294025029332746944406276706922828400490330395017364171455359578\ 1607419673*c_1001_8^28 - 248066869979018296714531912341530843003029\ 5308522309397168855190365002558782700597009911141227013912331871468\ 1920082360527006518240/17776547550938200699215018922817510835192757\ 2928764932940250293327469444062767069228284004903303950173641714553\ 595781607419673*c_1001_8^27 + 8115233980004641776266219665274566168\ 8143066344770945220274755917518751049256160852331940315209899295255\ 8493132968960835258938610/17776547550938200699215018922817510835192\ 7572928764932940250293327469444062767069228284004903303950173641714\ 553595781607419673*c_1001_8^26 + 1033564130644809447602007523258906\ 0954099123274258504382771212467684509191253885735273531861003201979\ 095361377920814780232594333277/711061902037528027968600756912700433\ 4077102917150597317610011733098777762510682769131360196132158006945\ 66858214383126429678692*c_1001_8^25 - 2176034029504874005609242024368039360505816210345376456691268662694\ 0227679160888117220349140720771969958303334751489055004443319156/17\ 7765475509382006992150189228175108351927572928764932940250293327469\ 444062767069228284004903303950173641714553595781607419673*c_1001_8^\ 24 - 90550132660987260915734432777201500699668114959306372157089172\ 8939022301606850025247924588126618672713074107089260911055675522724\ 05/3555309510187640139843003784563502167038551458575298658805005866\ 54938888125534138456568009806607900347283429107191563214839346*c_10\ 01_8^23 - 130562703066653645454144336343045104372864527067831886358\ 0060395988543393409596912600646364526829403337943836925109736053455\ 18647425/7110619020375280279686007569127004334077102917150597317610\ 0117330987777625106827691313601961321580069456685821438312642967869\ 2*c_1001_8^22 - 165151874744910134888409667696809560990973944524077\ 3306431013625497547412623037139918479975387353920629899269334048917\ 2296861397069/71106190203752802796860075691270043340771029171505973\ 1761001173309877776251068276913136019613215800694566858214383126429\ 678692*c_1001_8^21 - 2695513089179676288178138415390545896941122110\ 5708139358979420630885157786448590020524703860852744811546584892465\ 879235853946713727/355530951018764013984300378456350216703855145857\ 5298658805005866549388881255341384565680098066079003472834291071915\ 63214839346*c_1001_8^20 - 70841127461467913325198649151533550559708\ 3946535673016193395296753055755169256018850977775359975028695099469\ 8448822377712468410261/21547330364773576605109113845839407072960917\ 9307593858109394294942387204924566144519132127155519939604414199458\ 90397770596324*c_1001_8^19 - 91653384958373712605025042292990844645\ 2114288198850928042332879877561675271598389257457017225889645657028\ 888271027163262238984625/291418812310462306544508506931434603855618\ 9720143687425250004808647040066602738839807934506611540166781011713\ 993373468974093*c_1001_8^18 - 8287375581476879032444393840179380638\ 5296587236741782333622586066122227670352069339224999188305596310082\ 39019657089097407641682239/3555309510187640139843003784563502167038\ 5514585752986588050058665493888812553413845656800980660790034728342\ 9107191563214839346*c_1001_8^17 + 326283940129650888314843675773104\ 6107973759524671754468116162377253554333789206362937866014370121727\ 3060772102812091117843165868785/17776547550938200699215018922817510\ 8351927572928764932940250293327469444062767069228284004903303950173\ 641714553595781607419673*c_1001_8^16 - 1792211098602736415100652036999216544724588608277180125559352372764\ 8501195956995392664984574026434768427645781460933573376454713887/71\ 1061902037528027968600756912700433407710291715059731761001173309877\ 776251068276913136019613215800694566858214383126429678692*c_1001_8^\ 15 - 45686818917747238914129540829018302490734500070746816470952262\ 0540997665037872939611970079673758827425563325576235707828149564568\ 03/1185103170062546713281001261521167389012850486191766219601668622\ 18312962708511379485522669935535966782427809702397187738279782*c_10\ 01_8^14 - 321440887665093809563491272755033813054649886427121024765\ 8255355186154179171217361207361009052470751632444895259987264346430\ 72075353/7110619020375280279686007569127004334077102917150597317610\ 0117330987777625106827691313601961321580069456685821438312642967869\ 2*c_1001_8^13 - 468175465319698367970669310408184724397213953894947\ 9121958812811231970202010513060897493721827694441460626003261265299\ 4162609383793/23702063401250934265620025230423347780257009723835324\ 3920333724436625925417022758971045339871071933564855619404794375476\ 559564*c_1001_8^12 + 7588098008949022938677945391276615949907889527\ 0907038809566980471736516591701307937499736127987149739970231016252\ 7077517685428657/17776547550938200699215018922817510835192757292876\ 4932940250293327469444062767069228284004903303950173641714553595781\ 607419673*c_1001_8^11 - 9045249569188692826546237433451800599622002\ 6359074391880255161711699013676582244228213822338876874110353284079\ 555692814502082425503/711061902037528027968600756912700433407710291\ 7150597317610011733098777762510682769131360196132158006945668582143\ 83126429678692*c_1001_8^10 - 11648335134063623382302057796288712370\ 1622629430884066693171701331790105971379034573238031534617430818765\ 825811034857778581611050905/355530951018764013984300378456350216703\ 8551458575298658805005866549388881255341384565680098066079003472834\ 29107191563214839346*c_1001_8^9 - 894094809622799924725534192948390\ 7388487035349047534055330047599952737270769908385736927332121365972\ 0121398020788940238338434147891/35553095101876401398430037845635021\ 6703855145857529865880500586654938888125534138456568009806607900347\ 283429107191563214839346*c_1001_8^8 - 7711288757998151754335684662253050231396632940894146833084170894728\ 98836757490557956022590353289485462122235663152862119350143097/2370\ 2063401250934265620025230423347780257009723835324392033372443662592\ 5417022758971045339871071933564855619404794375476559564*c_1001_8^7 + 3427376627935314706886768546867313147212246498889220776536063722765\ 7420346002269882311555912153531520254340258851176223846278590537/35\ 5530951018764013984300378456350216703855145857529865880500586654938\ 888125534138456568009806607900347283429107191563214839346*c_1001_8^\ 6 + 115901254651937929770736347121489968214095576773109819838150667\ 6016065886230068606655095027634479757384993739916744013726059773653\ /790068780041697808854000841014111592675233657461177479734445748122\ 08641805674252990348446623690644521618539801598125158853188*c_1001_\ 8^5 - 1215634924733337711983269993481917964435000482256853087354631\ 8068708659640800276835159507807697621269152260212128853709265622806\ 49/2154733036477357660510911384583940707296091793075938581093942949\ 4238720492456614451913212715551993960441419945890397770596324*c_100\ 1_8^4 - 84185972178860088825619544815296101162632180058110199608829\ 6543120311789919119641491239594149585323946076651446649991216822660\ 5702/17776547550938200699215018922817510835192757292876493294025029\ 3327469444062767069228284004903303950173641714553595781607419673*c_\ 1001_8^3 - 13248105125939139470058102075086575548826402253325052937\ 9762376544257840213253602852176626107233724246645160530000602718850\ 60374853/7110619020375280279686007569127004334077102917150597317610\ 0117330987777625106827691313601961321580069456685821438312642967869\ 2*c_1001_8^2 - 1512928602917078482290546658542529864806146763935379\ 2032059068123949827122725360072140981722614958935759687835167987432\ 57335632177/3555309510187640139843003784563502167038551458575298658\ 8050058665493888812553413845656800980660790034728342910719156321483\ 9346*c_1001_8 - 417010449503437650299401002192274232718024357648652\ 7855933381221226314697358482817563282764998860293683747678085161614\ 71952950573/7110619020375280279686007569127004334077102917150597317\ 6100117330987777625106827691313601961321580069456685821438312642967\ 8692, c_0011_0 - 1, c_0011_10 - 48469904855181450951948448836785221381819614849144000842624\ 4642198105630621670228059910504238479510536835547259098828544/13490\ 6901858086505165972413259700770554476070190078799217001186415218635\ 6903118861251766385897319932409305030421387288417*c_1001_8^34 + 1939211644398089122585115510452176490104767891854059512936177343072\ 840775804212276508107077620516258630482772507898609024/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^33 + 2388039240258455287246067667214193727147771227881675341056515317828\ 946423225434311285549110742452848482346124050250282432/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^32 - 1506236604528155082445236807780950025793100366226473487237505435172\ 1994491852174123751609999217287074710649216108997159616/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^31 - 9023408161251229386468424455123960949918248466592315508808442650292\ 951590579023587844878055362687687886406910692493136688/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^30 + 5812728576365455751494132421512091036712834917239963727814250918392\ 6457957368768293794987324646402613041511207202906839392/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^29 - 6016876959672245038109846255680655501658369617568211288868803131751\ 002266696092931315060213940632355131579636436125454144/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^28 + 7257698441805512045046936463288540959082586877237013655610824673139\ 356726156785340127482529121454370015461489325834425888/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^27 - 3130760316539750475503602502063705339521401289674866660369489626967\ 3765922924319770335322101631529454116113439777912511091/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^26 + 4165963569761529977668420198932055404753360391423215640866693269947\ 3489019134623440100682710035670106354962418299499475544/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^25 + 3748723429223619470968880420700199621455992105625990420383412609945\ 8647173795209264827828144715537165079696509138201751726/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^24 + 3016444462740562569134054021405420277310971045812008928052609990275\ 9149158738493565734484148290696145617090068446238084890/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^23 - 2483972737889897504924399157857000722030828305164749262431032920719\ 5899098889873485194159270250247506989726875423903252389/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^22 - 9997700022432747981082274457050701333807531332136678449385714758743\ 80984038055686081723218524551467627700636414854923594/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417*c_1001_8^21 + 6579662442561257905485750802250290073101567758009564539136560260217\ 9152145778233473856658736559205896837728352401714825757/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^20 + 8028039377401541362287143231660030049371429670456116118614947782783\ 5848398424055567165568649173134017635138532217419899151/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^19 - 7022149802618800626342742413118994784178561536906089588944878469947\ 90048772193985253878458073588401717909959886839350885/2211588555050\ 5984453438100534377175500733781998373573642131342035281743555788833\ 791012563703234752990316475908547332597*c_1001_8^18 - 4233277274100260424009001886574863788620475021240352125689336645575\ 7403732982464730425707077430576145390062812227809615625/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^17 + 7550361795950939169269534371414416640162645282515335698884628879810\ 136148178713625595751736563080949785076145980193570492/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^16 + 9202232971009231857497004126656931654021606064057813525429109270222\ 7389194757264826215432468870617875652931966196705998698/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^15 + 6272179027260241767256782900970006136182231753437029106842562210508\ 6887768566981494334112837702693697635918644146668563916/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^14 - 5060279344093350944799587484240597989730320268391395547549957543403\ 055890393981863361278929470868986217342039500559107958/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^13 - 2352493450252684535714944631536957200893511938129155510927374062960\ 1311015682326644402201359874308756998050195399620156334/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^12 + 2789741340857765736140012309524459890873306571257139000396772700919\ 8126276186053783757828554406631805058718649601659340211/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^11 + 8233007558645625873081461739547926361887705751165433215222747581503\ 3077493720101713591076575544640797679272879740962520338/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^10 + 3181198791505266995813211401970549518089443061428851910422726754539\ 1423887669042634272338262931617852383492992634420548594/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^9 - 3495241312153160309609328221464653092409377815769877272432566457665\ 6407719908928683462088278514306201754937127343269244196/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^8 - 1887261899221272990429374374347546056126393745978696891402054900602\ 7971223061420660462942493026071088326519166644157466444/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^7 + 2596639235533525350400167839148067356279775391330540215654745989403\ 7056186068778841922319851350296821172828428175880306309/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^6 + 1711867194801554252551565017928076449226471783718671509453263745804\ 2227733756707930838855754088569638024479066576718773372/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^5 - 7153983966719508740482249182268936303388701408992016662160100019358\ 057790102297029199642916478038945141180515832502133534/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^4 - 2558808730410662517238151317064222686595438561312599671067250666501\ 332221257684351989368473750089904235910782943020218781/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^3 + 7397635607086596741877059557767704940491734980521749544276847517357\ 689221529108398270339490719727856661615082607251710924/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^2 + 1082081736502882408695015707429222332941655217617162128932665941614\ 156732947724789548229315056208232778062799050009565545/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8 - 2125312675598198343736644319457709083873911805945389809960858762547\ 50759302134567072801607533336998010210647035202771733/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417, c_0011_12 + 30909832402907585326014556697051123345320932311593862031355\ 4176810638418773582373114565394069949511664450336072433887488/13490\ 6901858086505165972413259700770554476070190078799217001186415218635\ 6903118861251766385897319932409305030421387288417*c_1001_8^34 - 7620466960213413141819810871199480751412599142302092522148587081858\ 99535811778491525415408679548210958547239084123837568/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417*c_1001_8^33 - 3473871991548963566934443653676231701096320293713420749138241444852\ 930303084128519120329136360181266032265168491643331648/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^32 + 7643657289804799712774775788718909141116595546733573493332793225010\ 346471641179351312278240612550880358387665379278571584/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^31 + 2000791259822192867879089512456724433247190715892727873258088201990\ 1100725664365434427883116959394840612871391912829805200/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^30 - 3028735707252551620233022539537886676272845566582926260993175704319\ 6152365805501106463040744022631633022834834873853771968/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^29 - 4874131344328696012929334697795443779680453716779605754158365285392\ 4656303333000013490778163115813416840627823000344649520/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^28 + 7865593122680845207779018189201101155163379986956686156574379804377\ 331157347246851497709759676535955691634682714395923904/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^27 - 7120977061395083098692817444634223130813775298575725361473750906592\ 652206636940102732708617224287737575996317723581826699/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^26 + 1731452984145949515226718548594507418263412705682680468360026891485\ 7897089821599158748476423668105117687657138655229918362/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^25 - 8027905104709743891953325012190036015645880983187929101171724713513\ 0934356763166204313061641100198694176916914346634596833/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^24 - 3598690778476128305665470761117921051632951200781497016574748183001\ 2891988028861209049869674949192881112104862346185935518/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^23 - 3172215840537133920374815253719835963301178245383494069547346617662\ 6787553878957613084496060091492001526515858251940376794/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^22 + 2538209491237464363946045861073099356228463891393489620482614169931\ 0459398714738790894166355118112958330315924077048439579/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^21 - 5350613293935160985659901437943753198008117837279096116290556716586\ 8595585988440284566636927720992483802979873531919727592/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^20 - 1068131068595559886628629073965890627905151738726389381834760206557\ 48495923837041166543271719652399653777797950000638837764/1349069018\ 5808650516597241325970077055447607019007879921700118641521863569031\ 18861251766385897319932409305030421387288417*c_1001_8^19 - 8034763037924654277531486749198854108838153335412925580748187141360\ 24531657571594373375305341825858387386858061708701457/2211588555050\ 5984453438100534377175500733781998373573642131342035281743555788833\ 791012563703234752990316475908547332597*c_1001_8^18 + 5598067448227465980089688995143693835581043924939794904679104732537\ 4981216612628362833895739327959604245244666160529568976/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^17 + 1631755832449978943202359988673070479758494189631993492444925625215\ 9881791936318328669367541846886238490768276516877207128/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^16 - 5446053985621376639335047027307078791911661504648690670199354008879\ 3590026742971052983441098690326517875975442269939281866/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^15 - 1275389386130214721903069150491133108654749020214132853326398581888\ 14397095676964913913216714435835975029124670947650679450/1349069018\ 5808650516597241325970077055447607019007879921700118641521863569031\ 18861251766385897319932409305030421387288417*c_1001_8^14 - 5118632249519598450474543319850537950631998779335985363119284726929\ 6799285321636567691265687149692709931442689787580121228/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^13 + 5184769494131086110847109844524732271948198322665602131716756824241\ 9513402591663673435665995689693128103088315937945384/13490690185808\ 6505165972413259700770554476070190078799217001186415218635690311886\ 1251766385897319932409305030421387288417*c_1001_8^12 - 3403841098053653705392982912577953520519252967289067342133745671584\ 804480336313286481717317946638122354277269268822801184/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^11 - 8085574556307732487584843429621698549617560069108549106804497682886\ 0448298749801372332693854605315360184556446031327600823/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^10 - 9505432221158003643037732384839450725951355600098565632138222726706\ 1877945607913210130846180231451893988561104663260352133/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^9 - 1199637224753654324813695340650221605258844450338206924077884272194\ 9307381474638443012431085426989149289890507897863251675/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^8 + 2590120519854786605967164175647016961460245263285789167063417576327\ 8499483480360049589157299158997602893386539162640397059/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^7 - 3635284174642365861297527637290665080015784906456333755399500268075\ 860514790577667029572850736176407481617380769731560968/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^6 - 3164054220254566146469959894554984389746157852287525674971241779053\ 4939119880588795557308647630062238192289056944906098487/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^5 - 7981100239504432116771064144771850848193937325662431631696231032443\ 363699740408186166880421501837073322696430613815795670/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^4 + 4480790146707564303745102866013132906291768938502856828893828433545\ 779268563861937498727717667736188387247494454408682368/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^3 - 3649704207926970510359167166319187115814081678955276214680081975128\ 759250981540341093245720535768448025736185488229737787/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^2 - 4300781423835635829420414107765074768539862737829233441396662127457\ 742637345990763613751231561674579383248397423564175539/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8 - 8747438176067885884147662217748297645746371561060437360180158502015\ 09711329728007232399531888763646701758874428749398540/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417, c_0011_3 - 710219728715454669151498311776230107480330220377073714934510\ 782253523739175502208761348634130132674753324177561367026688/134906\ 9018580865051659724132597007705544760701900787992170011864152186356\ 903118861251766385897319932409305030421387288417*c_1001_8^34 + 2900821889845189748279076290695005661305556825912678099575961975289\ 068321490347978695009486538223834907136569430969016832/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^33 + 3204182655037302801451718848960406457846665767805304908555418372287\ 463720037524412390880559482863625203021601973250081536/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^32 - 2212983172369676930591237570655789020793143817844406780626357500051\ 7508718707667900538875369233873619083513064805936839424/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^31 - 1108511075411325169333034511838480685306213396666721503290131020792\ 5130306633968151655763623166227777252956688140100402752/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^30 + 8437307711527336002393351349254426970859006633000729157106495434950\ 5188074595213760831520737353677328619503259839310079168/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^29 - 1691788499894793367690541849924683194276661380373460215153459779398\ 3178504575862644361428052918942187931454261534619005536/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^28 + 1900362211192207910905416002283366222724779442275184203298041295549\ 5120741113124826057461026070227268518176765600276220480/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^27 - 4822523085027207554519371395764856929837309507081451096929401602620\ 4126656988687859326147987098940997162473053921523297260/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^26 + 6350503979548228803853233769284530697432602913657931398885480130612\ 9097069967602695916049557752692341819520910872832665932/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^25 + 4943947294784805671614584045480726341877275576837479257188039043864\ 4889630729629246998756083475329087281213383907581376922/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^24 + 4180709636711000913740483408404213102191035058714717969910811720469\ 7079008103692947973546665255720696819364569241929932760/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^23 - 3476222234038554282981032439937818917162226759279556378851212517637\ 2492341308574701803725179188811799000000382356153059460/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^22 + 4186654717199710318111948591660973442706866679301775299853799694051\ 456550791086814033576694714410482232319034946874640262/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^21 + 9096484825385561093201534794720441264526479438455280082602247836780\ 8647576807307333200397506504423045817969795344857216762/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^20 + 1114321635757505520875060649356582145174438975871378140283566495929\ 64834796386916120945872588078195217239220069950673770350/1349069018\ 5808650516597241325970077055447607019007879921700118641521863569031\ 18861251766385897319932409305030421387288417*c_1001_8^19 - 1099376601083149024742250793319420522443715550262202494176920688505\ 288030330982721652086145770849206932390839786559153984/221158855505\ 0598445343810053437717550073378199837357364213134203528174355578883\ 3791012563703234752990316475908547332597*c_1001_8^18 - 4660605608917838384646717302081399552998133328217494932299288726875\ 3178328263644731454529958263763358212786863949185236764/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^17 + 7249490294152321867982826256498575697628535373166441624057223179289\ 890034302733536628422464402066753998372912938935114294/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^16 + 1299775083056982337813620279181859286610648627429060981143871590075\ 96835167178937271699348621690757101729332479254292431246/1349069018\ 5808650516597241325970077055447607019007879921700118641521863569031\ 18861251766385897319932409305030421387288417*c_1001_8^15 + 8261105014182649362822875691965342794071574384445563080958814143889\ 8883370760893659325171351013363392617028364234881109468/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^14 - 5750330874275952126860493336820868003334569268398508616015972380759\ 279168089254285097024704097368737118469369601698548456/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^13 - 2855055505780087334789771017714480362634273930165731851371793911994\ 0169022293747626042234483431053218550040035132470048828/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^12 + 4272709711359168754210984190308175669455564091757712232947294130342\ 7752077601116620412115274006648376321569040310311764098/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^11 + 1126205731124814493492386653902744521382749447114793328828147646227\ 40265953997070237860363631287579891156724744983253628644/1349069018\ 5808650516597241325970077055447607019007879921700118641521863569031\ 18861251766385897319932409305030421387288417*c_1001_8^10 + 4211706690984866778699563952452492342404033045647782474331016599095\ 8922470580308855280115235626782953477308719785504761677/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^9 - 4731637965645542609273160104183606286190304578055857161468041620777\ 0346575858833293196749407815562870846285692880005291991/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^8 - 2091638499835262051228686805229191948206102654455503729611073823225\ 7442764938899556037020007075816543294299689987853450792/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^7 + 3434469463830549595611965376953592702176107488170018698484111412307\ 9187934795536394993414975044154137303519652895196986548/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^6 + 2075272986486718694118823670656675877043519642788557346317260131391\ 0402333303195577726811826700187373142780982120775448464/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^5 - 1226865741614848455409747256767409048942961700510482948418277467741\ 3354003295824147702378996956200645768491037024748274014/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^4 - 2158102015385656466966595903104261773846924558249661787290975317900\ 776057280317272886288101220690745100747933158472171758/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^3 + 9987510457521850003016729464359934083038145923933758699347190407426\ 536031102665721021110404219007988865706551275969849864/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^2 + 1478229297416611619285086584075920216318682145661006123029728082022\ 549893311945988657609530945546011836281254296022687755/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8 - 2234817978217847751932056158337794029367899507739531163126196228825\ 26577822004632673763295145919632390148023799557131012/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417, c_0011_6 + c_1001_8, c_0101_0 + 470844784219336666853831124504301013683877856091029380998508\ 057731870849552034769317539277596797242747221346962645219584/134906\ 9018580865051659724132597007705544760701900787992170011864152186356\ 903118861251766385897319932409305030421387288417*c_1001_8^34 - 1912819979697811764279494376689984499615781536154891202995973018075\ 840154362429067816285169565818688498228644728479809152/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^33 - 2258615186128136429306539018344330552352730508005392416228775699438\ 147582059634036787870161962079633793836552583546392128/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^32 + 1502657571317168810248050896423273011879601345675745411237699479516\ 8632164584961180569424456781052959880462925464421944896/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^31 + 7950369056765792381593073711535304667726047566979941022388999461357\ 256798633522936256005236159582199177454694912754933712/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^30 - 5858680850522177541489380640149834726977102892458957259802320961877\ 1062690413205208551927352266664347638739328974658086688/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^29 + 9295722271151998288338274153778761758065406149202849877417646822899\ 705382087698382590457490027804504330192311239707546208/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^28 - 2054965671003879038510164626288697996819413424399122449009742676858\ 172352691609966894420737721968537642933390365643219264/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^27 + 2718915123482993155005587470431713954833872878527555445818844049903\ 7369007318382171876570400358624537719064205780762462325/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^26 - 3491901434804951320499934893138758600634419984180520526420293558572\ 9637081140587857001204720399496546859031629384148332912/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^25 - 4548178695181874589575237301278663351209902858646626872716161413515\ 8810826924251599974024092406662066923538932671969879536/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^24 - 1230964377717206661870152346729414755004853792687038851795499685123\ 7218397692334882301245057421203557610113120010675007936/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^23 + 1917013364375370906385515656132151324864717679294791076838695223307\ 9600188886833719523390916300260122035410040111431280447/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^22 + 1054350426460040509724534023087303756193653283603400696978333636941\ 9861461019264140096111581500599630870476694273908392298/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^21 - 7061796428618609748110159896446337783716225591383095126013758304505\ 8856549510914394394078799115597324932945781869595145564/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^20 - 6981472101502563306766714623338482300354478154725803450252289365756\ 6577066059134289587845547548103101960375252777565949019/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^19 + 8514480010900644178707793421969409012910518007096149982224271525026\ 09456547017775791126169985562564964380742471108115884/2211588555050\ 5984453438100534377175500733781998373573642131342035281743555788833\ 791012563703234752990316475908547332597*c_1001_8^18 + 4557002822943271350708910488127592658339153749138219589292207682372\ 4737352182076680810171673794331155517549618660500546499/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^17 - 1337305649928343997565171428753245769630089874591042779898204819589\ 2555313922128547890190243221003369621963694187873399592/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^16 - 8864380147921364477874250328234366557986499487044072093906551350309\ 6503073077000829055407281183169196157269758902825779444/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^15 - 5857453362711311928031455763510195177020448587654068607299671814613\ 9524418177914642771824398247244920823720480539967955568/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^14 + 2268960930933135233485324840471988928371116002502661197818002175179\ 9941750179486525521135097183914350543585928430180493382/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^13 + 2303263374043308645603177163402619315407319423101345491363175807871\ 2994561428568579599453937789481893827116714064127850926/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^12 - 2407312573629087834385711941054014866340413300075421500705948416424\ 2465830332401822601767593264078177647562817433433740882/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^11 - 8115298714019958897874940575472665156477542994816577122514602533910\ 4529259949995928133090192929691454478771197620235267617/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^10 - 2232343351000683252284997573206916021539743911327250375470201968700\ 9292743005683435957586754986483589229420316715291281335/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^9 + 4367984236543035050315982247610181135581827175016396477978823899732\ 9956967544032472132623165464744977418627860332080536839/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^8 + 1821416179304309629001148232657763786296925470236656633895634032318\ 8755692170926951521398407755130602496882081287887039732/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^7 - 2696478100865753768600440392406041927494821484754750930305393241569\ 0292088122949026768172164954922483764276311891579890451/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^6 - 1639420628848938588780854165807746677387202549750586412151890288839\ 8569109872001277527101180113543549271996498502543515888/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^5 + 1174939298813212962470725067545384368587446319621279393209374756376\ 8357916674177853385584113476090427851923948061576685084/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^4 + 3970253622811186835474676568923953337063751708158457311469023796690\ 628130609374361828851903991901484844324090406025059914/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^3 - 7349596500292986258057767565322031861624157462950445020349093600573\ 169872864054644737718536153368974768153397959238180567/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^2 - 7063564211110345326037443725145834624959400468346581832996452051263\ 67627355831486107613884366662736484852298973361126920/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417*c_1001_8 + 8498093730841036614780558478674738564662515738515113023232438566333\ 94232176295552829366102458083335044396527277946709230/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417, c_0101_10 + 75350224898486325638139729880541320821281836691975012033872\ 9982026396423031029427579555917518188254745499090308926853120/13490\ 6901858086505165972413259700770554476070190078799217001186415218635\ 6903118861251766385897319932409305030421387288417*c_1001_8^34 - 3356454224632312214900335581280290925969147745213924645620901318624\ 626108076022913933210874297447305803421874290636685312/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^33 - 2026875810312075725256399583990342655785651551280909971368962306019\ 718321703596277251102110460659623833198932731533763584/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^32 + 2372954305203608391310683531549871590249939357044290282582111919810\ 9607702772747553989740595581083824223279844005594788608/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^31 + 2268939136159445433138344450420062011154527466314830322913046435735\ 605853198692165780886245074673687058004147342898034560/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^30 - 8649706258086530556771814054063495321414899807530634627757714791128\ 3861292681602205054174325124964489349008387843222399168/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^29 + 5288908462998629373702694356696866211594604364711739193680498719110\ 0843929220980431301787825506756652626887904418021436736/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^28 - 5409196995861069450839644571578812189915467248293114738048238600965\ 2984808303905204114204812182911530584129320567792406928/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^27 + 7094744068733145562568668692627962310448274491829503897224572992570\ 3824747452973123417386206273706883063322122832743563840/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^26 - 9897990678694005130679973241076707167424396480267403912572049816242\ 0772850928565611518465313723345158829878203018430590376/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^25 - 8819488987448179249936910233099463370889569243713152283573027002120\ 004957601349149871308163170806894569489537084154023020/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^24 - 4787800743573657579977014603700202871047214573351281852440399034614\ 2189879862864508897778104535818895026116796805053689857/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^23 + 4043735643486347802360100778094366216058886129490122140738261849966\ 1155100560812366366672114972368011633711119862189940733/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^22 - 2317429383409356336873921054413554720723989572466976620950284633899\ 1408043936598398765345562835254488538280398457527067853/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^21 - 9321753528417504645223635980559656385506865964065404336680946493339\ 4585990380704362872064504736316191626506557025547002016/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^20 - 7556068812454954580124200415965485085817957975895174224174200861571\ 2442456088651790541318581758945855392678811588629323830/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^19 + 1268928907291602607540087894589117659243961013813558043296589450223\ 516982137756527888023034870002256521986665850404961736/221158855505\ 0598445343810053437717550073378199837357364213134203528174355578883\ 3791012563703234752990316475908547332597*c_1001_8^18 + 3828174543962311309855812375331999844768401468896175794586108491727\ 842499763465473836278579261482311744131316826266991718/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^17 - 6391283742843099378339096604390256992576788665753672565846062884111\ 341204842839289010304558463548056737548692489879139851/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^16 - 1242514821502938659853689027920616328786415992287160754389596392255\ 24191575399637968695643452013922098278051262478197782584/1349069018\ 5808650516597241325970077055447607019007879921700118641521863569031\ 18861251766385897319932409305030421387288417*c_1001_8^15 - 3883697292916972165365758176540944902160333444724486520360334624397\ 9863341003420496371124469019956359607476849941202978408/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^14 + 3050168192464580129657378466738421041566447779028587346216653430979\ 463011430630532633686229934241841810250442061586395443/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^13 + 7946152477944726408512014922230971296549325494770581362488871050824\ 105785552454451202547852221426215786088082299062550717/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^12 - 5127610719601952417781136741633731051904811874444647961481937572356\ 0933512573541560722936079396018094775132018335749382045/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^11 - 1012708496641542588561358675035172065104483545575632493829153580222\ 62136822784615952630823279030760869423444821089464231725/1349069018\ 5808650516597241325970077055447607019007879921700118641521863569031\ 18861251766385897319932409305030421387288417*c_1001_8^10 - 8567315963588179981256243010169422148803418590550004068987326375794\ 031544667067416267771729091563435317376168612899606509/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^9 + 3198486615200236441241368839353009376196420192632704794767745040020\ 4346834405019362118567518967359768788052708674726795917/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^8 + 1391738706770121717543732984591765732991432844774553853748908497575\ 050670506491351621652088774002984466454119422796035135/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^7 - 3194271696326755616775738141768411134260386812828927381320124266717\ 6031455660538563509376704350978021571616099741871680431/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^6 - 4631663772915396215376259970836983731185586130241487476147758346094\ 844214444514834662906413431613789019543966662883822441/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^5 + 1281618623377604218229771447067765419369755493227139237204168312495\ 3532377790258840584897601451959103842552485881958092052/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^4 - 5307295701157334942381892876895668039433751985355482601314573603336\ 706045732254168837196884605001213231453928048692753911/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^3 - 5425971214720057923158830316175955875052167911332334055450199461189\ 643829307426966244011466286041499582607856033785409773/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^2 + 7719414034446816581802500551807590732225648668882572456246957906198\ 30023505016616625976365418921724430432647578901338862/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417*c_1001_8 - 7942951264659924298195386812227886660400642714855911967283191816415\ 62490293516092772992302783929233623382123321635657169/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417, c_0101_12 + 81701590605140682670580818124192643578255393295202539759627\ 42912335214108190811011757771034711745094791603801274772992/1349069\ 0185808650516597241325970077055447607019007879921700118641521863569\ 03118861251766385897319932409305030421387288417*c_1001_8^34 - 4797524638274896320253672615540607329571693300345816753177977947018\ 37138965321858915757135168269338224216913549133782784/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417*c_1001_8^33 + 1853971152377368009425663680593619635243874802902277121117769096514\ 289951018327337488795692534392561293765611057100534400/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^32 + 1872683130077812339710424282574901082751899296074229972357488074092\ 112067788127015497114671413676466390728937513944923776/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^31 - 1356166728446690893306888025827748068764757405446245213953537211614\ 1331466626006058170261162073286304052120837389337460128/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^30 - 5495306235210515142732439887701190690296589280938017830044471686538\ 430491412253363524263540512949773874263726131073147136/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^29 + 5062503372181746839071640654140391015901630824635101389015114916948\ 2483744703291670114187486104558373121134073446683838208/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^28 - 1941047758411681742834490851864124683878002462413361871496043606577\ 1320874904689383510997304248437114205397660217003127872/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^27 + 2710840797868485739423896950220230722133909068135279320083707365230\ 1844643931980146601569050409146487514183409085435563174/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^26 - 4045082039081886136156475813772620958913652443587976834103977714502\ 0110579399051130469853314613304316469161160671688712892/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^25 + 5457268010184790743116715216775721659214337125845193834208927240653\ 8433793270251177799037024656734174815173704024779170640/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^24 + 1232373194878163745522045887704447355357156734480219091543743024677\ 5814324632609466411603598791275239068478985746139717736/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^23 + 3780340500614074682653077071208072217023663522362850163269321835403\ 9849618067100369489905019341747619616840306644824803009/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^22 - 2334015493323630651943368782058135087974216269076232657399643753619\ 0571493702628284658844061543374095877617047746229154772/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^21 + 1090819522349716340066580399442454348065301360182657788645524363853\ 2382849124500116002215822919543777386492482913419647121/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^20 + 5521978316531000237480016115722841732827474673366151469554633341547\ 4363804907026142768758138364536725940964885147359156630/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^19 + 9981659288242216637346726507672373769979084222004989879041999601621\ 50819282921661236626687712469761000530952685892462873/2211588555050\ 5984453438100534377175500733781998373573642131342035281743555788833\ 791012563703234752990316475908547332597*c_1001_8^18 - 3257502433956114260107430155374569130550653168226443239212025200087\ 2526044939559455166866329704720874189482109445121216972/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^17 - 1448189139017144174564699343923981171091474648929423287930949545515\ 1139711976625455257006433848603146852299672599324466430/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^16 + 1176157297249152911680167474434595241338054476315235622609254025812\ 207973585049227924077022263347541927507831467401047677/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^15 + 7839908617959607801261128649462848773523008800439125454445616957571\ 1734562366171577595115970747841510115111749924753566974/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^14 + 3950201732159876314746972977262585987288011650071290929720412662968\ 8059018431629225875922600915765998016402634986943208697/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^13 + 7718728389830383362379161407620633302909243100231083220047186230699\ 921006925965872823944060557636261942957095379028970897/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^12 - 9478171220850329351909326947216106664295671408162940069032767662023\ 938547162677962968511436042083074268592885270421706144/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^11 + 2846662122266151768893390094302421781395397248231097856665809246000\ 9428375561915750279196226877474313217216610797675729526/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^10 + 6975939379443006319734657519164998924657173595300294803099635010302\ 9289103267223991037448349592411507323159360203815861132/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^9 + 2147833014947820859825066410535855124629840831719528196927942950355\ 1173868696978040207610706725385464957402811890265843459/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^8 - 1507952256966788935308444767847022017076950222127505877268548980156\ 5744209427264415837687782898982913564270937606641186008/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^7 - 7858872340201721630344689077076028037522787211175509384457416423691\ 738342896260716092150006643468545021945979542113681288/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^6 + 2221042871406175292243265597201332979388659298765544274176182761262\ 4164597826415317710045047998827211897472019383167682491/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^5 + 9046805548194151993470655708174942147998896094997868199103873153601\ 510456648563837414316071511830260829515641729275851573/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^4 - 4835427943132602376718012934070666848008449265485161523827856268701\ 669440019048695873630803050455223502965513159315928015/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^3 + 9701396655437866791773645046159088403975624708159492999614421708941\ 36938080836897269863918908662051929787463753894357001/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417*c_1001_8^2 + 4102942101278649986296487124795777781695582288699675769265878423782\ 810771894066505205750832203707887988396855770004433229/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8 + 5692836540874337663036846696879919955797059346109877999081115142718\ 16392066055168180198137635433968738082888227023419971/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417, c_0101_5 + 334803440695621668123815955892412606736317713275362380525095\ 824959138406076435383080825625244275244410858595971742007552/134906\ 9018580865051659724132597007705544760701900787992170011864152186356\ 903118861251766385897319932409305030421387288417*c_1001_8^34 - 1559180319633048134582131573005567010332995098075521338104118450504\ 261672758760543335523014243697792660813703884711310208/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^33 - 6379733933246951802483682386862188561820668588659923944117164250017\ 24756377717280360451402193564685400465055007690236608/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417*c_1001_8^32 + 1096910154293577219833664395595740191428013150113873338416489151976\ 8064384811392889778304458305263880682109522172277139456/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^31 - 1290118547146379339219791904496726152341888953538712944353949159876\ 076349956265023542545045274053136267426563899748295984/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^30 - 4019856896029355596403400365711550659208866633800472266124428858304\ 8456915191598995467620391338453082966359195657933370096/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^29 + 3319439581091649911829776287718295115369596331756144776030748008233\ 4475437570641166108043649840168559121116719387136397168/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^28 - 2304452442015270231617341553757801951987328088066381040714715011001\ 9526097099730554318609712920289336060616914257485605648/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^27 + 2598085787403921091932283819163349990986944436464946575496947112312\ 9575687193567847437939378509327259332440785906160091277/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^26 - 4668014626304107512554776614143651288154521341116734860369702822963\ 8401071196959293153417885525533996507863590082164142909/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^25 - 1081302844898038561295273378552047977361079579588746061409387751675\ 163511154649017996705351644860753547886232143792494929/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^24 - 1009766120150876424708142076253369507940596567895089573247235158457\ 5651316619315959839904257777004784250679757606568776977/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^23 + 1484282363640392978449774541176749954939001772305713225078384134328\ 7379520074417763762484153647087628239574519052598868954/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^22 - 1573049465116005501588848497016857010341681719591785605931549426292\ 7756120219797734437978532751073784958365195250131304738/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^21 - 4577287755951722296611316993069108141673998016629375612843005193880\ 5382714527242760345095664646322506867955147742672495734/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^20 - 2347948670812377276555639572437472759766349046981750840118360863784\ 1898223110327289258515137090678356375211621936354018483/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^19 + 7861637539773661866375786610373837223363452921766370174193871109656\ 75820924668852805974056489981438324169633398336904031/2211588555050\ 5984453438100534377175500733781998373573642131342035281743555788833\ 791012563703234752990316475908547332597*c_1001_8^18 - 1409964929472404073018387495803348725948792625187568800545805373002\ 7909217467756223151308422091308305820588665988078936260/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^17 - 1607927612264514567732140302546538346584112924791421555004986975904\ 1303877003802317614346905706472576312943409120548922901/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^16 - 5259379478120954865155531783275906757456478325430428346479360083489\ 3144324525289323954643299602449739008892180849203791403/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^15 - 6323197566311733680808157151556685036498929968920689266132438862731\ 2583291559820940275005931586971398647698653266146336/13490690185808\ 6505165972413259700770554476070190078799217001186415218635690311886\ 1251766385897319932409305030421387288417*c_1001_8^14 + 9344058866622210324595305070694062251137695403997667455374099463780\ 104024875501398438907167756002780165097508007108829880/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^13 - 7418920370741016414713835722304351586690337337151897394070011785679\ 823715215899443707543309211820731423100751733844300714/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^12 - 3169127082676865014687998365260867777395203049683370940247738173898\ 9689347038551933023214941893130723691738385278776999518/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^11 - 4159950513512722097437916991797411538867912045428178579279669440446\ 5928252740057166197646345164721745515017109006419226935/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^10 + 8843399159370125417527048790280815667014147365911979263968106463075\ 727621781237889356806268544518641769020407376458820871/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^9 + 1685615305591752876071304369689536820862493486622588227946661799327\ 1957618291682743402872460223023981960426724061283312472/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^8 - 1531200570894648367694552676374142895603701888340680792502265462962\ 8824802876607946869970848499156199962013748296154864734/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^7 - 2007454651680078720119148528672993161062512012866862518722753443593\ 3037837914598455145516383979522261804185140270684065960/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^6 + 3491444845994371156100791723237848891787712457505389439356162407718\ 173797222465066664601186563232200415378308731514747712/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^5 + 9743514737288774625244411307148067986768822431250215283326421779600\ 599918094755719103851336162197151037718871318340687498/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^4 - 6952923247125902170904159024862254499656970596883512903766832580409\ 523154265495331984880901195621720838280208860133418068/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^3 - 5320456634859032167976942714999254695216956626782773440252904679635\ 741197791358748593990062710462074152868677066973371765/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^2 + 3111732999138208760084900602819264231780001244105783834234364894570\ 647898757977386254326679128922649998124840702178652927/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8 - 1215912083369837160309310137971243801730305887107673715099730107788\ 80927087594516387464792058554012785143925849246687212/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417, c_1001_1 + 470844784219336666853831124504301013683877856091029380998508\ 057731870849552034769317539277596797242747221346962645219584/134906\ 9018580865051659724132597007705544760701900787992170011864152186356\ 903118861251766385897319932409305030421387288417*c_1001_8^34 - 1912819979697811764279494376689984499615781536154891202995973018075\ 840154362429067816285169565818688498228644728479809152/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^33 - 2258615186128136429306539018344330552352730508005392416228775699438\ 147582059634036787870161962079633793836552583546392128/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^32 + 1502657571317168810248050896423273011879601345675745411237699479516\ 8632164584961180569424456781052959880462925464421944896/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^31 + 7950369056765792381593073711535304667726047566979941022388999461357\ 256798633522936256005236159582199177454694912754933712/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^30 - 5858680850522177541489380640149834726977102892458957259802320961877\ 1062690413205208551927352266664347638739328974658086688/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^29 + 9295722271151998288338274153778761758065406149202849877417646822899\ 705382087698382590457490027804504330192311239707546208/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^28 - 2054965671003879038510164626288697996819413424399122449009742676858\ 172352691609966894420737721968537642933390365643219264/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^27 + 2718915123482993155005587470431713954833872878527555445818844049903\ 7369007318382171876570400358624537719064205780762462325/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^26 - 3491901434804951320499934893138758600634419984180520526420293558572\ 9637081140587857001204720399496546859031629384148332912/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^25 - 4548178695181874589575237301278663351209902858646626872716161413515\ 8810826924251599974024092406662066923538932671969879536/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^24 - 1230964377717206661870152346729414755004853792687038851795499685123\ 7218397692334882301245057421203557610113120010675007936/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^23 + 1917013364375370906385515656132151324864717679294791076838695223307\ 9600188886833719523390916300260122035410040111431280447/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^22 + 1054350426460040509724534023087303756193653283603400696978333636941\ 9861461019264140096111581500599630870476694273908392298/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^21 - 7061796428618609748110159896446337783716225591383095126013758304505\ 8856549510914394394078799115597324932945781869595145564/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^20 - 6981472101502563306766714623338482300354478154725803450252289365756\ 6577066059134289587845547548103101960375252777565949019/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^19 + 8514480010900644178707793421969409012910518007096149982224271525026\ 09456547017775791126169985562564964380742471108115884/2211588555050\ 5984453438100534377175500733781998373573642131342035281743555788833\ 791012563703234752990316475908547332597*c_1001_8^18 + 4557002822943271350708910488127592658339153749138219589292207682372\ 4737352182076680810171673794331155517549618660500546499/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^17 - 1337305649928343997565171428753245769630089874591042779898204819589\ 2555313922128547890190243221003369621963694187873399592/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^16 - 8864380147921364477874250328234366557986499487044072093906551350309\ 6503073077000829055407281183169196157269758902825779444/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^15 - 5857453362711311928031455763510195177020448587654068607299671814613\ 9524418177914642771824398247244920823720480539967955568/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^14 + 2268960930933135233485324840471988928371116002502661197818002175179\ 9941750179486525521135097183914350543585928430180493382/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^13 + 2303263374043308645603177163402619315407319423101345491363175807871\ 2994561428568579599453937789481893827116714064127850926/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^12 - 2407312573629087834385711941054014866340413300075421500705948416424\ 2465830332401822601767593264078177647562817433433740882/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^11 - 8115298714019958897874940575472665156477542994816577122514602533910\ 4529259949995928133090192929691454478771197620235267617/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^10 - 2232343351000683252284997573206916021539743911327250375470201968700\ 9292743005683435957586754986483589229420316715291281335/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^9 + 4367984236543035050315982247610181135581827175016396477978823899732\ 9956967544032472132623165464744977418627860332080536839/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^8 + 1821416179304309629001148232657763786296925470236656633895634032318\ 8755692170926951521398407755130602496882081287887039732/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^7 - 2696478100865753768600440392406041927494821484754750930305393241569\ 0292088122949026768172164954922483764276311891579890451/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^6 - 1639420628848938588780854165807746677387202549750586412151890288839\ 8569109872001277527101180113543549271996498502543515888/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^5 + 1174939298813212962470725067545384368587446319621279393209374756376\ 8357916674177853385584113476090427851923948061576685084/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^4 + 3970253622811186835474676568923953337063751708158457311469023796690\ 628130609374361828851903991901484844324090406025059914/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^3 - 7349596500292986258057767565322031861624157462950445020349093600573\ 169872864054644737718536153368974768153397959238180567/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^2 - 7063564211110345326037443725145834624959400468346581832996452051263\ 67627355831486107613884366662736484852298973361126920/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417*c_1001_8 + 8498093730841036614780558478674738564662515738515113023232438566333\ 94232176295552829366102458083335044396527277946709230/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417, c_1001_12 + 48469904855181450951948448836785221381819614849144000842624\ 4642198105630621670228059910504238479510536835547259098828544/13490\ 6901858086505165972413259700770554476070190078799217001186415218635\ 6903118861251766385897319932409305030421387288417*c_1001_8^34 - 1939211644398089122585115510452176490104767891854059512936177343072\ 840775804212276508107077620516258630482772507898609024/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^33 - 2388039240258455287246067667214193727147771227881675341056515317828\ 946423225434311285549110742452848482346124050250282432/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^32 + 1506236604528155082445236807780950025793100366226473487237505435172\ 1994491852174123751609999217287074710649216108997159616/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^31 + 9023408161251229386468424455123960949918248466592315508808442650292\ 951590579023587844878055362687687886406910692493136688/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^30 - 5812728576365455751494132421512091036712834917239963727814250918392\ 6457957368768293794987324646402613041511207202906839392/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^29 + 6016876959672245038109846255680655501658369617568211288868803131751\ 002266696092931315060213940632355131579636436125454144/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^28 - 7257698441805512045046936463288540959082586877237013655610824673139\ 356726156785340127482529121454370015461489325834425888/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^27 + 3130760316539750475503602502063705339521401289674866660369489626967\ 3765922924319770335322101631529454116113439777912511091/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^26 - 4165963569761529977668420198932055404753360391423215640866693269947\ 3489019134623440100682710035670106354962418299499475544/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^25 - 3748723429223619470968880420700199621455992105625990420383412609945\ 8647173795209264827828144715537165079696509138201751726/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^24 - 3016444462740562569134054021405420277310971045812008928052609990275\ 9149158738493565734484148290696145617090068446238084890/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^23 + 2483972737889897504924399157857000722030828305164749262431032920719\ 5899098889873485194159270250247506989726875423903252389/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^22 + 9997700022432747981082274457050701333807531332136678449385714758743\ 80984038055686081723218524551467627700636414854923594/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417*c_1001_8^21 - 6579662442561257905485750802250290073101567758009564539136560260217\ 9152145778233473856658736559205896837728352401714825757/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^20 - 8028039377401541362287143231660030049371429670456116118614947782783\ 5848398424055567165568649173134017635138532217419899151/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^19 + 7022149802618800626342742413118994784178561536906089588944878469947\ 90048772193985253878458073588401717909959886839350885/2211588555050\ 5984453438100534377175500733781998373573642131342035281743555788833\ 791012563703234752990316475908547332597*c_1001_8^18 + 4233277274100260424009001886574863788620475021240352125689336645575\ 7403732982464730425707077430576145390062812227809615625/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^17 - 7550361795950939169269534371414416640162645282515335698884628879810\ 136148178713625595751736563080949785076145980193570492/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^16 - 9202232971009231857497004126656931654021606064057813525429109270222\ 7389194757264826215432468870617875652931966196705998698/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^15 - 6272179027260241767256782900970006136182231753437029106842562210508\ 6887768566981494334112837702693697635918644146668563916/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^14 + 5060279344093350944799587484240597989730320268391395547549957543403\ 055890393981863361278929470868986217342039500559107958/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^13 + 2352493450252684535714944631536957200893511938129155510927374062960\ 1311015682326644402201359874308756998050195399620156334/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^12 - 2789741340857765736140012309524459890873306571257139000396772700919\ 8126276186053783757828554406631805058718649601659340211/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^11 - 8233007558645625873081461739547926361887705751165433215222747581503\ 3077493720101713591076575544640797679272879740962520338/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^10 - 3181198791505266995813211401970549518089443061428851910422726754539\ 1423887669042634272338262931617852383492992634420548594/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^9 + 3495241312153160309609328221464653092409377815769877272432566457665\ 6407719908928683462088278514306201754937127343269244196/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^8 + 1887261899221272990429374374347546056126393745978696891402054900602\ 7971223061420660462942493026071088326519166644157466444/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^7 - 2596639235533525350400167839148067356279775391330540215654745989403\ 7056186068778841922319851350296821172828428175880306309/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^6 - 1711867194801554252551565017928076449226471783718671509453263745804\ 2227733756707930838855754088569638024479066576718773372/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^5 + 7153983966719508740482249182268936303388701408992016662160100019358\ 057790102297029199642916478038945141180515832502133534/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^4 + 2558808730410662517238151317064222686595438561312599671067250666501\ 332221257684351989368473750089904235910782943020218781/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^3 - 7397635607086596741877059557767704940491734980521749544276847517357\ 689221529108398270339490719727856661615082607251710924/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^2 - 1082081736502882408695015707429222332941655217617162128932665941614\ 156732947724789548229315056208232778062799050009565545/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8 + 2125312675598198343736644319457709083873911805945389809960858762547\ 50759302134567072801607533336998010210647035202771733/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417, c_1001_2 + 710219728715454669151498311776230107480330220377073714934510\ 782253523739175502208761348634130132674753324177561367026688/134906\ 9018580865051659724132597007705544760701900787992170011864152186356\ 903118861251766385897319932409305030421387288417*c_1001_8^34 - 2900821889845189748279076290695005661305556825912678099575961975289\ 068321490347978695009486538223834907136569430969016832/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^33 - 3204182655037302801451718848960406457846665767805304908555418372287\ 463720037524412390880559482863625203021601973250081536/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^32 + 2212983172369676930591237570655789020793143817844406780626357500051\ 7508718707667900538875369233873619083513064805936839424/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^31 + 1108511075411325169333034511838480685306213396666721503290131020792\ 5130306633968151655763623166227777252956688140100402752/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^30 - 8437307711527336002393351349254426970859006633000729157106495434950\ 5188074595213760831520737353677328619503259839310079168/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^29 + 1691788499894793367690541849924683194276661380373460215153459779398\ 3178504575862644361428052918942187931454261534619005536/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^28 - 1900362211192207910905416002283366222724779442275184203298041295549\ 5120741113124826057461026070227268518176765600276220480/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^27 + 4822523085027207554519371395764856929837309507081451096929401602620\ 4126656988687859326147987098940997162473053921523297260/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^26 - 6350503979548228803853233769284530697432602913657931398885480130612\ 9097069967602695916049557752692341819520910872832665932/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^25 - 4943947294784805671614584045480726341877275576837479257188039043864\ 4889630729629246998756083475329087281213383907581376922/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^24 - 4180709636711000913740483408404213102191035058714717969910811720469\ 7079008103692947973546665255720696819364569241929932760/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^23 + 3476222234038554282981032439937818917162226759279556378851212517637\ 2492341308574701803725179188811799000000382356153059460/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^22 - 4186654717199710318111948591660973442706866679301775299853799694051\ 456550791086814033576694714410482232319034946874640262/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^21 - 9096484825385561093201534794720441264526479438455280082602247836780\ 8647576807307333200397506504423045817969795344857216762/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^20 - 1114321635757505520875060649356582145174438975871378140283566495929\ 64834796386916120945872588078195217239220069950673770350/1349069018\ 5808650516597241325970077055447607019007879921700118641521863569031\ 18861251766385897319932409305030421387288417*c_1001_8^19 + 1099376601083149024742250793319420522443715550262202494176920688505\ 288030330982721652086145770849206932390839786559153984/221158855505\ 0598445343810053437717550073378199837357364213134203528174355578883\ 3791012563703234752990316475908547332597*c_1001_8^18 + 4660605608917838384646717302081399552998133328217494932299288726875\ 3178328263644731454529958263763358212786863949185236764/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^17 - 7249490294152321867982826256498575697628535373166441624057223179289\ 890034302733536628422464402066753998372912938935114294/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^16 - 1299775083056982337813620279181859286610648627429060981143871590075\ 96835167178937271699348621690757101729332479254292431246/1349069018\ 5808650516597241325970077055447607019007879921700118641521863569031\ 18861251766385897319932409305030421387288417*c_1001_8^15 - 8261105014182649362822875691965342794071574384445563080958814143889\ 8883370760893659325171351013363392617028364234881109468/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^14 + 5750330874275952126860493336820868003334569268398508616015972380759\ 279168089254285097024704097368737118469369601698548456/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^13 + 2855055505780087334789771017714480362634273930165731851371793911994\ 0169022293747626042234483431053218550040035132470048828/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^12 - 4272709711359168754210984190308175669455564091757712232947294130342\ 7752077601116620412115274006648376321569040310311764098/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^11 - 1126205731124814493492386653902744521382749447114793328828147646227\ 40265953997070237860363631287579891156724744983253628644/1349069018\ 5808650516597241325970077055447607019007879921700118641521863569031\ 18861251766385897319932409305030421387288417*c_1001_8^10 - 4211706690984866778699563952452492342404033045647782474331016599095\ 8922470580308855280115235626782953477308719785504761677/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^9 + 4731637965645542609273160104183606286190304578055857161468041620777\ 0346575858833293196749407815562870846285692880005291991/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^8 + 2091638499835262051228686805229191948206102654455503729611073823225\ 7442764938899556037020007075816543294299689987853450792/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^7 - 3434469463830549595611965376953592702176107488170018698484111412307\ 9187934795536394993414975044154137303519652895196986548/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^6 - 2075272986486718694118823670656675877043519642788557346317260131391\ 0402333303195577726811826700187373142780982120775448464/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^5 + 1226865741614848455409747256767409048942961700510482948418277467741\ 3354003295824147702378996956200645768491037024748274014/13490690185\ 8086505165972413259700770554476070190078799217001186415218635690311\ 8861251766385897319932409305030421387288417*c_1001_8^4 + 2158102015385656466966595903104261773846924558249661787290975317900\ 776057280317272886288101220690745100747933158472171758/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^3 - 9987510457521850003016729464359934083038145923933758699347190407426\ 536031102665721021110404219007988865706551275969849864/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8^2 - 1478229297416611619285086584075920216318682145661006123029728082022\ 549893311945988657609530945546011836281254296022687755/134906901858\ 0865051659724132597007705544760701900787992170011864152186356903118\ 861251766385897319932409305030421387288417*c_1001_8 + 2234817978217847751932056158337794029367899507739531163126196228825\ 26577822004632673763295145919632390148023799557131012/1349069018580\ 8650516597241325970077055447607019007879921700118641521863569031188\ 61251766385897319932409305030421387288417, c_1001_8^35 - 7/2*c_1001_8^34 - 27/4*c_1001_8^33 + 28*c_1001_8^32 + 525/16*c_1001_8^31 - 1687/16*c_1001_8^30 - 653/16*c_1001_8^29 - 463/16*c_1001_8^28 + 11917/256*c_1001_8^27 - 13517/256*c_1001_8^26 - 29613/256*c_1001_8^25 - 26903/256*c_1001_8^24 - 917/128*c_1001_8^23 + 1675/128*c_1001_8^22 - 8669/64*c_1001_8^21 - 57761/256*c_1001_8^20 - 5087/256*c_1001_8^19 + 11445/128*c_1001_8^18 + 7111/256*c_1001_8^17 - 44307/256*c_1001_8^16 - 28093/128*c_1001_8^15 - 5459/64*c_1001_8^14 + 1521/128*c_1001_8^13 - 5505/128*c_1001_8^12 - 48947/256*c_1001_8^11 - 39943/256*c_1001_8^10 + 837/256*c_1001_8^9 + 12007/256*c_1001_8^8 - 109/4*c_1001_8^7 - 1581/32*c_1001_8^6 - 517/128*c_1001_8^5 + 657/128*c_1001_8^4 - 2733/256*c_1001_8^3 - 465/64*c_1001_8^2 - 421/256*c_1001_8 - 121/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.200 Total time: 6.410 seconds, Total memory usage: 82.69MB