Magma V2.19-8 Tue Aug 20 2013 23:50:54 on localhost [Seed = 2050756938] Type ? for help. Type -D to quit. Loading file "K12a732__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a732 geometric_solution 12.33848806 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682861077633 1.096077231528 0 4 6 5 0132 0132 0132 0132 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 -1 -3 4 0 0 0 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.324202434173 0.451842879875 0 0 8 7 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 0 0 -1 0 1 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243585317008 0.841865507756 9 5 8 0 0132 2310 3012 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.036374674951 0.788901672351 6 1 10 11 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.838716674022 0.815529857062 9 12 1 3 2103 0132 0132 3201 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 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.722841040372 1.127529235176 4 12 9 1 0321 0213 2310 0132 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 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.180771647191 1.050970207101 7 8 2 7 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.147921008657 0.987303305747 9 3 7 2 3120 1230 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.243585317008 0.841865507756 3 6 5 8 0132 3201 2103 3120 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 0 0 0.257001272141 1.573324230529 12 11 11 4 0321 0321 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 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.909169049207 0.728201066571 10 12 4 10 2103 0321 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.909169049207 0.728201066571 10 5 6 11 0321 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.233371483380 1.180043946447 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0011_8'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_8']), 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_12' : d['c_1001_4'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_4'], '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_6']), 'c_0101_10' : negation(d['c_0011_6']), 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0011_7'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_8']), 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_7'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_8']), 'c_1010_2' : negation(d['c_0101_8']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_0101_2'], 'c_1100_8' : d['c_0011_7'], 's_3_1' : 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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_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' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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_10']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_6'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_12'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_12']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_0'])})} 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_0011_7, c_0011_8, c_0101_0, c_0101_2, c_0101_7, c_0101_8, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 47 Groebner basis: [ t + 8439083263553178331567922120868840120516403420855403942002816497276\ 3104468209367129908345555405462444538634507589188/72792131272463658\ 5053040824042084557949236228978972553154409157740088936273403338883\ 88481009840679152251654066424441*c_1001_4^46 + 2033134070142172553481845457859190958408330721008862011772022127610\ 85164446754095919590975132837217618711976699031874638/7279213127246\ 3658505304082404208455794923622897897255315440915774008893627340333\ 888388481009840679152251654066424441*c_1001_4^45 - 1204987392427830255573688470892723552193804581413565624958864172765\ 410290555556863814809217472914662390496026369367448453/727921312724\ 6365850530408240420845579492362289789725531544091577400889362734033\ 3888388481009840679152251654066424441*c_1001_4^44 + 6201612755845305265310568441131794716636671228756223000617086806003\ 615511051017609900442180982163007777714059928570739729/727921312724\ 6365850530408240420845579492362289789725531544091577400889362734033\ 3888388481009840679152251654066424441*c_1001_4^43 - 1732588549356308139045269225135527209315428980012641008302507000656\ 9155915472139430093575543735517179358823327714460833489/72792131272\ 4636585053040824042084557949236228978972553154409157740088936273403\ 33888388481009840679152251654066424441*c_1001_4^42 + 5264548865529125109431198134000462921608264578260808733439258054945\ 4702365450864130749252080590069402341355304086977087647/72792131272\ 4636585053040824042084557949236228978972553154409157740088936273403\ 33888388481009840679152251654066424441*c_1001_4^41 - 9746177423000427204165104980138518145049451496908873088707645525855\ 4043301523702076948936374431421907027907445863152266350/72792131272\ 4636585053040824042084557949236228978972553154409157740088936273403\ 33888388481009840679152251654066424441*c_1001_4^40 + 2397492403591071849543041080750051062913675796916487981390381618548\ 30398766311638842658786464575208737395259999970736355926/7279213127\ 2463658505304082404208455794923622897897255315440915774008893627340\ 333888388481009840679152251654066424441*c_1001_4^39 - 2864242432532826556209652883417851848956412892624071563348592288578\ 63889312134092258161681703398246152236631091675795813089/7279213127\ 2463658505304082404208455794923622897897255315440915774008893627340\ 333888388481009840679152251654066424441*c_1001_4^38 + 7323494593871992125114297825532591876545453600200757748871096838295\ 74609042298364888677348607597299732285491478156806215475/7279213127\ 2463658505304082404208455794923622897897255315440915774008893627340\ 333888388481009840679152251654066424441*c_1001_4^37 - 4702833749195251485338242858833896235205502232601737663980579518741\ 75194040758314952389191148933307253760418676911381844905/7279213127\ 2463658505304082404208455794923622897897255315440915774008893627340\ 333888388481009840679152251654066424441*c_1001_4^36 + 1879884448106829240546541979265488858181689175983406013676064255694\ 023646489449892308876280861911160750228499707686195496386/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^35 - 1637967715749603265554342811500141161626259201700944716120583352108\ 79633685900053515719215696349225090668754449030193294035/7279213127\ 2463658505304082404208455794923622897897255315440915774008893627340\ 333888388481009840679152251654066424441*c_1001_4^34 + 4197063545671026962466090756175046245898787297995187344012104519218\ 734822965717327800292165528693749092822744948735852062372/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^33 + 1341605279615940412910241191258210687599668117010330328547653069930\ 096512598693795027440568912881804314463330206671045271929/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^32 + 7446734610740912513633648819292956517747750373509882188187770294893\ 384541739663690025604068755044532946246206964978808076528/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^31 + 4182614581791981084333617613212125276132319055308451777076189838156\ 523136030751162635828363613648299278341774326110790558803/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^30 + 9614272235362384463997372295082019513208784547498125323817009889566\ 158802044818572319964062742548399272594555934903182625319/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^29 + 7498756681119590377642139141167294419232555972409719407484493111430\ 889468375193962369564364613623790040078140983334692647715/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^28 + 8519473784495200144652037849588588798297426292013618434720296395260\ 860022696997167815838188123512280530444503682484873985175/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^27 + 4769300505999379184167603568257670288136985429120210064445187349730\ 043536928737065504320475495670545690786369275244297958/365238992837\ 2486628464831028811262207472334314997353503032660099047109564843970\ 5914896377827315945384973233349937*c_1001_4^26 + 4082357709169508083969970228819633118673183068053711491676515109652\ 886655899665215905113964492405202707083415068509035614196/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^25 + 7593495984392464946499659023611836728403636204222232733930911725880\ 850182076937507696241800368353422828163272863350324067484/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^24 - 1622461021288833194214215946918491258438646250827196180324555937389\ 437425514404548335367112609630957318087485448521997770622/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^23 + 7359007570234257183699644925675000515784518988631162813005279282778\ 14929030289766489207751023957754340407950981707404990656/7279213127\ 2463658505304082404208455794923622897897255315440915774008893627340\ 333888388481009840679152251654066424441*c_1001_4^22 - 6327985370947275966470021153987474927342369296638776692460280689407\ 122479160005220369497758758793231217448645413177275841607/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^21 - 7221393002025288178249687895620679436054597813084288095592701765742\ 344099037009155154686328930752000728811482596576501774976/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^20 - 4498672314538093071989841282880925538462281933482560850591564373079\ 96706037440893604655569433652187039128313776580918143982/4281890074\ 8508034414884754355416738702896248763468973714965244572946408016082\ 54934611087118225922303073626709789673*c_1001_4^19 - 9462538490375803645625169749586917510994960601335423414122330126528\ 010072024637533472228030007652133744207960804914543550536/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^18 - 4693079683721150468879942565465704543068963900332629700076682288256\ 144348823670106461720645751319056132995512842864715023919/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^17 - 4824143228457686696294244516194574317426941673098583444673926204063\ 015908595357946881316654707236585317047917336232872270105/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^16 - 4523890586753956293911047803853691118564686054483640084319914843899\ 1896059978023563782677471247446063202604590380776639392/72792131272\ 4636585053040824042084557949236228978972553154409157740088936273403\ 33888388481009840679152251654066424441*c_1001_4^15 + 5672086679094775194696046093700292930323379464409543856984955807992\ 8444624703499998095661871953444228155922511787645381551/42818900748\ 5080344148847543554167387028962487634689737149652445729464080160825\ 4934611087118225922303073626709789673*c_1001_4^14 + 2478911860861430793165938055435906060298548467172076671602675466924\ 661816426368300298610193216944179887987186286789468694757/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^13 + 3023155560735216124074544987413108967716434483649619844470001639980\ 175447234983733279707545704194426977805732965535077609115/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^12 + 2201363466610295164297381647333838783866415945026272942591340307456\ 349009232762245018773553672896674822178685366669893865997/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^11 + 2148737137346098296118870634077423911094158894317488606076506318646\ 412605716838972551300224741013757188354920809951567559526/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^10 + 1049541092328008302181708242017993433261184651908407328841752784689\ 431078113600300490105664685462911452095506872007300230736/727921312\ 7246365850530408240420845579492362289789725531544091577400889362734\ 0333888388481009840679152251654066424441*c_1001_4^9 + 8780400249771616409482440395461982024194352715751979519771878881989\ 78005102941072890654850692688734041377265591990398092280/7279213127\ 2463658505304082404208455794923622897897255315440915774008893627340\ 333888388481009840679152251654066424441*c_1001_4^8 + 1842166860732809314067343955025823861835286038858844103543892204451\ 6521084114569490517348172942917603258851211915328937114/42818900748\ 5080344148847543554167387028962487634689737149652445729464080160825\ 4934611087118225922303073626709789673*c_1001_4^7 + 2302639718000082619942265830579925959583830890487566539049673057018\ 52427858791789607150861992068739095621047897161896414337/7279213127\ 2463658505304082404208455794923622897897255315440915774008893627340\ 333888388481009840679152251654066424441*c_1001_4^6 + 5902723176495507382103240516090710746688653862492345819597687434300\ 8758470245267337382794869256740108048834570546904970075/72792131272\ 4636585053040824042084557949236228978972553154409157740088936273403\ 33888388481009840679152251654066424441*c_1001_4^5 + 3863675939196910271646594249099760467078723583884701997585408685559\ 8379657211955873807593407585504668868080110530582534475/72792131272\ 4636585053040824042084557949236228978972553154409157740088936273403\ 33888388481009840679152251654066424441*c_1001_4^4 + 6490781113610060015447371123659948111350910529560758593193991011213\ 637123269673433435976940033504433749744117591509404318/727921312724\ 6365850530408240420845579492362289789725531544091577400889362734033\ 3888388481009840679152251654066424441*c_1001_4^3 + 3811448117548702489760589761279969234373091492244559787676927850330\ 842624984872280089512991133490422642769516040344972807/727921312724\ 6365850530408240420845579492362289789725531544091577400889362734033\ 3888388481009840679152251654066424441*c_1001_4^2 + 3170203496770691633461839587055657845777612437066085360005386366411\ 66758927977627542258584059855800530426900137033713172/7279213127246\ 3658505304082404208455794923622897897255315440915774008893627340333\ 888388481009840679152251654066424441*c_1001_4 + 1685975091110069593333606743453580185215283634412920214411224596146\ 82347372878619641119841822795930594118054461972641499/7279213127246\ 3658505304082404208455794923622897897255315440915774008893627340333\ 888388481009840679152251654066424441, c_0011_0 - 1, c_0011_10 + 12610235484921900899653322138132344592032163004546501360022\ 52752488381331448406603092569004387772513430004/3954865642064767141\ 7543486393432747609327362102803848656133242496278852658911510704787\ 573972053012121777*c_1001_4^46 - 6996767137250072090737309533941526\ 9687555850818738342175721410678662153734580476863562436924005511296\ 72722/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^45 + 3598403268058883565197870014936787542141200549466511449666564135284\ 7130993949402367525357157622957579867259/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^44 - 95097142535292098008666650294018208725040\ 248789069737865678942143984844659427169131904868160593705282741337/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4^43 + 2968682878645454649065687219111159501345865790424395395213088071462\ 67534620478751043840192131105016237811901/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^42 - 5116369924494414620111174784225758451122\ 8281749113532620562985477341926495834281998632456036712953606729476\ 8/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^41 + 1349083081099563080432555987043841125396015059492346752216644124537\ 787756264756329359480308686886399839877293/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^40 - 137939069655015484373566223748114413815\ 7141170544871157567569146204754014468851250043939838943585930016209\ 626/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^39 + 4268468348298270874412987107724539849129248753206397389485754460609\ 273575618092716071936735028372170308299281/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^38 - 165163108088754659200546567249685016741\ 8615821008336176305842577080204141410833660928166973186774865496711\ 629/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^37 + 1173133099700071743700712329743546989759488445840350232929728997931\ 7608710940532116809005903249765905950623979/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^36 + 27479358254384993837750009471030775297\ 1803976218889857790158020481088199687917247260850724960451109464079\ 8180/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^35 + 2864853063903150492932229023945011346871061045662365449129599281887\ 1729671101006422419679666069734862255373302/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^34 + 18308891458413083229781008792646795618\ 9771973006047199635787514567680722522672816841632282831896331517898\ 82578/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^33 + 5609164689633337604244990818798138951594372991571732305240564781934\ 7024880470982320865069557718931505894465406/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^32 + 46513675592635011029824101370503993949\ 5502982210169267211550785431131250771225415799996682491422855271023\ 48389/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^31 + 8138247115479859671575680316916301207096023406126593943559410031317\ 8578862490525749604547071274289394477208774/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^30 + 77259237944090377482700207530021963667\ 1711576573683344401741808587396441423636905830562166458860712812527\ 92668/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^29 + 8547877749801986584971550911315894864535310084378530683680486404064\ 1098265279980588071825806373495325942526082/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^28 + 92441948139655298160933571297368733551\ 8651130943966315628687609796724996024173354557052128493639415186895\ 36667/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^27 + 6050902039917527213315209910793629073547226300816664929520217542995\ 6688058693188657057609477558103958368139789/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^26 + 72411044988583812679217794625064160266\ 2366439418721051467002948902123632228931049117433187974384876220351\ 76169/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^25 + 1365003716059945139618120854486816402292255176075359662016102529924\ 9411665846480284776828668207376989839909636/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^24 + 11572550850606590248644440695641371897\ 8031780274725471175319460073025640017182990402468235450797335199089\ 76840/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^23 - 4027918370600506169648630413203208927210789178254469177154766626717\ 5398180527412696704203564802878090797617613/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^22 - 61337484495459926833575767775651917752\ 1296449135224907287728980606326323870102277482347203680283850286376\ 99025/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^21 - 7461772021219238127128869774521381548795777098102832709134475800448\ 9274286409421658043707378372230887090133091/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^20 - 90702320533289942358308124069301077673\ 8674033583442338624244680046152206763233544559147752123801078757155\ 33067/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^19 - 6374570660222037903062680605286090810683797153736993973289108063028\ 3607183862308914614314942980998764717523655/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^18 - 56181041958901777777148626998799035729\ 3428363934954443205980286907048328903280264126259607601087345741724\ 68528/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^17 - 1889399867639065734584013088630151886123522347270218506927848443659\ 0350382287090382663746745022638164050930841/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^16 + 39619058084300823322630936452435049457\ 4067943902221398727414638818748233677669229469401076228953606325332\ 78/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^15 + 1822988528448284082774289988174985251106391600603629548888725879481\ 0123910244436495093976223798348254458561232/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^14 + 27825562063972423575891211237951898434\ 5006560328715267932957922395848152297492786014996091388211311872425\ 44353/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^13 + 2515195094157580908869456196162504147344171084786144244537241181889\ 7964227490395487119282069170059835143217483/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^12 + 23664430416920790434041166344504814777\ 1472802564315138692824308025955004906837658959014474155337057274803\ 45665/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^11 + 1502677407145202095494415984423139002829879094571584495173701655582\ 9725303281332431704608085631731870325855582/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^10 + 10930704894925253972806718795961619931\ 0660266345005970176440775236597231299334767078186220554508659141192\ 44630/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^9 + 5488728121446393519180891949367303842310107272485965839698422028250\ 565168507769493563879766066003290077796339/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^8 + 3191385763258379199600880242632529120099\ 5735593900665193729025601903425440712912242541763679180551176581237\ 65/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^7 + 1294010149890664978525714183444309029853057038345939497518668758238\ 545942984633347800389156955312093937864193/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^6 + 5938733268171375366330748404928828005520\ 7811459151944496579673334353618116339976570112310205205615769156391\ 7/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^5 + 1916948159197161593953984274394797678058308951484523355970724252370\ 35201219785955518220315971184231512032653/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^4 + 65094797561221655632606765962473346685085\ 768153971407774583496612549598819482150221964399275958847659966646/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4^3 + 1594123719299058263280620542398798935605116080030149144349886062911\ 2221944166929576156013793942986652107618/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^2 + 321756043907894539316587951453581524305667\ 8372082589574192377309524309741313959673703922844466952649395473/39\ 5486564206476714175434863934327476093273621028038486561332424962788\ 52658911510704787573972053012121777*c_1001_4 + 5201593187909516199240300777810736462155861627205536284916305086096\ 57765495111506772940082600130833116164/3954865642064767141754348639\ 3432747609327362102803848656133242496278852658911510704787573972053\ 012121777, c_0011_12 + 74632023436274177297039495063934847380816878009824198414816\ 8688906920804485995452399744893874085534107252/39548656420647671417\ 5434863934327476093273621028038486561332424962788526589115107047875\ 73972053012121777*c_1001_4^46 - 40749616018009115654023909773790678\ 5538551179007099401039527385341026746100258603831253555831941333013\ 9086/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^45 + 2087434747224024510555749443406454162385201931931553780050864935687\ 0044178750428993140129782528964200866533/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^44 - 54088564195510930582170351494095907079951\ 332276600218813954966082450280602813417630067954964006121304891692/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4^43 + 1691483284246824712572562544808090335493531037254021727288806012239\ 33120349454536498235387636861574466381779/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^42 - 2832050182121379951144061922402429500490\ 3901846544332170170363099145179695496125075378690292202677305480151\ 0/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^41 + 7592107923622325010099379117128506284711449428028652938717035585194\ 48960892812341737272122653668254627910379/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^40 - 7251026008517096869702634999479025131383\ 5268604022686650726506506443191446248994642405827852255843102863660\ 7/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^39 + 2399923945800147545139681365556910138932749039114138032755461803806\ 655144827457391137065026015744473205524626/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^38 - 703568920605347910602915478713603811061\ 6255106645409228678178515756961806714461057255055656046761334395791\ 46/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^37 + 6691551014511100250906372529896598644896663776846859905688184618844\ 512860157033433163775628384468103093645984/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^36 + 228465426480748846757460652306935791555\ 3843724669774349446087417881865174676950034410397803723107536180164\ 720/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^35 + 1664859422700149852656831161746289703316475887514836834250200258793\ 7762067314628420701060432601626704442604826/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^34 + 12170767842009028933513126024279718480\ 4290243923228076876023571293036950407326815612814011718418324386410\ 42249/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^33 + 3306024228376883839212326423134895842726417701077152624184494362628\ 8315503680820828878035758299916425420906915/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^32 + 29654545373343416602662048637180300702\ 9787035046320801171378179245628084698648921909816406943751966272517\ 84163/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^31 + 4850829933549817886834453543949375883981145876492719130902734936404\ 5594443554134353632505549682746999572622000/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^30 + 48107707997019732507846618686799129438\ 1783551899947575372697603474119074180085666058793343160233038179150\ 12733/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^29 + 5173625264518881281678748799601154934558032569124409587892097320541\ 2900939758826970079775938795791558481046217/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^28 + 56277067525305858824030540490955229755\ 2872435296175187945283425610988676443351120944340426488197003971602\ 54979/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^27 + 3777862341029711589771469844262219534412883205419109166293646051255\ 4108415799392918654854336981118916720236897/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^26 + 42798639182864684736590908475776416997\ 7284439158001620337372020921115690257622689573474646376591448769729\ 63728/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^25 + 1000552375826301120076030438774938993728821956552780306760869804442\ 0305983538747183451457095411574389701467693/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^24 + 53852212825455461976012976832298225220\ 9567754924083238198527827365917549407175753795258226281070343856685\ 2566/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^23 - 2340701864571393992551943712188107034341068388534196737165386925254\ 0983626783518321149268426137381782406402278/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^22 - 38196011622194976065665040405545169420\ 0036920193216954808314766401847508843387458737956138366245133191989\ 63725/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^21 - 4566367182628344756932674146067561154820393036641871464103352344524\ 1131094859256039221476831307473556651234545/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^20 - 54933479153482323325415984332270310679\ 5698930843337674891934729897689303418882282872323711469204394835958\ 62827/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^19 - 3973302287351102888792196296622423565881863380214807671987244743972\ 1210248758572080711053523188394971668851955/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^18 - 33440548277389195110986595410461426008\ 9560150383590732525846342866340502678105373074579627355088562079294\ 91229/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^17 - 1208315042099343061750397269066824538305441699549209958492260581980\ 5914333013283802490049285672684816204559176/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^16 + 52698143981687505080046624843280849320\ 7116376082659371345158103652978963103216740477754818295433882063851\ 050/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^15 + 1109493323823869410248301102470992083921354497651602895187647563270\ 3195567509318392877317636044356172104728265/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^14 + 16997267895721461397779736912292832183\ 0274671877487104422019802589153043443383060129282393763983527753248\ 78198/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^13 + 1550205454216489411980787871703320138641075893889183290739038613163\ 2252242571256854404009004026314108173547271/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^12 + 14267583212498701354531976688942045771\ 6031236869183387174452114984298777139303540396404058672786844593553\ 08527/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^11 + 9279997484983891462009936593437910370942130833260195319495163530164\ 310156901780211314791907264113346151181261/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^10 + 654151365734517184479752302480899125071\ 4032403847693324922142627710285846708721141652830417644842271279814\ 403/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^9 + 3391998587454889638066404083982037068042533070744785786565062710195\ 104818735019450512269939816524294958156724/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^8 + 1897804246558878238682560996218774106388\ 5916766707853594153510499728198460913862751497170092763025813749644\ 46/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^7 + 8008850781790200865200420973333732893030527102555064514250334479616\ 36078262180271360029384565011234634894393/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^6 + 35094874774534942783540526043477683459042\ 4132738610619312743986621206902556642264470706889559780183103738253\ /395486564206476714175434863934327476093273621028038486561332424962\ 78852658911510704787573972053012121777*c_1001_4^5 + 1191681107605025400347013163643075041274588602188813345755504613839\ 34561302166760964370789833895025128974267/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^4 + 38203299016327236030252267660680339092968\ 010151284181032791334083364923104349788296064111734580051266826766/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4^3 + 1005310067631374265311360425065056057867297726284863277358755677494\ 1268443608852367223664238280628706402615/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^2 + 187319356143878895336960915059725550340022\ 5685602235971233995332987692013636457693076614636397856306437233/39\ 5486564206476714175434863934327476093273621028038486561332424962788\ 52658911510704787573972053012121777*c_1001_4 + 3216223449927770132316791945302945177332821339461509623824376456055\ 56324143061371382049589870732079734871/3954865642064767141754348639\ 3432747609327362102803848656133242496278852658911510704787573972053\ 012121777, c_0011_3 - 223883190084639716536629425669802557529965409929342990859105\ 5004423746472616092069910910626288735380951764/39548656420647671417\ 5434863934327476093273621028038486561332424962788526589115107047875\ 73972053012121777*c_1001_4^46 + 13574599003147374499479950625652375\ 1233513138465685146332530552768189869308369129876025774489758171086\ 64706/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^45 - 7024376833616079201233512228566074947097081338691322913526944494283\ 7053224862648661339468885057325641560055/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^44 + 20165759334322222588908447514502176799358\ 6408842378927732403711680204369967540215540932743502989375770297795\ /395486564206476714175434863934327476093273621028038486561332424962\ 78852658911510704787573972053012121777*c_1001_4^43 - 6139464355564446410823053442837856358007350863003221191816559394191\ 88089688206506333758405803008129818312644/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^42 + 1182326304649295543808938100435185065165\ 5997753129910683690710613958592645401431646936053448282998594042345\ 63/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^41 - 2871925523916755673598533198546469307871943151671233807337749593187\ 153983713857884689902088132028811435691965/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^40 + 371944635612068607926412003132287570324\ 4523837119265667937423610471429334147043808377656934270084984422557\ 428/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^39 - 8915298874799127702358608705526698224615776868766556229885060291095\ 084641294617157364065007031469222299847250/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^38 + 704573932129822655804987513315844057528\ 8469663379897191092958193596931074898354928796421366939548410378962\ 523/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^37 - 2262444862004138363786556869567977925043195050966436420250969809477\ 0755160260230148836099992603075730407598840/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^36 + 65394798189379224105226869161527485884\ 7498660214203837127463342405894064094381460668560416088618855752348\ 3263/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^35 - 4896908108411327513618639638262131325970396993148933231055179039737\ 7661520552554342333528217665276205344950220/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^34 - 46065187081656669657373030759781839203\ 9662662075613001343839045308749449652027116101950904916656830255689\ 1213/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^33 - 8375273840547162434777224748744609628220813412388486927936167302989\ 7258194882507506865454437434946659658182890/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^32 - 27972013316647144722723708562516074785\ 4076822045523831553712854867558076733180427201498026381705045780823\ 69266/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^31 - 1030537283753093979996365527424643026339183935363799517521789420824\ 19681772468105242468627050702970332761197395/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^30 - 5795403073425298886727122776425948213\ 9782863375884787712955946705888812543862734336388364394088017958282\ 013471/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^29 - 8230063250530671369508155942415379556525371525869994507267886601528\ 7449151130729170441950506742382767643713789/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^28 - 81487148879377107151097959242173879190\ 1630278327456388136673927880197483596284717326916336980180953631424\ 15687/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^27 - 2335435572794684442685055867400237074738977131573332681180063819538\ 1409517614024561209428835885457671052363000/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^26 - 71916207411963485400390181455059398524\ 3208022244652597255272847904545979866941952091203208844508772733929\ 86988/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^25 + 4334652925179588467843256258461039224769653442484479807337121882278\ 3286515390997660159877046958124906519375921/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^24 - 11621337628179468207182179451174974164\ 6661187985458168305376558269347325804258129773600527536832958064983\ 64455/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^23 + 8457022468567858142470380650884467028684222484845965264462044219028\ 9923677984135002709542242880522799686480001/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^22 + 65410473253201232487543031991039953073\ 8505291098499006382645628541586134254967536936151098257225974054827\ 81417/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^21 + 7722773980375007492598357478633810664792272168642164981626753050941\ 0778359526788619673882386577452985383640522/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^20 + 87493299188219179476427961514469343887\ 5210577811848158023477960470786781126310350091179424329122371284009\ 08444/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^19 + 2853618738186353587122668332174324094741069922944937299670367823974\ 0198645355247118487891560788221962239703750/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^18 + 41056813216275530276626135970994541604\ 9079614181796310756419429455474948823877309930028001118775653368607\ 38890/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^17 - 1961923789415447726884301706622775456551801021145926384087465717721\ 1735182652780841928357049843969251694448585/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^16 - 13982561193908873564317822860670225255\ 4216072923772232073068575206357565579855384042966865586017249220879\ 98566/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^15 - 3229135242203852064173202442452375228344489805350619917009068385500\ 1447987681218658636520246612732275691890646/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^14 - 29533914196149407897472963364209999618\ 7727294618145615384714564333171892731654257474028688051021045466116\ 09885/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^13 - 1823952371189262130010297624073832679007737688714044029091946000393\ 5980317563123782952332452382743643530475829/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^12 - 18185677871083112440592137538842814094\ 0275184656863036527017876654836021795574527331636926515575631177853\ 16206/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^11 - 4518545258908868682881087332374105671118590458999005177538917356841\ 726043225755103154573275845467431785697508/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^10 - 624884548229129130753173447716994701377\ 3821959869619469603779151209137425989390508658775595990120454858757\ 710/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^9 + 2956936579296558380254795030818239419988447493319815943594184888958\ 21448388885352724318852922800670753127689/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^8 - 12602306436550707358158020874488942544307\ 0000983407861974931328258481857319344005118256031688138951580129623\ 9/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^7 + 5568403239373813352560934760631275243657055980465228744383785837346\ 98882420304880986512288432785758123135478/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^6 - 13324518689891321439529840520068227440047\ 2449953622069208128807081592433308125346767816367303756711418885357\ /395486564206476714175434863934327476093273621028038486561332424962\ 78852658911510704787573972053012121777*c_1001_4^5 + 1724132214828032702528699466694794860019182303995312646735306287607\ 65907693420433540394176653201722227394344/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^4 - 36432674291319932828107464574229636390639\ 25014899423927497123898936678515968077581506636172507930476008756/3\ 9548656420647671417543486393432747609327362102803848656133242496278\ 852658911510704787573972053012121777*c_1001_4^3 + 2535553132119810594735504290608339272351690789151302689709227028402\ 8098930546515981045735659333794648072835/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^2 + 308962543486450146659689113495243076562909\ 467350285932017608840642275488513196597484426983893891997567047/395\ 4865642064767141754348639343274760932736210280384865613324249627885\ 2658911510704787573972053012121777*c_1001_4 + 1538436513444147519141158822012296061581937797612517142749086056206\ 499886851890621270739874750401113681650/395486564206476714175434863\ 9343274760932736210280384865613324249627885265891151070478757397205\ 3012121777, c_0011_6 + c_1001_4, c_0011_7 + 431546643994015295344756522517277343388420472922843762806825\ 4451859754708437099108876681590664798304856988/39548656420647671417\ 5434863934327476093273621028038486561332424962788526589115107047875\ 73972053012121777*c_1001_4^46 - 34214577620414780520802165398520869\ 6375476646478519875543885907988783873692160834215459204354765646407\ 62378/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^45 + 1817221963316436030267160062761574346295552792562838112546734770034\ 01258038806687591218938455165132219643075/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^44 - 6256901065769469989709308769889714278320\ 1698975697648879532812381266423343783338329711933223412641613305869\ 8/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^43 + 1826698823164177703241937556410791132416097075622139512415371036824\ 692695807380609559311380061696373231895350/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^42 - 424278459476624721233782282226853546573\ 6555115711615992050091845869185033098517251903019830483662780704510\ 336/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^41 + 9041118308977652974994683209933078442801934095246143979277543807327\ 440959261418656029893631016609413062297531/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^40 - 160018987293282104738625540465925734533\ 9448095781367635021553311401159190278920946460101748610233512571379\ 8603/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^39 + 2697695792848866307145733792818332654506982492487845959399427518720\ 0657567564088340574209251277738082762987463/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^38 - 40697959856176866135028571156827696745\ 5804913360537671036732374371963136639982757443880375235324480128403\ 87881/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^37 + 5773505711202488219026131969249154141481761390544910409140741571430\ 4414177961153263222479797390751168890117995/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^36 - 83993992593366305702644747103766844157\ 0482332242455986690759354874503115368216745465678648041664033923996\ 92946/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^35 + 8982292334207285458851019182942381023482850002263802483799934086697\ 8913210316655255463741172348885726341636407/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^34 - 15586632506965611052763136898304704307\ 7146579673008574568956761816367021463800429853133282778429849378542\ 733125/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^33 + 8471122591923067979417931004740288931479698786101010396973768091514\ 9203357674857438334348141375092124079869698/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^32 - 24735640114090876065426644872010010346\ 4443621239190959476209970109651636332686121626141578587536656380770\ 584910/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^31 - 6288127738758802645176374261200056647272353540704176864801869346432\ 057093865075931609689362121132356819845463/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^30 - 289541510729615647332937686412357390859\ 8379008903424910241227729891366553524737540298105123118521192373257\ 94668/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^29 - 1841739138311902580821605543088447018500663787245905091908189352226\ 13679479445566075665554854826348474038492642/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^28 - 2168886493433974054384255773623493244\ 9454077783163649421981418103579239312671216921712830703366724721218\ 6009824/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^27 - 3654794595343412670049653367632711417403386206061073519742382957296\ 14296367136081579545867880879520459485075662/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^26 - 6827284564014164068125899351266012745\ 3044599411238400885343388361446017030841783950058410130549304617457\ 466596/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^25 - 3926127694835405291258424717022131879762180400460411396572580287974\ 83856682236201311062884522996877991677677061/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^24 + 5459099260962266078115150121403840448\ 3518589532551831651472614201286610127183374003405477621892365526306\ 923772/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^23 - 1745966324696910264650440506838151128616993208838337378654917307745\ 03362261843789367238907197625138661255830164/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^22 + 1302177097665597533880980698416745543\ 1149608104151529305290864469886508377143068333896280699358975369954\ 5833032/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^21 + 1712631532076874171966356260706638366498275735744972463608138891987\ 86704143234986689461313184167171811472888593/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^20 + 1765061665177634703453570000624323753\ 3845277235924508926268485018589586493545926976941955662493983168950\ 1008005/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^19 + 3523483154173304304084035525755208206187424735753431883078871410997\ 91631365109868115811098473420472318163061117/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^18 + 1497499468402943853157885325109279491\ 0895378338187538689166825224833413863081979226503635007320211830773\ 8190984/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^17 + 2426518015750966358445190357569869031198883696982878034807406213334\ 17792823866736495968108554748305850004809733/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^16 + 4228255707622512504486234928646229309\ 1139153557231673903270246090102989669805787304977751525707388612719\ 522074/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^15 + 1743980117861696161814919918646202161393604245843856063835616657857\ 1486433082119384709250078162987368458181223/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^14 - 52677344572188681683330889126655812398\ 3809457402174742130860245249351278820832944524495136488303712702078\ 25998/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^13 - 9743269584657110885965404024418543882963435285178914823056483030070\ 5377872093523612383018265671958930611041237/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^12 - 66562972928431064250960204942320943741\ 9235125509074713729137284283941711605473971778256703627127600621567\ 92479/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^11 - 8448696220091498978822308955057750783546053198700640177055238436351\ 4144595725272556419397550124016286237087973/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^10 - 37141816388712722791202769132746965399\ 5985513324193676055244142403657659735337252359287936898995707066267\ 17088/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^9 - 3820723275532698649644492011873899800095660322887131509680172277656\ 5715611022364730752464185378329444131958577/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^8 - 123418509439807098807153858067225655290\ 8571857100777886811060460826580081083953861439332364440612530462870\ 4685/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^7 - 1077631740023666104452585059935720438964218846192600578794981437107\ 1142266544464980850000261207709803546074966/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^6 - 253983770926660136341200730978110182979\ 7495850782628827561672112465623285581343345141792128215913555601112\ 517/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^5 - 1922128123171729069995518327928339140324310831802573133253652629589\ 816882552935369351830104548883565050620263/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^4 - 3025921066148709066624436759716572463323\ 0042622349582450060481634286519345658380151978247134224574364149572\ 5/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^3 - 2002484130404262101880376167329610274177495545950564369033849372522\ 77657038318267305282980940575300694052501/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^2 - 16132677023916310649606946599741019371696\ 594323298654104196999520819532110441556541231068538930774658750145/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4 - 9336709563089528348206521884992062637121182215336859713244050705127\ 689156282753178440465585428476815148945/395486564206476714175434863\ 9343274760932736210280384865613324249627885265891151070478757397205\ 3012121777, c_0011_8 - 1, c_0101_0 - 375588648510031879490251493268328105226190435943210781429693\ 3421846029751754835796792267645616312614026336/39548656420647671417\ 5434863934327476093273621028038486561332424962788526589115107047875\ 73972053012121777*c_1001_4^46 + 22423067609179413769506688618997468\ 4915866140180790271053297670379788769291546884507446741123214012832\ 33760/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^45 - 1156112998687211837777733520822934289428816485835890827419102417485\ 60747617952576561873641430247212753424648/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^44 + 3265250173292646987043163549475005728471\ 9150462723719509385949111584636160152061556767130679793559216876349\ 2/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^43 - 9943013066257754594969727454048651181070591919714504641807803675237\ 20999956888590049995693103993243290339940/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^42 + 1874139976153263139640018545953933512025\ 9831001331418327600161341436325766694147401132563642822987406002285\ 81/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^41 - 4594922086553910694698757040233073930099613089596224657357984517038\ 096912181596853921537379793941420773406453/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^40 + 570802059912682985198067159913633878416\ 6130264015913320227019231941619890292363638308311991504333739985169\ 252/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^39 - 1420019591952641010322484570521139454057450428141864317474007621401\ 3311927233666101426117820467829604200679023/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^38 + 10146503102858216202658521025792284059\ 5690643130997111700037555970630124011302459306533167550951257493358\ 48178/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^37 - 3637164740509703917406742025404330140238035489889546258694392619490\ 4390009790338858437969398472665839269211626/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^36 + 68044428753393570055939363449230975241\ 0885327911232510801821644777372509459899927672527285673768173821856\ 1593/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^35 - 8014516816246183707093628918579539196326314362047525596357217689738\ 4264154606337074965672242269740469669084376/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^34 - 16541758314197876891542373308258443393\ 8697090860174406362228257170048224454883678117761666159192524224866\ 84277/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^33 - 1397592465343378419632803535939647975949522189983604161807753485327\ 48268388800259983140111558762826480034041548/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^32 - 6204234925293529770750721839144965190\ 7545046674698113320080956073454018285626815820680206084142244136278\ 051083/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^31 - 1761068662941731388392669457837404385997674287442796774000467457605\ 54696370578892115850693567314735369019368024/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^30 - 1165041200160547606855963735242914486\ 1879957484041973187224444743010873733665980709209053439497162802769\ 3106108/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^29 - 1480008185700915834016690830229298243451076062233518247531327801035\ 12714497371867741109441000158077962094335484/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^28 - 1531984318756322675368398117966889606\ 8567179906353093796533879833271828535685575984520512535796193583559\ 9595523/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^27 - 5612655686590797018665154591220273490671942921881836368019426064223\ 5228574362679341207701245776849464352400054/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^26 - 12703573433727957070393237840704134985\ 9696914696345747975408800633597526474811786288227940382602509494024\ 106019/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^25 + 5461538468896760024910279415831466624347590441624026436233151569504\ 1179904303288926946162247418862100884899600/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^24 - 14179164608032872654166352574125016988\ 6712122100381635478081379281920557395924788487956462110199103170993\ 00473/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^23 + 1338640723717668947257957139002915987116495987817738155009649164796\ 59240966007729157607934923025315016366641915/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^22 + 1222064404717995318211879041331678669\ 7926603717575159862810620182310740083073003657310422749452630408234\ 3126599/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^21 + 1381037074820927704492292370983419550146305856833724322911249803878\ 13446074427695225834618095995889535597281786/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^20 + 1593754299283669607862683851906407362\ 7228343227286093485940931944820666750771720158596231144846438729330\ 5016970/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^19 + 6557099648912655029381811777600194601805748300362338620548695437023\ 8021826777242399952500828064236319248488585/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^18 + 76113002367637034336514802686049390584\ 3394529809628868807150184343270816030243238541445914728695346074753\ 33808/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^17 - 2033222351866900126338219204506964781104289847255914778153317688680\ 5037207879641628043355523521365367620552202/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^16 - 23050773947505991319992070379358451159\ 1132231637699175995001659425717951065575673931916823086315498581885\ 99062/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^15 - 5280650488188056269095445476266493237465600812290451790096568965023\ 5515573414610328916808293614379213563745751/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^14 - 53119892593731753312459868324358967630\ 4781665728578859010624914757589654575501707905141993007787074044610\ 50731/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^13 - 3554028230327974004688386457332521293209666775229018133945422395282\ 7865638000650098078298666127687463842177547/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^12 - 34186282492988184596883197932184123680\ 8635849312433181033873001583519771608347721619785615709262584744576\ 03516/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^11 - 1226879639719932752942722615218429123883906765974494665917778312699\ 3609970620369725435257027787019228819181354/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^10 - 12502174602610528905446541130068915780\ 7847936634811924901763371947842818880080022180890977035009464173593\ 40917/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^9 - 1795325006893852111734952911625991690025653567208159124271374782775\ 294109127088637776557257000340290630591902/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^8 - 2815058832028294658875393640040968883864\ 3413000850756817241087372214566151571850472073046438150221219398473\ 50/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^7 + 2323162490671903290203817448349449219468040955741741245022235773225\ 30423798022024552947462497629012982396870/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^6 - 37842418694376975723749944132689410122528\ 5200079047290686572764974090624753145926252179041323499709408312648\ /395486564206476714175434863934327476093273621028038486561332424962\ 78852658911510704787573972053012121777*c_1001_4^5 + 1523056243648081146861638870865085847949780480799243055296915645521\ 00779258853866812033124739859686532026393/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^4 - 26126784298984112271687514656281440207834\ 447415096349811329034355415402047707446577668374800952422467554909/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4^3 + 2672098064215330874132765755740268765330646468312538013468929109329\ 0120133534207998732765748283475257741659/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^2 - 639340274257479003304577015682799617246809\ 701732515416332589283593701251768064464740232855532805882314560/395\ 4865642064767141754348639343274760932736210280384865613324249627885\ 2658911510704787573972053012121777*c_1001_4 + 1750465363195785082114227028187460911269887622076200023214333444785\ 909384439696138960537229516842090794334/395486564206476714175434863\ 9343274760932736210280384865613324249627885265891151070478757397205\ 3012121777, c_0101_2 - 848421603182789773621915121593590876956887152668696788970121\ 6867760136748491655063456597210846893946936900/39548656420647671417\ 5434863934327476093273621028038486561332424962788526589115107047875\ 73972053012121777*c_1001_4^46 + 47943077641360920676219352262425054\ 1339984392597283596981077771104162200919281901329290975519135878626\ 23974/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^45 - 2451212177313438862524511706045601915147876075692265507278587276196\ 85740483069868707269890400257911339673169/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^44 + 6551127663684061391808003932261485798722\ 0944840094898101266611014529011535588506158264316996339469680608505\ 2/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^43 - 2015710851194931771329521914346014380539209054939388291733307524532\ 883758465038903383700584451040736199022159/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^42 + 353354253695328851798098568930829025672\ 9919436448527986532159018525310600657771116809189703374163858667895\ 667/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^41 - 9084853602386643628004583738816202258980848832649729400679737720886\ 464623643307045852914150555500483102017702/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^40 + 970713478079880171673890975065703647146\ 7095328353805972271643828779000172988027699652458285569996256506329\ 492/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^39 - 2827942692779978219108339914212248396899276697232780214852669350541\ 1481272832947135578458912904611937127169862/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^38 + 13184567414203990552606400332962719213\ 8566664934975501583625607160832812170113597950612334327070755061578\ 38292/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^37 - 7596740875656488554537878492785523518527782656365120472778684865186\ 7582086228898284122993692031651346658539836/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^36 - 96497459011407021420137074167431664180\ 1247481806829225013474551586599967014471421629611337774061055407352\ 1387/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^35 - 1791008484255077832374911795534214112981286418290910134464142875746\ 55847080618037095731984700150145322881480598/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^34 - 9340168980983961125095607091463150089\ 8387818471967651528134453746447221076081149234131263127553730172576\ 456010/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^33 - 3343249191558381160296524277251796647972680215385909413862471389489\ 57584123930723348759546244737253106594168088/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^32 - 2400937168650374918935030995735011879\ 6831995924405933241090933586641350325322950292435556051215855339453\ 0946653/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^31 - 4554000092955249481480365693055131798006393280327318425912089294518\ 27931772834875263076322009373045776286105395/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^30 - 3932965305712600816401373576753506609\ 2926421327296671332505569689301182487816771578916791416026769080996\ 6161233/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^29 - 4376019846005575384700235533665401052008297843110060765399449306449\ 96564756427398981295794460106544831273276233/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^28 - 4631412440746582689104512703039768818\ 4979299460402433483003656645475337712620194798837227889605095381549\ 1060019/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^27 - 2577468097190967186429065912808410087213303121050873461636598045266\ 66941204976900239520450409946623286570166538/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^26 - 3458450445649518443903309152436145121\ 3531513096019294584282110666098872089643792822901083368587243271902\ 7652011/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^25 + 1830865342940551851388627359505301258320353395913279893615731402204\ 5871004990637535687233150895902366972452592/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^24 - 14403074849491206751608525345940504397\ 2272511002184625847324635135354962804950875121413121675506058527199\ 18071/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^23 + 2906252952294930092404569894513895675505555095810825444392398520326\ 00799632882522376603829803751874986530818179/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^22 + 3587839490567617223627446439314194239\ 1296397486625561055374898355584250118726394911802607901750561973459\ 4063549/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^21 + 4091155698626636619021313474264480396921763799316076854576388183086\ 06178227635518422065975387680751174130841098/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^20 + 4640736803369644361553380457549555773\ 1090291704058157056548038744465749985573504259127338606775794306111\ 5140468/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^19 + 2777517772524418840698942026596277699093503257510571527848754331789\ 73764731660699945042812691158356148686098254/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^18 + 2391861061825653551554949278229145140\ 0997243718605175134934869320313227349479555014935709197832797922536\ 0720092/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^17 + 2230480618600527929803341693947158528068930897236809525578360499569\ 8780226160288427195126518989642378510768557/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^16 - 47688388000166716446340939101353864897\ 1721383350681073869173498477064248271122605507134595131284837399244\ 87518/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^15 - 1302860143611962429720829069494865055265520250644269355777062274883\ 77148089626632676765573568587027623055813071/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^14 - 1524079178213674134467586960270563252\ 0266732219151378443913173779763097744277115320297007939208654281189\ 4731285/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^13 - 1211873802649655383924643659388259669800893691802803255565496768145\ 37789226590745829653614552753275921290470095/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^12 - 1080411947274703056725351274472090033\ 7965706101532756083657418795361363611810028537527420440816762597470\ 6397838/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^11 - 5778535778572020601914752760811904630580215402034875423812988709428\ 4246099843400175637316232664997098717343186/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^10 - 43667094097505404189081114058400250977\ 2345225570608761341580813671410229679259601184307967072776570559435\ 95782/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^9 - 1670902232878559472260288120204899313737035834783072028448829975122\ 5891653418650527604658325288686300999897062/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^8 - 111829271596572705177413876566151796717\ 5670907633990660647457957183590836345161879508809674204743580357908\ 2785/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^7 - 2900945452003475518700740430040727673964123428821177852381950634573\ 839674777406800305277028890955183182717608/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^6 - 1806295833022087115199981878042954288761\ 6440085413600772606393043093162225306018518173151034770684063817356\ 69/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^5 - 2521646630831646475637905809960025616939628098903094257213639839300\ 90557361076591138886167050706448841638353/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^4 - 16687874019133928683780313162746193168466\ 4089003714088810435257154438217138866306230270986032388157328893995\ /395486564206476714175434863934327476093273621028038486561332424962\ 78852658911510704787573972053012121777*c_1001_4^3 - 1146684999834957720668297830368614359931809283577783749530690555125\ 000335921606899801069304790935928212860/395486564206476714175434863\ 9343274760932736210280384865613324249627885265891151070478757397205\ 3012121777*c_1001_4^2 - 6643783479341017457805782177112838710411597\ 269482974599301526405748676176321859316993341807795460619354054/395\ 4865642064767141754348639343274760932736210280384865613324249627885\ 2658911510704787573972053012121777*c_1001_4 + 1082188415233592750013747816288132128634566010779031739005694126962\ 550513994407799665586451722036591639622/395486564206476714175434863\ 9343274760932736210280384865613324249627885265891151070478757397205\ 3012121777, c_0101_7 + 113164765931255495022510603304447624308474711547303353620617\ 8245052436281237886020948525813849461879555868/39548656420647671417\ 5434863934327476093273621028038486561332424962788526589115107047875\ 73972053012121777*c_1001_4^46 + 20357531227904642278560378100040826\ 0579647503034915989412618134565100226156494938146756319674728923355\ 206/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^45 - 4648924451870881968278408434343680390415823766146151009813765814676\ 304568788464699691138764284737416981697/395486564206476714175434863\ 9343274760932736210280384865613324249627885265891151070478757397205\ 3012121777*c_1001_4^44 + 103649241154820952030377393673774221247095\ 015900693962606052430482142941385129386072193955755236516721588004/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4^43 - 2423808808229444916687991766435976720878396512872086924997994904507\ 94350584987000397250549784861476517501905/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^42 + 1100852911710505412363171070504998783924\ 1097090077901595305960579887991811668371406617115214913513012012961\ 98/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^41 - 1545359310458588220468351615987425179490080007001558321506099315934\ 473407910213181936605192378529394593257038/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^40 + 578161436351608319418023381101079994362\ 3101461435586848825976201294515882328014093823876254211348172055400\ 812/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^39 - 3779808750923591589840586203840103580392633819095656554101785358054\ 627203214835726326199249673832235870427882/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^38 + 202011553179866426975806346712762655777\ 4806254716705292377986436621960921838135137908158648958558327800103\ 2860/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^37 + 1300255449805367047099733375839723601874316495653345907991963836172\ 7618661601668604402337125246134352034647/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^36 + 60142671932782345794596196719525664313277\ 8064808263160242185848726143101528498347586611148578743190491468640\ 85/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^35 + 3197677917792258796698926787449784748037029533089087692567791982064\ 7568659316551824027546189063729861344491542/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^34 + 15125754234114785193222494789434481496\ 3473977336414541077074346124323433782235328935541195254203018011659\ 431914/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^33 + 1189998459589601850557252768238598228581289258605169063521319760778\ 85224972352013657294699719061841808358943606/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^32 + 2917200267696167387501897490420297114\ 4078247354259668282944281427738182553769140136394971427128656370780\ 3633832/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^31 + 2518934643175983317605609794697518268268310372137692249729039640718\ 85212334206571347569783143388975148150985601/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^30 + 4076211292607312402089352572216002747\ 1089462339807578093195956011708241648836769296952595618436262852506\ 0641779/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^29 + 3726191780876844569119263877175074782668566898592721403922836869111\ 78182168466303627920731855758134830238977503/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^28 + 4055126424083419033143909195844651850\ 3501716905264540314519790459284109978567851728760294863358364081479\ 0287582/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^27 + 4055029860077334075834461627955861440297677590941834377013610146180\ 50770943174116396853141259987096454444581514/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^26 + 2530917690552627232960266196449157768\ 9585050106427261805603927419123712087820754145711087553981402027468\ 8820168/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^25 + 2756766838966934176819486099202105907711829363585108217553067919377\ 54050966654426017709649657059615132788729577/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^24 - 3133572822314566415284234295672173119\ 7295493324716614667507496664962012880370752526963048231080672564970\ 45299/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^23 - 2457309474046338999329838309443074161402753686785170865080309443421\ 0627794037758257644089765827706710885934705/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^22 - 26563626422891236605230796516381764353\ 0443354094147286478651608259235082455506748177395359355227257020535\ 636334/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^21 - 3376447632688006666368341893880851644914267978639488297129409020047\ 20934705064047945340177627631326747769975317/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^20 - 3789604832167272171858598081380703309\ 9497152963727877984492825391377470113058049374051882365793689871444\ 1911052/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^19 - 4064335917872913938235858372578427473418776402824264484177528438577\ 29636249191612543031324372620200859426420505/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^18 - 2558747814019918182482289224173391031\ 7761723104730816798279090480327700212697480248393334105813483761807\ 2339382/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^17 - 1968059743160902384915167573652619454191586106467865287509052194019\ 42756859542283016205169838973597516603354444/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^16 - 2109433735816087126391800136523460825\ 8045492549152512982604789942952038069952439664127030689055209709347\ 163945/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^15 + 5136600270550852153187764280747168848915716667032451716146328022928\ 1518482535679856924679608877790310709357033/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^14 + 11734410160248871304493762094667949318\ 3772995985212410027333254983983728225315850513846543063940248484742\ 555822/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^13 + 1362818542794871116859384017786005949369656276944690803355258334685\ 60675050005402239635199960208286893141173688/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^12 + 1105351468744437529142776809327365239\ 7440298779837319545339089505149335472333555684359760487748807014173\ 7934407/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^11 + 9462732986388983172104121514388208901510316352203345429812780516841\ 6363473995322990966763606557627685175320161/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^10 + 54043124456811828751064563029340100434\ 7611733914175469295963950236418498684533700981694409251105624885686\ 96330/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^9 + 3799882722656137722201880821012230251318260174599513485395120898307\ 1600294306520447716454637113430005705938444/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^8 + 164112029905282581765208945548294362129\ 1089529010963699609995114846153254952795436300410545368813021110970\ 5307/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^7 + 9729733943174237007377005131678649499684724887621144292904699833516\ 731503195177047832649249750771470411070289/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^6 + 3145711990408891842049492241514366454130\ 6810136928339447864146590258721093863700459570816397761942897319274\ 91/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^5 + 1577736881097982224330994051816066786587978364255955233133104273036\ 267278959102629727712309906857917639388681/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^4 + 3523600217205007948388731611891529295059\ 5124266102985450987845568696839220492548418854132954078794430491865\ 5/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^3 + 1471596492205060511195048888519251891773931840419575286162575548846\ 43581814357302438103020055314850926851497/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^2 + 17724705938115137322979816492041251019695\ 488384748230888027052874663551878713580881583279353460207602560616/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4 + 5946066505882527823427800900117942326871719171848183512372808893991\ 085818286756412105131462769086128221945/395486564206476714175434863\ 9343274760932736210280384865613324249627885265891151070478757397205\ 3012121777, c_0101_8 - 149482545231020767906678581612618305028707926637554156348931\ 8322313749824284291237236655043238000591723728/39548656420647671417\ 5434863934327476093273621028038486561332424962788526589115107047875\ 73972053012121777*c_1001_4^46 + 54934000965576444173773972969772766\ 4512658401818166906056035285510481299977589382309648931738621183773\ 8500/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^45 - 2618884720979575115826827619483119866457573426359063436447038922614\ 2956989612565869530866492243082240533226/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^44 + 28287990263879326812234711976363043253537\ 309498101669604909302841437187898995729705631619078075902245638841/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4^43 - 1181010326453653805498842017306766359703191336811536518630913843833\ 83295872658890199237371509669997389340461/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^42 - 1030284496289828364449493077734789978909\ 4488923953389928383614491791140146132572789954482004816337879465763\ 3/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^41 - 3011874695550051868287754700515633823867547738676185692720569024417\ 55717416768236950348862312889962159256817/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^40 - 1570004966906255959690781576334333192875\ 2104570120762854942055786089823845203093889105291023966294873734836\ 13/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^39 - 1322421364931204657748825253118793200970888723312992661775130308799\ 549156037874373332187991612376896397226993/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^38 - 779333463622656121727189993162861614565\ 2058277222968894605769265235669747503097974587718113599762528754332\ 734/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^37 - 8036340302657515901546382800293896728564017984617779299642817149736\ 039429817954420041434045392782749823189865/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^36 - 283755988503300384875854842283878409184\ 1403849459096492237608794579087297261192499501387519726007603476443\ 6744/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^35 - 3305582254952999811931825875274724963583326838880798730898794152076\ 6390366863267285851224016175076993073438825/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^34 - 78149079254145403008509219722293054758\ 4627262791663016864973749966816480510209482566531835720343445256027\ 60498/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^33 - 8736140859317542945485980605910732284343051032672713036502341719777\ 8584484661602161613076299725908598678325802/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^32 - 15567985769846747653479016094551368749\ 4396799387180374973958182693520403828720468534398867483107783623263\ 151774/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^31 - 1571794136818838026585404605211358756932577363610422434596145771985\ 71622116524944663908631700063013892772686498/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^30 - 2214965982352629825388142217352890293\ 7718442481199286556175924034188567205290905376078758575662494134886\ 4545886/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^29 - 2068763113577929194650721628678497653263060881439617643634370263255\ 88247974999895897625146083885431953721452768/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^28 - 2249614226454577346614520462738017830\ 6847071672819943990441459652964113168455003283868129597740189358892\ 6517582/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^27 - 2020554869355622676363257238103565230366265922301913286740157092736\ 52936262680713657966308906257272777700230376/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^26 - 1420452169168550582329480467100778981\ 7211739880134210029753804870084324274177433907201540512890996462397\ 6031452/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^25 - 1165877781981172645632728660603070929342560412199272013618125902076\ 28100915752656589316848758779937490724325530/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^24 + 6872101261429020989101025712653331173\ 4478788253391914124667305722722001204477638033219886686340618155540\ 11757/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^23 + 4327781803815019550050658106640847756736798698615249561624812343136\ 1599868875627535221112104385407392725544061/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^22 + 15838544795406154837853555321418038687\ 8153027241899354504700461708954790735630051989068729238548259474375\ 041811/395486564206476714175434863934327476093273621028038486561332\ 42496278852658911510704787573972053012121777*c_1001_4^21 + 1913317740942855419447275902964534867635190411153309963519726142966\ 30702022701391729588304617107426625097086020/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^20 + 2128259014991375099989036210306713952\ 7575934694371113983255211046090322937895768487503517830226996279503\ 9422960/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^19 + 2047896271051549296708493802089763005823560427553145805217992182913\ 16423836296191810328997998616440024648786235/3954865642064767141754\ 3486393432747609327362102803848656133242496278852658911510704787573\ 972053012121777*c_1001_4^18 + 1314999794736635159277223882056498275\ 7041005989014066068403945834897595498406612823230646293558412497442\ 7056306/39548656420647671417543486393432747609327362102803848656133\ 242496278852658911510704787573972053012121777*c_1001_4^17 + 8501189368252374325632616285329618703197562851337391076121309846563\ 3301199677132849104732177389488139506141164/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^16 + 18847275868302550436483915568532303196\ 4191036023830867941372378015310727659040189562863323847614479174909\ 008/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^15 - 3774076793099793656299448729526906654544460842931488575733314891434\ 4289099804102975113331030197158566783197502/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^14 - 67597500439952060450490004523117779555\ 3677098496399685472102510411478881269451267401573824457041287354207\ 98009/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^13 - 7173557680488766607089727845282457668377091712757328508627237360711\ 9427019044000916960488515314874228705984512/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^12 - 58311119263373228860748318541372488346\ 9449064015979507893425932072523831302009976956605568528256309168008\ 45308/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^11 - 4643272116605957281864175375679753726249565749346752735755453598618\ 3412065632142147935568892638990353798607148/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^10 - 27158100910652016950167324155073903439\ 6961904455358165781011829048824047279858734527683368435666616998428\ 80654/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^9 - 1783658461776078620033405287355649411275406433548040187474214595683\ 6873387000002849441743752109317073631073449/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^8 - 794086731737188821993733467026873066453\ 4461610211903583141250487791458461662227016614221443312319489781736\ 066/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^7 - 4416037188989073211953927470600099956080615415723069642832740753289\ 404646566120257281909593197879163681217937/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^6 - 1470810716756898981642348061221637977028\ 1519531159532325835255049159337582412176067277522223515849922577250\ 50/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^5 - 6988247366170129637428605590066333618823799941355651238335355396239\ 38332489015876861883366366732201362687793/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^4 - 15912593169354652126692416319698168840963\ 8833541279829757539752898015039983879803793742192907569712121160330\ /395486564206476714175434863934327476093273621028038486561332424962\ 78852658911510704787573972053012121777*c_1001_4^3 - 6478048769833712351267319700726899726990751678151281202283982164138\ 8178117438969479986749547771335364847714/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^2 - 768168236921516960126946644732250421039088\ 2313060264178517990921769916996623961440948158198987453011014343/39\ 5486564206476714175434863934327476093273621028038486561332424962788\ 52658911510704787573972053012121777*c_1001_4 - 2712975779168030670839073472301013687502763275455084774980412144367\ 538574842001255665233612405014524041823/395486564206476714175434863\ 9343274760932736210280384865613324249627885265891151070478757397205\ 3012121777, c_1001_1 + 746320234362741772970394950639348473808168780098241984148168\ 688906920804485995452399744893874085534107252/395486564206476714175\ 4348639343274760932736210280384865613324249627885265891151070478757\ 3972053012121777*c_1001_4^46 - 407496160180091156540239097737906785\ 5385511790070994010395273853410267461002586038312535558319413330139\ 086/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^45 + 2087434747224024510555749443406454162385201931931553780050864935687\ 0044178750428993140129782528964200866533/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^44 - 54088564195510930582170351494095907079951\ 332276600218813954966082450280602813417630067954964006121304891692/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4^43 + 1691483284246824712572562544808090335493531037254021727288806012239\ 33120349454536498235387636861574466381779/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^42 - 2832050182121379951144061922402429500490\ 3901846544332170170363099145179695496125075378690292202677305480151\ 0/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^41 + 7592107923622325010099379117128506284711449428028652938717035585194\ 48960892812341737272122653668254627910379/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^40 - 7251026008517096869702634999479025131383\ 5268604022686650726506506443191446248994642405827852255843102863660\ 7/39548656420647671417543486393432747609327362102803848656133242496\ 278852658911510704787573972053012121777*c_1001_4^39 + 2399923945800147545139681365556910138932749039114138032755461803806\ 655144827457391137065026015744473205524626/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^38 - 703568920605347910602915478713603811061\ 6255106645409228678178515756961806714461057255055656046761334395791\ 46/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^37 + 6691551014511100250906372529896598644896663776846859905688184618844\ 512860157033433163775628384468103093645984/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^36 + 228465426480748846757460652306935791555\ 3843724669774349446087417881865174676950034410397803723107536180164\ 720/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^35 + 1664859422700149852656831161746289703316475887514836834250200258793\ 7762067314628420701060432601626704442604826/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^34 + 12170767842009028933513126024279718480\ 4290243923228076876023571293036950407326815612814011718418324386410\ 42249/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^33 + 3306024228376883839212326423134895842726417701077152624184494362628\ 8315503680820828878035758299916425420906915/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^32 + 29654545373343416602662048637180300702\ 9787035046320801171378179245628084698648921909816406943751966272517\ 84163/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^31 + 4850829933549817886834453543949375883981145876492719130902734936404\ 5594443554134353632505549682746999572622000/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^30 + 48107707997019732507846618686799129438\ 1783551899947575372697603474119074180085666058793343160233038179150\ 12733/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^29 + 5173625264518881281678748799601154934558032569124409587892097320541\ 2900939758826970079775938795791558481046217/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^28 + 56277067525305858824030540490955229755\ 2872435296175187945283425610988676443351120944340426488197003971602\ 54979/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^27 + 3777862341029711589771469844262219534412883205419109166293646051255\ 4108415799392918654854336981118916720236897/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^26 + 42798639182864684736590908475776416997\ 7284439158001620337372020921115690257622689573474646376591448769729\ 63728/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^25 + 1000552375826301120076030438774938993728821956552780306760869804442\ 0305983538747183451457095411574389701467693/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^24 + 53852212825455461976012976832298225220\ 9567754924083238198527827365917549407175753795258226281070343856685\ 2566/39548656420647671417543486393432747609327362102803848656133242\ 496278852658911510704787573972053012121777*c_1001_4^23 - 2340701864571393992551943712188107034341068388534196737165386925254\ 0983626783518321149268426137381782406402278/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^22 - 38196011622194976065665040405545169420\ 0036920193216954808314766401847508843387458737956138366245133191989\ 63725/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^21 - 4566367182628344756932674146067561154820393036641871464103352344524\ 1131094859256039221476831307473556651234545/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^20 - 54933479153482323325415984332270310679\ 5698930843337674891934729897689303418882282872323711469204394835958\ 62827/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^19 - 3973302287351102888792196296622423565881863380214807671987244743972\ 1210248758572080711053523188394971668851955/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^18 - 33440548277389195110986595410461426008\ 9560150383590732525846342866340502678105373074579627355088562079294\ 91229/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^17 - 1208315042099343061750397269066824538305441699549209958492260581980\ 5914333013283802490049285672684816204559176/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^16 + 52698143981687505080046624843280849320\ 7116376082659371345158103652978963103216740477754818295433882063851\ 050/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^15 + 1109493323823869410248301102470992083921354497651602895187647563270\ 3195567509318392877317636044356172104728265/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^14 + 16997267895721461397779736912292832183\ 0274671877487104422019802589153043443383060129282393763983527753248\ 78198/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^13 + 1550205454216489411980787871703320138641075893889183290739038613163\ 2252242571256854404009004026314108173547271/39548656420647671417543\ 4863934327476093273621028038486561332424962788526589115107047875739\ 72053012121777*c_1001_4^12 + 14267583212498701354531976688942045771\ 6031236869183387174452114984298777139303540396404058672786844593553\ 08527/3954865642064767141754348639343274760932736210280384865613324\ 2496278852658911510704787573972053012121777*c_1001_4^11 + 9279997484983891462009936593437910370942130833260195319495163530164\ 310156901780211314791907264113346151181261/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^10 + 654151365734517184479752302480899125071\ 4032403847693324922142627710285846708721141652830417644842271279814\ 403/395486564206476714175434863934327476093273621028038486561332424\ 96278852658911510704787573972053012121777*c_1001_4^9 + 3391998587454889638066404083982037068042533070744785786565062710195\ 104818735019450512269939816524294958156724/395486564206476714175434\ 8639343274760932736210280384865613324249627885265891151070478757397\ 2053012121777*c_1001_4^8 + 1897804246558878238682560996218774106388\ 5916766707853594153510499728198460913862751497170092763025813749644\ 46/3954865642064767141754348639343274760932736210280384865613324249\ 6278852658911510704787573972053012121777*c_1001_4^7 + 8008850781790200865200420973333732893030527102555064514250334479616\ 36078262180271360029384565011234634894393/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^6 + 35094874774534942783540526043477683459042\ 4132738610619312743986621206902556642264470706889559780183103738253\ /395486564206476714175434863934327476093273621028038486561332424962\ 78852658911510704787573972053012121777*c_1001_4^5 + 1191681107605025400347013163643075041274588602188813345755504613839\ 34561302166760964370789833895025128974267/3954865642064767141754348\ 6393432747609327362102803848656133242496278852658911510704787573972\ 053012121777*c_1001_4^4 + 38203299016327236030252267660680339092968\ 010151284181032791334083364923104349788296064111734580051266826766/\ 3954865642064767141754348639343274760932736210280384865613324249627\ 8852658911510704787573972053012121777*c_1001_4^3 + 1005310067631374265311360425065056057867297726284863277358755677494\ 1268443608852367223664238280628706402615/39548656420647671417543486\ 3934327476093273621028038486561332424962788526589115107047875739720\ 53012121777*c_1001_4^2 + 187319356143878895336960915059725550340022\ 5685602235971233995332987692013636457693076614636397856306437233/39\ 5486564206476714175434863934327476093273621028038486561332424962788\ 52658911510704787573972053012121777*c_1001_4 + 3216223449927770132316791945302945177332821339461509623824376456055\ 56324143061371382049589870732079734871/3954865642064767141754348639\ 3432747609327362102803848656133242496278852658911510704787573972053\ 012121777, c_1001_4^47 - 11/2*c_1001_4^46 + 113/4*c_1001_4^45 - 74*c_1001_4^44 + 927/4*c_1001_4^43 - 791/2*c_1001_4^42 + 4217/4*c_1001_4^41 - 4235/4*c_1001_4^40 + 3366*c_1001_4^39 - 2481/2*c_1001_4^38 + 37471/4*c_1001_4^37 + 2319*c_1001_4^36 + 23100*c_1001_4^35 + 59415/4*c_1001_4^34 + 45587*c_1001_4^33 + 37548*c_1001_4^32 + 66806*c_1001_4^31 + 248945/4*c_1001_4^30 + 285077/4*c_1001_4^29 + 298309/4*c_1001_4^28 + 206887/4*c_1001_4^27 + 236597/4*c_1001_4^26 + 12982*c_1001_4^25 + 45151/4*c_1001_4^24 - 130421/4*c_1001_4^23 - 94415/2*c_1001_4^22 - 247567/4*c_1001_4^21 - 289635/4*c_1001_4^20 - 213037/4*c_1001_4^19 - 187245/4*c_1001_4^18 - 65323/4*c_1001_4^17 - 8775/4*c_1001_4^16 + 14441*c_1001_4^15 + 85337/4*c_1001_4^14 + 41151/2*c_1001_4^13 + 77429/4*c_1001_4^12 + 50353/4*c_1001_4^11 + 9503*c_1001_4^10 + 19001/4*c_1001_4^9 + 6029/2*c_1001_4^8 + 4707/4*c_1001_4^7 + 1275/2*c_1001_4^6 + 753/4*c_1001_4^5 + 349/4*c_1001_4^4 + 71/4*c_1001_4^3 + 7*c_1001_4^2 + 3/4*c_1001_4 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.350 Total time: 1.560 seconds, Total memory usage: 32.09MB