Magma V2.19-8 Tue Aug 20 2013 23:45:49 on localhost [Seed = 2480273020] Type ? for help. Type -D to quit. Loading file "K14a12309__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14a12309 geometric_solution 9.49499447 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 1023 0132 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 1 -1 -1 0 -3 4 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.051576290643 1.293251181936 0 3 0 2 0132 1023 1023 1023 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 3 -3 1 0 -1 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.051576290643 1.293251181936 4 0 5 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 0 3 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.435726456074 0.819556207388 1 4 0 5 1023 0132 0132 0132 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 -1 1 0 0 0 -4 4 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.435726456074 0.819556207388 2 3 6 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.432023658385 0.541731334763 8 7 3 2 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.432023658385 0.541731334763 9 7 8 4 0132 0321 3012 0132 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -3 3 -3 3 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.007164686768 2.045052395312 8 5 4 6 2103 0132 0132 0321 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 0 4 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550188819217 0.441930662376 5 6 7 9 0132 1230 2103 0132 0 0 0 0 0 -1 1 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 -4 0 4 0 1 -4 0 3 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.007164686768 2.045052395312 6 10 8 10 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359748582239 0.633486985828 9 9 11 11 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392153456931 0.104263627700 10 11 10 11 2310 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.556610073458 0.203398360809 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_4'], 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_2'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0011_5'], 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : d['c_1001_4'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_0101_10']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_5']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_11'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_4'], 'c_0101_8' : d['c_0101_2'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_4, c_1001_2, c_1001_4, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 1214282884073533879133255023167397842280532016151605792341919352065\ 19747189969671835573071164/5969892593319295979502062528888509905285\ 198402442407280372335496366962443527776410818313225*c_1001_4^37 - 3921225026779205806914010255772825464473127019905331509446457158709\ 02661762087147716270017489/1193978518663859195900412505777701981057\ 0396804884814560744670992733924887055552821636626450*c_1001_4^36 - 3404121553557404200092285699019196836019494247625140919052994644631\ 088570166232914540799368183/596989259331929597950206252888850990528\ 5198402442407280372335496366962443527776410818313225*c_1001_4^35 - 5223050978673360369607538808449080908978132929523837868181398872227\ 975844659767642561128358869/596989259331929597950206252888850990528\ 5198402442407280372335496366962443527776410818313225*c_1001_4^34 - 1668617623206844554741655623136187044836589544293483330153847787448\ 888692237092807859871314790/238795703732771839180082501155540396211\ 407936097696291214893419854678497741111056432732529*c_1001_4^33 - 1220327188369487761364747704329735492575307159499074071126723218770\ 40457215876735193553675069917/1193978518663859195900412505777701981\ 0570396804884814560744670992733924887055552821636626450*c_1001_4^32 - 23598614822955452000670642262107303275573623156681456592860565217\ 517950989105362982983708313597/477591407465543678360165002311080792\ 422815872195392582429786839709356995482222112865465058*c_1001_4^31 - 4100255049428765560499558516757523863582419548961721770281528438043\ 21567211446665041849805119653/5969892593319295979502062528888509905\ 285198402442407280372335496366962443527776410818313225*c_1001_4^30 - 2697097076877414371390314154875863652170237269446491165997915308395\ 695167524311241656177506191571/119397851866385919590041250577770198\ 10570396804884814560744670992733924887055552821636626450*c_1001_4^2\ 9 - 176103066127494157876765847272920317177763896235390836411810701\ 6691764249189530036010830685226334/59698925933192959795020625288885\ 09905285198402442407280372335496366962443527776410818313225*c_1001_\ 4^28 - 428118307991799456259815712951156761839668016783467846432870\ 9451700623223893656387550690470978174/59698925933192959795020625288\ 88509905285198402442407280372335496366962443527776410818313225*c_10\ 01_4^27 - 412414904032684876786122839944462520158500566572973191801\ 623781020593948334701241337041485988409/477591407465543678360165002\ 311080792422815872195392582429786839709356995482222112865465058*c_1\ 001_4^26 - 20116834915043471181577990792007358113063800177920096212\ 771580725389236784449103274389062948882307/119397851866385919590041\ 2505777701981057039680488481456074467099273392488705555282163662645\ 0*c_1001_4^25 - 220384407242024346064916642999025995905676753969096\ 92696456741758462975198272130558857829810589511/1193978518663859195\ 9004125057777019810570396804884814560744670992733924887055552821636\ 626450*c_1001_4^24 - 3734850534466420000768453373176091418606167702\ 8780481468541731693453692977986902587246013161938163/11939785186638\ 5919590041250577770198105703968048848145607446709927339248870555528\ 21636626450*c_1001_4^23 - 18819282264704233645315026240831815962414\ 538340408529755261916582914947830257784911554271890483501/596989259\ 3319295979502062528888509905285198402442407280372335496366962443527\ 776410818313225*c_1001_4^22 - 2897849645064845501109743922382013358\ 5079163979894878245925767122786207130950113253448956005896918/59698\ 9259331929597950206252888850990528519840244240728037233549636696244\ 3527776410818313225*c_1001_4^21 - 549388036588402015135729563264459\ 04190687688553845997021867933328889980920097192252543410512442093/1\ 1939785186638591959004125057777019810570396804884814560744670992733\ 924887055552821636626450*c_1001_4^20 - 3827514868050463116302766569627564043944779064918681127750814503420\ 9710893382501301351551512222784/59698925933192959795020625288885099\ 05285198402442407280372335496366962443527776410818313225*c_1001_4^1\ 9 - 340120303298414461137445443042205819384458008534229965349210286\ 65568778936824779267157247605358976/5969892593319295979502062528888\ 509905285198402442407280372335496366962443527776410818313225*c_1001\ _4^18 - 42092168277539130268609634200940706767147790577727608781475\ 990706510975786304594647078691378385822/596989259331929597950206252\ 8888509905285198402442407280372335496366962443527776410818313225*c_\ 1001_4^17 - 6836719066450455167197726248628471319489423059024114880\ 189904247169478858967898339033850943666357/119397851866385919590041\ 2505777701981057039680488481456074467099273392488705555282163662645\ *c_1001_4^16 - 7517005708434280476739452109801611948783124587219631\ 3280386706340280131467826164187306901928752477/11939785186638591959\ 0041250577770198105703968048848145607446709927339248870555528216366\ 26450*c_1001_4^15 - 55034018600612021918160718587541372671336013091\ 11145171620888326190230573510547115063512876407513/1193978518663859\ 1959004125057777019810570396804884814560744670992733924887055552821\ 63662645*c_1001_4^14 - 54366867915151152862866262881086731937761373\ 636481044001379307752487115117046661895109865422218207/119397851866\ 3859195900412505777701981057039680488481456074467099273392488705555\ 2821636626450*c_1001_4^13 - 165540678035650543051114877133401492312\ 0657447491887601225707314901215033426339110260064743904139/54271750\ 8483572361772914775353500900480472582040218843670212317851542040320\ 706946438028475*c_1001_4^12 - 5305657932099059040097444637166683481\ 9097384607770397048670283134803971283928655452283539342389/19735182\ 1266753586099241736492182145629262757105534124970986297400560741934\ 80252597746490*c_1001_4^11 - 18390926045931204020193669654713033921\ 08636801765649286009560512678754390883991251972682048773271/1085435\ 0169671447235458295507070018009609451640804376873404246357030840806\ 41413892876056950*c_1001_4^10 - 69630999248292852743678566383836988\ 2761826765228506985618421767153993435739693684877105556530677/54271\ 7508483572361772914775353500900480472582040218843670212317851542040\ 320706946438028475*c_1001_4^9 - 18055504894190570699597743799520561\ 49050833355133247763579293742829988806332891738461901047042933/2387\ 9570373277183918008250115554039621140793609769629121489341985467849\ 77411110564327325290*c_1001_4^8 - 154096927605402390817488154291592\ 250233872938750386634443323101215667056730949264466710100484697/322\ 6968969361781610541655421020816165019026163482382313714775943982141\ 86136636562746935850*c_1001_4^7 - 531653216535732944198216151391034\ 62664285818594780870956274766754481612744054449049493988789961/2170\ 8700339342894470916591014140036019218903281608753746808492714061681\ 6128282778575211390*c_1001_4^6 - 1577849664033402475933980372074678\ 144399678201197310980177796100315434750394677849519502663013577/119\ 3978518663859195900412505777701981057039680488481456074467099273392\ 4887055552821636626450*c_1001_4^5 - 1378681480488651770917555644048050153023533766656231595484355525611\ 64463432260702590986640356017/2387957037327718391800825011555403962\ 114079360976962912148934198546784977411110564327325290*c_1001_4^4 - 2898642355766245381642836328586920674125737582224855743653279764865\ 8431351082364341564369200383/10854350169671447235458295507070018009\ 60945164080437687340424635703084080641413892876056950*c_1001_4^3 - 1536593593836068571282422902973462451434976398666142584266150187104\ 17368326265565186208432961951/1193978518663859195900412505777701981\ 0570396804884814560744670992733924887055552821636626450*c_1001_4^2 - 3863657530774239852976802185453482701835759249280336496998865252165\ 7410552393648152147328729259/11939785186638591959004125057777019810\ 570396804884814560744670992733924887055552821636626450*c_1001_4 - 1653709987092565877333430828122516149384591462729651407510417809162\ 4871645193044135100341631549/11939785186638591959004125057777019810\ 570396804884814560744670992733924887055552821636626450, c_0011_0 - 1, c_0011_10 + 23851246082648117443471310201701364132349575195533728356976\ 858291531041/433603303176480391226609316852693861327446490332965419\ 120720391343948708*c_1001_4^37 + 5928575616412154227322044235204482\ 9525036549414745179153101048870256239/43360330317648039122660931685\ 2693861327446490332965419120720391343948708*c_1001_4^36 + 1766143252865830821724937917745611133143289479563125379223589952949\ 83330/1084008257941200978066523292131734653318616225832413547801800\ 97835987177*c_1001_4^35 + 80145884018007184948382758477642127800098\ 7747353919230384086655677584837/21680165158824019561330465842634693\ 0663723245166482709560360195671974354*c_1001_4^34 + 9176768748058984744635435157054503452454501655744258082941954265714\ 514671/433603303176480391226609316852693861327446490332965419120720\ 391343948708*c_1001_4^33 + 9474522596170816036355969274818678298244\ 133168128815254522583769035041051/216801651588240195613304658426346\ 930663723245166482709560360195671974354*c_1001_4^32 + 6904286775277615969590737030829230458616284167622077956098775442055\ 2628195/43360330317648039122660931685269386132744649033296541912072\ 0391343948708*c_1001_4^31 + 128639397592827459920282198815486939856\ 371309819932212777650098491609024463/433603303176480391226609316852\ 693861327446490332965419120720391343948708*c_1001_4^30 + 3361361295822525907527207431774290682678821885921209673894922952122\ 24025033/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^29 + 13953998675413004682481929745223719845\ 7581474238709341242453725261531266063/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^28 + 1128669098598811380558431770229621442964973949581853557274783134941\ 613001093/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^27 + 8264718824528976557950635331644791347\ 67069936243624650646650745301401321465/2168016515882401956133046584\ 26346930663723245166482709560360195671974354*c_1001_4^26 + 1377175375974353957609940791448726916378027802014385072096153429470\ 232315907/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^25 + 8931233847613793353076984295814731145\ 90584700404269341860676510814062291520/1084008257941200978066523292\ 13173465331861622583241354780180097835987177*c_1001_4^24 + 5192257936974367427533462569866647888170436190498310954418444818809\ 126976951/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^23 + 3066746168862895952924574786429603844\ 496905097189727757983050609015306417109/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^22 + 8106374503245491399270741575664453334047410655721991074281426541081\ 640755869/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^21 + 8962995683674095822781891765576025610\ 428702363145402087802832493792877999897/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^20 + 5420845468552333575132305291967081384649650593483920607762416998689\ 939851059/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^19 + 5562379894719885626726260011199120047\ 795597279156875124749433652981147081049/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^18 + 6030053231090164627952104455969793446137113506934128133695098960994\ 047412603/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^17 + 1117346879692301082985839815325461496\ 1584446781515357474590101936119507025881/43360330317648039122660931\ 6852693861327446490332965419120720391343948708*c_1001_4^16 + 1072413758876209389009638079019483206165311477189370733005851036439\ 2466102133/43360330317648039122660931685269386132744649033296541912\ 0720391343948708*c_1001_4^15 + 891927864605944715495047366996805040\ 1295850602975681248673463117432064225087/43360330317648039122660931\ 6852693861327446490332965419120720391343948708*c_1001_4^14 + 7660837007685779354390129772363183761310961812157541886228939729211\ 326743597/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^13 + 5841409070803762475082315946120658854\ 629021175057660572895828517863352044053/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^12 + 1131280445241225538818889547825211153809633422365613639132511716445\ 946979425/108400825794120097806652329213173465331861622583241354780\ 180097835987177*c_1001_4^11 + 3191590450729324766190107467418583809\ 653076544625192957796461883445507626785/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^10 + 2171409478607832444103454486514357633819089704917759349882852647646\ 509860729/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^9 + 68627417206301404313038745275704737996\ 6046781107860215949456923841723964719/21680165158824019561330465842\ 6346930663723245166482709560360195671974354*c_1001_4^8 + 1986740074896110323487140691786724854007779345843164824807275507943\ 77154770/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^7 + 108903352381567685391456248222750478361\ 972332439542218449636890471942398410/108400825794120097806652329213\ 173465331861622583241354780180097835987177*c_1001_4^6 + 5457830308629175409539926415727145719387900990547744355388483956038\ 5439344/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^5 + 5298999819926225333756123144727906806704\ 5551626684864970877637655911027967/21680165158824019561330465842634\ 6930663723245166482709560360195671974354*c_1001_4^4 + 2359991398507064979142333396046946745079380487693122615972189465039\ 0034935/21680165158824019561330465842634693066372324516648270956036\ 0195671974354*c_1001_4^3 + 1047308001484181801234245646077911682021\ 2520312525151715605171062071670775/21680165158824019561330465842634\ 6930663723245166482709560360195671974354*c_1001_4^2 + 1655008944844620844620324494204661523801180891294919036510739250962\ 940966/108400825794120097806652329213173465331861622583241354780180\ 097835987177*c_1001_4 + 2158749652039232884317682787504565820922016\ 286027974016997443870609251467/433603303176480391226609316852693861\ 327446490332965419120720391343948708, c_0011_11 + 19748888671461845025588593222769284832261703920074841415204\ 643856154319/433603303176480391226609316852693861327446490332965419\ 120720391343948708*c_1001_4^37 + 3991132894888657853598896432147581\ 4651907824099961691747973622762774907/43360330317648039122660931685\ 2693861327446490332965419120720391343948708*c_1001_4^36 + 1427331057257239480781173224079024289508075127160062330075158423437\ 18381/1084008257941200978066523292131734653318616225832413547801800\ 97835987177*c_1001_4^35 + 53692164820548978576523697284244531744234\ 4857814729912886328154270790111/21680165158824019561330465842634693\ 0663723245166482709560360195671974354*c_1001_4^34 + 7234908982089538424812900528510211075406008585666427800626814904378\ 257549/433603303176480391226609316852693861327446490332965419120720\ 391343948708*c_1001_4^33 + 3161855230109605380527069697605887171658\ 170838232259702020981242828074712/108400825794120097806652329213173\ 465331861622583241354780180097835987177*c_1001_4^32 + 5306233252194498333608059099300372270553260726715771773179604756551\ 7317763/43360330317648039122660931685269386132744649033296541912072\ 0391343948708*c_1001_4^31 + 855842490190091364322432574595881567542\ 50920701438843818936109043204979173/4336033031764803912266093168526\ 93861327446490332965419120720391343948708*c_1001_4^30 + 2519054591800582019606742152559264689151999207150004784016890479148\ 23293545/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^29 + 92491612708293640810853294322144445733\ 589306827951594798607025054292499883/108400825794120097806652329213\ 173465331861622583241354780180097835987177*c_1001_4^28 + 8273204608846958613219523369243568810934392875236581175960905412977\ 55471071/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^27 + 27241763261286816352684137823930043413\ 4909017339333808349616859117094528729/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^26 + 4971428640093325704024701919620740418801410532724175603233564445505\ 39571563/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^25 + 11688936685026698024158265638753869312\ 85318725364974233722061214409879697555/2168016515882401956133046584\ 26346930663723245166482709560360195671974354*c_1001_4^24 + 3724479998964609313680991461557086290254212597138199802016582614710\ 390822443/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^23 + 1992360150039686415609340339340036218\ 535309235871174183413066087603995695527/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^22 + 5801721448835740061574345631429654005738800927219108185817005703551\ 062289815/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^21 + 5788863763339157276276407422070276153\ 174578242223606678477787694402607218185/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^20 + 3865343231425821375704081714377807002624934584776514356853580470183\ 017859329/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^19 + 3569029078996540144393481415398322996\ 272202963683279097141452556159169564967/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^18 + 4284603244074260723386466883920585421720990061694460477188598887797\ 001900425/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^17 + 7102792654637442088351773256360763128\ 039358233563008840370791773413664022399/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^16 + 7634778450429131431909050936937854212509608805827907404925377614870\ 143866737/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^15 + 5601312408510128829868576818984896091\ 470504170290296878109475565403105076153/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^14 + 5499286599714711165183321456851052593881573342968712989230292386150\ 191501433/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^13 + 3618454738848973496776977435963070650\ 893938751601746320660617860796861911239/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^12 + 1639437764266320595921528875531751231074630157366029719082695437951\ 144962775/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^11 + 1952714520457380998612692368183235338\ 738887674123069401229994570165327217625/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^10 + 1584484988681782892667072755690031313820438292111855704169380556351\ 833944823/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^9 + 20819163463464274818053208255653793325\ 3926162197387298949878714244620686851/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^8 + 2922838384335514520285882075262270976350429367541399335684738498596\ 96653507/2168016515882401956133046584263469306637232451664827095603\ 60195671974354*c_1001_4^7 + 131878476888221002813363563251045617437\ 686132023533798968874695885672866699/216801651588240195613304658426\ 346930663723245166482709560360195671974354*c_1001_4^6 + 8026111158321937734310626399575749791269798811092971518415945708326\ 7438207/21680165158824019561330465842634693066372324516648270956036\ 0195671974354*c_1001_4^5 + 1621823839363062824098836542066477520721\ 5059154822643014800472316230769403/10840082579412009780665232921317\ 3465331861622583241354780180097835987177*c_1001_4^4 + 8387479966033459900763526942122092819760091130330062427374443184363\ 412722/108400825794120097806652329213173465331861622583241354780180\ 097835987177*c_1001_4^3 + 32505835163395652359258811165767850242793\ 80247702874449670511414210995597/1084008257941200978066523292131734\ 65331861622583241354780180097835987177*c_1001_4^2 + 2395655394049547683682396910291010274347665302305806675088790365017\ 730917/216801651588240195613304658426346930663723245166482709560360\ 195671974354*c_1001_4 + 1352263079464623702764072155006093041818152\ 110021013940895139268297541075/433603303176480391226609316852693861\ 327446490332965419120720391343948708, c_0011_5 - 216488987242073977147335866468492090129266539879829314974175\ 11242982911/4336033031764803912266093168526938613274464903329654191\ 20720391343948708*c_1001_4^37 - 33607646173882826056346265373973437\ 428530682311757750569337724997005965/433603303176480391226609316852\ 693861327446490332965419120720391343948708*c_1001_4^36 - 1501762082070017036590680008113039433012106350994664158089867689237\ 44279/1084008257941200978066523292131734653318616225832413547801800\ 97835987177*c_1001_4^35 - 43844385645928048811264584477818064701323\ 5115251840966802978287769278589/21680165158824019561330465842634693\ 0663723245166482709560360195671974354*c_1001_4^34 - 7254293110126392941226588916232467565189676059345293883369716358610\ 894565/433603303176480391226609316852693861327446490332965419120720\ 391343948708*c_1001_4^33 - 4986790155675375961742720538653607356416\ 455228343561426572368892488021487/216801651588240195613304658426346\ 930663723245166482709560360195671974354*c_1001_4^32 - 5022404906118791953458284939804531147413894028413307964213825864771\ 1832053/43360330317648039122660931685269386132744649033296541912072\ 0391343948708*c_1001_4^31 - 647011942502317883580600519125511587894\ 65887401986505570907902650419148457/4336033031764803912266093168526\ 93861327446490332965419120720391343948708*c_1001_4^30 - 2227366470291954331648610043240423296849764415267102217830570559707\ 18222463/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^29 - 66276631139765960447891252187622928969\ 685063458447252258771522782322721903/108400825794120097806652329213\ 173465331861622583241354780180097835987177*c_1001_4^28 - 6782783653876312764758615803944167092351960166461834997131698404935\ 80859871/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^27 - 36476872819673649544075236019489746119\ 1292192052698497356432885353145045787/21680165158824019561330465842\ 6346930663723245166482709560360195671974354*c_1001_4^26 - 7574280732344643269821230907260596635799793049150079241793815788180\ 55292547/2168016515882401956133046584263469306637232451664827095603\ 60195671974354*c_1001_4^25 - 36230093660109506080362972454975709461\ 6754789253803122948435925227316774629/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^24 - 2676501806143159593250546331539201998117804727907097924560563019432\ 420166725/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^23 - 1155408097966807649828186905700565379\ 769622930817990712673432099269654311363/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^22 - 3996207706459128409706305744203818188566644250810928574254096221260\ 486448555/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^21 - 3186257263110363715455317097638942904\ 767085432185723422197641643436376562731/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^20 - 2539507480775997782388399194326483745900031857725538976338326814501\ 485213227/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^19 - 1831613051797822736415122575392189030\ 092818693647263394073395258536751076537/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^18 - 2632194527412820468393608235030428756780401056494782689338402632513\ 191656789/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^17 - 3265023263288933892159083095396883086\ 641086673032387475948103337438069624071/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^16 - 4358578412831357179299814859432759486563863182091754107291929383849\ 774884535/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^15 - 2252941498312254495372090582186627986\ 002501808497746325204033692452491127597/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^14 - 2963170001221458648810210072540186851213214302542370451231163954069\ 763562855/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^13 - 1281227612824174455153689689919506102\ 618267723025195738935606058089974736939/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^12 - 4172280656143168566199693402852293738955280152091062086303371204759\ 47713233/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^11 - 59943035545044807592780338366748685142\ 1109026273349906133781878607186021095/43360330317648039122660931685\ 2693861327446490332965419120720391343948708*c_1001_4^10 - 7323310987005763630879577606615371423504208864455731397861384275728\ 64425763/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^9 - 101444709461446219986696501296375171723\ 739436455521967624343837641929430379/216801651588240195613304658426\ 346930663723245166482709560360195671974354*c_1001_4^8 - 6049091408611273802069264259132818704230883759544948898122236741027\ 3297896/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^7 - 1075839718189061108011374679525546027144\ 1041730210348674858878794695498801/10840082579412009780665232921317\ 3465331861622583241354780180097835987177*c_1001_4^6 - 1636870041929551530305093778281300708545118005678826630872218545538\ 6681102/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^5 - 2031440758980278115247824471948239152063\ 347942334227696471883126387450631/216801651588240195613304658426346\ 930663723245166482709560360195671974354*c_1001_4^4 - 7227207814243319942249264429138213113350746446655924298279936618530\ 402891/216801651588240195613304658426346930663723245166482709560360\ 195671974354*c_1001_4^3 + 64878640050700555727670524802179341868001\ 8509840982082953273640815999503/21680165158824019561330465842634693\ 0663723245166482709560360195671974354*c_1001_4^2 - 4257803330256825714293563136456332182691535635512651244880035319785\ 73994/1084008257941200978066523292131734653318616225832413547801800\ 97835987177*c_1001_4 + 88104752972115517730696413963814686060420736\ 8137280239675357504976222355/43360330317648039122660931685269386132\ 7446490332965419120720391343948708, c_0101_0 - 120930872039101293535231033185257567372097534541706708258010\ 03071142531/4336033031764803912266093168526938613274464903329654191\ 20720391343948708*c_1001_4^37 - 45835073132027656421779793283900722\ 487346160896324273149019517385267973/433603303176480391226609316852\ 693861327446490332965419120720391343948708*c_1001_4^36 - 9607679377181914432712906540280509570190338312067680112939170351503\ 4841/10840082579412009780665232921317346533186162258324135478018009\ 7835987177*c_1001_4^35 - 626865770919576899863259791222803318507084\ 613461540943914600620768336895/216801651588240195613304658426346930\ 663723245166482709560360195671974354*c_1001_4^34 - 5339236891161398707675316814092365530056869255092659468326526708790\ 151117/433603303176480391226609316852693861327446490332965419120720\ 391343948708*c_1001_4^33 - 7490887916712482799063925968385213060133\ 354258280176270528278660535485937/216801651588240195613304658426346\ 930663723245166482709560360195671974354*c_1001_4^32 - 4287887059319021389442180520701579879478064960548551817014926714155\ 4869825/43360330317648039122660931685269386132744649033296541912072\ 0391343948708*c_1001_4^31 - 102853164572604802481115395040269404794\ 475787316683839076024224013324126965/433603303176480391226609316852\ 693861327446490332965419120720391343948708*c_1001_4^30 - 2220322587731025712473956260865712539405647798407469330145789526059\ 83476767/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^29 - 11306283726805144454134399555158566670\ 0120088083353845846483573314483079578/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^28 - 7866209102276881701622488393619149751709108715448991883977543485723\ 12536987/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^27 - 68106517684077259064411977497686486348\ 3835182363040382120695381581809922695/21680165158824019561330465842\ 6346930663723245166482709560360195671974354*c_1001_4^26 - 9987125456001132964111404823586546808693018876272334033865730683485\ 78805869/2168016515882401956133046584263469306637232451664827095603\ 60195671974354*c_1001_4^25 - 75050995615784713540045259533944495979\ 7134917529254151293529728329769190603/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^24 - 3853781112942666453739699238951371322337069324089054508125189350572\ 176820025/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^23 - 2621950249397445892695780867686087865\ 348823507743946926445296687222596462809/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^22 - 6100342281412505164264434036604317467981505833295265347332343923921\ 745564479/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^21 - 7764703913290418559368589292736088606\ 042896461213409699673508002302206528899/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^20 - 4146372365634737243460375160218110786702480987255550869227251102636\ 188707723/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^19 - 4891419452541255379578986420126647019\ 179533548506467721223409095789569212231/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^18 - 4705680342853511898832130356279657427771563119072373363874913250430\ 627279059/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^17 - 1003616405535492714800583723920798028\ 7226187099210407867817145663859301193275/43360330317648039122660931\ 6852693861327446490332965419120720391343948708*c_1001_4^16 - 8503071427139382960861494159196403462823068123185688520118853011685\ 030071535/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^15 - 8216103927657833701262735494596016525\ 139453597423839711330888149501246278101/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^14 - 6126768494689601871703560360623257744659850971486053993516172210243\ 862652951/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^13 - 5513021624340317243259263453457979710\ 767365237861164736192957053626308509267/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^12 - 9132279455419562784593217974113647470407768401759233826552182448498\ 44193532/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^11 - 30745764397781691321453423215763958814\ 45162173088861099299979675884185228779/4336033031764803912266093168\ 52693861327446490332965419120720391343948708*c_1001_4^10 - 1785471976061137922403935264735218969179692806044592618045041055812\ 560891451/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^9 - 67560951126754252650660480959686489744\ 5302219484832780319078180872362867375/21680165158824019561330465842\ 6346930663723245166482709560360195671974354*c_1001_4^8 - 1663866872925215421951199723382271861749124051401763649255456126949\ 07452939/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^7 - 111257694168127461046782630322499313825\ 115382596057965107934978302929643034/108400825794120097806652329213\ 173465331861622583241354780180097835987177*c_1001_4^6 - 4529625423625794051377572987296502151291209759532178455334654356587\ 8567337/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^5 - 5720171625210122228827911357900362005027\ 7691351363799698039800123694702417/21680165158824019561330465842634\ 6930663723245166482709560360195671974354*c_1001_4^4 - 1821199143781203119026173671213570166644999806401458526139362523557\ 6157109/21680165158824019561330465842634693066372324516648270956036\ 0195671974354*c_1001_4^3 - 1167746390528224754434576645035569159264\ 3935717790731162174705748710854299/21680165158824019561330465842634\ 6930663723245166482709560360195671974354*c_1001_4^2 - 1192852284796147388853741241810527415876788645073633464509360135216\ 092287/108400825794120097806652329213173465331861622583241354780180\ 097835987177*c_1001_4 - 2610102872395989987231658003471964628367345\ 763267860809887089358249985801/433603303176480391226609316852693861\ 327446490332965419120720391343948708, c_0101_10 - 47421251051728562986092362714890084813985986752515700145528\ 10958845424/1084008257941200978066523292131734653318616225832413547\ 80180097835987177*c_1001_4^37 - 11836760338785086909504018714216285\ 930789800732668117583456647321079614/108400825794120097806652329213\ 173465331861622583241354780180097835987177*c_1001_4^36 - 1405046714587362303190140563207409945930183189458967829014619276716\ 52194/1084008257941200978066523292131734653318616225832413547801800\ 97835987177*c_1001_4^35 - 32103095804380129446138979014656330540476\ 5239703153148289360069872229316/10840082579412009780665232921317346\ 5331861622583241354780180097835987177*c_1001_4^34 - 1827525735250873339500428195064287544498176900424097507770689398797\ 925099/108400825794120097806652329213173465331861622583241354780180\ 097835987177*c_1001_4^33 - 3810638874960683432174627862611758610025\ 468121562197058738589364147395277/108400825794120097806652329213173\ 465331861622583241354780180097835987177*c_1001_4^32 - 1378708957772547012824769613268000865047798010083980053054465847705\ 9901511/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^31 - 260091326044135520262374332152701524701\ 48489692719416491236593937616928509/1084008257941200978066523292131\ 73465331861622583241354780180097835987177*c_1001_4^30 - 6743788397708997418143485521510404868059497155981893539599004938372\ 6865101/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^29 - 113657218238388170085673264586935728377\ 983257097325822988562008991793878142/108400825794120097806652329213\ 173465331861622583241354780180097835987177*c_1001_4^28 - 2280566785818877339943244648090165118068023957702575672757140606670\ 13857048/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^27 - 33966903478868055691019229387595923618\ 1569129943576724643631943982635332390/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^26 - 5617138430862317776591545167710672984497773040260864844431336216137\ 39128293/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^25 - 74197702295279969325382036667229026229\ 6637266803778541987063746554336392535/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^24 - 1069078944361349536403898895583298358200622198705795871230651674616\ 532103066/108400825794120097806652329213173465331861622583241354780\ 180097835987177*c_1001_4^23 - 1286818911437550325545053549524328956\ 627442509036591650194280473322793392076/108400825794120097806652329\ 213173465331861622583241354780180097835987177*c_1001_4^22 - 1681546131836144564094724247780104626029586664520951317778115670165\ 518617205/108400825794120097806652329213173465331861622583241354780\ 180097835987177*c_1001_4^21 - 1895580065510264039013397833937984462\ 873667555457349907872590439847123347231/108400825794120097806652329\ 213173465331861622583241354780180097835987177*c_1001_4^20 - 2263551017690278537577887112174930914272945969988948909587426495117\ 382583359/108400825794120097806652329213173465331861622583241354780\ 180097835987177*c_1001_4^19 - 2373725477144001634272663380052072038\ 143312222371744770142892925731890465198/108400825794120097806652329\ 213173465331861622583241354780180097835987177*c_1001_4^18 - 2542604039494674605439873309944288451808842921887191957391710434732\ 329878226/108400825794120097806652329213173465331861622583241354780\ 180097835987177*c_1001_4^17 - 2416836082457877816859859953777392583\ 665343966229617185979878172909350704737/108400825794120097806652329\ 213173465331861622583241354780180097835987177*c_1001_4^16 - 2291368723276513383197814043006778609152519655859845912823761016591\ 505325217/108400825794120097806652329213173465331861622583241354780\ 180097835987177*c_1001_4^15 - 1961434334629534052648235555865408234\ 490155317272278368167868032952257538000/108400825794120097806652329\ 213173465331861622583241354780180097835987177*c_1001_4^14 - 1655759767861782557783865566521043970227464857566827187336654976434\ 055873685/108400825794120097806652329213173465331861622583241354780\ 180097835987177*c_1001_4^13 - 1301015793798037019858129955084242337\ 354756316069907440128666104242579680848/108400825794120097806652329\ 213173465331861622583241354780180097835987177*c_1001_4^12 - 9838641684722998691324399828520124791830739220155062056110118198298\ 42982480/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^11 - 71636558750182845232204899694005811790\ 0058443529570672991533668568222073833/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^10 - 4754664419142274414208437070730583439836354588425296623522860463876\ 23783380/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^9 - 310846130916919601446047350466231066717\ 405168560652762957469557534795348865/108400825794120097806652329213\ 173465331861622583241354780180097835987177*c_1001_4^8 - 1757610308669690117190344027722749312505014757956855230797267070520\ 14632763/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^7 - 986292283847284477382096791387809332782\ 70048407605021816262678232675726720/1084008257941200978066523292131\ 73465331861622583241354780180097835987177*c_1001_4^6 - 4731740588328130878845810346376831220345410845321539460502519435853\ 3252651/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^5 - 2276402922798357759119609526845854578908\ 1622308467584917476133812533921349/10840082579412009780665232921317\ 3465331861622583241354780180097835987177*c_1001_4^4 - 9310986536704789585733675554882796594322904124520787555250833405798\ 868497/108400825794120097806652329213173465331861622583241354780180\ 097835987177*c_1001_4^3 - 39974596301968806186371955347585527864348\ 98421378004467932236085064669331/1084008257941200978066523292131734\ 65331861622583241354780180097835987177*c_1001_4^2 - 1252378777082115744122960193422029712623312841077490141645447517581\ 534417/108400825794120097806652329213173465331861622583241354780180\ 097835987177*c_1001_4 - 3959261161313965592679410488240757985329938\ 00622067961108951381102079956/1084008257941200978066523292131734653\ 31861622583241354780180097835987177, c_0101_11 - 72375298112368763108629910527705209567632084113752642270561\ 45018546555/4336033031764803912266093168526938613274464903329654191\ 20720391343948708*c_1001_4^37 - 16631277346248763309348608627297037\ 822898352977108359468261577585249785/433603303176480391226609316852\ 693861327446490332965419120720391343948708*c_1001_4^36 - 5383716092175837087780296792552220271639979821727579986660002765766\ 9329/10840082579412009780665232921317346533186162258324135478018009\ 7835987177*c_1001_4^35 - 226715112608801691343700964562908246594115\ 102323071722798500382375382239/216801651588240195613304658426346930\ 663723245166482709560360195671974354*c_1001_4^34 - 2816691580607231643176449591314782688582866423222816266281009910975\ 774125/433603303176480391226609316852693861327446490332965419120720\ 391343948708*c_1001_4^33 - 2709777152683571182752874748258192666461\ 139092552386030673788871173428557/216801651588240195613304658426346\ 930663723245166482709560360195671974354*c_1001_4^32 - 2139568441456526057651246262818177352013768739915332748355821078773\ 0131177/43360330317648039122660931685269386132744649033296541912072\ 0391343948708*c_1001_4^31 - 373210478594151898335051862986196693486\ 74773466126584735771038466302388917/4336033031764803912266093168526\ 93861327446490332965419120720391343948708*c_1001_4^30 - 1055000170225292341177482166550563375225472379040416914037088254387\ 14329787/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^29 - 41216627805887943890709302651640715974\ 015852573608976115769786122700055828/108400825794120097806652329213\ 173465331861622583241354780180097835987177*c_1001_4^28 - 3600696768729180070653645559712778516014472096019849064569199168547\ 89875179/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^27 - 24927611980645808885009137542441196092\ 0384564499160988632271074902220916455/21680165158824019561330465842\ 6346930663723245166482709560360195671974354*c_1001_4^26 - 4480727111874976976204702503875982698405735174155241581251893260118\ 14763323/2168016515882401956133046584263469306637232451664827095603\ 60195671974354*c_1001_4^25 - 27499540730927833515375296311315398969\ 5418652907941433226764777957240885143/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^24 - 1724963508112529881952129468716801276349788627696007376041620294732\ 085124045/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^23 - 9585421056972030466932703768607417065\ 75228081470889635428899409218014245625/2168016515882401956133046584\ 26346930663723245166482709560360195671974354*c_1001_4^22 - 2742977843104575837290930244072627250730765782390120101640908826442\ 583777243/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^21 - 2827191731371100891467877513753717721\ 252865454050280273494139289365342225771/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^20 - 1865939065853531696287485228846540110271972769066819745577761267248\ 514609337/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^19 - 1775161394244215809046547124759168244\ 130358205978436860193644924241085694871/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^18 - 2123775109128283094794359551612813683850041294464229631295854510795\ 615701329/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^17 - 3630041427045365458228605579565508517\ 105273642860441066364932269334393291403/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^16 - 3897107880886762627835924391785164893901536643802180063659621660070\ 266084503/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^15 - 2941501685973742343600522800884389281\ 163723685556660747913118624350834318205/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^14 - 2877641205237296365799037211157904659271896635010379252403616239959\ 020831435/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^13 - 1928653380057514411112193818153020170\ 357258419612372520929810358704338366179/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^12 - 4369274731603460924930378194435625041810516607291367805814012746372\ 74915249/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^11 - 10472124502218763003445492078129505679\ 65166216536996726136737917829188126783/4336033031764803912266093168\ 52693861327446490332965419120720391343948708*c_1001_4^10 - 8599223431369143507892500777349681055584211143680659025255024630670\ 16633551/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^9 - 226153679416894663921031826302399882727\ 604106165376894997522394058287045167/216801651588240195613304658426\ 346930663723245166482709560360195671974354*c_1001_4^8 - 7973961569755564813464627963307907291775650519077838986564914030930\ 1607969/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^7 - 3602145643486290912020222341938019028329\ 1320896966665143573523988606004941/10840082579412009780665232921317\ 3465331861622583241354780180097835987177*c_1001_4^6 - 2084763544442080320702646287730754470783695395958453333608715561255\ 5062314/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^5 - 1654857799380738725155199287768271066435\ 1873812698205204010628090048593839/21680165158824019561330465842634\ 6930663723245166482709560360195671974354*c_1001_4^4 - 7516188551933519954967899585138124022119152789740931811131111807763\ 557593/216801651588240195613304658426346930663723245166482709560360\ 195671974354*c_1001_4^3 - 29197022441288709495941128387538582872338\ 77507989053373175541914324327053/2168016515882401956133046584263469\ 30663723245166482709560360195671974354*c_1001_4^2 - 3803559893945287032955310002179681197552183953108921745324936380359\ 34829/1084008257941200978066523292131734653318616225832413547801800\ 97835987177*c_1001_4 - 62267299070155954084942799095224867450866705\ 6740125779125264543524117317/43360330317648039122660931685269386132\ 7446490332965419120720391343948708, c_0101_2 + c_1001_4, c_0101_4 - 316712058934753758005753957748529337723039631112168508371815\ 95305641139/4336033031764803912266093168526938613274464903329654191\ 20720391343948708*c_1001_4^37 - 64532159182566827200674983619475619\ 316933522859046543646407951857477939/433603303176480391226609316852\ 693861327446490332965419120720391343948708*c_1001_4^36 - 2280179408021335154885734695641662151505356181704450258632138079448\ 28221/1084008257941200978066523292131734653318616225832413547801800\ 97835987177*c_1001_4^35 - 86509836549304544211161137679384189313625\ 3661265997429848292427034882827/21680165158824019561330465842634693\ 0663723245166482709560360195671974354*c_1001_4^34 - 1150394420354301851928029664555596514241767080300726370991152899161\ 5280593/43360330317648039122660931685269386132744649033296541912072\ 0391343948708*c_1001_4^33 - 507264129717710055880695086670146141813\ 6150240966925126410774573969036665/10840082579412009780665232921317\ 3465331861622583241354780180097835987177*c_1001_4^32 - 8389881922290770448622866179285317500573945357489070819399571537375\ 1129743/43360330317648039122660931685269386132744649033296541912072\ 0391343948708*c_1001_4^31 - 136580926785158945071814846622244403398\ 089371613573098063634969160921247221/433603303176480391226609316852\ 693861327446490332965419120720391343948708*c_1001_4^30 - 3956599648506535096016328407961338096562374488772387324035319650717\ 76114021/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^29 - 14665891992791109207073241747359004112\ 9183322698773194001923551921719822541/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^28 - 1289688605911716434662670643192372865356923089800856711389271868339\ 578997159/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^27 - 4287980790847034372147083837401954595\ 51158780422348938926541803887903323742/1084008257941200978066523292\ 13173465331861622583241354780180097835987177*c_1001_4^26 - 7687928837237989005606658998385576670495935289478205585085230847470\ 39509199/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^25 - 18267383136697088637705109744985609568\ 32087147285151636604217654344462994109/2168016515882401956133046584\ 26346930663723245166482709560360195671974354*c_1001_4^24 - 5715092852915809736591600185549847923529729016935358814194458140718\ 765916931/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^23 - 3097089511107543645524560393078495496\ 429167820520159404408641951091705068323/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^22 - 8840777037831370511209481855863317037723026143720610268486433996629\ 098533915/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^21 - 8963956264933384761177139434423172724\ 943543743637898192780283827161911690781/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^20 - 5846733411179760695212342623017686179709196928500983149276255985900\ 827073785/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^19 - 5498254737373269682645056149758382656\ 794992363322668905302147940076905995171/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^18 - 6416089207125083718806856230762342573907557540511821662415608344121\ 679502541/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^17 - 1086107053485865268071737020299747283\ 5761458723605625971871687327138074509967/43360330317648039122660931\ 6852693861327446490332965419120720391343948708*c_1001_4^16 - 1127894462144255300238703581863874058265510341531579100585484875361\ 2897543525/43360330317648039122660931685269386132744649033296541912\ 0720391343948708*c_1001_4^15 - 849582487462602274105874681359404680\ 9530697012981369203498559080303134426601/43360330317648039122660931\ 6852693861327446490332965419120720391343948708*c_1001_4^14 - 7991944285938476001533769467770705341302929514749136345196455667926\ 880063141/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^13 - 5452314711650284594592649623494818011\ 197861717839434487191676785277396203955/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^12 - 2337933947784960307872387671004616998086529403479767516068090157075\ 962202943/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^11 - 2923847028325818061334087772111665325\ 828510391900785301847016652356869564841/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^10 - 2207320331213363052978076236425924471503933622867891215007367656321\ 670340547/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^9 - 30706724877022701069853325412816598765\ 1663049318161825136568395234928624620/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^8 - 3958978850770193417223411975944558870562558093673062951370389394269\ 81145185/2168016515882401956133046584263469306637232451664827095603\ 60195671974354*c_1001_4^7 - 187033335121739288825545587738837088575\ 122572716511384391428111627516866007/216801651588240195613304658426\ 346930663723245166482709560360195671974354*c_1001_4^6 - 1071136605637183632655561967451240706553238873418638913131951880011\ 90067077/2168016515882401956133046584263469306637232451664827095603\ 60195671974354*c_1001_4^5 - 214609048504924591504087396005680167935\ 30796537083761724713792048027802522/1084008257941200978066523292131\ 73465331861622583241354780180097835987177*c_1001_4^4 - 1148183217635165239467590316747068601660932587783659848427223473256\ 5838419/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^3 - 4040749074853973828440581789754961496116\ 722885060619299503219462260209754/108400825794120097806652329213173\ 465331861622583241354780180097835987177*c_1001_4^2 - 3131241258766913535012417435824383917671958120944045945154602167475\ 014931/216801651588240195613304658426346930663723245166482709560360\ 195671974354*c_1001_4 - 1432434598846539800953476145328972238007537\ 073711481499463652319824753891/433603303176480391226609316852693861\ 327446490332965419120720391343948708, c_1001_2 + 316712058934753758005753957748529337723039631112168508371815\ 95305641139/4336033031764803912266093168526938613274464903329654191\ 20720391343948708*c_1001_4^37 + 64532159182566827200674983619475619\ 316933522859046543646407951857477939/433603303176480391226609316852\ 693861327446490332965419120720391343948708*c_1001_4^36 + 2280179408021335154885734695641662151505356181704450258632138079448\ 28221/1084008257941200978066523292131734653318616225832413547801800\ 97835987177*c_1001_4^35 + 86509836549304544211161137679384189313625\ 3661265997429848292427034882827/21680165158824019561330465842634693\ 0663723245166482709560360195671974354*c_1001_4^34 + 1150394420354301851928029664555596514241767080300726370991152899161\ 5280593/43360330317648039122660931685269386132744649033296541912072\ 0391343948708*c_1001_4^33 + 507264129717710055880695086670146141813\ 6150240966925126410774573969036665/10840082579412009780665232921317\ 3465331861622583241354780180097835987177*c_1001_4^32 + 8389881922290770448622866179285317500573945357489070819399571537375\ 1129743/43360330317648039122660931685269386132744649033296541912072\ 0391343948708*c_1001_4^31 + 136580926785158945071814846622244403398\ 089371613573098063634969160921247221/433603303176480391226609316852\ 693861327446490332965419120720391343948708*c_1001_4^30 + 3956599648506535096016328407961338096562374488772387324035319650717\ 76114021/4336033031764803912266093168526938613274464903329654191207\ 20391343948708*c_1001_4^29 + 14665891992791109207073241747359004112\ 9183322698773194001923551921719822541/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^28 + 1289688605911716434662670643192372865356923089800856711389271868339\ 578997159/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^27 + 4287980790847034372147083837401954595\ 51158780422348938926541803887903323742/1084008257941200978066523292\ 13173465331861622583241354780180097835987177*c_1001_4^26 + 7687928837237989005606658998385576670495935289478205585085230847470\ 39509199/1084008257941200978066523292131734653318616225832413547801\ 80097835987177*c_1001_4^25 + 18267383136697088637705109744985609568\ 32087147285151636604217654344462994109/2168016515882401956133046584\ 26346930663723245166482709560360195671974354*c_1001_4^24 + 5715092852915809736591600185549847923529729016935358814194458140718\ 765916931/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^23 + 3097089511107543645524560393078495496\ 429167820520159404408641951091705068323/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^22 + 8840777037831370511209481855863317037723026143720610268486433996629\ 098533915/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^21 + 8963956264933384761177139434423172724\ 943543743637898192780283827161911690781/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^20 + 5846733411179760695212342623017686179709196928500983149276255985900\ 827073785/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^19 + 5498254737373269682645056149758382656\ 794992363322668905302147940076905995171/216801651588240195613304658\ 426346930663723245166482709560360195671974354*c_1001_4^18 + 6416089207125083718806856230762342573907557540511821662415608344121\ 679502541/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^17 + 1086107053485865268071737020299747283\ 5761458723605625971871687327138074509967/43360330317648039122660931\ 6852693861327446490332965419120720391343948708*c_1001_4^16 + 1127894462144255300238703581863874058265510341531579100585484875361\ 2897543525/43360330317648039122660931685269386132744649033296541912\ 0720391343948708*c_1001_4^15 + 849582487462602274105874681359404680\ 9530697012981369203498559080303134426601/43360330317648039122660931\ 6852693861327446490332965419120720391343948708*c_1001_4^14 + 7991944285938476001533769467770705341302929514749136345196455667926\ 880063141/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^13 + 5452314711650284594592649623494818011\ 197861717839434487191676785277396203955/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^12 + 2337933947784960307872387671004616998086529403479767516068090157075\ 962202943/216801651588240195613304658426346930663723245166482709560\ 360195671974354*c_1001_4^11 + 2923847028325818061334087772111665325\ 828510391900785301847016652356869564841/433603303176480391226609316\ 852693861327446490332965419120720391343948708*c_1001_4^10 + 2207320331213363052978076236425924471503933622867891215007367656321\ 670340547/433603303176480391226609316852693861327446490332965419120\ 720391343948708*c_1001_4^9 + 30706724877022701069853325412816598765\ 1663049318161825136568395234928624620/10840082579412009780665232921\ 3173465331861622583241354780180097835987177*c_1001_4^8 + 3958978850770193417223411975944558870562558093673062951370389394269\ 81145185/2168016515882401956133046584263469306637232451664827095603\ 60195671974354*c_1001_4^7 + 187033335121739288825545587738837088575\ 122572716511384391428111627516866007/216801651588240195613304658426\ 346930663723245166482709560360195671974354*c_1001_4^6 + 1071136605637183632655561967451240706553238873418638913131951880011\ 90067077/2168016515882401956133046584263469306637232451664827095603\ 60195671974354*c_1001_4^5 + 214609048504924591504087396005680167935\ 30796537083761724713792048027802522/1084008257941200978066523292131\ 73465331861622583241354780180097835987177*c_1001_4^4 + 1148183217635165239467590316747068601660932587783659848427223473256\ 5838419/10840082579412009780665232921317346533186162258324135478018\ 0097835987177*c_1001_4^3 + 4040749074853973828440581789754961496116\ 722885060619299503219462260209754/108400825794120097806652329213173\ 465331861622583241354780180097835987177*c_1001_4^2 + 3131241258766913535012417435824383917671958120944045945154602167475\ 014931/216801651588240195613304658426346930663723245166482709560360\ 195671974354*c_1001_4 + 1432434598846539800953476145328972238007537\ 073711481499463652319824753891/433603303176480391226609316852693861\ 327446490332965419120720391343948708, c_1001_4^38 + 2*c_1001_4^37 + 29*c_1001_4^36 + 54*c_1001_4^35 + 369*c_1001_4^34 + 639*c_1001_4^33 + 2721*c_1001_4^32 + 4352*c_1001_4^31 + 13010*c_1001_4^30 + 18979*c_1001_4^29 + 43125*c_1001_4^28 + 56549*c_1001_4^27 + 104844*c_1001_4^26 + 122978*c_1001_4^25 + 198839*c_1001_4^24 + 212303*c_1001_4^23 + 313363*c_1001_4^22 + 311624*c_1001_4^21 + 422265*c_1001_4^20 + 388968*c_1001_4^19 + 475324*c_1001_4^18 + 394587*c_1001_4^17 + 433144*c_1001_4^16 + 318986*c_1001_4^15 + 320334*c_1001_4^14 + 210852*c_1001_4^13 + 196119*c_1001_4^12 + 116237*c_1001_4^11 + 98076*c_1001_4^10 + 51177*c_1001_4^9 + 38258*c_1001_4^8 + 16792*c_1001_4^7 + 11424*c_1001_4^6 + 4046*c_1001_4^5 + 2676*c_1001_4^4 + 736*c_1001_4^3 + 466*c_1001_4^2 + 75*c_1001_4 + 37, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.060 Total time: 1.270 seconds, Total memory usage: 32.09MB