Magma V2.19-8 Tue Sep 10 2013 19:23:52 on localhost [Seed = 2849264110] Type ? for help. Type -D to quit. Loading file "11_295__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_295 geometric_solution 14.76338932 oriented_manifold CS_known -0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 16 1 2 3 4 0132 0132 0132 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 0 1 2 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.389209921531 1.137159859201 0 5 3 6 0132 0132 3120 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.450078539727 0.430853201137 5 0 8 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303535744714 1.093432363163 7 9 1 0 0132 0132 3120 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.825618157197 0.831720494752 10 9 0 10 0132 0321 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243494625358 1.079085876594 2 1 6 11 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 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.241469908322 1.151699445245 5 10 1 7 2103 3201 0132 2103 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 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.389209921531 1.137159859201 3 12 2 6 0132 0132 0132 2103 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414400048079 0.650598247400 13 12 11 2 0132 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775245268949 0.478617917488 14 3 12 4 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 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.505800794852 0.700611454621 4 11 6 4 0132 0132 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243494625358 1.079085876594 14 10 5 8 2031 0132 0132 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 0 1 2 0 -2 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.322610164758 0.938288517228 15 7 8 9 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.066059954093 0.576592283416 8 15 14 15 0132 3201 2031 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 1 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678865593029 0.422843940665 9 15 11 13 0132 0132 1302 1302 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460214651947 1.077005247286 12 14 13 13 0132 0132 2310 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 -2 1 1 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.139080244975 1.499849187951 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_15' : d['c_0011_13'], 'c_1001_14' : d['c_0101_8'], 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : negation(d['c_0101_15']), 'c_1001_12' : d['c_1001_10'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_10'], 'c_1010_13' : negation(d['c_0011_13']), 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_1001_1'], 'c_1010_15' : d['c_0101_8'], 'c_1010_14' : d['c_0011_13'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_0_15' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_6']), 'c_0101_15' : d['c_0101_15'], 'c_0101_14' : 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' : negation(d['1']), 's_2_6' : negation(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_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_12']), 'c_0011_14' : d['c_0011_12'], 'c_1100_9' : d['c_1001_2'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : negation(d['c_0110_6']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0110_6']), 'c_1100_14' : d['c_0101_11'], 'c_1100_15' : d['c_0011_13'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_6']), 'c_1100_10' : d['c_0011_6'], 'c_1100_13' : negation(d['c_0011_13']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_1001_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_2'], 's_3_15' : d['1'], 'c_1010_9' : negation(d['c_1001_1']), 's_3_14' : d['1'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_2'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : 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_12']), 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0101_11'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : d['c_0101_8'], 'c_0110_12' : d['c_0101_15'], 'c_0110_15' : negation(d['c_0011_13']), 'c_0110_14' : d['c_0101_15'], 'c_0101_12' : negation(d['c_0011_13']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0101_1'], 's_3_12' : d['1'], 's_0_8' : d['1'], 's_2_15' : d['1'], 'c_1010_8' : d['c_1001_2'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_15'], 'c_0101_8' : d['c_0101_8'], '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_10'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_3'], 'c_1100_8' : negation(d['c_0110_6'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_15, c_0101_3, c_0101_8, c_0110_6, c_1001_0, c_1001_1, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 73881633527526266567492664627340765749607839/1971255741594620897381\ 65754477259664480000*c_1001_2^17 + 40499803273660270004078083748261467857106663/9856278707973104486908\ 287723862983224000*c_1001_2^16 - 3380029456959175170037532056845435\ 53063665651/24640696769932761217270719309657458060000*c_1001_2^15 - 1485674256419258064590010476342499905608219/61601741924831903043176\ 798274143645150*c_1001_2^14 - 8967728365252846896073074072005947704\ 1272461/197125574159462089738165754477259664480000*c_1001_2^13 + 670363514224581563393548721679706133996228029/154004354812079757607\ 9419956853591128750*c_1001_2^12 - 660682479956947870024521067576130\ 657431452221/3080087096241595152158839913707182257500*c_1001_2^11 - 153840722475737651690429742240844653785273160517/197125574159462089\ 738165754477259664480000*c_1001_2^10 - 10379397973502981299964869498935128836199266347/2816079630849458424\ 8309393496751380640000*c_1001_2^9 + 36864869252078586539964726042736123196367417699/1971255741594620897\ 38165754477259664480000*c_1001_2^8 - 9152916525391100163695183828527911095980632793/49281393539865522434\ 541438619314916120000*c_1001_2^7 - 62008584281013879230197627349509834869110431161/1971255741594620897\ 38165754477259664480000*c_1001_2^6 - 435425530050154408070839484224915256853621357/857067713736791694513\ 7641499011289760000*c_1001_2^5 - 1992393706700159053540965572156708\ 8216764817043/197125574159462089738165754477259664480000*c_1001_2^4 - 325023611659987656441835617493686100402518077/3942511483189241794\ 763315089545193289600*c_1001_2^3 + 2332627647265378342602652008030225247679127/35200995385618230310386\ 74187093922580000*c_1001_2^2 - 117635045388050380230396742031848551\ 6394715241/98562787079731044869082877238629832240000*c_1001_2 + 53626219208627699206723911041345443919566059/1971255741594620897381\ 65754477259664480000, c_0011_0 - 1, c_0011_10 - 3504936066891802501464794269943/762582590246892787177595737\ 6075*c_1001_2^17 + 1521577508320534279585716162561/3050330360987571\ 14871038295043*c_1001_2^16 - 123954810070755540093587393268526/7625\ 825902468927871775957376075*c_1001_2^15 - 48103208480254953183561946301906/1525165180493785574355191475215*c_\ 1001_2^14 - 27151021526378481800938055528142/7625825902468927871775\ 957376075*c_1001_2^13 + 4079493645910049706668540173973924/76258259\ 02468927871775957376075*c_1001_2^12 - 1551341159324558892202187074020583/7625825902468927871775957376075*\ c_1001_2^11 - 7619127922427869276619946967687494/762582590246892787\ 1775957376075*c_1001_2^10 - 4318293983967942540879076649272273/7625\ 825902468927871775957376075*c_1001_2^9 + 1630646862597783159373822678248638/7625825902468927871775957376075*\ c_1001_2^8 - 1267394112881425713249468577848034/7625825902468927871\ 775957376075*c_1001_2^7 - 3127354224613707049848812599101717/762582\ 5902468927871775957376075*c_1001_2^6 - 36746476513116817166886460452834/331557647933431646598954668525*c_1\ 001_2^5 - 877857401045281550215254748748421/76258259024689278717759\ 57376075*c_1001_2^4 - 160354758330849134812195303590902/15251651804\ 93785574355191475215*c_1001_2^3 - 64717675994273452678529904335651/\ 7625825902468927871775957376075*c_1001_2^2 - 69174541708107483559992796076929/7625825902468927871775957376075*c_\ 1001_2 + 2373969683802219304944398608998/76258259024689278717759573\ 76075, c_0011_12 - 1739218929317224320966587473616/762582590246892787177595737\ 6075*c_1001_2^17 + 3922006129660965708769268346943/1525165180493785\ 574355191475215*c_1001_2^16 - 69463869113873389168622878537817/7625\ 825902468927871775957376075*c_1001_2^15 - 18720261746025906710486590122011/1525165180493785574355191475215*c_\ 1001_2^14 + 38251207275952475621672395472091/7625825902468927871775\ 957376075*c_1001_2^13 + 2027635372378143319862123734165983/76258259\ 02468927871775957376075*c_1001_2^12 - 1628562476106533602823583173774636/7625825902468927871775957376075*\ c_1001_2^11 - 3468786881366842498529593893158133/762582590246892787\ 1775957376075*c_1001_2^10 - 446883593937577142609704157342786/76258\ 25902468927871775957376075*c_1001_2^9 + 1667491703073650296539172431955126/7625825902468927871775957376075*\ c_1001_2^8 - 1113296863882842333954098413654308/7625825902468927871\ 775957376075*c_1001_2^7 - 1328934088657748255592421865278294/762582\ 5902468927871775957376075*c_1001_2^6 + 13688984132032219675817395331842/331557647933431646598954668525*c_1\ 001_2^5 - 293580004747644368550537300137492/76258259024689278717759\ 57376075*c_1001_2^4 - 54584012200235328378616354307972/152516518049\ 3785574355191475215*c_1001_2^3 + 136125234372187452756908967417403/\ 7625825902468927871775957376075*c_1001_2^2 - 32827654463264714543938867368573/7625825902468927871775957376075*c_\ 1001_2 + 12055730317310448415824955914886/7625825902468927871775957\ 376075, c_0011_13 - 634768460638890669281038410934/7625825902468927871775957376\ 075*c_1001_2^17 + 1309714095742838768181915653514/15251651804937855\ 74355191475215*c_1001_2^16 - 18633283948947647995370131571658/76258\ 25902468927871775957376075*c_1001_2^15 - 11377456001865502832333946675612/1525165180493785574355191475215*c_\ 1001_2^14 - 24196559911160131073817683460111/7625825902468927871775\ 957376075*c_1001_2^13 + 744795517671491231450991239847707/762582590\ 2468927871775957376075*c_1001_2^12 + 116555822959168369993469569584751/7625825902468927871775957376075*c\ _1001_2^11 - 1670263141429672468374151945437132/7625825902468927871\ 775957376075*c_1001_2^10 - 1480323375511341518116339711686674/76258\ 25902468927871775957376075*c_1001_2^9 + 156140462039732170300940720987094/7625825902468927871775957376075*c\ _1001_2^8 + 96375029773126661843107331618303/7625825902468927871775\ 957376075*c_1001_2^7 - 776128429948224967329295386939936/7625825902\ 468927871775957376075*c_1001_2^6 - 20049407199032843619621437802492/331557647933431646598954668525*c_1\ 001_2^5 - 119688471514509959337817475276368/76258259024689278717759\ 57376075*c_1001_2^4 - 35838569237597524646145856871144/152516518049\ 3785574355191475215*c_1001_2^3 - 71561780261610516175819675731793/7\ 625825902468927871775957376075*c_1001_2^2 - 5986530597424554527581498989582/7625825902468927871775957376075*c_1\ 001_2 - 4713205964012054697435381456041/762582590246892787177595737\ 6075, c_0011_6 + 723927631414357734006590024356/76258259024689278717759573760\ 75*c_1001_2^17 - 1607930264364023303797653991183/152516518049378557\ 4355191475215*c_1001_2^16 + 27536299764841092342692097801497/762582\ 5902468927871775957376075*c_1001_2^15 + 8752703320965039554057689738346/1525165180493785574355191475215*c_1\ 001_2^14 - 8815352894476270710422340547456/762582590246892787177595\ 7376075*c_1001_2^13 - 846963632178294907987178035025903/76258259024\ 68927871775957376075*c_1001_2^12 + 533015585688874378012643673987551/7625825902468927871775957376075*c\ _1001_2^11 + 1550704456583381833434730534064978/7625825902468927871\ 775957376075*c_1001_2^10 + 461614267594184863001165839003326/762582\ 5902468927871775957376075*c_1001_2^9 - 655223133979510365166936121983841/7625825902468927871775957376075*c\ _1001_2^8 + 287207123502336517131257658414578/762582590246892787177\ 5957376075*c_1001_2^7 + 602535281780013858598344086455679/762582590\ 2468927871775957376075*c_1001_2^6 + 342576973788771765030768137053/331557647933431646598954668525*c_100\ 1_2^5 + 120132240625634066120391967184847/7625825902468927871775957\ 376075*c_1001_2^4 + 20382852940526810770907661592302/15251651804937\ 85574355191475215*c_1001_2^3 - 46317261191159152805645066318773/762\ 5825902468927871775957376075*c_1001_2^2 + 12839525235176326589986950026143/7625825902468927871775957376075*c_\ 1001_2 - 3359008474481348675275978484176/76258259024689278717759573\ 76075, c_0101_0 + 1371140502101979432842695550261/7625825902468927871775957376\ 075*c_1001_2^17 - 2936142719706080439675198994584/15251651804937855\ 74355191475215*c_1001_2^16 + 46266634682546335058856214148097/76258\ 25902468927871775957376075*c_1001_2^15 + 20343660230255946092718917865516/1525165180493785574355191475215*c_\ 1001_2^14 + 22609067163929846269953804462474/7625825902468927871775\ 957376075*c_1001_2^13 - 1597740303657602335184313997511618/76258259\ 02468927871775957376075*c_1001_2^12 + 373365881552925152438767615246186/7625825902468927871775957376075*c\ _1001_2^11 + 3126756234031422688471232306949648/7625825902468927871\ 775957376075*c_1001_2^10 + 2101657909064635987309069859332346/76258\ 25902468927871775957376075*c_1001_2^9 - 497733014351588563216003786450151/7625825902468927871775957376075*c\ _1001_2^8 + 353150587670916120842297766770048/762582590246892787177\ 5957376075*c_1001_2^7 + 1309803110589421397567658263871974/76258259\ 02468927871775957376075*c_1001_2^6 + 20538815201409478107645644996543/331557647933431646598954668525*c_1\ 001_2^5 + 345501334580439300402562010422512/76258259024689278717759\ 57376075*c_1001_2^4 + 73060338587230338110903944246142/152516518049\ 3785574355191475215*c_1001_2^3 + 54890100217716407494941138803057/7\ 625825902468927871775957376075*c_1001_2^2 + 17529309957515906522720731045488/7625825902468927871775957376075*c_\ 1001_2 + 2751300838304658930803882509469/76258259024689278717759573\ 76075, c_0101_1 - 723927631414357734006590024356/76258259024689278717759573760\ 75*c_1001_2^17 + 1607930264364023303797653991183/152516518049378557\ 4355191475215*c_1001_2^16 - 27536299764841092342692097801497/762582\ 5902468927871775957376075*c_1001_2^15 - 8752703320965039554057689738346/1525165180493785574355191475215*c_1\ 001_2^14 + 8815352894476270710422340547456/762582590246892787177595\ 7376075*c_1001_2^13 + 846963632178294907987178035025903/76258259024\ 68927871775957376075*c_1001_2^12 - 533015585688874378012643673987551/7625825902468927871775957376075*c\ _1001_2^11 - 1550704456583381833434730534064978/7625825902468927871\ 775957376075*c_1001_2^10 - 461614267594184863001165839003326/762582\ 5902468927871775957376075*c_1001_2^9 + 655223133979510365166936121983841/7625825902468927871775957376075*c\ _1001_2^8 - 287207123502336517131257658414578/762582590246892787177\ 5957376075*c_1001_2^7 - 602535281780013858598344086455679/762582590\ 2468927871775957376075*c_1001_2^6 - 342576973788771765030768137053/331557647933431646598954668525*c_100\ 1_2^5 - 120132240625634066120391967184847/7625825902468927871775957\ 376075*c_1001_2^4 - 20382852940526810770907661592302/15251651804937\ 85574355191475215*c_1001_2^3 + 46317261191159152805645066318773/762\ 5825902468927871775957376075*c_1001_2^2 - 12839525235176326589986950026143/7625825902468927871775957376075*c_\ 1001_2 + 3359008474481348675275978484176/76258259024689278717759573\ 76075, c_0101_11 + 1739218929317224320966587473616/762582590246892787177595737\ 6075*c_1001_2^17 - 3922006129660965708769268346943/1525165180493785\ 574355191475215*c_1001_2^16 + 69463869113873389168622878537817/7625\ 825902468927871775957376075*c_1001_2^15 + 18720261746025906710486590122011/1525165180493785574355191475215*c_\ 1001_2^14 - 38251207275952475621672395472091/7625825902468927871775\ 957376075*c_1001_2^13 - 2027635372378143319862123734165983/76258259\ 02468927871775957376075*c_1001_2^12 + 1628562476106533602823583173774636/7625825902468927871775957376075*\ c_1001_2^11 + 3468786881366842498529593893158133/762582590246892787\ 1775957376075*c_1001_2^10 + 446883593937577142609704157342786/76258\ 25902468927871775957376075*c_1001_2^9 - 1667491703073650296539172431955126/7625825902468927871775957376075*\ c_1001_2^8 + 1113296863882842333954098413654308/7625825902468927871\ 775957376075*c_1001_2^7 + 1328934088657748255592421865278294/762582\ 5902468927871775957376075*c_1001_2^6 - 13688984132032219675817395331842/331557647933431646598954668525*c_1\ 001_2^5 + 293580004747644368550537300137492/76258259024689278717759\ 57376075*c_1001_2^4 + 54584012200235328378616354307972/152516518049\ 3785574355191475215*c_1001_2^3 - 136125234372187452756908967417403/\ 7625825902468927871775957376075*c_1001_2^2 + 32827654463264714543938867368573/7625825902468927871775957376075*c_\ 1001_2 - 12055730317310448415824955914886/7625825902468927871775957\ 376075, c_0101_15 - 54567467317889792870198095476/15251651804937855743551914752\ 15*c_1001_2^17 + 600729943701403930080277382222/1525165180493785574\ 355191475215*c_1001_2^16 - 2014210821655843782114932879328/15251651\ 80493785574355191475215*c_1001_2^15 - 707127472194114474952146961469/305033036098757114871038295043*c_100\ 1_2^14 + 508594537932587446083474745347/152516518049378557435519147\ 5215*c_1001_2^13 + 63878719509938927959190684915128/152516518049378\ 5574355191475215*c_1001_2^12 - 34303454071475367226705129172228/152\ 5165180493785574355191475215*c_1001_2^11 - 24807750128455809729798661164335/305033036098757114871038295043*c_1\ 001_2^10 - 38254207249342044161766872196707/15251651804937855743551\ 91475215*c_1001_2^9 + 47759876481576998078416735270713/152516518049\ 3785574355191475215*c_1001_2^8 - 4708736023915268237698746693954/30\ 5033036098757114871038295043*c_1001_2^7 - 53881088145701170825204371284029/1525165180493785574355191475215*c_\ 1001_2^6 - 34114881757912242588876860383/66311529586686329319790933\ 705*c_1001_2^5 - 10992589628705647271570232583024/15251651804937855\ 74355191475215*c_1001_2^4 - 2305049697141981218198731989971/3050330\ 36098757114871038295043*c_1001_2^3 + 503272529802487636442108013810/305033036098757114871038295043*c_100\ 1_2^2 - 278493952588929552536918564842/3050330360987571148710382950\ 43*c_1001_2 - 935191927530933565688164463814/1525165180493785574355\ 191475215, c_0101_3 - 1, c_0101_8 - 54567467317889792870198095476/152516518049378557435519147521\ 5*c_1001_2^17 + 600729943701403930080277382222/15251651804937855743\ 55191475215*c_1001_2^16 - 2014210821655843782114932879328/152516518\ 0493785574355191475215*c_1001_2^15 - 707127472194114474952146961469/305033036098757114871038295043*c_100\ 1_2^14 + 508594537932587446083474745347/152516518049378557435519147\ 5215*c_1001_2^13 + 63878719509938927959190684915128/152516518049378\ 5574355191475215*c_1001_2^12 - 34303454071475367226705129172228/152\ 5165180493785574355191475215*c_1001_2^11 - 24807750128455809729798661164335/305033036098757114871038295043*c_1\ 001_2^10 - 38254207249342044161766872196707/15251651804937855743551\ 91475215*c_1001_2^9 + 47759876481576998078416735270713/152516518049\ 3785574355191475215*c_1001_2^8 - 4708736023915268237698746693954/30\ 5033036098757114871038295043*c_1001_2^7 - 53881088145701170825204371284029/1525165180493785574355191475215*c_\ 1001_2^6 - 34114881757912242588876860383/66311529586686329319790933\ 705*c_1001_2^5 - 10992589628705647271570232583024/15251651804937855\ 74355191475215*c_1001_2^4 - 2305049697141981218198731989971/3050330\ 36098757114871038295043*c_1001_2^3 + 503272529802487636442108013810/305033036098757114871038295043*c_100\ 1_2^2 - 278493952588929552536918564842/3050330360987571148710382950\ 43*c_1001_2 - 935191927530933565688164463814/1525165180493785574355\ 191475215, c_0110_6 + 40073899427103458323124717248/762582590246892787177595737607\ 5*c_1001_2^17 - 23436024311251716467192985085/305033036098757114871\ 038295043*c_1001_2^16 + 3083487723923948316772756023141/76258259024\ 68927871775957376075*c_1001_2^15 - 577312969152486935731993367822/1525165180493785574355191475215*c_10\ 01_2^14 - 9105353656979629663850659837988/7625825902468927871775957\ 376075*c_1001_2^13 - 45823128521748934422406722178199/7625825902468\ 927871775957376075*c_1001_2^12 + 194097444417802789358266177249613/\ 7625825902468927871775957376075*c_1001_2^11 - 12138153240878964952798575302346/7625825902468927871775957376075*c_\ 1001_2^10 - 271086174864346784675400614010177/762582590246892787177\ 5957376075*c_1001_2^9 - 145495662317860390954009350544258/762582590\ 2468927871775957376075*c_1001_2^8 + 138256811074944831416179960641754/7625825902468927871775957376075*c\ _1001_2^7 - 30203026471796108271668454882743/7625825902468927871775\ 957376075*c_1001_2^6 - 5668263005932915871887290959801/331557647933\ 431646598954668525*c_1001_2^5 - 8940666278886844928560086366894/762\ 5825902468927871775957376075*c_1001_2^4 - 2152789932841236312975258683239/1525165180493785574355191475215*c_1\ 001_2^3 - 32814429146633318388118630803364/762582590246892787177595\ 7376075*c_1001_2^2 - 615834828111312344587506387526/762582590246892\ 7871775957376075*c_1001_2 - 5660259957346890873154699204058/7625825\ 902468927871775957376075, c_1001_0 + 40073899427103458323124717248/762582590246892787177595737607\ 5*c_1001_2^17 - 23436024311251716467192985085/305033036098757114871\ 038295043*c_1001_2^16 + 3083487723923948316772756023141/76258259024\ 68927871775957376075*c_1001_2^15 - 577312969152486935731993367822/1525165180493785574355191475215*c_10\ 01_2^14 - 9105353656979629663850659837988/7625825902468927871775957\ 376075*c_1001_2^13 - 45823128521748934422406722178199/7625825902468\ 927871775957376075*c_1001_2^12 + 194097444417802789358266177249613/\ 7625825902468927871775957376075*c_1001_2^11 - 12138153240878964952798575302346/7625825902468927871775957376075*c_\ 1001_2^10 - 271086174864346784675400614010177/762582590246892787177\ 5957376075*c_1001_2^9 - 145495662317860390954009350544258/762582590\ 2468927871775957376075*c_1001_2^8 + 138256811074944831416179960641754/7625825902468927871775957376075*c\ _1001_2^7 - 30203026471796108271668454882743/7625825902468927871775\ 957376075*c_1001_2^6 - 5668263005932915871887290959801/331557647933\ 431646598954668525*c_1001_2^5 - 8940666278886844928560086366894/762\ 5825902468927871775957376075*c_1001_2^4 - 2152789932841236312975258683239/1525165180493785574355191475215*c_1\ 001_2^3 - 32814429146633318388118630803364/762582590246892787177595\ 7376075*c_1001_2^2 - 615834828111312344587506387526/762582590246892\ 7871775957376075*c_1001_2 - 5660259957346890873154699204058/7625825\ 902468927871775957376075, c_1001_1 + 3504936066891802501464794269943/7625825902468927871775957376\ 075*c_1001_2^17 - 1521577508320534279585716162561/30503303609875711\ 4871038295043*c_1001_2^16 + 123954810070755540093587393268526/76258\ 25902468927871775957376075*c_1001_2^15 + 48103208480254953183561946301906/1525165180493785574355191475215*c_\ 1001_2^14 + 27151021526378481800938055528142/7625825902468927871775\ 957376075*c_1001_2^13 - 4079493645910049706668540173973924/76258259\ 02468927871775957376075*c_1001_2^12 + 1551341159324558892202187074020583/7625825902468927871775957376075*\ c_1001_2^11 + 7619127922427869276619946967687494/762582590246892787\ 1775957376075*c_1001_2^10 + 4318293983967942540879076649272273/7625\ 825902468927871775957376075*c_1001_2^9 - 1630646862597783159373822678248638/7625825902468927871775957376075*\ c_1001_2^8 + 1267394112881425713249468577848034/7625825902468927871\ 775957376075*c_1001_2^7 + 3127354224613707049848812599101717/762582\ 5902468927871775957376075*c_1001_2^6 + 36746476513116817166886460452834/331557647933431646598954668525*c_1\ 001_2^5 + 877857401045281550215254748748421/76258259024689278717759\ 57376075*c_1001_2^4 + 160354758330849134812195303590902/15251651804\ 93785574355191475215*c_1001_2^3 + 64717675994273452678529904335651/\ 7625825902468927871775957376075*c_1001_2^2 + 76800367610576411431768753453004/7625825902468927871775957376075*c_\ 1001_2 - 2373969683802219304944398608998/76258259024689278717759573\ 76075, c_1001_10 + c_1001_2, c_1001_2^18 - 11*c_1001_2^17 + 37*c_1001_2^16 + 63*c_1001_2^15 - c_1001_2^14 - 1162*c_1001_2^13 + 614*c_1001_2^12 + 2062*c_1001_2^11 + 923*c_1001_2^10 - 547*c_1001_2^9 + 484*c_1001_2^8 + 816*c_1001_2^7 + 120*c_1001_2^6 + 258*c_1001_2^5 + 198*c_1001_2^4 - 8*c_1001_2^3 + 31*c_1001_2^2 - 4*c_1001_2 + 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_15, c_0101_3, c_0101_8, c_0110_6, c_1001_0, c_1001_1, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 4457571305604202093895172277900948473476786913348915396064729962073\ 8176576653849463890533614875382120217115519488154708910467531011556\ 045486233611801842214/127071507970327050204544820640795748711644210\ 6563086352872965560278240505663176542190571395346542196104084267255\ 3062209290601202476643819122549763848105*c_1001_2^29 + 1291787402689503453172630354543900917854511466930557367740150807662\ 1876878578097728915886499206136111301462265569196785209480516392239\ 4580609009513834581792103/12120806553112481631653510963122760202109\ 2627793167536830468443513968740804471853888663502953269460619813866\ 46376685195919049175562364397183037824744828155*c_1001_2^28 + 2880973503165788347360524546382846800930065277961067119047264958210\ 3053204930723537251299213430164713866937179760707614661067395829611\ 70093603371358793233421516/8484564587178737142157457674185932141476\ 4839455217275781327910459778118563130297722064452067288622433869706\ 524636796371433344228936550780281264773213797085*c_1001_2^27 - 9585993410498381631613661719107153535257684285621350606379680743728\ 0962252143080444033409948587686126902654717647266652304375002172804\ 84546813654445338743712454/8484564587178737142157457674185932141476\ 4839455217275781327910459778118563130297722064452067288622433869706\ 524636796371433344228936550780281264773213797085*c_1001_2^26 - 1113847843603440392156829830447889244313612141227603250770421544274\ 7316156566455644011285122394647993732977797594911750578667654459823\ 46455498243843577335859644/1212080655311248163165351096312276020210\ 9262779316753683046844351396874080447185388866350295326946061981386\ 646376685195919049175562364397183037824744828155*c_1001_2^25 + 4648690718890388885139820297721723954240599770446183477597141225686\ 9233388912496997455888398641781000323691377833093291918675127973047\ 615442272001289088831510959/848456458717873714215745767418593214147\ 6483945521727578132791045977811856313029772206445206728862243386970\ 6524636796371433344228936550780281264773213797085*c_1001_2^24 - 5685026691985172869316429179948895819624628331632099793080557154379\ 0792588889448023483283027376796847606512082813189720081552047790673\ 084157375935212139948104569/848456458717873714215745767418593214147\ 6483945521727578132791045977811856313029772206445206728862243386970\ 6524636796371433344228936550780281264773213797085*c_1001_2^23 - 1767760381866054190602394118275559360001389038822589305454723269346\ 0324465979009574453371334001203068258094766708329795713807378185093\ 674085575770754989786805215/169691291743574742843149153483718642829\ 5296789104345515626558209195562371262605954441289041345772448677394\ 1304927359274286668845787310156056252954642759417*c_1001_2^22 + 3033381594771896112146032868070687847933369596211490331478281628555\ 3144192979694501029930400448405757315371183363752159619924853202446\ 1660247485142386825609428046/84845645871787371421574576741859321414\ 7648394552172757813279104597781185631302977220644520672886224338697\ 06524636796371433344228936550780281264773213797085*c_1001_2^21 + 7220950842902092753255444877911192704640091917392170801667310075301\ 6313518625639186318428308965702842822333174391707981184207958336037\ 326733040167358749482585889/848456458717873714215745767418593214147\ 6483945521727578132791045977811856313029772206445206728862243386970\ 6524636796371433344228936550780281264773213797085*c_1001_2^20 - 5772508803108733376349214308982391069053814560076151907248167582095\ 5706188327888867425842949602469408534772803608499563324041178664974\ 60191367955300067528498518/1101891504828407421059410087556614563828\ 1147981197048802769858501269885527679259444423954813933587329073987\ 86034244108719913561414760399743912529522257105*c_1001_2^19 - 1162745612061583092333205385252233549088870580657571437352801480720\ 2206067429578221139272905918343641440564153451837934664723387158532\ 2908508308370749877644904701/84845645871787371421574576741859321414\ 7648394552172757813279104597781185631302977220644520672886224338697\ 06524636796371433344228936550780281264773213797085*c_1001_2^18 + 1124574440175718347297945476810232040250044798711730133652319190332\ 5876927837438254347344222948893200843414431815961579689448406166982\ 2436536438264283945822034585/16969129174357474284314915348371864282\ 9529678910434551562655820919556237126260595444128904134577244867739\ 41304927359274286668845787310156056252954642759417*c_1001_2^17 + 8019605008464707648730033399791687050593443705839366389157490390532\ 3686172278080837297123539577491857069662260123338093844325919722388\ 3351675900500266956527660274/84845645871787371421574576741859321414\ 7648394552172757813279104597781185631302977220644520672886224338697\ 06524636796371433344228936550780281264773213797085*c_1001_2^16 - 4493566503338479527734515465470414641056569924688815015937400496658\ 4823308585931782933380193061855478022934781349531959726178844558574\ 34849128396756593276313053227/8484564587178737142157457674185932141\ 4764839455217275781327910459778118563130297722064452067288622433869\ 706524636796371433344228936550780281264773213797085*c_1001_2^15 + 4508019492374355828651154011863009218801430762897407259452641044121\ 7590415362608541737113899720808313483233622712501742511522234458171\ 123383952909375472281952598/121208065531124816316535109631227602021\ 0926277931675368304684435139687408044718538886635029532694606198138\ 6646376685195919049175562364397183037824744828155*c_1001_2^14 - 1606149814653426293667660679506290743240445636993819473272424524012\ 6835330075247070382527306591378365390091127937632958469732897786515\ 14325428499993215965924619496/8484564587178737142157457674185932141\ 4764839455217275781327910459778118563130297722064452067288622433869\ 706524636796371433344228936550780281264773213797085*c_1001_2^13 + 3195629487051230019266020541565133473085647707899895833008251377680\ 1400415406944910409639351995320933838714544214293941353537358194484\ 797578709600970614219479898/771324053379885194741587061289630194679\ 6803586837934161938900950888919869375481611096768369753511130351791\ 502239708761039394929903322798207387706655799735*c_1001_2^12 - 2616813437160845052000400451051476833202466016947480058811817055324\ 6006413111398651094681840061117247327906986360978866611196842327013\ 72918052426293522137965032416/8484564587178737142157457674185932141\ 4764839455217275781327910459778118563130297722064452067288622433869\ 706524636796371433344228936550780281264773213797085*c_1001_2^11 + 1299250909031221635038113364695278530379467547217265346822793600705\ 4670579247455875252012761860433031008941516969937131712386946580958\ 34259692503818364970327404069/8484564587178737142157457674185932141\ 4764839455217275781327910459778118563130297722064452067288622433869\ 706524636796371433344228936550780281264773213797085*c_1001_2^10 - 1299020277902704025608170563931673081156185041690490711004844691646\ 3378556449631233063766408925837262491091567170919958516960485478394\ 07986204013642762812100427038/8484564587178737142157457674185932141\ 4764839455217275781327910459778118563130297722064452067288622433869\ 706524636796371433344228936550780281264773213797085*c_1001_2^9 + 1282936036472785150120711572800751565382273674100538771478680332403\ 2217803514234335850764793803517699219676225557132533083022191871005\ 4665760136907854331663643684/84845645871787371421574576741859321414\ 7648394552172757813279104597781185631302977220644520672886224338697\ 06524636796371433344228936550780281264773213797085*c_1001_2^8 - 8946449941331764775490104761232914872245098676905766971487901986616\ 3739865490703011419053682286040950804295430125066369466653754863249\ 2859806716922927378774158/16969129174357474284314915348371864282952\ 9678910434551562655820919556237126260595444128904134577244867739413\ 04927359274286668845787310156056252954642759417*c_1001_2^7 + 4099545258530288644878016664366367972444861777617665355603472198904\ 9392253634287500054529433202705943308205115546517318630881874562088\ 1944838993637265047566700293/84845645871787371421574576741859321414\ 7648394552172757813279104597781185631302977220644520672886224338697\ 06524636796371433344228936550780281264773213797085*c_1001_2^6 - 3419882823217914868904294551469455414936688987651017777454884873873\ 7810423328362014503552048311933879777359619309669376776991162709780\ 6915353070938384982780518493/84845645871787371421574576741859321414\ 7648394552172757813279104597781185631302977220644520672886224338697\ 06524636796371433344228936550780281264773213797085*c_1001_2^5 + 3057582374010426371430965278297201381311139475224657036936909962255\ 1489322162989325401309388485337173385096248722694716691574980428476\ 6231275740681611731009289/23502948994954950532292126521290670752012\ 4209017222370585395873849800882446344315019569119299968483196314976\ 522539602136934471548300694682219570008902485*c_1001_2^4 + 6043226165143838395279914626318878870763365426545097285058558779137\ 6302416888093245956183879983604267619165503125790151691442977418528\ 736061495692407095907034633/848456458717873714215745767418593214147\ 6483945521727578132791045977811856313029772206445206728862243386970\ 6524636796371433344228936550780281264773213797085*c_1001_2^3 - 7212580925161383581280740363773915774069157214408153539356191384074\ 7645832578498478081194632160706207598509441502081617895388710487809\ 25397721447854687138923562/8484564587178737142157457674185932141476\ 4839455217275781327910459778118563130297722064452067288622433869706\ 524636796371433344228936550780281264773213797085*c_1001_2^2 - 1151439173716181054880748492158335837769210120391000572754218685551\ 3982721571426582763905107665717859320109136350445618838900109397539\ 0324645514858203492630743/11018915048284074210594100875566145638281\ 1479811970488027698585012698855276792594444239548139335873290739878\ 6034244108719913561414760399743912529522257105*c_1001_2 - 1613295422594884350192451454616554743258891242074124175802896757025\ 5177427704823856478024259430703276829509847117723254320843314808248\ 45920630633235249705313577/8484564587178737142157457674185932141476\ 4839455217275781327910459778118563130297722064452067288622433869706\ 524636796371433344228936550780281264773213797085, c_0011_0 - 1, c_0011_10 - 13657210691142626401835987800350116739143889213107587602487\ 2677373147547880025918203957831510646594145055074648896831148820353\ 607651053501627301484/264660629351065441035854499074825044699652616\ 2837328125451368504942912348037357678525756347961056789003153869275\ 62581161156378532410884950379059085*c_1001_2^29 + 2974658408043312546454462638913799747637533676929319923627590761550\ 8801036754306728274790805268016542725736772309633669761901052895452\ 3472006656744/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 + 3288515813040959554711645788899744824899366673355579193543616634412\ 5435317577214983922199426251251765000438268514624362185910593693422\ 2604447977366/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2^27 - 3179990315161194062192760417071275974556162170002608669609234468294\ 0402614584537590548079681357684587374885681031653122854504606233491\ 57709260139101/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 - 6976476336919562576590707026178634452643070857697219570677735735267\ 5872543651045550426836262950771856272735986696650758610039717064867\ 98027453027177/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^25 + 1742206537310379434669621551844719085226287182674431358708602362236\ 9844407832072873593690339424866011973756949725256083577562459209113\ 729541246458621/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^24 - 9162037973278007530104995070034490886669848419476155481223385176103\ 5760090421864256567639214507361385854062674408234957127276657273974\ 19069620358564/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^23 - 1176157111237085827220170824840531405457032105246516770386368719520\ 1741114847509220516714111419335816084647505679621590519857292423689\ 304209589461167/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^22 + 1004675591432967339464674154041603065270385171535383507081548464805\ 7206268234402131014809770321245993318379051083424478484739657961234\ 4382218588315433/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^21 + 2825398257643797234775851140902981090454953613085131107463404476520\ 5378135814430893771512572557458961949050833161828125032566497950253\ 447992985528827/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^20 - 1496390087162550761272002853597789168140118762475233578930050710195\ 5121367775220062786538562192016243794834706835315151556166165777970\ 9946917907699554/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^19 - 4101597464743406466999913716879189876023626627013701721309046716633\ 9059591571414984625618445142193415843489642284679728595151599552953\ 201657633592604/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^18 + 1851616268408301251055743058289609686459219602090902817363151080453\ 9922305678476795751626118148454723283235735647866908957632407608720\ 0712451652600339/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 + 5575577643124892618854669151240248571204462820088807370968249507861\ 7020508570944252868840111985546134182779634033778585483178791489203\ 3257648088440318/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^16 - 3441906961399823295950263689164786062280597387696653198080900234027\ 3982036432463252078099616919721240778587245352858780709462678842754\ 2927256018985869/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^15 - 1517036441600192712960578995304723074519570897870019044244687101403\ 6961716177154990663426105400328743263452775597097548171561794241272\ 13486736000635804/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^14 - 1028805472298348561430278280251542119555018402504370722205077566281\ 5696912894079104385989767331875825315834826996089709635925154515358\ 83251170831441268/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^13 - 7068136789077910295177851710172777010102496028417671295873880450289\ 4638058331714507344172009392161698895462749231622469884420004603781\ 2871619310867149/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 - 1530336763556970625197559348595728302005149944219463976513470183958\ 0668754395324492563488464204898489313738127278649739769566526137344\ 06227489845109691/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^11 - 6549603173929162984956676252111424726970420791125650664587381532361\ 3854122448602074817264942477586990016059603060932345455105634868992\ 6975907500735573/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 - 4258820054691767059345011872912205259359455078707168771217574792802\ 8883333667911273518789509099386913322745144840160627120860480745699\ 3259517534824072/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^9 - 4979033099607732391517520290369286315528357541491592880184496193310\ 9894518006767602843049454139713862844366658288126093704615989235149\ 3046410831435094/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 - 2191180285850580998020141511772745836822337914730017125736305470451\ 5368344117839388604975710550102892196661659424988335783515147234796\ 7882087599607837/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^7 + 7166016147077949020707576190636513131917426032767549854294163504993\ 1117418557842018663681391842358351669593860020264655358360152570632\ 027106540129846/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^6 - 1663542130901407860962142304574816192401528812651828604730137050147\ 5593230807208687290608964970481429177856906755035626383390681356678\ 718384777220582/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^5 - 5016490626557072530769578592009985508984594402084865053742832517530\ 6557757272617639333622154213479927649600193295635229013065128687933\ 191202030598959/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^4 + 3464696279108820755513094941102702069829806711343081084216677096653\ 1932191145383906277895809031902509527153480556075692536728700121737\ 366599017442737/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^3 + 3878290371467517897146840749122976870001967904033038200320691091201\ 8585373289218845616125932208829605200361488423686435086717406887729\ 55101169776941/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^2 + 7928906875455874410665532119465023236857172652146333738638919613135\ 3870196645877502965469494872336110858607011212498007532817176369132\ 8051825061957/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2 + 8998513775314813862509926229256438426661291371133360367091644654990\ 1066622583747311780107859098898956429152971214102112863277947953915\ 456454568288/264660629351065441035854499074825044699652616283732812\ 5451368504942912348037357678525756347961056789003153869275625811611\ 56378532410884950379059085, c_0011_12 - 20968410971892455752958949927414277030533206175309209879869\ 9433697050649000121321728722706515002316730668050183437389553976228\ 936812897803995582878/264660629351065441035854499074825044699652616\ 2837328125451368504942912348037357678525756347961056789003153869275\ 62581161156378532410884950379059085*c_1001_2^29 + 5938935654354486975266635671894105419730149952652526254241808726902\ 3598348617749555888515780009508664871517157282687467695319847047981\ 2216089914317/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 + 2123925097039507269809688920044803773699220301324030761751926961402\ 4337960170619990159625347181377892756107760683283198694389158321529\ 50491485417733/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^27 - 6246713861805317134694907021960564261385199498009763210939327044750\ 0417344849473898426108022756088013715257649542321016427441117905718\ 48454463839613/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 - 6476104001387760640429803447081272515849221135882699299720868382891\ 9906211352958212424233572590217268657809509948602211745656268544693\ 22970475315726/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^25 + 3071302399899516365567657894820324437770217818068904844954167160084\ 2214144594457536379279562574658581358344045751457392993247619722161\ 604509182864533/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^24 - 3481136040132832248065452616269169104147149169552851360047483577455\ 9547602368754639522555716675504506739030377039018471041341234708420\ 041387789826371/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^23 - 1319664212471948570565720467449409887520138479562254753038543525642\ 3632393657106652757292905505624452754913428921437642199747643817590\ 540933932812615/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^22 + 1967757914056645341385598863416640893623407234231767436430441465185\ 0884541919467296889866971042211816123485155811286398126208847911579\ 1098515793767411/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^21 + 8268300103051248051540159070711544112144348513488937311242097986959\ 6693507549521875559624548571821272233847600756441656036060780835679\ 415334307061077/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^20 - 2751215736297136791886031018482557815166945563488630697271217933733\ 3481952014569674112067825990380135233821331516569115421466306479922\ 1349359108217927/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^19 - 1212843546689737440825076993281984773297894156938039017659671281603\ 5689278765549752282902645163836747268581985764628309580203115160763\ 9407232548340338/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^18 + 3499185933688782695530980710818118323134351838090565666462227896208\ 3395046092086082896238215310993872589944295099921933524326164916612\ 8916961124212774/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 + 1215411520753995910107417871368720453975891576945869295414414731718\ 3666558465679851405028031267538349209721739307983943085641865451738\ 1269549013347270/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^16 - 3022727075399338630298603076729921287162843939562931110943140896919\ 3949465722638978766171876865997539475929257647605862796964060058847\ 94156234205479296/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^15 - 3008626089036047546271286959596537416539132227302363248496361065348\ 5139490903882081280946263871808879962388243484299498398648352135667\ 8349367129153176/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^14 - 1533115022999888085543931855516473435693675213655672264720095947721\ 0727968158678591021406645012390294444720391635108579261303805290183\ 20397157530248391/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^13 - 4632268851052504920159760750127133986474467110037766511527432342991\ 6711446179049567459303033908055165670723097134923089822008882645124\ 140961137498881/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^12 - 2276385908481992282136698190059200066647849802378336950435855259542\ 4026986944736530523907608175434413082357389085952640046711411861931\ 34504691278485129/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^11 + 4115309463580406993965430807139031789909442130642023978430916850370\ 0582127881323370937426848626270504049717028960633839243626779914612\ 5834497701256039/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 - 1054519085946269330449176788053542486093316158741501784284889775057\ 4902591409299265812523257510197250611117939587593104463244425250665\ 25536425645623641/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^9 - 1420292127472331909993622395853106979453405522901451228704910251908\ 8896513846811339052778004483136517256773362371772822111387066908772\ 7512392592609357/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 - 2697914654409896621699037042590796049433393782526557843595124674409\ 2257525938238634542561006760192816570738608350359877797751124704561\ 7634033794584117/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^7 + 4684138725152738579650709075096554973242862734581742325720468972913\ 2231449818504015075784701963030660394027309392551602515351920934846\ 308975316600938/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^6 - 1944873742787064378898479342210693375822791072500653178328444259053\ 6266453530994295238731004314877203281034799348044672133453187692620\ 7168666688047366/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^5 + 5605781977789272720851408218149882803439689179116929800306954520232\ 7428401436759731845467444893886866673161123263531269680315492787793\ 484749723207873/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^4 + 1626720907038869686031400449190445966420556390850600640671084141703\ 0715583693128941642016710955944315955668774003878921600201625043388\ 354293270555926/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^3 + 1312641000820824126173812817323834631820942000001866733189048610365\ 9398382693787615563461960230949376865228827271917820067243920949012\ 049425966104424/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^2 + 1882439272690264622086080675286364210791480284732785923838828026944\ 5983420925613618636630700476320552780580254708966005264783445701650\ 22149439305272/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2 + 3903834419047513455601553859599119785378887342248243173088409540501\ 3058347860787957617574478877679602034521654498984124155690531900594\ 4965859102507/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085, c_0011_13 - 30880045916617013980227906820528216149526654792277633232043\ 2410344977035563493599437430256384158099382076542309094944372966498\ 62069390999664544866/2646606293510654410358544990748250446996526162\ 8373281254513685049429123480373576785257563479610567890031538692756\ 2581161156378532410884950379059085*c_1001_2^29 + 1645342433164963023603894529037905228158002908193523157533458056160\ 9120760019970060395291702764464619508227014719051706289444007861326\ 7281203675553/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 + 1104243421096727525027896562223635155936292305541581585069949623750\ 6945543123538685753781313600981498588657612111851369888802764612526\ 5323782412559/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^27 - 1752375492937043336517775578889352313856774414482170461234067840552\ 5056942408258122001599507383169040647301858636241922974268553168422\ 40220345117832/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 + 1199534066240345612724882696027874276056692983462863482840100824963\ 7925906194755374564684073298304558287458757453183467179851900502964\ 47681960483521/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^25 + 7446306600589719733928473025481880853900677867539391256191716924612\ 8543513203360556559427190038704248268379649774333222290376543416604\ 71970403087847/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^24 - 3224020122585240906154338895721823113614471717129260626346920634750\ 8248552827238038074455730723981356063347402512210716037211142807375\ 30413573092019/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^23 + 1058357709633622033743927785872091497871515315435280097077852631240\ 2773363682473791667306389165533144821525737962530061036295915557210\ 2010219662075/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2^22 + 5685397500283503791691099114785821036775505668666663265652188175898\ 6747579048053472716301916781233159617996919989290787447585064049761\ 025054357514887/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^21 - 5619783937530682006993791144714522069145367177850137600103631172724\ 3275388417167330574859492053475690160270989586467812956431672932571\ 515659375043664/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^20 - 8804798980185680975134930759515487110056243407112502478164369566619\ 8765315647505205111833097980987240710073191908399420340549840164240\ 727429904945353/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^19 + 8322452962740061920265823996620734304084330443310912425149300614758\ 7850038180362565349454556267351813000523475073660360539339641001722\ 936272781296396/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^18 + 1199527021138952626336912936540211569259809055287150361719731017634\ 0920888607442012236624705693898935142787973730063227663678883758733\ 7706260729626599/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 - 3893539072457290374657352436288352451085517968309897634955667426370\ 0413102915492077871086580042600472571326284210295274834354409059612\ 620770138404616/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^16 - 6992319859378399288389476525363540134566928353223012359599547814383\ 9586106983333773085636271048596573442336381901733274737856014195896\ 0498854402424048/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^15 + 2064152493139479174269195172741197191451096459943974265333228963757\ 9414115806817095401715714331259774309711393112451328981554502444744\ 4790826641111086/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^14 + 1339961898561972138257751421747664057482795326889168927081195772619\ 7400108555280634566164816110116088301689330074514938787036478654207\ 1868810060852903/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^13 + 4565349393986343078425528621815042520348313839366309872373513213694\ 8757807127816284719460692961166925981873295959314530337279904274828\ 8273428491149798/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 - 2951127121293202900216181714488204810217024504096382930837296052015\ 1981443805916646130928150749801857577081276863963625641385235924308\ 731887251267344/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^11 + 8720363803852287208795158985020216523581260976828416379482386247237\ 1873647077250932854913035616519390320184827766805126574187289122397\ 2749673990462213/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 - 1452220870746012595423961215296407219864776388448450438569022776418\ 4450628917404930663572776872087001534100187861443553808964131190590\ 0326034732078939/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^9 + 2654590572191564158040639108834101333859855007947759760305300139171\ 6001782522287623579964556328586672460316837943998649039209560152120\ 8457273430155712/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 + 1024861711989137792712221661182782018000837780960550884331727459578\ 4142715800721736995077602464913427976707201825879400943269515793454\ 7651758584682413/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^7 + 1158246037025526926872640406414261286891826972995933911518975285077\ 5680412971071150007627552116653672829107446255836036807405751231522\ 3674004293014843/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^6 - 1021340142836387479467705490328823968418499247481506642004615105481\ 2432093493448428755741120484401658701752527870794634317210990684831\ 5699921710543589/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^5 + 5536558394374247808448800628627014624842643564279412136811440743345\ 6321123498037556032158179166427661991929851506002579429861239287304\ 024992501919672/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^4 + 3498953684036124791244887604481047045917230735386647105708896714269\ 8010941014186644292803202846474960518451313497416071293078081772894\ 07784058054379/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^3 - 1387799573584093375521030126445029416084261816488673811800070897502\ 8719090392077416364087314777863933968798761892462317647349035491503\ 099219422407628/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^2 - 4613923432905734770877704151323408131542431998983062615737560584060\ 9633741109325822968728868670780794752451651700044047419680190323256\ 32786840319914/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2 - 1063490384163345683666374117399549944414547973459957340789609384000\ 6841677763639585250079255032780981444116907016584037741975970296459\ 4335851346018/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817, c_0011_6 + 157452365856196467992182513232316444054541606332950825514779\ 3304910784913239005863078238230143255427399125007741223259595665786\ 43304906489282918417/2646606293510654410358544990748250446996526162\ 8373281254513685049429123480373576785257563479610567890031538692756\ 2581161156378532410884950379059085*c_1001_2^29 - 4585303651926975801323838246388920467226310602584589727596701070901\ 0229259430058842502491977075486197506074287850898611935571910246417\ 3147117356491/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 - 1578686412940035277814574681921654688388230851483330212263447989006\ 7062218914724007566216943651520810892689174478005570556505162071367\ 86594939602738/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^27 + 4876553535704539872447369168489105327949662458410968022660992784617\ 9100799857500060483767122499393107778223857536430186471492262248713\ 41425618610659/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 + 4675907376484415666585508738201889981005406344737551846087676187473\ 9457925028465487486859315120715986191562561747258308489221800042431\ 82347717693023/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^25 - 2406663048983101851542216350810066296431570298144821648914611135810\ 8181752004864578565880906913420255325720499623808261161955252469042\ 900724225682074/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^24 + 5496135781251694584218724261804727588364780023284747237909313585369\ 1662392247862227030652200669039949217142958180249354750311899569474\ 73576830934200/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^23 + 1008613329839255337371306897525720238945109580854281481662715808806\ 4586756070873359234337594886074976377145657112709015840297088863404\ 232267426144559/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^22 - 1554472819819568897506332471735306368319280008635349285629279056008\ 0860281169534411253182355239135485400796369355552479427935914286122\ 2125530293894129/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^21 - 5590675652572671827732770731962795571977042538909688206305287655831\ 1896406314974530900336415768071913292647095225273093408862753776243\ 391933359285172/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^20 + 2310133158443543355017278130843640837245213331025123254416781205169\ 2004739655032694505468360667630410693999139734800357478760239450504\ 9670132875010776/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^19 + 7907141560479342770323528492069764591226303272222397368952914952593\ 9961513663001847845776397416827675902018182713716803550220757578295\ 423490401385633/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^18 - 2974419868143290785870081981644324853967494976766475322055533113325\ 8546135949369617127576690022659193338290644731221609488453184033985\ 1648127115365248/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 - 4418524695987876336491969157713835103028610554532183595172302034940\ 9193878994596012420751743790049033136273422796290175712925382071088\ 2832196221700548/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^16 + 2341332190823851438562580621516845163196441552706153083816971346057\ 3432613245466057409728846876352377959770384030628223997315505057573\ 09817185113452701/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^15 + 1897426103423916588443140283433300148493501241629174078509309535923\ 4870087848272888880050248299711159711611714357991654204962203678876\ 843813660883817/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^14 + 8420745613387923931487418859735097042842865071179924343226553787694\ 4526534366841738504198390227933339485486041993012596514769138469793\ 0845221844637259/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^13 + 1034102716713006249421190767713183721312718855996383487339169726048\ 8229553007548119799446370673173027842025823812489034140448960397195\ 3815881900625024/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 + 3131700747043866292444346457773960633342062669231317413912033871234\ 4437224421370122563733884357466772202752938076282086150739446317741\ 6096328140070556/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^11 - 4466731944089724123843352383520386043044863763531746644262003461161\ 5113870516172885263585188715615617016829239448632271749399958685764\ 2330859717087581/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 + 6135321522739134717625423675315278093880309175247366886478371261148\ 9900143850739683596627115648971679990645763637920727343053855990983\ 7791692033250518/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^9 + 1190345579157851207998441948096545958808404848336339262509526775874\ 1358968595844110110747454213941983218650812545559779506539908716724\ 4670135257055396/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 + 9490066693643978739584165209409134205346723113906283166123400653920\ 1830916919809026589609329253087179654361928688800470308797391930732\ 132898406927214/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^7 - 1920606129454300742898606359382933341425826923169329694374248909975\ 9468136398966712710475171086252059730404768369786617603042225673994\ 3426348423159946/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^6 + 1414781776821265353709059246359911710216326116195997704935876498735\ 0504613224273017027115991049140791277138047423062133586054755737608\ 7515945944737393/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^5 - 2806060733385302266083734232997169616315606472571327697800484513888\ 4453145306101243582850397272831793045965573626579719437225030761971\ 737788332512399/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^4 - 3028337907721834072553771433995349806435559119374385621416018146350\ 8171297671003920643093991766770260952947586632191629847321109977476\ 964162650738718/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^3 - 8016940889515422578315163843556915552024764939993136733212094337396\ 7074092805586193304012390777540774195128286640278520567148710226992\ 9251673016314/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^2 + 9321454745886801335096343972721788591813361331001755022989357923785\ 5529764551270168049999198419866829192837540044731703490657625351775\ 4826979243088/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2 + 6261622012251379169137428929027086429351765905346456604541641162127\ 9812916457714062997891463634575293244464771783885041981456613882632\ 152760103844/529321258702130882071708998149650089399305232567465625\ 0902737009885824696074715357051512695922113578006307738551251623223\ 1275706482176990075811817, c_0101_0 - 580904454774820727453722939450297653281562119344793741900831\ 7826829144782455302844934230372343086500987193209401351999836086781\ 4498094485057986582/26466062935106544103585449907482504469965261628\ 3732812545136850494291234803735767852575634796105678900315386927562\ 581161156378532410884950379059085*c_1001_2^29 + 1001557240501667685185847163350961330553663315725516695458937628060\ 2340419534267371909565436836519995927949050239517095131876375027386\ 3975809551439/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 + 7831932319760397393413003284146569752553239500668710550383170560944\ 4431235685913186147402805559306842459964027879882903359293975706351\ 6632653771524/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^27 - 1111701488656359897428648831813877192893733078471169956933675558220\ 8559143746464958739789390016592282855654268276216760753658176085729\ 71892110283636/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 - 3845051480459638893339914979883073102708403690614160357461122774710\ 9888482212146403777429561866639068761938140380354864883458123284635\ 28970433519392/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^25 + 6873639624621858152264715583457081992878274296550381998395798956022\ 8691066035614357252320417718056739518349258361862821939156945873712\ 35816220194106/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^24 + 2422894264708126039292503057249152899859209199417304208547157183347\ 9234427904039506049807911456918194934703233903286360591816044293173\ 6597970806834/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^23 - 6152373934272579108662152022794606833968733474186517376815895532244\ 0849835793206769094726316839793335780074978221472910526123105324623\ 15222884767866/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^22 + 3599060924760055436292930806580278131181988786688522843553757794250\ 3147632132369362395221816083025231918897158548699095899504517116589\ 514616748152324/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^21 + 8775205105997724621203086687410055313909827123445590846040910853044\ 6214518369995446847539302480907900632737321420946308427497346749337\ 756185928194046/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^20 - 6206998672055570622461209215239060753464265882089302697423828309454\ 7550662933668762284062591197772404586188832084885600591131953596770\ 016529233947089/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^19 - 1252590710024591124257789079681914718747119074273124502585875356740\ 1948426643787903571363085702875796469946393652927690574459570413956\ 0660669682615069/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^18 + 1526513835509427986125789324158503717726209825349930097820185959278\ 7066170419794154143567545018397438562091018255984954125374703663376\ 284127548657198/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^17 + 2860145387714065879262039057077422563064228786478239807972769868385\ 7492525438880722289147865843949704189235946516895346552635641638078\ 5112195985491551/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^16 - 6720685149094911121333050887187246051397732693890612399423434047568\ 6798324670989155587224286389392037295413207055531701627771076108669\ 3739966731576243/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^15 - 1051375817356321136901253957432361173061531105131595438933241873268\ 2381664701979107542187723700571977871354123481097895253078211255093\ 85615561359757856/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^14 - 3414375376580354761516255721145132050828486687415052381155433894064\ 1919775285493881436728874833372373392016519080079399892324628639792\ 8957155418863939/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^13 - 4840752031637394828009135444309951600438601433965958305265620568630\ 7382123071947359088549610077327670954345049583587281473087414117163\ 5144720244998958/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 - 6241720482753564782022231401626596544655252382529313175888286809105\ 9409719055254510605513770145298452137559831449926053177235464465294\ 0334965768218494/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^11 - 5550548819346612712138566650105593356564319723448615529354941318266\ 8483332362995017606199987646102220363766407411040101018661222686479\ 7050153419181309/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 - 3353519793097910380326350452252453124788152410373467279604242884817\ 1974089155174034395222311325684687111779006777258459265250695895938\ 665548481905957/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^9 - 3641168712031726375563139193509064464316508107595577636587035892342\ 8517448581407994810561324593584148589579712355030514036012513554198\ 2438940254671054/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 - 1412005111727254124832698354921828906470359928016569801765623128306\ 8098649603968310058195123598473263225432166442786086599403508499874\ 281858522746817/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^7 + 5483802348766313981354091233893560150536803437546109535595768636714\ 8945257980466955117764013330229387990642266208073122549186112826190\ 56971609662777/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^6 + 3109258728143405130350457340389069602902857840888192071813243223447\ 3249690679079050981934060574168967440885686121889101783833800659526\ 749704675211323/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^5 - 5553576592103930205404535305810386496917943116997104058751075537675\ 7458064025033364859788133687383604741985143321798448023771250559855\ 427046264200599/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^4 + 2989729049122139385124151811620623373041052658938008575379238406746\ 5046314541787574558972569070008581258116967062215590292477987799429\ 460390776373447/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^3 + 8800932316779236528269782947485222610037999749620366639155853899035\ 7123926519092231527974804362589357438350331706701489137363509678121\ 00449567803727/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^2 + 1688055711009877638824567645217074936902233801073211925225941295346\ 7129680233709811364249124366160056947093228991373982079900494623570\ 27148747954876/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2 - 1965429932696654533170745714320882002930771655896858347505424836953\ 5805404890077220604747799434851982883043543161563635146850299288592\ 484630395383/264660629351065441035854499074825044699652616283732812\ 5451368504942912348037357678525756347961056789003153869275625811611\ 56378532410884950379059085, c_0101_1 + 217284570031347162967952714224015765122173841632731328378325\ 7984196658787322707703369496428170424366118040887339329340936491033\ 90522800487036542568/2646606293510654410358544990748250446996526162\ 8373281254513685049429123480373576785257563479610567890031538692756\ 2581161156378532410884950379059085*c_1001_2^29 - 5929964703721390729388443385531082076201066635220684472736143762634\ 6685777381903142564886338583636178518307379670384304405540175545923\ 8049528071642/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 - 2282068759454573678219570482666469632727110291704697316611650558728\ 8449360881423041808077048740290419734977771041933169942075471142716\ 00727433808553/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^27 + 6296324784022966427972117880165582400574245979741328817988116673892\ 8086778636328058385693814768706951373735009002518623668963831711162\ 65161660007203/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 + 7557492495487420350260371214373020223715034029731610467691051729512\ 9730075698101136298839614961887727118843812515480623349435840569882\ 04643783469756/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^25 - 3166545761225463139225967788544369023423153704295967284821314064234\ 8471036532324211924102183841853651385849085150122774230380794631485\ 218604696207323/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^24 + 3224571402756065501694535864419170892078855219670464594405966307212\ 3746093909423603725360325816865417674449838024692004176064147638232\ 270202756383201/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^23 + 1494398654972978865140812525525199457567168815451088289681049652757\ 1536883038358894076620187697996027063791362438917853128641205395478\ 965796671995183/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^22 - 1998103626332462942553898173353951706528249070763539185797743059899\ 3386124554086191617182926098930336140378061243731946134223447186529\ 7806636865818631/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^21 - 1123488709365070772977706859502415742323073175747572069853552202485\ 4808357864988904300528926649301366144893502526008612697907851436515\ 5848941978967537/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^20 + 2930872505081427216592344782297534621516215002823273878369894001386\ 6091510740219244526252099704702303200259418825158551773481834506832\ 4423315064062267/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^19 + 1619803992672772349316269685141414702696668073350612178840926780793\ 5148029446701220738436287436097372281566515608354367065473607470543\ 2497603562885983/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^18 - 3737809374284432347315848603197408652801780832486267543209054759169\ 2591441229388992726947210670929818451208299289813208856212824138634\ 2127987231125814/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 - 1354163981373980813403864053356556930541802434310828158111534076235\ 1250335388963223527163670638609151702955379815227157213469400599421\ 8341280362548194/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^16 + 3098129108296164249807940920589600942424772880777432161507181865667\ 4984739180079185841164313936388201066404014109497274873760964697555\ 28783408577109706/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^15 + 6857712805058295293545914545292771283843604838680310982852339968057\ 2432974759739967311601975398117627811802367151632598279757013058931\ 8679387760436341/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^14 + 1363997278264761785815978449908792134796145189080554495091566771067\ 9586805650861112047129125207360308593081812757347682255603454060351\ 88817588325767761/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^13 + 7631616237161434710106080191379935770512850095907442034994704407988\ 9164821418511807596655309895958092778104369077366187400590567040332\ 669246634419508/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^12 + 2267924549333686762311662613952528063809088633744397668959969412810\ 8201808053324572565712552025508066250280957278427756018168460614580\ 01505806492598914/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^11 - 2011387980474093849504565708672675980181795499105058304057856244443\ 8065546917072917263297132131841652469502576127770457368904452051495\ 6337592271362364/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 + 8639600407498106344470182558051443136178178803646825620925851437996\ 3662643326951638196502378404663918297993174599201316554269383080539\ 2798456838733636/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^9 + 3000154868406390540350322964493429154154918438615960497195801796585\ 7700251244320861892458751087994872602421317791043134212716873186872\ 7663476773115697/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 + 2148072292540744468970039258821221551425392948771748008905149789253\ 2322706465541727081676792767138189392520662306219226253006000661278\ 9340535563264532/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^7 - 4539885968298049597835822258456639806270915653070831175767304683750\ 0000257417680346191493230505177936616086496574618988192853198318622\ 624838769239037/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^6 + 1591258820355298684761807921419270230612327463389800693427370448525\ 3043252307527209934516159326813779653790638781200683817854146103376\ 9427172179461121/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^5 - 1603997380484571496914420262096442409260024759084781967280454352020\ 1972767905016059003540730072592025869222691440240632752927095071644\ 980867387020313/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^4 - 3863280540780238502065412885419945642284512879684228488224678251494\ 7281796404003012546692202689463620540975783071493742369962948147767\ 604913356158201/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^3 - 1099841317577356835624741989243032680871576648341816338899252440464\ 2881372848703286590950195373201297551646991575633658805007372094145\ 542532903012609/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^2 - 9104809479305517715331996683938646853690378115605392209607497371591\ 1056709681810879661870068655218254307274370468280203004129933636009\ 2814799195437/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2 + 3510903037624425782842167991510003734926536108603714452488034333128\ 8791144590215309813381589994770428270085114309568260176807291444276\ 903531259333/264660629351065441035854499074825044699652616283732812\ 5451368504942912348037357678525756347961056789003153869275625811611\ 56378532410884950379059085, c_0101_11 + 20968410971892455752958949927414277030533206175309209879869\ 9433697050649000121321728722706515002316730668050183437389553976228\ 936812897803995582878/264660629351065441035854499074825044699652616\ 2837328125451368504942912348037357678525756347961056789003153869275\ 62581161156378532410884950379059085*c_1001_2^29 - 5938935654354486975266635671894105419730149952652526254241808726902\ 3598348617749555888515780009508664871517157282687467695319847047981\ 2216089914317/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 - 2123925097039507269809688920044803773699220301324030761751926961402\ 4337960170619990159625347181377892756107760683283198694389158321529\ 50491485417733/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^27 + 6246713861805317134694907021960564261385199498009763210939327044750\ 0417344849473898426108022756088013715257649542321016427441117905718\ 48454463839613/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 + 6476104001387760640429803447081272515849221135882699299720868382891\ 9906211352958212424233572590217268657809509948602211745656268544693\ 22970475315726/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^25 - 3071302399899516365567657894820324437770217818068904844954167160084\ 2214144594457536379279562574658581358344045751457392993247619722161\ 604509182864533/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^24 + 3481136040132832248065452616269169104147149169552851360047483577455\ 9547602368754639522555716675504506739030377039018471041341234708420\ 041387789826371/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^23 + 1319664212471948570565720467449409887520138479562254753038543525642\ 3632393657106652757292905505624452754913428921437642199747643817590\ 540933932812615/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^22 - 1967757914056645341385598863416640893623407234231767436430441465185\ 0884541919467296889866971042211816123485155811286398126208847911579\ 1098515793767411/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^21 - 8268300103051248051540159070711544112144348513488937311242097986959\ 6693507549521875559624548571821272233847600756441656036060780835679\ 415334307061077/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^20 + 2751215736297136791886031018482557815166945563488630697271217933733\ 3481952014569674112067825990380135233821331516569115421466306479922\ 1349359108217927/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^19 + 1212843546689737440825076993281984773297894156938039017659671281603\ 5689278765549752282902645163836747268581985764628309580203115160763\ 9407232548340338/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^18 - 3499185933688782695530980710818118323134351838090565666462227896208\ 3395046092086082896238215310993872589944295099921933524326164916612\ 8916961124212774/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 - 1215411520753995910107417871368720453975891576945869295414414731718\ 3666558465679851405028031267538349209721739307983943085641865451738\ 1269549013347270/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^16 + 3022727075399338630298603076729921287162843939562931110943140896919\ 3949465722638978766171876865997539475929257647605862796964060058847\ 94156234205479296/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^15 + 3008626089036047546271286959596537416539132227302363248496361065348\ 5139490903882081280946263871808879962388243484299498398648352135667\ 8349367129153176/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^14 + 1533115022999888085543931855516473435693675213655672264720095947721\ 0727968158678591021406645012390294444720391635108579261303805290183\ 20397157530248391/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^13 + 4632268851052504920159760750127133986474467110037766511527432342991\ 6711446179049567459303033908055165670723097134923089822008882645124\ 140961137498881/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^12 + 2276385908481992282136698190059200066647849802378336950435855259542\ 4026986944736530523907608175434413082357389085952640046711411861931\ 34504691278485129/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^11 - 4115309463580406993965430807139031789909442130642023978430916850370\ 0582127881323370937426848626270504049717028960633839243626779914612\ 5834497701256039/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 + 1054519085946269330449176788053542486093316158741501784284889775057\ 4902591409299265812523257510197250611117939587593104463244425250665\ 25536425645623641/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^9 + 1420292127472331909993622395853106979453405522901451228704910251908\ 8896513846811339052778004483136517256773362371772822111387066908772\ 7512392592609357/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 + 2697914654409896621699037042590796049433393782526557843595124674409\ 2257525938238634542561006760192816570738608350359877797751124704561\ 7634033794584117/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^7 - 4684138725152738579650709075096554973242862734581742325720468972913\ 2231449818504015075784701963030660394027309392551602515351920934846\ 308975316600938/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^6 + 1944873742787064378898479342210693375822791072500653178328444259053\ 6266453530994295238731004314877203281034799348044672133453187692620\ 7168666688047366/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^5 - 5605781977789272720851408218149882803439689179116929800306954520232\ 7428401436759731845467444893886866673161123263531269680315492787793\ 484749723207873/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^4 - 1626720907038869686031400449190445966420556390850600640671084141703\ 0715583693128941642016710955944315955668774003878921600201625043388\ 354293270555926/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^3 - 1312641000820824126173812817323834631820942000001866733189048610365\ 9398382693787615563461960230949376865228827271917820067243920949012\ 049425966104424/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^2 - 1882439272690264622086080675286364210791480284732785923838828026944\ 5983420925613618636630700476320552780580254708966005264783445701650\ 22149439305272/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2 - 3903834419047513455601553859599119785378887342248243173088409540501\ 3058347860787957617574478877679602034521654498984124155690531900594\ 4965859102507/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085, c_0101_15 + 68493170989167451658336322210113092067836105193613903608566\ 0932544006599760156688649273727024827776429866734603080513347217818\ 27363367800452413007/2646606293510654410358544990748250446996526162\ 8373281254513685049429123480373576785257563479610567890031538692756\ 2581161156378532410884950379059085*c_1001_2^29 - 1710526208328145185622359957664213893138228564365621382261817995388\ 5735044485507324248084173869271363329412112139129741545828710928494\ 7430471582742/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 - 1522632506922627870758185675706651970133128285065986645657764735969\ 7597549150441387906700482763300327581586473206105997876245671600173\ 4531788299876/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2^27 + 1814719351598424787983051920582116077461427099802401517204916861327\ 1309936485680231098431982074530844003426025780022250172499513617429\ 37211672541063/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 + 2826503961456073916201918949238995865152062781117696328664073618446\ 3824615138247299939875310293494013997022024862688661076122009448459\ 53980357247551/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^25 - 9393629157820386635124806480893400091976014367755047028979676767899\ 5537058671069465123756143251226140036885348183626030599859427288205\ 59344339781838/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^24 + 7914049860678165657336912409647032004407458266525173943741722732520\ 3464317947887235606345680402278816764706661351366663116253400724174\ 87072024663562/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^23 + 5143339040870663234282317477338507801411774977557069154298805962897\ 6322333575385204787066757248747156446974830365345374587378615676282\ 20398494264569/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^22 - 5739613834700705009530911048018594554290243677612316621399409224778\ 8490703940872375287850880964265044179395994834351360374847230404993\ 867098313743339/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^21 - 9887944295191840853389913995091814086092682642011184453180779600188\ 4226710220364294079400119295732178566892770733774634385208343743237\ 78111402639278/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^20 + 8303517875729226474409899691466008555775875264797319191218907425864\ 6609611541462470618811861787115862822655941832732744006624850620764\ 173443574498432/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^19 + 1425433760275925706454546673142997421267259201328063311490637108075\ 9708522720394206930625530217409463402049884615179059736679437462122\ 718481632972022/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^18 - 1041175074781368984514972648562019946061422731700434710757116688521\ 8325279098056365709552596973785188542145599216182871610529196839313\ 8023788557192617/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 - 2389430696136646840034222655695432017579586651788951571846756184987\ 1050787145697199976688704902788308753050496951283848639022937564607\ 3794980182857764/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^16 + 1849422546341216240452369305110002837886899568516638692214718079040\ 9429489883628229362583029557923696125839182298375043533115001441950\ 3480312738145020/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^15 + 4371789012668982279456393596787069800372966655291527858823812505064\ 7992322916121586582071290333502312545917709779274119612272269046318\ 5842058245901867/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^14 + 4987245019087105159815773849148722782751693211823810936536380199943\ 1452889337701709658434694964554954672141293516977905988286541857563\ 7497561997015654/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^13 + 2312580457868236298936069335249559474493984293593117154317797494320\ 7566253590530486042916408025782862659170170325773858525665601869269\ 6802712788047527/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 + 7487540551049016813001277112532034813942303602142380344911901142688\ 6865884879095557589604128628132712152888429496616122379516287105349\ 3016632156811343/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^11 + 1054685201347106545942295867632151055650023997956695203266673245621\ 4652050002463454641218067755011215490334071748510973268166892630029\ 3759211670977104/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 + 2712852000975661499758903466640850992819179877196793947820648740606\ 4651017379112755213629815908310248195238829635501550168748396860826\ 5577050947722616/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^9 + 1608614360615931696642807581289078155159568397687414197597756605828\ 5877183339904021462729017419654318218314750129434886466177657983620\ 8389556589559452/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 + 9256634605489552664054054838880043057143117222314295362489519844960\ 2407475328321033096272449220764424074731438073266264368578738468925\ 646444300636616/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^7 - 5215441768758148272019593269957357478857662161211119079629502938415\ 5635962983150425660251417930320184614290036368957496210616369493054\ 369121709599493/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^6 + 3521421960256354556812020600550728143800356112646645966584919991270\ 3212905356380409642123432985682385313412620764800181239092959007222\ 802544396821471/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^5 + 4947573447552873571863903394179967863730865346907447522407797676506\ 3971354170068575415256049189078871712363234195247355148885021355078\ 35718246965117/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^4 - 1283392772187539936079747485642717326368663416458096125356091539441\ 3278791668751881773903689086394119097732445163742630623230103019656\ 525462183703246/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^3 - 1185646893089187369344279793991682116645763239701850818587395825046\ 9617619820429712563805450052641687027394830508821760893598074224392\ 48438080652256/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^2 - 2710771929436890796402823768880551301382312897096765493323810451576\ 8493603125345968118615279841600328790421139395273890795217073130099\ 4270759718858/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2 - 3033542730307366456233060451949967033184982603781253955311441960811\ 1315203786172971447842387317687014198111770756637197387734080682877\ 0888029613634/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085, c_0101_3 + 325456280219148282691855408879031780185709448567449855767626\ 6169806285281164443240707877170771068977199623331244775716603579577\ 89576523848443026114/2646606293510654410358544990748250446996526162\ 8373281254513685049429123480373576785257563479610567890031538692756\ 2581161156378532410884950379059085*c_1001_2^29 - 8615807044564493551634572401574898038502920980985065767176890389963\ 3303215802599987495713581498114987035259096397483945013209099356180\ 2937393074372/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 - 3476736831665307058968437890060213231156383271987321571105817259542\ 1270230117279344843485252998048502894269189249705727766281749077905\ 13776047887836/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^27 + 9109324046994643790781515389408743637464453549189731462362470359466\ 9616698362442890440623445979221189890115418402424765219252064535798\ 34237243698748/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 + 1195401282743851462376942989970105044767614028761612516150270000589\ 6244605441130547568307763775276948048846489383531994444324709541603\ 589896330646961/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^25 - 4606353046231638942796301756019204866526208308840890488694674733275\ 8320481813727079350858289541331325984429181661553749371540846359238\ 495527591356833/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^24 + 8959378722302597953714468927900780480541942917049897456279958279871\ 5933982698549738955068543967049618943768213383834709129686052526776\ 99113581902788/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^23 + 2274824081237402298437813814812922433497482314004367819522943875749\ 9699747916809209317067715285934756256858344559908230539305767337960\ 353779321498062/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^22 - 2875007466201804092417986186745684484722656947976581186787632482069\ 1913555454147962959758884410776107485937818784211951161807817134849\ 3349955955146423/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^21 - 1886304403315248767329749754299913154649106800521951105782205414024\ 4264332264680422693710070619165818906097414316223855721480287024098\ 7123587284466639/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^20 + 4113420622866677748137556004140561146167852782161769118595311715637\ 5195591678147450823456685815837653369053758460065153046884323665884\ 5129971733967127/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^19 + 2747867645244560983966020121974873390243082105079328002562417071887\ 2392800664130528975632429040655985545548905282124696533517171807059\ 9582697110842361/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^18 - 5206092716576723311656023335913937143726992528053530306718355323338\ 4768051903665272270429310906713071156406549096897525075427140244021\ 5741260617879826/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 - 1054513744624758630572923691158872683738360862709113357964575988927\ 6498763275305690118809995475100850360732372279892333208449769811498\ 62083964795982591/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^16 + 4532756443266609565200427386800259333008954505964465596073462159786\ 2522327830118416290613747969199495526650430397508270580831741677198\ 80073339410981922/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^15 + 2739102215376438873671589822318847257654502486028253062523611165436\ 2888032549416526453075418081842459147017985286804701680596581400918\ 4743990115425546/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^14 + 2336035242702616724729994114622677511297264605406996520494686716586\ 9037299740885767181717330691720316605193065511628521050022061132356\ 96411558828843268/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^13 + 7311453301861380607540507772863726111687838401120332583643925364105\ 8093708150360211459367977231834807892196499901277247304086229999588\ 0041119222248458/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 + 7084429323138361384731242918130814105931903582923221185858405292818\ 5561440521869071871461445190856301006978472374346893395035426323942\ 7842312667003854/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^11 - 1847529212403397986336078753134646386264614131709600221583213163751\ 0510109901777373792810407789471019085268481271043136959002436482719\ 825714039530272/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^10 + 1418166049549104466067405856101736688766139233490667492420969923823\ 4167282229650970026566509474893188023195434005492337916615765338220\ 78923692970517511/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^9 + 5060984447262913322262101644568427186008472710114423499214308342656\ 1280673152738976675210945709096022085316547979332774649462271769193\ 8794928157960357/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 + 4306593857712764075514629183874295296879250753923357662352222445205\ 8231719335222353963810676044512619237687661124020136991198357947491\ 5388697813780498/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^7 - 3121722124265058049081116414020963507805855509339435530972543596833\ 7114582196399518949979173630872610792748280457277353094364204355313\ 7070491266841992/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^6 + 2248980612858577541276749246898713110519815715523627802092206143344\ 3082899934592229129421029853209510818950789942450853248424534147605\ 2989215119647801/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^5 - 2275175573371157748654101008185515388436707963460247280370210996030\ 9657926948624671250139840451081129423161150246655824778939557271053\ 370957753259298/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^4 - 4515613543239316112893912882538506850661960294422606151609241079231\ 8966177285876618304042814370389950274072971004225882944883101013543\ 650291800166571/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^3 - 2682802826610431525857267075898970994204414504432053934828857386392\ 5512138009202229325617924140906161105024798042272170354082832103355\ 738709414141638/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^2 - 3867526183555435782038979264074741526656523835498729564372174725263\ 4578392052551530889687958772556772402334037090665541163102040312439\ 82667653708049/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2 - 7773313797356100287948214023015093616749132394108876425687942390690\ 0279343682083494408480877013059806232749311931654281682089985492110\ 201701679311/529321258702130882071708998149650089399305232567465625\ 0902737009885824696074715357051512695922113578006307738551251623223\ 1275706482176990075811817, c_0101_8 + 684931709891674516583363222101130920678361051936139036085660\ 9325440065997601566886492737270248277764298667346030805133472178182\ 7363367800452413007/26466062935106544103585449907482504469965261628\ 3732812545136850494291234803735767852575634796105678900315386927562\ 581161156378532410884950379059085*c_1001_2^29 - 1710526208328145185622359957664213893138228564365621382261817995388\ 5735044485507324248084173869271363329412112139129741545828710928494\ 7430471582742/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 - 1522632506922627870758185675706651970133128285065986645657764735969\ 7597549150441387906700482763300327581586473206105997876245671600173\ 4531788299876/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2^27 + 1814719351598424787983051920582116077461427099802401517204916861327\ 1309936485680231098431982074530844003426025780022250172499513617429\ 37211672541063/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 + 2826503961456073916201918949238995865152062781117696328664073618446\ 3824615138247299939875310293494013997022024862688661076122009448459\ 53980357247551/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^25 - 9393629157820386635124806480893400091976014367755047028979676767899\ 5537058671069465123756143251226140036885348183626030599859427288205\ 59344339781838/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^24 + 7914049860678165657336912409647032004407458266525173943741722732520\ 3464317947887235606345680402278816764706661351366663116253400724174\ 87072024663562/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^23 + 5143339040870663234282317477338507801411774977557069154298805962897\ 6322333575385204787066757248747156446974830365345374587378615676282\ 20398494264569/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^22 - 5739613834700705009530911048018594554290243677612316621399409224778\ 8490703940872375287850880964265044179395994834351360374847230404993\ 867098313743339/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^21 - 9887944295191840853389913995091814086092682642011184453180779600188\ 4226710220364294079400119295732178566892770733774634385208343743237\ 78111402639278/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^20 + 8303517875729226474409899691466008555775875264797319191218907425864\ 6609611541462470618811861787115862822655941832732744006624850620764\ 173443574498432/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^19 + 1425433760275925706454546673142997421267259201328063311490637108075\ 9708522720394206930625530217409463402049884615179059736679437462122\ 718481632972022/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^18 - 1041175074781368984514972648562019946061422731700434710757116688521\ 8325279098056365709552596973785188542145599216182871610529196839313\ 8023788557192617/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 - 2389430696136646840034222655695432017579586651788951571846756184987\ 1050787145697199976688704902788308753050496951283848639022937564607\ 3794980182857764/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^16 + 1849422546341216240452369305110002837886899568516638692214718079040\ 9429489883628229362583029557923696125839182298375043533115001441950\ 3480312738145020/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^15 + 4371789012668982279456393596787069800372966655291527858823812505064\ 7992322916121586582071290333502312545917709779274119612272269046318\ 5842058245901867/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^14 + 4987245019087105159815773849148722782751693211823810936536380199943\ 1452889337701709658434694964554954672141293516977905988286541857563\ 7497561997015654/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^13 + 2312580457868236298936069335249559474493984293593117154317797494320\ 7566253590530486042916408025782862659170170325773858525665601869269\ 6802712788047527/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 + 7487540551049016813001277112532034813942303602142380344911901142688\ 6865884879095557589604128628132712152888429496616122379516287105349\ 3016632156811343/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^11 + 1054685201347106545942295867632151055650023997956695203266673245621\ 4652050002463454641218067755011215490334071748510973268166892630029\ 3759211670977104/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 + 2712852000975661499758903466640850992819179877196793947820648740606\ 4651017379112755213629815908310248195238829635501550168748396860826\ 5577050947722616/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^9 + 1608614360615931696642807581289078155159568397687414197597756605828\ 5877183339904021462729017419654318218314750129434886466177657983620\ 8389556589559452/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 + 9256634605489552664054054838880043057143117222314295362489519844960\ 2407475328321033096272449220764424074731438073266264368578738468925\ 646444300636616/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^7 - 5215441768758148272019593269957357478857662161211119079629502938415\ 5635962983150425660251417930320184614290036368957496210616369493054\ 369121709599493/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^6 + 3521421960256354556812020600550728143800356112646645966584919991270\ 3212905356380409642123432985682385313412620764800181239092959007222\ 802544396821471/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^5 + 4947573447552873571863903394179967863730865346907447522407797676506\ 3971354170068575415256049189078871712363234195247355148885021355078\ 35718246965117/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^4 - 1283392772187539936079747485642717326368663416458096125356091539441\ 3278791668751881773903689086394119097732445163742630623230103019656\ 525462183703246/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^3 - 1185646893089187369344279793991682116645763239701850818587395825046\ 9617619820429712563805450052641687027394830508821760893598074224392\ 48438080652256/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^2 - 2710771929436890796402823768880551301382312897096765493323810451576\ 8493603125345968118615279841600328790421139395273890795217073130099\ 4270759718858/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2 - 3033542730307366456233060451949967033184982603781253955311441960811\ 1315203786172971447842387317687014198111770756637197387734080682877\ 0888029613634/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085, c_0110_6 + 369101884937573206343664035053419378529814253870314174768742\ 2531876850396979954502122264463471964378716499866640177033291134033\ 41916544026999507019/2646606293510654410358544990748250446996526162\ 8373281254513685049429123480373576785257563479610567890031538692756\ 2581161156378532410884950379059085*c_1001_2^29 - 1057415542896099484868811831554151803808956150260517836176244962415\ 5262551403499971526546021408768970179079135611040856468925561177529\ 47895843786668/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^28 - 3712611200916022555356994474837329794588519978659054048264094936759\ 3074357986337453933597636484548210574689954365266545347249995536442\ 41260977420993/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^27 + 1114181969428746686513720778587495554053007160872946874425842099272\ 4698391344298001476048505149213800339192292704494808333031270122015\ 472617056992882/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^26 + 1111678594585549736828333065991702086049020216006993684963177588259\ 1622897120111740799562933875843102405354038272662489126044041187468\ 096997523583339/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^25 - 5468959071421601745972038312214683647213712502682337426000561097131\ 5252375408851424293859215546808715567917635060383145055440053360130\ 105575601730652/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^24 + 6284995837831592511948973324474484997601455364666006442195112119345\ 7612711147685817968417080427820497998698836467354819723811409480256\ 864273492928877/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^23 + 2307565503014584721180648491794559720586751360148700495330751055558\ 4764699551003510368614393950671978232280795468357096173097990528995\ 353785967084274/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^22 - 3517620736750769679746016519467534551314606584449941714448250074675\ 3382724061082332403202357169612280421646633068110420675919307188618\ 3458694256812398/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^21 - 1364596576755516101522701935805195697937509603968540538040811973420\ 9292183846093820783039706650028797505126922871986083877236360141906\ 5515295227158302/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^20 + 4971009340350395350274349429688425378708871590775169765057939648236\ 4803911334763726178327147340481164577187026911487217188561243433645\ 3706682382293143/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^19 + 1989930694578283316192903959936538466371066990303770693394218673171\ 4377064735513415965460394185409714189481663182571930136647205629014\ 7514969298282998/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^18 - 1268321958931160434544167374932508757158954100023827313289801212461\ 2057085327787954181619134074806717876968002440296125612709842348480\ 4251861106338801/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^17 - 1051439881235222749649802505698063674704743665329402102288437519553\ 0736257042091090640053371495664400882054898391637013957001243222942\ 48689462274734687/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^16 + 5370111612074479628023241250576583275224311630975448819733526506800\ 6084680294175195772350487383742362752692224146988700600830303732749\ 00460306409150576/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^15 + 3758335153449562310505538231931564370744435631307128079703262419537\ 4065731177689831965243885870570531044529614531563141626833169258477\ 9126551116208827/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^14 + 2561654187512203423792637919385524051754908845656568753172437180265\ 3532014810543172381300341811554504557686974746524025491769069831400\ 18939223156951158/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^13 + 3373706717576182728973108577744060557312755294348546662502180219336\ 6414802080372658162488136139371816994681808892833138598564689401718\ 7166132282559856/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 + 3940065601039503422615377370659940185392046029975609730330832659829\ 9527820035288418722542327949570757888449093166086464739141218279573\ 35130432804593453/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^11 - 8532615182819367867135923283441093048925455215636277207229849981282\ 5757290151706000174897786773169068543767254833147401301371466651899\ 7983735811809862/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 + 1795513097870511128815834644274505511460329574043776319405867279382\ 5053545484751442820179106661789084558519822995553714522918935214931\ 18963649491149494/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^9 + 2254542349435037512827947620057480888538209171835449812503837980065\ 3283844981783636880796256752157476264809732971871931604886536436572\ 1973141785905393/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 + 8458437826420115924312559714312951298494969439491303099945079520230\ 7916329921076053046991477309937860944435322099190580813165339078940\ 681240086484251/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^7 - 4259317291728801340451922628686319107361328242250702497521411589355\ 6875744042530530125668375845655545567974119579005103543921629629935\ 6397271823728804/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^6 + 3475467082767216302217014726778171633951459426939721492059926336856\ 9634989768656117917748289307634703735710074872880416679691423051203\ 2899401051116344/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^5 - 9887410517917896107617406371382818243724643641898169663112916375183\ 8107491975542143338991944834590426189467771225415953826909196021104\ 247669118114147/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^4 - 3529885399703924501270868721767176191145999352105452751780867176030\ 4112779702110978252854491088780752081628178681847168432727038311837\ 505806102730544/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^3 - 1798642530808104914022119649669613498570600658437957588260936792039\ 5879906693788444273268286388198264835926422535762213017281199986178\ 850092707287319/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^2 - 2065167636077381779919623342946493770526292725432794085655963372096\ 2767920371658346394107205376685078419932946802666466738691943363885\ 84214255767507/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2 - 3701832608839721931229750236955288103556027708513861158862272894788\ 5519606960599000493060493827773602985937958795544227273370460351555\ 6931972467154/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085, c_1001_0 + 106206300825348938902010672108055850893595021150447276934037\ 3295614067500102000115581581574421958827070888086840866497511382586\ 37254983627685477822/2646606293510654410358544990748250446996526162\ 8373281254513685049429123480373576785257563479610567890031538692756\ 2581161156378532410884950379059085*c_1001_2^29 - 5271852436327141500296969237570647622337506796792637829033613601953\ 5639064867011056112749571823567938207503611500554311098610138658720\ 471045697374/529321258702130882071708998149650089399305232567465625\ 0902737009885824696074715357051512695922113578006307738551251623223\ 1275706482176990075811817*c_1001_2^28 - 1184668381274253373016136534522872265928204154430931180245446714463\ 1146690334862846827652858606108576233398399003794781727850602791644\ 08874061678761/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^27 + 5588893932388135009628931827635750571389995834279330267432505044434\ 8128301980217552408639449947714713235877978867418522237817823517825\ 7267721829787/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2^26 + 8863491527935546424482080421388343720651063156869657979976833928315\ 1702287787021262599403143486767968330905540578149900136497823117195\ 8714643320523/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2^25 - 2897627324934384549416339801781085860182260436152624543483155735608\ 9985932943747116156114719281495591429454013652626968481845741117655\ 35316140393093/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^24 + 1199326051322320503388540022228267248920200055383702670541041083518\ 1986984784851200821638682748863375146337288329013679081464653638056\ 770363604699233/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^23 + 8011374655610426200533801624682933818088101988211152692124025018831\ 6173150554268168634636340289661800928452726867799392776113040944808\ 07398041375779/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^22 - 8815138369947857090100028290761454888224885356302170086013598686876\ 8895299279811470824229274235807924481946496392084619058098249574025\ 308670920176934/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^21 - 7841166927570538807566339392597356828006631260457010496425798023971\ 0227819400473382561375337538249738087264585164006340908284289068688\ 566617744687049/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^20 + 2545775344351070656348341882961599596709850166154158853710954409833\ 9573722545533697472827250857329463038855567949577713970135583311667\ 603893254168084/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^19 + 1141690660731177036314276319385881453595871525585223884882234394785\ 2553136613765829339216032324668413933284530527198389266621549626095\ 4400847199399351/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^18 - 1600279349468562273020400550516427882232288010305167185578055511397\ 3832366076792208659201335195402729248593177436747231168444453313583\ 2919056094638029/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 - 3755501026783310629240950102382742810535228241504501838448090006102\ 8900056710325146597639786729059515456879959142627297588272972218231\ 0868041996943832/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^16 + 1428574989119155756230428913880841565719155486480668809592866030294\ 8834987323969070852999670391418849143253833819256381900520038363315\ 54803043743653637/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^15 + 7036802259122342604799353435683088124470354808270776537813469272897\ 0515991637671358709502617162188596696952045414123093997522178662288\ 8482447134054823/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^14 + 7855733612643319938140514868183444647241722914435379712734340917441\ 0991008748442476251143477079891318476932738421666522154302563777673\ 9897126721009999/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^13 + 3472175607943739233015430242206448383668610469833331646747278838319\ 3681771457804553027650073771684555185849878849711594056679658797460\ 4049441355710491/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 + 1176460793199915935797452893399119187083698264735598851030272768928\ 1296691327743136453250392974517125548493043866752909062289169288620\ 17561656016664812/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^11 + 1777208834382990800198097926140886557526483407396604866436464597819\ 7075827681104923857901840784177498038196714424547433981348936454746\ 6330256625298334/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 + 8534882982979310100325442232143143183386777106968941677104888036273\ 2801564131551951178462680954642604901176190028073378716394053299986\ 097940863901708/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^9 + 4833849872103336774151790807934340163154310941801607361458211187576\ 1104118738579854130962793132044347387019344267500620899571675542492\ 268167489720804/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^8 + 1576223975736256140045763631428307566174439179323144263681997635638\ 4391465539362137560160084307907033909124138987445545160240551644377\ 2408894019606042/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^7 - 8551373404179019424352435530375353253563277310135183028019630620355\ 8225707532475359769317046003954868441493356570251743147341617074842\ 520250603082639/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^6 + 1083820458688784573810930374543752663990292027781512999738460231501\ 4351449227352427086007153165558043975245846118953116940773816846509\ 069450904371019/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^5 + 1608779227713469737885166348293385689585329571668893703831441394103\ 7081572378145111328149984578765325832805231057779545366712420543861\ 27008139230978/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^4 - 3555012835031713736285606317074361580175127145715822347381595879521\ 2916965087790979579213646629720309120170739773911047179431699149607\ 71605652514494/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^3 - 1177129387940948128167369892745728602103426847054078108189837707628\ 5819982088553975957901526518231383324631494069196903804709668074313\ 324761442962448/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^2 - 1842171397649086719162602530748568422371337450138006679295353850574\ 1135245183198698361024527164683738412970153945663889039714786751425\ 72961058807289/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2 - 3955544300033249072419957959537086096010722651813291495499459198249\ 5774549344971989068710330349193188401273169964539458865955339739294\ 0132504831106/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085, c_1001_1 + 233971718404616011217061005088994716380107081813770952611867\ 6005160517309531921191564771553923210696042736579400902005213643591\ 09284159052086088049/2646606293510654410358544990748250446996526162\ 8373281254513685049429123480373576785257563479610567890031538692756\ 2581161156378532410884950379059085*c_1001_2^29 - 1098110653471757370510512927528524679555286966752062126867990559947\ 8166906980501118941922324491230171477799387735204382643951846147537\ 7079309841847/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2^28 - 2696723565639462150288376391546063946581481051648477703680185742737\ 1171493165161114288540336060264804304173991462159516911017297101358\ 98520780247417/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^27 + 1165190222003670119063491442352308342337608719573261447537273399305\ 7059742475766514333133157143968921049307563739144378786786639580608\ 21531613525836/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^26 + 2136644378457730543745126440212437196766716175728124627767355989716\ 2386506428259805995197077737831822412036975223408809472965093397984\ 30280770232605/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^25 - 6167158763191032542608949162347926081083233151463305005590558509489\ 2586647587403720647560622326966086547170040885927121181572862291554\ 85672989883949/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^24 + 2181788658656272766420014810542891776165287058481464130425561318468\ 2245264095544224289222158718295107558805335904048383603386319051329\ 084723276360216/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^23 + 1860172708773576470069881336416697597512415030906467007631244187829\ 7111047316501070105122111759388578121924757076254158420721774579478\ 542857511447919/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^22 - 1835163074656123508377644463345071690278121390473006606571208450688\ 2993765311242612808530220890589759430842633569371829115282933736383\ 2342163005796888/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^21 - 2017875921554245474647726617145485286799628835508821528580297248836\ 1144388400441792572002741153130691034735444020828693736038790521259\ 8559708192043043/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^20 + 5291784006755497091529611589090260509823659815858342104951471224081\ 5666463800755074085584062481341752445111667829982831609669117516979\ 599479861024476/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^19 + 2936295703668890701183552959629585512722501155123125343344896916824\ 8829743635745095364357436564279433053904236491382415712927384997772\ 8061164758052682/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^18 - 3289835454020879531024344468257444820864629915951224517207594170988\ 0072071572803002340534774736573089069572847052504273074332098465909\ 3123404022396058/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 - 8809433069515864899847692841413274740202773129420942961608787974861\ 1509333227934046242225097111262163806461184372815692965233193066161\ 6478464529922749/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^16 + 3048534811151332969648236051634869522474554633458069691063599559953\ 2388279138433956897785129458617371575876287737745072588145211908295\ 86400830206755999/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^15 + 2001310443590665035780951187045438331036343825775913117326097327745\ 5370474773533984355114201125157274162771437296094126519099484065852\ 25154922049545916/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^14 + 1822462287710245587876745722038827358906457958759461523249374621230\ 5013158495475021569593292291969465442330322224081406693695071715642\ 75386264114448138/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^13 + 9728887011461840330159569877956227399656407273843387360596973146043\ 5033223207669604336159036358895502394694410727545361793556217886261\ 9714338232396582/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 + 2629636182188328196598957152773642797901766675732980062939961456270\ 8106123594077110265714133461466781454240186580413791305892630656613\ 02885489437833784/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^11 + 7214815462016070575241217128743938921365638090918590778873775719187\ 6096012457480977450371349528351381556818367648791408561399952454092\ 2307314193316183/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 + 1794253310097911128756372705822592425031447685142304736347505086507\ 4985082371343526805590414718668372137217782108778878559521318374539\ 0026269366606526/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^9 + 1328557116984378799970515260261789557625664667989732614773938093887\ 0735782898379354908018962766793267789523810686936715489930840858299\ 0921191625290663/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^8 + 3767237160700927023612275708995470321857304245931523911351745328239\ 9685888427332390714428855790856527312241157417155489495383180056107\ 6768795361533239/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^7 - 1532378849196958933548040483793925760012297954429574824263483572124\ 6718266831825783756359650033260992138569888521766434492308120549790\ 2144525823718918/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^6 + 1622680006555809034218573327082984606397754115682630673351656356001\ 2999449358733776285653459767952117023179824402575104409358998387242\ 651961083019691/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^5 + 8416036981797180932477181187820179432567172798559904795943468680131\ 3096362374018564061855917715636783447964607568652572505406374204069\ 69846317259833/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^4 - 8779319235579966829495678926257187244752576342564837963244452142193\ 9714878332677230941418290405130557476610489711943009323865106911090\ 40480459363018/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^3 - 2926096360536571866026459202001231911766216104588845169542091146699\ 2200757237531029051136334239425311280050097225019764731781048546201\ 114939410336091/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^2 - 6601670637937917364169392636349550873674318399562201112559837907880\ 6555987996286221030842537629179795024940456150096749866842126591213\ 04568581372673/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2 - 3824327235840885669704849912336204916021241959145429847015065136358\ 0474132739056790080986059373195948804681068053303541258775826595598\ 3926621116562/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085, c_1001_10 - 99287883634732442680817082746270960897205152739176211082300\ 7353646248458450547121078540885046617784500347055665285130539357839\ 67528423520802667521/2646606293510654410358544990748250446996526162\ 8373281254513685049429123480373576785257563479610567890031538692756\ 2581161156378532410884950379059085*c_1001_2^29 + 2428711358365195699028176678200945596030144948417752909018403217037\ 1650940707300514862490855625527080616723290563266785003367459459852\ 8981527000591/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085*c_1001_2^28 + 2192435530126158979509176280087029084756596594928774958416647088564\ 1364013051734160687885183116738061132351861589228450226977832503361\ 3597374833961/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2^27 - 2513583618576770593265087337067047044014727156820210285673205383884\ 6956085912676500902492117599895831200688962965019282911972349224621\ 47427520370954/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^26 - 4037848072698472045187598548061563005350827457755431968143632834705\ 9951785188325119903244288955703356266537730002374068107829444073968\ 07228741074198/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^25 + 1276908551208957710585750829998933865152408832440574395895762642483\ 4882877628204742110161637221703610643183728285208022581064219860987\ 335306471998144/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^24 - 1129527331529357298632647462598043014004797779548823268088856253344\ 8862956211050479715663806619667544085419301882620530589775938385556\ 458018258129541/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^23 - 6956081062610692508553717031641368635438463951177552241070382750553\ 3318200196546120998365381682983861085522538662071721228393344913160\ 34880192885947/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^22 + 7743781603319506106663997464550795458261560171546333405230695572761\ 5772610770588933029127990015614461627648953615147735099048792795947\ 834310263877177/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^21 + 1401095174361467243426453806718311995513904079612252682609092902267\ 3132418024126202380488316881894112763360849695556632213961457441646\ 465767498357259/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^20 - 9646975918747331137011529142164112778153437234303470609521087168319\ 0313522071593383962299346720550971797097051248508662250846711742740\ 196082819207716/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^19 - 2095145732161232043233696827188587168525186807472745273126183341223\ 4731284086033690343395528905481258868161992232446494172100387577619\ 689914471450278/529321258702130882071708998149650089399305232567465\ 6250902737009885824696074715357051512695922113578006307738551251623\ 2231275706482176990075811817*c_1001_2^18 + 1168302417171258991597248099780410631485251584486188050224307528476\ 5259896038892936618727161451129419803594402876403094998818274111907\ 6668917101045201/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^17 + 3474705397565719514874825250432906266838546672022110850229357563049\ 4266282910095015592012699202747124910371768171833608422131940460762\ 7559340163434752/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^16 - 2571393913643303581990674807383649482096114218759572183651828530360\ 5911988041521117144006257554330187998357380410145246602793763317132\ 4861294744740610/52932125870213088207170899814965008939930523256746\ 5625090273700988582469607471535705151269592211357800630773855125162\ 32231275706482176990075811817*c_1001_2^15 - 6505690723990416172752545475617081450676475308984064775433610409649\ 5535009294348164232977631584225575961040223045107048870829191780629\ 5340497636206746/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^14 - 1057334562634290742061506530177600806094115885072638620006393826988\ 5416413054313105353662147461202090173590535972844900445498864736686\ 44259295480597747/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^13 - 3508339996965514939408956209797651866797922532939609003058088158317\ 9054079830885514311607041383656748896332160132575463293035703766896\ 7741058721414366/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^12 - 1229863469507739888787792312379469449462697764320517600511645039078\ 8708270952863693871728140340328045903852935971937058394313027426660\ 66339988960326364/2646606293510654410358544990748250446996526162837\ 3281254513685049429123480373576785257563479610567890031538692756258\ 1161156378532410884950379059085*c_1001_2^11 - 2128096342033030812570467691696267049920396213089488493943015264229\ 0255417418953733880859077883387739289974664707149381614910657434859\ 2900308666288417/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^10 - 6098993126791646970905485319111841477767370696588090073533881817887\ 3920870372981321557184239520352729335889004816303076727268538125283\ 3108986468697813/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^9 - 1782980406312718290763117842586684409600092833613871551046635369168\ 8998949000159589526900382067729251759154891318629909806729502197968\ 8268204673672416/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^8 - 2448395652294835518973374475788926595911328425493772633425417228708\ 8141919931332368389421961974270620324137595240472254847693919686761\ 2668541754515058/26466062935106544103585449907482504469965261628373\ 2812545136850494291234803735767852575634796105678900315386927562581\ 161156378532410884950379059085*c_1001_2^7 + 6518374066168918814126152017618191166337437265772838509799310626346\ 4655576824141017392440483119238750622812098020270356073924467311108\ 704768449142404/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^6 - 6361643370672542912918185311046187495279149109274596000806299630311\ 1403027658515287501590239883237909950513823107496635655053877526008\ 179959367373948/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^5 + 1492267621449637237488097908895531426770768703627783075961369999393\ 8262478495649140153125766863886028044732338524132870779088197968899\ 059736579990564/264660629351065441035854499074825044699652616283732\ 8125451368504942912348037357678525756347961056789003153869275625811\ 61156378532410884950379059085*c_1001_2^4 - 3516445851259596908293844930172478505620373764065294935162702251784\ 1808178810198892558361876171656423667694650026828963402616831413605\ 13486281526412/2646606293510654410358544990748250446996526162837328\ 1254513685049429123480373576785257563479610567890031538692756258116\ 1156378532410884950379059085*c_1001_2^3 + 3307413980651557261906543784494339290578484093871867422942506427100\ 7327074672630464135652197286019239693052006611102013954269258565052\ 93740286044803/5293212587021308820717089981496500893993052325674656\ 2509027370098858246960747153570515126959221135780063077385512516232\ 231275706482176990075811817*c_1001_2^2 + 9535699315179301716954811557699810303525074742901175574919807747124\ 7215476081400759392033799926075516634144546142331710065388726131724\ 0041611449915/52932125870213088207170899814965008939930523256746562\ 5090273700988582469607471535705151269592211357800630773855125162322\ 31275706482176990075811817*c_1001_2 + 7001706022275610249634057957015645545251203724220984298216071229065\ 6930635983298368917152361919653949040976191397318883349704218656233\ 4483945387167/26466062935106544103585449907482504469965261628373281\ 2545136850494291234803735767852575634796105678900315386927562581161\ 156378532410884950379059085, c_1001_2^30 - 1914/607*c_1001_2^29 - 5685/607*c_1001_2^28 + 20314/607*c_1001_2^27 + 13821/607*c_1001_2^26 - 97648/607*c_1001_2^25 + 126767/607*c_1001_2^24 + 171992/607*c_1001_2^23 - 646619/607*c_1001_2^22 - 83741/607*c_1001_2^21 + 959451/607*c_1001_2^20 + 124255/607*c_1001_2^19 - 1249168/607*c_1001_2^18 - 1475780/607*c_1001_2^17 + 9473132/607*c_1001_2^16 - 1692970/607*c_1001_2^15 + 2855096/607*c_1001_2^14 - 778417/607*c_1001_2^13 + 5809157/607*c_1001_2^12 - 3353598/607*c_1001_2^11 + 2515862/607*c_1001_2^10 - 309743/607*c_1001_2^9 + 236211/607*c_1001_2^8 - 968190/607*c_1001_2^7 + 696120/607*c_1001_2^6 - 234123/607*c_1001_2^5 - 81966/607*c_1001_2^4 + 2615/607*c_1001_2^3 + 16588/607*c_1001_2^2 + 3450/607*c_1001_2 + 361/607 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 177.060 Total time: 177.259 seconds, Total memory usage: 1334.59MB