Magma V2.19-8 Sat Sep 14 2013 02:33:57 on localhost [Seed = 3315831953] Type ? for help. Type -D to quit. Loading file "11_355__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_355 geometric_solution 15.77281713 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 17 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.001715657146 0.672809272028 0 4 5 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389883666123 0.518828794407 0 0 7 6 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.996209960433 1.486295654899 8 9 0 10 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 -1 1 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.660677571158 0.917203632612 1 1 11 12 3012 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.951188506432 0.808868667571 10 12 13 1 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.143110961049 1.251245636714 14 15 2 10 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220278081414 0.901317971413 10 8 9 2 3012 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354790509408 0.959014543055 3 9 16 7 0132 0321 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 -1 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.999415687112 0.718662858544 15 3 7 8 2310 0132 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 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.999415687112 0.718662858544 5 6 3 7 0213 0321 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539303940427 1.642612952697 16 16 13 4 1302 3201 0321 0132 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 -1 1 0 1 0 -1 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.660816165358 0.865080549870 16 5 4 14 0321 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.593245593699 0.487907241745 14 15 11 5 2310 2031 0321 0132 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 1 -1 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.955723927376 0.760464984347 6 12 13 15 0132 1302 3201 1023 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 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.851352284996 1.089652444769 13 6 9 14 1302 0132 3201 1023 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 1 0 -1 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261436168948 0.435002956540 12 11 11 8 0321 2031 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 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.392842128640 1.001934791540 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_0110_6' : negation(d['c_0011_10']), 'c_1001_15' : d['c_0101_7'], 'c_1001_14' : negation(d['c_0011_16']), 'c_1001_16' : negation(d['c_0101_4']), 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : negation(d['c_0110_15']), 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0011_14'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_0011_11'], 'c_1010_13' : d['c_0011_14'], 'c_1010_12' : d['c_0011_14'], 'c_1010_11' : d['c_0101_4'], 'c_1010_10' : d['c_0101_7'], 'c_1010_16' : d['c_0011_11'], 'c_1010_15' : d['c_0101_6'], 'c_1010_14' : d['c_0110_15'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : negation(d['c_0011_16']), 'c_0101_10' : negation(d['c_0011_12']), 'c_0101_16' : negation(d['c_0101_12']), 'c_0101_15' : negation(d['c_0011_13']), 'c_0101_14' : negation(d['c_0011_10']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : d['c_0011_14'], 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : d['c_0011_16'], 'c_1100_9' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_12'], 'c_1100_4' : negation(d['c_0110_15']), 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_0101_12'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_10'], 'c_1100_14' : negation(d['c_0011_13']), 'c_1100_15' : d['c_0011_13'], 's_0_10' : d['1'], 'c_1100_16' : d['c_0011_11'], 'c_1100_11' : negation(d['c_0110_15']), 'c_1100_10' : d['c_0101_2'], 'c_1100_13' : d['c_0101_12'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : d['c_1001_1'], 's_3_12' : d['1'], 'c_1010_3' : d['c_1001_10'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_1001_2'], 's_3_15' : d['1'], 'c_1010_9' : d['c_1001_2'], 's_0_15' : d['1'], 's_3_1' : negation(d['1']), 'c_0101_13' : d['c_0011_16'], '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' : negation(d['c_0110_15']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_14']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_13'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : d['c_0011_7'], 'c_0110_13' : d['c_0011_10'], 'c_0110_12' : negation(d['c_0011_16']), 'c_0110_15' : d['c_0110_15'], 'c_0110_14' : d['c_0101_6'], 'c_0110_16' : negation(d['c_0011_12']), 'c_1010_4' : d['c_1001_1'], 'c_0110_0' : negation(d['c_0011_7']), 's_0_8' : d['1'], 's_2_15' : d['1'], 'c_1010_8' : d['c_1001_2'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_7']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0101_7']), 'c_0101_8' : negation(d['c_0011_12']), 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_13'], 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_12']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_16, c_0011_7, c_0101_12, c_0101_2, c_0101_4, c_0101_6, c_0101_7, c_0110_15, c_1001_1, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 162571238843794899956400135117817787922409/103939048556610567443519\ 232938463859244032*c_1001_2^24 - 6046632455870392839147012610187402\ 8946677/25984762139152641860879808234615964811008*c_1001_2^23 - 219941092757308862777783552434141866645785/519695242783052837217596\ 16469231929622016*c_1001_2^22 - 21265402619866999418895778642486465\ 1191711/103939048556610567443519232938463859244032*c_1001_2^21 + 2254540995039548207748727761913955841735343/10393904855661056744351\ 9232938463859244032*c_1001_2^20 + 594279440324304131289576169587320\ 310030331/25984762139152641860879808234615964811008*c_1001_2^19 - 24712295409271128471649626638577511144331/6114061679800621614324660\ 761086109367296*c_1001_2^18 - 8192811331412313723439237759888050965\ 745839/51969524278305283721759616469231929622016*c_1001_2^17 - 7062532754487998561946738965678507083378457/10393904855661056744351\ 9232938463859244032*c_1001_2^16 + 285785555951590179020294486873623\ 53989824343/51969524278305283721759616469231929622016*c_1001_2^15 + 10675795622012457930738631118535923677746455/2598476213915264186087\ 9808234615964811008*c_1001_2^14 - 517559312249407353691019267424333\ 81315177347/25984762139152641860879808234615964811008*c_1001_2^13 - 70164560607450723585908783295002424233302293/5196952427830528372175\ 9616469231929622016*c_1001_2^12 + 506893768245070553226660617828536\ 427544698591/103939048556610567443519232938463859244032*c_1001_2^11 + 448154705226024135200594237892671376464196121/1039390485566105674\ 43519232938463859244032*c_1001_2^10 - 944343937121094517747829706575871913949505431/103939048556610567443\ 519232938463859244032*c_1001_2^9 - 107756573558738014300415738299718677292370293/129923810695763209304\ 39904117307982405504*c_1001_2^8 + 297842433520273131774982300550265\ 294690222411/25984762139152641860879808234615964811008*c_1001_2^7 + 73262568260685133132323130760271822139322483/6496190534788160465219\ 952058653991202752*c_1001_2^6 - 34548134133983325672817924972165620\ 446652411/3248095267394080232609976029326995601376*c_1001_2^5 - 8197506250362819888711318444584366969779687/81202381684852005815249\ 4007331748900344*c_1001_2^4 + 1029884631788294801316550537501804668\ 1229559/1624047633697040116304988014663497800688*c_1001_2^3 + 1223400592876397070985828558722424005023173/20300595421213001453812\ 3501832937225086*c_1001_2^2 - 5005714170443091805659063619803416003\ 14151/203005954212130014538123501832937225086*c_1001_2 - 140703490425339895598648582235640221607852/101502977106065007269061\ 750916468612543, c_0011_0 - 1, c_0011_10 + 191750136268534812340321126931/2122659100999205345526830536\ 5248*c_1001_2^24 - 182903708281559989609109245919/10613295504996026\ 727634152682624*c_1001_2^23 - 57909564043695898795263139541/5306647\ 752498013363817076341312*c_1001_2^22 - 248857823891123136276478571863/21226591009992053455268305365248*c_1\ 001_2^21 + 2355377177334327984746802312381/212265910099920534552683\ 05365248*c_1001_2^20 + 619205512191574369776340783863/1061329550499\ 6026727634152682624*c_1001_2^19 + 375817618676495042870859753329/21\ 226591009992053455268305365248*c_1001_2^18 - 8197664825394453585502861138189/10613295504996026727634152682624*c_\ 1001_2^17 + 1080058046527992873706296031057/21226591009992053455268\ 305365248*c_1001_2^16 + 13828897058010299481393825680817/5306647752\ 498013363817076341312*c_1001_2^15 + 5834944494067013539844293056759/10613295504996026727634152682624*c_\ 1001_2^14 - 108567316381560844064041451983773/106132955049960267276\ 34152682624*c_1001_2^13 - 93786383932832745626555420783/16583274226\ 5562917619283635666*c_1001_2^12 + 492469948118438913472741984137099\ /21226591009992053455268305365248*c_1001_2^11 + 115113829085321604960463176861191/21226591009992053455268305365248*\ c_1001_2^10 - 951510013291805815606475417952699/2122659100999205345\ 5268305365248*c_1001_2^9 - 7682422741697768302726182007825/26533238\ 76249006681908538170656*c_1001_2^8 + 150156689852963742210641781210867/2653323876249006681908538170656*c\ _1001_2^7 - 2640112692138035385547168523605/13266619381245033409542\ 69085328*c_1001_2^6 - 158635947787467389366235192347481/26533238762\ 49006681908538170656*c_1001_2^5 + 2584628513897380635755959931007/1\ 65832742265562917619283635666*c_1001_2^4 + 6738785821086197037111992368793/165832742265562917619283635666*c_10\ 01_2^3 - 1410815686691374448917422203359/82916371132781458809641817\ 833*c_1001_2^2 - 3776717867682802619636081975837/165832742265562917\ 619283635666*c_1001_2 + 1283879958774739634286512612968/82916371132\ 781458809641817833, c_0011_11 - 504453465176671270489762987/663330969062251670477134542664*\ c_1001_2^24 - 3679297948332948296683299435/106132955049960267276341\ 52682624*c_1001_2^23 + 37265564270345686926401247727/10613295504996\ 026727634152682624*c_1001_2^22 + 38959645297035605946476736307/1061\ 3295504996026727634152682624*c_1001_2^21 - 25698874969052070606512278225/5306647752498013363817076341312*c_100\ 1_2^20 - 246976330232626253239386568951/106132955049960267276341526\ 82624*c_1001_2^19 - 225158879218543430850853192957/1061329550499602\ 6727634152682624*c_1001_2^18 + 243587382843830819659169780501/53066\ 47752498013363817076341312*c_1001_2^17 + 346224163092365536405439235489/2653323876249006681908538170656*c_10\ 01_2^16 - 1769288021618347742243150324985/1061329550499602672763415\ 2682624*c_1001_2^15 - 5227254904923376877051864071305/1061329550499\ 6026727634152682624*c_1001_2^14 + 6100050975722568865262532163841/1\ 0613295504996026727634152682624*c_1001_2^13 + 18361003670794966912617125938679/10613295504996026727634152682624*c\ _1001_2^12 - 12322952271029442901951441824069/106132955049960267276\ 34152682624*c_1001_2^11 - 10505768827401972134176872759361/26533238\ 76249006681908538170656*c_1001_2^10 + 14686250120897570754717911436021/10613295504996026727634152682624*c\ _1001_2^9 + 8230416774837044020415591898015/13266619381245033409542\ 69085328*c_1001_2^8 - 5729497658566478591196884794119/2653323876249\ 006681908538170656*c_1001_2^7 - 1106916091409074349346058150913/165\ 832742265562917619283635666*c_1001_2^6 + 4309931076728622083630769704631/1326661938124503340954269085328*c_1\ 001_2^5 + 436123291290529354099474792403/82916371132781458809641817\ 833*c_1001_2^4 - 990808205830200571052756799497/3316654845311258352\ 38567271332*c_1001_2^3 - 219807235281029032960907297860/82916371132\ 781458809641817833*c_1001_2^2 + 334662328448446003518144347671/1658\ 32742265562917619283635666*c_1001_2 + 66078808527996236000730938064/82916371132781458809641817833, c_0011_12 - 12672406574663128930876394413/26533238762490066819085381706\ 56*c_1001_2^24 + 115915963553144848390233442887/1061329550499602672\ 7634152682624*c_1001_2^23 + 35569257498171980686678395225/106132955\ 04996026727634152682624*c_1001_2^22 + 38058390127701973039751967919/10613295504996026727634152682624*c_10\ 01_2^21 - 169991924901132648802382215021/26533238762490066819085381\ 70656*c_1001_2^20 - 133945088693910920863842226899/1061329550499602\ 6727634152682624*c_1001_2^19 + 105929061542964659658512970189/10613\ 295504996026727634152682624*c_1001_2^18 + 287131873894142337314606577261/663330969062251670477134542664*c_100\ 1_2^17 - 845088407188121139420064719299/530664775249801336381707634\ 1312*c_1001_2^16 - 15196178052168061124406612777311/106132955049960\ 26727634152682624*c_1001_2^15 + 1382827692960263961197416755129/106\ 13295504996026727634152682624*c_1001_2^14 + 60947311215032603383689220784105/10613295504996026727634152682624*c\ _1001_2^13 - 14225849207626001941534315242133/106132955049960267276\ 34152682624*c_1001_2^12 - 140315773567588271936557860493945/1061329\ 5504996026727634152682624*c_1001_2^11 + 2110896237172250211060704835047/5306647752498013363817076341312*c_1\ 001_2^10 + 279886264008179876552535863074965/1061329550499602672763\ 4152682624*c_1001_2^9 - 11253520414672707184009988721865/2653323876\ 249006681908538170656*c_1001_2^8 - 174471720526164995846634360327963/5306647752498013363817076341312*c\ _1001_2^7 + 2637331026919056492792964001069/33166548453112583523856\ 7271332*c_1001_2^6 + 22891913249406870079655655774951/6633309690622\ 51670477134542664*c_1001_2^5 - 1276196092458522731080300052375/8291\ 6371132781458809641817833*c_1001_2^4 - 14931795954773412924609277268041/663330969062251670477134542664*c_1\ 001_2^3 + 1118479846626509305705284049936/8291637113278145880964181\ 7833*c_1001_2^2 + 938293741279994778707706926076/829163711327814588\ 09641817833*c_1001_2 - 891133992560368628739239770768/8291637113278\ 1458809641817833, c_0011_13 - 504453465176671270489762987/663330969062251670477134542664*\ c_1001_2^24 - 3679297948332948296683299435/106132955049960267276341\ 52682624*c_1001_2^23 + 37265564270345686926401247727/10613295504996\ 026727634152682624*c_1001_2^22 + 38959645297035605946476736307/1061\ 3295504996026727634152682624*c_1001_2^21 - 25698874969052070606512278225/5306647752498013363817076341312*c_100\ 1_2^20 - 246976330232626253239386568951/106132955049960267276341526\ 82624*c_1001_2^19 - 225158879218543430850853192957/1061329550499602\ 6727634152682624*c_1001_2^18 + 243587382843830819659169780501/53066\ 47752498013363817076341312*c_1001_2^17 + 346224163092365536405439235489/2653323876249006681908538170656*c_10\ 01_2^16 - 1769288021618347742243150324985/1061329550499602672763415\ 2682624*c_1001_2^15 - 5227254904923376877051864071305/1061329550499\ 6026727634152682624*c_1001_2^14 + 6100050975722568865262532163841/1\ 0613295504996026727634152682624*c_1001_2^13 + 18361003670794966912617125938679/10613295504996026727634152682624*c\ _1001_2^12 - 12322952271029442901951441824069/106132955049960267276\ 34152682624*c_1001_2^11 - 10505768827401972134176872759361/26533238\ 76249006681908538170656*c_1001_2^10 + 14686250120897570754717911436021/10613295504996026727634152682624*c\ _1001_2^9 + 8230416774837044020415591898015/13266619381245033409542\ 69085328*c_1001_2^8 - 5729497658566478591196884794119/2653323876249\ 006681908538170656*c_1001_2^7 - 1106916091409074349346058150913/165\ 832742265562917619283635666*c_1001_2^6 + 4309931076728622083630769704631/1326661938124503340954269085328*c_1\ 001_2^5 + 436123291290529354099474792403/82916371132781458809641817\ 833*c_1001_2^4 - 990808205830200571052756799497/3316654845311258352\ 38567271332*c_1001_2^3 - 219807235281029032960907297860/82916371132\ 781458809641817833*c_1001_2^2 + 334662328448446003518144347671/1658\ 32742265562917619283635666*c_1001_2 + 66078808527996236000730938064/82916371132781458809641817833, c_0011_14 - 144644188498803879749240173885/2122659100999205345526830536\ 5248*c_1001_2^24 + 302956839959462345572558799141/21226591009992053\ 455268305365248*c_1001_2^23 + 162017050686959530935442339025/212265\ 91009992053455268305365248*c_1001_2^22 + 39260307499100709855768048759/10613295504996026727634152682624*c_10\ 01_2^21 - 1801963689013721535181445262249/2122659100999205345526830\ 5365248*c_1001_2^20 - 734437219718993523777076044903/21226591009992\ 053455268305365248*c_1001_2^19 + 159180264431029386162532448373/106\ 13295504996026727634152682624*c_1001_2^18 + 3131449321644434398695454865023/5306647752498013363817076341312*c_1\ 001_2^17 - 2529445291291279763026280883399/212265910099920534552683\ 05365248*c_1001_2^16 - 44527260959841442562555665387603/21226591009\ 992053455268305365248*c_1001_2^15 - 43413950269093155910326081645/21226591009992053455268305365248*c_10\ 01_2^14 + 172857298087043641667913197046197/21226591009992053455268\ 305365248*c_1001_2^13 - 20255180927315363733942271777087/2122659100\ 9992053455268305365248*c_1001_2^12 - 50582347474383074509548005936713/2653323876249006681908538170656*c_\ 1001_2^11 - 12420676787302290447412243225101/2122659100999205345526\ 8305365248*c_1001_2^10 + 196080033306179125391411272210943/53066477\ 52498013363817076341312*c_1001_2^9 - 19457140931949232288053749997981/5306647752498013363817076341312*c_\ 1001_2^8 - 15752881723704128639814105701691/33166548453112583523856\ 7271332*c_1001_2^7 + 7129152235279964235101062710569/66333096906225\ 1670477134542664*c_1001_2^6 + 15820158955651842994680140939225/3316\ 65484531125835238567271332*c_1001_2^5 - 27259548736260497538730711734825/1326661938124503340954269085328*c_\ 1001_2^4 - 2556773313304478309480324794328/829163711327814588096418\ 17833*c_1001_2^3 + 6296315399677072966625391219841/3316654845311258\ 35238567271332*c_1001_2^2 + 1207926098054733382854851473788/8291637\ 1132781458809641817833*c_1001_2 - 1031126117053656237522290923775/8\ 2916371132781458809641817833, c_0011_16 + 95404263300301491447180642305/42453182019984106910536610730\ 496*c_1001_2^24 - 46905539430911186993309626691/4245318201998410691\ 0536610730496*c_1001_2^23 - 310360727438925196176254602643/42453182\ 019984106910536610730496*c_1001_2^22 - 40333618906658277426581441749/5306647752498013363817076341312*c_100\ 1_2^21 + 804488630967566894003547498349/424531820199841069105366107\ 30496*c_1001_2^20 + 1990750792033686158428197758861/424531820199841\ 06910536610730496*c_1001_2^19 + 106575761776590757056666780765/2653\ 323876249006681908538170656*c_1001_2^18 - 1638547040226509676010047256883/10613295504996026727634152682624*c_\ 1001_2^17 - 9799187889245598590211506083113/42453182019984106910536\ 610730496*c_1001_2^16 + 23330947662719223952901852058505/4245318201\ 9984106910536610730496*c_1001_2^15 + 38151519612509753977708186153843/42453182019984106910536610730496*c\ _1001_2^14 - 85456009996836297598811567694559/424531820199841069105\ 36610730496*c_1001_2^13 - 130024293044015602041359432095207/4245318\ 2019984106910536610730496*c_1001_2^12 + 90646150524185119753878181654683/21226591009992053455268305365248*c\ _1001_2^11 + 305469390739714993982697869132949/42453182019984106910\ 536610730496*c_1001_2^10 - 140656184579573698639606899216061/212265\ 91009992053455268305365248*c_1001_2^9 - 110610514128371604477791024762079/10613295504996026727634152682624*\ c_1001_2^8 + 94468100397131284332902368579711/106132955049960267276\ 34152682624*c_1001_2^7 + 6506427237860126786745750289725/6633309690\ 62251670477134542664*c_1001_2^6 - 13843465418026572116848870080725/\ 1326661938124503340954269085328*c_1001_2^5 - 3776933425554653645478034758651/663330969062251670477134542664*c_10\ 01_2^4 + 2813583484956424116649687567869/33166548453112583523856727\ 1332*c_1001_2^3 + 227539826323455567542065140069/165832742265562917\ 619283635666*c_1001_2^2 - 397146169795760723010777857355/8291637113\ 2781458809641817833*c_1001_2 + 12673432246193467421913027690/829163\ 71132781458809641817833, c_0011_7 + 42602701527982880456777818553/106132955049960267276341526826\ 24*c_1001_2^24 - 5236818029071772475752759045/663330969062251670477\ 134542664*c_1001_2^23 - 22521095264078516689030982337/5306647752498\ 013363817076341312*c_1001_2^22 - 48579407260255648109425750927/1061\ 3295504996026727634152682624*c_1001_2^21 + 516150813733014820912462772587/10613295504996026727634152682624*c_1\ 001_2^20 + 28374277029903946418827701251/13266619381245033409542690\ 85328*c_1001_2^19 + 74922702923699479643429672125/10613295504996026\ 727634152682624*c_1001_2^18 - 1786507441584719779072086704669/53066\ 47752498013363817076341312*c_1001_2^17 + 560028037092844182210099687607/10613295504996026727634152682624*c_1\ 001_2^16 + 6099725805525491062961089151289/530664775249801336381707\ 6341312*c_1001_2^15 + 339883936852100716026304091723/26533238762490\ 06681908538170656*c_1001_2^14 - 12074713109864735567886474359545/26\ 53323876249006681908538170656*c_1001_2^13 + 1056526287056327557122291931031/5306647752498013363817076341312*c_1\ 001_2^12 + 109173151559244675896520562366919/1061329550499602672763\ 4152682624*c_1001_2^11 + 12540482320332196131148519879893/106132955\ 04996026727634152682624*c_1001_2^10 - 212724332608342316653031642500707/10613295504996026727634152682624*\ c_1001_2^9 + 3496282512270223695473855685469/2653323876249006681908\ 538170656*c_1001_2^8 + 67550682585258500039297063255263/26533238762\ 49006681908538170656*c_1001_2^7 - 1482842901434557559697383728989/3\ 31665484531125835238567271332*c_1001_2^6 - 35609242956422093623656362893561/1326661938124503340954269085328*c_\ 1001_2^5 + 1718957107162149968232635206489/165832742265562917619283\ 635666*c_1001_2^4 + 1394514860270258598884716670229/829163711327814\ 58809641817833*c_1001_2^3 - 789800474068388968894855076082/82916371\ 132781458809641817833*c_1001_2^2 - 1394076814308086108526505894871/165832742265562917619283635666*c_10\ 01_2 + 631137070122743899428794167976/82916371132781458809641817833\ , c_0101_12 + 247245091766522310850732137319/8490636403996821382107322146\ 0992*c_1001_2^24 - 698600210272460318119140529995/84906364039968213\ 821073221460992*c_1001_2^23 - 80362186045068247791448309783/8490636\ 4039968213821073221460992*c_1001_2^22 + 102939691545201301359256529689/42453182019984106910536610730496*c_1\ 001_2^21 + 3597856243037544174407181134275/849063640399682138210732\ 21460992*c_1001_2^20 - 336312228910650012806993372615/8490636403996\ 8213821073221460992*c_1001_2^19 - 1504264241476332619461066042193/4\ 2453182019984106910536610730496*c_1001_2^18 - 6027765207607831566179697076899/21226591009992053455268305365248*c_\ 1001_2^17 + 16792302702483802492912349722805/8490636403996821382107\ 3221460992*c_1001_2^16 + 84924450413811795885808588444757/849063640\ 39968213821073221460992*c_1001_2^15 - 42241624651576801247949644812525/84906364039968213821073221460992*c\ _1001_2^14 - 336713888957521831148806532206539/84906364039968213821\ 073221460992*c_1001_2^13 + 191467427865725879174186083667433/849063\ 64039968213821073221460992*c_1001_2^12 + 204123842481447629557178563237305/21226591009992053455268305365248*\ c_1001_2^11 - 287666634288265921864837767869385/8490636403996821382\ 1073221460992*c_1001_2^10 - 6447252951953313959799811548061/3316654\ 84531125835238567271332*c_1001_2^9 + 160222397552794844363572910618651/21226591009992053455268305365248*\ c_1001_2^8 + 32959867300829791020633496850187/132666193812450334095\ 4269085328*c_1001_2^7 - 29674538715305732359004094431895/2653323876\ 249006681908538170656*c_1001_2^6 - 16133733130384354067325711789997/663330969062251670477134542664*c_1\ 001_2^5 + 19782182542471902309941462663673/132666193812450334095426\ 9085328*c_1001_2^4 + 2431512906672374619354941800813/16583274226556\ 2917619283635666*c_1001_2^3 - 3926199661022349473116028621281/33166\ 5484531125835238567271332*c_1001_2^2 - 553063461443253413917748785026/82916371132781458809641817833*c_1001\ _2 + 674909434312019488084155038945/82916371132781458809641817833, c_0101_2 + 42602701527982880456777818553/106132955049960267276341526826\ 24*c_1001_2^24 - 5236818029071772475752759045/663330969062251670477\ 134542664*c_1001_2^23 - 22521095264078516689030982337/5306647752498\ 013363817076341312*c_1001_2^22 - 48579407260255648109425750927/1061\ 3295504996026727634152682624*c_1001_2^21 + 516150813733014820912462772587/10613295504996026727634152682624*c_1\ 001_2^20 + 28374277029903946418827701251/13266619381245033409542690\ 85328*c_1001_2^19 + 74922702923699479643429672125/10613295504996026\ 727634152682624*c_1001_2^18 - 1786507441584719779072086704669/53066\ 47752498013363817076341312*c_1001_2^17 + 560028037092844182210099687607/10613295504996026727634152682624*c_1\ 001_2^16 + 6099725805525491062961089151289/530664775249801336381707\ 6341312*c_1001_2^15 + 339883936852100716026304091723/26533238762490\ 06681908538170656*c_1001_2^14 - 12074713109864735567886474359545/26\ 53323876249006681908538170656*c_1001_2^13 + 1056526287056327557122291931031/5306647752498013363817076341312*c_1\ 001_2^12 + 109173151559244675896520562366919/1061329550499602672763\ 4152682624*c_1001_2^11 + 12540482320332196131148519879893/106132955\ 04996026727634152682624*c_1001_2^10 - 212724332608342316653031642500707/10613295504996026727634152682624*\ c_1001_2^9 + 3496282512270223695473855685469/2653323876249006681908\ 538170656*c_1001_2^8 + 67550682585258500039297063255263/26533238762\ 49006681908538170656*c_1001_2^7 - 1482842901434557559697383728989/3\ 31665484531125835238567271332*c_1001_2^6 - 35609242956422093623656362893561/1326661938124503340954269085328*c_\ 1001_2^5 + 1718957107162149968232635206489/165832742265562917619283\ 635666*c_1001_2^4 + 1394514860270258598884716670229/829163711327814\ 58809641817833*c_1001_2^3 - 789800474068388968894855076082/82916371\ 132781458809641817833*c_1001_2^2 - 1559909556573649026145789530537/165832742265562917619283635666*c_10\ 01_2 + 631137070122743899428794167976/82916371132781458809641817833\ , c_0101_4 + 45282818740442207000471641503/212265910099920534552683053652\ 48*c_1001_2^24 - 232041959308429496580362830615/4245318201998410691\ 0536610730496*c_1001_2^23 - 70332306194397242513094263773/424531820\ 19984106910536610730496*c_1001_2^22 + 29699722868214483460994239029/42453182019984106910536610730496*c_10\ 01_2^21 + 10600794437843349115605257411/331665484531125835238567271\ 332*c_1001_2^20 + 80443669028998726253697975921/4245318201998410691\ 0536610730496*c_1001_2^19 - 926718563907383908066152009463/42453182\ 019984106910536610730496*c_1001_2^18 - 4495007868775255413616246553725/21226591009992053455268305365248*c_\ 1001_2^17 + 2266755084211238106936641305825/21226591009992053455268\ 305365248*c_1001_2^16 + 31330247005071262559664457026879/4245318201\ 9984106910536610730496*c_1001_2^15 - 7009492812067552089136056259793/42453182019984106910536610730496*c_\ 1001_2^14 - 124517169079486282148772550349587/424531820199841069105\ 36610730496*c_1001_2^13 + 40778804742860854574140826763663/42453182\ 019984106910536610730496*c_1001_2^12 + 304433587748356139928155833688425/42453182019984106910536610730496*\ c_1001_2^11 - 15729570758314407044612530734859/21226591009992053455\ 268305365248*c_1001_2^10 - 625948726130750255389058841765157/424531\ 82019984106910536610730496*c_1001_2^9 + 23833475798173953751973603433847/10613295504996026727634152682624*c\ _1001_2^8 + 25606954088935537412949044285165/1326661938124503340954\ 269085328*c_1001_2^7 - 9382564232788854176208506723539/265332387624\ 9006681908538170656*c_1001_2^6 - 53354737102416244242579764395751/2\ 653323876249006681908538170656*c_1001_2^5 + 4734015406265204599520829675677/663330969062251670477134542664*c_10\ 01_2^4 + 2209710531867575945147762585879/16583274226556291761928363\ 5666*c_1001_2^3 - 570382841908487412192399285043/829163711327814588\ 09641817833*c_1001_2^2 - 1153035796256712495017225102539/1658327422\ 65562917619283635666*c_1001_2 + 493607411526020341018578903714/8291\ 6371132781458809641817833, c_0101_6 - 1, c_0101_7 - 12672406574663128930876394413/265332387624900668190853817065\ 6*c_1001_2^24 + 115915963553144848390233442887/10613295504996026727\ 634152682624*c_1001_2^23 + 35569257498171980686678395225/1061329550\ 4996026727634152682624*c_1001_2^22 + 38058390127701973039751967919/10613295504996026727634152682624*c_10\ 01_2^21 - 169991924901132648802382215021/26533238762490066819085381\ 70656*c_1001_2^20 - 133945088693910920863842226899/1061329550499602\ 6727634152682624*c_1001_2^19 + 105929061542964659658512970189/10613\ 295504996026727634152682624*c_1001_2^18 + 287131873894142337314606577261/663330969062251670477134542664*c_100\ 1_2^17 - 845088407188121139420064719299/530664775249801336381707634\ 1312*c_1001_2^16 - 15196178052168061124406612777311/106132955049960\ 26727634152682624*c_1001_2^15 + 1382827692960263961197416755129/106\ 13295504996026727634152682624*c_1001_2^14 + 60947311215032603383689220784105/10613295504996026727634152682624*c\ _1001_2^13 - 14225849207626001941534315242133/106132955049960267276\ 34152682624*c_1001_2^12 - 140315773567588271936557860493945/1061329\ 5504996026727634152682624*c_1001_2^11 + 2110896237172250211060704835047/5306647752498013363817076341312*c_1\ 001_2^10 + 279886264008179876552535863074965/1061329550499602672763\ 4152682624*c_1001_2^9 - 11253520414672707184009988721865/2653323876\ 249006681908538170656*c_1001_2^8 - 174471720526164995846634360327963/5306647752498013363817076341312*c\ _1001_2^7 + 2637331026919056492792964001069/33166548453112583523856\ 7271332*c_1001_2^6 + 22891913249406870079655655774951/6633309690622\ 51670477134542664*c_1001_2^5 - 1276196092458522731080300052375/8291\ 6371132781458809641817833*c_1001_2^4 - 14931795954773412924609277268041/663330969062251670477134542664*c_1\ 001_2^3 + 1118479846626509305705284049936/8291637113278145880964181\ 7833*c_1001_2^2 + 938293741279994778707706926076/829163711327814588\ 09641817833*c_1001_2 - 891133992560368628739239770768/8291637113278\ 1458809641817833, c_0110_15 + 886047406258046587887983623/2122659100999205345526830536524\ 8*c_1001_2^24 + 17103278211435442858509126789/212265910099920534552\ 68305365248*c_1001_2^23 - 9374026524891197330087251799/212265910099\ 92053455268305365248*c_1001_2^22 - 29907679872951278573988151655/10613295504996026727634152682624*c_10\ 01_2^21 - 63310025010789166650947588317/212265910099920534552683053\ 65248*c_1001_2^20 + 171224784300838262043039928185/2122659100999205\ 3455268305365248*c_1001_2^19 + 199898128837202115971309584567/10613\ 295504996026727634152682624*c_1001_2^18 + 76490062516884339600762989201/5306647752498013363817076341312*c_100\ 1_2^17 - 1318538075516041815845037815355/21226591009992053455268305\ 365248*c_1001_2^16 - 1702194708785661319585135839019/21226591009992\ 053455268305365248*c_1001_2^15 + 4405878718589944622585231721075/21\ 226591009992053455268305365248*c_1001_2^14 + 7215216036124712032891287212757/21226591009992053455268305365248*c_\ 1001_2^13 - 15853480023766380311258570434567/2122659100999205345526\ 8305365248*c_1001_2^12 - 6259063261097176750880562545331/5306647752\ 498013363817076341312*c_1001_2^11 + 33221558804120036257467519344215/21226591009992053455268305365248*c\ _1001_2^10 + 1961077754812946065936497425849/6633309690622516704771\ 34542664*c_1001_2^9 - 12621402932921764113770544230421/530664775249\ 8013363817076341312*c_1001_2^8 - 3008612879346803354383245379633/66\ 3330969062251670477134542664*c_1001_2^7 + 3965491707385320517201368319671/1326661938124503340954269085328*c_1\ 001_2^6 + 395875104408204362718119462690/82916371132781458809641817\ 833*c_1001_2^5 - 2740250422531073929998346999847/663330969062251670\ 477134542664*c_1001_2^4 - 264192353001301605552443780270/8291637113\ 2781458809641817833*c_1001_2^3 + 1355366273470259699451022163531/33\ 1665484531125835238567271332*c_1001_2^2 + 103154360914024692810285071712/82916371132781458809641817833*c_1001\ _2 - 265997661056715589856066159465/82916371132781458809641817833, c_1001_1 - 39580146013456480395416361587/212265910099920534552683053652\ 48*c_1001_2^24 + 33723835349533599370284267605/21226591009992053455\ 268305365248*c_1001_2^23 + 19884358975199250886228093509/5306647752\ 498013363817076341312*c_1001_2^22 + 146637538046909943089651863789/21226591009992053455268305365248*c_1\ 001_2^21 - 173576158732012974273406131073/1061329550499602672763415\ 2682624*c_1001_2^20 - 559723232317414230964675432485/21226591009992\ 053455268305365248*c_1001_2^19 - 782478843389374051744069901345/212\ 26591009992053455268305365248*c_1001_2^18 + 2606499556660647424159877174881/21226591009992053455268305365248*c_\ 1001_2^17 + 2316023608475835463342187279085/21226591009992053455268\ 305365248*c_1001_2^16 - 8397922092638450548534310591179/21226591009\ 992053455268305365248*c_1001_2^15 - 359840499309182479731749322215/663330969062251670477134542664*c_100\ 1_2^14 + 16510404452156671447025869302969/1061329550499602672763415\ 2682624*c_1001_2^13 + 2228844474523997794184006704791/1326661938124\ 503340954269085328*c_1001_2^12 - 61991980857796495039777054360733/2\ 1226591009992053455268305365248*c_1001_2^11 - 43020950977881494621304775928985/10613295504996026727634152682624*c\ _1001_2^10 + 53524907321642961720947927272793/106132955049960267276\ 34152682624*c_1001_2^9 + 105413362868881280256264028312091/21226591\ 009992053455268305365248*c_1001_2^8 - 16937289743678974132580868343363/2653323876249006681908538170656*c_\ 1001_2^7 - 26762871684346207840026500963685/53066477524980133638170\ 76341312*c_1001_2^6 + 5031244857203295007033210553043/6633309690622\ 51670477134542664*c_1001_2^5 + 3065767482906895442719612019989/1326\ 661938124503340954269085328*c_1001_2^4 - 448026271044219062360395701042/82916371132781458809641817833*c_1001\ _2^3 - 39007981008734139886257349443/82916371132781458809641817833*\ c_1001_2^2 + 293674512326586358242462689158/82916371132781458809641\ 817833*c_1001_2 + 5808181784013453656991240665/82916371132781458809\ 641817833, c_1001_10 - 42602701527982880456777818553/10613295504996026727634152682\ 624*c_1001_2^24 + 5236818029071772475752759045/66333096906225167047\ 7134542664*c_1001_2^23 + 22521095264078516689030982337/530664775249\ 8013363817076341312*c_1001_2^22 + 48579407260255648109425750927/106\ 13295504996026727634152682624*c_1001_2^21 - 516150813733014820912462772587/10613295504996026727634152682624*c_1\ 001_2^20 - 28374277029903946418827701251/13266619381245033409542690\ 85328*c_1001_2^19 - 74922702923699479643429672125/10613295504996026\ 727634152682624*c_1001_2^18 + 1786507441584719779072086704669/53066\ 47752498013363817076341312*c_1001_2^17 - 560028037092844182210099687607/10613295504996026727634152682624*c_1\ 001_2^16 - 6099725805525491062961089151289/530664775249801336381707\ 6341312*c_1001_2^15 - 339883936852100716026304091723/26533238762490\ 06681908538170656*c_1001_2^14 + 12074713109864735567886474359545/26\ 53323876249006681908538170656*c_1001_2^13 - 1056526287056327557122291931031/5306647752498013363817076341312*c_1\ 001_2^12 - 109173151559244675896520562366919/1061329550499602672763\ 4152682624*c_1001_2^11 - 12540482320332196131148519879893/106132955\ 04996026727634152682624*c_1001_2^10 + 212724332608342316653031642500707/10613295504996026727634152682624*\ c_1001_2^9 - 3496282512270223695473855685469/2653323876249006681908\ 538170656*c_1001_2^8 - 67550682585258500039297063255263/26533238762\ 49006681908538170656*c_1001_2^7 + 1482842901434557559697383728989/3\ 31665484531125835238567271332*c_1001_2^6 + 35609242956422093623656362893561/1326661938124503340954269085328*c_\ 1001_2^5 - 1718957107162149968232635206489/165832742265562917619283\ 635666*c_1001_2^4 - 1394514860270258598884716670229/829163711327814\ 58809641817833*c_1001_2^3 + 789800474068388968894855076082/82916371\ 132781458809641817833*c_1001_2^2 + 1394076814308086108526505894871/165832742265562917619283635666*c_10\ 01_2 - 631137070122743899428794167976/82916371132781458809641817833\ , c_1001_2^25 - 3*c_1001_2^24 + c_1001_2^23 + 13*c_1001_2^21 - 7*c_1001_2^20 - 4*c_1001_2^19 - 84*c_1001_2^18 + 99*c_1001_2^17 + 273*c_1001_2^16 - 273*c_1001_2^15 - 1151*c_1001_2^14 + 1233*c_1001_2^13 + 2478*c_1001_2^12 - 2427*c_1001_2^11 - 5174*c_1001_2^10 + 5576*c_1001_2^9 + 5880*c_1001_2^8 - 7872*c_1001_2^7 - 5184*c_1001_2^6 + 9472*c_1001_2^5 + 1408*c_1001_2^4 - 6912*c_1001_2^3 + 512*c_1001_2^2 + 4096*c_1001_2 - 2048 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_16, c_0011_7, c_0101_12, c_0101_2, c_0101_4, c_0101_6, c_0101_7, c_0110_15, c_1001_1, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 44 Groebner basis: [ t - 1194089055821249932078734162246124178876538206822492595622521453336\ 890294301176478494600913449684878610317160475327926437466/153432221\ 4097793640723404745857970194287491853562191780689475759892747821169\ 876230596080304793256764142014259329239917865*c_1001_2^43 + 3738417786772761156534202666576442545435061147706659110539245139482\ 44498031704065274173635602810665243507587461593570996463/2101811252\ 1887584119498695148739317729965641829619065488896928217708874262601\ 044254740826093058311837561839168893697505*c_1001_2^42 - 1250290674131010776125853640824958142391947076018687037773461965018\ 22645044263763216820156524498842820152776772112286042486037/5114407\ 3803259788024113491528599006476249728452073059356315858663091594038\ 9958743532026768264418921380671419776413305955*c_1001_2^41 + 9552434215379862177477833596584011278517008135718469270019450967227\ 2017630520024058620646505641927936728794463900664998316823/52907662\ 5550963324387380946847575929064652363297307510582577848238878559024\ 09525192968286372181267729034974459628962685*c_1001_2^40 - 2603686203708672948929597345862021951396917715711933585257727780134\ 713329165470431494975574308421486132606517541213383427827218/306864\ 4428195587281446809491715940388574983707124383561378951519785495642\ 33975246119216060958651352828402851865847983573*c_1001_2^39 + 1099256756601467070230476311913754077969773179402132527754539300626\ 52543397489927504414252129374084339797206465835715063647306/7006037\ 5072958613731662317162464392433218806098730218296323094059029580875\ 33681418246942031019437279187279722964565835*c_1001_2^38 - 3880161368022954219180502561824706176865528418607773279570482457616\ 279774396031022111393272194353090610019690568379363709297/503882500\ 5247269756070294731881675514901451079021976291262646173703605324039\ 00239933031298782678740276523566282180597*c_1001_2^37 - 6521857091951070785740813942786388573080138635821062075777230842905\ 423366771701936493328408263214769019920093985246026263982228/511440\ 7380325978802411349152859900647624972845207305935631585866309159403\ 89958743532026768264418921380671419776413305955*c_1001_2^36 + 9655603292039917474242984095574486709622060886217735062889008106120\ 825631974498839775657028952052674186611742121387239838041956/306864\ 4428195587281446809491715940388574983707124383561378951519785495642\ 33975246119216060958651352828402851865847983573*c_1001_2^35 - 1355087119997010883579119300139628126762980069379747076737296611982\ 819218105492219341237799938841607021791451612914508442039783/251528\ 2318193104329054761878455688843094248940265888165064714360479914460\ 9342233288460332865463225641672364907036719965*c_1001_2^34 + 7980535795510964145312081116013678552970458825820430281161533162561\ 199862068937253604724129828589946432841748413158494383555379/511440\ 7380325978802411349152859900647624972845207305935631585866309159403\ 89958743532026768264418921380671419776413305955*c_1001_2^33 + 1719350020525120885623532534978486372352029528330246124291653558931\ 2148206384165125814179902334897275807673112625836968626672996/11802\ 4785699830280055646518912151553406730142581707060053036596914826755\ 474605863892006177291788981857078019948403070605*c_1001_2^32 - 2364108431570384419179622046707578446277549957052621758337114739712\ 13699729026836069396403399168594813245043094456168108624028311/1534\ 3222140977936407234047458579701942874918535621917806894757598927478\ 21169876230596080304793256764142014259329239917865*c_1001_2^31 - 3126149526453089008910890286626714470870244416762344294787252953184\ 82430582942128377099401345442564257424128286759398572535993944/1534\ 3222140977936407234047458579701942874918535621917806894757598927478\ 21169876230596080304793256764142014259329239917865*c_1001_2^30 + 1800215004502924733373051488623885447085095312778521430064792716369\ 248738799882431595220210710667539121637140581915448871835208/562022\ 7890468108574078405662483407305082387741986050478716028424515559784\ 505041137714579871037570564622762854685860505*c_1001_2^29 + 2518619191348179824626637513720729774795850841838702111980613993310\ 7204044964334041599151641259209744826666289196665963089325422/11802\ 4785699830280055646518912151553406730142581707060053036596914826755\ 474605863892006177291788981857078019948403070605*c_1001_2^28 - 4456758834082928170609622431232895857536055274927088926973838900154\ 4471035274123001844036231455776928988423227624469970750159359/10228\ 8147606519576048226983057198012952499456904146118712631717326183188\ 077991748706405353652883784276134283955282661191*c_1001_2^27 - 2953354873684098170566341927847559783825171929073891725528636353648\ 59363468274753371756560160580634963398985847668335187131162716/1534\ 3222140977936407234047458579701942874918535621917806894757598927478\ 21169876230596080304793256764142014259329239917865*c_1001_2^26 + 2420876689594983471355248230582650042606846170817137906950279123656\ 09781895063511160148262566775265319561949472256887980528485149/5114\ 4073803259788024113491528599006476249728452073059356315858663091594\ 0389958743532026768264418921380671419776413305955*c_1001_2^25 + 2058410655302076835159967567666822556353272153764831435238096335193\ 85331022210207901814007162940673654579549164005740672674154946/1534\ 3222140977936407234047458579701942874918535621917806894757598927478\ 21169876230596080304793256764142014259329239917865*c_1001_2^24 - 6517511696662116656387232600202315739775460647981062485271912790867\ 37632557083842252165371256428233085532548193823305202788217112/1534\ 3222140977936407234047458579701942874918535621917806894757598927478\ 21169876230596080304793256764142014259329239917865*c_1001_2^23 - 7266717892495774781318705892340146683742749723596618128933723626990\ 2300863302573559414140752157930248836532464516982963231527538/15343\ 2221409779364072340474585797019428749185356219178068947575989274782\ 1169876230596080304793256764142014259329239917865*c_1001_2^22 + 3122707472207731235928000581245066267084606597239592566729642288222\ 3131636076873552210634999091182730749425302961996350948791779/10228\ 8147606519576048226983057198012952499456904146118712631717326183188\ 077991748706405353652883784276134283955282661191*c_1001_2^21 - 4357577862547215409503446096670067664655282852857965496919371685299\ 4363589878102497872508420105879383220444709974221916746369457/15343\ 2221409779364072340474585797019428749185356219178068947575989274782\ 1169876230596080304793256764142014259329239917865*c_1001_2^20 - 4990967734543647023108964347420885179572042363691560640897355063661\ 5176643811222743687081406614979907622591270024556378658032782/30686\ 4442819558728144680949171594038857498370712438356137895151978549564\ 233975246119216060958651352828402851865847983573*c_1001_2^19 + 3069832867645455066322391510826689405691338751723819734662574909985\ 0026323970357752233078972206425388319197277196875116066560442/51144\ 0738032597880241134915285990064762497284520730593563158586630915940\ 389958743532026768264418921380671419776413305955*c_1001_2^18 + 2031895083314775606916264840119294061728387484664690393484428088711\ 146138363635045739485553115268856911572109122262413998565246/393415\ 9523327676001854883963738385113557671419390235335101219897160891849\ 1535287964002059097262993952359339982801023535*c_1001_2^17 - 7966424957863792505402867742384137293943812102392558831714643404341\ 8133752814900203151611374228807280613130379355391223038568181/15343\ 2221409779364072340474585797019428749185356219178068947575989274782\ 1169876230596080304793256764142014259329239917865*c_1001_2^16 + 7689440359786173223945079315780780791132621674722437268620023378091\ 469117964701927551900635322597449096488167563947825163736676/153432\ 2214097793640723404745857970194287491853562191780689475759892747821\ 169876230596080304793256764142014259329239917865*c_1001_2^15 + 1495819411777791431730060407109258228605543678224610079052647690712\ 7374506983107966910803181281645413752421100698680402393648849/51144\ 0738032597880241134915285990064762497284520730593563158586630915940\ 389958743532026768264418921380671419776413305955*c_1001_2^14 - 2958302612295026114295553277688120756993994934063336459427880327855\ 2962591492839748799560941395618297390287382633808754304920914/15343\ 2221409779364072340474585797019428749185356219178068947575989274782\ 1169876230596080304793256764142014259329239917865*c_1001_2^13 - 1704839202888660148786888710048403150987111874792362751791498420509\ 0021235366410499347836284387137758811631889404123547827749221/15343\ 2221409779364072340474585797019428749185356219178068947575989274782\ 1169876230596080304793256764142014259329239917865*c_1001_2^12 + 2235240303735687443984352143324741819489676816238208399349681092746\ 2101801947323878665358296603015224556303677942938208561435074/15343\ 2221409779364072340474585797019428749185356219178068947575989274782\ 1169876230596080304793256764142014259329239917865*c_1001_2^11 + 1174798924859289577592191749085079983875181908433862953257238013257\ 669383718390801398365508259341372747615673002471103895275448/511440\ 7380325978802411349152859900647624972845207305935631585866309159403\ 89958743532026768264418921380671419776413305955*c_1001_2^10 - 5136523583476266973399376777373872312831243782079999822039140493504\ 13051703628738509362109175601614875842992534312269643306181/7306296\ 2576085411463019273612284294966071040645818656223308369518702277198\ 565534790289538323488417340095917110916186565*c_1001_2^9 + 3937928511424645328736046253900672360630810532810000448019332000588\ 10925831506944996750646220837526291233391973896893052493371/1534322\ 2140977936407234047458579701942874918535621917806894757598927478211\ 69876230596080304793256764142014259329239917865*c_1001_2^8 + 3668947221466828336233902136778907679129934460840557309612190892244\ 780340334771446357375969164753814362337781101972432049535846/153432\ 2214097793640723404745857970194287491853562191780689475759892747821\ 169876230596080304793256764142014259329239917865*c_1001_2^7 - 8748930312747550571455287486743627507987303487825273107368905052353\ 3943554213301332550191808173634845509578757311903316991194/21918888\ 7728256234389057820836852884898213121937455968669925108556106831595\ 696604370868614970465252020287751332748559695*c_1001_2^6 - 8576489633584499941218572934241475572691040316583008526208342644849\ 17289979416525755043257082681638402988179255207864484486459/1534322\ 2140977936407234047458579701942874918535621917806894757598927478211\ 69876230596080304793256764142014259329239917865*c_1001_2^5 + 1254717740766053174770584786375055795987962563804284763841587891334\ 928069730793204666157350675169372991668081473978282935038/838427439\ 3977014430182539594852296143647496467552960550215714534933048203114\ 077762820110955154408547224121635678906655*c_1001_2^4 + 8202417571438376324539764899669601723518781685607034668800364245477\ 150164587025407380243873662932663203325681733431619683901/102288147\ 6065195760482269830571980129524994569041461187126317173261831880779\ 91748706405353652883784276134283955282661191*c_1001_2^3 - 2036583780777748135420632915145752463075098651999633354552587517823\ 499762727338078166076587457198133702437207689085096694008/730629625\ 7608541146301927361228429496607104064581865622330836951870227719856\ 5534790289538323488417340095917110916186565*c_1001_2^2 - 8105172126414708721177625600285904871705885456277195164685680454522\ 265966947751725774135180869136799647867203696298598865883/153432221\ 4097793640723404745857970194287491853562191780689475759892747821169\ 876230596080304793256764142014259329239917865*c_1001_2 + 5450003480045357961201864497099361580476794498361163117691380127169\ 3717722570216294602364642996349275896128877683637500194/25152823181\ 9310432905476187845568884309424894026588816506471436047991446093422\ 33288460332865463225641672364907036719965, c_0011_0 - 1, c_0011_10 - 20173053904218027786281663236225931806912816048977406728763\ 963283095592072389717/879465006097546057268631449558809548200394416\ 139777757473756248494099875028179*c_1001_2^43 + 1438495152723379672453151033576938008260383747669860300403543596294\ 03245504686793/2931550020325153524228771498529365160667981387132592\ 52491252082831366625009393*c_1001_2^42 - 1891000101263138808265814369132501930948488740052573691657590950597\ 800053521746920/293155002032515352422877149852936516066798138713259\ 252491252082831366625009393*c_1001_2^41 + 4341609236964382712798123439828642628490463253363987217671265991724\ 12347989502360/1010879317353501215251300516734263848506200478321583\ 6292801795959702297414117*c_1001_2^40 - 5159058363058846293418677450425590592866548189855882826323887388491\ 8928932236370848/29315500203251535242287714985293651606679813871325\ 9252491252082831366625009393*c_1001_2^39 + 1092591167495280508000069950959758504661019373826366629917932367895\ 59639938637490724/8794650060975460572686314495588095482003944161397\ 77757473756248494099875028179*c_1001_2^38 + 9703959027915124117596927514183657663424039823668553980158098586469\ 540113490952629/303263795206050364575390155020279154551860143496475\ 08878405387879106892242351*c_1001_2^37 - 4122291867338330124315191215439398923703075091649270669944673562133\ 75140660778955989/8794650060975460572686314495588095482003944161397\ 77757473756248494099875028179*c_1001_2^36 + 2309160166283278408408527988739687721006437086487120566859971784046\ 59044797193760713/8794650060975460572686314495588095482003944161397\ 77757473756248494099875028179*c_1001_2^35 - 4444895268656904000349934730103065888459036565925993307642188975651\ 89034789256314170/8794650060975460572686314495588095482003944161397\ 77757473756248494099875028179*c_1001_2^34 - 1039713150410379094952026743026956874274925464327492575786456248038\ 869224422943955627/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^33 + 1181469241055098944751557012528132494238647447165253778296128321074\ 562495276748548988/293155002032515352422877149852936516066798138713\ 259252491252082831366625009393*c_1001_2^32 + 1639575183385293813487457568578040671222518444355454442340487410076\ 176114827069657904/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^31 - 8986272612194602068357436796083794311303325593450022469400964299670\ 161255347418583916/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^30 - 2022553786106705458413058826051818607029391960907829029954972372031\ 840549072071710236/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^29 + 1544232804217036396342447009207696572472726497373067174673809149138\ 2145371718671688106/87946500609754605726863144955880954820039441613\ 9777757473756248494099875028179*c_1001_2^28 + 2637408592975310808588181029218499169758381490536736796513543768732\ 795075995864163819/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^27 - 2085411278871784468801834202050934035451172193812793698755486696334\ 3874080588943794677/87946500609754605726863144955880954820039441613\ 9777757473756248494099875028179*c_1001_2^26 - 3420921397397771934056541040036790534831198350634307925913392600499\ 053839407830473547/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^25 + 2319273752724085035434147739643619691937249283303817829848220560139\ 6842259090891764407/87946500609754605726863144955880954820039441613\ 9777757473756248494099875028179*c_1001_2^24 + 3858574653158193655259213502550533400101506175965613671101853711571\ 277478439487305352/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^23 - 2168065457199828866014823863103834601558662391206364507205850201002\ 6728226638521660597/87946500609754605726863144955880954820039441613\ 9777757473756248494099875028179*c_1001_2^22 - 3584119053232854341863064858437535385106677705613392571375307369892\ 996982180939425286/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^21 + 5736528708349665212941010590927185898078335041216315970194299240492\ 115137776619754692/293155002032515352422877149852936516066798138713\ 259252491252082831366625009393*c_1001_2^20 + 9100039827213503823900084871118588312117142960309778002982531289977\ 66821445527278721/2931550020325153524228771498529365160667981387132\ 59252491252082831366625009393*c_1001_2^19 - 3889840907683228916571558383588050148411865294381380871575406914411\ 261429777375650087/293155002032515352422877149852936516066798138713\ 259252491252082831366625009393*c_1001_2^18 - 1716571843725479685761881477769289007509036356426820061452387359769\ 981629743415033491/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^17 + 6774768723334661494237594439698586049083999046847187418890481125386\ 850743048121107196/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^16 + 2980404459010863987532221381675286473120063418893029600730112767402\ 22009137175590264/2931550020325153524228771498529365160667981387132\ 59252491252082831366625009393*c_1001_2^15 - 3361989592821879899454594010524927457987306250980799685187125379600\ 463054099265740699/879465006097546057268631449558809548200394416139\ 777757473756248494099875028179*c_1001_2^14 - 1283439617901552175518226917954416228341995549325336277922215419316\ 18735251588622225/2931550020325153524228771498529365160667981387132\ 59252491252082831366625009393*c_1001_2^13 + 4724019349060579149070208584531674945667983157144071446540062057519\ 27736835705116392/2931550020325153524228771498529365160667981387132\ 59252491252082831366625009393*c_1001_2^12 + 1355114285790642196494579263090884284216279775659837989368315158530\ 67367142043113152/8794650060975460572686314495588095482003944161397\ 77757473756248494099875028179*c_1001_2^11 - 1671098990955976809928983633043542198115895563921438455092141278492\ 27896594849715219/2931550020325153524228771498529365160667981387132\ 59252491252082831366625009393*c_1001_2^10 - 3800192945125291305328144113678548373470919522175218159924205281710\ 0244424604490317/87946500609754605726863144955880954820039441613977\ 7757473756248494099875028179*c_1001_2^9 + 1457577579683168252282504513885389881442212064675195073009256678295\ 49952290764768946/8794650060975460572686314495588095482003944161397\ 77757473756248494099875028179*c_1001_2^8 + 8034227655166718665271280182631460443349230425122108403543799413367\ 658425185588453/879465006097546057268631449558809548200394416139777\ 757473756248494099875028179*c_1001_2^7 - 3359562707033155103219768213938682246336312585702899036118650541645\ 7873078307495336/87946500609754605726863144955880954820039441613977\ 7757473756248494099875028179*c_1001_2^6 - 1119996936630812838412524372703980182823926405645235426235507874774\ 810996454159688/879465006097546057268631449558809548200394416139777\ 757473756248494099875028179*c_1001_2^5 + 1920124781883577755635300198304555367472223030233442510627608162821\ 071687875523426/293155002032515352422877149852936516066798138713259\ 252491252082831366625009393*c_1001_2^4 + 6160345367904880966907177524966642832868192427439021617406699792389\ 5817338723302/87946500609754605726863144955880954820039441613977775\ 7473756248494099875028179*c_1001_2^3 - 2163027441663846380684872684179413686860495930799938150659483809980\ 05461941000533/2931550020325153524228771498529365160667981387132592\ 52491252082831366625009393*c_1001_2^2 + 2019683187439948115449867517933014135698767068301107033552534797997\ 485859791821/293155002032515352422877149852936516066798138713259252\ 491252082831366625009393*c_1001_2 + 3546023373036316729227322155231976856817638434487640336090341568952\ 2900907040099/87946500609754605726863144955880954820039441613977775\ 7473756248494099875028179, c_0011_11 + 12916450147396282999875283880727986153340349320550308351189\ 36822580536207947770966/3957592527438957257708841523014642966901774\ 8726289999086319031182234494376268055*c_1001_2^43 - 2887312708697447864300316239601619374854898615646225217067798493894\ 9810704835547224/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055*c_1001_2^42 + 3908786273583330625675923581876487935440355527832806199504714107843\ 26409259892228346/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^41 - 3209827927517039222530397081848044056445570324801732991121009989933\ 5866593047123626/45489569280907554686308523253041873182779021524471\ 2633176080818186603383635265*c_1001_2^40 + 2515598773939168155309122312314294635469136783529505863257875361293\ 161660222829413446/791518505487791451541768304602928593380354974525\ 7999817263806236446898875253611*c_1001_2^39 - 1908049643250211586667423161510218637032902575796807540785317686745\ 8725484200181764659/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^38 + 2021416825489058308951212119853284684843700377793738099438663915211\ 612046532254114/909791385618151093726170465060837463655580430489425\ 26635216163637320676727053*c_1001_2^37 + 1991409724813556283590498319214142346266027440818642378220255265965\ 8425762121969948964/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^36 - 4829416634696939673687397105657096558167443977865714125833181496896\ 454414022160839694/791518505487791451541768304602928593380354974525\ 7999817263806236446898875253611*c_1001_2^35 + 5008005583034374122680097117566566155787382760878039750001790222372\ 2044061206958728758/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^34 + 1194401367407344993953856052586231753052720613907176725714031602241\ 7261466921908269158/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^33 - 2301001178940851338581359897268283017293737314970917588943780497216\ 77081146450951301053/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^32 + 2800154156898717313786025985572702865551785932836860257477598206317\ 7216809474672142632/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^31 + 5019847451091474288132318648895311947302400822440407179219918684220\ 86117738508509738119/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^30 - 2346107554149248894711867771890054815802665909648536954544581146726\ 61604197155153479404/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^29 - 8199980193495438903674822537640330701620471547820420629871398565848\ 47945564300631867056/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^28 + 2512060731885860015759243102974884551432456624438567887119910031884\ 9615174510264169669/26383950182926381718058943486764286446011832484\ 19333272421268745482299625084537*c_1001_2^27 + 1211010441627720422451642693430305318928625263241900984332756089282\ 37481650843587420514/4397325030487730286343157247794047741001972080\ 698888787368781242470499375140895*c_1001_2^26 - 4499538909769271742452147013487483594743003432298103251454223554603\ 64671504434294257467/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^25 - 1210277778848391867160875049058303138907853453937746730088587798094\ 110914202503672900696/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^24 + 4358475116330886701316645271855090399608395372317282915603597302026\ 73483391329027419872/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^23 + 1132395655611025170090698836629774128807078019243556309027194231238\ 381426031853246092573/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^22 - 7084650987512722420384215036231140471588145824795100740843302801894\ 5443417105288407625/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^21 - 8990385457774993844432088779148489368047278934454740992421760752947\ 97411537786055888603/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^20 + 4914387396159258839050803200730902940417365739696124873966179763489\ 8221789612542061525/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^19 + 6085549366402933094817120204950877108850919055935780738523963255798\ 92562114206199002549/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^18 - 1462942712578796225427975760199304019491063397966321776957714901161\ 47755373448933205109/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^17 - 3521373819456082724103977340705543648508635966162260660534653729057\ 48194729713716164289/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^16 + 7474734798472073372340966449540423880644937070544493131106243561168\ 5258287273785219689/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^15 + 1739795567664832212104304301540649455392126783706082478361651610897\ 80739469747112265803/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^14 - 3254419258071763952501198047666163716679337263708887853629412983441\ 3023192340407550276/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^13 - 7299147098199412974716632882834033571575574149867752907254237426633\ 2254526018029306714/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^12 + 1323857564991307968133256615652988952426802537832709564001056275779\ 338498424657186824/439732503048773028634315724779404774100197208069\ 8888787368781242470499375140895*c_1001_2^11 + 2569985456706751997480430534694192271035059512177148801191478103644\ 8822146658117793841/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^10 - 3585822953252791704032689694422850506251830422254456213010670864872\ 088224034992250779/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^9 - 2479956408573196948620786720785522202715007975951946847503777027574\ 523121946822040827/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^8 + 2850601842224285794112658423724273689848662922650986010876672557425\ 12719655293033948/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^7 + 1898110153478917701468782713588332070889359791988293920280236385672\ 76484271005318387/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^6 - 5042941870629006701250545459035130273975140830890818672399740294174\ 7722739244027282/13191975091463190859029471743382143223005916242096\ 666362106343727411498125422685*c_1001_2^5 - 2917115769798448148525274189819290845071231542134140577729379018558\ 69555676217807594/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^4 + 3490203239067398467764022385079337027786340426594617309028718146662\ 555412353551395/791518505487791451541768304602928593380354974525799\ 9817263806236446898875253611*c_1001_2^3 + 3270398864835739600871576527081980863513576341917063591554001086503\ 7555942421696508/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055*c_1001_2^2 - 3070596067342050499168111333887451850041475404300811925242470868478\ 23139585472414/1319197509146319085902947174338214322300591624209666\ 6362106343727411498125422685*c_1001_2 - 1786684448827880542453601650984581118932530152151162873458169125217\ 777022025098649/395759252743895725770884152301464296690177487262899\ 99086319031182234494376268055, c_0011_12 - 19964687358133753646439095825352222412807002684493931718856\ 3226205102214589789729/13191975091463190859029471743382143223005916\ 242096666362106343727411498125422685*c_1001_2^43 + 1579087190511147290731192551831182450920077933364176312991520757005\ 532174237656197/439732503048773028634315724779404774100197208069888\ 8787368781242470499375140895*c_1001_2^42 - 6647482097952129432423120800201543498413609520964964355537332304430\ 0307431211968254/13191975091463190859029471743382143223005916242096\ 666362106343727411498125422685*c_1001_2^41 + 1769297675278379246786104345031558377929295302026453394742326968596\ 4305293716683322/45489569280907554686308523253041873182779021524471\ 2633176080818186603383635265*c_1001_2^40 - 5034080031175082757068026484756427703981735668028594378730268656027\ 63292084616815500/2638395018292638171805894348676428644601183248419\ 333272421268745482299625084537*c_1001_2^39 + 5492827196354189983314124034254643052532775191798973963460722975129\ 511308787889706566/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^38 - 2550981980804181476870355533908632750793683942299937168318565320721\ 4653385722733693/90979138561815109372617046506083746365558043048942\ 526635216163637320676727053*c_1001_2^37 - 2921245985237732508626167829824937311086970597925277486302820307993\ 074321232804311496/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^36 + 1488712737621332006288323685240090719625416650428305455058369121002\ 87219455650583674/2931550020325153524228771498529365160667981387132\ 59252491252082831366625009393*c_1001_2^35 - 1225570138391892291043938895935269152857845884309140432559749526919\ 7807816865506683117/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^34 + 9231075096481289716655551464087816500843720640862585525157765065461\ 669058453612073108/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^33 + 3897930751017052577788500061781172359776766515808211234342429661047\ 1949564457663736732/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^32 - 5658625986978038568809998914502472270104080568387983963399140695068\ 8559929977868784164/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^31 - 7024414735988592014447472706921452412774884593398674670117231498668\ 4541267224377795991/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^30 + 1410527088374642462665920472720868461963399692687340888759031210416\ 3703112262937415364/14657750101625767621143857492646825803339906935\ 66296262456260414156833125046965*c_1001_2^29 + 1059673067634342525439617372980990652298701145081114211164109212576\ 32519027326885489294/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^28 - 4006632168538096751735937678741779866204453044375030044870954897569\ 5008470042714391285/26383950182926381718058943486764286446011832484\ 19333272421268745482299625084537*c_1001_2^27 - 1399108051184470944341767147051466473044716966293771339540236305957\ 75431184767653198634/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^26 + 8324602887305231938513647215183597971890680987701706171477409167655\ 5514694405014930691/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^25 + 1598156927708220888464324656234109868966085702129561054960699592315\ 66424689977469658779/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^24 - 8547433025648182623030762085155466987611156175166442560282630060868\ 5843328657548519491/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^23 - 1554871346225210918396082109719610511644258195210817211937764046068\ 97618993888970413237/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^22 + 4415550148705610161882513231736828197771929377318386932551743707801\ 7810078269713152223/26383950182926381718058943486764286446011832484\ 19333272421268745482299625084537*c_1001_2^21 + 1284920179289019729164411764393878680901553220850403203858327529233\ 79939623685795075472/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^20 - 1073537264589838977611208472924502985677740221557405934824531492226\ 0041002025046831262/87946500609754605726863144955880954820039441613\ 9777757473756248494099875028179*c_1001_2^19 - 9039025082672452644604394098093706453206004891316113669922970194331\ 1393128299670741981/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^18 + 1111224763715355453960665497930082970512648472668118976753171900525\ 9419829069421075624/14657750101625767621143857492646825803339906935\ 66296262456260414156833125046965*c_1001_2^17 + 5428437905354927663389820056096711892942902900138859126314290144398\ 5749897922627461401/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^16 - 5292568118899306986653565369437565220481011230244148876401084007671\ 9385462019658378511/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^15 - 2783888121104751442312858437585059709562758125321043819042363824261\ 0411838781895261362/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^14 + 2376501398612474473099094532773449674103109276084048200240456213789\ 2854848674230372044/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^13 + 4048822008084916385233282216553989999498301160035716915360285548499\ 834013141014144562/439732503048773028634315724779404774100197208069\ 8888787368781242470499375140895*c_1001_2^12 - 2987395166619261091384617536355694800417008458814680374342419920480\ 836297001676399068/439732503048773028634315724779404774100197208069\ 8888787368781242470499375140895*c_1001_2^11 - 4465097218379136480299275975922408155155010199065626226745026600103\ 787229597631743184/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^10 + 9285425210090137450806977136618318157507756962160406537409144300140\ 85368764309687042/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^9 + 1507913906003374833878597947976173479206347758691299987896920787999\ 32054979609253941/1465775010162576762114385749264682580333990693566\ 296262456260414156833125046965*c_1001_2^8 - 2302846668385537145170238757626348231027017215729431231205015042292\ 16949810823265537/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^7 - 1099663005216950622830521121314686166204986785305278593871506449700\ 76498113229098204/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^6 + 4293987296019819218145642805357718594795405896800043532584186337699\ 4289629098145728/43973250304877302863431572477940477410019720806988\ 88787368781242470499375140895*c_1001_2^5 + 6025817871158181504541728231153061421852194916341388012811543389529\ 7702266053359271/13191975091463190859029471743382143223005916242096\ 666362106343727411498125422685*c_1001_2^4 - 1071556520347558970556132229243001273199048561865455798470598125967\ 884089637686715/879465006097546057268631449558809548200394416139777\ 757473756248494099875028179*c_1001_2^3 - 7267978465991904346672401931740412748967525235005639034764552770832\ 831483579103712/131919750914631908590294717433821432230059162420966\ 66362106343727411498125422685*c_1001_2^2 + 1009480249037399202330778253729456439700464817613885278179852865136\ 952632351143108/131919750914631908590294717433821432230059162420966\ 66362106343727411498125422685*c_1001_2 + 4717595521232101512607895012969440385919826227069650655485283983531\ 3284366664599/14657750101625767621143857492646825803339906935662962\ 62456260414156833125046965, c_0011_13 - 82500267952526959248294441663323800907294357237335739124248\ 45203886708067759065887/3957592527438957257708841523014642966901774\ 8726289999086319031182234494376268055*c_1001_2^43 + 1846861093160918994247395655966056317585536649682894819767321193042\ 83795125448481613/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^42 - 2502220719599288900906693215721197265823252016148126631922288609373\ 744910033875502397/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^41 + 2058463717813967988876905801128845059983004066695397619975807881678\ 73013082317697867/4548956928090755468630852325304187318277902152447\ 12633176080818186603383635265*c_1001_2^40 - 1615860966900227665844170605223778055399839481100515453369609829303\ 9126878313015676297/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^39 + 1235386699242627903501133689635686700330194220878013212153279394185\ 81977053647249354678/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^38 - 1156372861038856461607455700888761956412639006221003414539548876256\ 0365014709923474/90979138561815109372617046506083746365558043048942\ 526635216163637320676727053*c_1001_2^37 - 1366083715485013461366112759704285281468321021196916212262578657706\ 34187998961455954728/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^36 + 3317914260078818446694821217230774337068946753117222616884535010829\ 3479490307531043849/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^35 - 3242689584014915338309595202647208280887767094593431423317904610924\ 83448453721224226211/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^34 - 7327603305656743200474683286964084755468586119463438150244108914909\ 5026928944912408791/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^33 + 1494108418756234908665309788076853679367219621991441000919283155654\ 619752753799971939561/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^32 - 2002709607177514969867085394840509037452068320260261963348623432241\ 51056399147567659044/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^31 - 3249447182237135144988961574343968684360017300119415749663361139472\ 765676049070940407088/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^30 + 1678888443692259806823089963101923984177376940885504197535657607089\ 727919518837847257908/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^29 + 5293069120559786382091387267493745307931541107589664285091812293047\ 433422050114911836242/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^28 - 1817790430108717109140611556380323561357610509684368890546741552368\ 21813305432680981899/2638395018292638171805894348676428644601183248\ 419333272421268745482299625084537*c_1001_2^27 - 2607049520428225686283041058522484335515453083293306202835614257057\ 84197906995568101766/1465775010162576762114385749264682580333990693\ 566296262456260414156833125046965*c_1001_2^26 + 3314973510792266105972711899843114536771787148184439683523891589107\ 361259944223125827904/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^25 + 7834884655835673503222724406862870092134420092537391918475755190566\ 092753492975249694337/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^24 - 3278338669251196665919550157818417483937257643709841611771571792042\ 127687982348566472684/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^23 - 7355231797530943738766931562412239804086243627904278843062471994513\ 255332573215165058846/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^22 + 5446946344580820412546402163064711493561467620406466044324935739776\ 59036894233930972122/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^21 + 5860274638404077334771489815185053940888532591357999774553566009975\ 648211071354939382146/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^20 - 3860069096652608939310027807782353385734675007622777024701767748478\ 99654712455371931596/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^19 - 3980917086484258890442572728995317772985398124947883758869727037941\ 992408810395974653848/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^18 + 1172824620016497397581844612890009898563106208406190377363089154952\ 105713919083627583808/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^17 + 2311564115880637574163212803837011760627627980567745482142036541439\ 427351824503959681768/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^16 - 6109367858598166314233319038003953243714188195750902220277615232535\ 70958795426900344688/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^15 - 1146096932594806751390209688230341727176630408488216516414920060432\ 753082881746312088276/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^14 + 2710149761280364020168421763088492141533103377850660525615587656265\ 04599247337900299742/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^13 + 4826296038273256102109340867590653045280154785115232294681525931302\ 07367423608551230043/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^12 - 1123419114772562512406719766799005058261892403368659633422645213149\ 3346176085673522163/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^11 - 1706515355618681367104706904086585677471856961211621358106313963727\ 56244821878861162042/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^10 + 3105220883262457591068864113447651760156120085129383319931765233077\ 8137763998905603943/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^9 + 1655110798967158027323518832727897176311085639330981775779144131736\ 2764124984063399629/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^8 - 2527586663202806250379740036776695176412373562648470119774070999433\ 984857555899755286/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^7 - 4250017197852378744528678917325845828807556433140951541236050859238\ 89713949537658863/1465775010162576762114385749264682580333990693566\ 296262456260414156833125046965*c_1001_2^6 + 4609006809778825642957210504527597464467209005447417848847910348973\ 50248197311074249/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^5 + 1976972938538860925839753621643235214742588780960566239841616645321\ 807810920278761713/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^4 - 3336219090906187621139021997126211778681611145501914916044779163772\ 4516659740910249/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^3 - 2242989097627801971587195057824179391005012541599627687684689600213\ 56679574583771921/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^2 + 3298022410932523557909410837869802172402664368272322716728170649550\ 564642226790378/131919750914631908590294717433821432230059162420966\ 66362106343727411498125422685*c_1001_2 + 1242442433730802100398654815111005703396308092511498669140592389686\ 2104139120789248/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055, c_0011_14 + 30986290604418850669646515880229781293565449355329167351583\ 64421170494241785077176/1319197509146319085902947174338214322300591\ 6242096666362106343727411498125422685*c_1001_2^43 - 6924278027767522313367990445111891750348907821848640967903708124363\ 5648307017806124/13191975091463190859029471743382143223005916242096\ 666362106343727411498125422685*c_1001_2^42 + 9369319507147712203905266366867319505647990740594788737395176270969\ 77975288603223681/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^41 - 2305615374291089424405810415121990819830769164417075376955512364938\ 54613932120582423/4548956928090755468630852325304187318277902152447\ 12633176080818186603383635265*c_1001_2^40 + 6675973509428287804669793432925636191365022580176164907963235094723\ 59832555099590025/2931550020325153524228771498529365160667981387132\ 59252491252082831366625009393*c_1001_2^39 - 1497774266330557738390018800913605510700268042024950518921393779723\ 8873242889144786438/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^38 - 7977027246592421202972636850538123792259282662595917215196523973824\ 772886409731200/909791385618151093726170465060837463655580430489425\ 26635216163637320676727053*c_1001_2^37 + 1783745867878929450321400158555142956080009955064306364305114125371\ 6989881243388289698/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^36 - 1223692103419416462878821937917370645438135046410004910556608811565\ 4029972562426419758/26383950182926381718058943486764286446011832484\ 19333272421268745482299625084537*c_1001_2^35 + 1180569938730539226040219104536017307405877694630539978033519032244\ 01923237223378461913/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^34 + 1159846862915022927229202591178422461444323647845998634346034987529\ 8116604198733124476/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^33 - 1884601672687473777497339878251572046941730381995352733253529616980\ 21737499428806758386/4397325030487730286343157247794047741001972080\ 698888787368781242470499375140895*c_1001_2^32 + 2043652799550990371454695048510363260894013407063932025128168088475\ 45318060535846859106/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^31 + 1387780394681819603582959748271144486193505602375852621479380585366\ 32632926742709794621/1465775010162576762114385749264682580333990693\ 566296262456260414156833125046965*c_1001_2^30 - 5962062159262009397955569638349381804414609891693568034660148606940\ 99679498638805243219/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^29 - 2051201587332839830237720607804819572356693954620550740721062831467\ 884325641035407943356/131919750914631908590294717433821432230059162\ 42096666362106343727411498125422685*c_1001_2^28 + 1955413692257022588119073622928359143965247278684327058261275054076\ 45489519637868830694/2638395018292638171805894348676428644601183248\ 419333272421268745482299625084537*c_1001_2^27 + 2743230398869481643928270952694881025198038471457380853431151715685\ 228297524650413056186/131919750914631908590294717433821432230059162\ 42096666362106343727411498125422685*c_1001_2^26 - 1190329261738200922644405738560597616766319912798732518829123529795\ 525517023558047973142/131919750914631908590294717433821432230059162\ 42096666362106343727411498125422685*c_1001_2^25 - 3067268812451988992681014982708341970827460282627813426170808826289\ 155738902828456488396/131919750914631908590294717433821432230059162\ 42096666362106343727411498125422685*c_1001_2^24 + 1174576148849759816323133707311855768060984414425445938641105303630\ 143834583511235994292/131919750914631908590294717433821432230059162\ 42096666362106343727411498125422685*c_1001_2^23 + 2892437199344458989426976319243295443566591139364837279740554931193\ 734881507864506413663/131919750914631908590294717433821432230059162\ 42096666362106343727411498125422685*c_1001_2^22 - 2161300573220435845857154434271194136331930521491324810389513767182\ 4327881056753224306/29315500203251535242287714985293651606679813871\ 3259252491252082831366625009393*c_1001_2^21 - 2572343434534430833899068884118205810592595120759388805062546844714\ 25693969685251592682/1465775010162576762114385749264682580333990693\ 566296262456260414156833125046965*c_1001_2^20 + 1373660578464411648849062419021194211813755685794619438030268080646\ 28008449154726341009/2638395018292638171805894348676428644601183248\ 419333272421268745482299625084537*c_1001_2^19 + 1580247186525084099399725900828907056898571757524790862671859748132\ 571184128845063291844/131919750914631908590294717433821432230059162\ 42096666362106343727411498125422685*c_1001_2^18 - 4160401879993583443774677123503177274445475383128466468338286388991\ 30025407437433953059/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^17 - 9222071429644248412814579166775003849386675434738501577647879390994\ 97958183332376792059/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^16 + 7202685498971041420391412789040265227630981490383175385474589171744\ 5828499624312933883/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^15 + 5107618940245141984066282128761116082008584327235899658686514095173\ 6052805702908652112/14657750101625767621143857492646825803339906935\ 66296262456260414156833125046965*c_1001_2^14 - 1062019638091117115937009337861163088372874207586593482454084670396\ 5700236780747140889/14657750101625767621143857492646825803339906935\ 66296262456260414156833125046965*c_1001_2^13 - 1946798791208577196218809771437083402990742032846173695084891327643\ 41737037520512972439/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^12 + 1184674350383296429870205055718893688645000836303524318908888531338\ 3662142830990992337/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^11 + 6926404674909448670300868732183979011292435118400379374017646780737\ 2800602122228613296/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^10 - 1086685117289855538889601188950092479049495759364968364451569073049\ 2224550627885597064/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^9 - 2254648321875448732297186820901015885445740291142703470943159576324\ 529181611229409324/146577501016257676211438574926468258033399069356\ 6296262456260414156833125046965*c_1001_2^8 + 2928087000816714798223314955170527301468637594035313523137987850523\ 83742617162510311/1465775010162576762114385749264682580333990693566\ 296262456260414156833125046965*c_1001_2^7 + 1575650406287589463303673541791467019940007123473394461052350651039\ 766804182597464011/439732503048773028634315724779404774100197208069\ 8888787368781242470499375140895*c_1001_2^6 - 1583735437641594706176397421570062169313764440688466702533842107504\ 64159550605274497/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^5 - 8221591906706327704287316016235223075088306226998066648976590221260\ 04392635122722994/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^4 + 1121631332920281679783694878773530546107702996452362243064367069436\ 7629673049908916/26383950182926381718058943486764286446011832484193\ 33272421268745482299625084537*c_1001_2^3 + 9436148985341638637704353272975109659942863834027199437358412832698\ 7372788005342383/13191975091463190859029471743382143223005916242096\ 666362106343727411498125422685*c_1001_2^2 - 3188095977555256711225390983576924303509904247045172378056616483430\ 341624193854767/131919750914631908590294717433821432230059162420966\ 66362106343727411498125422685*c_1001_2 - 5282692117702472251272663502040226619759131795299513172989800044189\ 581476837139294/131919750914631908590294717433821432230059162420966\ 66362106343727411498125422685, c_0011_16 - 16908910335858510233110487804874365851297217633777541525554\ 33637955713993125163530/7915185054877914515417683046029285933803549\ 745257999817263806236446898875253611*c_1001_2^43 + 3767846365930316043837896934879897373131897685690610255418710679651\ 8774924963096750/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^42 - 5088734975450430416536333452971402839078737939550738110322922980857\ 94208763370523108/7915185054877914515417683046029285933803549745257\ 999817263806236446898875253611*c_1001_2^41 + 4618120697107626722997331083285451843539120353592886979464983251789\ 004442387452546/101087931735350121525130051673426384850620047832158\ 36292801795959702297414117*c_1001_2^40 - 1615789632824663603035209781037112704675495304521730751902354684910\ 2634977320066518676/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^39 + 2344537851263357386382790105212150378705536517536666531020988305008\ 1472450649949399380/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^38 + 9059400978868442540371454837992464762776362558609784638554406802201\ 980873791953779/303263795206050364575390155020279154551860143496475\ 08878405387879106892242351*c_1001_2^37 - 2948533447676763498487017271368057031147258365697930324649909943018\ 0032498471267628530/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^36 + 3171040036787178045187707093743036147212452990701401717745157352937\ 1502957173325699417/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^35 - 6213367688877585786781817460627325913320174781871925520895521396684\ 4944091287195851928/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^34 - 2357144413771083050938933144576650828443209731725254821023377511424\ 4647902324968915523/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^33 + 3083047390401006489063342917112598836427319574477812688381472676235\ 68728488634171383083/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^32 - 1024223387834479973624732774013306378282046340511191774506609597147\ 1926614429562806796/87946500609754605726863144955880954820039441613\ 9777757473756248494099875028179*c_1001_2^31 - 6914764278469411956818025357511474589986683925349182566266035284288\ 64845244524566005682/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^30 + 2846269774007730848938934198840334087425761397820358489828250439213\ 28853733619930737865/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^29 + 1144474517039852600509087740341590793918954972556385866472695355711\ 149657756216713019287/791518505487791451541768304602928593380354974\ 5257999817263806236446898875253611*c_1001_2^28 - 5203301244024319770301275161302032325625751348616435355885233810314\ 8845391216954093794/87946500609754605726863144955880954820039441613\ 9777757473756248494099875028179*c_1001_2^27 - 5120813557622471081381958599130741795387687221961917687035134662806\ 46217025300489117777/2638395018292638171805894348676428644601183248\ 419333272421268745482299625084537*c_1001_2^26 + 5636499593490427004025656630378450698201435589398074630664351465094\ 71233955276004655367/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^25 + 1720321673897059113439384359497968674915944336702711318411562749714\ 808746855219396292869/791518505487791451541768304602928593380354974\ 5257999817263806236446898875253611*c_1001_2^24 - 5463286986782294222068191508788901696018377321045364358517363523909\ 31380208597527146629/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^23 - 1623181932604523995444493198422584597039569665794598515928610322907\ 250933791129231633600/791518505487791451541768304602928593380354974\ 5257999817263806236446898875253611*c_1001_2^22 + 4431101013881089760073390160980970342076404614244340617935776526526\ 28481369965029216376/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^21 + 1299364466215991866003110712534821469765958368285203447784337087222\ 501518060440964230235/791518505487791451541768304602928593380354974\ 5257999817263806236446898875253611*c_1001_2^20 - 3062723755681968863942204722138661810683991521339177804907522269976\ 36128107049779161915/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^19 - 8868141711669546248869705450811457052507428991684086603803390640610\ 57640564786151035869/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^18 + 1815633758296608584239548367415166079720879123844361716241415021090\ 96987977670002833998/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^17 + 5173573270957425152551937908287793423979354606341371568129079472156\ 54214185044754461756/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^16 - 9227540854826430931560870948494022601979259384260678643064141694284\ 5877972909885358500/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^15 - 2577256020357394101584330645355158946866781099808571248472019355955\ 11660329626069236226/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^14 + 3989666697662053843757473187625573631433241290064281783560682420619\ 0622991912067411170/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^13 + 1090384802110744421399258821096620779766047850786987654513643749745\ 71259931698917501899/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^12 - 5355406885243597213560487709822588169850837445686057884750914887099\ 57012610681004172/2931550020325153524228771498529365160667981387132\ 59252491252082831366625009393*c_1001_2^11 - 3873145621185770209940288076485132975992484181911493652486013265912\ 2372456226170079284/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^10 + 4284346788811842112352643331119399609839879932488710585519287720476\ 071401906215677576/791518505487791451541768304602928593380354974525\ 7999817263806236446898875253611*c_1001_2^9 + 3772863224387262956516822993687108413829084502442538641376363591397\ 290603802785165681/263839501829263817180589434867642864460118324841\ 9333272421268745482299625084537*c_1001_2^8 - 3320982563154960956960687542466704902466032197813075248853799589667\ 02140996202843658/2638395018292638171805894348676428644601183248419\ 333272421268745482299625084537*c_1001_2^7 - 2918327728618876986444245062755770874469608450241581613702396665841\ 31420485204585850/8794650060975460572686314495588095482003944161397\ 77757473756248494099875028179*c_1001_2^6 + 5623611851788164731255969437587568846209354646376066536151038424806\ 4667344671481311/26383950182926381718058943486764286446011832484193\ 33272421268745482299625084537*c_1001_2^5 + 4540729245884890849763062540734636898063985299239758576984576103782\ 75715827942339849/7915185054877914515417683046029285933803549745257\ 999817263806236446898875253611*c_1001_2^4 - 1793848459387416404282047266444259235319239915702865003839893782682\ 6808294131978100/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^3 - 5159526554621939212068285199762360093951808828483910185486461590162\ 1163518981749194/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^2 + 9296927779334516601917734807436915767455634441356182900917090433411\ 8339090561765/87946500609754605726863144955880954820039441613977775\ 7473756248494099875028179*c_1001_2 + 2847685921239898300440377301330185447769134402367837096277495692042\ 210582020359739/791518505487791451541768304602928593380354974525799\ 9817263806236446898875253611, c_0011_7 + 918001722730857110956029155183057630547946888196684783550548\ /3751075103462869014863135847533487691274518746099435147345*c_1001_\ 2^43 - 205846210167719694644071050527409633527134549184997591463938\ 32/3751075103462869014863135847533487691274518746099435147345*c_100\ 1_2^42 + 2791807935127025863347291718485222796513032787647263733232\ 17248/3751075103462869014863135847533487691274518746099435147345*c_\ 1001_2^41 - 2302118818573494019091217234173098973898118889637255023\ 6599628/43115805786929528906472825833718249324994468345970518935*c_\ 1001_2^40 + 1812182129363329596593143024077482058806935711786048509\ 277976182/750215020692573802972627169506697538254903749219887029469\ *c_1001_2^39 - 1405957947623616644390385102473983469984017851358862\ 0028792650807/37510751034628690148631358475334876912745187460994351\ 47345*c_1001_2^38 + 22659931058204257074952630204452415666589414986\ 54314038205848/8623161157385905781294565166743649864998893669194103\ 787*c_1001_2^37 + 1522966972558414102415825640105963301141838866640\ 6941180971553202/37510751034628690148631358475334876912745187460994\ 35147345*c_1001_2^36 - 37772231401375559119656198234758840355261666\ 45434938802070279962/7502150206925738029726271695066975382549037492\ 19887029469*c_1001_2^35 + 36659097457481181625015827191327162980107\ 162267444665331165872789/375107510346286901486313584753348769127451\ 8746099435147345*c_1001_2^34 + 680968564728372963896087137741535686\ 7633069603053779352490771594/37510751034628690148631358475334876912\ 74518746099435147345*c_1001_2^33 - 166780724446349726435727946839549472331242470640901526619342339394/\ 3751075103462869014863135847533487691274518746099435147345*c_1001_2\ ^32 + 2414447355055577778978058552048497961645840718257701048069470\ 7041/1250358367820956338287711949177829230424839582033145049115*c_1\ 001_2^31 + 36080971143081384838984351650906627485376569341779855190\ 4805370007/37510751034628690148631358475334876912745187460994351473\ 45*c_1001_2^30 - 19863404934428731262051556725168829041614909636531\ 7742707870942827/37510751034628690148631358475334876912745187460994\ 35147345*c_1001_2^29 - 58649405381621970978776545552105234353545501\ 6325343555416659555678/37510751034628690148631358475334876912745187\ 46099435147345*c_1001_2^28 + 21472343729293676995009857826129806048\ 804449627913047557287269384/250071673564191267657542389835565846084\ 967916406629009823*c_1001_2^27 + 2599196105534446959036809925224859\ 17123713699556145824852308425341/1250358367820956338287711949177829\ 230424839582033145049115*c_1001_2^26 - 392720935942721373007056588029913737399075171010641101044597997126/\ 3751075103462869014863135847533487691274518746099435147345*c_1001_2\ ^25 - 8684517207628113330150702282900017394475964543400442687244168\ 95538/3751075103462869014863135847533487691274518746099435147345*c_\ 1001_2^24 + 3899806276984374734767744914287149743005299181458566369\ 26463844796/3751075103462869014863135847533487691274518746099435147\ 345*c_1001_2^23 + 8160272549180767517660067862850898128814536300379\ 55143150629447044/3751075103462869014863135847533487691274518746099\ 435147345*c_1001_2^22 - 6506097136834371074492039287971457537506781\ 1273992882911837673003/75021502069257380297262716950669753825490374\ 9219887029469*c_1001_2^21 - 650793202559456883520131775026080116993\ 342761058300868422257331864/375107510346286901486313584753348769127\ 4518746099435147345*c_1001_2^20 + 462690652877937166971643000608345\ 13357329255813118048671119126422/7502150206925738029726271695066975\ 38254903749219887029469*c_1001_2^19 + 442501262931617745032000017265373301234966411517657599292103828517/\ 3751075103462869014863135847533487691274518746099435147345*c_1001_2\ ^18 - 1409850045666609224953072512176122961387227913703833057792617\ 18507/3751075103462869014863135847533487691274518746099435147345*c_\ 1001_2^17 - 2571765414100645590209514925161844629930202000511296712\ 47693845977/3751075103462869014863135847533487691274518746099435147\ 345*c_1001_2^16 + 7360598918980651703399072326984257229474679939878\ 8992557505879572/37510751034628690148631358475334876912745187460994\ 35147345*c_1001_2^15 + 12762729385853904413105516030053378802111916\ 1183236186877372261034/37510751034628690148631358475334876912745187\ 46099435147345*c_1001_2^14 - 32711909197818716755833675550380975157\ 189665414351765061881378968/375107510346286901486313584753348769127\ 4518746099435147345*c_1001_2^13 - 537969834892624949324864459323708\ 97121107447586741316507656179957/3751075103462869014863135847533487\ 691274518746099435147345*c_1001_2^12 + 452729955629741608669669882912067632623485968268366500027928729/138\ 928707535661815365301327686425470047204398003682783235*c_1001_2^11 + 19042726480002556164524387283358011279722181950407216699363522613/3\ 751075103462869014863135847533487691274518746099435147345*c_1001_2^\ 10 - 37604438323003511559663307859905783089278168850507466603281131\ 42/3751075103462869014863135847533487691274518746099435147345*c_100\ 1_2^9 - 18492716448367951622297686108433187941575358714286459380626\ 52186/1250358367820956338287711949177829230424839582033145049115*c_\ 1001_2^8 + 30669216976780516483822912403791820074908333421491962079\ 3515204/1250358367820956338287711949177829230424839582033145049115*\ c_1001_2^7 + 142679677215605337025518408221771502139176030441676702\ 549788626/416786122606985446095903983059276410141613194011048349705\ *c_1001_2^6 - 56068373403173402249479690354898011344308644844128418\ 137625731/125035836782095633828771194917782923042483958203314504911\ 5*c_1001_2^5 - 2216645815179034213974622848796309164659782367544373\ 30346528402/3751075103462869014863135847533487691274518746099435147\ 345*c_1001_2^4 + 40744416715161986455670654460739036437948663182597\ 20000854733/7502150206925738029726271695066975382549037492198870294\ 69*c_1001_2^3 + 252064873983935339843489992444808833156563578057355\ 96869637044/3751075103462869014863135847533487691274518746099435147\ 345*c_1001_2^2 - 40596711547104171804933750206526668946763481552247\ 2527052377/12503583678209563382877119491778292304248395820331450491\ 15*c_1001_2 - 13994436263567476510669436860326413628495888507628191\ 00757652/3751075103462869014863135847533487691274518746099435147345\ , c_0101_12 + 82684155008630312610282496095096541251366015275452639645390\ 57577219219863944201863/3957592527438957257708841523014642966901774\ 8726289999086319031182234494376268055*c_1001_2^43 - 1841127849865773638798311877474558063478797238605241229804949502044\ 84543249329387052/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^42 + 2485665218265702839762459857832819506284575474308150375821289717254\ 485887505855590148/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^41 - 2028492295298306481296297241216685938204847597524723696210059262454\ 44165067688911783/4548956928090755468630852325304187318277902152447\ 12633176080818186603383635265*c_1001_2^40 + 1576163808879659730547086219356465893835194182972885962246023322077\ 5395489458354225921/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^39 - 1139647668099106246883763618583576524170793475802693774679743114812\ 45589714895211275197/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^38 - 2459886568761560629326939292347147683159042133240835130034945300948\ 8339847827872457/90979138561815109372617046506083746365558043048942\ 526635216163637320676727053*c_1001_2^37 + 1396411265243061287393671437749511715401726439550386530558062669687\ 29267031521908726542/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^36 - 3039054629208756963867386507217316066814412165027568440803213206978\ 7736182336619900953/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^35 + 3050400742848804741123060385691695751602205079600640163990176367608\ 76329424326694790869/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^34 + 1150678468143016630461583567818459218509332527573150045995908849249\ 03571442416894637249/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^33 - 1494253762263371217418048963557857675494686467136560252905877855894\ 907542224853560715069/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^32 + 1422918688830840372111425076988179914942523040597060907471971611162\ 94861754708356595356/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^31 + 3340568202337734980450737927201473641628298523975330829156374819255\ 876747410468161256577/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^30 - 1315306252387484339857176985582732555181278842393051364706592127083\ 116998305074075883952/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^29 - 5517130648958035509779121740159940996658744610760710865465247163191\ 840414908436373384288/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^28 + 1430392868091491399009509778393180424581765058508593999647770071264\ 41011678792914372493/2638395018292638171805894348676428644601183248\ 419333272421268745482299625084537*c_1001_2^27 + 8205351479635206940531909779124968459698622877239718794217136142704\ 44345183546032991862/4397325030487730286343157247794047741001972080\ 698888787368781242470499375140895*c_1001_2^26 - 2553134363781562333248853606100599910696439694800929540544745607348\ 452717507677758335471/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^25 - 8240342652018780922996158203375395778307164494477461082581548055676\ 496396645060942176283/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^24 + 2442843316539886549862491279866967837865905120397522659680907584421\ 846228472591791961351/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^23 + 7742851792351978683554940335804781131529200954490204270379331851807\ 846346771323413603304/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^22 - 3907425877530050913577274015883587106272929575948320570995928980893\ 46075730081912385688/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^21 - 6170167323628516060282912728040907489898356665901753986812846408971\ 967805157296607010529/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^20 + 2661557838328645521170590678767489816114582510564258907712661589835\ 04430023565384119700/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^19 + 4190782679463824809643377242562909508992317524416139517247771803815\ 886350620577921444317/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^18 - 7770246924461198331027115762193355991857355161063961155615773374354\ 10721657770569405927/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^17 - 2432263313230028646813976305567009534612634252023937640568779980172\ 637160929265357447502/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^16 + 3886837767311442080553837857082809527847201777477958532713107273551\ 34566536616385782837/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^15 + 1204883542637583333302755991139707582634704026848923072193222052664\ 281549640002472303129/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^14 - 1651761468738484961679122699626292282367229819130713585806431240218\ 75873154390093820398/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^13 - 5065976771554118753855369146419477515807792166821724458417383913061\ 71160072568814841242/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^12 + 2173729515169735429949720731233652352143586967023043184081536756310\ 349494180442632279/146577501016257676211438574926468258033399069356\ 6296262456260414156833125046965*c_1001_2^11 + 1786647507582066432024213319781918339673609339019324272399967402283\ 92446078683792552063/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^10 - 1697184151485251461569027716054943779230910811927505406472292144815\ 8287296948434003267/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^9 - 1725544409329411369722539687698400538822519193558845969394227555553\ 0431624169402357691/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^8 + 1273443472070434561359790116667976362903514755742425760504148666695\ 104099469473840454/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^7 + 1320360078742615780738328159174121105138369343240989074951227268216\ 155233426616401131/439732503048773028634315724779404774100197208069\ 8888787368781242470499375140895*c_1001_2^6 - 2053223284704088829757488704951305687100731878449477382699526529283\ 31120966310528561/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^5 - 2024489636754063999389019931957234158899406755816081167598889571418\ 409427729410152822/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^4 + 1203606607937576736262599593222940578909847289573347587930591733887\ 4808287829486894/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^3 + 2252698846242596014870340764557971606589874934682598897409756114056\ 73533177783483859/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^2 - 7880991163998802091470131537539847812760415275819132327222672342561\ 82706746297262/1319197509146319085902947174338214322300591624209666\ 6362106343727411498125422685*c_1001_2 - 1206277243066257469065428197488584849645713360039523522679312229670\ 8296854374514897/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055, c_0101_2 - 835420699157229674269941791754457834057971184466309344490145\ 1331622840827168861791/39575925274389572577088415230146429669017748\ 726289999086319031182234494376268055*c_1001_2^43 + 1873958087838750198069191861696757653084227269350732936294358064964\ 47586750561703919/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^42 - 2542088202069623812259439419482094767869833316146974459699516273161\ 721198775895276331/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^41 + 2330181169529006201623840608950559829588523355610953513610935175497\ 1131338626634374/50543965867675060762565025836713192425310023916079\ 181464008979798511487070585*c_1001_2^40 - 1651596752515243025932804251208415041202774319910030292393617285918\ 3895945391425343569/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^39 + 1284289747968546238632899617038629067240136043913990000956389625645\ 27757881565476460604/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^38 - 2337005368898127258192015860489391643774451923113937499561655473238\ 182985077659830/101087931735350121525130051673426384850620047832158\ 36292801795959702297414117*c_1001_2^37 - 1400975922740852788171933256091080676543804646857967763307867738238\ 13337890961168433654/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^36 + 3478037024810450016662781326595330759034150423743252967225147616888\ 7542770721467652248/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^35 - 3346669768992254745730854754844666095003891796091588744872312864073\ 70399643445554483218/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^34 - 6047220075941822532545145439664138161322836977766648942530783921169\ 3265088557728251823/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^33 + 1522072240770357430159813709043835896700797895066324532751020566140\ 593177449867770620533/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^32 - 7476844487238290764241735223098630752574354714123615186350367132114\ 7501431763973109239/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^31 - 3290664681603589572624134005961530690504995296719347498107996653797\ 340199234458743987064/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^30 + 1843283160041632981730684047651441640661992675267793901399095838687\ 089441875001318756359/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^29 + 5346853996543375957409292474956725724862245360065512763024728684169\ 421296979204159955376/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^28 - 6649498510607021849515551650070446790827920614250466915607809062556\ 5980917819393508728/87946500609754605726863144955880954820039441613\ 9777757473756248494099875028179*c_1001_2^27 - 2370137105547075695469614492637992374568624929106390486944494886341\ 241876171116810335777/131919750914631908590294717433821432230059162\ 42096666362106343727411498125422685*c_1001_2^26 + 3656178414612345263671841119554451270718784380133994613405247182797\ 076469373479036354272/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^25 + 7923487488383057504085719046662734071800596150140288709581205143064\ 091339250298041338761/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^24 - 3639073856935604545757309443398544608254884564952818845107660320778\ 419984690660254733372/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^23 - 7450375067818649194859046966577262847598924237752769349142388630046\ 764095802346860379363/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^22 + 6084810688461978482805892557381956778139948483617935071362590523808\ 69243311051463718525/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^21 + 5946065965897686915712623448364295823955135217277712493284930979617\ 833263073229999401673/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^20 - 4335863109998202442021669785201222638532384329260257648158605920093\ 28711111423151009876/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^19 - 4045873760579286026140050514291076776275605494481766665400120825716\ 439617158516540529729/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^18 + 1323360315900498976414942532757354527092865893884945371988704837936\ 461723812613029618824/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^17 + 2353067552601173323996596120978827346905056479790883202757713236410\ 552257806399042300509/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^16 - 6918148990481016887644860407492193742525447655132431796188463731821\ 57901284970904960129/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^15 - 1168575273875785293383225837375160330674773909711186333831689704237\ 380684271689005969358/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^14 + 3077615751767053984227572237030403424684207393465733061116720639601\ 33235088433958829776/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^13 + 4929456680103754670008453744951630298189538893573573597994652697842\ 41544982522771094244/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^12 - 1278671619167918900637301578630641554089517651776493452605923596909\ 8748726245807355139/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^11 - 1746377518355287443466691218482744704774657328795299951777386781596\ 35683421756507107371/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^10 + 3541306996089353767500561648254145900290999468995627326572978239748\ 7527094620511252229/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^9 + 1697620558894505873925232352951172304823037042778073416453466105871\ 3146000496982859182/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^8 - 2887351453424652210712873261545452525775085218885653281041383643038\ 507913202905708073/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^7 - 4371321758778951426659548079935537127686918839222534159567773660015\ 90626233946230739/1465775010162576762114385749264682580333990693566\ 296262456260414156833125046965*c_1001_2^6 + 5270340254820915740574503852834462747513460923434577573812098796788\ 23292364036700327/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^5 + 2040640698018815748783195120365513835808425165630148688494902461247\ 680476013377737844/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^4 - 3810434632070666590049162218189351451240719786792597836414786477247\ 1634069882093896/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^3 - 2325260836491364803996556170303186075150086790804016629571624844459\ 56881566800323538/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^2 + 1241823788016589951011800086859645756177488180151082430633223834827\ 579282330551278/439732503048773028634315724779404774100197208069888\ 8787368781242470499375140895*c_1001_2 + 1293864698040163373351495550662726819190432487243050589873754842849\ 8637653103448284/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055, c_0101_4 - 185420618673281375988402482117523141154162938095482258121006\ 1028030239429862059301/39575925274389572577088415230146429669017748\ 726289999086319031182234494376268055*c_1001_2^43 + 4105291225066307551915108545258036598267013354762289148108802138203\ 9324955655899824/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055*c_1001_2^42 - 5520612598028155666671536005188702963756813056263333144581679775835\ 27121774789489756/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^41 + 1488149016988229555614113909775705505819150508082008985619262855497\ 4897142023768202/15163189760302518228769507751013957727593007174823\ 7544392026939395534461211755*c_1001_2^40 - 3426229299602173494312796753738493240126052233932097213663607593050\ 235258473791039110/791518505487791451541768304602928593380354974525\ 7999817263806236446898875253611*c_1001_2^39 + 2301335090747487665921431089773220839057629561658566901683796756901\ 3012779497426200334/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^38 + 5448301005317804019339628580697757649256230182313305267423814732690\ 051827515360821/303263795206050364575390155020279154551860143496475\ 08878405387879106892242351*c_1001_2^37 - 3402617591808890448513261270364736372947984700523181264669312216689\ 5323217416226267119/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^36 + 6509418921019722677135686862802263450770558296823894345700819543682\ 428983448990164330/791518505487791451541768304602928593380354974525\ 7999817263806236446898875253611*c_1001_2^35 - 6379635386476977456182765501793357373066413326657212324518569330311\ 7148354754525316038/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^34 - 3765140397347212522058891247175159401319659692021353955291221444509\ 6049502161489978603/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^33 + 3395116001368540650090567236704757731048306749229855174497375943084\ 45171012113721691278/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^32 - 6437265037573872721528704812141011986801495737181164517833927154329\ 208043678769605589/439732503048773028634315724779404774100197208069\ 8888787368781242470499375140895*c_1001_2^31 - 7803372470858057084018744020579930797605750651725537265406277987780\ 38346750183744757929/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^30 + 2247958303550116417383312215851743663265219334969237836234671575862\ 80206938478895318354/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^29 + 1302876900385640548957157044799220847333005042050249432121833967164\ 559754820090544111841/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^28 - 2776230893112262018760370870414818877160403507713242909260145219387\ 342665778938931057/293155002032515352422877149852936516066798138713\ 259252491252082831366625009393*c_1001_2^27 - 5841931057267683767055455729789575156642347045401539675490526232902\ 24937441460539288247/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^26 + 4378750560858035271026762628085224238249266678808289497557866450538\ 22172122810628063777/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^25 + 1958972602305547267802826276825554921578582939056481443790482265903\ 481217554309213971201/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^24 - 4041139699405107427798277538153975257402854889889476997749064437253\ 47883297562470077797/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^23 - 1841472050374258227944730357346193493840710290060234209768048493145\ 885207377430579944133/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^22 + 6184920616720444448521774735104469742511177130001006854585902344429\ 6665661313003291935/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^21 + 1466700480994625242030175463960459994493733843030173597534237272716\ 276688763607673179983/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^20 - 4012323845346227161206093360344141140451250385196108543522234441556\ 9959479881163491209/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^19 - 9950833851325360754825488171846915939039867126061590197936065754087\ 30121479987737710739/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^18 + 1112155216216091719517678148392446421855582723051196621059920211792\ 57211637979569665119/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^17 + 5764993679910366769595615304160232005806071998124349359527548721369\ 77506427116002763329/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^16 - 5257172284428406079032058691279755950427819194660391467066102641211\ 9015945667629506104/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^15 - 2848696381284381107500755271156016903763922734611904737951908471472\ 55490336787341285018/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^14 + 2092899131171011219079793643961354925085027136487817461579862083737\ 4740592865327771231/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^13 + 1193498597886602205548028522387807534652048369143947191465449946442\ 46683390590557047284/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^12 - 7596280771126422409120193643145271165763440043987257171229602173684\ 11270559944031114/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^11 - 4188392001146001511451171101336967925945681197398258984783179592863\ 3589391775820664371/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^10 + 1749427148384411247358420271393239128741282249951734002313005304309\ 996028642210295354/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^9 + 4016392960662166317691531491269382903361569969190724917336967014550\ 529696430942872367/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^8 - 1062436789181002823608703715273611041097556042022647528157100143074\ 74114384826562438/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^7 - 1013750156977924101642940987901059250127607933954548098837221228135\ 90352330241487789/1465775010162576762114385749264682580333990693566\ 296262456260414156833125046965*c_1001_2^6 + 1043365214458960799223218038842572398187372216418363652085738842045\ 4297426764173272/13191975091463190859029471743382143223005916242096\ 666362106343727411498125422685*c_1001_2^5 + 4584941310926583784117248926160503739380277203869984563871717454823\ 38130546531531274/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^4 + 1731269184137129667440095316182765512406858509424132861827344202357\ 15378411430585/7915185054877914515417683046029285933803549745257999\ 817263806236446898875253611*c_1001_2^3 - 4954115846480871425914366858981851999909547074338694561977051148015\ 4809276800269048/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055*c_1001_2^2 - 4648029472679610506486010380660409199567624281554239732450742046417\ 4380924540662/43973250304877302863431572477940477410019720806988887\ 87368781242470499375140895*c_1001_2 + 2510096485303182290130169565767253402594754834708423323471317495426\ 923446274212554/395759252743895725770884152301464296690177487262899\ 99086319031182234494376268055, c_0101_6 - 198124922411494478608193054408137866780384624409118501649282\ 8432476720887787286506/39575925274389572577088415230146429669017748\ 726289999086319031182234494376268055*c_1001_2^43 + 4424696131918484712599980830638450162170218115173360140791601068570\ 6221569034615424/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055*c_1001_2^42 - 5985990055901205352876956618007745591961986037743278384830819778702\ 95925110255893266/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^41 + 4907892859965411046627238090276935337213168018141637771628104503667\ 0880517033638486/45489569280907554686308523253041873182779021524471\ 2633176080818186603383635265*c_1001_2^40 - 3837599215909534670156778345013049844028561801848215305018327496413\ 413388093899032681/791518505487791451541768304602928593380354974525\ 7999817263806236446898875253611*c_1001_2^39 + 2873251078611275566229503049582866864732083683801284999970734651575\ 7687272575420094514/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^38 - 9406305794236072168309610849101502641114050452213076311462284463800\ 7679575920171/90979138561815109372617046506083746365558043048942526\ 635216163637320676727053*c_1001_2^37 - 3247577150241957916393550570588075989153678106888901218277214513523\ 8672110296024683939/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^36 + 7673326242821421407657544257455060669401235810200406708318638547868\ 361693171786685990/791518505487791451541768304602928593380354974525\ 7999817263806236446898875253611*c_1001_2^35 - 7620889841634838734984554080008050823310136000142398397174143584469\ 1642880783682235373/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^34 - 2110991534356470149747143429017723303724946054014378450055107186891\ 6648462566844501303/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^33 + 3559809636843390454749136411566076721628270865670555107282379983506\ 17642121949832164033/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^32 - 4223631941183165653131275513992837016025326725259551412171748474577\ 9076553185997057247/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^31 - 7808831356695583841769305075668211909026182877190150933900972849530\ 48409589750514545154/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^30 + 3649414960861375973024237785838295104785610506925215990227571866481\ 78083825063757944449/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^29 + 1277296019821049789327371146469686204443929108384004269207824668248\ 899633946153861438651/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^28 - 3959652892411837417893994984990096363035740114981553336338158333530\ 0285505795763440390/26383950182926381718058943486764286446011832484\ 19333272421268745482299625084537*c_1001_2^27 - 5671997071800211562019021295981004268331897814638872178538337127980\ 13271542409562951172/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^26 + 7184014326766013150170547220792022577541067474919071351445841508217\ 20125031315897496522/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^25 + 1894910412538872831678524483990586216262772338503793250841168672538\ 132761655628156878711/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^24 - 7047102437156821424160234858145815124137945105555109939545012881771\ 78951370021294744937/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^23 - 1779690045716734319240501838992555639062716569477934800825691133586\ 449339413670800188018/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^22 + 1160637977101784815197085099948023964146072234838565155218130477996\ 38644756618376996158/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^21 + 1419003041707896423974515373158877291638103562859685655348798091814\ 508707346735333417983/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^20 - 8155258307109994747623132184176615235452275748718333354565760788482\ 1071177325629886471/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^19 - 9651233260036422128568567860914079643804734893167948783800891659222\ 99985414052953095709/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^18 + 2458623261000290290618237644980520097984947710738892951857158667851\ 16054915088018640874/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^17 + 5613651749308993401022066966943529619190600936458051636034440229857\ 20638410360491380539/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^16 - 1271472941559986882978210177663362219392193966415264351600344845513\ 95799632661483561869/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^15 - 2789611706517766828831399566368083238709500062392868106862960039350\ 74728931313965750033/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^14 + 5600815951095014740723886011318013986022942965785758077198243635050\ 1521512344076375981/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^13 + 1178076021426549314753562094927412049000945194810750368119685639436\ 33810228846952049069/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^12 - 2304157663876761783839741540343492626555385449643777464352081512080\ 837143380722968134/439732503048773028634315724779404774100197208069\ 8888787368781242470499375140895*c_1001_2^11 - 4180653256378765492353983468776195491753928582615025452371293467508\ 6183139857159404606/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^10 + 6312010020360263021784628011588699493291446194609216871576809961692\ 321772275465928439/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^9 + 4073615787330749360471466944984308692443475471060152426270769569653\ 073864228558600842/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^8 - 5075667505545995082884766254937613288738661979206596526809469180402\ 79215364491611918/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^7 - 3158298397290622172964170933437450953076039368793172296948149911909\ 41601499718042592/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^6 + 9091918747569559853138704043880948092049285694043336823346936503023\ 3267856487619177/13191975091463190859029471743382143223005916242096\ 666362106343727411498125422685*c_1001_2^5 + 4944073316578687317751816071750752286802466366989739150315402231552\ 85934333870689169/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^4 - 6386143706754350308513349728619429648306942571406937359464038958483\ 403843386729923/791518505487791451541768304602928593380354974525799\ 9817263806236446898875253611*c_1001_2^3 - 5695989215475660581827095897106260570974444326768480691370311776218\ 7581390161395528/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055*c_1001_2^2 + 5985425233962716110879972360235337559414905658279472373264933006937\ 59637125322094/1319197509146319085902947174338214322300591624209666\ 6362106343727411498125422685*c_1001_2 + 3256452043966548096391538328547163718161616302498669465613138758282\ 773853434422049/395759252743895725770884152301464296690177487262899\ 99086319031182234494376268055, c_0101_7 + 290221431793050250011190977847949019606667756716436150075662\ 2796506869970681920909/39575925274389572577088415230146429669017748\ 726289999086319031182234494376268055*c_1001_2^43 - 6561509346849702759137583027260187164432432425617220190604971780976\ 9186757232724856/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055*c_1001_2^42 + 8946831316470276398976116668124451597707001990270655156728445730516\ 03115746047162129/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^41 - 8295852618249810879833671892800483632610139074337797017276644963788\ 380894710411246/505439658676750607625650258367131924253100239160791\ 81464008979798511487070585*c_1001_2^40 + 5964412794660996800933593957196959168560694022927702424362636959797\ 306113565118403120/791518505487791451541768304602928593380354974525\ 7999817263806236446898875253611*c_1001_2^39 - 4978539879631570422529359599489623425374492932804099538373365092909\ 3622382311629406026/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^38 + 8828058358482184858926284453014124424609907363942804282229176103584\ 832619831174113/303263795206050364575390155020279154551860143496475\ 08878405387879106892242351*c_1001_2^37 + 4697636452185348930829097658252962295804965601072805460985924742103\ 9467400352253964581/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^36 - 1352537059071159015442323672521767619123704366995377355845885364092\ 2658221700243913052/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^35 + 1264198928547049501086657847292084466287996717076960261377471677687\ 45443389761594601887/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^34 - 4720016307502992159445285615206321065581535908415416366903587097252\ 47275628762348653/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^33 - 5299803944298172765763769474521854671341185328523730548082212944812\ 51127324183414096692/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^32 + 3606135682129651275976634643303495099496059946554485136358175304843\ 1586845552346681381/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^31 + 1098291856598097232505927466394964021952849658840573198168671596658\ 498515051296849467916/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^30 - 8314376497204746800767290466531317818382135119189547425088103870099\ 08769424620549673966/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^29 - 1743782992222451512290756377010610309163811873536996511204047275463\ 962611182718291058939/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^28 + 2992971111413391829420908462256410597492510645488017047147012034398\ 1980239056810399411/87946500609754605726863144955880954820039441613\ 9777757473756248494099875028179*c_1001_2^27 + 7637507593164114836061361633055085001834393094473654390958370447003\ 48735241260470131523/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^26 - 1675204090585521357557886266587688957985722664235430698272785078096\ 175084124130675573693/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^25 - 2539536261409087528818254514855071705173989899934903277156053373253\ 360946686371907141014/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^24 + 1711380079797280249111052613996820595427641289941404274350860690511\ 237163571756250069438/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^23 + 2381403861466845395085718144980534566243466557864611071373632686358\ 776323392341207715077/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^22 - 2944998887051785614335622004903504755240767338251144135580868153296\ 39555226069910591545/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^21 - 1897523810179236723096766575997605189685596378165171714638837901645\ 695723689750221767252/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^20 + 2160432791426380359216074614855429816305819310234534608959731503766\ 79579764442529996464/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^19 + 1289344105190818868778919374758003097866123413553396293387991118092\ 488943143019303073701/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^18 - 6785849078614525911829841522261832787547498731284502934739422690450\ 34896196192867566096/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^17 - 7488593573602162937536577299337673258363085280867558465516044545780\ 25672034228865203536/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^16 + 3650711919731598367733873922801293172317395037085682414967637600361\ 17227412110261127116/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^15 + 3713607094575527681281315263911111840265941040508710564994151132719\ 62544659826026904072/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^14 - 1673261002132828031756497343951808031935991257012489960393184035698\ 52312856201116515104/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^13 - 1564487324595709226202078702807047620211044666817355189801621441528\ 73114766867349850036/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^12 + 2394656621135933638175000915584438525889972179220007253867970515584\ 424749802221087087/146577501016257676211438574926468258033399069356\ 6296262456260414156833125046965*c_1001_2^11 + 5537511868815425541933773806188222505060768775404141952464690363974\ 9926794747747071334/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^10 - 2067585279606796321629268574008985435152037986009150406169884738072\ 5143147359092481086/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^9 - 5382820531649714163607124886199311885592204080918151151952135777409\ 948771087996647208/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^8 + 1768640430797935444806952309874577011185149879545252507302891310196\ 224178475455785272/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^7 + 4164093670312630419210111063280085563935350846982272432201298353159\ 98883159365169023/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^6 - 3445388202554092468371052724198784940426996495297075147547725623264\ 70941110266468718/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^5 - 6507780369607771941269872850236792320119755386124495699827966743416\ 54750836116278786/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^4 + 2739498976211005375001135571236904554838504841627282554859523477236\ 6566039024970943/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^3 + 7492000093456737718245456834437605956996377375050735500587258572709\ 5483481533545067/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055*c_1001_2^2 - 1041141918693210889798961305103116706748149980711461965554631370256\ 902772709758802/439732503048773028634315724779404774100197208069888\ 8787368781242470499375140895*c_1001_2 - 4255471106971696137603077591100022413632425457150056281162820107678\ 367911468793891/395759252743895725770884152301464296690177487262899\ 99086319031182234494376268055, c_0110_15 + 14043644811266110013737649974382150607753607563301728266513\ 2776751889826012665558/43973250304877302863431572477940477410019720\ 80698888787368781242470499375140895*c_1001_2^43 - 9375195664855609948101914253086995011151931476976399412696873469125\ 019430017235591/131919750914631908590294717433821432230059162420966\ 66362106343727411498125422685*c_1001_2^42 + 1406368234495577334947608662123847701324241428255843836584039576996\ 1642924209006931/14657750101625767621143857492646825803339906935662\ 96262456260414156833125046965*c_1001_2^41 - 3098584772578934255487994365251501438379873247726398257275657760378\ 6727578532917557/45489569280907554686308523253041873182779021524471\ 2633176080818186603383635265*c_1001_2^40 + 8037101420130657147764252455722701145200129785288194408270475373311\ 12873677513045395/2638395018292638171805894348676428644601183248419\ 333272421268745482299625084537*c_1001_2^39 - 5860281177824689634843651529758840991313863740246505085376209121363\ 630629841129449441/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^38 - 9707938948474876427064482877152707380457676778526684502879684776741\ 49418645405512/9097913856181510937261704650608374636555804304894252\ 6635216163637320676727053*c_1001_2^37 + 6475665392455320291220159954316306987647090127469201923552878000312\ 633544266367688031/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^36 - 1559323136990549677366341840365023659507747814034065982721203974529\ 573821122689247119/263839501829263817180589434867642864460118324841\ 9333272421268745482299625084537*c_1001_2^35 + 5410503968632786686085297062388495512544076045024908610342773521755\ 594789429296083194/439732503048773028634315724779404774100197208069\ 8888787368781242470499375140895*c_1001_2^34 + 5136101542302043928529323062909102438765488194055272005253457307729\ 066943056899884077/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^33 - 7399997616862442306077184681762029929295285423514280721893761219053\ 1302824126619913707/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^32 + 2174140882514385411234129789862127137835260032371754638897418759316\ 4635467473511187459/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^31 + 1613729635118981432338073362309011990009145915928759963575727254510\ 55232618574126645816/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^30 - 6376449645940761154399722123349563620577782326236833150229824034770\ 3536801098763841446/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^29 - 8741817031756601855792131836234660875626640880104552924309493993738\ 2489574782560191008/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^28 + 2034309808167489918962016158716066488761757788110613760157250201483\ 3736787497338221405/26383950182926381718058943486764286446011832484\ 19333272421268745482299625084537*c_1001_2^27 + 3462254498450490666725285411490751624232524206876376549686341625841\ 09081201666470121889/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^26 - 1194181285558335885342529172885162158291249301795609407663947021658\ 17940665244289042593/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^25 - 1270116778799602198384310885699836066670417219071257536416474107101\ 65513311756843426463/4397325030487730286343157247794047741001972080\ 698888787368781242470499375140895*c_1001_2^24 + 1132711557276441966367043335142043671207822951398615142475917166468\ 23095238081989482368/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^23 + 3922090183824091263408084746927038100727293682764353769597324371143\ 8816433493730579763/14657750101625767621143857492646825803339906935\ 66296262456260414156833125046965*c_1001_2^22 - 1801909231680766219554983833096784661184537426943040653278626198845\ 7128168493005367452/26383950182926381718058943486764286446011832484\ 19333272421268745482299625084537*c_1001_2^21 - 2772271120992946901442959925163936275842997060394091186348775952849\ 79480865794337435932/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^20 + 1223311612234510550741352200470006382133475391813043747074097190072\ 5336175138954244386/26383950182926381718058943486764286446011832484\ 19333272421268745482299625084537*c_1001_2^19 + 6183567589332959354063527951688822837713614296357626855792414216749\ 1929834836817869612/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^18 - 3565734248911391031426878554395365162754807045017925997100914577713\ 5682546525685700916/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^17 - 3533779132454165599392013264683259902975229219660202328224435966883\ 8747796911461738112/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^16 + 1783308052242716309499751887341257562986182767192684592498527286023\ 8663085827432539356/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^15 + 5166569242457485314325768352334028283764282194217904956253265869123\ 7281647372200042877/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^14 - 7588055471849461330141044091574379780809495585469044306529965862757\ 025306177174041324/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^13 - 2134193105091037600276732997414167854710072326015169408319119594319\ 3789018715536380456/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^12 + 9016856552592559331767334222027572113220582449314922305758134976274\ 67990438625975193/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^11 + 2459695284005319337774324576715427020260633957437441785865294169949\ 969425072713772138/439732503048773028634315724779404774100197208069\ 8888787368781242470499375140895*c_1001_2^10 - 7878178225970802550566106921100725928289305423589991131687242433622\ 28655702545379536/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^9 - 6963423413053302831911050164785085761706070263911213152036687179237\ 08778649847185403/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^8 + 1998664249759661437239271464029154949701377681955820883599884015383\ 5838674690117129/14657750101625767621143857492646825803339906935662\ 96262456260414156833125046965*c_1001_2^7 + 1552908842211325212018238515154251422630908455585564421747766247965\ 79354853266060319/4397325030487730286343157247794047741001972080698\ 888787368781242470499375140895*c_1001_2^6 - 9969389270856670407266936793887437060342844376352372482628738788261\ 965985761752268/439732503048773028634315724779404774100197208069888\ 8787368781242470499375140895*c_1001_2^5 - 8476193076973081664146382836025880918263616772495824089649988104840\ 797439343373644/146577501016257676211438574926468258033399069356629\ 6262456260414156833125046965*c_1001_2^4 + 6306994084889375242227678715425603113755534039234130171236162279589\ 63078808008206/2638395018292638171805894348676428644601183248419333\ 272421268745482299625084537*c_1001_2^3 + 2661983626826516502662883222614463553955822000722422123645151901545\ 050405301547989/439732503048773028634315724779404774100197208069888\ 8787368781242470499375140895*c_1001_2^2 - 1527345718865639698114120412933828154903664171319944501123287585517\ 93994916843983/1319197509146319085902947174338214322300591624209666\ 6362106343727411498125422685*c_1001_2 - 3776748702187092534067724709673326512550586703734151492967167737546\ 16073158117456/1319197509146319085902947174338214322300591624209666\ 6362106343727411498125422685, c_1001_1 + 992006220251267692369726002143602111985929149537342099054283\ 2719708835467017803628/39575925274389572577088415230146429669017748\ 726289999086319031182234494376268055*c_1001_2^43 - 2222948393193978710255611738383919370954833901419143731426955149982\ 77055076280960677/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^42 + 3013364837070424185429444379014077679812509205903347551625767377841\ 727604220211243498/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^41 - 2482009577095727565983692829414458673058416726413071344968205036923\ 59795393632616778/4548956928090755468630852325304187318277902152447\ 12633176080818186603383635265*c_1001_2^40 + 1950506742049399076426834417764633021724112903249570589974516054606\ 6876431084151552572/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^39 - 1499991134973909087202181094165478727774525097517620399272496452937\ 22465726245535784242/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^38 + 1434440456776654388942109244742334942138518416251752082312802913009\ 2925950064411749/90979138561815109372617046506083746365558043048942\ 526635216163637320676727053*c_1001_2^37 + 1677112222264999692138954492924910358814610035665370599006446050711\ 02502440641521907492/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^36 - 4036662369509328333040378793071775360896381267619681711531984825685\ 3814009089482129158/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^35 + 3910644385610494422158745466915957727530217699845417011935496728601\ 46801981879307108719/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^34 + 8275482966034131673199683586564861720414280434278572880615932416948\ 6971427077057630354/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^33 - 1810291844467535423698527771329543129289742018402547482095163170775\ 545638168645451057979/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^32 + 2508011564394324283615780203972945496014057736882200618960978723705\ 30722457854802808981/1319197509146319085902947174338214322300591624\ 2096666362106343727411498125422685*c_1001_2^31 + 3947324718960736511625905660339071337275871135204662111508762620054\ 212714637685516349817/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^30 - 2092269636295964281503202260549765444092090292142107373752051220653\ 045590974237388982677/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^29 - 6445102085615436434536313141308337540021221836816399145222861739582\ 682674884491943966228/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^28 + 2265136315889073365153875500041285786137086234664864131622951001526\ 19606102415549004142/2638395018292638171805894348676428644601183248\ 419333272421268745482299625084537*c_1001_2^27 + 2864874006364496248078949051167762467687766989191078885932547962475\ 600063851963561120651/131919750914631908590294717433821432230059162\ 42096666362106343727411498125422685*c_1001_2^26 - 4132626258180182164736156223768340821309096095458108932219231738162\ 238622479741080563501/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^25 - 9592419977700029674014432782986102460578264839987146890042655866626\ 044699743439466745318/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^24 + 4084818960623709191415594144927067174563620669622826125123348743172\ 865226815671107294941/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^23 + 9028739493771168480573316748245684645942054681110134866403427054843\ 197722956860182362194/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^22 - 6776217173625932104987494265494271662326198700953837569452548697345\ 68165506587794591642/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^21 - 7210596780385430351918893498993775671655556264949041761769951962908\ 176907816776082602299/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^20 + 4788976605615151678900710362887169408349880847839947592446254701205\ 11747288862946528017/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^19 + 4908516245738580429014025381705112812659736351446469147534162251367\ 894041243679435407582/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^18 - 1449614163578652312328990284500114092001300477412869390797339389100\ 247943542854400626352/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^17 - 2855426223822679328042191297191269365139115900140876389577249594353\ 637204703438051819637/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^16 + 7514725054723336040345896393241858070301594556860769508386618071269\ 57224740939476800402/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^15 + 1418014482897828199617031172510584654969779955235462849834429011111\ 662220614533883607639/395759252743895725770884152301464296690177487\ 26289999086319031182234494376268055*c_1001_2^14 - 3313522031369319092892253726119888721557778095772827860033164098061\ 79652509278884670183/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^13 - 5979276435591051094077605701470801699129583153985063785794062911631\ 29643048014736218462/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^12 + 1363022501031994491255679142480822304216434216935344413906744723253\ 2383252888157820067/43973250304877302863431572477940477410019720806\ 98888787368781242470499375140895*c_1001_2^11 + 2116337560259279343833482266665101480232961625919316691032104040716\ 57210424876077346748/3957592527438957257708841523014642966901774872\ 6289999086319031182234494376268055*c_1001_2^10 - 3729758603906182237077522275355400567466685160841320031000640773871\ 7490231978436795682/39575925274389572577088415230146429669017748726\ 289999086319031182234494376268055*c_1001_2^9 - 2053630209265359761467878188129686485325059771385550923068727947313\ 4362959366330711526/13191975091463190859029471743382143223005916242\ 096666362106343727411498125422685*c_1001_2^8 + 2993403271558772453220227860959588330466652031074694857502649957651\ 160672560211306629/131919750914631908590294717433821432230059162420\ 96666362106343727411498125422685*c_1001_2^7 + 5271838206613656582841672478104895673321823178124895506988856008481\ 25220629635851052/1465775010162576762114385749264682580333990693566\ 296262456260414156833125046965*c_1001_2^6 - 5342898249197919601057321379605418731682643464692748078389873967319\ 67303642437793421/1319197509146319085902947174338214322300591624209\ 6666362106343727411498125422685*c_1001_2^5 - 2447212843762137574918507633413874075781783392390659457900565621604\ 244733186078642497/395759252743895725770884152301464296690177487262\ 89999086319031182234494376268055*c_1001_2^4 + 3726036291336431560661907942238747752970096061519915968999015187038\ 5911846513680067/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^3 + 2758721799654732335610395356802209228085996843704864130525403254105\ 03790447647101834/3957592527438957257708841523014642966901774872628\ 9999086319031182234494376268055*c_1001_2^2 - 3442081539284421729708951208174288021609662782535978771002943139122\ 939518326546172/131919750914631908590294717433821432230059162420966\ 66362106343727411498125422685*c_1001_2 - 1500647291134153056450912234817401609092183936998441757642132157983\ 7339667847828512/39575925274389572577088415230146429669017748726289\ 999086319031182234494376268055, c_1001_10 - 11254321680998099504554597949913272860784696221794444486201\ 30505508680231497451180/7915185054877914515417683046029285933803549\ 745257999817263806236446898875253611*c_1001_2^43 + 2520592177216639639389204145085597527581365688693206153127816234183\ 8556069024644380/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^42 - 3415835793141282562529142943435886521060204568470662924621965309840\ 64751359362814454/7915185054877914515417683046029285933803549745257\ 999817263806236446898875253611*c_1001_2^41 + 2811561579575956648973464193361639166744054528527771184227954839231\ 0728464875753255/90979138561815109372617046506083746365558043048942\ 526635216163637320676727053*c_1001_2^40 - 1103945066960908208381362471591866782847776239562709065521109489174\ 7169170666663470362/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^39 + 1691015553531509257746784407710912355817138274599561343174240716922\ 8583711949828216838/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^38 - 6667874556254869532694475341140008988515517094995672816786374181873\ 622256652566318/909791385618151093726170465060837463655580430489425\ 26635216163637320676727053*c_1001_2^37 - 1922207881857729026770133304935813660915861938477500834346317943351\ 7839978378711098796/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^36 + 2327829463315635800535000688417815880764260223842978931476632897501\ 4970282253454954525/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^35 - 4441640897594534763939342978084160317407792965525257152170940002022\ 0717034163098173596/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^34 - 9991651043139842295386595758593478479746465131577591916999045604913\ 064164913748454994/791518505487791451541768304602928593380354974525\ 7999817263806236446898875253611*c_1001_2^33 + 2052902574255728315368125618851065771260471669564499843005365648711\ 81793406104328482871/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^32 - 2836743012667486521793699347362094789763729785087054872695227768305\ 4246991720818056210/26383950182926381718058943486764286446011832484\ 19333272421268745482299625084537*c_1001_2^31 - 4462768618538754833344141778034597699660206450264830364489496664868\ 57582955944220772960/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^30 + 2383722656644418830565117119655435681688911967252703346275631164850\ 41117951940155934810/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^29 + 7264174311930896085411940172043178840693713512816980722604060374425\ 46809117721997315456/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^28 - 1295982412978018788658930802129430240297484492276057910697214555148\ 37470692327131196918/2638395018292638171805894348676428644601183248\ 419333272421268745482299625084537*c_1001_2^27 - 1073921546305513440499354071839448255831224784900570417517903597024\ 61460932155488879290/8794650060975460572686314495588095482003944161\ 39777757473756248494099875028179*c_1001_2^26 + 4755548172789869353289542096308280419856469496874523533207982190330\ 40963067998059635903/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^25 + 1077089293829172887133099490409211451901395004917641167619077341292\ 796528877736869709956/791518505487791451541768304602928593380354974\ 5257999817263806236446898875253611*c_1001_2^24 - 4734105680325453165199687405946252878578010539693147889049753688997\ 64341330707395968852/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^23 - 1012734107786958160780587948664543179703074120764745828765223122592\ 841084764702687022120/791518505487791451541768304602928593380354974\ 5257999817263806236446898875253611*c_1001_2^22 + 3958998178147440974608860998986781615009957499819585376335851922235\ 97243853887429984065/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^21 + 8082144785697425409436586376732973329757822316819885380073851592738\ 70160342332691012520/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^20 - 2822850151882044495731702527214150115951251603013975609903101651978\ 89302051121546937329/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^19 - 5499203740323216305375802298661697643792493504101323610365780240097\ 37443481012059451021/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^18 + 1724841157958437885009894679700292755770176998092598631965697599285\ 63104636752986706958/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^17 + 3198277934421274835194348032396321969521148530218710017506543990778\ 33608777948951060465/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^16 - 9028405566662829850256329508417137327468694273084838858740161675278\ 4640241995394067532/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^15 - 1588307658784486667733462136852477370925428084071941170809134520682\ 33920819375262252797/7915185054877914515417683046029285933803549745\ 257999817263806236446898875253611*c_1001_2^14 + 4022071042105236290719872087365169094576394750182255717606379565311\ 2399900402009974490/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^13 + 6699915042810323793930963717221181495657218402521019680223640924235\ 5189287733294140458/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^12 - 5578261660049366326316330437522985087475412470011064779373368107248\ 20263957872631855/2931550020325153524228771498529365160667981387132\ 59252491252082831366625009393*c_1001_2^11 - 2373561884780605422544240579183665790711455111486682673400949346096\ 1949412717973516205/79151850548779145154176830460292859338035497452\ 57999817263806236446898875253611*c_1001_2^10 + 4640937054856593476430349158066075172634010978807468033780030837300\ 752124194203051819/791518505487791451541768304602928593380354974525\ 7999817263806236446898875253611*c_1001_2^9 + 2307302887154214289976587545066321674804296183716486676142591293492\ 719444272108457730/263839501829263817180589434867642864460118324841\ 9333272421268745482299625084537*c_1001_2^8 - 3788210476787302771722579598496752009085087124814965258123079438052\ 40398549781706267/2638395018292638171805894348676428644601183248419\ 333272421268745482299625084537*c_1001_2^7 - 1782481696962421282270223756705330682984742227689216650154133177413\ 41792579043923345/8794650060975460572686314495588095482003944161397\ 77757473756248494099875028179*c_1001_2^6 + 6919056283352394848665333309002500240100955307607323435241333078259\ 5864544174318421/26383950182926381718058943486764286446011832484193\ 33272421268745482299625084537*c_1001_2^5 + 2774435273070537929044729274485107233962599265475063448883859593241\ 82236093528051545/7915185054877914515417683046029285933803549745257\ 999817263806236446898875253611*c_1001_2^4 - 2498871186126856632114866298500228940689400584666450657455192544678\ 4751632989171923/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^3 - 3163571316222527856698007675332713721923748156890965539076703914600\ 0269358193510783/79151850548779145154176830460292859338035497452579\ 99817263806236446898875253611*c_1001_2^2 + 4866511341452625663508457215936102162314513757624647341599311890068\ 19979734562907/2638395018292638171805894348676428644601183248419333\ 272421268745482299625084537*c_1001_2 + 1762295902875574069300451286782149673285800574417274189080653323048\ 863120138864779/791518505487791451541768304602928593380354974525799\ 9817263806236446898875253611, c_1001_2^44 - 23*c_1001_2^43 + 317*c_1001_2^42 - 2356*c_1001_2^41 + 11113*c_1001_2^40 - 20894*c_1001_2^39 + 9376*c_1001_2^38 + 16924*c_1001_2^37 - 30576*c_1001_2^36 + 51213*c_1001_2^35 - 14409*c_1001_2^34 - 188420*c_1001_2^33 + 184258*c_1001_2^32 + 356110*c_1001_2^31 - 449910*c_1001_2^30 - 530270*c_1001_2^29 + 735139*c_1001_2^28 + 671316*c_1001_2^27 - 942281*c_1001_2^26 - 729803*c_1001_2^25 + 1000376*c_1001_2^24 + 676420*c_1001_2^23 - 897237*c_1001_2^22 - 533788*c_1001_2^21 + 686547*c_1001_2^20 + 358939*c_1001_2^19 - 450160*c_1001_2^18 - 205943*c_1001_2^17 + 253230*c_1001_2^16 + 100667*c_1001_2^15 - 121868*c_1001_2^14 - 41715*c_1001_2^13 + 49822*c_1001_2^12 + 14497*c_1001_2^11 - 17078*c_1001_2^10 - 4145*c_1001_2^9 + 4803*c_1001_2^8 + 942*c_1001_2^7 - 1068*c_1001_2^6 - 160*c_1001_2^5 + 176*c_1001_2^4 + 18*c_1001_2^3 - 19*c_1001_2^2 - c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2319.450 Total time: 2319.659 seconds, Total memory usage: 4739.03MB