Magma V2.19-8 Tue Aug 20 2013 23:59:16 on localhost [Seed = 1848117023] Type ? for help. Type -D to quit. Loading file "K13n1399__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1399 geometric_solution 11.50315976 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 3 -3 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.757457499447 0.733755001051 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562221699275 0.301273789041 8 0 3 9 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755975650058 0.396006802354 6 2 10 0 0132 0213 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -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.166771711854 0.668022889676 11 12 0 9 0132 0132 0132 2310 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 -3 0 3 0 4 -4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298403529999 1.214778015583 12 1 12 7 2031 0132 3201 1302 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -1 0 -3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065424218461 0.973645843928 3 8 1 7 0132 2103 0132 2031 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 0 3 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.202110036504 1.728195012716 11 6 5 1 1302 1302 2031 0132 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 -3 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 0 0 0 0 0.364096243560 1.063835771212 2 6 11 11 0132 2103 0321 2103 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.081889428905 0.587160264651 4 10 2 10 3201 3201 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395659377664 0.971821584023 9 12 9 3 3120 0321 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395659377664 0.971821584023 4 7 8 8 0132 2031 0321 2103 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 -4 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635444869816 0.823900066847 5 4 5 10 2310 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065424218461 0.973645843928 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_1']), 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : negation(d['c_0101_3']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_12' : d['c_1001_2'], 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : d['c_1001_2'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(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_1100_9' : negation(d['c_0101_10']), 'c_1100_8' : negation(d['c_0101_1']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : negation(d['c_1001_1']), 'c_1100_1' : negation(d['c_1001_1']), 'c_1100_0' : d['c_0011_9'], 'c_1100_3' : d['c_0011_9'], 'c_1100_2' : negation(d['c_0101_10']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_3']), 'c_1100_10' : d['c_0011_9'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0011_7']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : d['1'], 's_1_6' : negation(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' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : d['c_0101_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : negation(d['c_0101_11']), '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_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_11']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], '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_11, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 1411142263065492748537673813693124851995140564071708348025904264518\ 8043609577387343598650386860874413767775419121/12918890664398565273\ 9500292147507399899738211376719376601645717834348968226854792488355\ 515345607558139626815488*c_1001_2^33 - 1165279494045874507519613842575502276347168258363080320611985018451\ 328725482300458762432959976140675936651265653/129188906643985652739\ 5002921475073998997382113767193766016457178343489682268547924883555\ 15345607558139626815488*c_1001_2^32 - 1538366075638023851853997279763054705504636231954179615642672763953\ 6636875522161917455968021671928351066533799493/16148613330498206592\ 4375365184384249874672764220899220752057147292936210283568490610444\ 39418200944767453351936*c_1001_2^31 - 1633600865936211182581534190932632685109791675249120125325639976205\ 2552833584329003577478311855331614938494739325/32297226660996413184\ 8750730368768499749345528441798441504114294585872420567136981220888\ 78836401889534906703872*c_1001_2^30 + 4020021753500520979001788439490408868065644005948842448156027697208\ 75879176546304377590741596030403487598264518723/6459445332199282636\ 9750146073753699949869105688359688300822858917174484113427396244177\ 757672803779069813407744*c_1001_2^29 + 8825053691632244979040777477870714376811804371315560687056213953988\ 462443481319269649166058780760929062120003391/645944533219928263697\ 5014607375369994986910568835968830082285891717448411342739624417775\ 7672803779069813407744*c_1001_2^28 - 8208495804123780672696290351866376688799173753909208294877255613799\ 17323872396060109372060773755253632927623352863/6459445332199282636\ 9750146073753699949869105688359688300822858917174484113427396244177\ 757672803779069813407744*c_1001_2^27 - 3206193340636159501866759617089231390291708649957879709581576834268\ 3145311365696562741217184713223911164749545025/99376082033835117491\ 9233016519287691536447779820918281551120906418068986360421480679657\ 8103508273703048216576*c_1001_2^26 + 2392128092938297883163495193781525280311669964861787982126981769636\ 523611172318027313543761633106595151279571727351/129188906643985652\ 7395002921475073998997382113767193766016457178343489682268547924883\ 55515345607558139626815488*c_1001_2^25 - 1540972438627511682222613063225805700597282947730658556610793593975\ 002225264082734764498873851906188464155179952997/129188906643985652\ 7395002921475073998997382113767193766016457178343489682268547924883\ 55515345607558139626815488*c_1001_2^24 + 4980574980617068219643041343144086064031668277187784243642724256476\ 2046187189628932700599244121849619577302020979/10092883331561379120\ 2734603240240156171670477638062012970035717058085131427230306631527\ 7463637559047965834496*c_1001_2^23 - 2622534163996919325072705247973763200351975487735895100889960874316\ 5596520259065738844912336724424168452441271497/99376082033835117491\ 9233016519287691536447779820918281551120906418068986360421480679657\ 8103508273703048216576*c_1001_2^22 - 1489260263876827485281104829059593829682054412191390258736649921956\ 724774723060207716637994893225324622034233484971/129188906643985652\ 7395002921475073998997382113767193766016457178343489682268547924883\ 55515345607558139626815488*c_1001_2^21 - 1057948080037573033210582724182942904196712860606842404180981785119\ 234634698026789086521119824668731437678621733363/129188906643985652\ 7395002921475073998997382113767193766016457178343489682268547924883\ 55515345607558139626815488*c_1001_2^20 - 5331361002282106566299467013704323378849924651129304557400911871560\ 870557068015543529000562810847934254115690009387/645944533219928263\ 6975014607375369994986910568835968830082285891717448411342739624417\ 7757672803779069813407744*c_1001_2^19 + 8783860567678592557175915423984651366801183534146152388420493948861\ 726426543309052037496683188641349493914619059211/645944533219928263\ 6975014607375369994986910568835968830082285891717448411342739624417\ 7757672803779069813407744*c_1001_2^18 + 2109008567616161758055626113234126283346658394605347928505381937931\ 6448695380169835009171958191670570558023008000599/12918890664398565\ 2739500292147507399899738211376719376601645717834348968226854792488\ 355515345607558139626815488*c_1001_2^17 + 2752323257762953909281662405849771466734763585434748056579344897767\ 251230062845675945478918705482168671071977397/817237516725617742532\ 2639938480984305398419241948341131176981138306488374674518755589291\ 203542988242638336*c_1001_2^16 + 2786807603137727947495296486229909\ 3119913421574692987450974979423125072412350101220709398102843721130\ 408751968413827/645944533219928263697501460737536999498691056883596\ 88300822858917174484113427396244177757672803779069813407744*c_1001_\ 2^15 + 136781581103016900691618887485883455267725505266531813965412\ 5428985441435005143370287190465427616643459913621954341/40371533326\ 2455164810938412960960624686681910552248051880142868232340525708921\ 2265261109854550236191863337984*c_1001_2^14 + 3316508554981308374786291324932214871614581353915280585344944012231\ 5631099185521087789395050453831279977810714997393/12918890664398565\ 2739500292147507399899738211376719376601645717834348968226854792488\ 355515345607558139626815488*c_1001_2^13 + 7538612737821005866059259489224523429849551569425893192413820885881\ 54039309813704887003435411658267539536884694761/6799416139157139617\ 8684364288161789420914848093010198211392483070709983277291996046502\ 90281347766217875095552*c_1001_2^12 + 3687476040419423837385127447851049293057950816654980758833059274711\ 6076447056024309725012584840563549857801091054491/12918890664398565\ 2739500292147507399899738211376719376601645717834348968226854792488\ 355515345607558139626815488*c_1001_2^11 + 9023510607855400703650800851619363983343610107527469343191902439252\ 0545005525368756137505015505631571039812065344565/12918890664398565\ 2739500292147507399899738211376719376601645717834348968226854792488\ 355515345607558139626815488*c_1001_2^10 + 1362151376875886500332689177726090436493711497390134965469338110136\ 30863096108946006700964489708630232326623701536717/1291889066439856\ 5273950029214750739989973821137671937660164571783434896822685479248\ 8355515345607558139626815488*c_1001_2^9 + 8109234102082288461996116332215307313383334721198502735763816991724\ 154648517350739630350539138303624977004942561311/679941613915713961\ 7868436428816178942091484809301019821139248307070998327729199604650\ 290281347766217875095552*c_1001_2^8 + 5789768495159099012327854258641220940274936544836924122185433201974\ 043217834474441444358140958286089050975841254895/496880410169175587\ 4596165082596438457682238899104591407755604532090344931802107403398\ 289051754136851524108288*c_1001_2^7 + 9414646905682201855254439547893788306040764662603679437967494679404\ 5604067692852155348290467808458627945577880050691/12918890664398565\ 2739500292147507399899738211376719376601645717834348968226854792488\ 355515345607558139626815488*c_1001_2^6 + 8818245247152798231319833161424303752514371276403454475791225232173\ 642540056785466501829234951685935847817230446513/322972266609964131\ 8487507303687684997493455284417984415041142945858724205671369812208\ 8878836401889534906703872*c_1001_2^5 + 3895456075068589902009633967791393348893040923968904748230987897407\ 622859136882773888011565561683814099555306853/482408165212791832485\ 0645711258678114254600872917079036655926730184800904662240197474067\ 0405379969432272896*c_1001_2^4 + 6069467264262310276560721432840505\ 4803003973717993720154560804295438258514690342048153011720313064710\ 94625700298021/1291889066439856527395002921475073998997382113767193\ 76601645717834348968226854792488355515345607558139626815488*c_1001_\ 2^3 + 1161736935353961125746696771743802726775133971459936942545791\ 3524130824716429349319582707719185272443781941142049/62110051271146\ 9484324520635324554807210279862388073925969450566511293116475263425\ 424786131469267106440513536*c_1001_2^2 + 4735198170536400254112646760108954188514594705433001522591380926508\ 007692278481583557955032459694907261059592743/169985403478928490446\ 7109107204044735522871202325254955284812076767749581932299901162572\ 570336941554468773888*c_1001_2 - 4098037093243190381626507224384124\ 4125424197956540427229751671566429336642202963428704440931511742876\ 371183469935/129188906643985652739500292147507399899738211376719376\ 601645717834348968226854792488355515345607558139626815488, c_0011_0 - 1, c_0011_10 - 30681027682617439182491570454779908903414592804225730245413\ 502324478572193021539566295393/479509843122531742467205333626997509\ 799489492622340059013214410109382075936809191202568912*c_1001_2^33 + 2224812343873820035047378797291011996678688606750770849455345845617\ 0754341522464298730863/47950984312253174246720533362699750979948949\ 2622340059013214410109382075936809191202568912*c_1001_2^32 + 1316295693619139274659174053291564837705315205582108699862165520020\ 18824135089322024255981/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^31 - 7823073906048655557073344376442857788226010922624568468285889823219\ 760332845805654837159/119877460780632935616801333406749377449872373\ 155585014753303602527345518984202297800642228*c_1001_2^30 - 4535321550082815277066408684374746113099093622889326895996671120368\ 27442428320270568322595/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2^29 + 5554878813285677886425879823971941722207872313556715219123332200289\ 90025952789731564681219/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^28 + 8584769989238241030091695314655147123635703799961188363593899864713\ 65331690472664780324241/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2^27 - 1486554217757725354298657539092299862418334178558707360091297911661\ 125082296498924194845615/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^26 - 5373863626501643075722436014245947331369424384117971209482957654229\ 892533952587268451610779/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^25 + 6929580820697117061747633668635879560751141538511107078680464610857\ 918667271625477198264519/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^24 - 2078974066154267704165769537165783203944916564954815024318231546363\ 446376329614121879876071/599387303903164678084006667033746887249361\ 86577792507376651801263672759492101148900321114*c_1001_2^23 + 9705306967965239268711409296498126440322708056359243418836508674210\ 722297765021825944814803/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^22 + 2055659437729076766743438991945366139954340135424757016989986468832\ 888900283389286034268967/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^21 - 7676215816595756087833132389032423686350101247426492006062225384509\ 58801584802018871881635/4795098431225317424672053336269975097994894\ 92622340059013214410109382075936809191202568912*c_1001_2^20 + 5692459575506600795886872023828245358250264685449795307896151952752\ 568911987802995017862671/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^19 - 2648027157114790794191812773273051985416541146913877490003053482044\ 1634428894838997993752495/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^18 - 1950427988919973529319908125562367782078901069140312039128450802300\ 9898934357446845105851805/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^17 - 3350627811978139032642245466628545264527854314891315683324858877077\ 6706782993055120869575127/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^16 - 4232532029776979862554368188816256561149814586077991486369274856448\ 487438337784039474667939/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^15 - 6417563851436571817745033732478690912778272834626216893013768912110\ 147279208257587713946847/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^14 - 2463101544671041808024293466467357555996505311699769324396316512531\ 1149188498996226128204085/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^13 + 3595435047241707988683091832967734505316511371513568980802701906502\ 076686384321669542976997/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^12 - 6678980956037413403622177833761983144453511578364904405207823562268\ 1262355955429164782658587/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^11 - 1493150362116870179704249229095813294031237409683160751543917392926\ 92524927262100421595502743/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^10 - 1768909914338716981547534090827380181277157712341115685854851315564\ 32867507290953542682914653/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^9 - 1654519466725780709902822922425833120526632880810594788767496781875\ 65957890106692949882411161/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^8 - 7253022564170760104128013230295994134603983018697000789893050049817\ 5214783148681595041550639/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^7 - 3048910262524486894409228614951527511357007775593636145158130426751\ 4387214833961707912441051/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^6 + 2386119701872858049889499116872952315227508830933573093440282107110\ 397376733935954543267441/599387303903164678084006667033746887249361\ 86577792507376651801263672759492101148900321114*c_1001_2^5 + 1052468090848872548428798778537364972419059351946399665258634254672\ 53048393986816619527580/2996936519515823390420033335168734436246809\ 3288896253688325900631836379746050574450160557*c_1001_2^4 - 6414938358714033780772950770343891959529687809226096877982341265026\ 337722413925952297680253/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^3 + 1694865808090067963581659748213027545940266336025633258115111475431\ 18488571129522677461781/5993873039031646780840066670337468872493618\ 6577792507376651801263672759492101148900321114*c_1001_2^2 + 1717103319520561013571098311648809162007127528554962562164553310161\ 87035605929647829792009/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2 + 3512236690530849434758130464263622761609343802036595269911748235106\ 0519077063252753841085/47950984312253174246720533362699750979948949\ 2622340059013214410109382075936809191202568912, c_0011_11 + 48246453657986622950893982533619912295358387124520131261779\ 253180263125638947767653623997/239754921561265871233602666813498754\ 899744746311170029506607205054691037968404595601284456*c_1001_2^33 - 3900340755325544183611423640943407907831953633286289632819289849626\ 6744722222269923553609/47950984312253174246720533362699750979948949\ 2622340059013214410109382075936809191202568912*c_1001_2^32 - 1049584445484550527667887778548011008429371879035885791975343417047\ 84305241602649971497555/5993873039031646780840066670337468872493618\ 6577792507376651801263672759492101148900321114*c_1001_2^31 - 8657415306248582581135268979469835427163700824514337629410161305137\ 4235247878948123321651/23975492156126587123360266681349875489974474\ 6311170029506607205054691037968404595601284456*c_1001_2^30 + 7054977061487324664960369134296855099099964523882097313275189519926\ 43744257975695234291021/5993873039031646780840066670337468872493618\ 6577792507376651801263672759492101148900321114*c_1001_2^29 - 4169348295607003097609866992775698360611608955976266069581129920641\ 90392213469744532127401/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2^28 - 2822802578816776057257845057910098420372226335451378095976178494518\ 842741113824479989666387/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^27 + 4632069700113156517513251059529899445607545899653471803339188019858\ 46499308916181549634579/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^26 + 1717733964782346411815395403450203417619220392753987790906239075293\ 1862957737593225834952091/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^25 - 4003626999227483445180986395915741940582240926380452593806155248063\ 100085337986729103285771/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^24 + 4706226365702573403105901114149377654613521604314459945472599166146\ 7359903030028023455426197/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^23 - 1582530348780234524731877070145408798498346075073851816357331529169\ 7528034758279044039286697/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^22 - 2630078359425137640442748902844159792794893202863295735108876363031\ 540977726215514711002221/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^21 - 2058653551365520636543003371030644767821008406554702515924567057402\ 894556656761763214003599/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^20 - 4533961738850516643733461268551453810224575603148347387179387524185\ 027637147066098028448451/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^19 + 3620882420918875934935395893406126148393562292958172835563725138856\ 5465520842402845679944619/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^18 + 5260998774807751877252958786106063385836329251968482325474641943916\ 2816774219214385128215153/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^17 + 2488129190039593965768277694824708203716110188715935660703682981021\ 71477388468742502117029061/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^16 + 2899961544118832391821733032683560100321165657442771374104375330496\ 87804091720645206245932835/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^15 + 1735714804376493732023449813614919209630924610260370507061332683418\ 32893509983277830381879453/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^14 + 1357384270990834368580625948272985490136516401888760250582715221286\ 39405532400586483598478837/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^13 + 1224650691703804634514846397544090102114714184175229323475311405969\ 4105613810198238679868991/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^12 + 2215674380271149184797543410114062312047655448185429857924261548677\ 47444997498649158729769183/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^11 + 1342007881493650209863488328231226060811522685488864068239413873837\ 73592721573371585477007841/1198774607806329356168013334067493774498\ 72373155585014753303602527345518984202297800642228*c_1001_2^10 + 7302862868896309527308298426988450848752983827485178618961161167318\ 51535981560050721727912593/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^9 + 3786239865117860246734252500013506070432010783225192390697496839144\ 36526295654854142911307143/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^8 + 6942632754994626498625451399521154663086268688076177404587067415478\ 12464213275291287806069583/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^7 + 3181277605022574254758666988930641857984292167402540809038265288651\ 26035730235545081437668297/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^6 + 1836485354785392880669204435794216189300153859145234895382144817080\ 9483481556231597576034885/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^5 - 2190469611356518423253067814545890426931818420134605711536512139108\ 42255303635326473840915/5993873039031646780840066670337468872493618\ 6577792507376651801263672759492101148900321114*c_1001_2^4 + 8614655014004808862862852552339371151273410206683520928098313366228\ 119104379100594844577701/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^3 + 2997197748875910876972145701464810578551024012466037539213311268138\ 984671574222038779215783/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^2 - 2802692923357002417617464872486612666984925806127160008260819192726\ 413581372854210787208607/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2 - 4664248441069982669798818285727338728855867554969913069592440656724\ 55652283948198282737197/4795098431225317424672053336269975097994894\ 92622340059013214410109382075936809191202568912, c_0011_3 + 393373364975376233129061680199086971367942634739477312104939\ 7837205902421138680647875641/11987746078063293561680133340674937744\ 9872373155585014753303602527345518984202297800642228*c_1001_2^33 - 1304082457796477679745621893173349432453696388598330998842666876980\ 0113952983903458183633/47950984312253174246720533362699750979948949\ 2622340059013214410109382075936809191202568912*c_1001_2^32 - 6436435308449171589949355689202326241595934471577398569707719686189\ 2083775891219529590625/23975492156126587123360266681349875489974474\ 6311170029506607205054691037968404595601284456*c_1001_2^31 + 6390929554201733380692919020950292803787156362549545784042635545592\ 901226730955707074853/119877460780632935616801333406749377449872373\ 155585014753303602527345518984202297800642228*c_1001_2^30 + 4430422142824744679670585067738749621052122209582721341606838642987\ 37182857482120078782431/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^29 - 3272724921211282490162552744902344216395356628585508037004396283011\ 54156679540148953684211/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^28 - 7031902063045047504227954292142864902287584223595123699489813572809\ 68033834454483734863911/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^27 + 3566792921072723841807483658733188029960230809735077436075045076881\ 99246770962033841150667/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^26 + 2169269435686179373976947417229210876279886734763121113457428544634\ 614221904905763148040253/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^25 - 1758165253629319280555522576409366836514454271661477717785935354695\ 310014940266345719756289/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^24 + 9677334003667221691401149385739070641800477382287611459354628744341\ 391435278502821442904075/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^23 - 7128070798951829435185451623372893372023876656724650505984520843755\ 447429289606492550528095/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^22 + 1252535311952483363801859192326757936878555713188735222131998803900\ 345136626755572902175625/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^21 - 1650839223382349056762919134874786807401835072433346554711973142396\ 413654023925892939193707/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^20 - 5758749390493113705356715494901098662347534436196732946678157993710\ 151876868876634782747487/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^19 + 1426245435847066011311069016694086209823767219583627013983955146340\ 4212321493589663147850543/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^18 + 1558384922041057453449775732642916216733750258409437054551958152063\ 180823647009817587797359/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^17 + 4289219266206513169663469370544418728680078317014117284213029726628\ 6907117468061236030378293/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^16 + 3249189694240587383973991214496162714063748615698578804247800259527\ 6575414117910967328107561/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^15 + 2112568954895135220446276183097196589156759814687004876819336549181\ 0248919442815819694584637/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^14 + 2176880526866652531686583023619932457252054729102532046962880379978\ 5312416469915141289767457/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^13 + 1262911193648794289814218110759920006305589300945490415892986188075\ 88041230533392299621497/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^12 + 4019911870497131326376542935877177499770510270168168032863130545889\ 2706037997974295081783157/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^11 + 3601913553870261551854192988038916865618020845704706426568629349128\ 0397248824023415573173203/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^10 + 9460741723205559806221642352649915080039734564995955105657644794472\ 9373139373728287304586897/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^9 + 4930901098200417899692654969988654478296112131404323039470243344889\ 9976075246967494960234597/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^8 + 9202531359183926128780254485377432592343180759566798220992325870019\ 2035170827335292986604043/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^7 + 3468142394502840628450301761915262150174348085070752555207649532345\ 1766546718063906980035057/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^6 + 3089438523321080289443497363495059678801215490063690285133728021264\ 378457627078094642599449/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^5 + 2792664600957022293341838307794497647071530992103635444924759668650\ 707025924109551735019199/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^4 + 1499769015580660248979231014214956080144899838718405723652564606320\ 998688548026701388886367/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^3 + 8676639276569585300821555830930657058381824193310151802399376319811\ 9196491649439630384327/47950984312253174246720533362699750979948949\ 2622340059013214410109382075936809191202568912*c_1001_2^2 + 5520136832070929796282981344553798293856961756604231002117263612442\ 4541977160585839796559/47950984312253174246720533362699750979948949\ 2622340059013214410109382075936809191202568912*c_1001_2 - 4708730144878660732603021948958293664560587642273072858133691699141\ 66703326923891208722631/4795098431225317424672053336269975097994894\ 92622340059013214410109382075936809191202568912, c_0011_7 + 164748342850750147343758396158401578027704073900604851263061\ 16129738158723333225176924125/1198774607806329356168013334067493774\ 49872373155585014753303602527345518984202297800642228*c_1001_2^33 - 1510531910668585821604004863611486770238950598844261536457866030862\ 0153844953342188416441/23975492156126587123360266681349875489974474\ 6311170029506607205054691037968404595601284456*c_1001_2^32 - 2824713586583254160281729139632980302191192773274401466309197488771\ 65833399132827644343759/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^31 - 4783384983335672025903519536295515295087259159412610727810133132639\ 2547027265950573099309/23975492156126587123360266681349875489974474\ 6311170029506607205054691037968404595601284456*c_1001_2^30 + 1902216080967994307662927094301635012729013220074209883088924675197\ 789331650446357530086173/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^29 - 6570196326302015754209091961205185417409428446282968523276367292643\ 75191708843056461731899/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^28 - 3623892749212312073797038651206103305414532539473675906444632528935\ 497468510473630544185013/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^27 + 3029199302434724667969091491898479965135948479170215488131257642917\ 35737503551332954941425/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^26 + 1389724252731454066505011390647272531048562708169121200439892728378\ 025131750500542131576587/599387303903164678084006667033746887249361\ 86577792507376651801263672759492101148900321114*c_1001_2^25 - 2744599491458696809463437122557458802221171640635879730402034871192\ 217352293573075173992537/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^24 + 1685449429957788611530405393627759426375224896912327850246566420609\ 2866873635531555613178159/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^23 - 1820247259481203326402576003155080023175751324788197389988961168465\ 154094020341396232862211/599387303903164678084006667033746887249361\ 86577792507376651801263672759492101148900321114*c_1001_2^22 - 1154651579711182008380622399014594511327881039417893519039858810881\ 89971634420487877506763/2996936519515823390420033335168734436246809\ 3288896253688325900631836379746050574450160557*c_1001_2^21 - 2809164566773497106750453295802254443158449107627397117695178004555\ 821449455297511533206301/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^20 - 2380486742212182096455427583185902675760012997660445159392138084154\ 8110565515435170333388787/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^19 + 5033397331755901177888835562904238896634366212099017653393878420155\ 1229044489546431850733341/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^18 + 3092577337531623374600854784548543451908102471195709539523167826684\ 2360134178621436997762821/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^17 + 2256056448852596919376903967449333381955909108938450764031560556754\ 9050146243482258126029485/59938730390316467808400666703374688724936\ 186577792507376651801263672759492101148900321114*c_1001_2^16 + 9318177040221613136988247964379453701889555167275433727735112594853\ 7195016032443899011508169/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^15 + 3115654278188258331638031778030406579477704132720186128785524465259\ 1859207662934070664099439/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^14 + 4654200687753663267991824329643168786800826747662134190587847815997\ 4249692182174328770037063/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^13 + 6952456519168942069093800996608878607433994558706559687307706834283\ 799079225173892200378757/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^12 + 9651459826567115729279208061158600786423539592786672748376040764932\ 135079073034415015023867/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^11 + 8870276573578865487288093314237266957454332915336432599115564526179\ 5781331283065633815984529/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^10 + 2479874852598364307408227599632245432054706494926462472789869530129\ 73763150166133218058759623/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^9 + 2580557510109871399563083815878341744934091436701572079511332850128\ 32893574401429082959981561/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^8 + 2963284792881225497957883599649473131259356052882985556450389531284\ 3925842436655065384536705/29969365195158233904200333351687344362468\ 093288896253688325900631836379746050574450160557*c_1001_2^7 + 1076968783859326347938462154081654620971576306339463591948510614010\ 32168370234115836116015989/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^6 + 1650514232499534485097723956953381871016856820592939129304871794540\ 5850854891545112006471327/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^5 - 3377369699883477209368708456826524684043376959092271401149045063787\ 889966821879117603363747/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^4 + 3949159170681777998358368456040080399733593630717181220063272540632\ 906278864198709980702615/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^3 + 4001170766404150740649260437669889181007834989693427751808144627838\ 47960568273093102668465/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2^2 - 3416760598846832050946101561790443868177328263471996256178982378205\ 95941678098834297325093/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2 - 4655919329871627998865957943974839843019794958618354277651838805693\ 1233589700434499019708/29969365195158233904200333351687344362468093\ 288896253688325900631836379746050574450160557, c_0011_9 + 302143480144550398411958382912823365779083256574338018888617\ 4007634938093693110061235194/29969365195158233904200333351687344362\ 468093288896253688325900631836379746050574450160557*c_1001_2^33 - 1273144057701479037335619084968479879950982281407554703147776987077\ 305924837782137047617/479509843122531742467205333626997509799489492\ 622340059013214410109382075936809191202568912*c_1001_2^32 - 2191584408305098820223507291966853459735225120225155922307549269454\ 93428009011968170243613/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^31 - 1179109567353530544684941842810861522985714403957235891771559490552\ 33896965987039290706695/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^30 + 1439506709269334434163490722149980455907625888708208465091156603624\ 073754620419612994154625/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^29 + 5103887756609729806948135646091650628454796078879988634006941714172\ 9605380358357111754073/11987746078063293561680133340674937744987237\ 3155585014753303602527345518984202297800642228*c_1001_2^28 - 3279802151809784599066903051679286150747155090500660970952031180369\ 901249672324499846798939/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^27 - 2923980011165423025973139644185739048145248249249456403485706618453\ 30453812859192962878139/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2^26 + 9718621615800538735075395132434403641469079560616896752785473607080\ 996245898881074136679569/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^25 - 1348852737967413064477250100493332945925899987819230963462252335249\ 370307773636489820599441/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^24 + 1905847466506911402632949569864186012159804143153993221075665468746\ 7935571298360042230480237/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^23 + 3474687263637445406396318084586138904777148932065441971820495553394\ 315762164909685916713715/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^22 - 7334651821647169264492978251216826061428955752791100403934037166306\ 272769564081287051100105/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^21 + 2260030056531077322722528902382781078438274393674127580394748595592\ 740752347912754298735341/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^20 - 1911639507819795990933223580815580430403489313550490397005514586722\ 8225968884458546258495277/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^19 + 3726249529513454731491637599907910830640236009194231276710125386851\ 160688389398556719427762/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^18 + 4381347644794473598536574005496251485899585301369366216599918056556\ 4713516133991984767240729/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^17 + 1247202447050820253878251899730639193730648587118071256965727970563\ 84907503661470144232876867/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^16 + 1920425854011012269886912684301113178603793358862055957379790623164\ 43454752526455150888022689/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^15 + 1163397040120275756616785949650494309899688859288885204751461462930\ 14251621963202954783485041/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^14 + 8427583384890963552615835536572723282561783217887779374346155582920\ 7844428099980309883290615/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^13 + 3889768087882948957104104976333493748781247265921744530341434004086\ 694385670228601549006189/599387303903164678084006667033746887249361\ 86577792507376651801263672759492101148900321114*c_1001_2^12 + 1064882493622576773444240347568328540793443629695094398723628305665\ 04529339172911506425757241/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^11 + 7875230082397054975120101297597854726231455143876092755855357739626\ 8603449471718105300894623/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^10 + 4428516216188426321045248465057455444250810129852256426195525216444\ 86094033278651873764232247/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^9 + 5931064333429471886856550074948022857072210344675456313969566175946\ 3859991979445339171173939/59938730390316467808400666703374688724936\ 186577792507376651801263672759492101148900321114*c_1001_2^8 + 4391332546601898902725021811835048569354278702450234047537212639625\ 29952278804768417379767419/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^7 + 2418070845671797162211542580408804917678901349886473864495807300202\ 54520187115704938772573531/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^6 + 1845536305214511234333172271037456471344178770804788560766281283424\ 1078189243135920703317239/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^5 + 6540394588277738474669357299894358837665381613093255491393790107206\ 18050134369883506439723/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^4 + 1517693042784346064051637485218382964660923377520395863625624693337\ 618561600731236578566243/599387303903164678084006667033746887249361\ 86577792507376651801263672759492101148900321114*c_1001_2^3 + 5350434348455620490402346096662914766452116702375489059564492822386\ 326620257049488374925199/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^2 - 1374305663747681030548669221272016726498234261107215321982442820093\ 985913284711446297196799/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2 - 3522197675783392483019758792684353454559668087103653558698097140427\ 32294839432129063415717/4795098431225317424672053336269975097994894\ 92622340059013214410109382075936809191202568912, c_0101_0 + 918108226775498495984626057358415727039877276842629672161487\ 1757775427528340143597824969/59938730390316467808400666703374688724\ 936186577792507376651801263672759492101148900321114*c_1001_2^33 - 1515744529653992022122335158253395772028914326747209660295050820703\ 6737266966240376052163/23975492156126587123360266681349875489974474\ 6311170029506607205054691037968404595601284456*c_1001_2^32 - 3189655462743489727419280832490959289959744115218186191462555129222\ 44336284411505227943725/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^31 - 1603210453079577279138975920228652137439987002881112311231954400401\ 1391006757599765517645/59938730390316467808400666703374688724936186\ 577792507376651801263672759492101148900321114*c_1001_2^30 + 2146180503748754296137303197849069971622463467407587609031642943669\ 074887550760191097582647/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^29 - 3242995288485529157520556356134893834396962596146569794686129418234\ 68752181182077432162869/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2^28 - 4274146358794979124035126856278143259235492382223969585640711177355\ 767455210326260733170943/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^27 + 1698967923630019940310737278486644805495730812074933950828553791989\ 75136711259668349750285/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2^26 + 8214919136610617895741393090989191065589479043262826115971107884810\ 99977513420703425290698/2996936519515823390420033335168734436246809\ 3288896253688325900631836379746050574450160557*c_1001_2^25 - 6122667452608348818224598883642711149965582389227530346938870850819\ 718463930025252913318885/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^24 + 8959305008891959383091392554077182840362226452361841707159562054967\ 155215916761047735072451/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^23 - 6324300812543898338134821939354645423812898699400271236486454366525\ 067680848679140531817893/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^22 - 1699494035042163088178073943847153288103005247689722449309834783538\ 772950404174563245857095/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^21 - 1506405183946439964878430362601443350118907979801671811073085069409\ 507260259267907976375255/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^20 - 2661886164414187455015711709105143604551515612055078347147309347669\ 7561811354598285888978031/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^19 + 1365924195354816730789360379704469016884428663592987096096920477803\ 7357562704079860275780307/59938730390316467808400666703374688724936\ 186577792507376651801263672759492101148900321114*c_1001_2^18 + 3950420847329943036151460428525049667635739660459137518780165660574\ 3818218986567453217458291/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^17 + 9545181048946744758933669487447476830703620164276884591871277087804\ 5528583216839972991088621/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^16 + 1080045101704985019868340199688816565419631004145135428215522390175\ 89765308380356930161448351/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^15 + 8520850352732631269530167625185269465583386773395698283308155971228\ 063918138796266994668019/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^14 + 1266183297695302893514020383141510194178433430295447218718208157967\ 0831756131500537583073577/59938730390316467808400666703374688724936\ 186577792507376651801263672759492101148900321114*c_1001_2^13 + 2817957880603421309840212058927328131212011151888329875666653858973\ 184380986547512182832619/599387303903164678084006667033746887249361\ 86577792507376651801263672759492101148900321114*c_1001_2^12 + 4293913567582734221033750231528968251595740382541013112138523017321\ 1758928505372008549446315/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^11 + 2037476762041770790642668598130681248953477122801955852586707211819\ 14930381305545084499202605/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^10 + 1391980075174142253574738661174382820996116528794494642814760019000\ 96266865227103229862307389/1198774607806329356168013334067493774498\ 72373155585014753303602527345518984202297800642228*c_1001_2^9 + 1431607235013977617541022693299555034943989857761342373042701748889\ 21961701472581073504845893/1198774607806329356168013334067493774498\ 72373155585014753303602527345518984202297800642228*c_1001_2^8 + 1322923922261982504277830562021673299508882497173666784985684719265\ 18230339813595613784252933/1198774607806329356168013334067493774498\ 72373155585014753303602527345518984202297800642228*c_1001_2^7 + 6149634487120257706634438668864878522527575730539170920563688173775\ 6091851952359690579841755/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^6 + 8996963603446766340123561653714363499727121096697899208385941241371\ 434081772762557993333635/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^5 + 2838253267043685407270029958027720634396465532435413939980149266905\ 983660651139235616380245/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^4 + 1260041738269032382919435994974088831966048838822166344447170902897\ 547989529964356783389652/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^3 + 7832365174082677253963382486885330332818358171536286646543209860136\ 45648233832264497271009/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2^2 - 6093294282610567405336683405567578355806468068411318324342956609102\ 04051646578605315106093/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2 - 3604077216746224335182070747306085827079147836626821287450364304119\ 60315535684014917236189/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456, c_0101_1 - 367619275499841436922009474549831861987329501580372798007350\ 23783390907174844829064747109/2397549215612658712336026668134987548\ 99744746311170029506607205054691037968404595601284456*c_1001_2^33 + 7455791876594785606248543772670128527699063025371935547942689006229\ 202222594838583017665/239754921561265871233602666813498754899744746\ 311170029506607205054691037968404595601284456*c_1001_2^32 + 8173689971308346699756485623041120168852988865987417366942155586031\ 5382419974262192948295/59938730390316467808400666703374688724936186\ 577792507376651801263672759492101148900321114*c_1001_2^31 + 6324568605853230704385255823173028351952660193309014051865764420644\ 2099535650980689059799/11987746078063293561680133340674937744987237\ 3155585014753303602527345518984202297800642228*c_1001_2^30 - 1085269797939913067643562114855921422940649787266589543249430788872\ 096093553219652190228813/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^29 + 5353840295408454557117793835602054323231240449878755010463097806013\ 8344949770320355363991/59938730390316467808400666703374688724936186\ 577792507376651801263672759492101148900321114*c_1001_2^28 + 2331951505629514543595810975412225018774371134368323470807358049864\ 794609736149828575469385/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^27 + 3119520490518016730711023727996643378001751161214671644874624457031\ 91101869807892646848919/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^26 - 7001607038919234002376018383421753421790108039665821033164487973396\ 100511703625060159850951/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^25 + 5056540620231581705824405519998649239427547384015324044928792396228\ 081511583709371065087183/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^24 - 8050434776592683385689391221238097910724088295695466377944632820739\ 410513767883335050959429/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^23 + 1399862974856004852298712603017095070925586059044119055685284111421\ 863988296059061294434587/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^22 + 7725031579975542856804377108428544142564000104532002318924558865176\ 672225214866297486774135/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^21 - 3978948961648346509551546913269572865363962376016490261826443325344\ 81508549711320670519337/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^20 + 1407813629697254837669711655562222257204311184420729688600192727772\ 9512425951891326840630387/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^19 - 6199956198609190113657956697021344038088504513026060016777817231690\ 653632356671231164172767/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^18 - 5440986862500575705536008608751290795678335039821708130956062356695\ 3458456172913432582358971/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^17 - 4745011427278474363994720770108464461369556613729788187230944508094\ 8593122288326328712994075/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^16 - 6462652790280665150423823597740209119224959494899674711140604110250\ 5341031630139029529516017/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^15 - 1975044627410062544732813636183142813456452457980116962625644105371\ 0120584352158618246418073/59938730390316467808400666703374688724936\ 186577792507376651801263672759492101148900321114*c_1001_2^14 - 5791576775039808311012952058527359048805166161428360464199276465458\ 5853004657989544927905167/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^13 - 1789058616456761320146875455854310719317344943254323021648460043159\ 3539655862601854578386605/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^12 - 8241548659491613297479300773470471933595907755014878938194765972771\ 7039852945962697940186591/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^11 - 2230494977832913389530186707291144198528549344364353247663803779823\ 51870432085971284007018143/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^10 - 3098498904604844817267585762969413326853820884458662334911069697482\ 32474247492942202783213815/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^9 - 3271370192415758700129510207099853010345590264941986131840996843239\ 62027928603313847860081059/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^8 - 1514298688777221397077924410963548728077383789651338797030853033822\ 10387721854822780398522881/1198774607806329356168013334067493774498\ 72373155585014753303602527345518984202297800642228*c_1001_2^7 - 1555799385337296646835624252642167500542963072124109878209187108678\ 44934345856075461823273129/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^6 - 1125252235499929426144587406475986700015310896138913215864421705042\ 2593978161720510661026939/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^5 - 2433107849994358874769063061863802704317238963187307271710086650282\ 35642921936505376482683/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2^4 - 7998414986683072564429825536438376316265591957394023047390268555276\ 808854628836970122987211/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^3 - 2711468487782629383831507761177893991838137648355979805080494483395\ 75057704640781495586296/2996936519515823390420033335168734436246809\ 3288896253688325900631836379746050574450160557*c_1001_2^2 + 5350077848199601683626818380235667481895416134456407858308443845858\ 56666615355606000669701/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2 + 2060708168694497010438770153600931520323244796919170691970659484599\ 48430979656177312512085/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456, c_0101_10 + 37106000387790785618026025558451617057728743146501750751299\ 052022528468285582260126589773/479509843122531742467205333626997509\ 799489492622340059013214410109382075936809191202568912*c_1001_2^33 - 8277843614482303549707765143517856964557936178237417899185427860034\ 661966269360512638023/239754921561265871233602666813498754899744746\ 311170029506607205054691037968404595601284456*c_1001_2^32 - 8074694905566673401869267398861448949328838877300610315391492837732\ 9840208609810394239441/11987746078063293561680133340674937744987237\ 3155585014753303602527345518984202297800642228*c_1001_2^31 - 2531064886708516367081964838048385290795753043644675990614359646604\ 0847216002658620087603/23975492156126587123360266681349875489974474\ 6311170029506607205054691037968404595601284456*c_1001_2^30 + 1088549365214694041271744963435855946592837769555132723331203961322\ 671238203360146406383621/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^29 - 3741853598057925210523084662061676346384441577124122492808683070320\ 88714919352732083580263/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^28 - 2173830278443061643073223653779561464596405689643179310564673287301\ 095565875905878835804421/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^27 + 6717537081265835782893276323953886564716342505755556317168330634994\ 06346127007712742885599/4795098431225317424672053336269975097994894\ 92622340059013214410109382075936809191202568912*c_1001_2^26 + 3271975540608429059693200408178494664947948236208681663010507264546\ 296028394799509734943057/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^25 - 6625412915784068015340605607951836035033252845521730445407271769738\ 876321563628388393336983/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^24 + 1845083060161772034237022454061626914267010661542297390309452162557\ 0670258407600843671791283/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^23 - 3244723197728987435919348626366865503969705275109138751119818131974\ 112116330694127434242493/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^22 - 4798106472238700061463819956946218236486221191438317100440273569998\ 018980357370591882071969/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^21 + 4852344615620645612891119679648249508701608513911343349231187064926\ 84691297524904814922215/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^20 - 1443637923962973499306302659846085123196067261032521936864962377298\ 5988197154663430905645883/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^19 + 2846318830088762557774999789803773002955258374452723848138556379244\ 8744105687008663111067615/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^18 + 3913180004919274930752813259499903900698723528750137364848400469551\ 6532627850893282641818487/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^17 + 9060695817818278844783900778652938813037752107656363149458235864086\ 3375925624752131400912427/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^16 + 1115714809133872006202903417880646600690641812814751713485588229045\ 87256544876185694460840299/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^15 + 5952176087387433957523993615261236907629801726920425506307542472061\ 2717534638291718406622475/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^14 + 2579336628026521841289893204323553860462226839702825542297010541726\ 9522891950089638827023685/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^13 + 1035303596647410686511451994991548803604680040715085868033483452239\ 9992965853300877430813675/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^12 + 4172435815808527345962310883403899360520517585959497772655180790258\ 8873644341814066910967491/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^11 + 2059658991040579658765291674489387573543638574064167500542885918861\ 90822241648717192525645459/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^10 + 1344614277124461186787951831628932916135916729391670893429067225179\ 96341900592336229579615991/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^9 + 2804168412036774561000018873568529475555561747949863986699374688076\ 01562340791819066482742949/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^8 + 2579354405175483155215975792310744899594952773742031275889721465304\ 53899153620298822356840831/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^7 + 1419645711561439516250483284202447596720219679085186468474506115619\ 0631877385486862897242257/59938730390316467808400666703374688724936\ 186577792507376651801263672759492101148900321114*c_1001_2^6 + 6870935491558105992059461923263149259949435884092701314626444524366\ 013029147688384899494761/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^5 + 2292191226263070856852810834859259679271446878606060902262016666771\ 779042679116059220593949/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^4 + 7028351697808409818775135987498905220241881153664963929033092161732\ 656592861288756707818765/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^3 + 7110687760985352370869835971948745181449085565017281554084630103021\ 2273161027762395209881/47950984312253174246720533362699750979948949\ 2622340059013214410109382075936809191202568912*c_1001_2^2 - 6171277413329333128278452566001159758180461254353277870164870549991\ 95425047267269090322269/4795098431225317424672053336269975097994894\ 92622340059013214410109382075936809191202568912*c_1001_2 - 1013326488002388353916556016609369866466849731706920422277621199438\ 01352507748268345924601/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228, c_0101_11 - 25565938061928133546257133862732989794836739437846752316533\ 451908224546119096532784145493/239754921561265871233602666813498754\ 899744746311170029506607205054691037968404595601284456*c_1001_2^33 + 7089607911369439975095125895281901024274136561140252245260318581672\ 476001505650164265853/119877460780632935616801333406749377449872373\ 155585014753303602527345518984202297800642228*c_1001_2^32 + 2691883157274368690466379947912979142677522881914762621553638714774\ 3839676203000034471078/29969365195158233904200333351687344362468093\ 288896253688325900631836379746050574450160557*c_1001_2^31 + 9485493462771997172405230628840642797625540479253494821579546920902\ 595903503471636846667/119877460780632935616801333406749377449872373\ 155585014753303602527345518984202297800642228*c_1001_2^30 - 1822782960939085334338401810553405144731422694679730417795056894839\ 02096411961944978843766/2996936519515823390420033335168734436246809\ 3288896253688325900631836379746050574450160557*c_1001_2^29 + 1603967702338704540217049103151510634370440729338433741016446391718\ 49369187660582162907073/5993873039031646780840066670337468872493618\ 6577792507376651801263672759492101148900321114*c_1001_2^28 + 1306894628116800926149597872974280153269102963412075205690297496021\ 487084159875794121891913/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^27 - 3527777698478102532309242401973484264744705711859286834849148667164\ 20438134775261118919003/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^26 - 1022272663227636599213630353326804450286995958344958383198437223788\ 734523014978743723408419/599387303903164678084006667033746887249361\ 86577792507376651801263672759492101148900321114*c_1001_2^25 + 4486341195867219355081345896967937471157239889312815032263754589623\ 893788048080947085080249/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^24 - 1380320588261862441306222614785847996324144062325701634992624496276\ 2193982274769218751615423/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^23 + 9516153954374302633609521273854004252481882449148169851744724718425\ 73778712977652635359264/2996936519515823390420033335168734436246809\ 3288896253688325900631836379746050574450160557*c_1001_2^22 - 1662631764063238710342041719968267103150714938738453647707155689093\ 204540777752133498553551/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^21 + 1881148505680099045863531031898530351808170215294118367785161889117\ 421014596455215102608495/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^20 + 8714465038313371262725619873110301220674954535868336955184886040667\ 816327841384323809573477/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^19 - 2022363287474169782808470623346400322533723531469760661687959040757\ 6230165701964955933622645/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^18 - 1819524642726431180214141221766841667014759414442377472182885225255\ 2721403141337280604836909/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^17 - 7322494589303018410216445346466079843138617740381897410139553708527\ 8323118627381483538680997/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^16 - 6457580410851164733159508469870968671460278856617783709758999736062\ 8228120249791163604932071/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^15 - 4894174919233101164398676967117860009187161487046624002142552210548\ 1505586731380624348770415/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^14 - 1767892661800791121741186964986120236279540095630753198402907542612\ 3371424833838770206608911/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^13 - 4549594676219110359471528593590678811065123178061183804021875747739\ 288478184858749375771425/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^12 - 3153463792752251037912103236421202041404104085582268013522716133743\ 3793359573241436195452663/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^11 - 1308576893449455060011589801719055244087789017981577627974741196002\ 26315730392435184567888955/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^10 - 2330736931079014498944214877232917710165218913032567388664608995686\ 1670036242003153255251122/29969365195158233904200333351687344362468\ 093288896253688325900631836379746050574450160557*c_1001_2^9 - 1919621491407909081551184613331382361069172191251641342535728544908\ 78218780441669956403094637/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^8 - 1780300406774924399194795284347856390265788132260072427849217849394\ 95702549535271127488720285/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^7 - 3989026780787419828823060270682309515665760745430581825692512230827\ 9841109224912893299171895/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^6 - 8790833516481298489713162313507651703550717683995255039374937432954\ 423777550582172227429013/119877460780632935616801333406749377449872\ 373155585014753303602527345518984202297800642228*c_1001_2^5 + 6592562368516943662747851564896167593374412422534570696194943879299\ 8511749701706162603953/59938730390316467808400666703374688724936186\ 577792507376651801263672759492101148900321114*c_1001_2^4 - 4857482481861755143695218377035995139825014591863437808949263793385\ 826769789305882031543503/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^3 - 9164256971107371183974693803004262022961686728209170889884020404590\ 85409811304103907234697/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^2 + 4314353115815193943090639764962519683745886953862575110395223087938\ 35127774007118110379281/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2 + 1404507448352694705981735591446395489090019661710982363467418790006\ 74258692551981913036813/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228, c_0101_3 - 424276568842554851568545778113491127523557387756682177676481\ 2307570429278965437563836672/29969365195158233904200333351687344362\ 468093288896253688325900631836379746050574450160557*c_1001_2^33 + 1755679136973931496714664222192524475026911881383311436051081545797\ 7516025924226646452973/47950984312253174246720533362699750979948949\ 2622340059013214410109382075936809191202568912*c_1001_2^32 + 7501257523165806779366331494887597717662664102975938536632299651324\ 5404992123987392621539/59938730390316467808400666703374688724936186\ 577792507376651801263672759492101148900321114*c_1001_2^31 + 5075130136767059549650687584004397001546325947227602531649971063437\ 8962088054746905749903/11987746078063293561680133340674937744987237\ 3155585014753303602527345518984202297800642228*c_1001_2^30 - 9993029273114229440971047305363650500957213933328450527533658868514\ 62858391068239484256553/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2^29 + 3033868150386453495129189093744024178914766170011262946306748182637\ 04501317128202702321333/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^28 + 5263682467482732987222675758907057429258324886274248703307893515867\ 70097701754873569160108/2996936519515823390420033335168734436246809\ 3288896253688325900631836379746050574450160557*c_1001_2^27 + 1320686744931388914442073659084129384425750521205768058527815707009\ 97872964177984104939727/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^26 - 1267772828201143261185066690030565382129892182889314836662710506501\ 0084015315079565036942855/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^25 + 6111851609425223406243971898465710938940803467143733309102354879168\ 89950057128463694193001/2996936519515823390420033335168734436246809\ 3288896253688325900631836379746050574450160557*c_1001_2^24 - 3067343315584975536651334149668911623406218668889709842435772762294\ 2584753905115738717633477/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^23 + 5078870577678780287325546321061370437629691938357205009390960150322\ 667083734892137759090823/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^22 + 6156701339363828838683547738559682296080303473659669663511734665481\ 224922560439193240002417/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^21 - 6736454384999291742757901367881568409288212129103168014726142165309\ 5561187850399627156653/47950984312253174246720533362699750979948949\ 2622340059013214410109382075936809191202568912*c_1001_2^20 + 3251416692009717201751569873591369470512256327574358993150175397052\ 289334102913925832327146/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^19 - 4755295227331091349980469465868639783533879835477636134326533539594\ 0428535229249412966244805/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^18 - 5787609827836276557003023196740820668602223557707210247371358384233\ 723015531785232300425651/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^17 - 1758141632499138666166133307280823003948172059326377477933135847904\ 83913053528928776642835749/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^16 - 2287043649662457255177296423946780870703837660073306367404676799373\ 86030366570512886291114897/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^15 - 1377248425132912229027662760701182794766093866133115134509525030661\ 58880318489129748920088871/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^14 - 1041132490654750521258404323422054581199290374076203992731761910344\ 18253394259500145336805095/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^13 - 1300169161201806244275858110065673229520511815503827401543045043637\ 0939564251642326525965967/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^12 - 1535937571975370216824073506650747387990914392027416545049410622330\ 06472552888611334742805567/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^11 - 5027536355586705622892538274697738307622526643806477607786345067718\ 3604069942632330889640867/59938730390316467808400666703374688724936\ 186577792507376651801263672759492101148900321114*c_1001_2^10 - 5556878665605035751377252634184457525793390070858614089216444053604\ 63502915306211130896285439/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^9 - 2922184977493293556243901278334894031642008663993919940601151201159\ 79718196603567059317653019/2397549215612658712336026668134987548997\ 44746311170029506607205054691037968404595601284456*c_1001_2^8 - 5360330363610540018925107615630413062524872866212659730317611141268\ 59947082447543992368978713/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^7 - 2668032292708381421303859543388698263583286522466958764178908567132\ 36882888575612004726036823/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^6 - 2133692239489226384879862384893997999708849973249732791409796830847\ 229277204271633769354258/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^5 + 1202036057894637452477050295153392167258388762125977361739304678820\ 77318908661460340377322/2996936519515823390420033335168734436246809\ 3288896253688325900631836379746050574450160557*c_1001_2^4 - 6996448787301094542929088028428667785895877272862941850017805594014\ 399258145106905409176281/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^3 - 4755295133833214008676482436653238232944039888667338325039831545312\ 994616095921269950990705/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^2 + 1979958314130005817322453727512178156805131422346353966054316090695\ 442822485886685376522199/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2 + 4060392032899471591254226343240981430594318505016843429557554785078\ 89255944307864941908543/4795098431225317424672053336269975097994894\ 92622340059013214410109382075936809191202568912, c_1001_1 + 580476991298783479492162565685182107424261756385765212560464\ 63266325348631717701800119107/4795098431225317424672053336269975097\ 99489492622340059013214410109382075936809191202568912*c_1001_2^33 - 2716314320560568913118619872982271998491405670049929385706894706775\ 6869634266195014189069/47950984312253174246720533362699750979948949\ 2622340059013214410109382075936809191202568912*c_1001_2^32 - 3092770367736884851659794838510833130850029417651568613005318470673\ 6686631183287047372256/29969365195158233904200333351687344362468093\ 288896253688325900631836379746050574450160557*c_1001_2^31 - 4147665259010891845242641517933040406728930946402564200746716227265\ 5012504545632200510461/23975492156126587123360266681349875489974474\ 6311170029506607205054691037968404595601284456*c_1001_2^30 + 1665826594045752160965537232465674619314483239044111696719597705232\ 613030065499574108155577/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^29 - 7331641718612512351590226922912251298659953830118956469704073935773\ 1288965853117399197968/29969365195158233904200333351687344362468093\ 288896253688325900631836379746050574450160557*c_1001_2^28 - 3113976735427203661980986282400055107394001856039358313960443756164\ 981932561052586381122529/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^27 + 4059708556812971413554423779921245038436996097138803213043589649495\ 52968767854327135711699/4795098431225317424672053336269975097994894\ 92622340059013214410109382075936809191202568912*c_1001_2^26 + 9580480090091004601683263820345886016369001985378659578620604066720\ 551878014167857455872343/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^25 - 9448624175320347069129780450412837409418150518380040347314971068488\ 804996740066462612050445/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^24 + 1881585671714869638599002350108855483223782917151187715855907067322\ 632439549634428589546879/299693651951582339042003333516873443624680\ 93288896253688325900631836379746050574450160557*c_1001_2^23 - 1401125330735179928945578650876143070936827609713625181094003550896\ 0160728576002694016449991/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^22 + 2736547084598579765514155361017930727937533986626740852663435812728\ 75988794625726315531235/4795098431225317424672053336269975097994894\ 92622340059013214410109382075936809191202568912*c_1001_2^21 - 6490499506605043104778037857476218459089159461214244867523909799361\ 699895208986063360746355/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^20 - 2070778740550456410307873569658486480820750193555739467089940767831\ 1451654579848265248485155/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^19 + 2228895526995392962259710713861422030843680432626117601647457788910\ 0537556536142236562965447/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^18 + 5142795220023623262103617799489425964289321426908658078178717857003\ 8938606847837199042490017/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^17 + 2052651928665863010342718595901716442278905212230038509718201031689\ 1185856986621772956392425/59938730390316467808400666703374688724936\ 186577792507376651801263672759492101148900321114*c_1001_2^16 + 4029297508628995382578183777818842253103752242123413439865448870361\ 6366038619524584839848637/11987746078063293561680133340674937744987\ 2373155585014753303602527345518984202297800642228*c_1001_2^15 + 5667021813746934493726044936221006840674418764076532303124304231435\ 3081762302149455790878837/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^14 + 8371669612590875993314245089967594060864240330507729822350332859665\ 4204433950997622117165279/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^13 + 1116292422953062892204312710281527565875225913059968041514211983115\ 2299487216345105625944463/47950984312253174246720533362699750979948\ 9492622340059013214410109382075936809191202568912*c_1001_2^12 + 1382240935047237848751741989434355336389679816373068728098256097505\ 98770264033785243061237071/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^11 + 3088637700696949041842222562369241137835660027966100665568503271897\ 61607770353574177937894141/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^10 + 4399653867480330344532972460349363245611674380676765148199408808096\ 51070516482990717437218919/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^9 + 4588040445476968918175534729857325327217980130927629859033564088022\ 03089380796290319265461697/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^8 + 5261130497428271993553479540087157760216705666001418183049368800804\ 7680885972112536535560187/59938730390316467808400666703374688724936\ 186577792507376651801263672759492101148900321114*c_1001_2^7 + 1931544123221577523280100588138887354149716305714223680012073591273\ 63152814454756647480530917/4795098431225317424672053336269975097994\ 89492622340059013214410109382075936809191202568912*c_1001_2^6 + 1690139931392802703562759480632771327944297592349091993508098766788\ 8110270246718594646776413/23975492156126587123360266681349875489974\ 4746311170029506607205054691037968404595601284456*c_1001_2^5 - 4000121641422390228090228217508894059950565709987303778306326586589\ 608541459099977789201741/239754921561265871233602666813498754899744\ 746311170029506607205054691037968404595601284456*c_1001_2^4 + 4177153998298489382518539700246381079811472123305051840613752373077\ 391587009241953521165113/479509843122531742467205333626997509799489\ 492622340059013214410109382075936809191202568912*c_1001_2^3 + 4399717825757100064095625249535808598423500123862725913859237347095\ 87426594708690077458173/2397549215612658712336026668134987548997447\ 46311170029506607205054691037968404595601284456*c_1001_2^2 - 1876523700378895978783521937077950222372517986994856141741190561565\ 54178193894176501465393/1198774607806329356168013334067493774498723\ 73155585014753303602527345518984202297800642228*c_1001_2 - 7588372823265876947160375509814139915987015596781849721360146338135\ 15985248273428677272061/4795098431225317424672053336269975097994894\ 92622340059013214410109382075936809191202568912, c_1001_2^34 - 2/7*c_1001_2^33 - 61/7*c_1001_2^32 - 20/7*c_1001_2^31 + 58*c_1001_2^30 - 72/7*c_1001_2^29 - 820/7*c_1001_2^28 - 41/7*c_1001_2^27 + 1236/7*c_1001_2^26 - 1004/7*c_1001_2^25 + 3307/7*c_1001_2^24 - 803/7*c_1001_2^23 - 738/7*c_1001_2^22 - 368/7*c_1001_2^21 - 5181/7*c_1001_2^20 + 9796/7*c_1001_2^19 + 1249*c_1001_2^18 + 19367/7*c_1001_2^17 + 23178/7*c_1001_2^16 + 15878/7*c_1001_2^15 + 11783/7*c_1001_2^14 + 3550/7*c_1001_2^13 + 16680/7*c_1001_2^12 + 40974/7*c_1001_2^11 + 58288/7*c_1001_2^10 + 62280/7*c_1001_2^9 + 58503/7*c_1001_2^8 + 30795/7*c_1001_2^7 + 7279/7*c_1001_2^6 + 1158/7*c_1001_2^5 + 1761/7*c_1001_2^4 + 517/7*c_1001_2^3 - 100/7*c_1001_2^2 - 69/7*c_1001_2 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.450 Total time: 4.660 seconds, Total memory usage: 64.12MB