Magma V2.19-8 Tue Aug 20 2013 17:58:47 on localhost [Seed = 2244227380] Type ? for help. Type -D to quit. Loading file "10_52__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_52 geometric_solution 11.53754818 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 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 1.052443553921 1.219313077675 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.944455720753 0.804698569977 7 0 3 7 0132 0132 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -6 -1 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.237684615016 0.694712949038 2 4 0 0 2310 2031 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.541890764600 0.749327329985 3 1 7 8 1302 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.016544671356 0.498269234803 8 9 1 10 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.080688426222 0.379877447240 11 10 11 1 0132 2103 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387825386769 1.279120649909 2 2 9 4 0132 1302 2031 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 6 -7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559124889553 1.288605272642 11 10 4 5 2103 2310 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575384648212 0.751534341746 12 5 12 7 0132 0132 3120 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.197243719737 1.792750167742 12 6 5 8 1230 2103 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.901465623203 0.832793366409 6 6 8 12 0132 1230 2103 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.304427053690 0.636091275837 9 10 9 11 0132 3012 3120 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.197243719737 1.792750167742 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0101_6'], 'c_1010_10' : negation(d['c_1001_1']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_1001_4']), 'c_1100_6' : negation(d['c_0011_8']), 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_3']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0011_8']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0101_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_6'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : negation(d['c_0101_6']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0101_1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_12']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_0']), '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_12, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_6, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 3055723454617885176954532752894054764842447339377324589542698966961\ 149325771714712372953223570398840564017034387/346468739289324748057\ 8756749503050069448574062830861150329562128005598356658584387569666\ 611973343857346593994336*c_1001_4^31 + 1021166688384251069462882715571146724949234961656024544846201024130\ 7710895884891234282317663771144901930878509201/86617184822331187014\ 4689187375762517362143515707715287582390532001399589164646096892416\ 652993335964336648498584*c_1001_4^30 + 2976557470623170665424166367978825134668419108329948092735652719254\ 68863261801882395340091490721265799946201770479/3464687392893247480\ 5787567495030500694485740628308611503295621280055983566585843875696\ 66611973343857346593994336*c_1001_4^29 + 9760030234982106522923570994866306727995668953186097532915421584814\ 2099115641465584233119849902835991098369702945/21654296205582796753\ 6172296843940629340535878926928821895597633000349897291161524223104\ 163248333991084162124646*c_1001_4^28 + 6386822626223859738500691434000375422428014263969206828875364924902\ 829404578447980434590518690162670609919299399313/346468739289324748\ 0578756749503050069448574062830861150329562128005598356658584387569\ 666611973343857346593994336*c_1001_4^27 + 5424538176531927654663050185691389829387804717424344040862430025515\ 376771478852534748439825043468096608470336245571/866171848223311870\ 1446891873757625173621435157077152875823905320013995891646460968924\ 16652993335964336648498584*c_1001_4^26 + 6454223503223435391547918487126994963367227815536156634850631543661\ 8550820372102942845639431337502933222027926637389/34646873928932474\ 8057875674950305006944857406283086115032956212800559835665858438756\ 9666611973343857346593994336*c_1001_4^25 + 1132986905332999164585930179329480475876393474488533818742080110720\ 007337521101704565924394547493017198669076260853/227939960058766281\ 6170234703620427677268798725546619177848396136845788392538542360243\ 2017184035156956227592068*c_1001_4^24 + 2076632608491732991902530142779797386719391445061194285755527552550\ 79335104881315976799254077704130791376699166065665/1732343696446623\ 7402893783747515250347242870314154305751647810640027991783292921937\ 84833305986671928673296997168*c_1001_4^23 + 9089435404853108852388699119981967844208187890034437474809188360899\ 32720569106783961343784058051625032610268526210953/3464687392893247\ 4805787567495030500694485740628308611503295621280055983566585843875\ 69666611973343857346593994336*c_1001_4^22 + 4533051885916934501417791880402632597384471491283343298886600091853\ 95021338276933810642880575976121471784858919502541/8661718482233118\ 7014468918737576251736214351570771528758239053200139958916464609689\ 2416652993335964336648498584*c_1001_4^21 + 4369759572179011609678616949036396065466598889686378615489546436465\ 8218368712128866326338377598226434963628171909985/45587992011753256\ 3234046940724085535453759745109323835569679227369157678507708472048\ 64034368070313912455184136*c_1001_4^20 + 1406369415700954715252652388375621072656146707795634861225168888591\ 503994006119231039256082835385141092980473476409517/866171848223311\ 8701446891873757625173621435157077152875823905320013995891646460968\ 92416652993335964336648498584*c_1001_4^19 + 5176898563224643887862755409102625674948167864524007129856167908506\ 48006988082758530168028910088052510724230020502557/2038051407584263\ 2238698569114723823937932788604887418531350365458856460921521084632\ 7627447763137873961564352608*c_1001_4^18 + 6300842629815104427559455945459401470946126468576297305368096738899\ 591344572346996726415909450034359767671201567502033/173234369644662\ 3740289378374751525034724287031415430575164781064002799178329292193\ 784833305986671928673296997168*c_1001_4^17 + 1646501422773622792783478129451319881822921011738973441568460621398\ 4342499950570617854052565397892977172492920848067593/34646873928932\ 4748057875674950305006944857406283086115032956212800559835665858438\ 7569666611973343857346593994336*c_1001_4^16 + 1960749390571596927565981429104286845205119006842590200310810649233\ 0144040860081810814784889252347764403279079449173545/34646873928932\ 4748057875674950305006944857406283086115032956212800559835665858438\ 7569666611973343857346593994336*c_1001_4^15 + 1388818025777749446031677263117633357155875318109093309047492674558\ 97498178678334747562732141036648692213733420901309/2279399600587662\ 8161702347036204276772687987255466191778483961368457883925385423602\ 432017184035156956227592068*c_1001_4^14 + 9992562702893901272734702291898783981667632927889388447676674310569\ 335940237272487808857253559261264618240478163689297/173234369644662\ 3740289378374751525034724287031415430575164781064002799178329292193\ 784833305986671928673296997168*c_1001_4^13 + 1580190375620423521023759376574797068894633900765421528594478387532\ 8302063998436509131732122928075297916473161689588357/34646873928932\ 4748057875674950305006944857406283086115032956212800559835665858438\ 7569666611973343857346593994336*c_1001_4^12 + 2361687534937398883949631466029749752055513526866307302261023187748\ 914132223593117475743886111276170426579424645002821/866171848223311\ 8701446891873757625173621435157077152875823905320013995891646460968\ 92416652993335964336648498584*c_1001_4^11 + 3778952836077051109553960889068159062748148196668937051257264323371\ 07189621696498878563285660666186569098136890350365/4330859241116559\ 3507234459368788125868107175785385764379119526600069979458232304844\ 6208326496667982168324249292*c_1001_4^10 - 5089094202097016063815825154664534006676233376632918000006232595403\ 4946257533237776450024974588744885915742912319541/10827148102791398\ 3768086148421970314670267939463464410947798816500174948645580762111\ 552081624166995542081062323*c_1001_4^9 - 1143612318882640587949259959950929429027789413719982292815359177642\ 28727494510873995068575568987618802045047053125783/1019025703792131\ 6119349284557361911968966394302443709265675182729428230460760542316\ 3813723881568936980782176304*c_1001_4^8 - 1017730203249540141876953436511037054919587943420013691647794677743\ 866452973290086525171133576405132879356214357292803/866171848223311\ 8701446891873757625173621435157077152875823905320013995891646460968\ 92416652993335964336648498584*c_1001_4^7 - 2879932830172283606594700181066724363634091139841151041460072148476\ 323948798014946380711236365168776730069316750365817/346468739289324\ 7480578756749503050069448574062830861150329562128005598356658584387\ 569666611973343857346593994336*c_1001_4^6 - 1379871358805110525641403245618349106754085807204520371234052537328\ 194632221236704335773203995306579746634984184776977/346468739289324\ 7480578756749503050069448574062830861150329562128005598356658584387\ 569666611973343857346593994336*c_1001_4^5 - 1215659356782691083693457596056140337094523038076599062558293829124\ 9438801885414014033536250723819754401465393928757/10190257037921316\ 1193492845573619119689663943024437092656751827294282304607605423163\ 813723881568936980782176304*c_1001_4^4 - 8531144656067736557736804199556554977092009641545774088595244165306\ 4251728112807771534349822470919441511336925652691/34646873928932474\ 8057875674950305006944857406283086115032956212800559835665858438756\ 9666611973343857346593994336*c_1001_4^3 - 3497156570751221940109235899576025801166057625356613305520810384646\ 276028161982767825226028967570145253346781179185/433085924111655935\ 0723445936878812586810717578538576437911952660006997945823230484462\ 08326496667982168324249292*c_1001_4^2 - 1247104862241697144034610655172320008856966551724868471372647683474\ 4593342092911429105126774738833834734644840268589/34646873928932474\ 8057875674950305006944857406283086115032956212800559835665858438756\ 9666611973343857346593994336*c_1001_4 + 1338633550669734800724170021616512136997106167915452988339750891702\ 005674452159323200296039049385617008699025445183/346468739289324748\ 0578756749503050069448574062830861150329562128005598356658584387569\ 666611973343857346593994336, c_0011_0 - 1, c_0011_10 - 47725085391618369618884261741075169563154549238965070426605\ 165538878908273001792960589965231/432261322299446769599922752870750\ 5478448558975266454022356876649470231989206170203878510655642*c_100\ 1_4^31 - 3441953324046577026428174531813984316320780545666698764341\ 02960855127506967742034442133803396/2161306611497233847999613764353\ 752739224279487633227011178438324735115994603085101939255327821*c_1\ 001_4^30 - 53611770432378169890697338563609367656171466894122439652\ 35031608357286469096268931964317453667/4322613222994467695999227528\ 707505478448558975266454022356876649470231989206170203878510655642*\ c_1001_4^29 - 14919438842331432202801297127506920580560718021132551\ 065479469130839202966210785397746904542956/216130661149723384799961\ 3764353752739224279487633227011178438324735115994603085101939255327\ 821*c_1001_4^28 - 1296194139075189616268224802957790735335993123189\ 67145104470971170559387073986716210734138767049/4322613222994467695\ 9992275287075054784485589752664540223568766494702319892061702038785\ 10655642*c_1001_4^27 - 23334973300939165571160493558853991280979605\ 2945567706028241252087898595387871889293607195430004/21613066114972\ 3384799961376435375273922427948763322701117843832473511599460308510\ 1939255327821*c_1001_4^26 - 146184177717721851676462957720634317782\ 1786971231327799916340897121270445661839766958969858512927/43226132\ 2299446769599922752870750547844855897526645402235687664947023198920\ 6170203878510655642*c_1001_4^25 - 204708275346302819295594813791954\ 7027298300135528230293640405949178262907053029505682109637905587/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^24 - 5188844117533298591586402994684999179087349364231802310858251455895\ 926220393829211025180014339441/216130661149723384799961376435375273\ 9224279487633227011178438324735115994603085101939255327821*c_1001_4\ ^23 - 2395316390696066414660782633479512457948396363597238077198988\ 6365887774909655828981993079807414449/43226132229944676959992275287\ 07505478448558975266454022356876649470231989206170203878510655642*c\ _1001_4^22 - 252956442509293164146413450678414318234086081037622711\ 40662849764366232567258131317358502535620936/2161306611497233847999\ 6137643537527392242794876332270111784383247351159946030851019392553\ 27821*c_1001_4^21 - 49186644413865012274855999941057695647624446525\ 374002385573706931265373712731586300965119094489013/216130661149723\ 3847999613764353752739224279487633227011178438324735115994603085101\ 939255327821*c_1001_4^20 - 8862644835132748734781496214570276208381\ 4092238040563134894598331553270346624839262250856821535592/21613066\ 1149723384799961376435375273922427948763322701117843832473511599460\ 3085101939255327821*c_1001_4^19 - 296703685333482033070299889120612\ 869553152511460165724409429537100816828497145444724101328526347617/\ 4322613222994467695999227528707505478448558975266454022356876649470\ 231989206170203878510655642*c_1001_4^18 - 2301267637907297328013507951743142374898448595966914374158743959868\ 31253737784258549834432253105128/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821*c_1001\ _4^17 - 66044305848522122265338132580613311182618653162576635458350\ 9958816325329757699202117888161910501243/43226132229944676959992275\ 2870750547844855897526645402235687664947023198920617020387851065564\ 2*c_1001_4^16 - 876626664194641251736770476384968199338513321254046\ 175559394712065754282857015034628300364318524469/432261322299446769\ 5999227528707505478448558975266454022356876649470231989206170203878\ 510655642*c_1001_4^15 - 5375968672279005683652455280569063358903186\ 36340668808529632304883079837627044665823501031697403818/2161306611\ 4972338479996137643537527392242794876332270111784383247351159946030\ 85101939255327821*c_1001_4^14 - 60560627169497036028481218509187700\ 5406272774197991963476036853434707712080806279481230041861769890/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^13 - 1239816889598001901178308593565709405746033555126502290564908165982\ 686394691006850323716056201238281/432261322299446769599922752870750\ 5478448558975266454022356876649470231989206170203878510655642*c_100\ 1_4^12 - 5697810465004458444753147447024003143502986707343813279188\ 97130529255079013606212621148011904361965/2161306611497233847999613\ 7643537527392242794876332270111784383247351159946030851019392553278\ 21*c_1001_4^11 - 46604613009679198084809573913511038256888103792223\ 1010751394780189430631161652054907341850599358501/21613066114972338\ 4799961376435375273922427948763322701117843832473511599460308510193\ 9255327821*c_1001_4^10 - 336496140168977310954972950988954079695374\ 146393893748355609786386983097508140392175278539660923140/216130661\ 1497233847999613764353752739224279487633227011178438324735115994603\ 085101939255327821*c_1001_4^9 - 21132473593490463047467529301346838\ 8472012416080360213263490784918890715355593323881803379204190350/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^8 - 1119857168444574652694476854289548506411359027236115004210199078919\ 88711323812925428177965995916156/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821*c_1001\ _4^7 - 959434416796218669421302940473058057488147696233009256260203\ 10258998397036354710864140714273638707/4322613222994467695999227528\ 707505478448558975266454022356876649470231989206170203878510655642*\ c_1001_4^6 - 320493317447072076196195592238009584584610342338630398\ 99873787690546372100703934977665663855577409/4322613222994467695999\ 2275287075054784485589752664540223568766494702319892061702038785106\ 55642*c_1001_4^5 - 434555129727972049429725748646736878124771133387\ 9570650168857833245594249617418528097987606084355/21613066114972338\ 4799961376435375273922427948763322701117843832473511599460308510193\ 9255327821*c_1001_4^4 - 2294716049106148419339284894800005879788411\ 739386884775546036073737794945278575636462314116217279/432261322299\ 4467695999227528707505478448558975266454022356876649470231989206170\ 203878510655642*c_1001_4^3 - 30426177764967788013003481819499061770\ 5136468919915576987393863840754754754559645494927132521695/21613066\ 1149723384799961376435375273922427948763322701117843832473511599460\ 3085101939255327821*c_1001_4^2 - 5792100737876105626375259983983819\ 0095932368716155144143719326265708485609868593352839933366137/43226\ 1322299446769599922752870750547844855897526645402235687664947023198\ 9206170203878510655642*c_1001_4 + 387459611149994565960933636546886\ 5171527113630623176358388553839590072886236649347197973805863/43226\ 1322299446769599922752870750547844855897526645402235687664947023198\ 9206170203878510655642, c_0011_12 + 80025850055895073660621855042751707329067446651137931111830\ 14637665857921781416563715620622/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821*c_1001\ _4^31 + 20454899372252723041407864407278425144905598898906054217573\ 9649806006276977819246655128636863/43226132229944676959992275287075\ 05478448558975266454022356876649470231989206170203878510655642*c_10\ 01_4^30 + 142686031210902633730582477331674061848390613461304034126\ 3083883470279858604984386368824328415/43226132229944676959992275287\ 07505478448558975266454022356876649470231989206170203878510655642*c\ _1001_4^29 + 358559186160411691946571914961274970534097906605437524\ 8518519241316423167844147059716221892414/21613066114972338479996137\ 6435375273922427948763322701117843832473511599460308510193925532782\ 1*c_1001_4^28 + 139711089387736442703025314265379853568549129521190\ 85723101066460456256428781270176408843017754/2161306611497233847999\ 6137643537527392242794876332270111784383247351159946030851019392553\ 27821*c_1001_4^27 + 90136277195774223175292844272558877903073306130\ 116503982889073166426203032866391107843105610653/432261322299446769\ 5999227528707505478448558975266454022356876649470231989206170203878\ 510655642*c_1001_4^26 + 2547992513013945356315453085789553749860364\ 18206775358560672646613282203278103718891229295277661/4322613222994\ 4676959992275287075054784485589752664540223568766494702319892061702\ 03878510655642*c_1001_4^25 + 32249363351955685488572428325555950062\ 0766333387898096050359153185596516804695147533322277097536/21613066\ 1149723384799961376435375273922427948763322701117843832473511599460\ 3085101939255327821*c_1001_4^24 + 732499017908198186702530487935388\ 719623791935490961211527477565766972606172147323468364798895409/216\ 1306611497233847999613764353752739224279487633227011178438324735115\ 994603085101939255327821*c_1001_4^23 + 1491897520204831661752378939746136025674730059720369434445136360670\ 998984246609957508986790765735/216130661149723384799961376435375273\ 9224279487633227011178438324735115994603085101939255327821*c_1001_4\ ^22 + 5451351888344794643468198386573068942706081489261439874068320\ 743531781331403861140147250626943695/432261322299446769599922752870\ 7505478448558975266454022356876649470231989206170203878510655642*c_\ 1001_4^21 + 8970236565181195215557285919168697537990166200610590244\ 456216957121092747410559935185570455122347/432261322299446769599922\ 7528707505478448558975266454022356876649470231989206170203878510655\ 642*c_1001_4^20 + 1331862179625709172737191545155953011084647625864\ 8781531428976241591840411678615787174923626663549/43226132229944676\ 9599922752870750547844855897526645402235687664947023198920617020387\ 8510655642*c_1001_4^19 + 174191579466474781534086928898546218881196\ 53372417636145178148739275482373118814455157847284587315/4322613222\ 9944676959992275287075054784485589752664540223568766494702319892061\ 70203878510655642*c_1001_4^18 + 93609619321387940345091519833621135\ 36376941453195439573692379943096211415610954667867907197565511/2161\ 3066114972338479996137643537527392242794876332270111784383247351159\ 94603085101939255327821*c_1001_4^17 + 7064051050773464816333703772898664904948870396779355460683432552353\ 962964730422398435653400275721/216130661149723384799961376435375273\ 9224279487633227011178438324735115994603085101939255327821*c_1001_4\ ^16 + 1149832972504693488208828596474148977849032755068400571985974\ 286394092138253889104508803245972869/432261322299446769599922752870\ 7505478448558975266454022356876649470231989206170203878510655642*c_\ 1001_4^15 - 1075024845245602413167019136059910442594741450221300026\ 4925156812848598741224243940981474233143335/21613066114972338479996\ 1376435375273922427948763322701117843832473511599460308510193925532\ 7821*c_1001_4^14 - 268534276671509088706535976325103133051117461529\ 84914032107000854170137792775766463487647564372805/2161306611497233\ 8479996137643537527392242794876332270111784383247351159946030851019\ 39255327821*c_1001_4^13 - 45479116572245278792684748145967418536211\ 580587831275728414988421963571822833189769153556546131167/216130661\ 1497233847999613764353752739224279487633227011178438324735115994603\ 085101939255327821*c_1001_4^12 - 1225147743906157403053243596185658\ 30323417909051729808411597218180941227603929523339579269086055107/4\ 3226132229944676959992275287075054784485589752664540223568766494702\ 31989206170203878510655642*c_1001_4^11 - 1357353688245040421042016695639987205122400965428382284575761992981\ 50122271995675189268806278231559/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^10 - 12626864619938223354961884887138686807360889960238484072025\ 4355910909976033832985344847554377454607/43226132229944676959992275\ 2870750547844855897526645402235687664947023198920617020387851065564\ 2*c_1001_4^9 - 1001331272822290286420659286775931237113482495969211\ 63404872961462728692318651917064153125539205777/4322613222994467695\ 9992275287075054784485589752664540223568766494702319892061702038785\ 10655642*c_1001_4^8 - 673585367262748944120332360606778116404369681\ 29683611915412685851961869619248596579888922051565065/4322613222994\ 4676959992275287075054784485589752664540223568766494702319892061702\ 03878510655642*c_1001_4^7 - 365287440747514637871370133657997411594\ 59292218582542881235259369758952986293157208140990070249833/4322613\ 2229944676959992275287075054784485589752664540223568766494702319892\ 06170203878510655642*c_1001_4^6 - 731534167927187382201492218934854\ 1564615532657439108837934558623336319958252612912020279187509172/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^5 - 3867044048279450333742875113306215304556993535174463678202177731843\ 509910845982465811843459624419/432261322299446769599922752870750547\ 8448558975266454022356876649470231989206170203878510655642*c_1001_4\ ^4 - 76121741585132626451763656503325878308151318825880338001909067\ 2530004257483141669746486260068045/43226132229944676959992275287075\ 05478448558975266454022356876649470231989206170203878510655642*c_10\ 01_4^3 - 1264115596551941347214089866088848343655485396573255148848\ 17172176764123856676640084024292518914/2161306611497233847999613764\ 353752739224279487633227011178438324735115994603085101939255327821*\ c_1001_4^2 - 500176777232956446116189089436105884241421752512189532\ 75743406671139123653989727223787326982750/2161306611497233847999613\ 7643537527392242794876332270111784383247351159946030851019392553278\ 21*c_1001_4 + 20832900538343589382611970154979152825484318535216843\ 679152077545974021695010858042173571549311/432261322299446769599922\ 7528707505478448558975266454022356876649470231989206170203878510655\ 642, c_0011_3 - 279060658466105971248754845418058310021489482998637616693399\ 47325766268728192922609750492991/8645226445988935391998455057415010\ 956897117950532908044713753298940463978412340407757021311284*c_1001\ _4^31 - 19636492518904040478279325238097019067250718761574434668841\ 4617107914041877046716504325595051/43226132229944676959992275287075\ 05478448558975266454022356876649470231989206170203878510655642*c_10\ 01_4^30 - 299507170084129707428413624850152865658821122087714218468\ 2442435008015818650633290410410133697/86452264459889353919984550574\ 15010956897117950532908044713753298940463978412340407757021311284*c\ _1001_4^29 - 409237886611311165050185490513847690926594720018235288\ 1716512455046866492333095505934838620815/21613066114972338479996137\ 6435375273922427948763322701117843832473511599460308510193925532782\ 1*c_1001_4^28 - 698450657470025019196619081499917984957221481821212\ 49129739570090228998787505107713032182075761/8645226445988935391998\ 4550574150109568971179505329080447137532989404639784123404077570213\ 11284*c_1001_4^27 - 12364904422479134774409213105926319070220837643\ 6001413791425321513971787886283150236266713532371/43226132229944676\ 9599922752870750547844855897526645402235687664947023198920617020387\ 8510655642*c_1001_4^26 - 763482262300237162672661395063890080946362\ 555573109958316077375506724912986738974809082815552599/864522644598\ 8935391998455057415010956897117950532908044713753298940463978412340\ 407757021311284*c_1001_4^25 - 5276192017774196770222017766719184486\ 37655505499694765926601696049542484883564473408467867059622/2161306\ 6114972338479996137643537527392242794876332270111784383247351159946\ 03085101939255327821*c_1001_4^24 - 2640310284798281419745805592506634685721173632621575886320703624486\ 250201801439498415257093676153/432261322299446769599922752870750547\ 8448558975266454022356876649470231989206170203878510655642*c_1001_4\ ^23 - 1202642262017957987651162394037118865208976798228936641137462\ 2559341053815848921629372588486335577/86452264459889353919984550574\ 15010956897117950532908044713753298940463978412340407757021311284*c\ _1001_4^22 - 125264469654537148424412061755604912689581682662234757\ 61308650501138469145985024273304547712172927/4322613222994467695999\ 2275287075054784485589752664540223568766494702319892061702038785106\ 55642*c_1001_4^21 - 24022758391346814987603363730956547229632400317\ 238307251841262996976270704595568938942690452038837/432261322299446\ 7695999227528707505478448558975266454022356876649470231989206170203\ 878510655642*c_1001_4^20 - 4270053741722317382946158879171484862305\ 3991290814740391249439347461973751033402105199722916877343/43226132\ 2299446769599922752870750547844855897526645402235687664947023198920\ 6170203878510655642*c_1001_4^19 - 140953557293866948343257978468699\ 919486293139936523985629510910535520590034995101686016151433363751/\ 8645226445988935391998455057415010956897117950532908044713753298940\ 463978412340407757021311284*c_1001_4^18 - 1076235033295076488574083678669196235808767159382354751592252643681\ 69846466457337892251126030873637/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^17 - 30362807503738044893591194417934840652827356639881995268581\ 7290193374968768023196330921431438889961/86452264459889353919984550\ 5741501095689711795053290804471375329894046397841234040775702131128\ 4*c_1001_4^16 - 395790011741570313750419063060364016107416897775099\ 359996695256051413576026446472817681733426667671/864522644598893539\ 1998455057415010956897117950532908044713753298940463978412340407757\ 021311284*c_1001_4^15 - 1190242469857941265861497857658126050631450\ 47407841271265527699302750935354596309688659790969601827/2161306611\ 4972338479996137643537527392242794876332270111784383247351159946030\ 85101939255327821*c_1001_4^14 - 26217464778692926866098578716749959\ 0088166019809250886007266460323815352651086030245684327147572483/43\ 2261322299446769599922752870750547844855897526645402235687664947023\ 1989206170203878510655642*c_1001_4^13 - 5221556079768295527011323496893421479116301587932548532172103111407\ 30425635714062921542410377066793/8645226445988935391998455057415010\ 956897117950532908044713753298940463978412340407757021311284*c_1001\ _4^12 - 23214157250360527843590301884580948765604572332682921422783\ 2017696285795348503003620937951033611765/43226132229944676959992275\ 2870750547844855897526645402235687664947023198920617020387851065564\ 2*c_1001_4^11 - 182881030312060151504661710030495069404076645931625\ 912631017809513164467497238230027186928057181929/432261322299446769\ 5999227528707505478448558975266454022356876649470231989206170203878\ 510655642*c_1001_4^10 - 1266800072386243779842715334175333260009011\ 44127460235178682355468757192196694166354599661454924581/4322613222\ 9944676959992275287075054784485589752664540223568766494702319892061\ 70203878510655642*c_1001_4^9 - 378887216929988427795485954612825633\ 20007023846272335271243535924890488380727383029656097917633635/2161\ 3066114972338479996137643537527392242794876332270111784383247351159\ 94603085101939255327821*c_1001_4^8 - 3768272438640186661854097156262216844529077094355617311089379060539\ 7734265251846514570108975941847/43226132229944676959992275287075054\ 78448558975266454022356876649470231989206170203878510655642*c_1001_\ 4^7 - 2997248183741289672790639827029892552404598902233010797579595\ 5068330604247226403692378315383116313/86452264459889353919984550574\ 15010956897117950532908044713753298940463978412340407757021311284*c\ _1001_4^6 - 9702054718814567302422825062350456822844678522694930442\ 751206807824140274615086118297210155066311/864522644598893539199845\ 5057415010956897117950532908044713753298940463978412340407757021311\ 284*c_1001_4^5 - 76437874971025193658641266535755542537447636740660\ 7646284340162200753415156327477104504445747431/21613066114972338479\ 9961376435375273922427948763322701117843832473511599460308510193925\ 5327821*c_1001_4^4 - 1012957263445536107616021520120241511156986779\ 497631435381568584284717694426162719152877667295159/864522644598893\ 5391998455057415010956897117950532908044713753298940463978412340407\ 757021311284*c_1001_4^3 - 63126481786069150086102055627474462204821\ 131207358089740816301648269016572984901528368284856474/216130661149\ 7233847999613764353752739224279487633227011178438324735115994603085\ 101939255327821*c_1001_4^2 - 53886151099185397795398832633642992717\ 10856088929684166272617307767938433694637093022448248567/8645226445\ 9889353919984550574150109568971179505329080447137532989404639784123\ 40407757021311284*c_1001_4 - 74389395658625594173073640691980917598\ 31193773544571514458257041325069376298018455871697500117/8645226445\ 9889353919984550574150109568971179505329080447137532989404639784123\ 40407757021311284, c_0011_8 - 403909078238803296237613061894661828524397431887134206431476\ 18201175128246443726931677267265/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^31 - 58193446336347659784541621124507207618159059004360907276260\ 8284235057115002792284178028735769/43226132229944676959992275287075\ 05478448558975266454022356876649470231989206170203878510655642*c_10\ 01_4^30 - 226267527332828558283418275593431504535511073495051742297\ 0096488411222310571111415850259870275/21613066114972338479996137643\ 53752739224279487633227011178438324735115994603085101939255327821*c\ _1001_4^29 - 125746901597221908566568747933283602505758336277197785\ 24144083777240362781133696780204784441456/2161306611497233847999613\ 7643537527392242794876332270111784383247351159946030851019392553278\ 21*c_1001_4^28 - 10908016007586358351324417045425515906158459492073\ 6399996024606170583995957421768122786471915229/43226132229944676959\ 9922752870750547844855897526645402235687664947023198920617020387851\ 0655642*c_1001_4^27 - 392132994118103007486338273345042552064712640\ 264985883973030608904986207599008045102332541387217/432261322299446\ 7695999227528707505478448558975266454022356876649470231989206170203\ 878510655642*c_1001_4^26 - 6132693011841502543883493472770942324041\ 18715083951802382917229211634109428820860544527642813400/2161306611\ 4972338479996137643537527392242794876332270111784383247351159946030\ 85101939255327821*c_1001_4^25 - 17153612414916218433807842227076845\ 99284602238722698732706185521181349426423668997211675341061115/2161\ 3066114972338479996137643537527392242794876332270111784383247351159\ 94603085101939255327821*c_1001_4^24 - 4342356477087856158258738164851822311852294255178427934373641636604\ 519193605601910003941209178998/216130661149723384799961376435375273\ 9224279487633227011178438324735115994603085101939255327821*c_1001_4\ ^23 - 2001809569119733967093708825071258591457191903296493988317512\ 8252059693591060661939477102162828243/43226132229944676959992275287\ 07505478448558975266454022356876649470231989206170203878510655642*c\ _1001_4^22 - 422191103850095218829418539143292503334415474381165427\ 91827051637857603199786603198462895250937045/4322613222994467695999\ 2275287075054784485589752664540223568766494702319892061702038785106\ 55642*c_1001_4^21 - 81971767146791125260882636559264466580609163780\ 373943043226699053928767404545957228554304508549557/432261322299446\ 7695999227528707505478448558975266454022356876649470231989206170203\ 878510655642*c_1001_4^20 - 1474785199442323235857361774283269764545\ 75491458656895805486862472647576874042299054392100776432955/4322613\ 2229944676959992275287075054784485589752664540223568766494702319892\ 06170203878510655642*c_1001_4^19 - 1232379786688197178680836917434207059056053523525582102895141370355\ 94421570986100587395131610761986/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821*c_1001\ _4^18 - 19082908538905854244829156995234706893265792491309847883213\ 5757079667288662182952741895270459878380/21613066114972338479996137\ 6435375273922427948763322701117843832473511599460308510193925532782\ 1*c_1001_4^17 - 546564279500588178277719152268391514626998818525693\ 296130150273016371865126987755665979816069949701/432261322299446769\ 5999227528707505478448558975266454022356876649470231989206170203878\ 510655642*c_1001_4^16 - 3619444225442526522659019095690455461179305\ 61275232497710192390687493791491845373610650303574628601/2161306611\ 4972338479996137643537527392242794876332270111784383247351159946030\ 85101939255327821*c_1001_4^15 - 44284045559623418327368672801343013\ 5215814602908260915365085054511736236869349643692897637603721233/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^14 - 4974090829822070905454183064678064066934904812510780786975028831950\ 88593306306693531171595111612240/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821*c_1001\ _4^13 - 10145655979395599934926986195118338286080710334274581269335\ 67232749730393338830738701115657240445715/4322613222994467695999227\ 5287075054784485589752664540223568766494702319892061702038785106556\ 42*c_1001_4^12 - 92816124079907578866582486526016629807092526975746\ 3986505378366723594780906658538323445500800522379/43226132229944676\ 9599922752870750547844855897526645402235687664947023198920617020387\ 8510655642*c_1001_4^11 - 754678244749077984213195286137277120369006\ 873755649108349420561465895956618660100918696631893506091/432261322\ 2994467695999227528707505478448558975266454022356876649470231989206\ 170203878510655642*c_1001_4^10 - 5407583444620524559621045657956034\ 78293084546080597846864509476108561433675070142648587049093860047/4\ 3226132229944676959992275287075054784485589752664540223568766494702\ 31989206170203878510655642*c_1001_4^9 - 3360451909067900411177522140748418573155331481403206428438409645874\ 33405135997796770433180868879243/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^8 - 175252354016490776772960774167550154796256175794384885624511\ 790783158285528135327735903938573737155/432261322299446769599922752\ 8707505478448558975266454022356876649470231989206170203878510655642\ *c_1001_4^7 - 36542015195595623167517878478309606315208010813478541\ 889494929657841394865508335862255140004620658/216130661149723384799\ 9613764353752739224279487633227011178438324735115994603085101939255\ 327821*c_1001_4^6 - 23266522755820658070552281353034923144168438252\ 188470669748186114726431412573785103738309367730573/432261322299446\ 7695999227528707505478448558975266454022356876649470231989206170203\ 878510655642*c_1001_4^5 - 58292065197002179057358801601520645174864\ 45778075769506875723640828244901453814115487326795454653/4322613222\ 9944676959992275287075054784485589752664540223568766494702319892061\ 70203878510655642*c_1001_4^4 - 730363587035833226909170517380721613\ 402235066537108538626145813559016967914564795163108955990853/216130\ 6611497233847999613764353752739224279487633227011178438324735115994\ 603085101939255327821*c_1001_4^3 - 1977556528808703506577969351913748713309126123288673064503744668483\ 60242198505725262290737374951/2161306611497233847999613764353752739\ 224279487633227011178438324735115994603085101939255327821*c_1001_4^\ 2 - 280587754485297561993881243256712719683437539646985914891989955\ 51631024236327329296695587556507/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4 + 53669491550787739023304634792325716211243992415365159230411829\ 21958137927633253274192426462614/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821, c_0101_0 - 496394885421328245786595529246011321537480545557936501900135\ 1665906266308784383416503550981/43226132229944676959992275287075054\ 78448558975266454022356876649470231989206170203878510655642*c_1001_\ 4^31 - 535572789047177143903618915414749897275181126710975910868804\ 81100247393880108592372684158313/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^30 - 15175000282899240750742209751461749028313879182516840502156\ 0774409183530381030826433746898483/21613066114972338479996137643537\ 52739224279487633227011178438324735115994603085101939255327821*c_10\ 01_4^29 - 582184992292475393197194904581077124921541339196064597235\ 771769736016478775383536625855695220/216130661149723384799961376435\ 3752739224279487633227011178438324735115994603085101939255327821*c_\ 1001_4^28 - 2875570113208980313193237727796967554816935538262069924\ 102237354791529920629145163474981261659/432261322299446769599922752\ 8707505478448558975266454022356876649470231989206170203878510655642\ *c_1001_4^27 - 3248058282074070228567462520380375788759268489411686\ 912439017053496799658889481551443849041129/432261322299446769599922\ 7528707505478448558975266454022356876649470231989206170203878510655\ 642*c_1001_4^26 + 4238382255484367846302359130198453393360029585028\ 763279897870146114287698857364424971007538666/216130661149723384799\ 9613764353752739224279487633227011178438324735115994603085101939255\ 327821*c_1001_4^25 + 3512524276441951632955520484848181019975944361\ 9833725464497961598773393441110739284177098420897/21613066114972338\ 4799961376435375273922427948763322701117843832473511599460308510193\ 9255327821*c_1001_4^24 + 146650351543401505469876573958687817201008\ 045395668887930233419475949130140314819245415363437865/216130661149\ 7233847999613764353752739224279487633227011178438324735115994603085\ 101939255327821*c_1001_4^23 + 9466752514545984750499028879932429009\ 76782547016182823556139388957857636102978432523612705974905/4322613\ 2229944676959992275287075054784485589752664540223568766494702319892\ 06170203878510655642*c_1001_4^22 + 2576658421064175173314922468642132024992353515859260756527732890709\ 170724072348714063003042847541/432261322299446769599922752870750547\ 8448558975266454022356876649470231989206170203878510655642*c_1001_4\ ^21 + 6117245833065132251883392393407437482789678432100754699311864\ 037259832870557675561087898952265625/432261322299446769599922752870\ 7505478448558975266454022356876649470231989206170203878510655642*c_\ 1001_4^20 + 1295829905005220424747300063364457064372826604588464762\ 0101778172773456906967236856882007918985483/43226132229944676959992\ 2752870750547844855897526645402235687664947023198920617020387851065\ 5642*c_1001_4^19 + 125090219555992450213273947560502147000064018203\ 08263029753533418473805943717884424902559155466315/2161306611497233\ 8479996137643537527392242794876332270111784383247351159946030851019\ 39255327821*c_1001_4^18 + 22241535355046875588060894086395942093142\ 898293238103308932475816525480617850669016741898276428023/216130661\ 1497233847999613764353752739224279487633227011178438324735115994603\ 085101939255327821*c_1001_4^17 + 7255662509568726478346656218566806\ 8029825343735137607384173865817430558625337229737134127804437559/43\ 2261322299446769599922752870750547844855897526645402235687664947023\ 1989206170203878510655642*c_1001_4^16 + 5421171876542089399249473330309795027365287537291649423341364546904\ 9625484029204281327985173765101/21613066114972338479996137643537527\ 39224279487633227011178438324735115994603085101939255327821*c_1001_\ 4^15 + 744301881163584362083525412675861808910502062426108754212589\ 46020654796195686806785968477971772392/2161306611497233847999613764\ 353752739224279487633227011178438324735115994603085101939255327821*\ c_1001_4^14 + 94112118706811600531289470063799485509032230205820138\ 622958664169093441905533349557617587820408408/216130661149723384799\ 9613764353752739224279487633227011178438324735115994603085101939255\ 327821*c_1001_4^13 + 2178644014992125070553418026047868935555431393\ 30167949102359599170923878959373410351430914236754863/4322613222994\ 4676959992275287075054784485589752664540223568766494702319892061702\ 03878510655642*c_1001_4^12 + 22776120592457521386265247154848892782\ 3978259361072587555363263630006305911175207220298331684094033/43226\ 1322299446769599922752870750547844855897526645402235687664947023198\ 9206170203878510655642*c_1001_4^11 + 2119261913828606442350092559903063665707621387210104959013020710660\ 31300027654260544603885807915635/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^10 + 17401255658114111111199708690120154769723061445820704162660\ 6136516762460912628836526436700965256901/43226132229944676959992275\ 2870750547844855897526645402235687664947023198920617020387851065564\ 2*c_1001_4^9 + 1252790595958417879753986556153363031568872403757425\ 01868075294067128813935853817399753264048856673/4322613222994467695\ 9992275287075054784485589752664540223568766494702319892061702038785\ 10655642*c_1001_4^8 + 777392579805186345420249066875136721578009722\ 57625321093378277995581719346256600839993245289677541/4322613222994\ 4676959992275287075054784485589752664540223568766494702319892061702\ 03878510655642*c_1001_4^7 + 199427236567937181269473209823696914476\ 14595620375879864282099693341828602072604125136700619554499/2161306\ 6114972338479996137643537527392242794876332270111784383247351159946\ 03085101939255327821*c_1001_4^6 + 159612924444959562647990391228992\ 07211465895452393840370370789083342037464461184050668679827390381/4\ 3226132229944676959992275287075054784485589752664540223568766494702\ 31989206170203878510655642*c_1001_4^5 + 4764702506183900412054274883484532059212474038217028751288494972439\ 735048913356926506602695545045/432261322299446769599922752870750547\ 8448558975266454022356876649470231989206170203878510655642*c_1001_4\ ^4 + 58898069242969125391262303415058537211153970743485488180414585\ 3273928958587028792401830332781289/21613066114972338479996137643537\ 52739224279487633227011178438324735115994603085101939255327821*c_10\ 01_4^3 + 1656611236931942576267955788946673258255654869499465590836\ 08418264032847481862131178755467036389/2161306611497233847999613764\ 353752739224279487633227011178438324735115994603085101939255327821*\ c_1001_4^2 + 872971051466917813139104870422990153034472050332825720\ 71088083627514376349643865453494501407557/4322613222994467695999227\ 5287075054784485589752664540223568766494702319892061702038785106556\ 42*c_1001_4 - 31566718952782335383106630066804133039584555829059399\ 20092549666114716918410633688011183814139/2161306611497233847999613\ 7643537527392242794876332270111784383247351159946030851019392553278\ 21, c_0101_1 + 313605888157967182128832523085731342401242104100104839137126\ 9128475077130580047747353634774/21613066114972338479996137643537527\ 39224279487633227011178438324735115994603085101939255327821*c_1001_\ 4^31 + 688076793101341009437117550445099375268052369751074099709653\ 97033274051412372491949254534975/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^30 + 39967501284085140120688600015763794216058518549594096741134\ 4884817926717764005701434297305859/43226132229944676959992275287075\ 05478448558975266454022356876649470231989206170203878510655642*c_10\ 01_4^29 + 796748428316149295085026632989534122361841244006690415833\ 028453675332563470380025549883141519/216130661149723384799961376435\ 3752739224279487633227011178438324735115994603085101939255327821*c_\ 1001_4^28 + 2145111824842154779255078450290340412752456388926545976\ 046236788238954943588519416889160459865/216130661149723384799961376\ 4353752739224279487633227011178438324735115994603085101939255327821\ *c_1001_4^27 + 6849507631829054131979251154179502429710253519051669\ 216720644783673178721638721599503590675861/432261322299446769599922\ 7528707505478448558975266454022356876649470231989206170203878510655\ 642*c_1001_4^26 - 1229376405580960924573527572212786151041656143176\ 532923901321256588068201868248783785552709725/432261322299446769599\ 9227528707505478448558975266454022356876649470231989206170203878510\ 655642*c_1001_4^25 - 3009662994190626325783174457419660833258149335\ 5472826436646427422234499511002197719731098955128/21613066114972338\ 4799961376435375273922427948763322701117843832473511599460308510193\ 9255327821*c_1001_4^24 - 146665802691584135762633166867569242370807\ 099490790831116421425702946334037027227978244469190984/216130661149\ 7233847999613764353752739224279487633227011178438324735115994603085\ 101939255327821*c_1001_4^23 - 5036078387718769064579415726854526271\ 87836805419043588829505421118797148248360043513618498888268/2161306\ 6114972338479996137643537527392242794876332270111784383247351159946\ 03085101939255327821*c_1001_4^22 - 2836115880348016711009206834417426396881034641569007640160094712543\ 674626984800533792680349264241/432261322299446769599922752870750547\ 8448558975266454022356876649470231989206170203878510655642*c_1001_4\ ^21 - 6878816017586598473535399559575368815304169501531594181742228\ 910330622175503503410536771327142643/432261322299446769599922752870\ 7505478448558975266454022356876649470231989206170203878510655642*c_\ 1001_4^20 - 1478793813311020753985809419244523427124286240317251026\ 0913597061671873092767297749174419230529983/43226132229944676959992\ 2752870750547844855897526645402235687664947023198920617020387851065\ 5642*c_1001_4^19 - 288721991052822952708191108177590333331113767852\ 40022636111214955154303719676087096305479734029919/4322613222994467\ 6959992275287075054784485589752664540223568766494702319892061702038\ 78510655642*c_1001_4^18 - 25908549688675694928064940068287709863029\ 769227276585800320185222139435523789090413726968773020820/216130661\ 1497233847999613764353752739224279487633227011178438324735115994603\ 085101939255327821*c_1001_4^17 - 4260277601612726141978278426927492\ 2423925346538062651547717763928551592508222017903632713180113252/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^16 - 1282258792468226864075335325285065945586666925185022984438413862144\ 44894631205703885593868677518741/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^15 - 88558349960331248092448115983692293571688454263825906958765\ 344357439351579372978526097019773027974/216130661149723384799961376\ 4353752739224279487633227011178438324735115994603085101939255327821\ *c_1001_4^14 - 1126051064431828178149053410758146778518800305730492\ 02043674130610323005110040934395361941014051615/2161306611497233847\ 9996137643537527392242794876332270111784383247351159946030851019392\ 55327821*c_1001_4^13 - 13105812704479173037645550923304756790450306\ 0128068245224254243614591917105659630674365727751263337/21613066114\ 9723384799961376435375273922427948763322701117843832473511599460308\ 5101939255327821*c_1001_4^12 - 275569371719509031579370596446928281\ 834287104205711918248184612816590138574753427925119421742318035/432\ 2613222994467695999227528707505478448558975266454022356876649470231\ 989206170203878510655642*c_1001_4^11 - 2577842377507848233370342913836689499328690798719490344079314157439\ 78206408107864499514259896978037/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^10 - 21264458361488801351976371574137903880707618695735473253686\ 4776435488826869107505980175060093708875/43226132229944676959992275\ 2870750547844855897526645402235687664947023198920617020387851065564\ 2*c_1001_4^9 - 1536406754361229557051986981397867510981292899553542\ 39806293695832323228759643039432060933760385925/4322613222994467695\ 9992275287075054784485589752664540223568766494702319892061702038785\ 10655642*c_1001_4^8 - 956519599255832104418031020454513126285103803\ 86360409009183826456409145201093978097410134681507627/4322613222994\ 4676959992275287075054784485589752664540223568766494702319892061702\ 03878510655642*c_1001_4^7 - 491883873130035776426359973476110685616\ 56061111887162457005168897051320786770949272488337411787663/4322613\ 2229944676959992275287075054784485589752664540223568766494702319892\ 06170203878510655642*c_1001_4^6 - 980867540325230439241294201542559\ 8976268345838500159613695177959992511562689003514183727886358483/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^5 - 5713512376341251849607091746519772969279724884201450556077960518612\ 903537539143533058984147441167/432261322299446769599922752870750547\ 8448558975266454022356876649470231989206170203878510655642*c_1001_4\ ^4 - 13459284860791855744289834085221581825171532122781433158160411\ 46513952169259732623646560722399381/4322613222994467695999227528707\ 505478448558975266454022356876649470231989206170203878510655642*c_1\ 001_4^3 - 187905310268923454606935396670597076951256311572899672595\ 151708446185017207239096795320337376531/216130661149723384799961376\ 4353752739224279487633227011178438324735115994603085101939255327821\ *c_1001_4^2 - 53014239440919223648133599629916901367350377554774093\ 745220831625804668807495967670071278080771/216130661149723384799961\ 3764353752739224279487633227011178438324735115994603085101939255327\ 821*c_1001_4 + 1062631607616985578116799194407891995872672967037123\ 4596088106073796105738627776126652476866429/43226132229944676959992\ 2752870750547844855897526645402235687664947023198920617020387851065\ 5642, c_0101_10 - 83748227392308593774444362532297179930442383596320487324774\ 149100400619733706673699750410877/864522644598893539199845505741501\ 0956897117950532908044713753298940463978412340407757021311284*c_100\ 1_4^31 - 2988706654394711878968374556038707281989574987368023501238\ 49206115307894575227916921100386473/2161306611497233847999613764353\ 752739224279487633227011178438324735115994603085101939255327821*c_1\ 001_4^30 - 92280593204847523964217123913425304217442272702711819768\ 14668577658323307980716643281000056145/8645226445988935391998455057\ 415010956897117950532908044713753298940463978412340407757021311284*\ c_1001_4^29 - 12742953405417861442110900656114917872869005438018854\ 887161626279060877718176723092182887757654/216130661149723384799961\ 3764353752739224279487633227011178438324735115994603085101939255327\ 821*c_1001_4^28 - 2197885004711828343524863141820024451608459930441\ 20972522732929621193953043353899707314195223251/8645226445988935391\ 9984550574150109568971179505329080447137532989404639784123404077570\ 21311284*c_1001_4^27 - 19649165310568045284242956498210803592911886\ 5393528099915427873748394874261101813072773099539021/21613066114972\ 3384799961376435375273922427948763322701117843832473511599460308510\ 1939255327821*c_1001_4^26 - 244762767969816449830193500491441584764\ 4153901076548572441343509318334942057958850339225711469907/86452264\ 4598893539199845505741501095689711795053290804471375329894046397841\ 2340407757021311284*c_1001_4^25 - 170489403460476562220118744639452\ 3210690836066450140243497681597702532271368409148544581165839433/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^24 - 8598975445815884366912261204280829032425699355134088023025787246627\ 259162983922992055073284195683/432261322299446769599922752870750547\ 8448558975266454022356876649470231989206170203878510655642*c_1001_4\ ^23 - 3948887272863658272876915453002112395010317578678977650281535\ 8885760836220982651433601608344579483/86452264459889353919984550574\ 15010956897117950532908044713753298940463978412340407757021311284*c\ _1001_4^22 - 207404822574624032726129528589293441994889275632037199\ 99256261821611642742048931350098921940838716/2161306611497233847999\ 6137643537527392242794876332270111784383247351159946030851019392553\ 27821*c_1001_4^21 - 40117222342297848157438275519846210111732589244\ 708043988266528687838788713652149754320729675424945/216130661149723\ 3847999613764353752739224279487633227011178438324735115994603085101\ 939255327821*c_1001_4^20 - 7191496506056216352099225554851140746227\ 1535296455535899601531058841263939553494823274008618115693/21613066\ 1149723384799961376435375273922427948763322701117843832473511599460\ 3085101939255327821*c_1001_4^19 - 478982288321296649991140050269036\ 362728134167826926540989632612943064523224330502907144626586987083/\ 8645226445988935391998455057415010956897117950532908044713753298940\ 463978412340407757021311284*c_1001_4^18 - 3693459366684576237100547233962036298895356749416366490810676137989\ 59397325988968455145372385015849/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^17 - 10533567035448764564174541159630578333401198347203514048281\ 23987109744366947737891466550877330197731/8645226445988935391998455\ 0574150109568971179505329080447137532989404639784123404077570213112\ 84*c_1001_4^16 - 13890246766571654384316931734858009170813372955686\ 74165645127492315684939158384649591194621786967803/8645226445988935\ 3919984550574150109568971179505329080447137532989404639784123404077\ 57021311284*c_1001_4^15 - 42294395347593331654399234414646007900911\ 0506937155186906934483053862133432154171908683085878533519/21613066\ 1149723384799961376435375273922427948763322701117843832473511599460\ 3085101939255327821*c_1001_4^14 - 945261770548019613860332919093470\ 170633520296157257582096183138271800593892150688484055075023548775/\ 4322613222994467695999227528707505478448558975266454022356876649470\ 231989206170203878510655642*c_1001_4^13 - 1916526340148205421307838939208220278269931581457272437591846964633\ 930083531229088334025036406941947/864522644598893539199845505741501\ 0956897117950532908044713753298940463978412340407757021311284*c_100\ 1_4^12 - 4353689768264796568687851550463430804610424475461169466457\ 25405201860400891166201359298074602479202/2161306611497233847999613\ 7643537527392242794876332270111784383247351159946030851019392553278\ 21*c_1001_4^11 - 35154834456037861963750283649548720097408182751553\ 3879207976594347453381334965463830829145194898188/21613066114972338\ 4799961376435375273922427948763322701117843832473511599460308510193\ 9255327821*c_1001_4^10 - 250226249569854929325734588992874492742348\ 829941791278091723094758902092147671697042325015112815680/216130661\ 1497233847999613764353752739224279487633227011178438324735115994603\ 085101939255327821*c_1001_4^9 - 30899453048393762042988961247055195\ 5469067697465526871024548878838686993475735453562059648832739179/43\ 2261322299446769599922752870750547844855897526645402235687664947023\ 1989206170203878510655642*c_1001_4^8 - 8007579470238774642677361352223891631249734202559333490369577750186\ 1373404320363481602275806868697/21613066114972338479996137643537527\ 39224279487633227011178438324735115994603085101939255327821*c_1001_\ 4^7 - 1334799038209972816213859458849225572122140364628462584740597\ 51578605706395480688250037935011089669/8645226445988935391998455057\ 415010956897117950532908044713753298940463978412340407757021311284*\ c_1001_4^6 - 435396698479150829161022739887877339563446089818587241\ 13000668927148611276428655889476964551131969/8645226445988935391998\ 4550574150109568971179505329080447137532989404639784123404077570213\ 11284*c_1001_4^5 - 598260975296968310779980350385005311405204100109\ 5558759525297351836883364835820864949338477260877/43226132229944676\ 9599922752870750547844855897526645402235687664947023198920617020387\ 8510655642*c_1001_4^4 - 3366501525420506657589955691575537221208319\ 576707234114082938951969707348155085564560346992163055/864522644598\ 8935391998455057415010956897117950532908044713753298940463978412340\ 407757021311284*c_1001_4^3 - 22727844194868531678458943032190435018\ 7617174674121040491176455487998134738911425848713108127794/21613066\ 1149723384799961376435375273922427948763322701117843832473511599460\ 3085101939255327821*c_1001_4^2 - 7495533265395370818928654583402233\ 7020998442830734593065701981609349185408632425588724067380837/86452\ 2644598893539199845505741501095689711795053290804471375329894046397\ 8412340407757021311284*c_1001_4 - 745205581707261359549215574105654\ 1077805447963211186734712273340936401813577905471803167297065/86452\ 2644598893539199845505741501095689711795053290804471375329894046397\ 8412340407757021311284, c_0101_12 + 31360588815796718212883252308573134240124210410010483913712\ 69128475077130580047747353634774/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821*c_1001\ _4^31 + 68807679310134100943711755044509937526805236975107409970965\ 397033274051412372491949254534975/432261322299446769599922752870750\ 5478448558975266454022356876649470231989206170203878510655642*c_100\ 1_4^30 + 3996750128408514012068860001576379421605851854959409674113\ 44884817926717764005701434297305859/4322613222994467695999227528707\ 505478448558975266454022356876649470231989206170203878510655642*c_1\ 001_4^29 + 79674842831614929508502663298953412236184124400669041583\ 3028453675332563470380025549883141519/21613066114972338479996137643\ 53752739224279487633227011178438324735115994603085101939255327821*c\ _1001_4^28 + 214511182484215477925507845029034041275245638892654597\ 6046236788238954943588519416889160459865/21613066114972338479996137\ 6435375273922427948763322701117843832473511599460308510193925532782\ 1*c_1001_4^27 + 684950763182905413197925115417950242971025351905166\ 9216720644783673178721638721599503590675861/43226132229944676959992\ 2752870750547844855897526645402235687664947023198920617020387851065\ 5642*c_1001_4^26 - 122937640558096092457352757221278615104165614317\ 6532923901321256588068201868248783785552709725/43226132229944676959\ 9922752870750547844855897526645402235687664947023198920617020387851\ 0655642*c_1001_4^25 - 300966299419062632578317445741966083325814933\ 55472826436646427422234499511002197719731098955128/2161306611497233\ 8479996137643537527392242794876332270111784383247351159946030851019\ 39255327821*c_1001_4^24 - 14666580269158413576263316686756924237080\ 7099490790831116421425702946334037027227978244469190984/21613066114\ 9723384799961376435375273922427948763322701117843832473511599460308\ 5101939255327821*c_1001_4^23 - 503607838771876906457941572685452627\ 187836805419043588829505421118797148248360043513618498888268/216130\ 6611497233847999613764353752739224279487633227011178438324735115994\ 603085101939255327821*c_1001_4^22 - 2836115880348016711009206834417426396881034641569007640160094712543\ 674626984800533792680349264241/432261322299446769599922752870750547\ 8448558975266454022356876649470231989206170203878510655642*c_1001_4\ ^21 - 6878816017586598473535399559575368815304169501531594181742228\ 910330622175503503410536771327142643/432261322299446769599922752870\ 7505478448558975266454022356876649470231989206170203878510655642*c_\ 1001_4^20 - 1478793813311020753985809419244523427124286240317251026\ 0913597061671873092767297749174419230529983/43226132229944676959992\ 2752870750547844855897526645402235687664947023198920617020387851065\ 5642*c_1001_4^19 - 288721991052822952708191108177590333331113767852\ 40022636111214955154303719676087096305479734029919/4322613222994467\ 6959992275287075054784485589752664540223568766494702319892061702038\ 78510655642*c_1001_4^18 - 25908549688675694928064940068287709863029\ 769227276585800320185222139435523789090413726968773020820/216130661\ 1497233847999613764353752739224279487633227011178438324735115994603\ 085101939255327821*c_1001_4^17 - 4260277601612726141978278426927492\ 2423925346538062651547717763928551592508222017903632713180113252/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^16 - 1282258792468226864075335325285065945586666925185022984438413862144\ 44894631205703885593868677518741/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^15 - 88558349960331248092448115983692293571688454263825906958765\ 344357439351579372978526097019773027974/216130661149723384799961376\ 4353752739224279487633227011178438324735115994603085101939255327821\ *c_1001_4^14 - 1126051064431828178149053410758146778518800305730492\ 02043674130610323005110040934395361941014051615/2161306611497233847\ 9996137643537527392242794876332270111784383247351159946030851019392\ 55327821*c_1001_4^13 - 13105812704479173037645550923304756790450306\ 0128068245224254243614591917105659630674365727751263337/21613066114\ 9723384799961376435375273922427948763322701117843832473511599460308\ 5101939255327821*c_1001_4^12 - 275569371719509031579370596446928281\ 834287104205711918248184612816590138574753427925119421742318035/432\ 2613222994467695999227528707505478448558975266454022356876649470231\ 989206170203878510655642*c_1001_4^11 - 2577842377507848233370342913836689499328690798719490344079314157439\ 78206408107864499514259896978037/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^10 - 21264458361488801351976371574137903880707618695735473253686\ 4776435488826869107505980175060093708875/43226132229944676959992275\ 2870750547844855897526645402235687664947023198920617020387851065564\ 2*c_1001_4^9 - 1536406754361229557051986981397867510981292899553542\ 39806293695832323228759643039432060933760385925/4322613222994467695\ 9992275287075054784485589752664540223568766494702319892061702038785\ 10655642*c_1001_4^8 - 956519599255832104418031020454513126285103803\ 86360409009183826456409145201093978097410134681507627/4322613222994\ 4676959992275287075054784485589752664540223568766494702319892061702\ 03878510655642*c_1001_4^7 - 491883873130035776426359973476110685616\ 56061111887162457005168897051320786770949272488337411787663/4322613\ 2229944676959992275287075054784485589752664540223568766494702319892\ 06170203878510655642*c_1001_4^6 - 980867540325230439241294201542559\ 8976268345838500159613695177959992511562689003514183727886358483/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^5 - 5713512376341251849607091746519772969279724884201450556077960518612\ 903537539143533058984147441167/432261322299446769599922752870750547\ 8448558975266454022356876649470231989206170203878510655642*c_1001_4\ ^4 - 13459284860791855744289834085221581825171532122781433158160411\ 46513952169259732623646560722399381/4322613222994467695999227528707\ 505478448558975266454022356876649470231989206170203878510655642*c_1\ 001_4^3 - 187905310268923454606935396670597076951256311572899672595\ 151708446185017207239096795320337376531/216130661149723384799961376\ 4353752739224279487633227011178438324735115994603085101939255327821\ *c_1001_4^2 - 53014239440919223648133599629916901367350377554774093\ 745220831625804668807495967670071278080771/216130661149723384799961\ 3764353752739224279487633227011178438324735115994603085101939255327\ 821*c_1001_4 + 1062631607616985578116799194407891995872672967037123\ 4596088106073796105738627776126652476866429/43226132229944676959992\ 2752870750547844855897526645402235687664947023198920617020387851065\ 5642, c_0101_3 - 162572244801674707598489927071827272189114602177683292090037\ 392464247556262253988930497292181/864522644598893539199845505741501\ 0956897117950532908044713753298940463978412340407757021311284*c_100\ 1_4^31 - 1177507771683155787148144797823852035304176463950077839134\ 632825454398948197097477713580264305/432261322299446769599922752870\ 7505478448558975266454022356876649470231989206170203878510655642*c_\ 1001_4^30 - 1839582918726977973176370541270913230987393109647571376\ 8492654589774573841328944187882938086819/86452264459889353919984550\ 5741501095689711795053290804471375329894046397841234040775702131128\ 4*c_1001_4^29 - 256537076974492813252789609274939919348900904028025\ 38717717629019207315563137485977432847950153/2161306611497233847999\ 6137643537527392242794876332270111784383247351159946030851019392553\ 27821*c_1001_4^28 - 44664593095600610871402138393731027289103983017\ 1735390016341300207401643159248521449956479978431/86452264459889353\ 9199845505741501095689711795053290804471375329894046397841234040775\ 7021311284*c_1001_4^27 - 805379872253529445585568204429032127587796\ 232507944704457895856086868313064435249062729861023503/432261322299\ 4467695999227528707505478448558975266454022356876649470231989206170\ 203878510655642*c_1001_4^26 - 5051456937378972518810172933936827137\ 681605820843899945483073405636742546529370312557588311982589/864522\ 6445988935391998455057415010956897117950532908044713753298940463978\ 412340407757021311284*c_1001_4^25 - 3540462412323373294111459028814745423446328065856133990722625903741\ 283075192856264924173325260596/216130661149723384799961376435375273\ 9224279487633227011178438324735115994603085101939255327821*c_1001_4\ ^24 - 1796521181649857281924738391419422399191864682236523395414328\ 1393895933616877666474000057622364493/43226132229944676959992275287\ 07505478448558975266454022356876649470231989206170203878510655642*c\ _1001_4^23 - 830058591740312199519905100766271702063511349960229962\ 66131501975132471558760964123414676414292227/8645226445988935391998\ 4550574150109568971179505329080447137532989404639784123404077570213\ 11284*c_1001_4^22 - 87729500359673665555091684444565262682807297265\ 412420844373033571890534615995172741007046601198247/432261322299446\ 7695999227528707505478448558975266454022356876649470231989206170203\ 878510655642*c_1001_4^21 - 1707082636222252532381249835789526727435\ 93973345833818905114903255321789843395921033642645775622417/4322613\ 2229944676959992275287075054784485589752664540223568766494702319892\ 06170203878510655642*c_1001_4^20 - 3077730843504164105075109748167174914074943041650435980994384879202\ 02592377747578559588128496365727/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^19 - 10309437413826066860122851967227986778418610234039230039900\ 85351253269433802548243076619669494542981/8645226445988935391998455\ 0574150109568971179505329080447137532989404639784123404077570213112\ 84*c_1001_4^18 - 80006129873665519776225731463812185857488964269368\ 1244800800666826496770078941115931448978013328211/43226132229944676\ 9599922752870750547844855897526645402235687664947023198920617020387\ 8510655642*c_1001_4^17 - 229717785125095952486449267908883130898728\ 9142398525497674169178897084607119548682401247554509357027/86452264\ 4598893539199845505741501095689711795053290804471375329894046397841\ 2340407757021311284*c_1001_4^16 - 305016916042209507648971939741593\ 2006996791148247292222489681132578088648308048217950962251086915941\ /864522644598893539199845505741501095689711795053290804471375329894\ 0463978412340407757021311284*c_1001_4^15 - 9354786534159494649459520727739220710752007201247625135387641701446\ 56247124565906483434929194715932/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821*c_1001\ _4^14 - 21079559461390321416032612585652804651203771327339142475424\ 63507331656757862831641330994707398444165/4322613222994467695999227\ 5287075054784485589752664540223568766494702319892061702038785106556\ 42*c_1001_4^13 - 43152828834077234259952128867553778605829386260351\ 64975244521028004589295842023953872571421005376719/8645226445988935\ 3919984550574150109568971179505329080447137532989404639784123404077\ 57021311284*c_1001_4^12 - 19822402442064293562666894856816079093278\ 94270387381870986368537144883021951131023272329437555238603/4322613\ 2229944676959992275287075054784485589752664540223568766494702319892\ 06170203878510655642*c_1001_4^11 - 1619319411004079842689168685161189159723531954030849743296835269626\ 182056481473232021203162210941453/432261322299446769599922752870750\ 5478448558975266454022356876649470231989206170203878510655642*c_100\ 1_4^10 - 1166469772512165341061508237495493325801569254291196849383\ 956126403837400369017162624109910816996033/432261322299446769599922\ 7528707505478448558975266454022356876649470231989206170203878510655\ 642*c_1001_4^9 - 36485085922723897713867102829763738662879921819882\ 9411560330084970266264561995787057758004830216521/21613066114972338\ 4799961376435375273922427948763322701117843832473511599460308510193\ 9255327821*c_1001_4^8 - 3840285446031676800682977765408622893900551\ 35423963979523495093557054227788125100932096262888028209/4322613222\ 9944676959992275287075054784485589752664540223568766494702319892061\ 70203878510655642*c_1001_4^7 - 324431840322441318452447710125212783\ 151290799209341852823883899467677692130473521569223337864810939/864\ 5226445988935391998455057415010956897117950532908044713753298940463\ 978412340407757021311284*c_1001_4^6 - 1052113757651610475641664372902189031707507133323193142864923983323\ 97886463088801079119705427923257/8645226445988935391998455057415010\ 956897117950532908044713753298940463978412340407757021311284*c_1001\ _4^5 - 677323792754787835141048936218851642649222360958730194994848\ 0124706361829225702576390605802544348/21613066114972338479996137643\ 53752739224279487633227011178438324735115994603085101939255327821*c\ _1001_4^4 - 6965351793633728138395983021913132398476327588346933147\ 907322387637401295641742087403168388192781/864522644598893539199845\ 5057415010956897117950532908044713753298940463978412340407757021311\ 284*c_1001_4^3 - 48023026432845165111974938774205135908240942356601\ 4144443126668088234239375489047593281160103324/21613066114972338479\ 9961376435375273922427948763322701117843832473511599460308510193925\ 5327821*c_1001_4^2 - 1759077595253827509891908739286980109841200241\ 62603875267022376682915483741702158251692382364661/8645226445988935\ 3919984550574150109568971179505329080447137532989404639784123404077\ 57021311284*c_1001_4 + 37801087147959508160641515059856167945068518\ 905776406056518634318770457095150342138901763752697/864522644598893\ 5391998455057415010956897117950532908044713753298940463978412340407\ 757021311284, c_0101_6 + 519886476664126355241763612207685920021088735815008975920303\ 39892579632989774133026652944759/8645226445988935391998455057415010\ 956897117950532908044713753298940463978412340407757021311284*c_1001\ _4^31 + 18044373641840086580936620773505558634295151560727235571636\ 4945964322300073995738012868376687/21613066114972338479996137643537\ 52739224279487633227011178438324735115994603085101939255327821*c_10\ 01_4^30 + 544029736455471101841689706799280789979143437324689632493\ 6424957135176256796977894787499399315/86452264459889353919984550574\ 15010956897117950532908044713753298940463978412340407757021311284*c\ _1001_4^29 + 735768042190050456162261592747337103516500551039512343\ 2975817333665241586263820649106558352863/21613066114972338479996137\ 6435375273922427948763322701117843832473511599460308510193925532782\ 1*c_1001_4^28 + 124285811790547708320360520631711869652610150795860\ 372102946318520407816531247781431020075888205/864522644598893539199\ 8455057415010956897117950532908044713753298940463978412340407757021\ 311284*c_1001_4^27 + 1089374167876475432396969318537241450864731725\ 73334020923010547546078482810831878708071872685312/2161306611497233\ 8479996137643537527392242794876332270111784383247351159946030851019\ 39255327821*c_1001_4^26 + 13336760121464021099782525303328504072281\ 97247167030861636571245993059153306907064973808086880481/8645226445\ 9889353919984550574150109568971179505329080447137532989404639784123\ 40407757021311284*c_1001_4^25 + 91422206756681552817978850514556826\ 9845127519013412986176538566661221371530976716103724535609822/21613\ 0661149723384799961376435375273922427948763322701117843832473511599\ 4603085101939255327821*c_1001_4^24 + 4537200650695601564422309847217588585712075306783566100617026783571\ 243565698269639353268713334981/432261322299446769599922752870750547\ 8448558975266454022356876649470231989206170203878510655642*c_1001_4\ ^23 + 2048604407384781709000235295508652767360820628445472599644868\ 0240827910934724608548987258210066285/86452264459889353919984550574\ 15010956897117950532908044713753298940463978412340407757021311284*c\ _1001_4^22 + 105697116979262220411687632968740484537086656428158887\ 98060501113239393274247770581579591356202512/2161306611497233847999\ 6137643537527392242794876332270111784383247351159946030851019392553\ 27821*c_1001_4^21 + 20073840903573140697885096485646309493485419084\ 715021398238791930000681677958140036941357331723662/216130661149723\ 3847999613764353752739224279487633227011178438324735115994603085101\ 939255327821*c_1001_4^20 + 3532585254770672503326823595546003455989\ 5654128185903847730858046026677477883353660301907186867275/21613066\ 1149723384799961376435375273922427948763322701117843832473511599460\ 3085101939255327821*c_1001_4^19 + 230700933308183470141184446477264\ 753890214299795985248874577979125282137911445846225582823684207401/\ 8645226445988935391998455057415010956897117950532908044713753298940\ 463978412340407757021311284*c_1001_4^18 + 1739434756628279270688320148143738596524843429868846596806605965303\ 89375605771370919413608408097315/4322613222994467695999227528707505\ 478448558975266454022356876649470231989206170203878510655642*c_1001\ _4^17 + 48369588646829743741902005824307429600615886312955435019163\ 7199804990747511552669031431262191859261/86452264459889353919984550\ 5741501095689711795053290804471375329894046397841234040775702131128\ 4*c_1001_4^16 + 620271159084649280332266856758122559757680818682875\ 002249434328427853198734367276765061704997734677/864522644598893539\ 1998455057415010956897117950532908044713753298940463978412340407757\ 021311284*c_1001_4^15 + 1830047670380578440369735651453757229147177\ 04982555016129609093552602614686971164564646806252812435/2161306611\ 4972338479996137643537527392242794876332270111784383247351159946030\ 85101939255327821*c_1001_4^14 + 39360910805758594293323860818895622\ 7900137915478170411384238333626554100939738527490907623759344561/43\ 2261322299446769599922752870750547844855897526645402235687664947023\ 1989206170203878510655642*c_1001_4^13 + 7594408553215841443413343651201979458555749907735910596985957852245\ 38495167199925329650727566776749/8645226445988935391998455057415010\ 956897117950532908044713753298940463978412340407757021311284*c_1001\ _4^12 + 16164489415820029514459694837744677397807311935361276440155\ 4335540948316370273742147201895497891750/21613066114972338479996137\ 6435375273922427948763322701117843832473511599460308510193925532782\ 1*c_1001_4^11 + 119956549163264405911010596196426809700933904879651\ 297915322418588968468710851578286110516044805975/216130661149723384\ 7999613764353752739224279487633227011178438324735115994603085101939\ 255327821*c_1001_4^10 + 7632337684797529117779220676263834635055936\ 6669559078395846056907684205217123693927912115490840255/21613066114\ 9723384799961376435375273922427948763322701117843832473511599460308\ 5101939255327821*c_1001_4^9 + 7981830392953504390703573088786642924\ 4761685606317745937370440782968365840706844281820203099636419/43226\ 1322299446769599922752870750547844855897526645402235687664947023198\ 9206170203878510655642*c_1001_4^8 + 1529059144284447126132684273625366649285181540994104863847655856211\ 4497468273729260391739958288594/21613066114972338479996137643537527\ 39224279487633227011178438324735115994603085101939255327821*c_1001_\ 4^7 + 1183319809209522741608058220131068504395211776920690345929814\ 9114143343838306399023351717619172567/86452264459889353919984550574\ 15010956897117950532908044713753298940463978412340407757021311284*c\ _1001_4^6 - 2501115286009740673726613480730260210942374432067457682\ 164605868251563619601037132788780910574081/864522644598893539199845\ 5057415010956897117950532908044713753298940463978412340407757021311\ 284*c_1001_4^5 - 11364959419684293018130507707980096243832751923054\ 74200134055669348113971169144421431326455805665/4322613222994467695\ 9992275287075054784485589752664540223568766494702319892061702038785\ 10655642*c_1001_4^4 - 643783092582343380760958432855779812541954973\ 720522571730874731568204939024756913042796798522943/864522644598893\ 5391998455057415010956897117950532908044713753298940463978412340407\ 757021311284*c_1001_4^3 - 54780320044830264452451854144684353624085\ 029963177955531157343860389426509871576984281576268664/216130661149\ 7233847999613764353752739224279487633227011178438324735115994603085\ 101939255327821*c_1001_4^2 - 15380419961420265303515306104383110279\ 2724407234272792492103066629893339938605828200368707821853/86452264\ 4598893539199845505741501095689711795053290804471375329894046397841\ 2340407757021311284*c_1001_4 - 121162351554883608592364819386803264\ 97209587550768312721773278016789506670947977968780054264821/8645226\ 4459889353919984550574150109568971179505329080447137532989404639784\ 12340407757021311284, c_1001_1 - 233023132516045334006807038216272601010379252675045256794033\ 37015779613853860797194398733868/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821*c_1001\ _4^31 - 33255492205423137330563316928856927914460410698383369092187\ 3523612675004727333904709413358376/21613066114972338479996137643537\ 52739224279487633227011178438324735115994603085101939255327821*c_10\ 01_4^30 - 256703593492995328442972190493644185344792689842362257774\ 8339619117382969357362050345566213577/21613066114972338479996137643\ 53752739224279487633227011178438324735115994603085101939255327821*c\ _1001_4^29 - 141799736378649550910691333375010863821938965404126695\ 83423257995909678579853534043556812739383/2161306611497233847999613\ 7643537527392242794876332270111784383247351159946030851019392553278\ 21*c_1001_4^28 - 61146549055470459671285642965487679213696575383214\ 526771651624566302672070057394189091710143764/216130661149723384799\ 9613764353752739224279487633227011178438324735115994603085101939255\ 327821*c_1001_4^27 - 2186730259258527451592279243306664167519428908\ 75595767956817549776923232772312019995740278759840/2161306611497233\ 8479996137643537527392242794876332270111784383247351159946030851019\ 39255327821*c_1001_4^26 - 68099623925898367466693096708330045636686\ 3348496693706089150732213413837125722322859662573200191/21613066114\ 9723384799961376435375273922427948763322701117843832473511599460308\ 5101939255327821*c_1001_4^25 - 189734929105486141254956839703893005\ 3364738328090771254550356811193121492810422628572236342648824/21613\ 0661149723384799961376435375273922427948763322701117843832473511599\ 4603085101939255327821*c_1001_4^24 - 4784656940085003904565463156418489280402135614118472192488010315911\ 989607186098640821317065344235/216130661149723384799961376435375273\ 9224279487633227011178438324735115994603085101939255327821*c_1001_4\ ^23 - 1098562108626968629549588032739908714132054761264672271318211\ 8363771637602484431751369563733557838/21613066114972338479996137643\ 53752739224279487633227011178438324735115994603085101939255327821*c\ _1001_4^22 - 230775585030826285443483875310742055318563355485362502\ 96149531618218628958358803484754827139842301/2161306611497233847999\ 6137643537527392242794876332270111784383247351159946030851019392553\ 27821*c_1001_4^21 - 44631775578571043767510161686263788681211311614\ 225254995866900807701717646576981115857062010211803/216130661149723\ 3847999613764353752739224279487633227011178438324735115994603085101\ 939255327821*c_1001_4^20 - 7999311940087464000826787202427254155926\ 5981789526633102136013623053310885808345411240482077274991/21613066\ 1149723384799961376435375273922427948763322701117843832473511599460\ 3085101939255327821*c_1001_4^19 - 133165318689268636554648980844115\ 336370530721671834146072464071591400066553027409029270688768564433/\ 2161306611497233847999613764353752739224279487633227011178438324735\ 115994603085101939255327821*c_1001_4^18 - 2053099548695165034171753142232125256234955559702369828823792969601\ 53108143062240057094706969791386/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821*c_1001\ _4^17 - 29265544878483725355097327397871839664725715273090945021943\ 3757628811606656685331893347172842224107/21613066114972338479996137\ 6435375273922427948763322701117843832473511599460308510193925532782\ 1*c_1001_4^16 - 385711152400717193096685130268845679514872181489188\ 178620734454988457510362822060389940429239080892/216130661149723384\ 7999613764353752739224279487633227011178438324735115994603085101939\ 255327821*c_1001_4^15 - 4694623099659286498963493730750603700736413\ 11785036050670954377260833057753356474295818366406942575/2161306611\ 4972338479996137643537527392242794876332270111784383247351159946030\ 85101939255327821*c_1001_4^14 - 52414567103169258500604885324066256\ 5076673803473981674889641672708997854938244188017163753678183518/21\ 6130661149723384799961376435375273922427948763322701117843832473511\ 5994603085101939255327821*c_1001_4^13 - 5306954141376743168972033700484181197454527892247425903257272655433\ 53173353794254868126903694677088/2161306611497233847999613764353752\ 739224279487633227011178438324735115994603085101939255327821*c_1001\ _4^12 - 48132173064986864212412251215291360436504399166118987859837\ 4432442556220120438578157881655235698873/21613066114972338479996137\ 6435375273922427948763322701117843832473511599460308510193925532782\ 1*c_1001_4^11 - 387548340434378396112052943453997482859232597381189\ 223999738557666519055937203536305617877383298717/216130661149723384\ 7999613764353752739224279487633227011178438324735115994603085101939\ 255327821*c_1001_4^10 - 2746711714312072906469883032828619881676933\ 27672579038914544938483524573573811428336266848325504160/2161306611\ 4972338479996137643537527392242794876332270111784383247351159946030\ 85101939255327821*c_1001_4^9 - 168486117295551473266393796364689539\ 910388766396534300275387582713448168963051542323287914354903110/216\ 1306611497233847999613764353752739224279487633227011178438324735115\ 994603085101939255327821*c_1001_4^8 - 8636024927616925308323021914077216677560433111907421606313555933336\ 8468453082503683741206690825787/21613066114972338479996137643537527\ 39224279487633227011178438324735115994603085101939255327821*c_1001_\ 4^7 - 3521359499794727260980489447304394728608643668990893764620561\ 0874379830998744306023105454154718269/21613066114972338479996137643\ 53752739224279487633227011178438324735115994603085101939255327821*c\ _1001_4^6 - 1097321483047542547602795744732299141015887404485770170\ 4556305291699221429290723424402774227887485/21613066114972338479996\ 1376435375273922427948763322701117843832473511599460308510193925532\ 7821*c_1001_4^5 - 2789646671673741186138935578093188304511051228094\ 531457458124549034677534019843381637050226799026/216130661149723384\ 7999613764353752739224279487633227011178438324735115994603085101939\ 255327821*c_1001_4^4 - 73995642826054333703085724000936848990186235\ 7007149233421626897456367606578708167683038928777659/21613066114972\ 3384799961376435375273922427948763322701117843832473511599460308510\ 1939255327821*c_1001_4^3 - 1957356156447219861826771095761474392422\ 44180834188225232521908508772989320165832139419956431892/2161306611\ 4972338479996137643537527392242794876332270111784383247351159946030\ 85101939255327821*c_1001_4^2 - 539156230633406771018042757309663760\ 8032970582998738360447868111619864126557391281894020369843/21613066\ 1149723384799961376435375273922427948763322701117843832473511599460\ 3085101939255327821*c_1001_4 + 756915871079776925849117956828913785\ 594329057637789417107743166913930473978511358749013475583/216130661\ 1497233847999613764353752739224279487633227011178438324735115994603\ 085101939255327821, c_1001_4^32 + 15*c_1001_4^31 + 121*c_1001_4^30 + 695*c_1001_4^29 + 3115*c_1001_4^28 + 11557*c_1001_4^27 + 37179*c_1001_4^26 + 106685*c_1001_4^25 + 276942*c_1001_4^24 + 655093*c_1001_4^23 + 1419253*c_1001_4^22 + 2831912*c_1001_4^21 + 5235616*c_1001_4^20 + 8998835*c_1001_4^19 + 14369499*c_1001_4^18 + 21286629*c_1001_4^17 + 29236860*c_1001_4^16 + 37205249*c_1001_4^15 + 43705430*c_1001_4^14 + 47042545*c_1001_4^13 + 45951769*c_1001_4^12 + 40374404*c_1001_4^11 + 31657608*c_1001_4^10 + 21935182*c_1001_4^9 + 13204286*c_1001_4^8 + 6724777*c_1001_4^7 + 2800700*c_1001_4^6 + 927801*c_1001_4^5 + 248733*c_1001_4^4 + 61941*c_1001_4^3 + 15009*c_1001_4^2 + 2272*c_1001_4 - 361 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.040 Total time: 8.250 seconds, Total memory usage: 64.12MB