Magma V2.19-8 Tue Aug 20 2013 23:46:36 on localhost [Seed = 3431638736] Type ? for help. Type -D to quit. Loading file "K14n21897__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21897 geometric_solution 10.95244444 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 0 1 0 0 0 0 1 0 0 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540567068415 0.828433309107 0 4 6 5 0132 3012 0132 0132 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 -3 3 -3 1 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650296315371 0.636682806363 6 0 8 7 2103 0132 0132 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 1 0 -1 1 0 0 -1 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.015658485905 1.224630538732 7 9 8 0 0321 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326621887637 0.807778709250 1 10 0 11 1230 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 -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.399456956698 0.728776997985 7 6 1 9 1302 2031 0132 1302 0 0 0 0 0 0 0 0 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 0 0 0 0 3 0 -3 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.203291208568 0.704523026249 5 11 2 1 1302 1023 2103 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -2 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506247575671 0.581740341995 3 5 2 10 0321 2031 0132 3012 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 1 -1 0 0 1 -1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395858203878 0.602663789880 10 11 3 2 0132 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497100910133 0.493394278576 10 3 5 11 3201 0132 2031 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.361298776792 0.582096044896 8 4 7 9 0132 0132 1230 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.044942261338 1.414776068994 6 9 4 8 1023 2310 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.166545565263 1.377848158504 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0110_9']), 'c_1001_7' : negation(d['c_0110_5']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : negation(d['c_1001_10']), 'c_1001_2' : negation(d['c_0110_9']), 'c_1001_9' : negation(d['c_0110_5']), 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : negation(d['c_0110_9']), 'c_1010_10' : negation(d['c_0110_9']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_0']), 'c_0101_10' : negation(d['c_0011_5']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_10']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_1001_8'], 'c_1100_3' : d['c_1001_8'], 'c_1100_2' : negation(d['c_1001_10']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_11' : d['c_1001_8'], 'c_1100_10' : negation(d['c_0011_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_9']), 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : negation(d['c_0110_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : d['c_0101_1'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0101_3']), 'c_0011_6' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0011_7']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_7']), 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : negation(d['c_0101_3']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_5']), 'c_0110_1' : negation(d['c_0011_7']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_7, c_0101_1, c_0101_3, c_0110_5, c_0110_9, c_1001_10, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 3699714720490611423631814680791112943158777010536354110024209661340\ 995395582603013177311/109326962465207637707339103781916642404679054\ 51197509368510009718621618768585004000*c_1001_8^23 - 7102892466836350531044629141389638046736915347164246570978870222776\ 974905729760466690549/218653924930415275414678207563833284809358109\ 0239501873702001943724323753717000800*c_1001_8^22 - 1917768951758767222890721076725261401052140320665653834319936283785\ 10490130882567678639507/1093269624652076377073391037819166424046790\ 5451197509368510009718621618768585004000*c_1001_8^21 - 1661599812097052245877456313102522004925534678950713968322283401644\ 4466987405985545875559/28770253280317799396668185205767537474915540\ 6610460772855526571542674178120658000*c_1001_8^20 - 4079041439422235911985828490583207338438883352603740914124518410385\ 3257333890879114790107/28770253280317799396668185205767537474915540\ 6610460772855526571542674178120658000*c_1001_8^19 - 1000952904614220888234342243230754957486175227898700981242092435153\ 68919851370377861488547/3904534373757415632404967992211308657309966\ 23257053906018214632807914956020893000*c_1001_8^18 - 2263732151088014417844222152022720232757495200673138545534360544125\ 74435954240271107975199/5466348123260381885366955189095832120233952\ 72559875468425500485931080938429250200*c_1001_8^17 - 1661513528524967895106974272229371087309104191667501167887711680089\ 69712652152077201927151/3416467577037738678354346993184895075146220\ 45349922167765937803706925586518281375*c_1001_8^16 - 3135894705887530184975510798996745078501929428098944906462277175060\ 653888111382606951924189/546634812326038188536695518909583212023395\ 2725598754684255004859310809384292502000*c_1001_8^15 - 2376467310643484326463248144245634906868598706486112983486568547942\ 76546197990811632470959/4204883171738755296436119376227563169410732\ 86584519591096538835331600721868654000*c_1001_8^14 - 1024086551459096900107918927726801170152595270058768494367206637650\ 9445906148005308155843097/10932696246520763770733910378191664240467\ 905451197509368510009718621618768585004000*c_1001_8^13 - 8604375750393450221511461938716997262421761655997904513342530876076\ 096597622586999993220087/546634812326038188536695518909583212023395\ 2725598754684255004859310809384292502000*c_1001_8^12 - 3109322970424705001747157785594806584916715440604506351210084570160\ 8625443093677912444580809/10932696246520763770733910378191664240467\ 905451197509368510009718621618768585004000*c_1001_8^11 - 5625764961044270379406616436992943608333935219538702242366625673539\ 295784314151998704723467/136658703081509547134173879727395803005848\ 8181399688671063751214827702346073125500*c_1001_8^10 - 2797615140402654804761571579971515165823104457652851933050357475648\ 9123916026352152113679937/54663481232603818853669551890958321202339\ 52725598754684255004859310809384292502000*c_1001_8^9 - 1311279355232559686744357376308580386151961661979573553439633656689\ 1697082355502937901287/26061254461312905293763791127989664458803111\ 92180574342910610183223270266647200*c_1001_8^8 - 2641201617849212363812376987172154520634961254644702501858718341113\ 13946335700167733135459/6790494563056375012878205203845754186626028\ 2305574592350993849183985209742764000*c_1001_8^7 - 1163260927721404832472258224568169267529107267897254420114161870150\ 5209908406049821477741707/54663481232603818853669551890958321202339\ 52725598754684255004859310809384292502000*c_1001_8^6 - 3656181680885627185518030131000810617784831304485684532328560663292\ 037165774200752462811/553554240330165254214375209022362746352805339\ 3011397148612663148669174060043040*c_1001_8^5 + 2557981705567798386542295696232626662270156885148452788013254992527\ 5298840557248516019113/27331740616301909426834775945479160601169763\ 6279937734212750242965540469214625100*c_1001_8^4 + 2503605739805095397132020334824480326749551771654730238463589082913\ 824739672852638657555951/109326962465207637707339103781916642404679\ 05451197509368510009718621618768585004000*c_1001_8^3 + 1446124710716928493730596638299081915906240616093765172940311105059\ 017942779629066121013679/109326962465207637707339103781916642404679\ 05451197509368510009718621618768585004000*c_1001_8^2 + 2573364124557450599557710999006569096271919594452864469583778742695\ 70573023823078999571/6323132589080835032234765979289568675805613332\ 098038963857726847091740178476000*c_1001_8 + 6841065231256235554576940386856188548517490435651058826080104772122\ 1736726699773380230931/10932696246520763770733910378191664240467905\ 451197509368510009718621618768585004000, c_0011_0 - 1, c_0011_10 - 59671598316306229769317476207739902846159416033235108053290\ 6805453/95287505602151701951290995623968751083806108764679488219419\ 49834400*c_1001_8^23 - 10429385999205285712333887105995657278502607\ 98508653478235393076627/1905750112043034039025819912479375021676122\ 175293589764388389966880*c_1001_8^22 - 2624729464154151471612476845439107435488421800206309331978356239276\ 1/95287505602151701951290995623968751083806108764679488219419498344\ 00*c_1001_8^21 - 20452097395399719225876861809253740424972731634956\ 70922307090395107/2507565936898728998718184095367598712731739704333\ 67074261630258800*c_1001_8^20 - 46376843395719898382434703130238190\ 36149907225210491329078426323011/2507565936898728998718184095367598\ 71273173970433367074261630258800*c_1001_8^19 - 1776210053055470394110268676240739265956023281074865657486291541542\ 3/59554691001344813719556872264980469427378817977924680137137186465\ 0*c_1001_8^18 - 114495684673195156039113468437574811552521308502532\ 50365609839379591/2382187640053792548782274890599218777095152719116\ 98720548548745860*c_1001_8^17 - 11060569230035718143351040021880887\ 6412429176247905042657923059055209/23821876400537925487822748905992\ 18777095152719116987205485487458600*c_1001_8^16 - 3031044867897794007699811794396337237572848345670767729034648873942\ 97/4764375280107585097564549781198437554190305438233974410970974917\ 200*c_1001_8^15 - 2636181573819460781199385421078744920224534565166\ 81076002875797632591/4764375280107585097564549781198437554190305438\ 233974410970974917200*c_1001_8^14 - 1217661962947244679515896581949128190687493863980593177528009057234\ 431/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^13 - 901070358643954536793319313218363942083522543044\ 442371084722688954301/476437528010758509756454978119843755419030543\ 8233974410970974917200*c_1001_8^12 - 3306561351345292534152742001950448327552625172224460934601874718808\ 307/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^11 - 106382913595357163324924739220507934666035715583\ 9429287213750331993407/23821876400537925487822748905992187770951527\ 19116987205485487458600*c_1001_8^10 - 2526534712989452277175783754500294659287982623560758655358662540780\ 301/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^9 - 1073487517483936858660662820193433633210140484110\ 217553489747673241/227145424558168538620479131403977952523971653789\ 4624272215005920*c_1001_8^8 - 3274273651613219287913322918232654222\ 561558291148925627312646536799777/952875056021517019512909956239687\ 5108380610876467948821941949834400*c_1001_8^7 - 8756250617424738938336605413908444617326768887553933883683622468953\ 11/4764375280107585097564549781198437554190305438233974410970974917\ 200*c_1001_8^6 - 27668287838321508952735062647538179183159300023784\ 134430699668248211/381150022408606807805163982495875004335224435058\ 717952877677993376*c_1001_8^5 - 27288920175740134375695875849879544\ 19259386761705259360804809518061/2382187640053792548782274890599218\ 77709515271911698720548548745860*c_1001_8^4 + 1081578893474202921764963132317912867191375635167280061224869071773\ 73/9528750560215170195129099562396875108380610876467948821941949834\ 400*c_1001_8^3 + 11144663019028226934188878744236935384978179026713\ 9080854334236576817/95287505602151701951290995623968751083806108764\ 67948821941949834400*c_1001_8^2 + 309273536957492470663183664089159\ 5754618633970641169964743335739003/50151318737974579974363681907351\ 9742546347940866734148523260517600*c_1001_8 + 9108500460719975552666994821382978126145468372245963121159359686213\ /952875056021517019512909956239687510838061087646794882194194983440\ 0, c_0011_11 - 54304012972359302879183916991999107012254437108574431558146\ 32233951/9528750560215170195129099562396875108380610876467948821941\ 949834400*c_1001_8^23 - 1030697531288705286362979424760981151958069\ 1987108550384071100105469/19057501120430340390258199124793750216761\ 22175293589764388389966880*c_1001_8^22 - 2753220961467379028173671522050133587606472993245686411959317187919\ 87/9528750560215170195129099562396875108380610876467948821941949834\ 400*c_1001_8^21 - 2346535047665744047206162607363746242328397820840\ 9358663893753662419/25075659368987289987181840953675987127317397043\ 3367074261630258800*c_1001_8^20 - 566163328412033350384986214423337\ 16648240850389365106501491773429287/2507565936898728998718184095367\ 59871273173970433367074261630258800*c_1001_8^19 - 9490374944546700845199924104177370499917408460349822209629444138513\ 39/2382187640053792548782274890599218777095152719116987205485487458\ 600*c_1001_8^18 - 3019371755714915262613228111806693426261510985060\ 71672861373053087869/4764375280107585097564549781198437554190305438\ 23397441097097491720*c_1001_8^17 - 8528922995943862001247514644002400556420232682237064885129716277319\ 89/1191093820026896274391137445299609388547576359558493602742743729\ 300*c_1001_8^16 - 3983573016190044048161302585301215730295321620185\ 247226690072151144649/476437528010758509756454978119843755419030543\ 8233974410970974917200*c_1001_8^15 - 3843533545524181058992059695295783745316214857950444456876502557590\ 647/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^14 - 136125033633919925526035824427755351116542711814\ 06459213153370314197777/9528750560215170195129099562396875108380610\ 876467948821941949834400*c_1001_8^13 - 1161185061710503401295723589980232769684832766998359860819378028696\ 6967/47643752801075850975645497811984375541903054382339744109709749\ 17200*c_1001_8^12 - 41980990458226343751141347687262945705064871296\ 359872400756026605092969/952875056021517019512909956239687510838061\ 0876467948821941949834400*c_1001_8^11 - 3717773981601813299138024692616334125805927260028286174373450120705\ 111/595546910013448137195568722649804694273788179779246801371371864\ 650*c_1001_8^10 - 3605061271540726757252559737490405678481743142798\ 7019455081957351791717/47643752801075850975645497811984375541903054\ 38233974410970974917200*c_1001_8^9 - 1622941350942427876699396059339944518373676318455190981664727131844\ 7/2271454245581685386204791314039779525239716537894624272215005920*\ c_1001_8^8 - 495382309311046452624554637476224873760301860871396427\ 35556031447817459/9528750560215170195129099562396875108380610876467\ 948821941949834400*c_1001_8^7 - 12042094367084903585730785123867543\ 804885020569073954185592624408803487/476437528010758509756454978119\ 8437554190305438233974410970974917200*c_1001_8^6 - 2043707399432366057852150469660592825465773849025130237722547593159\ 01/3811500224086068078051639824958750043352244350587179528776779933\ 76*c_1001_8^5 + 736306142164817803638772661238149979472898804769664\ 15519825561917963/2382187640053792548782274890599218777095152719116\ 98720548548745860*c_1001_8^4 + 317508733416921559857889281754136567\ 5883578160354441392251641361050591/95287505602151701951290995623968\ 75108380610876467948821941949834400*c_1001_8^3 + 1389798732303824311655071411474999988085540131341429654749668364320\ 839/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^2 + 1675145823415874492983683705994487833394959301560\ 6197215132966082401/50151318737974579974363681907351974254634794086\ 6734148523260517600*c_1001_8 + 266224301147341643528091605072775752\ 02896103248246100695825733957371/9528750560215170195129099562396875\ 108380610876467948821941949834400, c_0011_3 - 348523248233199690415302909200131996763876387198467427087418\ 446537/952875056021517019512909956239687510838061087646794882194194\ 9834400*c_1001_8^23 - 118379244787131951950208255582533134843485020\ 9074059426562188143243/19057501120430340390258199124793750216761221\ 75293589764388389966880*c_1001_8^22 - 4093619037287990611172177689920523226581485911946981943764509951446\ 9/95287505602151701951290995623968751083806108764679488219419498344\ 00*c_1001_8^21 - 46269681526971875266520841114535210671302547510562\ 20533964215106053/2507565936898728998718184095367598712731739704333\ 67074261630258800*c_1001_8^20 - 13041205180703581086640771055718888\ 606855790344813903913976707355369/250756593689872899871818409536759\ 871273173970433367074261630258800*c_1001_8^19 - 2646851608895078594647791266992372327639927305207369513577850535522\ 93/2382187640053792548782274890599218777095152719116987205485487458\ 600*c_1001_8^18 - 8532294368886055407765862796551205193308725289841\ 2141531673145640183/47643752801075850975645497811984375541903054382\ 3397441097097491720*c_1001_8^17 - 312972753411453366891422977524300\ 642356636603154145394425651752213743/119109382002689627439113744529\ 9609388547576359558493602742743729300*c_1001_8^16 - 1243040193546660322904456579211374126002278374539699355339042943652\ 263/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^15 - 150380060177008529513022759909112872653323762379\ 6374997594836829971489/47643752801075850975645497811984375541903054\ 38233974410970974917200*c_1001_8^14 - 2983031523956325990071905534148327258449546549672312485652707632068\ 599/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^13 - 330235670828598760890175861925685868972385512573\ 5049907948481486416329/47643752801075850975645497811984375541903054\ 38233974410970974917200*c_1001_8^12 - 1076197683761983191000784659607176355742065887077896530043502893463\ 3503/95287505602151701951290995623968751083806108764679488219419498\ 34400*c_1001_8^11 - 11769296844749838049517671253575645973031932972\ 02581653419906753297057/5955469100134481371955687226498046942737881\ 79779246801371371864650*c_1001_8^10 - 1193544390618037823363308120798009115467485644833705648350258498395\ 5979/47643752801075850975645497811984375541903054382339744109709749\ 17200*c_1001_8^9 - 633427725041787971595038084570751508769923157329\ 6272527971571276409/22714542455816853862047913140397795252397165378\ 94624272215005920*c_1001_8^8 - 215791938688536044328198252256691573\ 12888245321134819544279712894107733/9528750560215170195129099562396\ 875108380610876467948821941949834400*c_1001_8^7 - 6516267605655752916643587578417894750849084002298161707913381120043\ 569/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^6 - 1630451662043004073090336156633366121786297830710\ 17991371147718582619/3811500224086068078051639824958750043352244350\ 58717952877677993376*c_1001_8^5 + 138868460957820480209327229953518\ 95034843131618641290686247735281881/2382187640053792548782274890599\ 21877709515271911698720548548745860*c_1001_8^4 + 1512318477366787388556972739665287865667611929190154930629956191504\ 617/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^3 + 7777572857459420145882337899382609932899734697366\ 96584255191723970993/9528750560215170195129099562396875108380610876\ 467948821941949834400*c_1001_8^2 + 1090997688983742345945458224812899412090779997986586939632097663568\ 7/50151318737974579974363681907351974254634794086673414852326051760\ 0*c_1001_8 + 191245258088773533886355462459469657840181275652408184\ 38183045808877/9528750560215170195129099562396875108380610876467948\ 821941949834400, c_0011_5 - 538980816351386244643101553148275027931716417373113318039081\ 871483/952875056021517019512909956239687510838061087646794882194194\ 9834400*c_1001_8^23 - 715052439935342606611117047546938970697080452\ 901116837125301238937/190575011204303403902581991247937502167612217\ 5293589764388389966880*c_1001_8^22 - 1287808926110402331116036102371547994239589335361607149567010593907\ 1/95287505602151701951290995623968751083806108764679488219419498344\ 00*c_1001_8^21 - 32502625501310705955383164667363900402691059230828\ 4823525827175227/25075659368987289987181840953675987127317397043336\ 7074261630258800*c_1001_8^20 + 733673364368209467389398149499622816\ 034052829573593257880570859129/250756593689872899871818409536759871\ 273173970433367074261630258800*c_1001_8^19 + 4773337307256440486958041552418483283340026083802992992533906585606\ 3/23821876400537925487822748905992187770951527191169872054854874586\ 00*c_1001_8^18 + 18392489831977820831307489976860111770044448192673\ 570189026792726413/476437528010758509756454978119843755419030543823\ 397441097097491720*c_1001_8^17 + 5152768671097601017869872472876703\ 1261780291235395003706445942909719/59554691001344813719556872264980\ 4694273788179779246801371371864650*c_1001_8^16 + 4088537948186270671608495482635614319368489719940788667942369961175\ 83/4764375280107585097564549781198437554190305438233974410970974917\ 200*c_1001_8^15 + 5346973057846181025168042034140055023228840629646\ 74213119039274077649/4764375280107585097564549781198437554190305438\ 233974410970974917200*c_1001_8^14 + 4093266474462387117254668834499451733745589616361978182011676969098\ 59/9528750560215170195129099562396875108380610876467948821941949834\ 400*c_1001_8^13 + 5401970843329890952213485660535300354341257634484\ 47763212486500792989/4764375280107585097564549781198437554190305438\ 233974410970974917200*c_1001_8^12 + 1813388315401437561059432870340016240515501389829186841614533953186\ 723/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^11 + 588719457239320480560102435549465624636236797167\ 750377704467563752949/119109382002689627439113744529960938854757635\ 9558493602742743729300*c_1001_8^10 + 3761224958094129889837042738829571042023525268505178738578895889300\ 339/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^9 + 2441776269724148671545708184867878054848901816056\ 026537049804435629/227145424558168538620479131403977952523971653789\ 4624272215005920*c_1001_8^8 + 1021740569131354853168558539590692135\ 3350668769416941230338084888850353/95287505602151701951290995623968\ 75108380610876467948821941949834400*c_1001_8^7 + 3752138188271371187661499603154438656103922267011767371959310104075\ 929/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^6 + 1321399366265101133485093532206423809194453828294\ 82653329750331952455/3811500224086068078051639824958750043352244350\ 58717952877677993376*c_1001_8^5 + 789106232847136515694103202230570\ 2479485196441579757149738607132959/23821876400537925487822748905992\ 1877709515271911698720548548745860*c_1001_8^4 - 7241524688310890843247479139391832451025819577321713175335460500817\ 97/9528750560215170195129099562396875108380610876467948821941949834\ 400*c_1001_8^3 - 50238235647076148056685041354386419201872601073968\ 1988083422480561013/95287505602151701951290995623968751083806108764\ 67948821941949834400*c_1001_8^2 - 819579762210819852707363553799300\ 9673225627787297687571477563877867/50151318737974579974363681907351\ 9742546347940866734148523260517600*c_1001_8 - 1804138621285488551004493291300668555255669399112610535688072440505\ 7/95287505602151701951290995623968751083806108764679488219419498344\ 00, c_0011_7 - 608405662888724695229785231857935156420053043549845624863681\ 4866007/95287505602151701951290995623968751083806108764679488219419\ 49834400*c_1001_8^23 - 11299176442420584343713860437236425173127226\ 128293543802438362687733/190575011204303403902581991247937502167612\ 2175293589764388389966880*c_1001_8^22 - 2975083980028270144638024502756681625878766916308959412339272048392\ 59/9528750560215170195129099562396875108380610876467948821941949834\ 400*c_1001_8^21 - 2484365709455608368515985355384915864445985807783\ 4139667835830018683/25075659368987289987181840953675987127317397043\ 3367074261630258800*c_1001_8^20 - 591894776446999974348121789134377\ 41092816921656021726206047429455159/2507565936898728998718184095367\ 59871273173970433367074261630258800*c_1001_8^19 - 9746966313703066309482664558993561829973755490936020042885779983699\ 23/2382187640053792548782274890599218777095152719116987205485487458\ 600*c_1001_8^18 - 3111282221721864233854333370869932503388264001557\ 90313390568732471233/4764375280107585097564549781198437554190305438\ 23397441097097491720*c_1001_8^17 - 8527760082836618389619420315267046874137983350328964955040585205775\ 73/1191093820026896274391137445299609388547576359558493602742743729\ 300*c_1001_8^16 - 4110504463993290621082213738050558156866467628537\ 703357607149880765193/476437528010758509756454978119843755419030543\ 8233974410970974917200*c_1001_8^15 - 3865095444457612177399834019345815709035127028315580347129119852173\ 679/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^14 - 145004615896424055728411351822293862979659398472\ 87175958986321135909289/9528750560215170195129099562396875108380610\ 876467948821941949834400*c_1001_8^13 - 1197071135145585505489196956505729755277845606403595555859129689683\ 4919/47643752801075850975645497811984375541903054382339744109709749\ 17200*c_1001_8^12 - 43557601979771621799450596222721672038830984506\ 923932952093914316423233/952875056021517019512909956239687510838061\ 0876467948821941949834400*c_1001_8^11 - 3785101568801981672517367683569937561675199412031287009739278905663\ 277/595546910013448137195568722649804694273788179779246801371371864\ 650*c_1001_8^10 - 3657821680260175699447156650483012488447236934771\ 5602906004457660718869/47643752801075850975645497811984375541903054\ 38233974410970974917200*c_1001_8^9 - 1629229331083935867666107029416104983623261175739394436400000215587\ 9/2271454245581685386204791314039779525239716537894624272215005920*\ c_1001_8^8 - 495611819560854280559592294121361637420324355691438740\ 43321952458726763/9528750560215170195129099562396875108380610876467\ 948821941949834400*c_1001_8^7 - 12177195794772898987723975726344785\ 771491617080566456030213968145448559/476437528010758509756454978119\ 8437554190305438233974410970974917200*c_1001_8^6 - 2259460518455722330853699392805917367633711021257468473158913465957\ 49/3811500224086068078051639824958750043352244350587179528776779933\ 76*c_1001_8^5 + 617955221158172861828165852238171036622092587840244\ 31025135185655971/2382187640053792548782274890599218777095152719116\ 98720548548745860*c_1001_8^4 + 305683792474234073418401241005998822\ 7238389887300322263700255123040887/95287505602151701951290995623968\ 75108380610876467948821941949834400*c_1001_8^3 + 1473403513737225375850727226759054710775797572574870531301118650886\ 223/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^2 + 2039149934999018813592209990475094322948246731186\ 3395962301734384057/50151318737974579974363681907351974254634794086\ 6734148523260517600*c_1001_8 + 416197238041710463241740127660660761\ 05703270217790197492839846324947/9528750560215170195129099562396875\ 108380610876467948821941949834400, c_0101_1 - 652744632257699446404081675166288144961642102449947251474156\ 398821/952875056021517019512909956239687510838061087646794882194194\ 9834400*c_1001_8^23 - 131370148407935249594110273652241768789066763\ 3058278049875176830919/19057501120430340390258199124793750216761221\ 75293589764388389966880*c_1001_8^22 - 3617891289962720864543858077080254682702809843311388645516218324017\ 7/95287505602151701951290995623968751083806108764679488219419498344\ 00*c_1001_8^21 - 32116609432492804212529705675550024439601636804494\ 06160304761141949/2507565936898728998718184095367598712731739704333\ 67074261630258800*c_1001_8^20 - 78767883094972427968043273478282104\ 68358269402339863338110618199577/2507565936898728998718184095367598\ 71273173970433367074261630258800*c_1001_8^19 - 1357758873745199938881610350829123183618262884624485586434669883448\ 19/2382187640053792548782274890599218777095152719116987205485487458\ 600*c_1001_8^18 - 4250084569788372929426671904176758807724207208782\ 9205037533879869629/47643752801075850975645497811984375541903054382\ 3397441097097491720*c_1001_8^17 - 318896114549699071264290993022541\ 73804874026129658639824472744597586/2977734550067240685977843613249\ 02347136894089889623400685685932325*c_1001_8^16 - 5474769216336925746883554741208351281986844433622074894460642231356\ 79/4764375280107585097564549781198437554190305438233974410970974917\ 200*c_1001_8^15 - 5870878657062623395203169964553482438624304847406\ 81181577175467723337/4764375280107585097564549781198437554190305438\ 233974410970974917200*c_1001_8^14 - 1781781046931967131732239823255526575131458860875924155570048485325\ 667/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^13 - 170827235380960223037985913014080808327031095710\ 7668148365381713513557/47643752801075850975645497811984375541903054\ 38233974410970974917200*c_1001_8^12 - 5802389282635577272592318248307522034752490339062326177566364551474\ 099/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^11 - 108835320488337064843416403144282613070658183937\ 7702302830977253237287/11910938200268962743911374452996093885475763\ 59558493602742743729300*c_1001_8^10 - 5151679914501864805917353558248067808383745962918434974454297902489\ 507/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^9 - 2405782595247594884816148173414435541127280738893\ 671420514260104957/227145424558168538620479131403977952523971653789\ 4624272215005920*c_1001_8^8 - 7235317592303211198275009793872295577\ 745186666381898433816710718770289/952875056021517019512909956239687\ 5108380610876467948821941949834400*c_1001_8^7 - 1832299906405638067990152085206417962954853073836300903045975348774\ 777/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^6 - 3236591451523001411341965685335254086235822011204\ 0042390646000954583/38115002240860680780516398249587500433522443505\ 8717952877677993376*c_1001_8^5 + 7281648315088743124638293173590607\ 674080694372275849128288487118233/238218764005379254878227489059921\ 877709515271911698720548548745860*c_1001_8^4 + 4001606131409621322970071909836710462433815240298359011325640166778\ 61/9528750560215170195129099562396875108380610876467948821941949834\ 400*c_1001_8^3 + 18422586598568404535794170971911717083143425294378\ 8018854027443509269/95287505602151701951290995623968751083806108764\ 67948821941949834400*c_1001_8^2 + 355688541334630786927506433814651\ 5408173389759653152410813683143771/50151318737974579974363681907351\ 9742546347940866734148523260517600*c_1001_8 + 9641439257290433800936723532593861978669553745099079566781729862641\ /952875056021517019512909956239687510838061087646794882194194983440\ 0, c_0101_3 + 461286566101542735731307624040025924047328590314303335895183\ 95721/4764375280107585097564549781198437554190305438233974410970974\ 917200*c_1001_8^23 + 1828851628892780155935656425522646779779926868\ 17594767492623088099/9528750560215170195129099562396875108380610876\ 46794882194194983440*c_1001_8^22 + 6454204828375328237914607058496887498350096659612338636933122288277\ /476437528010758509756454978119843755419030543823397441097097491720\ 0*c_1001_8^21 + 738961535009545682016641225443119638691259690676625\ 504941619199449/125378296844936449935909204768379935636586985216683\ 537130815129400*c_1001_8^20 + 2046775309486849051188917127373158689\ 591972880063312666329927571677/125378296844936449935909204768379935\ 636586985216683537130815129400*c_1001_8^19 + 4100844180662889485599119733057983758184798501309451058193104112111\ 9/11910938200268962743911374452996093885475763595584936027427437293\ 00*c_1001_8^18 + 12677842714419389849915057536532966392925997744523\ 999584551171296509/238218764005379254878227489059921877709515271911\ 698720548548745860*c_1001_8^17 + 2339180428767643609059653908400745\ 6893950537639699851339186618335922/29777345500672406859778436132490\ 2347136894089889623400685685932325*c_1001_8^16 + 1660993606291744805304205449051384105361059844072701352790203785499\ 79/2382187640053792548782274890599218777095152719116987205485487458\ 600*c_1001_8^15 + 2199455286652153829669927981698289996730778887461\ 06754759755289507237/2382187640053792548782274890599218777095152719\ 116987205485487458600*c_1001_8^14 + 3824291675910710456495834168959878460447962692739777722747064963819\ 67/4764375280107585097564549781198437554190305438233974410970974917\ 200*c_1001_8^13 + 5246979705953864159246934781316496359916562824939\ 42633994964690528457/2382187640053792548782274890599218777095152719\ 116987205485487458600*c_1001_8^12 + 1577448212638691545619495934558950905732891877471975585207777876083\ 199/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^11 + 361347377023546757738371533392736539560953664390\ 272301283194385397437/595546910013448137195568722649804694273788179\ 779246801371371864650*c_1001_8^10 + 1702911389804865564412835823709329459051785789094848674257899053686\ 607/238218764005379254878227489059921877709515271911698720548548745\ 8600*c_1001_8^9 + 9008281913132115121597376755924528721548121174094\ 94083746798444417/1135727122790842693102395657019889762619858268947\ 312136107502960*c_1001_8^8 + 27677211436094934844589701752250154072\ 73727289633468472782780099622789/4764375280107585097564549781198437\ 554190305438233974410970974917200*c_1001_8^7 + 7640055267261274149447736506167756025359746096567154736016539745998\ 77/2382187640053792548782274890599218777095152719116987205485487458\ 600*c_1001_8^6 + 10434606796722398913623647289402595812629238114460\ 450854527558150035/190575011204303403902581991247937502167612217529\ 358976438838996688*c_1001_8^5 - 48445664640168476906025725703597520\ 53553495562272805404396440524913/1191093820026896274391137445299609\ 38854757635955849360274274372930*c_1001_8^4 - 2178746966418877334827191213116391326320695201700053801005682469227\ 61/4764375280107585097564549781198437554190305438233974410970974917\ 200*c_1001_8^3 - 70971313765248800746180505525964594891504143383026\ 525903461708084169/476437528010758509756454978119843755419030543823\ 3974410970974917200*c_1001_8^2 - 7019701053114427903156739371472876\ 04977257534925260013691397871671/2507565936898728998718184095367598\ 71273173970433367074261630258800*c_1001_8 + 1553160451504247559605197788378422530152609649990798173797059284059\ /476437528010758509756454978119843755419030543823397441097097491720\ 0, c_0110_5 - 915152987630864469593188606078385655988311924045411259210342\ 280351/952875056021517019512909956239687510838061087646794882194194\ 9834400*c_1001_8^23 - 148707759075072540399961599505569959450797476\ 0832319765794539722409/19057501120430340390258199124793750216761221\ 75293589764388389966880*c_1001_8^22 - 3515286418947734088391950446359647688367752549147789088655460946518\ 7/95287505602151701951290995623968751083806108764679488219419498344\ 00*c_1001_8^21 - 24402007560384715797031202860192262332689405280692\ 54806104546381869/2507565936898728998718184095367598712731739704333\ 67074261630258800*c_1001_8^20 - 49534248113759962756932029521910416\ 78840453514637097037599338486837/2507565936898728998718184095367598\ 71273173970433367074261630258800*c_1001_8^19 - 3043390136865598273790825720941574500264800181759214712736990946900\ 7/11910938200268962743911374452996093885475763595584936027427437293\ 00*c_1001_8^18 - 47242737259926110522391805287672425562572083042565\ 12762555708253391/1191093820026896274391137445299609388547576359558\ 49360274274372930*c_1001_8^17 - 40467468245136010914051697637267125\ 356814452944836354443278880842453/238218764005379254878227489059921\ 8777095152719116987205485487458600*c_1001_8^16 - 1972663115708112165167424869034002720775335888410557528027539260309\ 99/4764375280107585097564549781198437554190305438233974410970974917\ 200*c_1001_8^15 - 6854453859840584975743196107925633567414426669838\ 5153040844592440497/47643752801075850975645497811984375541903054382\ 33974410970974917200*c_1001_8^14 - 1282811959939873959051907984428140324804664417216320069622460309225\ 677/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^13 - 755440001905764623430970893269978160015965161604\ 751457174232025653167/476437528010758509756454978119843755419030543\ 8233974410970974917200*c_1001_8^12 - 3114867831542299795609846561820314456148244928888646703621381664053\ 169/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^11 - 706489680647748689913086446575934543778495622583\ 513066168586714810519/238218764005379254878227489059921877709515271\ 9116987205485487458600*c_1001_8^10 - 1434384639711293566421682615299649038100638418715306956418180563048\ 467/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^9 - 2311398645121341484037276061282606992138657532414\ 67445153561783147/2271454245581685386204791314039779525239716537894\ 624272215005920*c_1001_8^8 + 20049378193294866986951016391729240299\ 4123999234192262498459063529141/95287505602151701951290995623968751\ 08380610876467948821941949834400*c_1001_8^7 + 5212640969352108301292566797534893583465120859807604247029971267064\ 63/4764375280107585097564549781198437554190305438233974410970974917\ 200*c_1001_8^6 + 20849710226165414734809385414308243974637764219108\ 584239758177809207/381150022408606807805163982495875004335224435058\ 717952877677993376*c_1001_8^5 + 35151268043221436941484174332517036\ 66525324812238529725661142600133/2382187640053792548782274890599218\ 77709515271911698720548548745860*c_1001_8^4 - 1203666348509721140079611279363659169515552303343257959563704853258\ 09/9528750560215170195129099562396875108380610876467948821941949834\ 400*c_1001_8^3 - 32428347031514654221883547394178855299397657463774\ 521673270882550061/952875056021517019512909956239687510838061087646\ 7948821941949834400*c_1001_8^2 - 1876856147076632584610230784551273\ 96993737151587232231963350264599/5015131873797457997436368190735197\ 42546347940866734148523260517600*c_1001_8 + 2668787182238047799118208730327748752565850904307167072511636716671\ /952875056021517019512909956239687510838061087646794882194194983440\ 0, c_0110_9 + 633681526098229857515876141460160954461805566811980368770775\ 432787/190575011204303403902581991247937502167612217529358976438838\ 9966880*c_1001_8^23 + 121376756709249108060720839641616538754530868\ 1103128886080920814049/38115002240860680780516398249587500433522443\ 5058717952877677993376*c_1001_8^22 + 3259943413583529898527963032864407441924921452528492717065798006723\ 9/19057501120430340390258199124793750216761221752935897643883899668\ 80*c_1001_8^21 + 27991650071653484866670134844231524721288882459269\ 04958585125147083/5015131873797457997436368190735197425463479408667\ 3414852326051760*c_1001_8^20 + 677890475943227382426996436977656700\ 3378616983975114394768789944559/50151318737974579974363681907351974\ 254634794086673414852326051760*c_1001_8^19 + 1142378469566831604085944561945142345815826668344646499191903738732\ 53/4764375280107585097564549781198437554190305438233974410970974917\ 20*c_1001_8^18 + 36240123254765448712904862688618186952440369644537\ 911942134779933947/952875056021517019512909956239687510838061087646\ 79488219419498344*c_1001_8^17 + 25824611729064101318996311323032980\ 433835623499799688265825896560262/595546910013448137195568722649804\ 69427378817977924680137137186465*c_1001_8^16 + 4752750353220192265177709543022960672025632058282584967333477542110\ 33/9528750560215170195129099562396875108380610876467948821941949834\ 40*c_1001_8^15 + 46349665807343850146471614850342123205135704772309\ 1333705684410745839/95287505602151701951290995623968751083806108764\ 6794882194194983440*c_1001_8^14 + 160780330551222762382242263968120\ 1608246826128794462041697122443927429/19057501120430340390258199124\ 79375021676122175293589764388389966880*c_1001_8^13 + 1396081297167797679231532625817164920317885402588805222972007964005\ 859/952875056021517019512909956239687510838061087646794882194194983\ 440*c_1001_8^12 + 5025604309828458459261274244031781256072041259972\ 208402678250638056533/190575011204303403902581991247937502167612217\ 5293589764388389966880*c_1001_8^11 + 8967377946476676465857589437672000177047680787055781477917716096213\ 89/2382187640053792548782274890599218777095152719116987205485487458\ 60*c_1001_8^10 + 43382495472303878161442454473642698070913639706466\ 23944220808492734789/9528750560215170195129099562396875108380610876\ 46794882194194983440*c_1001_8^9 + 195562072094175808243580962299414\ 9519105417080835804018819454237115/45429084911633707724095826280795\ 5905047943307578924854443001184*c_1001_8^8 + 5932496628684808998800880243447331191026633292837652084347929978451\ 143/190575011204303403902581991247937502167612217529358976438838996\ 6880*c_1001_8^7 + 1416421042305572564529768727486638525440015425456\ 910315295710002737359/952875056021517019512909956239687510838061087\ 646794882194194983440*c_1001_8^6 + 1068788272037113867184916230601267331276536572257941798851776753426\ 77/3811500224086068078051639824958750043352244350587179528776779933\ 76*c_1001_8^5 - 101837521173845316169470917490777245332107347585722\ 02542341729415631/4764375280107585097564549781198437554190305438233\ 9744109709749172*c_1001_8^4 - 3950497920865923761976750702746933341\ 01998228972717773676833520683667/1905750112043034039025819912479375\ 021676122175293589764388389966880*c_1001_8^3 - 1617449279673516230419397086505168559407780940358531288624868012952\ 03/1905750112043034039025819912479375021676122175293589764388389966\ 880*c_1001_8^2 - 17130499903007066924690445132416512578598701991808\ 05277553629971117/1003026374759491599487273638147039485092695881733\ 46829704652103520*c_1001_8 - 21746153637901486066694921553908536504\ 30707898546722710828605826247/1905750112043034039025819912479375021\ 676122175293589764388389966880, c_1001_10 + 10706946578586238782948931214448323374019195605958946060035\ 84527341/9528750560215170195129099562396875108380610876467948821941\ 949834400*c_1001_8^23 + 1883291620254864080423552985572800527772041\ 235232556990989477669919/190575011204303403902581991247937502167612\ 2175293589764388389966880*c_1001_8^22 + 4715533460766887055739865776806255701095482875401578881609923702061\ 7/95287505602151701951290995623968751083806108764679488219419498344\ 00*c_1001_8^21 + 36205481285806126614974276951425455445644268492485\ 23724159431799629/2507565936898728998718184095367598712731739704333\ 67074261630258800*c_1001_8^20 + 78891719101409045899731011195262150\ 78106204766261511930825295064817/2507565936898728998718184095367598\ 71273173970433367074261630258800*c_1001_8^19 + 1121442921837190995093340537492505448716113436999224722690406690225\ 99/2382187640053792548782274890599218777095152719116987205485487458\ 600*c_1001_8^18 + 3308865594974758715278358412712530738247183110275\ 7729317253351459269/47643752801075850975645497811984375541903054382\ 3397441097097491720*c_1001_8^17 + 320007246293961263688919014761105\ 07299006522318706146902306593598187/5955469100134481371955687226498\ 04694273788179779246801371371864650*c_1001_8^16 + 3149108187253730942322724810453277466066047273554713226366534858723\ 59/4764375280107585097564549781198437554190305438233974410970974917\ 200*c_1001_8^15 + 2238432323102679422204400930510007721145232239235\ 08883443805772815977/4764375280107585097564549781198437554190305438\ 233974410970974917200*c_1001_8^14 + 1640296826329599536158642210684571337610768325537793312869236392409\ 307/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^13 + 137804633542613798238702517568009803942162595413\ 2291658222702124476997/47643752801075850975645497811984375541903054\ 38233974410970974917200*c_1001_8^12 + 5045228158735776875929719462344154970101565475131132656715615257054\ 779/952875056021517019512909956239687510838061087646794882194194983\ 4400*c_1001_8^11 + 743572691121082320832223631366542566946745741311\ 027958799086959379177/119109382002689627439113744529960938854757635\ 9558493602742743729300*c_1001_8^10 + 2980457241907839138015502708642062520062010548718156476311049827482\ 347/476437528010758509756454978119843755419030543823397441097097491\ 7200*c_1001_8^9 + 8529464772406025844879267141468849264329070734306\ 09126291196783317/2271454245581685386204791314039779525239716537894\ 624272215005920*c_1001_8^8 + 57508151802342010994217973299081702364\ 0943488293762466106618801841369/95287505602151701951290995623968751\ 08380610876467948821941949834400*c_1001_8^7 - 8460720664691124669347875881748548837155482773776494457850443508191\ 83/4764375280107585097564549781198437554190305438233974410970974917\ 200*c_1001_8^6 - 73905399590837102930123441847078015955680532538004\ 857406078957877697/381150022408606807805163982495875004335224435058\ 717952877677993376*c_1001_8^5 - 22616965328729294209541021350617853\ 710982881417240090608336115527373/238218764005379254878227489059921\ 877709515271911698720548548745860*c_1001_8^4 - 1383437975973585480539499156749480897706688628300494620152066842078\ 1/95287505602151701951290995623968751083806108764679488219419498344\ 00*c_1001_8^3 + 173503189515509691483896565943435797702124418825652\ 857805274921398051/952875056021517019512909956239687510838061087646\ 7948821941949834400*c_1001_8^2 + 4440078589466950882601018898637059\ 055342400682830715923974827330109/501513187379745799743636819073519\ 742546347940866734148523260517600*c_1001_8 + 6388463691330764164196493350384388830982585577348909525725322124439\ /952875056021517019512909956239687510838061087646794882194194983440\ 0, c_1001_8^24 + 282/29*c_1001_8^23 + 1538/29*c_1001_8^22 + 5137/29*c_1001_8^21 + 12768/29*c_1001_8^20 + 23486/29*c_1001_8^19 + 38232/29*c_1001_8^18 + 46108/29*c_1001_8^17 + 54366/29*c_1001_8^16 + 54572/29*c_1001_8^15 + 86321/29*c_1001_8^14 + 144915/29*c_1001_8^13 + 260569/29*c_1001_8^12 + 383217/29*c_1001_8^11 + 482638/29*c_1001_8^10 + 16757*c_1001_8^9 + 387166/29*c_1001_8^8 + 223989/29*c_1001_8^7 + 2737*c_1001_8^6 - 955/29*c_1001_8^5 - 20629/29*c_1001_8^4 - 13788/29*c_1001_8^3 - 4904/29*c_1001_8^2 - 972/29*c_1001_8 - 67/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.800 Total time: 2.000 seconds, Total memory usage: 64.12MB