Magma V2.19-8 Wed Aug 21 2013 00:44:24 on localhost [Seed = 2749740080] Type ? for help. Type -D to quit. Loading file "K14n6047__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n6047 geometric_solution 11.75194868 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -16 0 17 -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.998151952276 0.615118860817 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 16 0 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.893384518654 0.428939076127 7 0 7 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724889132353 0.445070465850 8 6 6 0 0132 1023 3120 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374266636195 0.680918830285 9 1 8 7 0132 0132 2310 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 1.437764826403 0.743658308639 8 10 1 11 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326086621660 0.466600221197 3 7 3 1 1023 0321 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.731686983204 0.796216844996 2 4 2 6 0132 0321 1023 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 1 -1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.998151952276 0.615118860817 3 4 5 10 0132 3201 2103 2103 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -17 0 0 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922641030529 1.049931072915 4 12 12 10 0132 0132 1302 1230 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 -17 1 0 -1 0 0 -16 0 16 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374230672692 0.708104960785 9 5 11 8 3012 0132 0132 2103 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 -17 0 0 0 0 -16 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594068548927 1.598973446798 12 12 5 10 2103 2310 0132 0132 0 0 0 0 0 0 0 0 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 -1 1 0 -16 0 16 0 0 16 0 -16 17 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416596585892 1.103893619134 9 9 11 11 2031 0132 2103 3201 0 0 0 0 0 1 0 -1 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -17 0 17 0 0 16 -16 -1 0 0 1 1 16 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416596585892 1.103893619133 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_12']), 'c_1001_10' : negation(d['c_0110_12']), 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_7'], 'c_1001_9' : d['c_0110_12'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : d['c_0110_12'], 'c_1010_11' : negation(d['c_0110_12']), 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : d['c_0101_6'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_11'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_0101_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0110_12']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_7'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : negation(d['c_1001_4']), 'c_1100_8' : negation(d['c_0101_11']), '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' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_11'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_0']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_6, c_0101_7, c_0110_12, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 1740434178158733594949839280416484419718600995806076595955843254365\ 9799574441951787776836346568761978477/20568397369788130840576047915\ 4710932870348994384359742173914469863649782721282218093817436516941\ 48601320*c_1001_4^37 + 31373393087571608764729158739522726045834330\ 681216707738196106096832404872413226389730775513924533274467/354627\ 5408584160489754491019908809187419810248006202451274387411442237633\ 125555484376162698567956655400*c_1001_4^36 + 2784326563536679692045697780968345449173491206272088637124038280061\ 947722350005734886447685869641208681107/102841986848940654202880239\ 5773554664351744971921798710869572349318248913606411090469087182584\ 70743006600*c_1001_4^35 - 94474869595023242036990170268593186101968\ 0632420025442707127529987978249108005019645165383857347122748651/25\ 7104967122351635507200598943388666087936242980449677717393087329562\ 22840160277261727179564617685751650*c_1001_4^34 - 1004650218089250558683183607316281697236184394189890927365060343565\ 5827756464150128238673803536919564626841/25710496712235163550720059\ 8943388666087936242980449677717393087329562228401602772617271795646\ 17685751650*c_1001_4^33 - 54612214166631183846680218509302054241216\ 838608750053419982699519093545190245688317492223782814551129706521/\ 1028419868489406542028802395773554664351744971921798710869572349318\ 24891360641109046908718258470743006600*c_1001_4^32 + 3245180596336953944782353442073883060324560233157374650430596119597\ 6526177647397484429145761150164676744567/20568397369788130840576047\ 9154710932870348994384359742173914469863649782721282218093817436516\ 94148601320*c_1001_4^31 + 22572910544399916827080491808957509562155\ 05653668491394492803784682769413215475707960284315567629973313878/4\ 4328442607302006121931137748860114842747628100077530640929842643027\ 9704140694435547020337320994581925*c_1001_4^30 + 1881550236099039742219854737776133927667574345363313639819936131289\ 7415116976337785879802103711442857083151/10284198684894065420288023\ 9577355466435174497192179871086957234931824891360641109046908718258\ 470743006600*c_1001_4^29 - 2118113323435958511525923238615867346315\ 0897630063219814416820013067808806995469967688572712988250532809307\ 8/12855248356117581775360029947169433304396812149022483885869654366\ 478111420080138630863589782308842875825*c_1001_4^28 - 9340850422916448722438475318440811498901512448591154560518658380670\ 54498835390309640183662978561050992292759/5142099342447032710144011\ 9788677733217587248596089935543478617465912445680320554523454359129\ 235371503300*c_1001_4^27 + 2812863766192372660700088978803464994529\ 8122296552294999252157702752534858123563707567426540347523624411604\ 3/20568397369788130840576047915471093287034899438435974217391446986\ 364978272128221809381743651694148601320*c_1001_4^26 + 1076135533079121908390110768673278899731365597879649006291368177796\ 708930540399364105051999018517544754032699/257104967122351635507200\ 5989433886660879362429804496777173930873295622284016027726172717956\ 4617685751650*c_1001_4^25 + 452165875809414095538935855395727649501\ 5946123178233788819347288853749717743749592167887822562946944566894\ 881/102841986848940654202880239577355466435174497192179871086957234\ 931824891360641109046908718258470743006600*c_1001_4^24 + 2532234264231068523228540555662707822071611388695602883697228890305\ 737060900661070178124448057141755168411449/102841986848940654202880\ 2395773554664351744971921798710869572349318248913606411090469087182\ 58470743006600*c_1001_4^23 - 92266654938326582045201452488123171141\ 4527864669421307110831645031488204081239691791021796791294440928421\ 0467/10284198684894065420288023957735546643517449719217987108695723\ 4931824891360641109046908718258470743006600*c_1001_4^22 - 4837004912439838673069723390066261869707734682154507139182500895571\ 336579967588240358892314281191360954582759/205683973697881308405760\ 4791547109328703489943843597421739144698636497827212822180938174365\ 1694148601320*c_1001_4^21 - 167286147602395368280097055585302705051\ 3423902431285837576312965577340154635405975824908378970778204258005\ 859/205683973697881308405760479154710932870348994384359742173914469\ 86364978272128221809381743651694148601320*c_1001_4^20 + 8063005867898831270258302873987704800287370833475077154009168117892\ 83906775907706550457568795610631238387162/2571049671223516355072005\ 9894338866608793624298044967771739308732956222840160277261727179564\ 61768575165*c_1001_4^19 + 41177129146466940901257479580285897796249\ 8852028153625764831284740655442723750057257282808368877191790115891\ 11/1028419868489406542028802395773554664351744971921798710869572349\ 31824891360641109046908718258470743006600*c_1001_4^18 + 3543158362739515476650140975005461196778662181457260205264541835687\ 439100881950305917398735877864664860742261/514209934244703271014401\ 1978867773321758724859608993554347861746591244568032055452345435912\ 9235371503300*c_1001_4^17 - 470445841757712164062797078349101641329\ 3740615611025269745377221992318944257192889444832359664717005014159\ 764/128552483561175817753600299471694333043968121490224838858696543\ 66478111420080138630863589782308842875825*c_1001_4^16 - 2071626630512685680416870844172026081768803652860327350490717331993\ 061177429331028907966734241222809349333149/354627540858416048975449\ 1019908809187419810248006202451274387411442237633125555484376162698\ 567956655400*c_1001_4^15 - 1436297942497607030641391505739618283826\ 8926422963819865254833578493915045606776538112196007102353361784798\ 473/102841986848940654202880239577355466435174497192179871086957234\ 931824891360641109046908718258470743006600*c_1001_4^14 + 1558067033694671247600502172335850463817833033153902161773244522004\ 3634947375860587218668661375618801220154149/25710496712235163550720\ 0598943388666087936242980449677717393087329562228401602772617271795\ 64617685751650*c_1001_4^13 + 51352841018538991158335806139073446865\ 7976773961792962555772504300209415214568883415348436749497558347459\ 06839/1028419868489406542028802395773554664351744971921798710869572\ 34931824891360641109046908718258470743006600*c_1001_4^12 - 2953420885959832172513398386912305262003027488655712929419441160177\ 919782123711284547107965654589529470837886/128552483561175817753600\ 2994716943330439681214902248388586965436647811142008013863086358978\ 2308842875825*c_1001_4^11 - 378272624037453075794277078578507502973\ 3244934726246403904224049652482964831852046352257237418269108441367\ 6351/10284198684894065420288023957735546643517449719217987108695723\ 4931824891360641109046908718258470743006600*c_1001_4^10 - 3349884924169027094054337461735396500959166558002055125983467840485\ 94010542293563269913731460504052308375307/5142099342447032710144011\ 9788677733217587248596089935543478617465912445680320554523454359129\ 235371503300*c_1001_4^9 + 29399635741936639093631590346779534482204\ 4093393175434363170517079025177141257348478633717221132040487844213\ 3/25710496712235163550720059894338866608793624298044967771739308732\ 956222840160277261727179564617685751650*c_1001_4^8 + 2546498504506325687039185675884969338941336310983617002718380511027\ 272931984666667206477189334393028370296221/102841986848940654202880\ 2395773554664351744971921798710869572349318248913606411090469087182\ 58470743006600*c_1001_4^7 - 840338982847998985485590216461091214556\ 4163590229157103012585042713998555725770416139915404696889535095631\ /709255081716832097950898203981761837483962049601240490254877482288\ 447526625111096875232539713591331080*c_1001_4^6 - 1553777204421604295724905409799855436513908263998082059441365090068\ 6308813864991343851472632891803255117242/25710496712235163550720059\ 8943388666087936242980449677717393087329562228401602772617271795646\ 1768575165*c_1001_4^5 - 4574702681339521850837398357708537911863533\ 4923704538479882303668921566458375499520373827762875757943574837/20\ 5683973697881308405760479154710932870348994384359742173914469863649\ 78272128221809381743651694148601320*c_1001_4^4 + 1177017165994300785862503540951327342635137907516219266451274826559\ 6994972205756635668594438655307471638619/51420993424470327101440119\ 7886777332175872485960899355434786174659124456803205545234543591292\ 35371503300*c_1001_4^3 + 324001461989687460775393760474643197901668\ 76960946420200693448280632920118167075417241537164310326079169459/1\ 0284198684894065420288023957735546643517449719217987108695723493182\ 4891360641109046908718258470743006600*c_1001_4^2 + 8357114615354184294714821408228410742660553109400015820220822169916\ 10147427430171730516696664922344293887/2571049671223516355072005989\ 4338866608793624298044967771739308732956222840160277261727179564617\ 685751650*c_1001_4 + 1713719679107276998260863747949026040677803086\ 81872718183365032396055423638025759779350903025576308557573/2571049\ 6712235163550720059894338866608793624298044967771739308732956222840\ 16027726172717956461768575165, c_0011_0 - 1, c_0011_10 + 48705932528853382080469521075552967961495266875550800922247\ 651122011027571470568642048833859/294513481051224442339922002002884\ 01721769787650955764745765417023270954727008201371656213788*c_1001_\ 4^37 + 877345137643973565357024996923512945524698007199531648772552\ 82375116914297066512864206907989/5077818638814214523102103482808345\ 124443066836371683576856106383322578401208310581320036860*c_1001_4^\ 36 + 78470968738745175552950121011930469967732486973623615239845099\ 05372339294004562068354831797929/1472567405256122211699610010014420\ 08608848938254778823728827085116354773635041006858281068940*c_1001_\ 4^35 - 245810885324012984540199824561509186198519101348534591054902\ 8203634738946628984554682881221197/36814185131403055292490250250360\ 502152212234563694705932206771279088693408760251714570267235*c_1001\ _4^34 - 27441810458837875430451153719439703591440374149463181978702\ 072433926219135838749703074647972852/368141851314030552924902502503\ 60502152212234563694705932206771279088693408760251714570267235*c_10\ 01_4^33 - 154573636717685166791377245370245772984519303889643543364\ 202594036817048512665864783344261533267/147256740525612221169961001\ 001442008608848938254778823728827085116354773635041006858281068940*\ c_1001_4^32 + 83958123411704664324280394944859885759224517088949265\ 906775211998491565884585096190404886493549/294513481051224442339922\ 0020028840172176978765095576474576541702327095472700820137165621378\ 8*c_1001_4^31 + 121226425553601234197335893312249816144563774193055\ 03426780401578212123927569230154519749550797/1269454659703553630775\ 5258707020862811107667090929208942140265958306446003020776453300092\ 15*c_1001_4^30 + 16954775034513446196710747432953768782675457992403\ 3634981520382001757419812189569149977366434777/14725674052561222116\ 9961001001442008608848938254778823728827085116354773635041006858281\ 068940*c_1001_4^29 - 1064789210161562154298736185265734385904940639\ 686892092184152713960851651487256833133033049850957/368141851314030\ 5529249025025036050215221223456369470593220677127908869340876025171\ 4570267235*c_1001_4^28 - 253653988812025378933090697843995440666345\ 2578896356100961850358092281379841776876981905179615823/73628370262\ 8061105849805005007210043044244691273894118644135425581773868175205\ 03429140534470*c_1001_4^27 + 50690314841550044723856022256958590934\ 1173770685085921274079400606926203087320474163425797094589/29451348\ 1051224442339922002002884017217697876509557647457654170232709547270\ 08201371656213788*c_1001_4^26 + 25329821236858202962233052362211161\ 86599640441143660427622430923113102360304487215730914697282548/3681\ 4185131403055292490250250360502152212234563694705932206771279088693\ 408760251714570267235*c_1001_4^25 + 1339314588299801399410441992499234794059317609755263017449000965965\ 1152002333675734282045053406607/14725674052561222116996100100144200\ 8608848938254778823728827085116354773635041006858281068940*c_1001_4\ ^24 + 1069070306535643975766961506636996843644911312122674950365546\ 6571325981749912141518861008690953983/14725674052561222116996100100\ 1442008608848938254778823728827085116354773635041006858281068940*c_\ 1001_4^23 - 2135243068401429572811800043542411556861010529418461983\ 1867336028566239150361766435843130473126369/14725674052561222116996\ 1001001442008608848938254778823728827085116354773635041006858281068\ 940*c_1001_4^22 - 1279263851686161157732046825034094421399674740593\ 0163013525374564179645997890322719979574554491581/29451348105122444\ 2339922002002884017217697876509557647457654170232709547270082013716\ 56213788*c_1001_4^21 - 59391885182747236384359991252097402504184418\ 87317936067361410201615739940987974963158642092407497/2945134810512\ 2444233992200200288401721769787650955764745765417023270954727008201\ 371656213788*c_1001_4^20 + 3403839213983571312276346214699010147733\ 786925864840593503311164911403180551660603037303635310317/736283702\ 6280611058498050050072100430442446912738941186441354255817738681752\ 050342914053447*c_1001_4^19 + 1028420431818843580059078232285381513\ 28366563565624969691094969701292091690070631703153372137296717/1472\ 5674052561222116996100100144200860884893825477882372882708511635477\ 3635041006858281068940*c_1001_4^18 + 2179068092066146614538683667447630055976966773833551167013002241887\ 8507979437985393108018051231597/73628370262806110584980500500721004\ 304424469127389411864413542558177386817520503429140534470*c_1001_4^\ 17 - 16873073188387781539488613684776917544911428983557498686913797\ 496126580415340221632332878810423526/368141851314030552924902502503\ 60502152212234563694705932206771279088693408760251714570267235*c_10\ 01_4^16 - 528025544142061516886428902830889751300408240665461248906\ 1514656284157497420590311422547529468823/50778186388142145231021034\ 82808345124443066836371683576856106383322578401208310581320036860*c\ _1001_4^15 - 641074536842072855917742701104462285109272961292094016\ 88122333434325542029012982861275262780371651/1472567405256122211699\ 6100100144200860884893825477882372882708511635477363504100685828106\ 8940*c_1001_4^14 + 300065020326776199977250132542889261425387182703\ 20088119120067939344965123823287188053208763038098/3681418513140305\ 5292490250250360502152212234563694705932206771279088693408760251714\ 570267235*c_1001_4^13 + 1182051290117048306532500547418066899567574\ 34646457543196896284872109652815427232882343325979369453/1472567405\ 2561222116996100100144200860884893825477882372882708511635477363504\ 1006858281068940*c_1001_4^12 - 537172624818406176911045850842667277\ 9649356340439624364248904038448613118754253286207459247893734/36814\ 1851314030552924902502503605021522122345636947059322067712790886934\ 08760251714570267235*c_1001_4^11 - 5801393252007817258729152665857390124139991649793761119839078054593\ 5160885531108936970474595607537/14725674052561222116996100100144200\ 8608848938254778823728827085116354773635041006858281068940*c_1001_4\ ^10 - 5882423700183511876157926071121083474755750741894556746921547\ 835744318642546938974179579289987469/736283702628061105849805005007\ 21004304424469127389411864413542558177386817520503429140534470*c_10\ 01_4^9 + 1571808013242139963944329884704893151684299298531503782592\ 338278118385994912696453783299124775521/368141851314030552924902502\ 50360502152212234563694705932206771279088693408760251714570267235*c\ _1001_4^8 + 3394709985449440514573751855260924083852596068279212478\ 173411539478627475758052475699891781581287/147256740525612221169961\ 0010014420086088489382547788237288270851163547736350410068582810689\ 40*c_1001_4^7 + 118548273122278862385488846240925455295704823491587\ 45290108869475288015545015492132553556302535/1015563727762842904620\ 4206965616690248886133672743367153712212766645156802416621162640073\ 72*c_1001_4^6 - 743773135884284980576989695584979334421025458634154\ 9444405064925267236724515901176332836875954/73628370262806110584980\ 5005007210043044244691273894118644135425581773868175205034291405344\ 7*c_1001_4^5 - 1011816841685711399963091710192909236119004417941081\ 07382410209092849623453514014452928314709403/2945134810512244423399\ 2200200288401721769787650955764745765417023270954727008201371656213\ 788*c_1001_4^4 - 69557176570590483453361475679740348385831907287045\ 643765207746791106295240520086688125806823997/736283702628061105849\ 8050050072100430442446912738941186441354255817738681752050342914053\ 4470*c_1001_4^3 - 1304876082711741885822462820471026671450194933933\ 43693581261662190956883679812463182491610493627/1472567405256122211\ 6996100100144200860884893825477882372882708511635477363504100685828\ 1068940*c_1001_4^2 - 1490986094812971897825484615562933551514910329\ 417894879267459564666987845988038735211989812231/368141851314030552\ 9249025025036050215221223456369470593220677127908869340876025171457\ 0267235*c_1001_4 - 395689178379639005443317894552265682687371222482\ 359852830910150757063156746660344362655942493/736283702628061105849\ 8050050072100430442446912738941186441354255817738681752050342914053\ 447, c_0011_11 + 27098789854728895765892185715150181558885841152358804071855\ 349611015527783421152606515559089/294513481051224442339922002002884\ 01721769787650955764745765417023270954727008201371656213788*c_1001_\ 4^37 + 470904672058336293952453878856118911660958839660243655328747\ 83600473594640497975816855842169/5077818638814214523102103482808345\ 124443066836371683576856106383322578401208310581320036860*c_1001_4^\ 36 + 38307188781910456208319545011402098152567617836087836520927995\ 86097219257640024739465962903229/1472567405256122211699610010014420\ 08608848938254778823728827085116354773635041006858281068940*c_1001_\ 4^35 - 360555504489733985472736910936449149308248955625059985638057\ 6261644525451758596532484117200899/73628370262806110584980500500721\ 004304424469127389411864413542558177386817520503429140534470*c_1001\ _4^34 - 14851130663814670925170379218951116803431829791143276866318\ 773814912398518268895847786960419792/368141851314030552924902502503\ 60502152212234563694705932206771279088693408760251714570267235*c_10\ 01_4^33 - 627217792316188085541105429880344283176074733558855939725\ 16225165909975893574524208687166987357/1472567405256122211699610010\ 01442008608848938254778823728827085116354773635041006858281068940*c\ _1001_4^32 + 541824778867077398479256432924829153588185958045595945\ 89680432756776198356123429352108459425761/2945134810512244423399220\ 0200288401721769787650955764745765417023270954727008201371656213788\ *c_1001_4^31 + 1209394451081087166902432554074479006397070964023726\ 1549942538953101832173615106803540551975669/25389093194071072615510\ 5174140417256222153341818584178842805319166128920060415529066001843\ 0*c_1001_4^30 - 221198683319853083632197902890087774793758878399833\ 134183381132451168228331762359299566058128673/147256740525612221169\ 9610010014420086088489382547788237288270851163547736350410068582810\ 68940*c_1001_4^29 - 12341669626358033153128408361680595984049893094\ 16055875979225935657495019836385998193862541291799/7362837026280611\ 0584980500500721004304424469127389411864413542558177386817520503429\ 140534470*c_1001_4^28 - 9590918877885708479732754879775516689629391\ 17893082842592207390685814990430396540004588674174873/7362837026280\ 6110584980500500721004304424469127389411864413542558177386817520503\ 429140534470*c_1001_4^27 + 5371321151148176586169806366575216299262\ 30904408764080402069247082158609430909221637673823184443/2945134810\ 5122444233992200200288401721769787650955764745765417023270954727008\ 201371656213788*c_1001_4^26 + 2636170546307502705038252608228567120\ 852660848355243187728923093084783407848679218005251738114291/736283\ 7026280611058498050050072100430442446912738941186441354255817738681\ 7520503429140534470*c_1001_4^25 + 509141237785048388328364737933963\ 4329472386638529494251804269537100504264264934216156295887055537/14\ 7256740525612221169961001001442008608848938254778823728827085116354\ 773635041006858281068940*c_1001_4^24 + 2714977059270227573513798149302518568086023632046379486136491282763\ 026810539209486308153667806223/147256740525612221169961001001442008\ 608848938254778823728827085116354773635041006858281068940*c_1001_4^\ 23 - 14508227336903602607902246007226760742068436664376717188222444\ 309347687287797249761810064044082929/147256740525612221169961001001\ 442008608848938254778823728827085116354773635041006858281068940*c_1\ 001_4^22 - 62761116857472222288351033191259594654510417826703562529\ 44004981098546744475730415099638872738449/2945134810512244423399220\ 0200288401721769787650955764745765417023270954727008201371656213788\ *c_1001_4^21 - 3885237499305349053884617894287833915271417609029985\ 18372131498981128878630102375476196275904245/2945134810512244423399\ 2200200288401721769787650955764745765417023270954727008201371656213\ 788*c_1001_4^20 + 4680176344064115617946949232747749303297010900915\ 058575771115537205282598691256109099358393558531/147256740525612221\ 1699610010014420086088489382547788237288270851163547736350410068582\ 8106894*c_1001_4^19 + 430596874193863504197389041829321104425923261\ 26649002922044326161020902393144947263908650993370447/1472567405256\ 1222116996100100144200860884893825477882372882708511635477363504100\ 6858281068940*c_1001_4^18 - 355333100582253051362084483325090787772\ 473878873325184836446585474712889419408927282801236209299/368141851\ 3140305529249025025036050215221223456369470593220677127908869340876\ 0251714570267235*c_1001_4^17 - 125521834550601929258067902087960789\ 40874183296670956220186792647535267217371225425472878309525981/3681\ 4185131403055292490250250360502152212234563694705932206771279088693\ 408760251714570267235*c_1001_4^16 - 2436586043497716170089780100998467654788396714886176207698905058429\ 953928657354364967621895197533/507781863881421452310210348280834512\ 4443066836371683576856106383322578401208310581320036860*c_1001_4^15 + 80225573673510912984677088101090002751915123061804368442584153782\ 6274266158483655299035144074689/14725674052561222116996100100144200\ 8608848938254778823728827085116354773635041006858281068940*c_1001_4\ ^14 + 4311061729769710402047925993900827502182248507899009796698656\ 6004034368655498908752314976590954921/73628370262806110584980500500\ 721004304424469127389411864413542558177386817520503429140534470*c_1\ 001_4^13 + 40169981494566880107704026023539893931772228156909494431\ 392114414397905093381210549270317861382203/147256740525612221169961\ 0010014420086088489382547788237288270851163547736350410068582810689\ 40*c_1001_4^12 - 22322443302435841373993851933833446774688815486653\ 758645059369301449835988025021722747654333924453/736283702628061105\ 8498050050072100430442446912738941186441354255817738681752050342914\ 0534470*c_1001_4^11 - 310203478400362366021020225891044915687719151\ 66830277399984839817136051905618184581712983090834087/1472567405256\ 1222116996100100144200860884893825477882372882708511635477363504100\ 6858281068940*c_1001_4^10 + 253815768661731163419111712660616171576\ 7015076675634774221995776081576379052001211838507702157713/36814185\ 1314030552924902502503605021522122345636947059322067712790886934087\ 60251714570267235*c_1001_4^9 + 219625112800153467716422152497458891\ 5859993811036621321919282700317707519161896221311704896907331/36814\ 1851314030552924902502503605021522122345636947059322067712790886934\ 08760251714570267235*c_1001_4^8 - 640755822452930804999794723975718\ 536309904470625609717263193970271922700145511098351643124545703/147\ 2567405256122211699610010014420086088489382547788237288270851163547\ 73635041006858281068940*c_1001_4^7 - 4726611982351501137076814989990851470540377776063941918832981347875\ 612668383660956459470228965/101556372776284290462042069656166902488\ 8613367274336715371221276664515680241662116264007372*c_1001_4^6 - 3476154876676545273702998540616767373084868675660298805359833652236\ 7498979851515956677014907127/14725674052561222116996100100144200860\ 884893825477882372882708511635477363504100685828106894*c_1001_4^5 - 2945244159793123266088191181194208022187902572089084037471242632662\ 1715989206200367789025194773/29451348105122444233992200200288401721\ 769787650955764745765417023270954727008201371656213788*c_1001_4^4 + 1695026635834426377049809556233572198204565915137710540512908019158\ 0314186294365536086003215169/36814185131403055292490250250360502152\ 212234563694705932206771279088693408760251714570267235*c_1001_4^3 - 3358152874537567077529038301926307660992162140045205138069713965116\ 6811229966990612984725149717/14725674052561222116996100100144200860\ 8848938254778823728827085116354773635041006858281068940*c_1001_4^2 + 7148941033730497127959909497743199886143837374777698317859408310298\ 094154686494486543182475633/736283702628061105849805005007210043044\ 24469127389411864413542558177386817520503429140534470*c_1001_4 - 7410918732604011926525706053631053293980560935164697869893490706569\ 5403360869624435182588840/73628370262806110584980500500721004304424\ 46912738941186441354255817738681752050342914053447, c_0011_3 - 278414890664493951407590324577919840127774897315000097019876\ 92891484918626882576231/1406331692826085289143206122278052098568890\ 58162303164396882373747867360880794746516*c_1001_4^37 - 1371386149632285023863052169538455618119950883583159765603638713440\ 927962566383552529/703165846413042644571603061139026049284445290811\ 515821984411868739336804403973732580*c_1001_4^36 - 3662562140584328279916148350669184703305299479836699115799633352242\ 402051480222692581/703165846413042644571603061139026049284445290811\ 515821984411868739336804403973732580*c_1001_4^35 + 1956509001085536551030852747908995075698268645300883086615273247648\ 969417748641444113/175791461603260661142900765284756512321111322702\ 878955496102967184834201100993433145*c_1001_4^34 + 1447271915879714860208376576896072470150744496754284319072951927094\ 4884459840484146703/17579146160326066114290076528475651232111132270\ 2878955496102967184834201100993433145*c_1001_4^33 + 5248834741799561702747492520094770867887756040476552853836963045154\ 9435553144034495703/70316584641304264457160306113902604928444529081\ 1515821984411868739336804403973732580*c_1001_4^32 - 5447087823165322357424566045717946365750159371874443249574866412747\ 5040772570292913973/14063316928260852891432061222780520985688905816\ 2303164396882373747867360880794746516*c_1001_4^31 - 1572740073322014781301865503616345356690278066049237391315720845642\ 86957600087987761147/1757914616032606611429007652847565123211113227\ 02878955496102967184834201100993433145*c_1001_4^30 + 3105640190683689761388011469430639423454176832726865346800103634722\ 90906767885161670247/7031658464130426445716030611390260492844452908\ 11515821984411868739336804403973732580*c_1001_4^29 + 5553268837746990011987800024087530878382213609743990158084636439186\ 71821103512532371828/1757914616032606611429007652847565123211113227\ 02878955496102967184834201100993433145*c_1001_4^28 + 6859880703730826065889889947399057299614569666646945663516849096082\ 33259996833033579087/3515829232065213222858015305695130246422226454\ 05757910992205934369668402201986866290*c_1001_4^27 - 4791998241151613901537800710989385948546523296140321181348081332349\ 25736660469994432509/1406331692826085289143206122278052098568890581\ 62303164396882373747867360880794746516*c_1001_4^26 - 9620663980516152410658583797857758590301285128175751324068933101844\ 97340279582223193052/1757914616032606611429007652847565123211113227\ 02878955496102967184834201100993433145*c_1001_4^25 - 4526781356919233537041942135792105265770670259932045417181067192105\ 732766706365079007983/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^24 - 3562763042100408874778706998942499066828586445239223164175405041538\ 160796206088635770907/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^23 + 1305618222207870355313919625581445134127062788565592015296927314035\ 0437847372039452475721/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^22 + 5408084180720359175446686104113143182139162099490997044233193185486\ 061653850752412573861/140633169282608528914320612227805209856889058\ 162303164396882373747867360880794746516*c_1001_4^21 - 2199621385833404996628234331267799793483922835791669032606089599059\ 36485382636802343683/1406331692826085289143206122278052098568890581\ 62303164396882373747867360880794746516*c_1001_4^20 - 1827049738567121586793928048073896206255281217198262756193623158293\ 241340742952548983974/351582923206521322285801530569513024642222645\ 40575791099220593436966840220198686629*c_1001_4^19 - 2812946968906667913730826466182551429142390457258514100713919007832\ 8270887729923012661893/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^18 - 9993044663661492344827670429531159364903965035990467580232128698507\ 25499154814482901173/3515829232065213222858015305695130246422226454\ 05757910992205934369668402201986866290*c_1001_4^17 + 7884108777991048266627126208720143779320347249284358031505768244831\ 862257794108071271769/175791461603260661142900765284756512321111322\ 702878955496102967184834201100993433145*c_1001_4^16 + 5364147247677227022609417633687773111646139980821039760834786459695\ 8902259564092912677163/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^15 - 2953186342618215374803802319359584049009279357147017653695163801391\ 635268027126173785161/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^14 - 1479503309634765421963280329395851889388389227009541179463427868467\ 3671191942345893275142/17579146160326066114290076528475651232111132\ 2702878955496102967184834201100993433145*c_1001_4^13 - 1032545212050610901915147941966404886424234200982831602521054408686\ 5112402795177807451897/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^12 + 7695160400963433821441266813304880965055498475574686399403561380809\ 195137780915666748761/175791461603260661142900765284756512321111322\ 702878955496102967184834201100993433145*c_1001_4^11 - 1819178537507218660673051149175669417713403754362750852659091840321\ 563129323042383398387/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^10 - 6132292392405262767539649346927384989966890428867961446230877451915\ 038376595507753929559/351582923206521322285801530569513024642222645\ 405757910992205934369668402201986866290*c_1001_4^9 + 1612520688862153560313744280856285424989252382423239194684328009084\ 694272755206633064446/175791461603260661142900765284756512321111322\ 702878955496102967184834201100993433145*c_1001_4^8 + 4961206752234457309118059568005998824395124876313898416679917070192\ 986893501135685477237/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^7 - 3756915722808417416970701484806548186549946632992701569229165149807\ 64383091376638473607/1406331692826085289143206122278052098568890581\ 62303164396882373747867360880794746516*c_1001_4^6 - 4075607090994609588058336908886129943998529191368816902151236619644\ 7569470011385966455/35158292320652132228580153056951302464222264540\ 575791099220593436966840220198686629*c_1001_4^5 - 2343993342115080752854949864938850220878816302353513916758054646174\ 339936056626039381/140633169282608528914320612227805209856889058162\ 303164396882373747867360880794746516*c_1001_4^4 + 1530231645759708750393822066112938604565653560886315227410820509514\ 1675934961545612343/35158292320652132228580153056951302464222264540\ 5757910992205934369668402201986866290*c_1001_4^3 + 1517515514866641225814177019808594892187881336318040483748220274550\ 74246055612456480703/7031658464130426445716030611390260492844452908\ 11515821984411868739336804403973732580*c_1001_4^2 - 1047046672976638031580700988282703545939770666167708474451006423669\ 222694809190515721/175791461603260661142900765284756512321111322702\ 878955496102967184834201100993433145*c_1001_4 + 8484848531495718446525647796003612178640576895888732348112997235352\ 03846034078273937/3515829232065213222858015305695130246422226454057\ 5791099220593436966840220198686629, c_0101_0 - 120822239380565240976882859442594570293812450544526699607537\ 31797197041268482049686889158475/1472567405256122211699610010014420\ 0860884893825477882372882708511635477363504100685828106894*c_1001_4\ ^37 - 4311855412434534248574000949896929338063253681881766227246313\ 549342805552631646011771111015/507781863881421452310210348280834512\ 444306683637168357685610638332257840120831058132003686*c_1001_4^36 - 3766825368063202951745119707663434053248224548911563540750971783592\ 93404464002753841713851749/1472567405256122211699610010014420086088\ 4893825477882372882708511635477363504100685828106894*c_1001_4^35 + 2641362022732985904769390038838114125081232005260958853988464995603\ 58415842120479444385436495/7362837026280611058498050050072100430442\ 446912738941186441354255817738681752050342914053447*c_1001_4^34 + 2701480313505003140713139817174051836774041609949498730530588800932\ 924281487390330163403765559/736283702628061105849805005007210043044\ 2446912738941186441354255817738681752050342914053447*c_1001_4^33 + 7116896690532692711796104753162119542243006355857145985982735238078\ 695734143477265477349910447/147256740525612221169961001001442008608\ 84893825477882372882708511635477363504100685828106894*c_1001_4^32 - 2167395916207970464508256499664989127917872958910890196912050086583\ 3687015915104612455177078783/14725674052561222116996100100144200860\ 884893825477882372882708511635477363504100685828106894*c_1001_4^31 - 1168271820680557983744863809320517475970927503417166238166369545092\ 081991355807919683500307151/253890931940710726155105174140417256222\ 153341818584178842805319166128920060415529066001843*c_1001_4^30 - 1026380631223296929963634621946156488483971216443391251515832082718\ 118809526552950297692816671/147256740525612221169961001001442008608\ 84893825477882372882708511635477363504100685828106894*c_1001_4^29 + 1065111398316888323568163591111969595828190852824625786763904623744\ 43203398374450232066633347915/7362837026280611058498050050072100430\ 442446912738941186441354255817738681752050342914053447*c_1001_4^28 + 1148995943561080166936252287840576296368910493242077923564432555420\ 49907719890158939178183814943/7362837026280611058498050050072100430\ 442446912738941186441354255817738681752050342914053447*c_1001_4^27 - 1543831592128847541296283902620151027535324913702098485295051095259\ 36027515369511864630532571999/1472567405256122211699610010014420086\ 0884893825477882372882708511635477363504100685828106894*c_1001_4^26 - 24551141166671001644371588463292615588759262954391584883966284614\ 3940968418459798644487124636978/73628370262806110584980500500721004\ 30442446912738941186441354255817738681752050342914053447*c_1001_4^2\ 5 - 608669957573097737825689508722006301954323778764252400237312216\ 374850881754839274947054196748575/147256740525612221169961001001442\ 00860884893825477882372882708511635477363504100685828106894*c_1001_\ 4^24 - 458573429433194236515097834097461930574670111560684501085385\ 030985538952419653333622818933772839/147256740525612221169961001001\ 44200860884893825477882372882708511635477363504100685828106894*c_10\ 01_4^23 + 111519472171035123315867126795160627236150703257523969635\ 5186905447777310591407298098879403790093/14725674052561222116996100\ 100144200860884893825477882372882708511635477363504100685828106894*\ c_1001_4^22 + 30675535642281060960485835105854683543966458552595829\ 88837467628141871475928815942095178709659169/1472567405256122211699\ 6100100144200860884893825477882372882708511635477363504100685828106\ 894*c_1001_4^21 + 1132860157915050707765974368078632371992866873686\ 024285324547624385409325436995756924698051967259/147256740525612221\ 1699610010014420086088489382547788237288270851163547736350410068582\ 8106894*c_1001_4^20 - 177971505939543086976765403254057417584844089\ 1622349888538703055562629960942934408041787441763764/73628370262806\ 1105849805005007210043044244691273894118644135425581773868175205034\ 2914053447*c_1001_4^19 - 474155916726360847272823379766897816484390\ 5164187534870139206491972120415567229937765491788289947/14725674052\ 5612221169961001001442008608848938254778823728827085116354773635041\ 00685828106894*c_1001_4^18 - 78961538547197924264017100568711349432\ 3022878498385656492806504871088165635130886090951305124987/73628370\ 2628061105849805005007210043044244691273894118644135425581773868175\ 2050342914053447*c_1001_4^17 + 179605067327172126772848058105117466\ 4928239918759474244976896899334955242486907518614359755898811/73628\ 3702628061105849805005007210043044244691273894118644135425581773868\ 1752050342914053447*c_1001_4^16 + 249022503586589664408966649789886\ 824846238471635698503688718531591598928070001476275775880357087/507\ 7818638814214523102103482808345124443066836371683576856106383322578\ 40120831058132003686*c_1001_4^15 + 2339482886036576734051660549317346913080110254888173031616377375569\ 754657505272192815790968968851/147256740525612221169961001001442008\ 60884893825477882372882708511635477363504100685828106894*c_1001_4^1\ 4 - 316980174523526572113933491666751790120933646779327387951968975\ 5168067272990412390929629985285200/73628370262806110584980500500721\ 00430442446912738941186441354255817738681752050342914053447*c_1001_\ 4^13 - 520333092895291234432362368992132457873915993920368077922246\ 3565710691264190059491004780377120077/14725674052561222116996100100\ 144200860884893825477882372882708511635477363504100685828106894*c_1\ 001_4^12 + 89584161501097540404863656399756277419494117609292623490\ 4285665117452556862975036689951668140636/73628370262806110584980500\ 50072100430442446912738941186441354255817738681752050342914053447*c\ _1001_4^11 + 276837743159980580223019965355803563429383217175562613\ 4063818768289433240610848000743118616368219/14725674052561222116996\ 1001001442008608848938254778823728827085116354773635041006858281068\ 94*c_1001_4^10 + 93391710556943532142135585188537473604228147582873\ 912745152256583019165137437068257956410121329/736283702628061105849\ 8050050072100430442446912738941186441354255817738681752050342914053\ 447*c_1001_4^9 - 19865327453534586604096944801228414836886284529894\ 7227212776830226301721667035710152989408640842/73628370262806110584\ 9805005007210043044244691273894118644135425581773868175205034291405\ 3447*c_1001_4^8 - 9617364030940111638402643144310309991924787253529\ 5745752910921410011777941421049213505551616099/14725674052561222116\ 9961001001442008608848938254778823728827085116354773635041006858281\ 06894*c_1001_4^7 - 179800881628532902405568810215686829413125054114\ 0828499536277114913237651811150485975374894885/50778186388142145231\ 0210348280834512444306683637168357685610638332257840120831058132003\ 686*c_1001_4^6 + 51280282753309520640098552032024570721029244160624\ 32868200102632078007043620871906255210022712/7362837026280611058498\ 0500500721004304424469127389411864413542558177386817520503429140534\ 47*c_1001_4^5 + 209119356030728265914025199144162760554916351691256\ 56210306280399374878837297152964311729573393/1472567405256122211699\ 6100100144200860884893825477882372882708511635477363504100685828106\ 894*c_1001_4^4 + 18187548214599388659039630943730491402355649217342\ 30625077620154091984669920197538829104786704/7362837026280611058498\ 0500500721004304424469127389411864413542558177386817520503429140534\ 47*c_1001_4^3 + 599220284504302585883359442366480570178499588591044\ 7182752024308588710250632281086193998993177/14725674052561222116996\ 1001001442008608848938254778823728827085116354773635041006858281068\ 94*c_1001_4^2 - 295669784058856425663467507828258933533633430630298\ 59479380536308192264645047957297103522854/7362837026280611058498050\ 050072100430442446912738941186441354255817738681752050342914053447*\ c_1001_4 + 18923168748731119994138277130196402100138630016146281230\ 1982195166910706142307338425516212691/73628370262806110584980500500\ 72100430442446912738941186441354255817738681752050342914053447, c_0101_1 + 278414890664493951407590324577919840127774897315000097019876\ 92891484918626882576231/1406331692826085289143206122278052098568890\ 58162303164396882373747867360880794746516*c_1001_4^37 + 1371386149632285023863052169538455618119950883583159765603638713440\ 927962566383552529/703165846413042644571603061139026049284445290811\ 515821984411868739336804403973732580*c_1001_4^36 + 3662562140584328279916148350669184703305299479836699115799633352242\ 402051480222692581/703165846413042644571603061139026049284445290811\ 515821984411868739336804403973732580*c_1001_4^35 - 1956509001085536551030852747908995075698268645300883086615273247648\ 969417748641444113/175791461603260661142900765284756512321111322702\ 878955496102967184834201100993433145*c_1001_4^34 - 1447271915879714860208376576896072470150744496754284319072951927094\ 4884459840484146703/17579146160326066114290076528475651232111132270\ 2878955496102967184834201100993433145*c_1001_4^33 - 5248834741799561702747492520094770867887756040476552853836963045154\ 9435553144034495703/70316584641304264457160306113902604928444529081\ 1515821984411868739336804403973732580*c_1001_4^32 + 5447087823165322357424566045717946365750159371874443249574866412747\ 5040772570292913973/14063316928260852891432061222780520985688905816\ 2303164396882373747867360880794746516*c_1001_4^31 + 1572740073322014781301865503616345356690278066049237391315720845642\ 86957600087987761147/1757914616032606611429007652847565123211113227\ 02878955496102967184834201100993433145*c_1001_4^30 - 3105640190683689761388011469430639423454176832726865346800103634722\ 90906767885161670247/7031658464130426445716030611390260492844452908\ 11515821984411868739336804403973732580*c_1001_4^29 - 5553268837746990011987800024087530878382213609743990158084636439186\ 71821103512532371828/1757914616032606611429007652847565123211113227\ 02878955496102967184834201100993433145*c_1001_4^28 - 6859880703730826065889889947399057299614569666646945663516849096082\ 33259996833033579087/3515829232065213222858015305695130246422226454\ 05757910992205934369668402201986866290*c_1001_4^27 + 4791998241151613901537800710989385948546523296140321181348081332349\ 25736660469994432509/1406331692826085289143206122278052098568890581\ 62303164396882373747867360880794746516*c_1001_4^26 + 9620663980516152410658583797857758590301285128175751324068933101844\ 97340279582223193052/1757914616032606611429007652847565123211113227\ 02878955496102967184834201100993433145*c_1001_4^25 + 4526781356919233537041942135792105265770670259932045417181067192105\ 732766706365079007983/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^24 + 3562763042100408874778706998942499066828586445239223164175405041538\ 160796206088635770907/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^23 - 1305618222207870355313919625581445134127062788565592015296927314035\ 0437847372039452475721/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^22 - 5408084180720359175446686104113143182139162099490997044233193185486\ 061653850752412573861/140633169282608528914320612227805209856889058\ 162303164396882373747867360880794746516*c_1001_4^21 + 2199621385833404996628234331267799793483922835791669032606089599059\ 36485382636802343683/1406331692826085289143206122278052098568890581\ 62303164396882373747867360880794746516*c_1001_4^20 + 1827049738567121586793928048073896206255281217198262756193623158293\ 241340742952548983974/351582923206521322285801530569513024642222645\ 40575791099220593436966840220198686629*c_1001_4^19 + 2812946968906667913730826466182551429142390457258514100713919007832\ 8270887729923012661893/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^18 + 9993044663661492344827670429531159364903965035990467580232128698507\ 25499154814482901173/3515829232065213222858015305695130246422226454\ 05757910992205934369668402201986866290*c_1001_4^17 - 7884108777991048266627126208720143779320347249284358031505768244831\ 862257794108071271769/175791461603260661142900765284756512321111322\ 702878955496102967184834201100993433145*c_1001_4^16 - 5364147247677227022609417633687773111646139980821039760834786459695\ 8902259564092912677163/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^15 + 2953186342618215374803802319359584049009279357147017653695163801391\ 635268027126173785161/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^14 + 1479503309634765421963280329395851889388389227009541179463427868467\ 3671191942345893275142/17579146160326066114290076528475651232111132\ 2702878955496102967184834201100993433145*c_1001_4^13 + 1032545212050610901915147941966404886424234200982831602521054408686\ 5112402795177807451897/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^12 - 7695160400963433821441266813304880965055498475574686399403561380809\ 195137780915666748761/175791461603260661142900765284756512321111322\ 702878955496102967184834201100993433145*c_1001_4^11 + 1819178537507218660673051149175669417713403754362750852659091840321\ 563129323042383398387/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^10 + 6132292392405262767539649346927384989966890428867961446230877451915\ 038376595507753929559/351582923206521322285801530569513024642222645\ 405757910992205934369668402201986866290*c_1001_4^9 - 1612520688862153560313744280856285424989252382423239194684328009084\ 694272755206633064446/175791461603260661142900765284756512321111322\ 702878955496102967184834201100993433145*c_1001_4^8 - 4961206752234457309118059568005998824395124876313898416679917070192\ 986893501135685477237/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^7 + 3756915722808417416970701484806548186549946632992701569229165149807\ 64383091376638473607/1406331692826085289143206122278052098568890581\ 62303164396882373747867360880794746516*c_1001_4^6 + 4075607090994609588058336908886129943998529191368816902151236619644\ 7569470011385966455/35158292320652132228580153056951302464222264540\ 575791099220593436966840220198686629*c_1001_4^5 + 2343993342115080752854949864938850220878816302353513916758054646174\ 339936056626039381/140633169282608528914320612227805209856889058162\ 303164396882373747867360880794746516*c_1001_4^4 - 1530231645759708750393822066112938604565653560886315227410820509514\ 1675934961545612343/35158292320652132228580153056951302464222264540\ 5757910992205934369668402201986866290*c_1001_4^3 - 1517515514866641225814177019808594892187881336318040483748220274550\ 74246055612456480703/7031658464130426445716030611390260492844452908\ 11515821984411868739336804403973732580*c_1001_4^2 + 1047046672976638031580700988282703545939770666167708474451006423669\ 222694809190515721/175791461603260661142900765284756512321111322702\ 878955496102967184834201100993433145*c_1001_4 - 8484848531495718446525647796003612178640576895888732348112997235352\ 03846034078273937/3515829232065213222858015305695130246422226454057\ 5791099220593436966840220198686629, c_0101_11 + 20852688065426096223544639293684299741278407423432877336467\ 090934828969941701417994998928125/147256740525612221169961001001442\ 00860884893825477882372882708511635477363504100685828106894*c_1001_\ 4^37 + 742598438167103025243788617858475549756487718325572856259747\ 0946561360223248144636361471135/50778186388142145231021034828083451\ 2444306683637168357685610638332257840120831058132003686*c_1001_4^36 + 64552575051281434865066294434013571383845016400342265088231222399\ 2210996244767522945077703817/14725674052561222116996100100144200860\ 884893825477882372882708511635477363504100685828106894*c_1001_4^35 - 4623786966408178769007411414688065810905980229015499165395392968230\ 04875109774138666116169343/7362837026280611058498050050072100430442\ 446912738941186441354255817738681752050342914053447*c_1001_4^34 - 4651629858170188280935385115358636043277002583582629606833266667156\ 937980385178010679804562217/736283702628061105849805005007210043044\ 2446912738941186441354255817738681752050342914053447*c_1001_4^33 - 1209214155808068332772459161644681081537021492429748753625409386162\ 6931818486579989567263507245/14725674052561222116996100100144200860\ 884893825477882372882708511635477363504100685828106894*c_1001_4^32 + 3763149904018022644991908887207014488147306381770818590586899915253\ 6541399654215756997781356395/14725674052561222116996100100144200860\ 884893825477882372882708511635477363504100685828106894*c_1001_4^31 + 2002816153358003352768406851695850403010442689383364878134905443224\ 027302295866379202780190111/253890931940710726155105174140417256222\ 153341818584178842805319166128920060415529066001843*c_1001_4^30 - 4693465275807915956255819726715819278381800192468089920279332771241\ 64201790589761825348733707/1472567405256122211699610010014420086088\ 4893825477882372882708511635477363504100685828106894*c_1001_4^29 - 1837681140587617037701524135602604800544263487139904906868095952516\ 11211227359731493551610577657/7362837026280611058498050050072100430\ 442446912738941186441354255817738681752050342914053447*c_1001_4^28 - 1948265577418014649378589349194602365717304848152269347271915817878\ 57576394847753632016246475432/7362837026280611058498050050072100430\ 442446912738941186441354255817738681752050342914053447*c_1001_4^27 + 2738663233176971993761288975763133988334714563008768235552573066545\ 14987134992786690710416805315/1472567405256122211699610010014420086\ 0884893825477882372882708511635477363504100685828106894*c_1001_4^26 + 42164597722644296312998189974578231518312263216828903256844516454\ 1445401359359097460700248528814/73628370262806110584980500500721004\ 30442446912738941186441354255817738681752050342914053447*c_1001_4^2\ 5 + 103477591850840218521823341152437008022197086336618518911868063\ 8484252487456014040809235974781297/14725674052561222116996100100144\ 200860884893825477882372882708511635477363504100685828106894*c_1001\ _4^24 + 76854265637451114206813994203915698334746501743644524382594\ 8891936077152443697410573629401355357/14725674052561222116996100100\ 144200860884893825477882372882708511635477363504100685828106894*c_1\ 001_4^23 - 19413090520924429456675790224607038661231399120331404644\ 71488818396738916020653568675849969901907/1472567405256122211699610\ 0100144200860884893825477882372882708511635477363504100685828106894\ *c_1001_4^22 - 5255006044887751173106752336289626047975061106943211\ 091098950573956222224343433357288349056926149/147256740525612221169\ 9610010014420086088489382547788237288270851163547736350410068582810\ 6894*c_1001_4^21 - 185510421740929428050797634049022196406240216859\ 5460890155724913844804209401317573965871472095159/14725674052561222\ 1169961001001442008608848938254778823728827085116354773635041006858\ 28106894*c_1001_4^20 + 30917401678722550866321566534257653798181600\ 61864673222733425885996924936681446875641944109436007/7362837026280\ 6110584980500500721004304424469127389411864413542558177386817520503\ 42914053447*c_1001_4^19 + 80796955700106651241185347448331477024897\ 02736582264424406844885994092796060528955102986314175093/1472567405\ 2561222116996100100144200860884893825477882372882708511635477363504\ 100685828106894*c_1001_4^18 + 1282368827907899132191810484006820997\ 122664304679883020384624014626267387239447376157756805167535/736283\ 7026280611058498050050072100430442446912738941186441354255817738681\ 752050342914053447*c_1001_4^17 - 3137655800840370079479299605430385\ 291979888593442808835097223896205998221398156744544408771160173/736\ 2837026280611058498050050072100430442446912738941186441354255817738\ 681752050342914053447*c_1001_4^16 - 4259265937789826087544916656985010761983294128053565208809483846786\ 54959108705166598988534781497/5077818638814214523102103482808345124\ 44306683637168357685610638332257840120831058132003686*c_1001_4^15 - 3795962329862769776919321868020252580919288009197512296296959947889\ 885401942640807329376370524161/147256740525612221169961001001442008\ 60884893825477882372882708511635477363504100685828106894*c_1001_4^1\ 4 + 551659106489541906719572081218591745990413335789419938100329510\ 5008705631964319225419201403208029/73628370262806110584980500500721\ 00430442446912738941186441354255817738681752050342914053447*c_1001_\ 4^13 + 880757254348488432090191844454968855301964725587206520916830\ 0086071846921877127286884455891195605/14725674052561222116996100100\ 144200860884893825477882372882708511635477363504100685828106894*c_1\ 001_4^12 - 16339370121795031296560484258206816595471720035897610866\ 22315506582077219595716287792055640513271/7362837026280611058498050\ 050072100430442446912738941186441354255817738681752050342914053447*\ c_1001_4^11 - 47674699565811751662406972780325754784290373365498626\ 92480026956192772000959647934949821140763543/1472567405256122211699\ 6100100144200860884893825477882372882708511635477363504100685828106\ 894*c_1001_4^10 - 1199148232806194635061722294248838588061213324100\ 34042019835972492709553839815086680180494343122/7362837026280611058\ 4980500500721004304424469127389411864413542558177386817520503429140\ 53447*c_1001_4^9 + 358627633973991443861783335987072356660960676595\ 032511464620494420132809244752829482854228201536/736283702628061105\ 8498050050072100430442446912738941186441354255817738681752050342914\ 053447*c_1001_4^8 + 15978862796300706804289924939575003695973530527\ 0178458241994962479617868357437525100545863031529/14725674052561222\ 1169961001001442008608848938254778823728827085116354773635041006858\ 28106894*c_1001_4^7 + 285662195384702062497802337660220776385039902\ 0507149912983475902928612949577753811402490555053/50778186388142145\ 2310210348280834512444306683637168357685610638332257840120831058132\ 003686*c_1001_4^6 - 10258180827251050319625019520330428514760886793\ 214346756504695694369297872071416938783999780667/736283702628061105\ 8498050050072100430442446912738941186441354255817738681752050342914\ 053447*c_1001_4^5 - 36803573459740860405463662643343848951516922840\ 650222872909565982433279261203447943060124134853/147256740525612221\ 1699610010014420086088489382547788237288270851163547736350410068582\ 8106894*c_1001_4^4 - 2842182170232530899763548318272556594870848446\ 568826127653469816530003627877395390692829384334/736283702628061105\ 8498050050072100430442446912738941186441354255817738681752050342914\ 053447*c_1001_4^3 - 97571136737149804082417830030655969254868515457\ 57243655047303582091395463958026255992793725011/1472567405256122211\ 6996100100144200860884893825477882372882708511635477363504100685828\ 106894*c_1001_4^2 + 12259253732948645247462353839167494952653154504\ 1575988740291358838815754244259543855308250344/73628370262806110584\ 9805005007210043044244691273894118644135425581773868175205034291405\ 3447*c_1001_4 - 297827637801222620863312439453565658613566368594045\ 196920494316053199569572398347994972125899/736283702628061105849805\ 0050072100430442446912738941186441354255817738681752050342914053447\ , c_0101_3 - 1, c_0101_6 - 287014580567821110521168707282452010059870254177271151105651\ 53543786576451551001601840261043/2945134810512244423399220020028840\ 1721769787650955764745765417023270954727008201371656213788*c_1001_4\ ^37 - 5124988894049533864677043413716892300461188787131972338987500\ 7300949225370848045038272826703/50778186388142145231021034828083451\ 24443066836371683576856106383322578401208310581320036860*c_1001_4^3\ 6 - 449172627142902813110678754263732554233136630073117064418761517\ 1310809744232507143243782999363/14725674052561222116996100100144200\ 8608848938254778823728827085116354773635041006858281068940*c_1001_4\ ^35 + 3086016531197958997382452506886786547277203498363401769330906\ 062284843225880825912308729570623/736283702628061105849805005007210\ 04304424469127389411864413542558177386817520503429140534470*c_1001_\ 4^34 + 160045316554448520050689667976153573627454145007827557968712\ 52451874656450285524347874793187799/3681418513140305529249025025036\ 0502152212234563694705932206771279088693408760251714570267235*c_100\ 1_4^33 + 8533369102711293014655579091088418847620567402130233661304\ 9714420174235277294501575196760367979/14725674052561222116996100100\ 1442008608848938254778823728827085116354773635041006858281068940*c_\ 1001_4^32 - 5076553105325412862626944190568918829332488881260980620\ 5546300380353876528912932560440186179627/29451348105122444233992200\ 200288401721769787650955764745765417023270954727008201371656213788*\ c_1001_4^31 - 13848293783606559526716210118888843132572156055025134\ 508787450499522518148670681481250387903593/253890931940710726155105\ 1741404172562221533418185841788428053191661289200604155290660018430\ *c_1001_4^30 - 3074190787178695670250184129931928279812384248503398\ 9127510988544132877478979151007370738548049/14725674052561222116996\ 1001001442008608848938254778823728827085116354773635041006858281068\ 940*c_1001_4^29 + 1247163874809836854414768544426967929525374713337\ 589123763459612493031776314290994089340006747323/736283702628061105\ 8498050050072100430442446912738941186441354255817738681752050342914\ 0534470*c_1001_4^28 + 137621322264366803601865681846285616598497081\ 7955527509865980018334908116513401173843600206614901/73628370262806\ 1105849805005007210043044244691273894118644135425581773868175205034\ 29140534470*c_1001_4^27 - 33943182833381958907455033271694322671269\ 3410704303249982413993874489286944863001424747881129081/29451348105\ 1224442339922002002884017217697876509557647457654170232709547270082\ 01371656213788*c_1001_4^26 - 28665499594387240717121868793305054663\ 82366164442168702226403939405247873988106101630363505090057/7362837\ 0262806110584980500500721004304424469127389411864413542558177386817\ 520503429140534470*c_1001_4^25 - 7366865596587359820500723027886253\ 528107937819140550966951191615957249240205876766264409145727819/147\ 2567405256122211699610010014420086088489382547788237288270851163547\ 73635041006858281068940*c_1001_4^24 - 5761518988815357889880761902396742284998337790678064671902453800351\ 619025620445732901111532212241/147256740525612221169961001001442008\ 608848938254778823728827085116354773635041006858281068940*c_1001_4^\ 23 + 12886104406089543893447351089660792184487980780119355561616203\ 486612300923368325942938846076190343/147256740525612221169961001001\ 442008608848938254778823728827085116354773635041006858281068940*c_1\ 001_4^22 + 72644824598580010186838930199147496315957575158729601759\ 34960020566497969949948017072252846373639/2945134810512244423399220\ 0200288401721769787650955764745765417023270954727008201371656213788\ *c_1001_4^21 + 2877266756128334301315974130239436136631341091133864\ 714953130855887483342711988959204092983635227/294513481051224442339\ 9220020028840172176978765095576474576541702327095472700820137165621\ 3788*c_1001_4^20 - 405753312724545146986542266043072255748102813624\ 6098678973962181287172461949042870507562631270869/14725674052561222\ 1169961001001442008608848938254778823728827085116354773635041006858\ 28106894*c_1001_4^19 - 56185607709415451237838573996747198486442544\ 909691182589732862967024613794137585519054424131175349/147256740525\ 6122211699610010014420086088489382547788237288270851163547736350410\ 06858281068940*c_1001_4^18 - 52874591717968841892955596956053983223\ 03623425111049828691249693138903886128205820198493586798617/3681418\ 5131403055292490250250360502152212234563694705932206771279088693408\ 760251714570267235*c_1001_4^17 + 1001586545789377319735226477735867\ 7379251755776121360227739289397256491396350777654499308253389257/36\ 8141851314030552924902502503605021522122345636947059322067712790886\ 93408760251714570267235*c_1001_4^16 + 2945592866420645859283184404715871584607388404423954041136313757350\ 108522258333904429998788736911/507781863881421452310210348280834512\ 4443066836371683576856106383322578401208310581320036860*c_1001_4^15 + 30580865213647471776596388681756114778766911287692197661155596797\ 196285394705867161167914281167017/147256740525612221169961001001442\ 008608848938254778823728827085116354773635041006858281068940*c_1001\ _4^14 - 35643342140066402711007691956428733973325290474540193762767\ 837810409580921722230133423679386724837/736283702628061105849805005\ 00721004304424469127389411864413542558177386817520503429140534470*c\ _1001_4^13 - 614944460444508728347106007916034047989190896998975218\ 55716578041134853930464377412982442106482621/1472567405256122211699\ 6100100144200860884893825477882372882708511635477363504100685828106\ 8940*c_1001_4^12 + 864002598003784701854206548457331124053857424712\ 3873609269069416274182042697666305088556422363581/73628370262806110\ 5849805005007210043044244691273894118644135425581773868175205034291\ 40534470*c_1001_4^11 + 30400065239389013003785068944152326071244042\ 380260421259015327302606012898119574345659581286258189/147256740525\ 6122211699610010014420086088489382547788237288270851163547736350410\ 06858281068940*c_1001_4^10 + 89035045956497976895031780782353382146\ 9020331681115017514901815647356325159447758355346084271664/36814185\ 1314030552924902502503605021522122345636947059322067712790886934087\ 60251714570267235*c_1001_4^9 - 773652962534069040637492304573871374\ 902130068600553130789972195271939805741871787621421619961192/368141\ 8513140305529249025025036050215221223456369470593220677127908869340\ 8760251714570267235*c_1001_4^8 - 1066614313528760861077330388336972\ 645145386045838542244132445484221750252397114125759973685525139/147\ 2567405256122211699610010014420086088489382547788237288270851163547\ 73635041006858281068940*c_1001_4^7 - 6669530621520969007625660704959932644000032483276852590518471835272\ 559015548973958573048807625/101556372776284290462042069656166902488\ 8613367274336715371221276664515680241662116264007372*c_1001_4^6 + 1527783438124317966636893813110101657194206082348944657466758242726\ 532531212119285904768709585/147256740525612221169961001001442008608\ 84893825477882372882708511635477363504100685828106894*c_1001_4^5 + 5082027466166441769343095752631305606313197207697203021980876625758\ 6573999087251411922906746851/29451348105122444233992200200288401721\ 769787650955764745765417023270954727008201371656213788*c_1001_4^4 + 1611914995514415128325732189133402581479352944883312848585230203926\ 8697344434788941837648856232/36814185131403055292490250250360502152\ 212234563694705932206771279088693408760251714570267235*c_1001_4^3 + 8219052290525979661535737223915088428227204658135257267414694835060\ 4422071519408271409101104639/14725674052561222116996100100144200860\ 8848938254778823728827085116354773635041006858281068940*c_1001_4^2 + 7931940704791747419546911392116550855449626590143675764217372749219\ 01162508569175631948411859/7362837026280611058498050050072100430442\ 4469127389411864413542558177386817520503429140534470*c_1001_4 + 2855764003082166427978134332823534453591988830300776985896934316706\ 50848643582061532240103078/7362837026280611058498050050072100430442\ 446912738941186441354255817738681752050342914053447, c_0101_7 + 675937684290606915360147441275041224809619549406008734590955\ 2412156028657002015187095716317/73628370262806110584980500500721004\ 30442446912738941186441354255817738681752050342914053447*c_1001_4^3\ 7 + 119383057151463213780484478006554947494231357107116278376247391\ 91886482260967023207995270557/1269454659703553630775525870702086281\ 110766709092920894214026595830644600302077645330009215*c_1001_4^36 + 1012851015348667223991383204637166614575432260109476856806206663928\ 264028604034564317529213462/368141851314030552924902502503605021522\ 12234563694705932206771279088693408760251714570267235*c_1001_4^35 - 1630021003328846254707480517933802105727130796399139988852787836464\ 851462166708350955727959054/368141851314030552924902502503605021522\ 12234563694705932206771279088693408760251714570267235*c_1001_4^34 - 1508541402155199438376484767320561972192261914411400723252028862761\ 7087852350076303554808375434/36814185131403055292490250250360502152\ 212234563694705932206771279088693408760251714570267235*c_1001_4^33 - 1815440916290188706394763945598196971235971882620086213333654030105\ 8055047210528760178371116396/36814185131403055292490250250360502152\ 212234563694705932206771279088693408760251714570267235*c_1001_4^32 + 1290576771117144426764480382969913621893625946682360450849025723276\ 4628645880496506417937634889/73628370262806110584980500500721004304\ 42446912738941186441354255817738681752050342914053447*c_1001_4^31 + 6403492706409543142996187525164031538333447326356901101406295278521\ 303910372165145237345965709/126945465970355363077552587070208628111\ 0766709092920894214026595830644600302077645330009215*c_1001_4^30 - 2410476540650387487003307040299609188207036654385847375634214225222\ 4946976817539513761624108319/36814185131403055292490250250360502152\ 212234563694705932206771279088693408760251714570267235*c_1001_4^29 - 6196768118452536579735409387533204596773280043923942932089816999184\ 61381498306941063902922369859/3681418513140305529249025025036050215\ 2212234563694705932206771279088693408760251714570267235*c_1001_4^28 - 58243019476052288111669414988529763709878898263365277557791819806\ 2458363533887461301164467558008/36814185131403055292490250250360502\ 152212234563694705932206771279088693408760251714570267235*c_1001_4^\ 27 + 11452293490667207419795791429871668728868592397428774288761740\ 9138110946975925354991823867208777/73628370262806110584980500500721\ 00430442446912738941186441354255817738681752050342914053447*c_1001_\ 4^26 + 141298129089572371243237890049321964574640476196851870413494\ 6550934369991145381201744300551391481/36814185131403055292490250250\ 360502152212234563694705932206771279088693408760251714570267235*c_1\ 001_4^25 + 15068244641623697685677221002158055884251362025041071081\ 10164804664785967030721563902011191568481/3681418513140305529249025\ 0250360502152212234563694705932206771279088693408760251714570267235\ *c_1001_4^24 + 9243113121527176747874629132458262733568726613184032\ 91568721195400356463437123663871248861632309/3681418513140305529249\ 0250250360502152212234563694705932206771279088693408760251714570267\ 235*c_1001_4^23 - 3467034377598251470360823389774613238078130470325\ 787026727644793578014237372334015970783355471287/368141851314030552\ 9249025025036050215221223456369470593220677127908869340876025171457\ 0267235*c_1001_4^22 - 168109832984101542519891498209524306864128966\ 9341004015565077236168307777754579916762748089875220/73628370262806\ 1105849805005007210043044244691273894118644135425581773868175205034\ 2914053447*c_1001_4^21 - 378408599487143967232926215999894258977559\ 086859636024820622215265563524446134001184185083359582/736283702628\ 0611058498050050072100430442446912738941186441354255817738681752050\ 342914053447*c_1001_4^20 + 2273757239869524472979791398867882244713\ 332313474351507672747100418892568176592068529240320605238/736283702\ 6280611058498050050072100430442446912738941186441354255817738681752\ 050342914053447*c_1001_4^19 + 1266691023467473187972193525682019767\ 5943087338512665795652991986961635885037310362842398729159186/36814\ 1851314030552924902502503605021522122345636947059322067712790886934\ 08760251714570267235*c_1001_4^18 + 1749890500771105274949114714263706285071524755480518570690718007549\ 454951198577522900345428718067/368141851314030552924902502503605021\ 52212234563694705932206771279088693408760251714570267235*c_1001_4^1\ 7 - 122757904900774291931167662416237021768436520205954329024554469\ 40192687463415815836784566341058267/3681418513140305529249025025036\ 0502152212234563694705932206771279088693408760251714570267235*c_100\ 1_4^16 - 6789891286904247178169074195421662031778983104344903209920\ 31613886365218896574857550584128710274/1269454659703553630775525870\ 702086281110766709092920894214026595830644600302077645330009215*c_1\ 001_4^15 - 30814257981096857913607378079751868340460407625298342824\ 86410079065562356374711589550390192197468/3681418513140305529249025\ 0250360502152212234563694705932206771279088693408760251714570267235\ *c_1001_4^14 + 2102906892221098388419287131006160645802841418827369\ 9517109225901574834130725758285821569033523946/36814185131403055292\ 4902502503605021522122345636947059322067712790886934087602517145702\ 67235*c_1001_4^13 + 13595394682323025528020883954043402493930817614\ 755200873321404678858962084702556162608187060198874/368141851314030\ 5529249025025036050215221223456369470593220677127908869340876025171\ 4570267235*c_1001_4^12 - 888814498780560343869032832241297617730155\ 9485505405340127918196560088839880047006510640453521263/36814185131\ 4030552924902502503605021522122345636947059322067712790886934087602\ 51714570267235*c_1001_4^11 - 93094111140079280851472091100574744392\ 02366561291063586958127396563076066757117422884680430780206/3681418\ 5131403055292490250250360502152212234563694705932206771279088693408\ 760251714570267235*c_1001_4^10 + 9747225647097190416170922020341332\ 30389795492489479283596968557243291433912741505697398860658626/3681\ 4185131403055292490250250360502152212234563694705932206771279088693\ 408760251714570267235*c_1001_4^9 + 2404868648608693432890413965499944297027025671895255222843558082071\ 626078952621216932667151412512/368141851314030552924902502503605021\ 52212234563694705932206771279088693408760251714570267235*c_1001_4^8 + 24932071114518352768609985003244931106123316269358660356895866746\ 4517783528669162964381380559466/36814185131403055292490250250360502\ 152212234563694705932206771279088693408760251714570267235*c_1001_4^\ 7 - 984614903840160902036451657075608669079325433555234909837470687\ 294301786002365945925216490915/253890931940710726155105174140417256\ 222153341818584178842805319166128920060415529066001843*c_1001_4^6 - 2254347798528223682521916578090695042241675377043091221367007276632\ 5375172388535035308103705732/73628370262806110584980500500721004304\ 42446912738941186441354255817738681752050342914053447*c_1001_4^5 - 1092801363711577524073455589614584826942973666750495111139258234950\ 6941592326618466979091847769/73628370262806110584980500500721004304\ 42446912738941186441354255817738681752050342914053447*c_1001_4^4 + 8183950837302744598484287728129105435850416655914253852539422715875\ 066462420446983298465199818/368141851314030552924902502503605021522\ 12234563694705932206771279088693408760251714570267235*c_1001_4^3 - 6457548501147241265635074391887450772798445893906079150678677332621\ 904225943881643118265979626/368141851314030552924902502503605021522\ 12234563694705932206771279088693408760251714570267235*c_1001_4^2 + 2380657843751706181564915201578471552771827012648166224247889542876\ 492133084950634366482513973/368141851314030552924902502503605021522\ 12234563694705932206771279088693408760251714570267235*c_1001_4 + 1290033225347244496679517689809347964684953554922034915353354107632\ 0561859435682020577007355/73628370262806110584980500500721004304424\ 46912738941186441354255817738681752050342914053447, c_0110_12 + 12186682399153100421166699149747716291281287338501473235097\ 5827390911642096069260841/14063316928260852891432061222780520985688\ 9058162303164396882373747867360880794746516*c_1001_4^37 + 6206096124092760436750292494826017695138262332481184510316889978304\ 425180199822915419/703165846413042644571603061139026049284445290811\ 515821984411868739336804403973732580*c_1001_4^36 + 1797454110295206807797298347024917909780519998497635434236352716025\ 7498479546088245511/70316584641304264457160306113902604928444529081\ 1515821984411868739336804403973732580*c_1001_4^35 - 7403042519513049069466800753635005839421407448271567202770693592102\ 382009564362717143/175791461603260661142900765284756512321111322702\ 878955496102967184834201100993433145*c_1001_4^34 - 6689784863350810987164249069970824146172729327792929235184478120466\ 0704044520493699348/17579146160326066114290076528475651232111132270\ 2878955496102967184834201100993433145*c_1001_4^33 - 3144830001682446089022071708667399750541174614383090698205819397729\ 50793404959304276473/7031658464130426445716030611390260492844452908\ 11515821984411868739336804403973732580*c_1001_4^32 + 2291239972767560982424500381011981674543790991985425246250950433097\ 73063509640717502247/1406331692826085289143206122278052098568890581\ 62303164396882373747867360880794746516*c_1001_4^31 + 8064771463033834764644225172653011104584438093445716931530187552419\ 76398419623238741052/1757914616032606611429007652847565123211113227\ 02878955496102967184834201100993433145*c_1001_4^30 - 4911188418443966359374595505843105004337295372725206432721507835327\ 15245849188684162277/7031658464130426445716030611390260492844452908\ 11515821984411868739336804403973732580*c_1001_4^29 - 2665476338355029618917331175504423411509704569320125146688920109815\ 807451445972577521318/175791461603260661142900765284756512321111322\ 702878955496102967184834201100993433145*c_1001_4^28 - 4885469334648339653332868796187269291747372477998910486902648166423\ 799474892013248625967/351582923206521322285801530569513024642222645\ 405757910992205934369668402201986866290*c_1001_4^27 + 1893180005245130859019389205356711080943769284927377003072084739817\ 199987665258352244447/140633169282608528914320612227805209856889058\ 162303164396882373747867360880794746516*c_1001_4^26 + 5767229151838421773875518412002010264197206350285418830412953601429\ 617786308223186804162/175791461603260661142900765284756512321111322\ 702878955496102967184834201100993433145*c_1001_4^25 + 2658387175780278233967150668479383256096979138465182358397528091152\ 7087244831914073323113/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^24 + 1872566040367174457431625333158482072354831882899403828357817323682\ 2106822789793903843117/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^23 - 5892176350796001471716521298353150680303152113340905403817909733864\ 6760131305826124374771/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^22 - 2889050502720512892608044036952448114008916165343477092299289232266\ 5867672213190866195135/14063316928260852891432061222780520985688905\ 8162303164396882373747867360880794746516*c_1001_4^21 - 6523006211376762972015054011255568666134143165882422570365523538216\ 076265529815309509495/140633169282608528914320612227805209856889058\ 162303164396882373747867360880794746516*c_1001_4^20 + 9236487539135030241220852935460714832538546083816310737634402829244\ 587664359243711184242/351582923206521322285801530569513024642222645\ 40575791099220593436966840220198686629*c_1001_4^19 + 2058767668612250860023741617877130465937783264140458126040756727729\ 85501735320792011902523/7031658464130426445716030611390260492844452\ 90811515821984411868739336804403973732580*c_1001_4^18 + 2147508781295706334582687390833406524491514857477336279831649075041\ 6982565080908414080413/35158292320652132228580153056951302464222264\ 5405757910992205934369668402201986866290*c_1001_4^17 - 4651969160865023316266016974868013326564494089471506506720767143082\ 8863535837525376839939/17579146160326066114290076528475651232111132\ 2702878955496102967184834201100993433145*c_1001_4^16 - 3282650546372912933771019367919793135881254277303777467901619275847\ 43195153646005630028093/7031658464130426445716030611390260492844452\ 90811515821984411868739336804403973732580*c_1001_4^15 - 6073346501508703357263142522785082020830862651740751607331707755649\ 5567287055928999433529/70316584641304264457160306113902604928444529\ 0811515821984411868739336804403973732580*c_1001_4^14 + 8202047963903231353956080151652116358821380720365879377558184723593\ 6908039234633380824777/17579146160326066114290076528475651232111132\ 2702878955496102967184834201100993433145*c_1001_4^13 + 2011376207605035124930855255742999223750859285617802016535064374071\ 66086799297318224313787/7031658464130426445716030611390260492844452\ 90811515821984411868739336804403973732580*c_1001_4^12 - 3230476829789895024669741945343892003871116375216593197713908961203\ 4036965624040979103691/17579146160326066114290076528475651232111132\ 2702878955496102967184834201100993433145*c_1001_4^11 - 1135819944799836880733521880903399970804981108398064891522027073434\ 51339359789261547110463/7031658464130426445716030611390260492844452\ 90811515821984411868739336804403973732580*c_1001_4^10 + 8605752277320659036720219107234862890315786149036376719658952690760\ 422328078259581243309/351582923206521322285801530569513024642222645\ 405757910992205934369668402201986866290*c_1001_4^9 + 4252758889162891048216401974608517199839634919842213165376745891986\ 762240471748309774269/175791461603260661142900765284756512321111322\ 702878955496102967184834201100993433145*c_1001_4^8 - 2013836843648488645281710033494218607465388983117372358501849566206\ 034296664723638198327/703165846413042644571603061139026049284445290\ 811515821984411868739336804403973732580*c_1001_4^7 + 4039326673666638860533119252283739034383398094696834869771525433380\ 99516745452715264041/1406331692826085289143206122278052098568890581\ 62303164396882373747867360880794746516*c_1001_4^6 - 4567807877934850973537493837453275323562933912642737162132035866812\ 662847864005751115/351582923206521322285801530569513024642222645405\ 75791099220593436966840220198686629*c_1001_4^5 - 1519956630327463526473215435612846893560649333344744775219649315012\ 81321300001657447417/1406331692826085289143206122278052098568890581\ 62303164396882373747867360880794746516*c_1001_4^4 - 1872068050392715221197520857830825987069521619218125995461885995819\ 6780010640005964773/35158292320652132228580153056951302464222264540\ 5757910992205934369668402201986866290*c_1001_4^3 - 3210959327218690462628636502248810544192724179935735693322319493701\ 71942928850977822513/7031658464130426445716030611390260492844452908\ 11515821984411868739336804403973732580*c_1001_4^2 + 6116106168957087799350517984945044257755643910001898355765510727312\ 258449877254862441/175791461603260661142900765284756512321111322702\ 878955496102967184834201100993433145*c_1001_4 - 1253065990792465593807909260373121869590449878038643199065773012383\ 767074648031515827/351582923206521322285801530569513024642222645405\ 75791099220593436966840220198686629, c_1001_1 - 120822239380565240976882859442594570293812450544526699607537\ 31797197041268482049686889158475/1472567405256122211699610010014420\ 0860884893825477882372882708511635477363504100685828106894*c_1001_4\ ^37 - 4311855412434534248574000949896929338063253681881766227246313\ 549342805552631646011771111015/507781863881421452310210348280834512\ 444306683637168357685610638332257840120831058132003686*c_1001_4^36 - 3766825368063202951745119707663434053248224548911563540750971783592\ 93404464002753841713851749/1472567405256122211699610010014420086088\ 4893825477882372882708511635477363504100685828106894*c_1001_4^35 + 2641362022732985904769390038838114125081232005260958853988464995603\ 58415842120479444385436495/7362837026280611058498050050072100430442\ 446912738941186441354255817738681752050342914053447*c_1001_4^34 + 2701480313505003140713139817174051836774041609949498730530588800932\ 924281487390330163403765559/736283702628061105849805005007210043044\ 2446912738941186441354255817738681752050342914053447*c_1001_4^33 + 7116896690532692711796104753162119542243006355857145985982735238078\ 695734143477265477349910447/147256740525612221169961001001442008608\ 84893825477882372882708511635477363504100685828106894*c_1001_4^32 - 2167395916207970464508256499664989127917872958910890196912050086583\ 3687015915104612455177078783/14725674052561222116996100100144200860\ 884893825477882372882708511635477363504100685828106894*c_1001_4^31 - 1168271820680557983744863809320517475970927503417166238166369545092\ 081991355807919683500307151/253890931940710726155105174140417256222\ 153341818584178842805319166128920060415529066001843*c_1001_4^30 - 1026380631223296929963634621946156488483971216443391251515832082718\ 118809526552950297692816671/147256740525612221169961001001442008608\ 84893825477882372882708511635477363504100685828106894*c_1001_4^29 + 1065111398316888323568163591111969595828190852824625786763904623744\ 43203398374450232066633347915/7362837026280611058498050050072100430\ 442446912738941186441354255817738681752050342914053447*c_1001_4^28 + 1148995943561080166936252287840576296368910493242077923564432555420\ 49907719890158939178183814943/7362837026280611058498050050072100430\ 442446912738941186441354255817738681752050342914053447*c_1001_4^27 - 1543831592128847541296283902620151027535324913702098485295051095259\ 36027515369511864630532571999/1472567405256122211699610010014420086\ 0884893825477882372882708511635477363504100685828106894*c_1001_4^26 - 24551141166671001644371588463292615588759262954391584883966284614\ 3940968418459798644487124636978/73628370262806110584980500500721004\ 30442446912738941186441354255817738681752050342914053447*c_1001_4^2\ 5 - 608669957573097737825689508722006301954323778764252400237312216\ 374850881754839274947054196748575/147256740525612221169961001001442\ 00860884893825477882372882708511635477363504100685828106894*c_1001_\ 4^24 - 458573429433194236515097834097461930574670111560684501085385\ 030985538952419653333622818933772839/147256740525612221169961001001\ 44200860884893825477882372882708511635477363504100685828106894*c_10\ 01_4^23 + 111519472171035123315867126795160627236150703257523969635\ 5186905447777310591407298098879403790093/14725674052561222116996100\ 100144200860884893825477882372882708511635477363504100685828106894*\ c_1001_4^22 + 30675535642281060960485835105854683543966458552595829\ 88837467628141871475928815942095178709659169/1472567405256122211699\ 6100100144200860884893825477882372882708511635477363504100685828106\ 894*c_1001_4^21 + 1132860157915050707765974368078632371992866873686\ 024285324547624385409325436995756924698051967259/147256740525612221\ 1699610010014420086088489382547788237288270851163547736350410068582\ 8106894*c_1001_4^20 - 177971505939543086976765403254057417584844089\ 1622349888538703055562629960942934408041787441763764/73628370262806\ 1105849805005007210043044244691273894118644135425581773868175205034\ 2914053447*c_1001_4^19 - 474155916726360847272823379766897816484390\ 5164187534870139206491972120415567229937765491788289947/14725674052\ 5612221169961001001442008608848938254778823728827085116354773635041\ 00685828106894*c_1001_4^18 - 78961538547197924264017100568711349432\ 3022878498385656492806504871088165635130886090951305124987/73628370\ 2628061105849805005007210043044244691273894118644135425581773868175\ 2050342914053447*c_1001_4^17 + 179605067327172126772848058105117466\ 4928239918759474244976896899334955242486907518614359755898811/73628\ 3702628061105849805005007210043044244691273894118644135425581773868\ 1752050342914053447*c_1001_4^16 + 249022503586589664408966649789886\ 824846238471635698503688718531591598928070001476275775880357087/507\ 7818638814214523102103482808345124443066836371683576856106383322578\ 40120831058132003686*c_1001_4^15 + 2339482886036576734051660549317346913080110254888173031616377375569\ 754657505272192815790968968851/147256740525612221169961001001442008\ 60884893825477882372882708511635477363504100685828106894*c_1001_4^1\ 4 - 316980174523526572113933491666751790120933646779327387951968975\ 5168067272990412390929629985285200/73628370262806110584980500500721\ 00430442446912738941186441354255817738681752050342914053447*c_1001_\ 4^13 - 520333092895291234432362368992132457873915993920368077922246\ 3565710691264190059491004780377120077/14725674052561222116996100100\ 144200860884893825477882372882708511635477363504100685828106894*c_1\ 001_4^12 + 89584161501097540404863656399756277419494117609292623490\ 4285665117452556862975036689951668140636/73628370262806110584980500\ 50072100430442446912738941186441354255817738681752050342914053447*c\ _1001_4^11 + 276837743159980580223019965355803563429383217175562613\ 4063818768289433240610848000743118616368219/14725674052561222116996\ 1001001442008608848938254778823728827085116354773635041006858281068\ 94*c_1001_4^10 + 93391710556943532142135585188537473604228147582873\ 912745152256583019165137437068257956410121329/736283702628061105849\ 8050050072100430442446912738941186441354255817738681752050342914053\ 447*c_1001_4^9 - 19865327453534586604096944801228414836886284529894\ 7227212776830226301721667035710152989408640842/73628370262806110584\ 9805005007210043044244691273894118644135425581773868175205034291405\ 3447*c_1001_4^8 - 9617364030940111638402643144310309991924787253529\ 5745752910921410011777941421049213505551616099/14725674052561222116\ 9961001001442008608848938254778823728827085116354773635041006858281\ 06894*c_1001_4^7 - 179800881628532902405568810215686829413125054114\ 0828499536277114913237651811150485975374894885/50778186388142145231\ 0210348280834512444306683637168357685610638332257840120831058132003\ 686*c_1001_4^6 + 51280282753309520640098552032024570721029244160624\ 32868200102632078007043620871906255210022712/7362837026280611058498\ 0500500721004304424469127389411864413542558177386817520503429140534\ 47*c_1001_4^5 + 209119356030728265914025199144162760554916351691256\ 56210306280399374878837297152964311729573393/1472567405256122211699\ 6100100144200860884893825477882372882708511635477363504100685828106\ 894*c_1001_4^4 + 18187548214599388659039630943730491402355649217342\ 30625077620154091984669920197538829104786704/7362837026280611058498\ 0500500721004304424469127389411864413542558177386817520503429140534\ 47*c_1001_4^3 + 599220284504302585883359442366480570178499588591044\ 7182752024308588710250632281086193998993177/14725674052561222116996\ 1001001442008608848938254778823728827085116354773635041006858281068\ 94*c_1001_4^2 - 295669784058856425663467507828258933533633430630298\ 59479380536308192264645047957297103522854/7362837026280611058498050\ 050072100430442446912738941186441354255817738681752050342914053447*\ c_1001_4 + 18923168748731119994138277130196402100138630016146281230\ 1982195166910706142307338425516212691/73628370262806110584980500500\ 72100430442446912738941186441354255817738681752050342914053447, c_1001_4^38 + 59/5*c_1001_4^37 + 231/5*c_1001_4^36 + 8/5*c_1001_4^35 - 2552/5*c_1001_4^34 - 6193/5*c_1001_4^33 + 935*c_1001_4^32 + 41048/5*c_1001_4^31 + 41243/5*c_1001_4^30 - 87332/5*c_1001_4^29 - 223354/5*c_1001_4^28 - 15029*c_1001_4^27 + 295948/5*c_1001_4^26 + 548933/5*c_1001_4^25 + 556917/5*c_1001_4^24 - 186451/5*c_1001_4^23 - 388159*c_1001_4^22 - 463687*c_1001_4^21 + 156848*c_1001_4^20 + 4111843/5*c_1001_4^19 + 3527166/5*c_1001_4^18 - 534896/5*c_1001_4^17 - 5169833/5*c_1001_4^16 - 5334929/5*c_1001_4^15 + 1204608/5*c_1001_4^14 + 5993787/5*c_1001_4^13 + 2435476/5*c_1001_4^12 - 2229903/5*c_1001_4^11 - 1788762/5*c_1001_4^10 + 41496/5*c_1001_4^9 + 298533/5*c_1001_4^8 + 17569*c_1001_4^7 + 4932*c_1001_4^6 - 3341*c_1001_4^5 - 14706/5*c_1001_4^4 - 4593/5*c_1001_4^3 - 3356/5*c_1001_4^2 - 20*c_1001_4 - 40 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.670 Total time: 5.889 seconds, Total memory usage: 64.12MB