Magma V2.19-8 Tue Aug 20 2013 23:56:07 on localhost [Seed = 3785853378] Type ? for help. Type -D to quit. Loading file "K12n708__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n708 geometric_solution 11.99467497 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 0 -1 0 1 -2 0 2 0 -2 2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.108226420436 0.776022694194 0 5 2 3 0132 0132 0321 0321 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.170938945883 1.455787985682 6 0 1 7 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 2 -2 0 1 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506540854390 1.048363973326 8 1 9 0 0132 0321 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 -2 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.774163393769 1.009347308642 6 10 0 8 3201 0132 0132 0213 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 -1 1 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.818985320146 0.743518182379 11 1 7 10 0132 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413909843680 0.734612864564 2 11 7 4 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 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.506471465327 0.407454165353 12 5 2 6 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 2 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.014588391806 1.554894700878 3 12 12 4 0132 3201 2031 0213 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 0 0 0 1 -1 -2 0 1 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.456225137244 0.659325722993 11 10 12 3 2031 0321 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.089678435588 0.656405868598 5 4 11 9 3120 0132 1230 0321 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508227712513 0.375041028746 5 6 9 10 0132 0132 1302 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.169425438599 0.702859083408 7 9 8 8 0132 1230 2310 1302 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 1 -1 1 0 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.290310538147 1.025626339581 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_1']), 'c_1001_11' : d['c_0101_3'], 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : d['c_0101_9'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_1001_12']), 'c_1100_8' : negation(d['c_0101_9']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : negation(d['c_1001_12']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_1001_12']), 'c_1100_3' : negation(d['c_1001_12']), 'c_1100_2' : negation(d['c_0011_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : negation(d['c_0011_12']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_1001_12']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_3']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : d['c_0011_9'], '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' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0101_12'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_12'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_3']), '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_0101_3'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0011_11' : negation(d['c_0011_0']), 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_12'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_12'], 'c_0011_10' : 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_12, c_0011_3, c_0011_9, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_9, c_1001_0, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 2174275444317819126233109893905509922544282270612751588273660639080\ 71360341698081411345324555676104/5041300920929091159136410558386507\ 0074197513339454952801498545878663915694898348590254041066375*c_100\ 1_2^33 - 2547592279093000130128245162409117617381579862043930429573\ 737866439196313565991336885132527959469828/504130092092909115913641\ 0558386507007419751333945495280149854587866391569489834859025404106\ 6375*c_1001_2^32 - 258039178756756230480601244794939414970783065021\ 875227069949638553960324401820339773841243507518772/593094225991657\ 7834278130068690008244023236863465288564882181868078107728811570422\ 38282836075*c_1001_2^31 + 98471617604575530567449377465227329517392\ 61108648779731881153057888680742433044809891017167248778991/5041300\ 9209290911591364105583865070074197513339454952801498545878663915694\ 898348590254041066375*c_1001_2^30 + 2899511135876015528877089716453314031685411730747936284607173374376\ 77789617934198159664415674832755124/5041300920929091159136410558386\ 5070074197513339454952801498545878663915694898348590254041066375*c_\ 1001_2^29 + 2373972909887183079621263873993332824449653299322837965\ 6990274659447876442215556117132922735398407259/50413009209290911591\ 3641055838650700741975133394549528014985458786639156948983485902540\ 41066375*c_1001_2^28 - 14751863361033908744302422981550085260640993\ 1232824389783124933599123423276250418058320753793394506606/38779237\ 8533007012241262350645115923647673179534268867703834968297414736114\ 6026814634926235875*c_1001_2^27 - 646858128142687544854918684082361\ 8160130221473404667147043468964178703473994014035720641074103473093\ 29/5041300920929091159136410558386507007419751333945495280149854587\ 8663915694898348590254041066375*c_1001_2^26 + 5296262627361774189013390799069790436950624610557763472021431978675\ 02290947817119343700162808711914994/3877923785330070122412623506451\ 159236476731795342688677038349682974147361146026814634926235875*c_1\ 001_2^25 + 25765070207258733520510828850667177774934386807533407813\ 73135383332625622369206770598191714289733043281/5041300920929091159\ 1364105583865070074197513339454952801498545878663915694898348590254\ 041066375*c_1001_2^24 - 3301314761434241861891658529500838166598185\ 443519723345609208954216819158381015844861042832887466498833/100826\ 0184185818231827282111677301401483950266789099056029970917573278313\ 8979669718050808213275*c_1001_2^23 - 4969068235394127493699073623911743949268183851742856097025569061530\ 865424596695930802802164467174070244/504130092092909115913641055838\ 65070074197513339454952801498545878663915694898348590254041066375*c\ _1001_2^22 + 292744234143010753624127425042892369402296356597630043\ 94186990576069950308872600830663668172948879254837/5041300920929091\ 1591364105583865070074197513339454952801498545878663915694898348590\ 254041066375*c_1001_2^21 + 5165820190881143895330087062540018791353\ 693181879261161082215319116516853400427025981547829742699761216/504\ 1300920929091159136410558386507007419751333945495280149854587866391\ 5694898348590254041066375*c_1001_2^20 - 4697007442052121021536489710857701025471445406213113204388211404181\ 36611525514652281208155934441417191/5930942259916577834278130068690\ 00824402323686346528856488218186807810772881157042238282836075*c_10\ 01_2^19 - 156726757758943207668976487819384708740211123136432159569\ 2002464538354520412994762616735279185043866292/50413009209290911591\ 3641055838650700741975133394549528014985458786639156948983485902540\ 41066375*c_1001_2^18 + 42395326769604683601813053744461550928459266\ 007807984071920008051516194858278434079193979692055356012916/504130\ 0920929091159136410558386507007419751333945495280149854587866391569\ 4898348590254041066375*c_1001_2^17 - 3777737475733693195374683669164653834533686495010742677271581972650\ 430787748828966719071212473195657431/504130092092909115913641055838\ 65070074197513339454952801498545878663915694898348590254041066375*c\ _1001_2^16 - 351051220240339746267051399977808574633769562211914142\ 66356329173158072759347815338476595733487826428156/5041300920929091\ 1591364105583865070074197513339454952801498545878663915694898348590\ 254041066375*c_1001_2^15 + 6951795794188609808703491685033655019215\ 869428116743843385372859681908000254164730793673416895007876327/504\ 1300920929091159136410558386507007419751333945495280149854587866391\ 5694898348590254041066375*c_1001_2^14 + 1727163829693528661552032558826148725899879283693240003627267433625\ 240669617692064878549747059155167422/387792378533007012241262350645\ 1159236476731795342688677038349682974147361146026814634926235875*c_\ 1001_2^13 - 3727368711998390323680163183908185172195090714030165861\ 69728416208742243112621684382502159665236061661/2965471129958288917\ 1390650343450041220116184317326442824410909340390538644057852111914\ 14180375*c_1001_2^12 - 83282638525125171771977079714905688781144133\ 8308383101625819022919456144270831408447844983508836384876/38779237\ 8533007012241262350645115923647673179534268867703834968297414736114\ 6026814634926235875*c_1001_2^11 + 361899386740634673679774952718424\ 9908213395367226182997048768312615120665517575545010833045497285177\ 516/504130092092909115913641055838650700741975133394549528014985458\ 78663915694898348590254041066375*c_1001_2^10 + 3761193664515747124507593986399604298507492986667762259478685874737\ 017628446193398790426311186636516391/504130092092909115913641055838\ 65070074197513339454952801498545878663915694898348590254041066375*c\ _1001_2^9 - 1774303045899934554255008727835112159252144159742470520\ 13684160158873064443022597763662616402929602838/7201858458470130227\ 3377293691235814391710733342078504002140779826662736706997640843220\ 05866625*c_1001_2^8 - 869270558908493432424352303084026579194352360\ 513484411140417732857331443906995613774741831833925072792/504130092\ 0929091159136410558386507007419751333945495280149854587866391569489\ 8348590254041066375*c_1001_2^7 + 6922139216107489442997760160426185\ 636253032262366139249399281915759967976114390076937569668369209853/\ 2016520368371636463654564223354602802967900533578198112059941835146\ 556627795933943610161642655*c_1001_2^6 + 2412464813975332918272242369281561170622931951504798275353404751214\ 5790880080556852696477218228603514/10082601841858182318272821116773\ 014014839502667890990560299709175732783138979669718050808213275*c_1\ 001_2^5 + 489289582462366994149161244591823325340856686257069268202\ 577856401862712593106898826219000733550653/775584757066014024482524\ 7012902318472953463590685377354076699365948294722292053629269852471\ 75*c_1001_2^4 - 279179401159060926056038443953561198598121990161897\ 6423990679468756725089738945910427406977908500391/10082601841858182\ 3182728211167730140148395026678909905602997091757327831389796697180\ 50808213275*c_1001_2^3 - 181703864252117884419864602802037791856673\ 9695131038418191978591799049405581100784814890673682118133/72018584\ 5847013022733772936912358143917107333420785040021407798266627367069\ 9764084322005866625*c_1001_2^2 + 2639116704205843220890516975479495\ 110964506799277603362980080471644779441319078569336475884514521303/\ 5041300920929091159136410558386507007419751333945495280149854587866\ 3915694898348590254041066375*c_1001_2 + 8919801898072582168440108865496826858176040095468368819130452736909\ 4566819102753037268589055772136/10082601841858182318272821116773014\ 014839502667890990560299709175732783138979669718050808213275, c_0011_0 - 1, c_0011_10 - 46129921529230248119506388011725038375345563804952830908310\ 49789199129868304846608681536/1652990417893427389290569929071404040\ 689057267713704223579382688005416595934802702737175*c_1001_2^33 + 4615621742465493544185457264997799060759098473809436018652958892184\ 8317484562863084265552/16529904178934273892905699290714040406890572\ 67713704223579382688005416595934802702737175*c_1001_2^32 + 6516672119107150964207053233570850204253468363214581019004343542875\ 729987879189285958088/194469460928638516387125874008400475375183207\ 96631814395051561035357842305115325914555*c_1001_2^31 + 9024041427624869745127795637549106608960471221972359400622549110392\ 0305434786970926492208/23614148827048962704150998986734343438415103\ 8244814889082768955429345227990686100391025*c_1001_2^30 - 6095396323800560940244402112435914970579416527186583531709005602788\ 455404833540082469905766/165299041789342738929056992907140404068905\ 7267713704223579382688005416595934802702737175*c_1001_2^29 - 1102939149767218501047475552738013180260813982806685864152460831760\ 0185494947714243137464256/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^28 + 3463400993618130151984754644104693012395811310202386735968687243431\ 5352898913998187806891252/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^27 + 1153096614299209553891499539978716155239655687002334638536591937847\ 0935754651978104858439723/23614148827048962704150998986734343438415\ 1038244814889082768955429345227990686100391025*c_1001_2^26 - 8957420994580837718397305789424253911137385894586374339151512964056\ 0501215958279422409498023/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^25 - 2790707705860135249143246303050020134859299412182484099299610983925\ 14127496888682725837038879/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^24 + 2922147674516230943470782585867990162208486092596776119935067551522\ 3592380602660775621423157/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^23 + 6124976350825960805974365288912161833565179387873688690553225045448\ 36610808071577159095180896/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^22 - 1910550097243884629361371249356988045649574265426441695627571137891\ 03926415817386361428464508/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^21 - 9803163425083817849222566343535884008162110758562125485946001034750\ 90342565605977621776539194/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^20 + 2737262122453055751534587245543304896591456631474902016259704096238\ 539764721834362083525224/194469460928638516387125874008400475375183\ 20796631814395051561035357842305115325914555*c_1001_2^19 + 1213356362290563420210923475961522608946711996008499202136430008477\ 162828166188159208198482228/165299041789342738929056992907140404068\ 9057267713704223579382688005416595934802702737175*c_1001_2^18 - 2687738452422336256472965431132205441615491430598970133551493240325\ 08262347071324500529248644/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^17 - 1189975031657164131654700702155549703383810608713094017759185833255\ 608929995271976442446753346/165299041789342738929056992907140404068\ 9057267713704223579382688005416595934802702737175*c_1001_2^16 + 2709508419505314727202767412198444794160443404261316434274946978668\ 60311131653201584052359404/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^15 + 9327868971883691927594570186783701822826316342927254488055773265575\ 65692581269643651563955607/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^14 - 2151827899159040961760030550720845442290007048106003293574496530495\ 50708712467129281330700949/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^13 - 3411463466005771823389771953688448859066052215839976730068327075117\ 8817609008642958430856651/97234730464319258193562937004200237687591\ 603983159071975257805176789211525576629572775*c_1001_2^12 + 1241013866393625232818424653303992275734077032663033031781031743119\ 59742936618926614414327167/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^11 + 2790759268977652377695662744979227223815368371401513988102162551212\ 67310535565130958803028006/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^10 - 4578592525346177342752227084563547957938720601563953062832095537726\ 6714511456272697671760594/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^9 - 9912873902482444536714292223758498692839712701611802026817317402981\ 4781229161011218065779931/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^8 + 5691380964191069164669451305062942004220866644429389349056431519498\ 356916940734438448434128/165299041789342738929056992907140404068905\ 7267713704223579382688005416595934802702737175*c_1001_2^7 + 9254208182831200854551368171364376981632954560488651674364560973348\ 52419349129176143987911/6611961671573709557162279716285616162756229\ 0708548168943175307520216663837392108109487*c_1001_2^6 + 7045198153307664902314986082229667212113187919521005391264476972103\ 46280743497118149089459/3305980835786854778581139858142808081378114\ 53542740844715876537601083319186960540547435*c_1001_2^5 - 4728025583539336519893940399696635897046970425320789243037636701514\ 94310073754849123250331/3305980835786854778581139858142808081378114\ 53542740844715876537601083319186960540547435*c_1001_2^4 - 3399048584028734849228519523380585470610638624732187173970691358169\ 46626406395284540905786/3305980835786854778581139858142808081378114\ 53542740844715876537601083319186960540547435*c_1001_2^3 - 1485138330344949022222548497375215087156729620766880072857239253982\ 90418570566672258959746/1652990417893427389290569929071404040689057\ 267713704223579382688005416595934802702737175*c_1001_2^2 + 2325862799325231318335859767518304213427726347722064310880586366219\ 91544846853978701478523/1652990417893427389290569929071404040689057\ 267713704223579382688005416595934802702737175*c_1001_2 + 5530942586742265641975323778257430418578600249504019558304578800072\ 919245232845281157146/330598083578685477858113985814280808137811453\ 542740844715876537601083319186960540547435, c_0011_12 - 11787363231874493201311480314739776417642891860754409851633\ 260292040651290049469913430904/214888754326145560607774090779282525\ 28957744480278154906531974944070415747152435135583275*c_1001_2^33 + 1026303624647284196742398560236428359823225489351168420299377902266\ 30248185574020393581628/2148887543261455606077740907792825252895774\ 4480278154906531974944070415747152435135583275*c_1001_2^32 + 1860342306426416506513251661880620998175233877671096635931527401528\ 7011311223513786646412/25281029920723007130326363621092061798773817\ 0356213587135670293459651949966499236889215*c_1001_2^31 + 4706499155923491446253419389968056026283197253334564961336660638595\ 05950365174318259480137/3069839347516365151539629868275464646993963\ 497182593558075996420581487963878919305083325*c_1001_2^30 - 1465263977238888299784839124396975414702865487363214878796527954701\ 1188618595440789257892024/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^29 - 4691590725801884020330898146033878846199467771696261184292476443437\ 5574668453442367827225359/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^28 + 6857746254073793399294628330705334254541796723465729806978203654323\ 8476015902019631753490828/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^27 + 4447090479363833234085813258412403602015924646077786584715960173719\ 2096757125706980530060822/30698393475163651515396298682754646469939\ 63497182593558075996420581487963878919305083325*c_1001_2^26 - 7519555163340083046953824271009605315908963627076900920187868701512\ 5136366115827677198829422/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^25 - 9798835342119674078692473091139779039048055142273129064341590717359\ 40382430587619367203297006/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^24 - 1818722060570389492846399519462909192967649021570541338302849579592\ 716107730978725414757854/330598083578685477858113985814280808137811\ 453542740844715876537601083319186960540547435*c_1001_2^23 + 1532001885324941495691147448049952948234144837372001855898399587215\ 74903588123621131427331863/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^22 + 3626873682391326636413324316988504803830352536594871752447949440107\ 1110445929177756032622576/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^21 - 3008458418578023779275920912398171623284817856129429935209595673291\ 121242619636652765727217141/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^20 - 8972140294298086822541579939454185008064923835450231193599079769621\ 262416337411852418136999/252810299207230071303263636210920617987738\ 170356213587135670293459651949966499236889215*c_1001_2^19 + 3550767126269891472011899991302175543769447863694278661140996262705\ 363082060071122166414346517/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^18 + 8128193959146482627577832588168521747359505733940527830591233738993\ 78510593928714769103367534/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^17 - 3328160136793166947697991058842935497299316992908650357153711117768\ 131369211817143130262563819/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^16 - 6520622378414291449400375325929846290604050802436754673739759252773\ 42912927541456062823761869/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^15 + 2480121895367450739316954186822399559765262339339690964186186952428\ 013487877877088916844154698/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^14 + 4442105832237992094403184776218126899632348570269049069970941468971\ 22887553392866593717550989/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^13 - 8444687811973818365795681334826348118817588102838079807152103943310\ 4035961326552826460301639/12640514960361503565163181810546030899386\ 90851781067935678351467298259749832496184446075*c_1001_2^12 - 2774851133658545040183703558676854035369404227775957040987813463694\ 52308535533050100381916887/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^11 + 4720068682613856086692289897327459200362128250615137237513887833258\ 2507307266386952573509943/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^10 + 1562612765349526848306798196788969622088842705715853158308774246392\ 49556575623045576271995084/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^9 - 1726576266220415553142015816753871119969609146149466070193335706726\ 59173762504566057324547309/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^8 - 7202875234769357487136061372631191417842237904378578359310196484446\ 3746335789555513210187358/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^7 + 5653001988287154933235618205283652138019089832084655813547449727435\ 3301812120388616916061/66119616715737095571622797162856161627562290\ 708548168943175307520216663837392108109487*c_1001_2^6 + 4183460485800628980614154959713955762352226569493187090123457999482\ 079359922118317021624571/429777508652291121215548181558565050579154\ 8896055630981306394988814083149430487027116655*c_1001_2^5 + 1181456285844405605851218061145222527007397979572576465447666847948\ 439882356939158149368086/429777508652291121215548181558565050579154\ 8896055630981306394988814083149430487027116655*c_1001_2^4 - 3162010820899287406940762739372727692449915357080797920280144647225\ 54018916389879611333484/4297775086522911212155481815585650505791548\ 896055630981306394988814083149430487027116655*c_1001_2^3 - 1358867363686724628037956244099607782806693755866726813043697232755\ 643446744179150839345219/214888754326145560607774090779282525289577\ 44480278154906531974944070415747152435135583275*c_1001_2^2 - 1751747641191282547012145081486945736855512217618955212875739860374\ 6099905360477202414806/16529904178934273892905699290714040406890572\ 67713704223579382688005416595934802702737175*c_1001_2 - 5516693489254846238178609858197661266049490365380599652419658887945\ 549687811046733158991/429777508652291121215548181558565050579154889\ 6055630981306394988814083149430487027116655, c_0011_3 - 466558394377239945664700807767840830202539824677834164726923\ 184891316747133364060358192/330598083578685477858113985814280808137\ 811453542740844715876537601083319186960540547435*c_1001_2^33 + 4541377798254053907246065058608142466054947337734199947702404501090\ 836913674947355750904/330598083578685477858113985814280808137811453\ 542740844715876537601083319186960540547435*c_1001_2^32 + 6750097941577798435781770744824408565219660087719013821603631801101\ 99051723985375219448/3889389218572770327742517480168009507503664159\ 326362879010312207071568461023065182911*c_1001_2^31 + 1116728293406072520474124014102764035680702123304583084314453306343\ 0898041173118428831466/47228297654097925408301997973468686876830207\ 648962977816553791085869045598137220078205*c_1001_2^30 - 6078162641409619819543410312991423551825746986697261929474771554019\ 72164182998340337810032/3305980835786854778581139858142808081378114\ 53542740844715876537601083319186960540547435*c_1001_2^29 - 1281537515292885614724616289304505141012770885864158407455606531085\ 905425198035979022131532/330598083578685477858113985814280808137811\ 453542740844715876537601083319186960540547435*c_1001_2^28 + 3314017651232738751086203371703536388173702467077394373458539328493\ 159771503658406286469159/330598083578685477858113985814280808137811\ 453542740844715876537601083319186960540547435*c_1001_2^27 + 1308170244520162272418088940113219799901622123530280873205364097080\ 326023780230317009317221/472282976540979254083019979734686868768302\ 07648962977816553791085869045598137220078205*c_1001_2^26 - 7600303034618647880159609240807919619613743227290437517430409444883\ 422865468866920882016501/330598083578685477858113985814280808137811\ 453542740844715876537601083319186960540547435*c_1001_2^25 - 3116066332144732599003157564472279292278845006441846582865877807035\ 8176598991310668745923853/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^24 + 1969166790639297765586587247151109335282314886404349895990213645643\ 790804218248463454325440/661196167157370955716227971628561616275622\ 90708548168943175307520216663837392108109487*c_1001_2^23 + 6783863599584875789570219528349034268513280384571686385587746468642\ 0576731831600343534160092/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^22 - 9076146564399087176132684319513477554131691977654192184104951101933\ 046795655210300216946966/330598083578685477858113985814280808137811\ 453542740844715876537601083319186960540547435*c_1001_2^21 - 1085493693375608625917493835574990317079099550753567963287748952396\ 00978167294465750882328408/3305980835786854778581139858142808081378\ 11453542740844715876537601083319186960540547435*c_1001_2^20 + 9896523798383985014545640588228697748386459724830847168719654012659\ 2864078209966238268652/38893892185727703277425174801680095075036641\ 59326362879010312207071568461023065182911*c_1001_2^19 + 1351144576239615829646936214568336469526946145865032476902489022673\ 40895891446967400917751276/3305980835786854778581139858142808081378\ 11453542740844715876537601083319186960540547435*c_1001_2^18 - 1038959562104245238299692679653303014115511437868800397864710605214\ 4952129626040796159265598/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^17 - 1337173458328724807727422698143926568541330515375984224968853425054\ 51951308179242502323633252/3305980835786854778581139858142808081378\ 11453542740844715876537601083319186960540547435*c_1001_2^16 + 1299385693435065335149560361081675011205821869101962620567677277080\ 2150870057985912502650973/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^15 + 1058439453676775020329724422499909296575803248133870061201591935810\ 37784616671111508613074329/3305980835786854778581139858142808081378\ 11453542740844715876537601083319186960540547435*c_1001_2^14 - 1207797550211394204404616822826425933092359271930303845856481611365\ 3943185197087430195362433/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^13 - 3898518587371261414902506463932148349299405482510118220546858412752\ 070539446975397096133627/194469460928638516387125874008400475375183\ 20796631814395051561035357842305115325914555*c_1001_2^12 + 7466763572675591421387998302660097667759183910880112734595256193938\ 041252266520555454441554/330598083578685477858113985814280808137811\ 453542740844715876537601083319186960540547435*c_1001_2^11 + 3191053819537752841921038252397041246932476382210186520703380260818\ 8591021211495194525594362/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^10 - 2580477680212827043178058337538088253993421848118084975149940230135\ 057350498098704074800673/330598083578685477858113985814280808137811\ 453542740844715876537601083319186960540547435*c_1001_2^9 - 1119125466689953872999761863443779670138729368498973592758212233325\ 6605127138191480824141192/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^8 - 4409638748657527660272443671730592822589551622226208644163252110492\ 6572584780774994833539/33059808357868547785811398581428080813781145\ 3542740844715876537601083319186960540547435*c_1001_2^7 + 4988027237404471677509551141080036254278408476747632747957062900751\ 20078338475179829094113/6611961671573709557162279716285616162756229\ 0708548168943175307520216663837392108109487*c_1001_2^6 + 9652103333577901594295782948443103207189159496812628017435593019070\ 8492208780529633339719/66119616715737095571622797162856161627562290\ 708548168943175307520216663837392108109487*c_1001_2^5 - 4134694234370099105865974912017663153735621372309446577328205284063\ 0052597545807717571246/66119616715737095571622797162856161627562290\ 708548168943175307520216663837392108109487*c_1001_2^4 - 3645284456398280193293617659327444991831565465368413131330839054680\ 8386746898873443424926/66119616715737095571622797162856161627562290\ 708548168943175307520216663837392108109487*c_1001_2^3 - 2439026998036464865239231302901172282806593660305833276871914053283\ 1337022443434973728012/33059808357868547785811398581428080813781145\ 3542740844715876537601083319186960540547435*c_1001_2^2 + 2387688238814201753420999857921728154570419667615341014574336360607\ 1533665210551849187646/33059808357868547785811398581428080813781145\ 3542740844715876537601083319186960540547435*c_1001_2 + 5105044023996410059222070529837068180642572568533622174107059161296\ 74569700713717975705/6611961671573709557162279716285616162756229070\ 8548168943175307520216663837392108109487, c_0011_9 - 365591268982664186519521417581466130269187492294355552747946\ 118646169480195376318644458424/214888754326145560607774090779282525\ 28957744480278154906531974944070415747152435135583275*c_1001_2^33 + 3859392076188114617195795320239187481118539403787311069307552756205\ 540864956057140875482068/214888754326145560607774090779282525289577\ 44480278154906531974944070415747152435135583275*c_1001_2^32 + 4897665948128890523741507088348434384647066385908845240812972512411\ 60538963226619244354512/2528102992072300713032636362109206179877381\ 70356213587135670293459651949966499236889215*c_1001_2^31 + 4102051133555992151053650233898937888526623248739309425609364401489\ 524747839140975961538597/306983934751636515153962986827546464699396\ 3497182593558075996420581487963878919305083325*c_1001_2^30 - 4834160330134083833533281781885192452059141664470404147379797367904\ 74697833472547312986214719/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^29 - 6045811383466578884722047754486741127140996446338481870181997210535\ 47407150518722913048496329/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^28 + 2887141116851139133521541175255542030965838036723076079882149193246\ 086773188749638827049288493/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^27 + 6671304275107711777369159491728764049390663775472165160792777209573\ 53912601595920437504378507/3069839347516365151539629868275464646993\ 963497182593558075996420581487963878919305083325*c_1001_2^26 - 8471111768366234265489026527648609754882874708349887263559892154073\ 718044099814301666611324232/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^25 - 1626066193006959325416912823163113780525953540971753805467203765253\ 8847826600613209260712166511/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^24 + 2554137693447996395419109802274024253098441185201659269880302992512\ 56133915819556973914001306/3305980835786854778581139858142808081378\ 11453542740844715876537601083319186960540547435*c_1001_2^23 + 2705814246398706749238031849322179260771702045433170113326646174657\ 406399295425953901553647728/165299041789342738929056992907140404068\ 9057267713704223579382688005416595934802702737175*c_1001_2^22 - 1983247518820654077152579899204227972474401375593119161307688933839\ 450724322773310529414275394/165299041789342738929056992907140404068\ 9057267713704223579382688005416595934802702737175*c_1001_2^21 - 5459644779389846744067846236909979652060943447591760613946732253491\ 1154939107783702573628958496/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^20 + 3956164474540733433959811131260005439200237138912039309907695213718\ 98441200045905740338736481/2528102992072300713032636362109206179877\ 38170356213587135670293459651949966499236889215*c_1001_2^19 + 6474792691148285088003181512706453459338721163977231357597827491369\ 7437665302230716859270792252/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^18 - 3677154867958399319635863894558549686149494851807068353456984765672\ 5517766798004950006786511021/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^17 - 6043001118505442827754131270289814457849435419705904842367998401915\ 4230265689064563352557807164/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^16 + 3289460996224622804157818581196343132302110441217074969757163274976\ 0292096626630644812693204611/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^15 + 4506581449162452360096585529066212278637375346874923282583552374654\ 3826980203744019105779755263/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^14 - 2313807296495390234960210293046260117103453193529774356474569751393\ 1893685682545549635930790966/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^13 - 1578453936955326117772797409288162533593025845889323376505337262154\ 499535285333827463815615984/126405149603615035651631818105460308993\ 8690851781067935678351467298259749832496184446075*c_1001_2^12 + 1214982286764953325738593191270755654815683705347663184699462751756\ 5249160873218293141213501053/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^11 + 9653092337070998874057890778742156169076781222769120464223418465790\ 97507860638967225525045308/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^10 - 4323239198755208569649169228804379590218331811459189159752130209143\ 176460497900360077999954321/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^9 - 4454043252783154395657479171968485738998835755608534672854736332666\ 456738883561740867367072354/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^8 + 7323642608911123216743548616879504027995867029454172879310473292078\ 92624375677212290804648052/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^7 + 3357457736279147025703650143436087677106727634512358496542324877079\ 652853826129963253992170/661196167157370955716227971628561616275622\ 90708548168943175307520216663837392108109487*c_1001_2^6 + 2441579234896304908424105127158137980026877900950590636836538688152\ 2414923893611888078665641/42977750865229112121554818155856505057915\ 48896055630981306394988814083149430487027116655*c_1001_2^5 - 2695088853774911839231901794214334969669510545181072985287833792999\ 8457109981810850675734734/42977750865229112121554818155856505057915\ 48896055630981306394988814083149430487027116655*c_1001_2^4 - 1576151190786960061057489943777339490946779771668298224850954024470\ 6359938377778586533587714/42977750865229112121554818155856505057915\ 48896055630981306394988814083149430487027116655*c_1001_2^3 - 8566407380292283018886173161884016182384651870106950912582560615229\ 07262595474680518084739/2148887543261455606077740907792825252895774\ 4480278154906531974944070415747152435135583275*c_1001_2^2 + 7909701929334590085005600530041498165880663124713452539926540880123\ 11058515451160439147439/1652990417893427389290569929071404040689057\ 267713704223579382688005416595934802702737175*c_1001_2 + 2150967259603262907142124732130994393596606085478871135377365301210\ 42511147893611634700164/4297775086522911212155481815585650505791548\ 896055630981306394988814083149430487027116655, c_0101_1 - 315982665672567665557065843608667281349018876002217649700179\ 39372320317068898375082226264/2148887543261455606077740907792825252\ 8957744480278154906531974944070415747152435135583275*c_1001_2^33 + 3125181979877381269168826264258710388766328677981833631154778229647\ 44007462363393551944348/2148887543261455606077740907792825252895774\ 4480278154906531974944070415747152435135583275*c_1001_2^32 + 4501579188813378770639998987680872821971019697623492866256384133379\ 3979471759987343399652/25281029920723007130326363621092061798773817\ 0356213587135670293459651949966499236889215*c_1001_2^31 + 6875410995830014552813948269342207932510655803428225911032877968910\ 04773016455782455069317/3069839347516365151539629868275464646993963\ 497182593558075996420581487963878919305083325*c_1001_2^30 - 4078218962080453902342486275249163051397303026245135829442855324970\ 6700901992321101256639334/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^29 - 8021658602524524362487050553620214447077737044254351626156919073374\ 8718025487799523002243019/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^28 + 2230200471193075645337658621272992514971625052091012269193046876307\ 71169065215187709005814098/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^27 + 8227244142799974757860817419721898000013419884415298962249329819656\ 4579797825920091210409002/30698393475163651515396298682754646469939\ 63497182593558075996420581487963878919305083325*c_1001_2^26 - 5171782914181779209326439134229202752181517768289061707636052164192\ 89410883581825055893573477/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^25 - 1946927623756578922446304905861030284427971271387150607879281360858\ 908280920786457659359164071/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^24 + 1054870081362165979838752225055792067620878237484703638492660106027\ 2664894345569839284395896/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^23 + 3229123656280455041054926703102068639126711683756813566893184861680\ 30754468366038466059076858/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^22 - 4927286179478091415506119585616414444535225342019870711853136668521\ 5755233932563388933055234/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^21 - 6653205922447452546155427103319489959806338039377432079057226359510\ 220079945576773251419128506/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^20 + 6400475165935694368416402745183485109621174632599702859100152251452\ 282872772500847289544041/252810299207230071303263636210920617987738\ 170356213587135670293459651949966499236889215*c_1001_2^19 + 8219297878856141022084085984171644781890339478746452132820631542256\ 352128238196072845593504622/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^18 - 5607869574527874576113756366840523605834904111381594944278791980806\ 46966363278189385593441806/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^17 - 8101094908642707609662315002883962838208200724305875722710148618265\ 989212885209772756860579179/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^16 + 6270532905658300424780531179505419344310450032755128226216163462569\ 06933628690412927975119871/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^15 + 6412683253316597447208558791682714113329129917141078122060433984503\ 412277521650842866001479618/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^14 - 5456609170789465558403146386026353620228215819530013777773314148377\ 58770508083626653264653876/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^13 - 2370803638077312753721899161442030996780443530166827581229403624045\ 60138393378680464988772499/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^12 + 3084445429882242746992104758601759924298699808399322209207712689842\ 62896685351345054133341508/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^11 + 1502548548226695726759803903593772536435745637658229160564829382859\ 68997375588225221133622163/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^10 - 7930288684559692970530363001818545923420612592375949685497023069292\ 3266019304843491748265356/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^9 - 6902259601765158680685204546406303205045814754958487215513319186862\ 13211771960006675062502369/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^8 - 3019702772546682048985858665106880071846485255357274935923158230276\ 9317467452712721413543928/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^7 + 4734701460234230009601286708522523998214087632888647643820533158389\ 58998044859569350422739/6611961671573709557162279716285616162756229\ 0708548168943175307520216663837392108109487*c_1001_2^6 + 6963723640449050109106844937318181508496527898623367956428780825400\ 412660904148402138722196/429777508652291121215548181558565050579154\ 8896055630981306394988814083149430487027116655*c_1001_2^5 - 2362691287022411938401949035325250592826176983924056129098753980253\ 367007068450966116017054/429777508652291121215548181558565050579154\ 8896055630981306394988814083149430487027116655*c_1001_2^4 - 2267962969819856181753860333171650025956467787588659380389191174532\ 512115905465561067234329/429777508652291121215548181558565050579154\ 8896055630981306394988814083149430487027116655*c_1001_2^3 - 1912005292226414589834473479244906104323556711237783467540361433254\ 394104493261233204107229/214888754326145560607774090779282525289577\ 44480278154906531974944070415747152435135583275*c_1001_2^2 + 1096952501872472693661704662689448845067900392537060472297819622400\ 32777571747599372263679/1652990417893427389290569929071404040689057\ 267713704223579382688005416595934802702737175*c_1001_2 + 4187594526639042473936808129596382219701137945425560151193315820508\ 3924988256552519388384/42977750865229112121554818155856505057915488\ 96055630981306394988814083149430487027116655, c_0101_10 + 67477734266794112080320868902622337993975030611513986197014\ 565639664443810266688521216232/429777508652291121215548181558565050\ 5791548896055630981306394988814083149430487027116655*c_1001_2^33 - 6954539830748679954952523906847505599442385558273913868694056402546\ 74611993882987111524644/4297775086522911212155481815585650505791548\ 896055630981306394988814083149430487027116655*c_1001_2^32 - 9265600756230517778401528955266816919918632984934448328594743106529\ 0245634266837377540676/50562059841446014260652727242184123597547634\ 071242717427134058691930389993299847377843*c_1001_2^31 - 1009132730076887020312777949625130986890526895684234341148503940478\ 120598881203263947135351/613967869503273030307925973655092929398792\ 699436518711615199284116297592775783861016665*c_1001_2^30 + 8933632530841595712691515900810586030479364869308455793028156622464\ 2662963939543185014273822/42977750865229112121554818155856505057915\ 48896055630981306394988814083149430487027116655*c_1001_2^29 + 1337217363198442496005320436053834258366231342110708272216763805941\ 45137836185015342760849792/4297775086522911212155481815585650505791\ 548896055630981306394988814083149430487027116655*c_1001_2^28 - 5232144357388144120425996055844196506874957280339517577867651184250\ 87423235602306006439810669/4297775086522911212155481815585650505791\ 548896055630981306394988814083149430487027116655*c_1001_2^27 - 1431545159275738152414221639209135525903761060610362359056406995714\ 90115312439215442461025341/6139678695032730303079259736550929293987\ 92699436518711615199284116297592775783861016665*c_1001_2^26 + 1464711681857651920038378388560527391694359606088898339248610435086\ 353973497141007586060346826/429777508652291121215548181558565050579\ 1548896055630981306394988814083149430487027116655*c_1001_2^25 + 3466927804158033145683910078149063158726526841622966743787987875001\ 352162863565657578882879238/429777508652291121215548181558565050579\ 1548896055630981306394988814083149430487027116655*c_1001_2^24 - 4168321108630291728255402268345700577092506375135370860368787756169\ 9182646019513862341711211/66119616715737095571622797162856161627562\ 290708548168943175307520216663837392108109487*c_1001_2^23 - 5793257503869607075086659572387904995712064801709211811451050543783\ 59848558704870345135259054/3305980835786854778581139858142808081378\ 11453542740844715876537601083319186960540547435*c_1001_2^22 + 3104175401108960751552197199300881214613382420634050737478504408724\ 29354701791650472227614607/3305980835786854778581139858142808081378\ 11453542740844715876537601083319186960540547435*c_1001_2^21 + 1182403226882164145111542510211723186437096950775065883945315306795\ 8227785550684583827768644193/42977750865229112121554818155856505057\ 91548896055630981306394988814083149430487027116655*c_1001_2^20 - 6146973762977095108680290803701958985604973905176404414507558017261\ 3859029106560267840759144/50562059841446014260652727242184123597547\ 634071242717427134058691930389993299847377843*c_1001_2^19 - 1424899648733382698935422473115363001063091283250349973613034586992\ 9519242306648589692264152036/42977750865229112121554818155856505057\ 91548896055630981306394988814083149430487027116655*c_1001_2^18 + 5847162814898903818966080029824643028799645812586205056009553527934\ 285235551412838704585624463/429777508652291121215548181558565050579\ 1548896055630981306394988814083149430487027116655*c_1001_2^17 + 1353739436469199770435254612898879890220403417430859415880655911201\ 7825203801512290716534732852/42977750865229112121554818155856505057\ 91548896055630981306394988814083149430487027116655*c_1001_2^16 - 5428647713082523568459447449102243349243271961275181765595422149024\ 557641837845757040167123973/429777508652291121215548181558565050579\ 1548896055630981306394988814083149430487027116655*c_1001_2^15 - 1026231201168598638235187977773653759567574153321285993813292144043\ 1952430874855637825867435129/42977750865229112121554818155856505057\ 91548896055630981306394988814083149430487027116655*c_1001_2^14 + 3957568316973820223669483142534136891560753611440920830350720262039\ 326276607020311176228261428/429777508652291121215548181558565050579\ 1548896055630981306394988814083149430487027116655*c_1001_2^13 + 3636078263379370721227227113868276291821649476406236273006688770836\ 59864681829745646351248097/2528102992072300713032636362109206179877\ 38170356213587135670293459651949966499236889215*c_1001_2^12 - 2132039768682532899582706235986478999472063989871925613856208445948\ 946236577816819470510234509/429777508652291121215548181558565050579\ 1548896055630981306394988814083149430487027116655*c_1001_2^11 - 2229436215094186598218550117069128102496867822219237958579417498912\ 46976816505264290383761844/3305980835786854778581139858142808081378\ 11453542740844715876537601083319186960540547435*c_1001_2^10 + 7611384955234254896581714913258332233738377334347510203144332095663\ 55119590122253096730596763/4297775086522911212155481815585650505791\ 548896055630981306394988814083149430487027116655*c_1001_2^9 + 1015949937401091386851758828350990537627935124396601087659391187585\ 523757247262973952434414177/429777508652291121215548181558565050579\ 1548896055630981306394988814083149430487027116655*c_1001_2^8 - 1150700103676833149122504676558411776369109402580766581533165349999\ 08037066890598506382735576/4297775086522911212155481815585650505791\ 548896055630981306394988814083149430487027116655*c_1001_2^7 - 3689218426354592528995111691833543512163130758197238229605914047732\ 244578572105508694624678/661196167157370955716227971628561616275622\ 90708548168943175307520216663837392108109487*c_1001_2^6 - 6703556694419457876496330721755403979736575336854563496448356042145\ 046873019790701480499954/859555017304582242431096363117130101158309\ 779211126196261278997762816629886097405423331*c_1001_2^5 + 5344231626984733111132454312493159023902264506259377729616058290617\ 009861589273766665385799/859555017304582242431096363117130101158309\ 779211126196261278997762816629886097405423331*c_1001_2^4 + 3534290198061623364058078409354327444049849162271334809933380310707\ 607003712081000559172232/859555017304582242431096363117130101158309\ 779211126196261278997762816629886097405423331*c_1001_2^3 + 7776101939629158569106187616163403801954918086361450672456868042254\ 31336900417434706981122/4297775086522911212155481815585650505791548\ 896055630981306394988814083149430487027116655*c_1001_2^2 - 1716898946157909620939564711540674991555935052667258299495326539477\ 40848363546797500754877/3305980835786854778581139858142808081378114\ 53542740844715876537601083319186960540547435*c_1001_2 - 5024008909802058743359210507358018317711095196074344652521853113742\ 5797951063832180863623/85955501730458224243109636311713010115830977\ 9211126196261278997762816629886097405423331, c_0101_12 + 77657057838412635837453691745079450159715420637900061249846\ 46471708231726012993852528552/1652990417893427389290569929071404040\ 689057267713704223579382688005416595934802702737175*c_1001_2^33 - 8283908049457843597697579449328204260933643813505109717572367333302\ 5436992916891173096564/16529904178934273892905699290714040406890572\ 67713704223579382688005416595934802702737175*c_1001_2^32 - 1029976567747464683624854113756482341738860842543650134615084553125\ 7248598791710946588316/19446946092863851638712587400840047537518320\ 796631814395051561035357842305115325914555*c_1001_2^31 - 7271852123269650870697352030421239522112900458594095978663181522037\ 4152234796843199237231/23614148827048962704150998986734343438415103\ 8244814889082768955429345227990686100391025*c_1001_2^30 + 1036465836978024657491911829287900380195606485852896538160802094832\ 4724632754237446386140812/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^29 + 1171525893274193633152943165639368121865448721459839971294021949147\ 6513779085317264753745642/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^28 - 6306532167372695212905136474150383847244226012747693678317798002753\ 4416127444968248719382689/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^27 - 1323732060603615200960836166681046425894242856560170983616159842149\ 6721697588658155422957411/23614148827048962704150998986734343438415\ 1038244814889082768955429345227990686100391025*c_1001_2^26 + 1926452352076099389708873590486398112296807402698151318937180718046\ 17357024398826419644171436/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^25 + 3275100208436308964484718231626798516072775051187344348422045480683\ 36344145838231952125636078/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^24 - 7898586706994232822121403343716646696450800382608644144314275747179\ 8181411458336409497720884/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^23 - 7141194710012516858226242713450428879371422667246594314475780608815\ 00379816019136940071258722/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^22 + 6357233457053668028341475091950354299928055922073307368989669996272\ 46169280213850822774287731/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^21 + 1109295486963377600960440288781272325719754615780783148820568043900\ 000412017073140291288219258/165299041789342738929056992907140404068\ 9057267713704223579382688005416595934802702737175*c_1001_2^20 - 9955788666554544587777849284041510174912152366938446412320406613002\ 838834267020269998533323/194469460928638516387125874008400475375183\ 20796631814395051561035357842305115325914555*c_1001_2^19 - 1308657701906016477097074802490575666559086847575345547761545643719\ 067782210576984409111221221/165299041789342738929056992907140404068\ 9057267713704223579382688005416595934802702737175*c_1001_2^18 + 9312047906882441557956504802999739069048922332579095668060422651209\ 16492583498761180637877783/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^17 + 1209404297253372451909647797960424117898405094996417790600149518314\ 237207477776883078945720247/165299041789342738929056992907140404068\ 9057267713704223579382688005416595934802702737175*c_1001_2^16 - 8314343814762527327145657686663662404903129005835248031155232354238\ 13278045866864911395972578/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^15 - 8910314101615405273747898558706179953792460909769898018519229888262\ 86494188424233388869828449/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^14 + 5835828053424452767813183722444787943093333740760180295220291285769\ 78792914749306709934510618/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^13 + 3089278829842118168447241874757104984392272372757959752179251465266\ 6896661358372001435223132/97234730464319258193562937004200237687591\ 603983159071975257805176789211525576629572775*c_1001_2^12 - 3078478389740986797614235300134495637635629432060285535518314767039\ 90567005176123439355659319/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^11 - 2451170476560288630132480659351124004082176689886833175826834893686\ 43806953884408288798941867/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^10 + 1122272855979745809111720251169476494640141450295525411816391883323\ 95512070907078940740547958/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^9 + 8844985584243753006071416931294424454524654600078001133653535493782\ 9448351127426872743529867/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^8 - 2160433900025063647099464813095252294806905975014797975361841749310\ 0513249649352638341837696/16529904178934273892905699290714040406890\ 57267713704223579382688005416595934802702737175*c_1001_2^7 - 9160235651696077683283446262384685376495793728599683648485030632719\ 72441900203341367477978/6611961671573709557162279716285616162756229\ 0708548168943175307520216663837392108109487*c_1001_2^6 - 2977123488767731219027541651821375607729406560871703967486283508172\ 22266655672874107500848/3305980835786854778581139858142808081378114\ 53542740844715876537601083319186960540547435*c_1001_2^5 + 6619304438896373223490291218834082265442318722256411763929897912178\ 56624370620777707992157/3305980835786854778581139858142808081378114\ 53542740844715876537601083319186960540547435*c_1001_2^4 + 3266508568128029065584468001123690875955406823071049050630109905134\ 94700126757580224310262/3305980835786854778581139858142808081378114\ 53542740844715876537601083319186960540547435*c_1001_2^3 - 7029590787081275368164403770140777287153633695782150403685638955825\ 2379521300012814183078/16529904178934273892905699290714040406890572\ 67713704223579382688005416595934802702737175*c_1001_2^2 - 2274370846537687920572806673399946258602329836302340900031073265972\ 43784926294496333197336/1652990417893427389290569929071404040689057\ 267713704223579382688005416595934802702737175*c_1001_2 - 4924133419385343865212973992567357114896686465463883229888006406631\ 336192615402974896087/330598083578685477858113985814280808137811453\ 542740844715876537601083319186960540547435, c_0101_3 - 545572179680032921506583081223337413016059036138977879886588\ 4313694858131465011081432792/12640514960361503565163181810546030899\ 38690851781067935678351467298259749832496184446075*c_1001_2^33 + 5718342309078847441466818591395945904732364019185520561014989278995\ 8318644644822997878044/12640514960361503565163181810546030899386908\ 51781067935678351467298259749832496184446075*c_1001_2^32 + 1251722891961885131569332177115749174607492312446317994694848491257\ 25361654001358482674772/2528102992072300713032636362109206179877381\ 70356213587135670293459651949966499236889215*c_1001_2^31 + 6742311101772051978788313612724518592112587263393409716304753947569\ 7181594815987207169301/18057878514802147950233116872208615570552726\ 4540152562239764495328322821404642312063725*c_1001_2^30 - 7210685873899854635625219288917497735151973035489956321235734050561\ 023295627353777274666402/126405149603615035651631818105460308993869\ 0851781067935678351467298259749832496184446075*c_1001_2^29 - 9558224166819417202603828921013992236503239358291220139644764149234\ 906593490665639798591557/126405149603615035651631818105460308993869\ 0851781067935678351467298259749832496184446075*c_1001_2^28 + 4277075845556479721461413017335520940562109396768776782881787416957\ 1076129696083315960651869/12640514960361503565163181810546030899386\ 90851781067935678351467298259749832496184446075*c_1001_2^27 + 1043262310291023781627832367739694833270382987916162942767450069570\ 7573077136506600483164481/18057878514802147950233116872208615570552\ 7264540152562239764495328322821404642312063725*c_1001_2^26 - 1234754633517779433281144617162049831293507892789626841234414279796\ 27472269033997125417929131/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^25 - 2534141250968148941727872881382740753201085671684274587547558968116\ 50364601916987310858784888/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^24 + 3648230301778079014908340318022563512850035195461027167183192967772\ 695998848765188000884103/194469460928638516387125874008400475375183\ 20796631814395051561035357842305115325914555*c_1001_2^23 + 4216191314015737007320617928764273757004911609118458612653617031307\ 6261422716479112699412999/97234730464319258193562937004200237687591\ 603983159071975257805176789211525576629572775*c_1001_2^22 - 2786307437157148001674497255846747187561646659596977387695802766848\ 5203245242164117597336027/97234730464319258193562937004200237687591\ 603983159071975257805176789211525576629572775*c_1001_2^21 - 8527649468320577123905839859621364202959867957527059673052463273748\ 80480523462397417395625668/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^20 + 9373346681408781156173051296120597569636414374267311631916406284201\ 6905358767434351759967941/25281029920723007130326363621092061798773\ 8170356213587135670293459651949966499236889215*c_1001_2^19 + 1015860737497461542350211824964110513744404778615822415602241908103\ 102144442251799906496689416/126405149603615035651631818105460308993\ 8690851781067935678351467298259749832496184446075*c_1001_2^18 - 5122903878324602456325528438563692594856904651633408763829588005651\ 51003855239800613186187243/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^17 - 9539176138007338067278387565665086895633782220684564320101958469357\ 43864124092493756009536637/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^16 + 4598012783620508213321274985143238477841919007273296497290497611179\ 83946201150705099107548938/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^15 + 7164993182657189572600891336383702316562958674704003421897968256708\ 94952985119713256313808729/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^14 - 3241961869641623300680433809963076949404644571604848007319098726263\ 20851301505160624517723978/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^13 - 4297584680999249821030158621822222569564066940200763618807667415894\ 16491415744299252537406324/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^12 + 1697574392689056033187136913206919878826575019464560058844678207051\ 49694902768420707873428349/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^11 + 1555355618421806726794985219725771868766339797292569873571934504623\ 3435595261749272118884014/97234730464319258193562937004200237687591\ 603983159071975257805176789211525576629572775*c_1001_2^10 - 5937720043700210706364246714618279012079293720990797518996075932183\ 9811702207963104416979293/12640514960361503565163181810546030899386\ 90851781067935678351467298259749832496184446075*c_1001_2^9 - 7191287014959762768259150277499131504954614929071022222023997184848\ 6799329722668740123089532/12640514960361503565163181810546030899386\ 90851781067935678351467298259749832496184446075*c_1001_2^8 + 9072945285740414239028744996803906236317173572088883240991392252153\ 396989192416264407447341/126405149603615035651631818105460308993869\ 0851781067935678351467298259749832496184446075*c_1001_2^7 + 5376771711811000182844742161877026585649991294226926680612608677528\ 4167226699650508999358/38893892185727703277425174801680095075036641\ 59326362879010312207071568461023065182911*c_1001_2^6 + 4675328987128864318781218559220510352323657421833108794789144134425\ 08685413235680213230603/2528102992072300713032636362109206179877381\ 70356213587135670293459651949966499236889215*c_1001_2^5 - 4111879608851550013001096401595681604414909007120209083585666985340\ 30032073648286115026667/2528102992072300713032636362109206179877381\ 70356213587135670293459651949966499236889215*c_1001_2^4 - 2535870880601220849782034259048765410642808157604715747936196712496\ 18193694676314014667357/2528102992072300713032636362109206179877381\ 70356213587135670293459651949966499236889215*c_1001_2^3 - 5025569766615859424755426692867525449816851419563429797414995561308\ 5085106026763847319012/12640514960361503565163181810546030899386908\ 51781067935678351467298259749832496184446075*c_1001_2^2 + 1260424205251155121927123485618632234232188052396781714687609582843\ 2915396373915651970762/97234730464319258193562937004200237687591603\ 983159071975257805176789211525576629572775*c_1001_2 + 3978715682614299888150459067178562002511064984872682200442560463963\ 183222912340872834602/252810299207230071303263636210920617987738170\ 356213587135670293459651949966499236889215, c_0101_9 + 275336304191537711676127395928462126194432824774478047179321\ 001817673449867460582672824512/214888754326145560607774090779282525\ 28957744480278154906531974944070415747152435135583275*c_1001_2^33 - 2824949719091782186339055058513575514688472193898079582422287666331\ 245055026849519387589184/214888754326145560607774090779282525289577\ 44480278154906531974944070415747152435135583275*c_1001_2^32 - 3797102446013157389579216049063952384446761672960523793939739638113\ 24032360724331145644336/2528102992072300713032636362109206179877381\ 70356213587135670293459651949966499236889215*c_1001_2^31 - 4318607704233800275211503040526227407276353692067054614389293236661\ 704042924662046463276936/306983934751636515153962986827546464699396\ 3497182593558075996420581487963878919305083325*c_1001_2^30 + 3639428787501395573789551119453343195527553624962254610853289944406\ 00859795258131551643269572/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^29 + 5623194095718627062690981120860142131017718414952468179753852346834\ 61932106307051623989725952/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^28 - 2119480457603000718509141115895201891953187966325147642209400215783\ 527854165331876638172588834/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^27 - 5986015192227970176637400880327998469047299234752195940953552635359\ 40199792063918448052536516/3069839347516365151539629868275464646993\ 963497182593558075996420581487963878919305083325*c_1001_2^26 + 5851751763464482657462036263684116634325664351247379347373908395295\ 164485940980049904157559466/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^25 + 1445630289085239318990749828432207209849905066289520414133585381269\ 7437079335895079233708498568/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^24 - 1635261730862914066227495067030186633426841898995610025311600642359\ 95447612601858149345606808/3305980835786854778581139858142808081378\ 11453542740844715876537601083319186960540547435*c_1001_2^23 - 2413496806922447153496280278472246079146919720542245722391355255707\ 635094236153766403505920814/165299041789342738929056992907140404068\ 9057267713704223579382688005416595934802702737175*c_1001_2^22 + 1198626578184368865986559912330622653926783496037658556411905072178\ 665443812471575832426153897/165299041789342738929056992907140404068\ 9057267713704223579382688005416595934802702737175*c_1001_2^21 + 4929877179800747274147997614407628615275964489975924728723013339665\ 7874006419467117410945356873/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^20 - 2356473542761883771406494894360225481136016928542274744688130265235\ 14619110090336166052268308/2528102992072300713032636362109206179877\ 38170356213587135670293459651949966499236889215*c_1001_2^19 - 5953538294935827142245981978579173329517458421424241229133788946732\ 2509022749261259566527389701/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^18 + 2245443951525235044729769371352792240028912801345183581255484427444\ 1110380815440631216256822523/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^17 + 5673300514158862295667410338573976600143416355887582886681629597661\ 4291370828534700954760135132/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^16 - 2098099057944453383635263955836128962626072486032905773625771451986\ 1215345766369509335913708143/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^15 - 4315196755438377069436562322984739648671658069602296324428476226104\ 2847908861514256953666741369/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^14 + 1539292407038919254556028484996643861437526141195936147740962332291\ 5141899482661684870546304258/21488875432614556060777409077928252528\ 957744480278154906531974944070415747152435135583275*c_1001_2^13 + 1533339047188479122183609501252231427924791369790853262390731087400\ 982648008839622825494058942/126405149603615035651631818105460308993\ 8690851781067935678351467298259749832496184446075*c_1001_2^12 - 8322229565128419021020866005490211410430502907438502523242903694431\ 642861496174137670558298014/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^11 - 9414217353002480551573790579042494401969227702103033131539416839936\ 06712847684218561600101379/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^10 + 2961314172593802880627945425064707779120958496320946990143786212396\ 112899320515001956509335298/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^9 + 4281004625562107690003604283998260183446949216908870979243775564803\ 319376391995555438832583402/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^8 - 4268385656479795110172562073524997837613134566708749116055695171286\ 71007270908671683732010801/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^7 - 3077619811898465565055660899868121295781475279320347466433655965699\ 236059557657393753875852/661196167157370955716227971628561616275622\ 90708548168943175307520216663837392108109487*c_1001_2^6 - 2927159923089783389839165404121776007317768682342586217308361818170\ 5281888892188157262055768/42977750865229112121554818155856505057915\ 48896055630981306394988814083149430487027116655*c_1001_2^5 + 2142170163284195615601013626857527539150458455788189668009577833277\ 5425092984791514460699582/42977750865229112121554818155856505057915\ 48896055630981306394988814083149430487027116655*c_1001_2^4 + 1469139720739401641036794372735085362667311270023221794280590152371\ 4716506881334140202737467/42977750865229112121554818155856505057915\ 48896055630981306394988814083149430487027116655*c_1001_2^3 + 4116764079770035005166233991184963201309166841452346250685134610251\ 553788018407240454879882/214888754326145560607774090779282525289577\ 44480278154906531974944070415747152435135583275*c_1001_2^2 - 7124452079623139278511825113259448994258226532502390907729246276232\ 21885325539348630105957/1652990417893427389290569929071404040689057\ 267713704223579382688005416595934802702737175*c_1001_2 - 2058833162827810973213523716351120978247854365959892411678246594022\ 69938894765995164162877/4297775086522911212155481815585650505791548\ 896055630981306394988814083149430487027116655, c_1001_0 - 366466416449252165436581117951286062347917163626067476456273\ 22714505821213080355929068984/2148887543261455606077740907792825252\ 8957744480278154906531974944070415747152435135583275*c_1001_2^33 + 3720974890229050661456154166436127300634220671099611097778268382682\ 36215405892196739108388/2148887543261455606077740907792825252895774\ 4480278154906531974944070415747152435135583275*c_1001_2^32 + 5096250892851306314251974342777822234596785599205273265605047969390\ 3191871154296297846072/25281029920723007130326363621092061798773817\ 0356213587135670293459651949966499236889215*c_1001_2^31 + 6461127804442558695580712413451345555375286649784539079388537260927\ 12943105961110588043677/3069839347516365151539629868275464646993963\ 497182593558075996420581487963878919305083325*c_1001_2^30 - 4757438561537721814841280086026258367721595227564151506816431787794\ 6493511503128706627512829/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^29 - 7971610231867486487632722968531412647347694659386505966221125954953\ 1983541246403773503259439/21488875432614556060777409077928252528957\ 744480278154906531974944070415747152435135583275*c_1001_2^28 + 2692931720888357495616122439228846706716722869896805412523905465624\ 19185136962678623308599638/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^27 + 8314090736883394657675995977583273363904301940822937108772870065282\ 7051209035180142346071862/30698393475163651515396298682754646469939\ 63497182593558075996420581487963878919305083325*c_1001_2^26 - 6925847500113469278054972951167818131930619141667315262412416144439\ 76219736083430129078917762/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^25 - 1963049204174640086481854948833700570351545346095997316825720913138\ 095716445575181894348499401/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^24 + 1758515103251728574493678380275964725109839146245434376764509473112\ 1923522296196860703090421/33059808357868547785811398581428080813781\ 1453542740844715876537601083319186960540547435*c_1001_2^23 + 3217201660114578784814827789930891998884093318369503884586832137361\ 73295948690432505167050373/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^22 - 1174516987076872800138598269205325375585291600291053444476897393630\ 77041862148579619197633029/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^21 - 6488726798801930282825538499194131594101674557121003677593796923711\ 177843340091043136663059086/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^20 + 2178861533573743794671899124108396563655196066782693401558568286073\ 4143429413571120510955051/25281029920723007130326363621092061798773\ 8170356213587135670293459651949966499236889215*c_1001_2^19 + 7769791397616795596016078790764918966904086537030504117053536351678\ 623676979845365587653413632/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^18 - 2042187010406196860426875859266974262281861011218118186106500084306\ 294185037185989213699610111/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^17 - 7356003356626593974342629094240024288931650316875932051113076636541\ 361036354362149196750808099/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^16 + 1911734656782811860494850688544595712646962028655085577276128161514\ 306727794394048122394018326/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^15 + 5556464741076373034015786512670094548152182776506509036588498271181\ 698428291487619089399444533/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^14 - 1387531512404461562237846500533493276179201365814520784802415475199\ 571358126220832715562903031/214888754326145560607774090779282525289\ 57744480278154906531974944070415747152435135583275*c_1001_2^13 - 1951918622275678670272374598355430137815200724559203937103604366382\ 00521556782898254626716869/1264051496036150356516318181054603089938\ 690851781067935678351467298259749832496184446075*c_1001_2^12 + 7144966972855350779144892585278172234420043822309829707961664708500\ 79561123595897491426353223/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^11 + 1172572814294676076338415590973061656589586964624653433330935458469\ 28360934716488676810466578/1652990417893427389290569929071404040689\ 057267713704223579382688005416595934802702737175*c_1001_2^10 - 2169094932955217121650992245206407608160808045335174059836975479898\ 09563105017256267576353236/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^9 - 5108013542452250785997161974857074737037906555938108413377727674297\ 88850740568085568762951989/2148887543261455606077740907792825252895\ 7744480278154906531974944070415747152435135583275*c_1001_2^8 + 1671978262413882110582748223959400686348071510468424563104734407379\ 805824869053212967733632/214888754326145560607774090779282525289577\ 44480278154906531974944070415747152435135583275*c_1001_2^7 + 3318290668000612582690395418355478219699972365953183722188668997218\ 92197779923033854374613/6611961671573709557162279716285616162756229\ 0708548168943175307520216663837392108109487*c_1001_2^6 + 5509523009801643883892726791620828463021435007629279944350537855183\ 281779893340601298209791/429777508652291121215548181558565050579154\ 8896055630981306394988814083149430487027116655*c_1001_2^5 - 1495821266277426258222069938090202638047811253778910654782579370772\ 114506514838525830837494/429777508652291121215548181558565050579154\ 8896055630981306394988814083149430487027116655*c_1001_2^4 - 1696617419207860843203107388756064655452315942694329194112488181148\ 738168520371306456117994/429777508652291121215548181558565050579154\ 8896055630981306394988814083149430487027116655*c_1001_2^3 - 1102792801232580429801635325222103308626376691437199316261054698844\ 647033610794544170295774/214888754326145560607774090779282525289577\ 44480278154906531974944070415747152435135583275*c_1001_2^2 + 5877887434151061311917814998743237431065128785992787911621125187358\ 1092247620522645167024/16529904178934273892905699290714040406890572\ 67713704223579382688005416595934802702737175*c_1001_2 + 2004979265981382546556013686042943612919145617419891548116697064160\ 0621403359156722128859/42977750865229112121554818155856505057915488\ 96055630981306394988814083149430487027116655, c_1001_12 + 18760717775225835180269127446515422713553214132953493093167\ 72916839960912079764610145208/2361414882704896270415099898673434343\ 84151038244814889082768955429345227990686100391025*c_1001_2^33 - 1952421769296419568702671065294256746732145569345060655008798410261\ 0397480461844419246156/23614148827048962704150998986734343438415103\ 8244814889082768955429345227990686100391025*c_1001_2^32 - 2550540078979680240984213752605110820229944743589198448740050394190\ 561043436796874305044/277813515612340737695894105726286393393118868\ 5233116342150223005051120329302189416365*c_1001_2^31 - 1769689866143209581564706939450532595058135999350309457688902976496\ 05250545845382000237343/2361414882704896270415099898673434343841510\ 38244814889082768955429345227990686100391025*c_1001_2^30 + 2479550552219001239344412157152928844271002142770917616619867775460\ 311744328092214169826998/236141488270489627041509989867343434384151\ 038244814889082768955429345227990686100391025*c_1001_2^29 + 3468757773444128862250091196907317367729549646173094636123103362550\ 625023992135396450716843/236141488270489627041509989867343434384151\ 038244814889082768955429345227990686100391025*c_1001_2^28 - 1461964547397331784744362970318660013781194933838432076648431908793\ 5736436072095119548631856/23614148827048962704150998986734343438415\ 1038244814889082768955429345227990686100391025*c_1001_2^27 - 2625560396995777415398345051084525427576774649530557000149642343050\ 4132983893725627222916733/23614148827048962704150998986734343438415\ 1038244814889082768955429345227990686100391025*c_1001_2^26 + 4161382846163799166273360426513452567045147344165291454538011647541\ 4549330503494286982905819/23614148827048962704150998986734343438415\ 1038244814889082768955429345227990686100391025*c_1001_2^25 + 9088432026974939596026356415629862137599249374198955363499209143813\ 0688866919002388417726212/23614148827048962704150998986734343438415\ 1038244814889082768955429345227990686100391025*c_1001_2^24 - 1572926941880113223696883586513673450188556110485294047297921420240\ 4242642552149864248232101/47228297654097925408301997973468686876830\ 207648962977816553791085869045598137220078205*c_1001_2^23 - 1967583953482476288437209752938140597371863763088936813249776595905\ 63790133713376322715530013/2361414882704896270415099898673434343841\ 51038244814889082768955429345227990686100391025*c_1001_2^22 + 1189303883134777342912213833797771847043609934815240116182864045724\ 36730931527412002281991699/2361414882704896270415099898673434343841\ 51038244814889082768955429345227990686100391025*c_1001_2^21 + 3070988326171057981575990497264825678956505424450740058696283574106\ 57341370877902612004315257/2361414882704896270415099898673434343841\ 51038244814889082768955429345227990686100391025*c_1001_2^20 - 1811997470114702344087702476649999955178956685002930903636271981800\ 595083234864223291951877/277813515612340737695894105726286393393118\ 8685233116342150223005051120329302189416365*c_1001_2^19 - 3673881023890760147615588974953150220142926545197598657731467419154\ 56622499747201542130872734/2361414882704896270415099898673434343841\ 51038244814889082768955429345227990686100391025*c_1001_2^18 + 1700887076049964627952312805588233105468593941199482667814818747877\ 77547408451391787390654782/2361414882704896270415099898673434343841\ 51038244814889082768955429345227990686100391025*c_1001_2^17 + 3463932207503720916097542476186405636750039769023571202988298795316\ 82095038099645566150429438/2361414882704896270415099898673434343841\ 51038244814889082768955429345227990686100391025*c_1001_2^16 - 1548911926305565141203092555984220320644883614368702988140045468344\ 29745633504723104693194637/2361414882704896270415099898673434343841\ 51038244814889082768955429345227990686100391025*c_1001_2^15 - 2608334658934328797510218684890032394319036908656847572187929139814\ 38570062976227172714739721/2361414882704896270415099898673434343841\ 51038244814889082768955429345227990686100391025*c_1001_2^14 + 1107904429763439359579292755728655090742043962425754242977800441947\ 47888879757250990727126672/2361414882704896270415099898673434343841\ 51038244814889082768955429345227990686100391025*c_1001_2^13 + 9198122109858372646483242000861169090656731016038798454319061994242\ 911991321185720606983403/138906757806170368847947052863143196696559\ 43426165581710751115025255601646510947081825*c_1001_2^12 - 5874086017657586961026963764797049916860083564473757225506980617868\ 5239770660912045269361426/23614148827048962704150998986734343438415\ 1038244814889082768955429345227990686100391025*c_1001_2^11 - 7319838610765206529046084305276090499605929960514485936097507616670\ 6355929128090718692535843/23614148827048962704150998986734343438415\ 1038244814889082768955429345227990686100391025*c_1001_2^10 + 2074801251180894540136737305567589416963822687005469786546900771089\ 6259269938139154608870857/23614148827048962704150998986734343438415\ 1038244814889082768955429345227990686100391025*c_1001_2^9 + 2573608945717854530553908832425664510857308237029820888724967046182\ 1300458934650650757159193/23614148827048962704150998986734343438415\ 1038244814889082768955429345227990686100391025*c_1001_2^8 - 3178408469906976264577546937605112777908636545891487351027541276149\ 944174277449644753975109/236141488270489627041509989867343434384151\ 038244814889082768955429345227990686100391025*c_1001_2^7 - 2451155292452018510240244230390434082183952092228061719536859776431\ 76963326861535443480433/9445659530819585081660399594693737375366041\ 529792595563310758217173809119627444015641*c_1001_2^6 - 1673229270503290525685714925598268377724010195443744516669137198768\ 51770586553496580648967/4722829765409792540830199797346868687683020\ 7648962977816553791085869045598137220078205*c_1001_2^5 + 1388880301539599745661598773429160777426225031329848084310390360316\ 23118648216171696924193/4722829765409792540830199797346868687683020\ 7648962977816553791085869045598137220078205*c_1001_2^4 + 8971381423096226692402968227019006674404227136846567615288477970109\ 1666355643628104837538/47228297654097925408301997973468686876830207\ 648962977816553791085869045598137220078205*c_1001_2^3 + 1831627384858788900344913719303653198753318540845504465224570889805\ 0907342697151315720463/23614148827048962704150998986734343438415103\ 8244814889082768955429345227990686100391025*c_1001_2^2 - 5627176437880787114959260490186106018435125037021395651491692516938\ 9001116939869815164494/23614148827048962704150998986734343438415103\ 8244814889082768955429345227990686100391025*c_1001_2 - 1275216245602025793087712784007199065596839583893505945949763984586\ 457034171314821481163/472282976540979254083019979734686868768302076\ 48962977816553791085869045598137220078205, c_1001_2^34 - 19/2*c_1001_2^33 - 125*c_1001_2^32 - 1593/8*c_1001_2^31 + 9893/8*c_1001_2^30 + 12199/4*c_1001_2^29 - 48951/8*c_1001_2^28 - 84359/4*c_1001_2^27 + 75939/8*c_1001_2^26 + 549877/8*c_1001_2^25 + 16815/8*c_1001_2^24 - 286897/2*c_1001_2^23 - 128453/4*c_1001_2^22 + 1778797/8*c_1001_2^21 + 268875/4*c_1001_2^20 - 272148*c_1001_2^19 - 705483/8*c_1001_2^18 + 2153783/8*c_1001_2^17 + 689593/8*c_1001_2^16 - 1730341/8*c_1001_2^15 - 544613/8*c_1001_2^14 + 138812*c_1001_2^13 + 359459/8*c_1001_2^12 - 68591*c_1001_2^11 - 98649/4*c_1001_2^10 + 24286*c_1001_2^9 + 87171/8*c_1001_2^8 - 9935/2*c_1001_2^7 - 27735/8*c_1001_2^6 - 85/8*c_1001_2^5 + 1185/2*c_1001_2^4 + 919/4*c_1001_2^3 - 189/8*c_1001_2^2 - 255/8*c_1001_2 - 25/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.290 Total time: 3.500 seconds, Total memory usage: 64.12MB