Magma V2.19-8 Wed Aug 21 2013 00:28:15 on localhost [Seed = 2901065540] Type ? for help. Type -D to quit. Loading file "K14n15858__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15858 geometric_solution 12.32181426 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 16 -15 0 -1 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.349509790441 0.720636379988 0 5 2 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 -1 1 15 0 0 -15 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531149976833 1.183600792916 7 0 1 8 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.470025170816 1.136129837556 9 7 8 0 0132 0321 2031 0132 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 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521114267111 0.967216414232 10 10 0 5 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 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.583200725362 0.594139653852 7 1 4 8 1023 0132 0132 2031 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 -1 1 0 0 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 0 0 0.452302360715 0.712270123933 11 12 1 9 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580946943759 0.970412052354 2 5 12 3 0132 1023 0321 0321 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 15 0 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555903142462 0.742725359711 9 5 2 3 1023 1302 0132 1302 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 0 0 0 0 0 0 0 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.885502531837 0.607422483034 3 8 11 6 0132 1023 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.875140835411 0.567545713193 4 11 12 4 0132 0213 2031 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.791305541327 1.127991407431 6 12 10 9 0132 3012 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 16 0 -16 1 15 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513392837107 0.524619408357 11 6 7 10 1230 0132 0321 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 -16 0 0 16 -15 15 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.201948588005 1.251354892821 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0110_8']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : negation(d['c_0110_8']), 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_0101_12']), 'c_1001_8' : d['c_0110_5'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : negation(d['1']), 's_3_10' : negation(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_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_1010_8']), 'c_1100_4' : negation(d['c_1010_8']), 'c_1100_7' : negation(d['c_0110_8']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_1010_8']), 'c_1100_3' : negation(d['c_1010_8']), 'c_1100_2' : d['c_0101_3'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_1001_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : negation(d['c_0110_8']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_1001_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0110_8'], 'c_1010_8' : d['c_1010_8'], 'c_1100_8' : d['c_0101_3'], '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' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), '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_0'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_1'], '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' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_12']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0110_5, c_0110_8, c_1001_5, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 4686992350364190888619702958227097073943707855658075553128938715837\ 04846780949157847715966341599990373/5925919766836188336821792975066\ 9550129945343701639295484940558750172413670974583374061010332616531\ 2*c_1010_8^29 + 535718351939469254558021531009824223559191395294235\ 33711277440373010667494830734636820971167532001779187/5185179795981\ 6647947190688531835856363702175738934383549322988906400861962102760\ 45230338404103946480*c_1010_8^28 + 1277020212367623733491635673953945151296663649910484903728454222577\ 859426577848425365057940349150764892107/207407191839266591788762754\ 1273434254548087029557375341972919556256034478484110418092135361641\ 5785920*c_1010_8^27 + 237911661681602053363134197755755255742764932\ 3190706568792505459922865967284154791223928082704313846673691/10370\ 3595919633295894381377063671712727404351477868767098645977812801723\ 92420552090460676808207892960*c_1010_8^26 + 2617666640895938007256208784681859351338430849494974408886540588349\ 5301964488405289525345640927017224558089/41481438367853318357752550\ 8254686850909617405911475068394583911251206895696822083618427072328\ 31571840*c_1010_8^25 + 80972948242479452240838376952751654694822447\ 150361880029764834372032318812022837464591202021762826242447/505871\ 1996079672970457628149447400620848992755017988638958340381112279215\ 8149034587613057601014112*c_1010_8^24 + 8627170874016633207411852100116400995207673970485899126280671314666\ 7873313171287798679340233164627211982683/20740719183926659178876275\ 4127343425454808702955737534197291955625603447848411041809213536164\ 15785920*c_1010_8^23 + 10593083179180656112250675364622271205371799\ 2763305784739589450925518183816447647191051248157234503584929487/10\ 3703595919633295894381377063671712727404351477868767098645977812801\ 72392420552090460676808207892960*c_1010_8^22 + 2635790619578999149417392641938429489678221984230819407454112962863\ 0783530146450196652615716575779954797049/11684912216296709396550014\ 3170334324199892227017316920674530679225692083294879460174204809106\ 5678080*c_1010_8^21 + 191931048661871379219165554561168543360621161\ 5573743766940571597242233566071622098209245153866354396673406053/41\ 4814383678533183577525508254686850909617405911475068394583911251206\ 89569682208361842707232831571840*c_1010_8^20 + 1498042818380559744288637874848480738855320206561618426925657704058\ 948804460571181236530758160384519891911845/165925753471413273431010\ 2033018747403638469623645900273578335645004827582787288334473708289\ 3132628736*c_1010_8^19 + 270916638407176667224383797378609754162366\ 7260088219854248012295071544589337609042489546138075208510833005957\ /165925753471413273431010203301874740363846962364590027357833564500\ 48275827872883344737082893132628736*c_1010_8^18 + 2218764864934474431823326764642320534317231497139207693466052152032\ 5048413668021812706134591538527580092962237/82962876735706636715505\ 1016509373701819234811822950136789167822502413791393644167236854144\ 65663143680*c_1010_8^17 + 83620918209589541067091840930970574753413\ 3270492917172944406311803244023856354001888818326266266715540083501\ 7/20740719183926659178876275412734342545480870295573753419729195562\ 560344784841104180921353616415785920*c_1010_8^16 + 1157922111468508431185926786126718256312084138909226270677147951848\ 841419154304964197616229848392024308508113/202348479843186918818305\ 1259778960248339597102007195455583336152444911686325961383504522304\ 040564480*c_1010_8^15 + 1260677105702266020705249926346496435642104\ 5424195465843495054219540125865748629816623113448219994302839490177\ /165925753471413273431010203301874740363846962364590027357833564500\ 48275827872883344737082893132628736*c_1010_8^14 + 1921632078738403405559736566282723036715790786070097888387531892000\ 166004863597698269258745801303193909355739/207407191839266591788762\ 7541273434254548087029557375341972919556256034478484110418092135361\ 641578592*c_1010_8^13 + 3069790997187238147697359352789834761256772\ 881086339160392197975193480241846079437515774322190305416445148057/\ 2962959883418094168410896487533477506497267185081964774247027937508\ 620683548729168703050516630826560*c_1010_8^12 + 8910874696133757176673784861094596600902156518569970733959842553645\ 4005230829156817141010491657422292820960593/82962876735706636715505\ 1016509373701819234811822950136789167822502413791393644167236854144\ 65663143680*c_1010_8^11 + 17149374118869650100550366713028006080396\ 5034196726272787959379685610103371292700517423427695470674197725709\ 11/1659257534714132734310102033018747403638469623645900273578335645\ 0048275827872883344737082893132628736*c_1010_8^10 + 1877031851238845170817608349124453232660646185729737862869849533422\ 1693634683153335992674029819511702552080349/20740719183926659178876\ 2754127343425454808702955737534197291955625603447848411041809213536\ 16415785920*c_1010_8^9 + 577177623750451046113409141168064172458451\ 8067262087333650352777282749692057112430636465737371571719136192438\ 1/82962876735706636715505101650937370181923481182295013678916782250\ 241379139364416723685414465663143680*c_1010_8^8 + 9333853227936964627456645767153746029159050682637874468230411088491\ 353230623243254957275977941076555884541537/207407191839266591788762\ 7541273434254548087029557375341972919556256034478484110418092135361\ 6415785920*c_1010_8^7 + 1734528756941538930895408956916301178072254\ 92228622312902223680377432418373391018117239252160638256559552381/7\ 4073997085452354210272412188336937662431679627049119356175698437715\ 5170887182292175762629157706640*c_1010_8^6 + 1934224845245251273665076454554010887352596559461599094137918776833\ 545760690979374181627377059603322460182827/207407191839266591788762\ 7541273434254548087029557375341972919556256034478484110418092135361\ 6415785920*c_1010_8^5 + 3171446810800241276218818416936893648244826\ 14945477978790781121727835739122416426262186607107194906718086019/1\ 1851839533672376673643585950133910025989068740327859096988111750034\ 482734194916674812202066523306240*c_1010_8^4 + 1509963899702002092537235159844124816490475831331419276125009498541\ 2729111474214526269018619485017187162013/29629598834180941684108964\ 8753347750649726718508196477424702793750862068354872916870305051663\ 0826560*c_1010_8^3 + 2362864892902076191117786322587370069316615143\ 6840133365773096701143576151855390899552473845883325265573151/41481\ 4383678533183577525508254686850909617405911475068394583911251206895\ 69682208361842707232831571840*c_1010_8^2 + 2597106231690492309221770950034456419519831423448229619798020041777\ 270725794952272204678995006216315285611/829628767357066367155051016\ 5093737018192348118229501367891678225024137913936441672368541446566\ 3143680*c_1010_8 + 750242090245191571027273796502123703355548832887\ 47053216013725944857473070659696636319034604535229281741/8296287673\ 5706636715505101650937370181923481182295013678916782250241379139364\ 416723685414465663143680, c_0011_0 - 1, c_0011_10 + 24237523682663532929138148899525084674160135909977784215485\ 911619764648804336793976077224706/635774470438420168529871532493909\ 165171042338758966531418968083575443166672293336618917201*c_1010_8^\ 29 + 30721736035927613351917994458136895135393984719938960278349516\ 4883504928667177499447331549130/63577447043842016852987153249390916\ 5171042338758966531418968083575443166672293336618917201*c_1010_8^28 + 17672697498715862351036176867827406522878422558423495382654340444\ 33685874592468041009568195592/6357744704384201685298715324939091651\ 71042338758966531418968083575443166672293336618917201*c_1010_8^27 + 6339687786064111272060555694728788223842712969254100948641617557402\ 933396060950721191381171368/635774470438420168529871532493909165171\ 042338758966531418968083575443166672293336618917201*c_1010_8^26 + 1685016575367148131718540616351185803178471146944673459416950896388\ 5417804843042831777629922563/63577447043842016852987153249390916517\ 1042338758966531418968083575443166672293336618917201*c_1010_8^25 + 4241740391490167531924461739326621307605691509379515345712302342974\ 9335014637688693201728847571/63577447043842016852987153249390916517\ 1042338758966531418968083575443166672293336618917201*c_1010_8^24 + 1107680649226501845196821817540773232303560652644163279710970717605\ 15337413726865071754206836059/6357744704384201685298715324939091651\ 71042338758966531418968083575443166672293336618917201*c_1010_8^23 + 2694457968270839370089627253630113807366937752057337166631351544937\ 12695720133155714297788660469/6357744704384201685298715324939091651\ 71042338758966531418968083575443166672293336618917201*c_1010_8^22 + 1170214105133490980807349658927974695121390961793511481777037793927\ 412137177496202109189653979403/127154894087684033705974306498781833\ 0342084677517933062837936167150886333344586673237834402*c_1010_8^21 + 23740710157597578504119519740913460649912500674311048188838959348\ 71050248997130611893080646181097/1271548940876840337059743064987818\ 330342084677517933062837936167150886333344586673237834402*c_1010_8^\ 20 + 22980341744610041044928414465450029072906158669689697082810521\ 62367423442462446674262456142104237/6357744704384201685298715324939\ 09165171042338758966531418968083575443166672293336618917201*c_1010_\ 8^19 + 819130062420081449350517043906804228737493879798937192801038\ 0477235360230879933380369230476131367/12715489408768403370597430649\ 87818330342084677517933062837936167150886333344586673237834402*c_10\ 10_8^18 + 657533265835272941445210002917213561422245635579841983256\ 1996703237907645234578975176806844195640/63577447043842016852987153\ 2493909165171042338758966531418968083575443166672293336618917201*c_\ 1010_8^17 + 9749643605644347510884436204563470654389648759988523220\ 103311190509691578484339308773069391496412/635774470438420168529871\ 532493909165171042338758966531418968083575443166672293336618917201*\ c_1010_8^16 + 27338397481399912131810327165842527001921323218067087\ 310664307667676638634566704452932955095205459/127154894087684033705\ 9743064987818330342084677517933062837936167150886333344586673237834\ 402*c_1010_8^15 + 1785792702982470164072535638572849673665834273227\ 4003933359850698155747605358052809750434678075719/63577447043842016\ 8529871532493909165171042338758966531418968083575443166672293336618\ 917201*c_1010_8^14 + 2129563100146346864298940903337853611404152961\ 4657489580775841182803003285194239489624181374516181/63577447043842\ 0168529871532493909165171042338758966531418968083575443166672293336\ 618917201*c_1010_8^13 + 2327388117460254169395116109211525520423448\ 0305744697355789220401799653504956986996390830321253606/63577447043\ 8420168529871532493909165171042338758966531418968083575443166672293\ 336618917201*c_1010_8^12 + 4728123639387105674767250208036303681945\ 2290459040564451930627184161610364494158948647056810683407/12715489\ 4087684033705974306498781833034208467751793306283793616715088633334\ 4586673237834402*c_1010_8^11 + 222436706079562487984875698016771209\ 91211111500528623557963552161126307751642724254538827733847088/6357\ 7447043842016852987153249390916517104233875896653141896808357544316\ 6672293336618917201*c_1010_8^10 + 188503150243572467788998600711917\ 58644569822355930733907681339773192785940537224140285308586526938/6\ 3577447043842016852987153249390916517104233875896653141896808357544\ 3166672293336618917201*c_1010_8^9 + 2755533690889033659117351987460783678990781256106149760220987457041\ 1570147978654409341048831797763/12715489408768403370597430649878183\ 30342084677517933062837936167150886333344586673237834402*c_1010_8^8 + 16528514161203753417724885525204015629055343877544472306088052157\ 457391312703611656668159578186715/127154894087684033705974306498781\ 8330342084677517933062837936167150886333344586673237834402*c_1010_8\ ^7 + 77013045910282712788513340868824805553791470024374192837590849\ 75446468784339258566800850640089619/1271548940876840337059743064987\ 818330342084677517933062837936167150886333344586673237834402*c_1010\ _8^6 + 260802362955617201149992798351225778268968902392483345704410\ 7518312864447065693557665521068103987/12715489408768403370597430649\ 87818330342084677517933062837936167150886333344586673237834402*c_10\ 10_8^5 + 2932305364243093530806060617251004221635045753197624688411\ 32687491192740689782114730968945576615/6357744704384201685298715324\ 93909165171042338758966531418968083575443166672293336618917201*c_10\ 10_8^4 + 3837646170986652342258283285982718748402558806407997495839\ 4787619693487739971285728472769525464/63577447043842016852987153249\ 3909165171042338758966531418968083575443166672293336618917201*c_101\ 0_8^3 + 25030400265512733115935975393258095609830624622419371320419\ 22059243290716517007273086917328024/6357744704384201685298715324939\ 09165171042338758966531418968083575443166672293336618917201*c_1010_\ 8^2 + 2143562379464366149224068715103584572756647679850242462003032\ 66759480501325873448277744611053/1271548940876840337059743064987818\ 330342084677517933062837936167150886333344586673237834402*c_1010_8 + 1265625041184403488908022472500051989895752718405406405233175273893\ 259177917568030141383580/635774470438420168529871532493909165171042\ 338758966531418968083575443166672293336618917201, c_0011_11 + 89403945568506629339700178314040458966771754900626243270828\ 4253822456043864736652689915924903/12715489408768403370597430649878\ 18330342084677517933062837936167150886333344586673237834402*c_1010_\ 8^29 + 113680437378436424556399530666160083661613549574691458354802\ 82274216447741065129844297543594861/1271548940876840337059743064987\ 818330342084677517933062837936167150886333344586673237834402*c_1010\ _8^28 + 65641075705561850787021323009724431646268680447898719513433\ 713936654774819219258258879885831191/127154894087684033705974306498\ 7818330342084677517933062837936167150886333344586673237834402*c_101\ 0_8^27 + 1182194548009648326348660851564101163227321876036281133780\ 45581082916141779292282001573182398460/6357744704384201685298715324\ 93909165171042338758966531418968083575443166672293336618917201*c_10\ 10_8^26 + 126154943639322091016910836319577122883365308764020639671\ 9935590773139111634221552461521813175605/25430978817536806741194861\ 29975636660684169355035866125675872334301772666689173346475668804*c\ _1010_8^25 + 317800732921731857603551011324506392205289062499645845\ 4884120117769078501593980247045443039322935/25430978817536806741194\ 8612997563666068416935503586612567587233430177266668917334647566880\ 4*c_1010_8^24 + 414707622480508369253089682984703694568933472296986\ 3494687852103280975147633929347042261112096591/12715489408768403370\ 5974306498781833034208467751793306283793616715088633334458667323783\ 4402*c_1010_8^23 + 201979104589334700150071985913510437643386468953\ 91963249553961619665635217177782473574122794263269/2543097881753680\ 6741194861299756366606841693550358661256758723343017726666891733464\ 75668804*c_1010_8^22 + 87884961980756583418260186593658411259853967\ 868191475200035544790509742552068654397926733686514647/508619576350\ 7361348238972259951273321368338710071732251351744668603545333378346\ 692951337608*c_1010_8^21 + 1785068972270139888795565509088322615648\ 98118411942651139601486952502845512462629920148291405489973/5086195\ 7635073613482389722599512733213683387100717322513517446686035453333\ 78346692951337608*c_1010_8^20 + 34587432675986048897842470768800371\ 4902933093713283332982110032115055438629922725611813309150237967/50\ 8619576350736134823897225995127332136833871007173225135174466860354\ 5333378346692951337608*c_1010_8^19 + 6174551525262434097128434112513108989288593449653585036698668086147\ 04339357046714643060782661620487/5086195763507361348238972259951273\ 321368338710071732251351744668603545333378346692951337608*c_1010_8^\ 18 + 49677163435462044245679390762462155848582284751108003474237149\ 3535191472840418903945116767050463479/25430978817536806741194861299\ 75636660684169355035866125675872334301772666689173346475668804*c_10\ 10_8^17 + 147588345556634152202394825824194569822863662982866149345\ 6105359992592038803528104883923687442287061/50861957635073613482389\ 7225995127332136833871007173225135174466860354533337834669295133760\ 8*c_1010_8^16 + 103600442412438804550834981535168263164387557747296\ 9203348169571886182643545941129732927360430962309/25430978817536806\ 7411948612997563666068416935503586612567587233430177266668917334647\ 5668804*c_1010_8^15 + 271198668610455452641876592967962024041452697\ 3958519067804614029857715826727379914371662569207185045/50861957635\ 0736134823897225995127332136833871007173225135174466860354533337834\ 6692951337608*c_1010_8^14 + 810612335189287618453057160456340926244\ 025304844301719985218438669939101262569918125461204360072677/127154\ 8940876840337059743064987818330342084677517933062837936167150886333\ 344586673237834402*c_1010_8^13 + 4441215378213195381935778651546981\ 29587733378832981548460165926180693817833786682645883494806334796/6\ 3577447043842016852987153249390916517104233875896653141896808357544\ 3166672293336618917201*c_1010_8^12 + 3617331597602362639430641976486287514754839831115477150488649188792\ 465804067819263133685358553878273/508619576350736134823897225995127\ 3321368338710071732251351744668603545333378346692951337608*c_1010_8\ ^11 + 1706258851161704849164030593039541574137834156973331442879163\ 241045780405442940438488395849466125151/254309788175368067411948612\ 9975636660684169355035866125675872334301772666689173346475668804*c_\ 1010_8^10 + 2903365563282071572897695130654660354426488105375093405\ 409455942998972844930910270973849832898080953/508619576350736134823\ 8972259951273321368338710071732251351744668603545333378346692951337\ 608*c_1010_8^9 + 26691467266446932755646104547680903712999580139041\ 1156466987999790098756388777286833073288154245233/63577447043842016\ 8529871532493909165171042338758966531418968083575443166672293336618\ 917201*c_1010_8^8 + 32327320772896432796031723385793943699435284626\ 1871955855842273185172333490770986242810256609105063/12715489408768\ 4033705974306498781833034208467751793306283793616715088633334458667\ 3237834402*c_1010_8^7 + 6112533338594525991272540239349434441041552\ 58833777900774899895874780254270503392154651339215943415/5086195763\ 5073613482389722599512733213683387100717322513517446686035453333783\ 46692951337608*c_1010_8^6 + 264560740022722904515326535145894094699\ 39445103487815514359437056538610483689703777307255037716983/6357744\ 7043842016852987153249390916517104233875896653141896808357544316667\ 2293336618917201*c_1010_8^5 + 1232943457385684367311129191341981243\ 7128351233134736235119503233214146484576238165865204993877859/12715\ 4894087684033705974306498781833034208467751793306283793616715088633\ 3344586673237834402*c_1010_8^4 + 6843918429195012877994803888682257\ 021102350112435772265449301630839162264448220137379920279326455/508\ 6195763507361348238972259951273321368338710071732251351744668603545\ 333378346692951337608*c_1010_8^3 + 4825480362045027988152318446170103517766343066687979741766655279138\ 42827402591709376342634084485/5086195763507361348238972259951273321\ 368338710071732251351744668603545333378346692951337608*c_1010_8^2 + 2415584869508240079118208166403509476746920697070626297233420703187\ 482697662673155262755897598/635774470438420168529871532493909165171\ 042338758966531418968083575443166672293336618917201*c_1010_8 + 2864472599296021629456285243514079503382303809054147190400387549155\ 92151776189660343557385225/5086195763507361348238972259951273321368\ 338710071732251351744668603545333378346692951337608, c_0011_3 + 156377413154616223674667115877386684475273999915825141693471\ 919342221731636670730993284845284/635774470438420168529871532493909\ 165171042338758966531418968083575443166672293336618917201*c_1010_8^\ 29 + 19872094158219421877690669412961950171209970177241200218544968\ 54390222893187863012415688118452/6357744704384201685298715324939091\ 65171042338758966531418968083575443166672293336618917201*c_1010_8^2\ 8 + 114676295187798250798619023957463324091729994407810194362077196\ 47895986256327559397688456356666/6357744704384201685298715324939091\ 65171042338758966531418968083575443166672293336618917201*c_1010_8^2\ 7 + 412852235859750242694834034645219295077576180500687384158221110\ 45624551430780889234786972613752/6357744704384201685298715324939091\ 65171042338758966531418968083575443166672293336618917201*c_1010_8^2\ 6 + 110105903265556509737130746953384310713232164551850863162353598\ 793182209724429133559633855798198/635774470438420168529871532493909\ 165171042338758966531418968083575443166672293336618917201*c_1010_8^\ 25 + 27740305134493471973637657820024446985486163659129171710253863\ 6781923968969980012273783664388278/63577447043842016852987153249390\ 9165171042338758966531418968083575443166672293336618917201*c_1010_8\ ^24 + 7240359880824251870078529674561202457264261452708227898535113\ 36106092224243519676774242446831293/6357744704384201685298715324939\ 09165171042338758966531418968083575443166672293336618917201*c_1010_\ 8^23 + 176286642345891663555565397744343278461159231814933859929904\ 5880960621030757341903567441721309526/63577447043842016852987153249\ 3909165171042338758966531418968083575443166672293336618917201*c_101\ 0_8^22 + 3834747758932041061171694545183336777835281205791581494213\ 559385917139533125183095899835471097258/635774470438420168529871532\ 493909165171042338758966531418968083575443166672293336618917201*c_1\ 010_8^21 + 77888164939563539807869836109602093838483114506553524446\ 13895402878818388113680140007723379265923/6357744704384201685298715\ 32493909165171042338758966531418968083575443166672293336618917201*c\ _1010_8^20 + 301821984917731877960924655139810893646771079687364868\ 59510186760797820605723496945634010376438951/1271548940876840337059\ 7430649878183303420846775179330628379361671508863333445866732378344\ 02*c_1010_8^19 + 26937345995457061029797220865204165633710471430600\ 624430289648889871323595301685453234180211638302/635774470438420168\ 5298715324939091651710423387589665314189680835754431666722933366189\ 17201*c_1010_8^18 + 43340551441530452885487349354047978925691345602\ 987489192983585085348283341024902257620406166709688/635774470438420\ 1685298715324939091651710423387589665314189680835754431666722933366\ 18917201*c_1010_8^17 + 12876333660315173227504055045005349601180575\ 7982786458890833172527842249337964663517864573010530335/12715489408\ 7684033705974306498781833034208467751793306283793616715088633334458\ 6673237834402*c_1010_8^16 + 180773492458926963797534091387266474687\ 567769903040583961912546144046174665649670719215925360980963/127154\ 8940876840337059743064987818330342084677517933062837936167150886333\ 344586673237834402*c_1010_8^15 + 2365954274524922351062767096389143\ 33736508245620579399227834086600606746392152130669733989875102785/1\ 2715489408768403370597430649878183303420846775179330628379361671508\ 86333344586673237834402*c_1010_8^14 + 1414326025089466618193928757910480799573721965020129826180072073137\ 93731969809364123509763246032806/6357744704384201685298715324939091\ 65171042338758966531418968083575443166672293336618917201*c_1010_8^1\ 3 + 154986168432862746061145291794722098023717584816219135972250403\ 758775913529207034640904915350753076/635774470438420168529871532493\ 909165171042338758966531418968083575443166672293336618917201*c_1010\ _8^12 + 15780692433862477836136906452921871525359221303714875605583\ 5726619778360389394088453738612195661814/63577447043842016852987153\ 2493909165171042338758966531418968083575443166672293336618917201*c_\ 1010_8^11 + 1488807153422349227407709917590584080426405406555876874\ 94330935953480152987711687002682244779387021/6357744704384201685298\ 7153249390916517104233875896653141896808357544316667229333661891720\ 1*c_1010_8^10 + 253355132121993450220586567312647558637661138558341\ 222779678843527662689849540922973827285000028955/127154894087684033\ 7059743064987818330342084677517933062837936167150886333344586673237\ 834402*c_1010_8^9 + 18637493246461324210220918297370402544599712431\ 0352466502905264826273697366779137949702011567961671/12715489408768\ 4033705974306498781833034208467751793306283793616715088633334458667\ 3237834402*c_1010_8^8 + 1129296363704165865573265419405744991745652\ 60506450659578321122162262508371257882447309120016693063/1271548940\ 8768403370597430649878183303420846775179330628379361671508863333445\ 86673237834402*c_1010_8^7 + 267274067210388022292375396058269100163\ 46411425075751740621456883978319641363090055299257152349798/6357744\ 7043842016852987153249390916517104233875896653141896808357544316667\ 2293336618917201*c_1010_8^6 + 1856476186605092092869101021010206205\ 4304884844400453059399297715012028321204537916124962890896839/12715\ 4894087684033705974306498781833034208467751793306283793616715088633\ 3344586673237834402*c_1010_8^5 + 2177793846513603508919332424769068\ 643272785226777173932803510740041612369257078501257634240589603/635\ 7744704384201685298715324939091651710423387589665314189680835754431\ 66672293336618917201*c_1010_8^4 + 614382371419405096355733430962928\ 444564517100352837278290443082724325693175264042879547423978263/127\ 1548940876840337059743064987818330342084677517933062837936167150886\ 333344586673237834402*c_1010_8^3 + 4502006089716509652241250774251014952006713196643755919081322833452\ 4696554772565671867620379529/12715489408768403370597430649878183303\ 42084677517933062837936167150886333344586673237834402*c_1010_8^2 + 1859049292915006003446117281305224037572339476156948942779977258934\ 073131197449821431402927627/127154894087684033705974306498781833034\ 2084677517933062837936167150886333344586673237834402*c_1010_8 + 2929546535183419851090863596542217189277118184524299101415922385676\ 1983186038503120371934825/12715489408768403370597430649878183303420\ 84677517933062837936167150886333344586673237834402, c_0101_0 - 146833296155956478916471830215285968686841847532422204638901\ 236036100902070941007628251683345/127154894087684033705974306498781\ 8330342084677517933062837936167150886333344586673237834402*c_1010_8\ ^29 - 1864304523430691480346608676362905301293055923033667482265741\ 216349088727037819660977745358643/127154894087684033705974306498781\ 8330342084677517933062837936167150886333344586673237834402*c_1010_8\ ^28 - 1074794678487826572269241257239747832561673330684360767246319\ 6987313643440724519319937157278977/12715489408768403370597430649878\ 18330342084677517933062837936167150886333344586673237834402*c_1010_\ 8^27 - 193285510136373346859481317870659718877972211725671456842563\ 04809301956532289895919836509907340/6357744704384201685298715324939\ 09165171042338758966531418968083575443166672293336618917201*c_1010_\ 8^26 - 206038111063772184471786854078986402650388985549856452558877\ 445337897942924233590557779004172947/254309788175368067411948612997\ 5636660684169355035866125675872334301772666689173346475668804*c_101\ 0_8^25 - 5191030719951817443515717457740441990168903138991046803940\ 76837851845155252997909700326556712009/2543097881753680674119486129\ 975636660684169355035866125675872334301772666689173346475668804*c_1\ 010_8^24 - 67755428065193847544207567826555390628248238178858206684\ 7006408651790762782528470572217929541009/12715489408768403370597430\ 64987818330342084677517933062837936167150886333344586673237834402*c\ _1010_8^23 - 329844475537578272133845671331935883375634575104106177\ 9416926930291182406266480249761424087874427/25430978817536806741194\ 8612997563666068416935503586612567587233430177266668917334647566880\ 4*c_1010_8^22 - 143449259523966111170313630260702037219395342486034\ 62046106846260622149482977640540247031764988577/5086195763507361348\ 2389722599512733213683387100717322513517446686035453333783466929513\ 37608*c_1010_8^21 - 29131910526782484819441875945561449398392692015\ 280652312078573354608067551291940019691482371015835/508619576350736\ 1348238972259951273321368338710071732251351744668603545333378346692\ 951337608*c_1010_8^20 - 5643758434284988305057912361179808613282698\ 5914002729169605759570311691289419608807180384933217545/50861957635\ 0736134823897225995127332136833871007173225135174466860354533337834\ 6692951337608*c_1010_8^19 - 100709562440692202140122974994421495033\ 229536815015269714381143543089902015955339443509464387499489/508619\ 5763507361348238972259951273321368338710071732251351744668603545333\ 378346692951337608*c_1010_8^18 - 8098899286109664728743195071432770\ 5732150348264014151917567608598662306630724314993632364631609477/25\ 4309788175368067411948612997563666068416935503586612567587233430177\ 2666689173346475668804*c_1010_8^17 - 2405697896679164859820138692876698292254534475915556532880231205079\ 72723749693093608323938786752619/5086195763507361348238972259951273\ 321368338710071732251351744668603545333378346692951337608*c_1010_8^\ 16 - 16885029248301887372801558875691721131037188916483526684384878\ 2854263932892310377271667222832597331/25430978817536806741194861299\ 75636660684169355035866125675872334301772666689173346475668804*c_10\ 10_8^15 - 441870633472256532235149564896798325181338546587205025452\ 319340096363970395907199868138419245230755/508619576350736134823897\ 2259951273321368338710071732251351744668603545333378346692951337608\ *c_1010_8^14 - 1320306248573330251920683027095443667683145719281243\ 57546202681941485374045663281528673195388128755/1271548940876840337\ 0597430649878183303420846775179330628379361671508863333445866732378\ 34402*c_1010_8^13 - 72327034076355362486114641588943172911372160537\ 359535771431706474975367858302550371285851613571162/635774470438420\ 1685298715324939091651710423387589665314189680835754431666722933366\ 18917201*c_1010_8^12 - 58907607979861834651537456709804807515869413\ 1560548077791611896188905408157316212379644785104783799/50861957635\ 0736134823897225995127332136833871007173225135174466860354533337834\ 6692951337608*c_1010_8^11 - 277827707078204684801410356111911750804\ 640689559874839778920979206330264924046440696093500857509825/254309\ 7881753680674119486129975636660684169355035866125675872334301772666\ 689173346475668804*c_1010_8^10 - 4726490967534627796065272206910603\ 36474127238291029601503904999617647072977588225528357045746653855/5\ 0861957635073613482389722599512733213683387100717322513517446686035\ 45333378346692951337608*c_1010_8^9 - 4344679591022793221417272641930446975645478693528261867263687108611\ 1967424681675153510483460106874/63577447043842016852987153249390916\ 5171042338758966531418968083575443166672293336618917201*c_1010_8^8 - 5264082769939812515859259636523710956518940827370647449751302560757\ 0030133451616771138513641089281/12715489408768403370597430649878183\ 30342084677517933062837936167150886333344586673237834402*c_1010_8^7 - 99708226879855903432952652676029414148696502288940829975436676529\ 078536535036520938920190196843993/508619576350736134823897225995127\ 3321368338710071732251351744668603545333378346692951337608*c_1010_8\ ^6 - 43373849063042558730150052249018076877937689009855970407613929\ 57788262212077670273432646258739120/6357744704384201685298715324939\ 09165171042338758966531418968083575443166672293336618917201*c_1010_\ 8^5 - 2048506143628213237951627738846511693799217613992861441346912\ 059579933954677796869987684844449697/127154894087684033705974306498\ 7818330342084677517933062837936167150886333344586673237834402*c_101\ 0_8^4 - 11777692974052085140748231685960836872552633253631432621629\ 46689165018258291172786060804039649193/5086195763507361348238972259\ 951273321368338710071732251351744668603545333378346692951337608*c_1\ 010_8^3 - 906772594924041875667746888873784381327896835400939329047\ 33595127662000007442172461958268901699/5086195763507361348238972259\ 951273321368338710071732251351744668603545333378346692951337608*c_1\ 010_8^2 - 492976793373629041787471201580684551048073066284444803801\ 757080771993070653181128268956711621/635774470438420168529871532493\ 909165171042338758966531418968083575443166672293336618917201*c_1010\ _8 - 67780400984483824641393339162688744015515639354863729518851327\ 845038279949002007301970099071/508619576350736134823897225995127332\ 1368338710071732251351744668603545333378346692951337608, c_0101_1 - 235676240545442496061553803231149727806751113230560719383499\ 652004535674552295916517085215257/127154894087684033705974306498781\ 8330342084677517933062837936167150886333344586673237834402*c_1010_8\ ^29 - 2992340533745616447393715551533908043365098737363481734349447\ 215040892822216520960786542790015/127154894087684033705974306498781\ 8330342084677517933062837936167150886333344586673237834402*c_1010_8\ ^28 - 1725081286291643303371531861134625572167451220943272293735326\ 2157096742369059541489694999957209/12715489408768403370597430649878\ 18330342084677517933062837936167150886333344586673237834402*c_1010_\ 8^27 - 310204854414888649901434222339547598029109803101074952929715\ 36941165875492670371864398086242364/6357744704384201685298715324939\ 09165171042338758966531418968083575443166672293336618917201*c_1010_\ 8^26 - 330621784207773669923127724537940200556858057320130408924787\ 623370637571477907977926180009873323/254309788175368067411948612997\ 5636660684169355035866125675872334301772666689173346475668804*c_101\ 0_8^25 - 8328713682814256265509085372861861755650293778711904270922\ 09263509332115946631624192240507324829/2543097881753680674119486129\ 975636660684169355035866125675872334301772666689173346475668804*c_1\ 010_8^24 - 10870763837720552957703884754297375260062854062871218457\ 43160920631228744211862634307026800987345/1271548940876840337059743\ 064987818330342084677517933062837936167150886333344586673237834402*\ c_1010_8^23 - 52920419791612733296949257510071068242621944514397607\ 94757995494733010946904000648399383146203215/2543097881753680674119\ 4861299756366606841693550358661256758723343017726666891733464756688\ 04*c_1010_8^22 - 23013148766301930634189590538302709693862074230415\ 934580401148074064797488898094058122932841806713/508619576350736134\ 8238972259951273321368338710071732251351744668603545333378346692951\ 337608*c_1010_8^21 - 4673013939863750148901281526619758491251752398\ 0147745373265826472987471443338964664708689590882575/50861957635073\ 6134823897225995127332136833871007173225135174466860354533337834669\ 2951337608*c_1010_8^20 - 905233598844971727639666157891979121723830\ 69169086419594087376908502698445122502354450274891951689/5086195763\ 5073613482389722599512733213683387100717322513517446686035453333783\ 46692951337608*c_1010_8^19 - 16151825379054571459928360728552931487\ 4650053139712741277174006774450637207665976523789635469256601/50861\ 9576350736134823897225995127332136833871007173225135174466860354533\ 3378346692951337608*c_1010_8^18 - 129868526171756949585586279325744\ 801523381092983816129152733288771917770538453435308066901298285851/\ 2543097881753680674119486129975636660684169355035866125675872334301\ 772666689173346475668804*c_1010_8^17 - 3856807851049159026309355966897189489044462672261915496364905609020\ 44360994493900343741802543239727/5086195763507361348238972259951273\ 321368338710071732251351744668603545333378346692951337608*c_1010_8^\ 16 - 27065205923285447701109565331266192446185898871220404297225363\ 0878597572003970542595487304635995437/25430978817536806741194861299\ 75636660684169355035866125675872334301772666689173346475668804*c_10\ 10_8^15 - 708154056753059329706505825093388363261304748048555395872\ 755259812942705883302856490047744887029227/508619576350736134823897\ 2259951273321368338710071732251351744668603545333378346692951337608\ *c_1010_8^14 - 2115389918065632089668175468797308552119011324390885\ 32499014676248804188787706871586162053311189725/1271548940876840337\ 0597430649878183303420846775179330628379361671508863333445866732378\ 34402*c_1010_8^13 - 11584019809668449220804251686415769198490004566\ 9561227534271403594389954305666686680733178851387170/63577447043842\ 0168529871532493909165171042338758966531418968083575443166672293336\ 618917201*c_1010_8^12 - 9431216318304296231281516685462414510119048\ 26744582344612092256547962457074404433785727753074654383/5086195763\ 5073613482389722599512733213683387100717322513517446686035453333783\ 46692951337608*c_1010_8^11 - 44463421970596807453746027731904905129\ 2140095149805837898937665553960649153842278926336448797272247/25430\ 9788175368067411948612997563666068416935503586612567587233430177266\ 6689173346475668804*c_1010_8^10 - 756004238226439830833596503844536\ 150687372706359042890273765496550531103454589624409981780378982875/\ 5086195763507361348238972259951273321368338710071732251351744668603\ 545333378346692951337608*c_1010_8^9 - 1388517701963368302561097249400231308171034848473837198145481150991\ 92364224238475291483590229165851/1271548940876840337059743064987818\ 330342084677517933062837936167150886333344586673237834402*c_1010_8^\ 8 - 839696778766180007353792861754005859623631940798023109893046113\ 65635642292969641693592057695321593/1271548940876840337059743064987\ 818330342084677517933062837936167150886333344586673237834402*c_1010\ _8^7 - 158532061775037283210061015975324205059432462163885801666030\ 931123452934810400322514164119350365469/508619576350736134823897225\ 9951273321368338710071732251351744668603545333378346692951337608*c_\ 1010_8^6 - 68528898570090728961390324220840611416164521310587967544\ 21611838978002568190594751624757770714041/6357744704384201685298715\ 32493909165171042338758966531418968083575443166672293336618917201*c\ _1010_8^5 - 1597071637053109580492167611165160500455708082369262667\ 011720622858033541846791256318798338655864/635774470438420168529871\ 532493909165171042338758966531418968083575443166672293336618917201*\ c_1010_8^4 - 178193804067088171360557602255438113675795586580464140\ 3518019249094026769769485920712398029024501/50861957635073613482389\ 7225995127332136833871007173225135174466860354533337834669295133760\ 8*c_1010_8^3 - 1279797874942512950124392324972425087985365985042445\ 53013271371830984788258777027069869609719575/5086195763507361348238\ 9722599512733213683387100717322513517446686035453333783466929513376\ 08*c_1010_8^2 - 130085293892220675754918266495960802084973710807769\ 4013505015910309428183875456950580166245955/12715489408768403370597\ 4306498781833034208467751793306283793616715088633334458667323783440\ 2*c_1010_8 - 792713308002253667909504164654416517085109657197755873\ 87946534725792912692262448401909403767/5086195763507361348238972259\ 951273321368338710071732251351744668603545333378346692951337608, c_0101_10 - 30327791685970136927644670868231380740814549473206652645733\ 9278063073374730005146800800038297/12715489408768403370597430649878\ 18330342084677517933062837936167150886333344586673237834402*c_1010_\ 8^29 - 385186340220765897880947728698233378944616282709751006824226\ 8124534755947343155729291268441683/12715489408768403370597430649878\ 18330342084677517933062837936167150886333344586673237834402*c_1010_\ 8^28 - 222124174856763894328557716327235772867876130499146714755300\ 94725878032946138045333222854568297/1271548940876840337059743064987\ 818330342084677517933062837936167150886333344586673237834402*c_1010\ _8^27 - 39951364745405282067190150638584880459331431323058444138821\ 764199315913320291248431713930384152/635774470438420168529871532493\ 909165171042338758966531418968083575443166672293336618917201*c_1010\ _8^26 - 42585544268373332569772726950189304981623308582434298096866\ 5698141479404445828553579415839960443/25430978817536806741194861299\ 75636660684169355035866125675872334301772666689173346475668804*c_10\ 10_8^25 - 107267804256720761207573451406673796662914430727138606861\ 2402664267080996776379460759683885398169/25430978817536806741194861\ 29975636660684169355035866125675872334301772666689173346475668804*c\ _1010_8^24 - 140004012125636182053156261510373225366930984821414398\ 6236686847435010417792762323183753462457409/12715489408768403370597\ 4306498781833034208467751793306283793616715088633334458667323783440\ 2*c_1010_8^23 - 681616122125728152688707029567928564509003100373386\ 9813185858492683694740969180118449787860957795/25430978817536806741\ 1948612997563666068416935503586612567587233430177266668917334647566\ 8804*c_1010_8^22 - 296421894605259406770516443267467933000293803230\ 20286835888164444437768852730787072464784865873561/5086195763507361\ 3482389722599512733213683387100717322513517446686035453333783466929\ 51337608*c_1010_8^21 - 60189894118777222063099527203245307133076531\ 845921316305905702607464462930990074270718297757112939/508619576350\ 7361348238972259951273321368338710071732251351744668603545333378346\ 692951337608*c_1010_8^20 - 1165973991964660485806292960292590382986\ 28635339408818306914984161598971602936050837887876543028673/5086195\ 7635073613482389722599512733213683387100717322513517446686035453333\ 78346692951337608*c_1010_8^19 - 20804960548029788753001331583353190\ 9094265915393569341498451933483625904387958508466479147017919441/50\ 8619576350736134823897225995127332136833871007173225135174466860354\ 5333378346692951337608*c_1010_8^18 - 1672833076380936282427515793695428756581388145239348025548401827347\ 53352858335846233916312902756861/2543097881753680674119486129975636\ 660684169355035866125675872334301772666689173346475668804*c_1010_8^\ 17 - 49677391944333594704593779848494312898116831622950271920786588\ 5167484873680945017353516043634063715/50861957635073613482389722599\ 51273321368338710071732251351744668603545333378346692951337608*c_10\ 10_8^16 - 348602057111780434228397253596631841520695236272471415474\ 070077362887749600377721278787746982151695/254309788175368067411948\ 6129975636660684169355035866125675872334301772666689173346475668804\ *c_1010_8^15 - 9121049176803188517544886566559632795836101872907028\ 36004791285117611242960595164101309742626062003/5086195763507361348\ 2389722599512733213683387100717322513517446686035453333783466929513\ 37608*c_1010_8^14 - 27245287257937716440887775463970480839552659805\ 6643428832770937340929987431591298416788870218964967/12715489408768\ 4033705974306498781833034208467751793306283793616715088633334458667\ 3237834402*c_1010_8^13 - 149184446497932170218688039362871378408733\ 542933962730338435914498593954617256620923119156597707902/635774470\ 4384201685298715324939091651710423387589665314189680835754431666722\ 93336618917201*c_1010_8^12 - 12144857952198294954471993240887890185\ 38929904971284251338002950282857467127960015344871017186960415/5086\ 1957635073613482389722599512733213683387100717322513517446686035453\ 33378346692951337608*c_1010_8^11 - 5725207337136557202723193117259353089662117737259515061675912637081\ 30825744236148239310665666882337/2543097881753680674119486129975636\ 660684169355035866125675872334301772666689173346475668804*c_1010_8^\ 10 - 97332802795660927281887170096255163360229302988246341923924210\ 3805409044511455681451235073231348199/50861957635073613482389722599\ 51273321368338710071732251351744668603545333378346692951337608*c_10\ 10_8^9 - 8936105931516292794892961746316290604430626984612607590726\ 3054789374974540997158303373530184992305/63577447043842016852987153\ 2493909165171042338758966531418968083575443166672293336618917201*c_\ 1010_8^8 - 10802551204292665086109784445008698812025711010479408514\ 0501022482671078885033754577661444357534743/12715489408768403370597\ 4306498781833034208467751793306283793616715088633334458667323783440\ 2*c_1010_8^7 - 2037379762323145524247920399737054120157406738289551\ 64755649500286948128718679740176290789546857297/5086195763507361348\ 2389722599512733213683387100717322513517446686035453333783466929513\ 37608*c_1010_8^6 - 878848494196390473630116437303500659479077483644\ 8560125441405889899453563854320552696056883343593/63577447043842016\ 8529871532493909165171042338758966531418968083575443166672293336618\ 917201*c_1010_8^5 - 40777701789577504727309319770069664380933399362\ 16272970200500958000961789348019902746186522741493/1271548940876840\ 3370597430649878183303420846775179330628379361671508863333445866732\ 37834402*c_1010_8^4 - 225036967651966386144285402802163746849755374\ 9495787238779976854305794178378139965879014616753641/50861957635073\ 6134823897225995127332136833871007173225135174466860354533337834669\ 2951337608*c_1010_8^3 - 1570115253084928892310172300318238173868455\ 56418201421371321475992803152345054882562601404200899/5086195763507\ 3613482389722599512733213683387100717322513517446686035453333783466\ 92951337608*c_1010_8^2 - 758905703136383491843190250224994437533833\ 738436027678287303351126777383423744372668838873473/635774470438420\ 1685298715324939091651710423387589665314189680835754431666722933366\ 18917201*c_1010_8 - 84197014739221998222613684860167144498270668061\ 497772265029666524977934833922019682293313535/508619576350736134823\ 8972259951273321368338710071732251351744668603545333378346692951337\ 608, c_0101_12 + 26777526996174311484899015915511940278112847206320838496274\ 6661104125111488662885709145507421/63577447043842016852987153249390\ 9165171042338758966531418968083575443166672293336618917201*c_1010_8\ ^29 + 3403114926825213303412704712776448014146556902440839514719754\ 443203750279302873670203742686295/635774470438420168529871532493909\ 165171042338758966531418968083575443166672293336618917201*c_1010_8^\ 28 + 19638876665412470166041910722522734177033930628867466085183493\ 636814703866606855288981912844859/635774470438420168529871532493909\ 165171042338758966531418968083575443166672293336618917201*c_1010_8^\ 27 + 70697786695523353094489079294915659298174503798167116979075698\ 399264036797678703572292907094900/635774470438420168529871532493909\ 165171042338758966531418968083575443166672293336618917201*c_1010_8^\ 26 + 37703089476231077493929051857465893365190314156654523820035448\ 2802487777098714637668760238492383/12715489408768403370597430649878\ 18330342084677517933062837936167150886333344586673237834402*c_1010_\ 8^25 + 949741847147215805760619464432397104594540294764327220256916\ 325506088406008841101725955628597981/127154894087684033705974306498\ 7818330342084677517933062837936167150886333344586673237834402*c_101\ 0_8^24 + 1239442120050279101756307573273465601375683186072831970492\ 935512338765294001642357402945534002022/635774470438420168529871532\ 493909165171042338758966531418968083575443166672293336618917201*c_1\ 010_8^23 + 60355686190059730306058707717534247784824696474874928695\ 44118221187689412896964311916182119869331/1271548940876840337059743\ 064987818330342084677517933062837936167150886333344586673237834402*\ c_1010_8^22 + 26255575911600433792330681330917201688872189206740591\ 759320957060265912278582456961381923872284489/254309788175368067411\ 9486129975636660684169355035866125675872334301772666689173346475668\ 804*c_1010_8^21 + 5332157995842037875648410270466424331403908292690\ 9849647425146541135049232854633950424994452549799/25430978817536806\ 7411948612997563666068416935503586612567587233430177266668917334647\ 5668804*c_1010_8^20 + 103304659382674377838664204384444076446137654\ 382377633841735556463613728959694778307178742643674519/254309788175\ 3680674119486129975636660684169355035866125675872334301772666689173\ 346475668804*c_1010_8^19 + 1843795243936401493913644408581487069118\ 83835558741149373756486662605325405454900357012024672651525/2543097\ 8817536806741194861299756366606841693550358661256758723343017726666\ 89173346475668804*c_1010_8^18 + 14830080688351078953978484005802463\ 4344924822412661027774808496161763841521977131617375426956595675/12\ 7154894087684033705974306498781833034208467751793306283793616715088\ 6333344586673237834402*c_1010_8^17 + 4405029478925974287215321236258671931629462564423039731494464171596\ 62138988873362703386701680068605/2543097881753680674119486129975636\ 660684169355035866125675872334301772666689173346475668804*c_1010_8^\ 16 + 15458242832398543206915644272666975866948640843105882309552555\ 8190029386792425601053486517305865953/63577447043842016852987153249\ 3909165171042338758966531418968083575443166672293336618917201*c_101\ 0_8^15 + 8091279811249812758034191221104453673702749622086865546649\ 59898036039705889555494064833221110046733/2543097881753680674119486\ 129975636660684169355035866125675872334301772666689173346475668804*\ c_1010_8^14 + 24177521346212066213795153361655741549713379441859829\ 3183441915870402745525422240477130024569831795/63577447043842016852\ 9871532493909165171042338758966531418968083575443166672293336618917\ 201*c_1010_8^13 + 2648523653198810967063115511431268368521578027979\ 10460830731216034123447890580383443199132758737613/6357744704384201\ 6852987153249390916517104233875896653141896808357544316667229333661\ 8917201*c_1010_8^12 + 107832218825668114403891557088278334829498492\ 7983183883654696686107798978887674892227462306357390171/25430978817\ 5368067411948612997563666068416935503586612567587233430177266668917\ 3346475668804*c_1010_8^11 + 508481831884635839376048320788014208395\ 807968068050408077078491541926523808158705630637085406174131/127154\ 8940876840337059743064987818330342084677517933062837936167150886333\ 344586673237834402*c_1010_8^10 + 8648467236550441108949677238793196\ 63104725895467311726485793092001728419169702127807977091162742089/2\ 5430978817536806741194861299756366606841693550358661256758723343017\ 72666689173346475668804*c_1010_8^9 + 3178147998629843115816078676696573234075364412833107392092121919466\ 22510019710409458846320626699311/1271548940876840337059743064987818\ 330342084677517933062837936167150886333344586673237834402*c_1010_8^\ 8 + 192266187358742469266728443875738670664135549635264749729960949\ 669898597273904517863244835897502599/127154894087684033705974306498\ 7818330342084677517933062837936167150886333344586673237834402*c_101\ 0_8^7 + 18150135743519366765354898022562249260268680009256956975629\ 9195006496216323097903517177426953569173/25430978817536806741194861\ 29975636660684169355035866125675872334301772666689173346475668804*c\ _1010_8^6 + 3135193554646734604828459037332207354279622315979392827\ 7941682004744268968514577204905570400029255/12715489408768403370597\ 4306498781833034208467751793306283793616715088633334458667323783440\ 2*c_1010_8^5 + 3639196287603117645482018579265471768977286601554188\ 664768767573836726996513107515523224724704109/635774470438420168529\ 8715324939091651710423387589665314189680835754431666722933366189172\ 01*c_1010_8^4 + 200568638962061942073971340802958347591828892923817\ 0515282265880735271993000003476665254412817175/25430978817536806741\ 1948612997563666068416935503586612567587233430177266668917334647566\ 8804*c_1010_8^3 + 1390261210832242996590808722411617186028828938079\ 24969196713299558617555171946525908760321571181/2543097881753680674\ 1194861299756366606841693550358661256758723343017726666891733464756\ 68804*c_1010_8^2 + 270008764363745383368136389251437312883312473178\ 3713029768532884948559890279001422512489961965/12715489408768403370\ 5974306498781833034208467751793306283793616715088633334458667323783\ 4402*c_1010_8 + 751331268918811765747923048927945926868636424455324\ 85071704799441393339634846967976127221469/2543097881753680674119486\ 129975636660684169355035866125675872334301772666689173346475668804, c_0101_3 - 307705818596134820037544268658118447475623560845359888450539\ 96307329212663150445052864040465/1271548940876840337059743064987818\ 330342084677517933062837936167150886333344586673237834402*c_1010_8^\ 29 - 39108641040819634506580030354309327907036657926190471440477752\ 8803562561974298041648551239683/12715489408768403370597430649878183\ 30342084677517933062837936167150886333344586673237834402*c_1010_8^2\ 8 - 225713457236602422945497816060855046069456008396389503866729581\ 9297052307442147976888030944773/12715489408768403370597430649878183\ 30342084677517933062837936167150886333344586673237834402*c_1010_8^2\ 7 - 406328239340403975013793557668113051737576038941777082132303698\ 0277907625452930990800407306940/63577447043842016852987153249390916\ 5171042338758966531418968083575443166672293336618917201*c_1010_8^26 - 43345850057612499583576262377832510082936032287623212913579832069\ 849653360631255335155322793059/254309788175368067411948612997563666\ 0684169355035866125675872334301772666689173346475668804*c_1010_8^25 - 10919648893319339269063565053150652311751313179174238596812378320\ 3753175170300104423876494273833/25430978817536806741194861299756366\ 60684169355035866125675872334301772666689173346475668804*c_1010_8^2\ 4 - 142502992383922372137168162947211296041931661391819181563874567\ 358218163103800445572848195084671/127154894087684033705974306498781\ 8330342084677517933062837936167150886333344586673237834402*c_1010_8\ ^23 - 6939504758015588846182489544176677006479769093605431715790939\ 89524197866250808975128453606828235/2543097881753680674119486129975\ 636660684169355035866125675872334301772666689173346475668804*c_1010\ _8^22 - 30190369348572370735016610808594101627767041140142041497069\ 65492283224642103796882120104124521129/5086195763507361348238972259\ 951273321368338710071732251351744668603545333378346692951337608*c_1\ 010_8^21 - 61317251059765951903934027401116099769245461407510381798\ 69764250475253286209107621428946569582059/5086195763507361348238972\ 259951273321368338710071732251351744668603545333378346692951337608*\ c_1010_8^20 - 11880154627410249131411397602103328629108277096986529\ 114028193303909112825857032835677295069881925/508619576350736134823\ 8972259951273321368338710071732251351744668603545333378346692951337\ 608*c_1010_8^19 - 2120553556506238056189556145879066615537252349197\ 4272841493270490942845382726219446740436186696025/50861957635073613\ 4823897225995127332136833871007173225135174466860354533337834669295\ 1337608*c_1010_8^18 - 170582439365250976497245539080371310046589479\ 47544467987620632749641825298717768062058863178553985/2543097881753\ 6806741194861299756366606841693550358661256758723343017726666891733\ 46475668804*c_1010_8^17 - 50675103488613593796042331159108218520222\ 921645978972553975776398515396677213540517197921527391695/508619576\ 3507361348238972259951273321368338710071732251351744668603545333378\ 346692951337608*c_1010_8^16 - 3556958450885424754285917027228821921\ 2385851377822053361012325657289292959777521065867188971358097/25430\ 9788175368067411948612997563666068416935503586612567587233430177266\ 6689173346475668804*c_1010_8^15 - 931011380966085574029930190815217\ 69844757502973457225608387036443245834071625844574183580724496111/5\ 0861957635073613482389722599512733213683387100717322513517446686035\ 45333378346692951337608*c_1010_8^14 - 2782420402554181670452226668040176937245390071332978911639614145725\ 1117215557058268883011570682607/12715489408768403370597430649878183\ 30342084677517933062837936167150886333344586673237834402*c_1010_8^1\ 3 - 152430474540724690033648287079115872079903141574607693541007975\ 44759653106135564513618557077405724/6357744704384201685298715324939\ 09165171042338758966531418968083575443166672293336618917201*c_1010_\ 8^12 - 124145184723002779194252444501284135681724380391032465960366\ 333812822065236236566227117981793269519/508619576350736134823897225\ 9951273321368338710071732251351744668603545333378346692951337608*c_\ 1010_8^11 - 5855259427864479598604108233914866414552240563886942580\ 9620691391469763604158643460199091678436273/25430978817536806741194\ 8612997563666068416935503586612567587233430177266668917334647566880\ 4*c_1010_8^10 - 996187910223658935817913091151870891419018430858501\ 60291211431452111565504025898340180904459568123/5086195763507361348\ 2389722599512733213683387100717322513517446686035453333783466929513\ 37608*c_1010_8^9 - 183133029829605110826789989804212959882493524088\ 16522905538081977287624810234577563080997886041449/1271548940876840\ 3370597430649878183303420846775179330628379361671508863333445866732\ 37834402*c_1010_8^8 - 554421658580804674506038085476455225366199348\ 8724312890480249732924381640491195605540685921190500/63577447043842\ 0168529871532493909165171042338758966531418968083575443166672293336\ 618917201*c_1010_8^7 - 20966414880302254053922488708436012697202734\ 555651830728653131460562800063443694294072115476284449/508619576350\ 7361348238972259951273321368338710071732251351744668603545333378346\ 692951337608*c_1010_8^6 - 18157298916440428974130741247305525403416\ 16183353750121454988160849815451526902493839172414224199/1271548940\ 8768403370597430649878183303420846775179330628379361671508863333445\ 86673237834402*c_1010_8^5 - 423784727759022959612632832306344397193\ 059197480112129783282075117882849754828958198286181757193/127154894\ 0876840337059743064987818330342084677517933062837936167150886333344\ 586673237834402*c_1010_8^4 - 23640910321529176478912852898894979856\ 1621192270722084028233806894132185277183782546024036613645/50861957\ 6350736134823897225995127332136833871007173225135174466860354533337\ 8346692951337608*c_1010_8^3 - 1692066790926921739301676891928390872\ 3288732343523689908217589497273745962182456915251308205623/50861957\ 6350736134823897225995127332136833871007173225135174466860354533337\ 8346692951337608*c_1010_8^2 - 1746802683935412565095314529765030897\ 22708035754876927470556340400214171621875575744848783203/1271548940\ 8768403370597430649878183303420846775179330628379361671508863333445\ 86673237834402*c_1010_8 - 46621320327904097411905389710072516802254\ 83890218594078040806035409283521546728425504784555/5086195763507361\ 3482389722599512733213683387100717322513517446686035453333783466929\ 51337608, c_0110_5 - 105439026900970229538067993050096079211417165022119524963460\ 251241807504129296033416369164993/635774470438420168529871532493909\ 165171042338758966531418968083575443166672293336618917201*c_1010_8^\ 29 - 13392925782191044787038636673414060466967011442002902929919079\ 08312471824264808688043538121591/6357744704384201685298715324939091\ 65171042338758966531418968083575443166672293336618917201*c_1010_8^2\ 8 - 772483220502516032078097996513161847058033345475053743700841109\ 5825727318074511599643794491461/63577447043842016852987153249390916\ 5171042338758966531418968083575443166672293336618917201*c_1010_8^27 - 27796954926477261141124710156510706956470349710327204862654635321\ 667309357035782792704931529044/635774470438420168529871532493909165\ 171042338758966531418968083575443166672293336618917201*c_1010_8^26 - 1482095780736729485141477171207476691315850176389107389611100027191\ 68247363381449017081362670475/1271548940876840337059743064987818330\ 342084677517933062837936167150886333344586673237834402*c_1010_8^25 - 3734041105786259137073262915412613066287130251704541823787685680648\ 86037787247808428361711999437/1271548940876840337059743064987818330\ 342084677517933062837936167150886333344586673237834402*c_1010_8^24 - 4873405305073064154986475116802073794089921047330229981582247541072\ 40024295367130342515735642707/6357744704384201685298715324939091651\ 71042338758966531418968083575443166672293336618917201*c_1010_8^23 - 2372784630539030755716569567665928607073448324253182359511316920530\ 848568405703933174709831620715/127154894087684033705974306498781833\ 0342084677517933062837936167150886333344586673237834402*c_1010_8^22 - 10321085337617417042852710257479912681134519607715981691094287072\ 423113010988793101552346061035393/254309788175368067411948612997563\ 6660684169355035866125675872334301772666689173346475668804*c_1010_8\ ^21 - 2096169114283831770839523142087562933704233515992513685426028\ 0046374472836445079234189431771770807/25430978817536806741194861299\ 75636660684169355035866125675872334301772666689173346475668804*c_10\ 10_8^20 - 406114676915621501999160006007267612396541046750410568090\ 32520969599882519107931847511545854271389/2543097881753680674119486\ 129975636660684169355035866125675872334301772666689173346475668804*\ c_1010_8^19 - 72479389254185439151467636534414604214950819721991953\ 260440229505138690694834578750899762092120469/254309788175368067411\ 9486129975636660684169355035866125675872334301772666689173346475668\ 804*c_1010_8^18 - 5829673742375439671471930405531870059444534626329\ 9733415943430219293148165620178384871003791374133/12715489408768403\ 3705974306498781833034208467751793306283793616715088633334458667323\ 7834402*c_1010_8^17 - 173179743184730841591026296517891088136381371\ 158982360642063025454527762524634631829198207543741543/254309788175\ 3680674119486129975636660684169355035866125675872334301772666689173\ 346475668804*c_1010_8^16 - 1215569403714354711555338248541788580255\ 25368384867457746019375897016103688595935327126016293360507/1271548\ 9408768403370597430649878183303420846775179330628379361671508863333\ 44586673237834402*c_1010_8^15 - 31814382918856078737270272056081128\ 5528283373436777521781373240017666630806217710110977241413814167/25\ 4309788175368067411948612997563666068416935503586612567587233430177\ 2666689173346475668804*c_1010_8^14 - 9507473706300213060933358018636541446001961421977239462311183863776\ 1865864663789284041361713945289/63577447043842016852987153249390916\ 5171042338758966531418968083575443166672293336618917201*c_1010_8^13 - 10417363676555666663449679183172763649276743262673815410962822743\ 1893104976202117046275141919142931/63577447043842016852987153249390\ 9165171042338758966531418968083575443166672293336618917201*c_1010_8\ ^12 - 4242449163608085543444805362541712418999567218467063303039573\ 93904926899728389819864280545166413747/2543097881753680674119486129\ 975636660684169355035866125675872334301772666689173346475668804*c_1\ 010_8^11 - 20010204515413411197300634639926055024963933643019540754\ 6183634340734768463773281899535099175446129/12715489408768403370597\ 4306498781833034208467751793306283793616715088633334458667323783440\ 2*c_1010_8^10 - 340461007630795969767976021455216495822445783866298\ 494597327347206558027474044497157217921148914763/254309788175368067\ 4119486129975636660684169355035866125675872334301772666689173346475\ 668804*c_1010_8^9 - 62599480767509795823338288340652734512374862993\ 708061719066094262393361457882093583535424073560470/635774470438420\ 1685298715324939091651710423387589665314189680835754431666722933366\ 18917201*c_1010_8^8 - 379236752289805644067935690503587866114782127\ 44696721564018615770244296739226203595123936795854974/6357744704384\ 2016852987153249390916517104233875896653141896808357544316667229333\ 6618917201*c_1010_8^7 - 7180565095114448871699398129137878710206313\ 0487978057708538972516127159181326319574504947863483865/25430978817\ 5368067411948612997563666068416935503586612567587233430177266668917\ 3346475668804*c_1010_8^6 - 6238581915956617481656985151403565878473\ 310922013673533358496538387936156247777836696162419393434/635774470\ 4384201685298715324939091651710423387589665314189680835754431666722\ 93336618917201*c_1010_8^5 - 146724045868481072174567681721653165656\ 2568225204111271415735233467979294148922308846840053529892/63577447\ 0438420168529871532493909165171042338758966531418968083575443166672\ 293336618917201*c_1010_8^4 - 83406174119086314775629464022608159295\ 5586630809831098965657194389322856619427764504302757314361/25430978\ 8175368067411948612997563666068416935503586612567587233430177266668\ 9173346475668804*c_1010_8^3 - 6237837914455429995500592300084866881\ 9872888596236474820525790864277071342165016376634243731179/25430978\ 8175368067411948612997563666068416935503586612567587233430177266668\ 9173346475668804*c_1010_8^2 - 6583817451995319512507908802288697266\ 59504574200257855649621186667783339932699782843966498400/6357744704\ 3842016852987153249390916517104233875896653141896808357544316667229\ 3336618917201*c_1010_8 - 431389689274290285773257571963231315420115\ 56739161097914506502632650001466092395589171697955/2543097881753680\ 6741194861299756366606841693550358661256758723343017726666891733464\ 75668804, c_0110_8 - 1, c_1001_5 - 241650942848713250980476126791639053017106949504421975915082\ 064112213826997431429363582400557/635774470438420168529871532493909\ 165171042338758966531418968083575443166672293336618917201*c_1010_8^\ 29 - 30719027492873115144162975655360495801992575973936297842432774\ 11948410817630003483180894625863/6357744704384201685298715324939091\ 65171042338758966531418968083575443166672293336618917201*c_1010_8^2\ 8 - 177326568457598530743800621201659085023615342822350807610930398\ 22685861830995672758611497179883/6357744704384201685298715324939091\ 65171042338758966531418968083575443166672293336618917201*c_1010_8^2\ 7 - 638546257592400917913864090224949174776359269850947663236662649\ 20769423933509698886030630632420/6357744704384201685298715324939091\ 65171042338758966531418968083575443166672293336618917201*c_1010_8^2\ 6 - 340623954916038951845735917116543611708522057269580848263396193\ 849997798676023306206364507696327/127154894087684033705974306498781\ 8330342084677517933062837936167150886333344586673237834402*c_1010_8\ ^25 - 8580639820426818945785526022425237223194553307726732434808136\ 28919329549045721366030216115367981/1271548940876840337059743064987\ 818330342084677517933062837936167150886333344586673237834402*c_1010\ _8^24 - 11197615323894747260639586365065926159404228003841725190208\ 49173975835158658501221864812091441570/6357744704384201685298715324\ 93909165171042338758966531418968083575443166672293336618917201*c_10\ 10_8^23 - 545323121901023747110312825591385538229856406014103833367\ 8120782536168686360758900284873284902123/12715489408768403370597430\ 64987818330342084677517933062837936167150886333344586673237834402*c\ _1010_8^22 - 237253184409137832741114573178144292926955499930273656\ 65343979476794984291419358684711491282808177/2543097881753680674119\ 4861299756366606841693550358661256758723343017726666891733464756688\ 04*c_1010_8^21 - 48186725702480222047146149064807025920819996210344\ 547115043629912241209192702042851058828779883111/254309788175368067\ 4119486129975636660684169355035866125675872334301772666689173346475\ 668804*c_1010_8^20 - 9336223550692001278913552567867978095786769622\ 2777215955525617255029820033107978094854528011668391/25430978817536\ 8067411948612997563666068416935503586612567587233430177266668917334\ 6475668804*c_1010_8^19 - 166653662860472880550503937599243215731582\ 711810601761147944719000137906176195885591782483730193693/254309788\ 1753680674119486129975636660684169355035866125675872334301772666689\ 173346475668804*c_1010_8^18 - 1340640021614195321078583770795556642\ 58699373365101695259853571541283956049420765852404476372432437/1271\ 5489408768403370597430649878183303420846775179330628379361671508863\ 33344586673237834402*c_1010_8^17 - 3982640512033839566914965456510770835185645379013700363109259315234\ 44323981054510084918690591334437/2543097881753680674119486129975636\ 660684169355035866125675872334301772666689173346475668804*c_1010_8^\ 16 - 13977341827625676295936273929218513343394470019577762885695908\ 7254025949277128832151505477687201386/63577447043842016852987153249\ 3909165171042338758966531418968083575443166672293336618917201*c_101\ 0_8^15 - 7317092316629383614929311699286313249368625119884871056602\ 33943267586143513750449728009165773815989/2543097881753680674119486\ 129975636660684169355035866125675872334301772666689173346475668804*\ c_1010_8^14 - 21868024973801196366227223059484995371694026528228663\ 3722677783811015459419785498777785660233236403/63577447043842016852\ 9871532493909165171042338758966531418968083575443166672293336618917\ 201*c_1010_8^13 - 2395966106216117317768121277085626860939883129152\ 36129072643646312818516026521998063534281308244404/6357744704384201\ 6852987153249390916517104233875896653141896808357544316667229333661\ 8917201*c_1010_8^12 - 975659535352485132039952948523280050947834401\ 234139360815011641714109582467826766344890559864560399/254309788175\ 3680674119486129975636660684169355035866125675872334301772666689173\ 346475668804*c_1010_8^11 - 4601585186497811400991482149136583818278\ 89767248698769809858362856050480755059700607590788381613169/1271548\ 9408768403370597430649878183303420846775179330628379361671508863333\ 44586673237834402*c_1010_8^10 - 78287459134405095890130811734036649\ 8072671736965219197296686261761339882585430852869941806512651997/25\ 4309788175368067411948612997563666068416935503586612567587233430177\ 2666689173346475668804*c_1010_8^9 - 2878182960250269449525187841314963326044735488479734477336298283547\ 75728774227394466387339160978601/1271548940876840337059743064987818\ 330342084677517933062837936167150886333344586673237834402*c_1010_8^\ 8 - 174239731647509664854120638165222198604854840999631902828828911\ 144329412065023026584803082733054745/127154894087684033705974306498\ 7818330342084677517933062837936167150886333344586673237834402*c_101\ 0_8^7 - 16466474178627428460689367140411482200785377450690905651937\ 8017632511910682270256750494947942249565/25430978817536806741194861\ 29975636660684169355035866125675872334301772666689173346475668804*c\ _1010_8^6 - 2849593111829594039090009868887978825529224716477994720\ 6080594292634838268464554048341958783025387/12715489408768403370597\ 4306498781833034208467751793306283793616715088633334458667323783440\ 2*c_1010_8^5 - 3318891434455814735410088794495801017290232038606836\ 140210963408084892289996769140804504055173977/635774470438420168529\ 8715324939091651710423387589665314189680835754431666722933366189172\ 01*c_1010_8^4 - 184219417911546026930521260491894074514655704201477\ 4818923970111272483164243483480677438469269159/25430978817536806741\ 1948612997563666068416935503586612567587233430177266668917334647566\ 8804*c_1010_8^3 - 1298007286749862051665181392797107810664753234077\ 11228780421514287874463598022477218694346463005/2543097881753680674\ 1194861299756366606841693550358661256758723343017726666891733464756\ 68804*c_1010_8^2 - 256279799799001544279719086196076083064868502301\ 8993546823395146441246912480885337692579372083/12715489408768403370\ 5974306498781833034208467751793306283793616715088633334458667323783\ 4402*c_1010_8 - 740618048730558088880954141503321705363345390025331\ 57485950944250610162884261635135452314209/2543097881753680674119486\ 129975636660684169355035866125675872334301772666689173346475668804, c_1010_8^30 + 92/7*c_1010_8^29 + 552/7*c_1010_8^28 + 2071/7*c_1010_8^27 + 11461/14*c_1010_8^26 + 14554/7*c_1010_8^25 + 75585/14*c_1010_8^24 + 185923/14*c_1010_8^23 + 117631/4*c_1010_8^22 + 423013/7*c_1010_8^21 + 826524/7*c_1010_8^20 + 2996619/14*c_1010_8^19 + 9847933/28*c_1010_8^18 + 14885023/28*c_1010_8^17 + 21169347/28*c_1010_8^16 + 4025509/4*c_1010_8^15 + 4925407/4*c_1010_8^14 + 9672225/7*c_1010_8^13 + 40235785/28*c_1010_8^12 + 38849767/28*c_1010_8^11 + 34178307/28*c_1010_8^10 + 26459381/28*c_1010_8^9 + 4322782/7*c_1010_8^8 + 9128571/28*c_1010_8^7 + 3712003/28*c_1010_8^6 + 274707/7*c_1010_8^5 + 31449/4*c_1010_8^4 + 6756/7*c_1010_8^3 + 1809/28*c_1010_8^2 + 69/28*c_1010_8 + 1/28 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.250 Total time: 4.469 seconds, Total memory usage: 64.12MB