C++ Library Extensions 2022.12.09
To help learn modern C++ programming
permu_combi_table.cxx
Go to the documentation of this file.
1#include<vector>
2
3namespace cpg::rational_number
4{
5 const std::vector<unsigned long long> factorial_table
6 {
7 /* 0! */ 1ull
8 /* 1! */ ,1ull
9 /* 2! */ ,2ull
10 /* 3! */ ,6ull
11 /* 4! */ ,24ull
12 /* 5! */ ,120ull
13 /* 6! */ ,720ull
14 /* 7! */ ,5040ull
15 /* 8! */ ,40320ull
16 /* 9! */ ,362880ull
17 /* 10! */ ,3628800ull
18 /* 11! */ ,39916800ull
19 /* 12! */ ,479001600ull
20 /* 13! */ ,6227020800ull
21 /* 14! */ ,87178291200ull
22 /* 15! */ ,1307674368000ull
23 /* 16! */ ,20922789888000ull
24 /* 17! */ ,355687428096000ull
25 /* 18! */ ,6402373705728000ull
26 /* 19! */ ,121645100408832000ull
27 /* 20! */ ,2432902008176640000ull
28 };
29 // end of factorial_table
30
31 const std::vector<std::vector<unsigned long long>> permutation_table
32 {
33 {
34 /* 0_P_0 */ 1ull
35 },
36 {
37 /* 1_P_0 */ 1ull
38 /* 1_P_1 */ , 1ull
39 },
40 {
41 /* 2_P_0 */ 1ull
42 /* 2_P_1 */ , 2ull
43 /* 2_P_2 */ , 2ull
44 },
45 {
46 /* 3_P_0 */ 1ull
47 /* 3_P_1 */ , 3ull
48 /* 3_P_2 */ , 6ull
49 /* 3_P_3 */ , 6ull
50 },
51 {
52 /* 4_P_0 */ 1ull
53 /* 4_P_1 */ , 4ull
54 /* 4_P_2 */ , 12ull
55 /* 4_P_3 */ , 24ull
56 /* 4_P_4 */ , 24ull
57 },
58 {
59 /* 5_P_0 */ 1ull
60 /* 5_P_1 */ , 5ull
61 /* 5_P_2 */ , 20ull
62 /* 5_P_3 */ , 60ull
63 /* 5_P_4 */ , 120ull
64 /* 5_P_5 */ , 120ull
65 },
66 {
67 /* 6_P_0 */ 1ull
68 /* 6_P_1 */ , 6ull
69 /* 6_P_2 */ , 30ull
70 /* 6_P_3 */ , 120ull
71 /* 6_P_4 */ , 360ull
72 /* 6_P_5 */ , 720ull
73 /* 6_P_6 */ , 720ull
74 },
75 {
76 /* 7_P_0 */ 1ull
77 /* 7_P_1 */ , 7ull
78 /* 7_P_2 */ , 42ull
79 /* 7_P_3 */ , 210ull
80 /* 7_P_4 */ , 840ull
81 /* 7_P_5 */ , 2520ull
82 /* 7_P_6 */ , 5040ull
83 /* 7_P_7 */ , 5040ull
84 },
85 {
86 /* 8_P_0 */ 1ull
87 /* 8_P_1 */ , 8ull
88 /* 8_P_2 */ , 56ull
89 /* 8_P_3 */ , 336ull
90 /* 8_P_4 */ , 1680ull
91 /* 8_P_5 */ , 6720ull
92 /* 8_P_6 */ , 20160ull
93 /* 8_P_7 */ , 40320ull
94 /* 8_P_8 */ , 40320ull
95 },
96 {
97 /* 9_P_0 */ 1ull
98 /* 9_P_1 */ , 9ull
99 /* 9_P_2 */ , 72ull
100 /* 9_P_3 */ , 504ull
101 /* 9_P_4 */ , 3024ull
102 /* 9_P_5 */ , 15120ull
103 /* 9_P_6 */ , 60480ull
104 /* 9_P_7 */ , 181440ull
105 /* 9_P_8 */ , 362880ull
106 /* 9_P_9 */ , 362880ull
107 },
108 {
109 /* 10_P_0 */ 1ull
110 /* 10_P_1 */ , 10ull
111 /* 10_P_2 */ , 90ull
112 /* 10_P_3 */ , 720ull
113 /* 10_P_4 */ , 5040ull
114 /* 10_P_5 */ , 30240ull
115 /* 10_P_6 */ , 151200ull
116 /* 10_P_7 */ , 604800ull
117 /* 10_P_8 */ , 1814400ull
118 /* 10_P_9 */ , 3628800ull
119 /* 10_P_10 */ , 3628800ull
120 },
121 {
122 /* 11_P_0 */ 1ull
123 /* 11_P_1 */ , 11ull
124 /* 11_P_2 */ , 110ull
125 /* 11_P_3 */ , 990ull
126 /* 11_P_4 */ , 7920ull
127 /* 11_P_5 */ , 55440ull
128 /* 11_P_6 */ , 332640ull
129 /* 11_P_7 */ , 1663200ull
130 /* 11_P_8 */ , 6652800ull
131 /* 11_P_9 */ , 19958400ull
132 /* 11_P_10 */ , 39916800ull
133 /* 11_P_11 */ , 39916800ull
134 },
135 {
136 /* 12_P_0 */ 1ull
137 /* 12_P_1 */ , 12ull
138 /* 12_P_2 */ , 132ull
139 /* 12_P_3 */ , 1320ull
140 /* 12_P_4 */ , 11880ull
141 /* 12_P_5 */ , 95040ull
142 /* 12_P_6 */ , 665280ull
143 /* 12_P_7 */ , 3991680ull
144 /* 12_P_8 */ , 19958400ull
145 /* 12_P_9 */ , 79833600ull
146 /* 12_P_10 */ , 239500800ull
147 /* 12_P_11 */ , 479001600ull
148 /* 12_P_12 */ , 479001600ull
149 },
150 {
151 /* 13_P_0 */ 1ull
152 /* 13_P_1 */ , 13ull
153 /* 13_P_2 */ , 156ull
154 /* 13_P_3 */ , 1716ull
155 /* 13_P_4 */ , 17160ull
156 /* 13_P_5 */ , 154440ull
157 /* 13_P_6 */ , 1235520ull
158 /* 13_P_7 */ , 8648640ull
159 /* 13_P_8 */ , 51891840ull
160 /* 13_P_9 */ , 259459200ull
161 /* 13_P_10 */ , 1037836800ull
162 /* 13_P_11 */ , 3113510400ull
163 /* 13_P_12 */ , 6227020800ull
164 /* 13_P_13 */ , 6227020800ull
165 },
166 {
167 /* 14_P_0 */ 1ull
168 /* 14_P_1 */ , 14ull
169 /* 14_P_2 */ , 182ull
170 /* 14_P_3 */ , 2184ull
171 /* 14_P_4 */ , 24024ull
172 /* 14_P_5 */ , 240240ull
173 /* 14_P_6 */ , 2162160ull
174 /* 14_P_7 */ , 17297280ull
175 /* 14_P_8 */ , 121080960ull
176 /* 14_P_9 */ , 726485760ull
177 /* 14_P_10 */ , 3632428800ull
178 /* 14_P_11 */ , 14529715200ull
179 /* 14_P_12 */ , 43589145600ull
180 /* 14_P_13 */ , 87178291200ull
181 /* 14_P_14 */ , 87178291200ull
182 },
183 {
184 /* 15_P_0 */ 1ull
185 /* 15_P_1 */ , 15ull
186 /* 15_P_2 */ , 210ull
187 /* 15_P_3 */ , 2730ull
188 /* 15_P_4 */ , 32760ull
189 /* 15_P_5 */ , 360360ull
190 /* 15_P_6 */ , 3603600ull
191 /* 15_P_7 */ , 32432400ull
192 /* 15_P_8 */ , 259459200ull
193 /* 15_P_9 */ , 1816214400ull
194 /* 15_P_10 */ , 10897286400ull
195 /* 15_P_11 */ , 54486432000ull
196 /* 15_P_12 */ , 217945728000ull
197 /* 15_P_13 */ , 653837184000ull
198 /* 15_P_14 */ , 1307674368000ull
199 /* 15_P_15 */ , 1307674368000ull
200 },
201 {
202 /* 16_P_0 */ 1ull
203 /* 16_P_1 */ , 16ull
204 /* 16_P_2 */ , 240ull
205 /* 16_P_3 */ , 3360ull
206 /* 16_P_4 */ , 43680ull
207 /* 16_P_5 */ , 524160ull
208 /* 16_P_6 */ , 5765760ull
209 /* 16_P_7 */ , 57657600ull
210 /* 16_P_8 */ , 518918400ull
211 /* 16_P_9 */ , 4151347200ull
212 /* 16_P_10 */ , 29059430400ull
213 /* 16_P_11 */ , 174356582400ull
214 /* 16_P_12 */ , 871782912000ull
215 /* 16_P_13 */ , 3487131648000ull
216 /* 16_P_14 */ , 10461394944000ull
217 /* 16_P_15 */ , 20922789888000ull
218 /* 16_P_16 */ , 20922789888000ull
219 },
220 {
221 /* 17_P_0 */ 1ull
222 /* 17_P_1 */ , 17ull
223 /* 17_P_2 */ , 272ull
224 /* 17_P_3 */ , 4080ull
225 /* 17_P_4 */ , 57120ull
226 /* 17_P_5 */ , 742560ull
227 /* 17_P_6 */ , 8910720ull
228 /* 17_P_7 */ , 98017920ull
229 /* 17_P_8 */ , 980179200ull
230 /* 17_P_9 */ , 8821612800ull
231 /* 17_P_10 */ , 70572902400ull
232 /* 17_P_11 */ , 494010316800ull
233 /* 17_P_12 */ , 2964061900800ull
234 /* 17_P_13 */ , 14820309504000ull
235 /* 17_P_14 */ , 59281238016000ull
236 /* 17_P_15 */ , 177843714048000ull
237 /* 17_P_16 */ , 355687428096000ull
238 /* 17_P_17 */ , 355687428096000ull
239 },
240 {
241 /* 18_P_0 */ 1ull
242 /* 18_P_1 */ , 18ull
243 /* 18_P_2 */ , 306ull
244 /* 18_P_3 */ , 4896ull
245 /* 18_P_4 */ , 73440ull
246 /* 18_P_5 */ , 1028160ull
247 /* 18_P_6 */ , 13366080ull
248 /* 18_P_7 */ , 160392960ull
249 /* 18_P_8 */ , 1764322560ull
250 /* 18_P_9 */ , 17643225600ull
251 /* 18_P_10 */ , 158789030400ull
252 /* 18_P_11 */ , 1270312243200ull
253 /* 18_P_12 */ , 8892185702400ull
254 /* 18_P_13 */ , 53353114214400ull
255 /* 18_P_14 */ , 266765571072000ull
256 /* 18_P_15 */ , 1067062284288000ull
257 /* 18_P_16 */ , 3201186852864000ull
258 /* 18_P_17 */ , 6402373705728000ull
259 /* 18_P_18 */ , 6402373705728000ull
260 },
261 {
262 /* 19_P_0 */ 1ull
263 /* 19_P_1 */ , 19ull
264 /* 19_P_2 */ , 342ull
265 /* 19_P_3 */ , 5814ull
266 /* 19_P_4 */ , 93024ull
267 /* 19_P_5 */ , 1395360ull
268 /* 19_P_6 */ , 19535040ull
269 /* 19_P_7 */ , 253955520ull
270 /* 19_P_8 */ , 3047466240ull
271 /* 19_P_9 */ , 33522128640ull
272 /* 19_P_10 */ , 335221286400ull
273 /* 19_P_11 */ , 3016991577600ull
274 /* 19_P_12 */ , 24135932620800ull
275 /* 19_P_13 */ , 168951528345600ull
276 /* 19_P_14 */ , 1013709170073600ull
277 /* 19_P_15 */ , 5068545850368000ull
278 /* 19_P_16 */ , 20274183401472000ull
279 /* 19_P_17 */ , 60822550204416000ull
280 /* 19_P_18 */ , 121645100408832000ull
281 /* 19_P_19 */ , 121645100408832000ull
282 },
283 {
284 /* 20_P_0 */ 1ull
285 /* 20_P_1 */ , 20ull
286 /* 20_P_2 */ , 380ull
287 /* 20_P_3 */ , 6840ull
288 /* 20_P_4 */ , 116280ull
289 /* 20_P_5 */ , 1860480ull
290 /* 20_P_6 */ , 27907200ull
291 /* 20_P_7 */ , 390700800ull
292 /* 20_P_8 */ , 5079110400ull
293 /* 20_P_9 */ , 60949324800ull
294 /* 20_P_10 */ , 670442572800ull
295 /* 20_P_11 */ , 6704425728000ull
296 /* 20_P_12 */ , 60339831552000ull
297 /* 20_P_13 */ , 482718652416000ull
298 /* 20_P_14 */ , 3379030566912000ull
299 /* 20_P_15 */ , 20274183401472000ull
300 /* 20_P_16 */ , 101370917007360000ull
301 /* 20_P_17 */ , 405483668029440000ull
302 /* 20_P_18 */ , 1216451004088320000ull
303 /* 20_P_19 */ , 2432902008176640000ull
304 /* 20_P_20 */ , 2432902008176640000ull
305 },
306 {
307 /* 21_P_0 */ 1ull
308 /* 21_P_1 */ , 21ull
309 /* 21_P_2 */ , 420ull
310 /* 21_P_3 */ , 7980ull
311 /* 21_P_4 */ , 143640ull
312 /* 21_P_5 */ , 2441880ull
313 /* 21_P_6 */ , 39070080ull
314 /* 21_P_7 */ , 586051200ull
315 /* 21_P_8 */ , 8204716800ull
316 /* 21_P_9 */ , 106661318400ull
317 /* 21_P_10 */ , 1279935820800ull
318 /* 21_P_11 */ , 14079294028800ull
319 /* 21_P_12 */ , 140792940288000ull
320 /* 21_P_13 */ , 1267136462592000ull
321 /* 21_P_14 */ , 10137091700736000ull
322 /* 21_P_15 */ , 70959641905152000ull
323 /* 21_P_16 */ , 425757851430912000ull
324 /* 21_P_17 */ , 2128789257154560000ull
325 /* 21_P_18 */ , 8515157028618240000ull
326 },
327 {
328 /* 22_P_0 */ 1ull
329 /* 22_P_1 */ , 22ull
330 /* 22_P_2 */ , 462ull
331 /* 22_P_3 */ , 9240ull
332 /* 22_P_4 */ , 175560ull
333 /* 22_P_5 */ , 3160080ull
334 /* 22_P_6 */ , 53721360ull
335 /* 22_P_7 */ , 859541760ull
336 /* 22_P_8 */ , 12893126400ull
337 /* 22_P_9 */ , 180503769600ull
338 /* 22_P_10 */ , 2346549004800ull
339 /* 22_P_11 */ , 28158588057600ull
340 /* 22_P_12 */ , 309744468633600ull
341 /* 22_P_13 */ , 3097444686336000ull
342 /* 22_P_14 */ , 27877002177024000ull
343 /* 22_P_15 */ , 223016017416192000ull
344 /* 22_P_16 */ , 1561112121913344000ull
345 /* 22_P_17 */ , 9366672731480064000ull
346 },
347 {
348 /* 23_P_0 */ 1ull
349 /* 23_P_1 */ , 23ull
350 /* 23_P_2 */ , 506ull
351 /* 23_P_3 */ , 10626ull
352 /* 23_P_4 */ , 212520ull
353 /* 23_P_5 */ , 4037880ull
354 /* 23_P_6 */ , 72681840ull
355 /* 23_P_7 */ , 1235591280ull
356 /* 23_P_8 */ , 19769460480ull
357 /* 23_P_9 */ , 296541907200ull
358 /* 23_P_10 */ , 4151586700800ull
359 /* 23_P_11 */ , 53970627110400ull
360 /* 23_P_12 */ , 647647525324800ull
361 /* 23_P_13 */ , 7124122778572800ull
362 /* 23_P_14 */ , 71241227785728000ull
363 /* 23_P_15 */ , 641171050071552000ull
364 /* 23_P_16 */ , 5129368400572416000ull
365 },
366 {
367 /* 24_P_0 */ 1ull
368 /* 24_P_1 */ , 24ull
369 /* 24_P_2 */ , 552ull
370 /* 24_P_3 */ , 12144ull
371 /* 24_P_4 */ , 255024ull
372 /* 24_P_5 */ , 5100480ull
373 /* 24_P_6 */ , 96909120ull
374 /* 24_P_7 */ , 1744364160ull
375 /* 24_P_8 */ , 29654190720ull
376 /* 24_P_9 */ , 474467051520ull
377 /* 24_P_10 */ , 7117005772800ull
378 /* 24_P_11 */ , 99638080819200ull
379 /* 24_P_12 */ , 1295295050649600ull
380 /* 24_P_13 */ , 15543540607795200ull
381 /* 24_P_14 */ , 170978946685747200ull
382 /* 24_P_15 */ , 1709789466857472000ull
383 /* 24_P_16 */ , 15388105201717248000ull
384 },
385 {
386 /* 25_P_0 */ 1ull
387 /* 25_P_1 */ , 25ull
388 /* 25_P_2 */ , 600ull
389 /* 25_P_3 */ , 13800ull
390 /* 25_P_4 */ , 303600ull
391 /* 25_P_5 */ , 6375600ull
392 /* 25_P_6 */ , 127512000ull
393 /* 25_P_7 */ , 2422728000ull
394 /* 25_P_8 */ , 43609104000ull
395 /* 25_P_9 */ , 741354768000ull
396 /* 25_P_10 */ , 11861676288000ull
397 /* 25_P_11 */ , 177925144320000ull
398 /* 25_P_12 */ , 2490952020480000ull
399 /* 25_P_13 */ , 32382376266240000ull
400 /* 25_P_14 */ , 388588515194880000ull
401 /* 25_P_15 */ , 4274473667143680000ull
402 },
403 {
404 /* 26_P_0 */ 1ull
405 /* 26_P_1 */ , 26ull
406 /* 26_P_2 */ , 650ull
407 /* 26_P_3 */ , 15600ull
408 /* 26_P_4 */ , 358800ull
409 /* 26_P_5 */ , 7893600ull
410 /* 26_P_6 */ , 165765600ull
411 /* 26_P_7 */ , 3315312000ull
412 /* 26_P_8 */ , 62990928000ull
413 /* 26_P_9 */ , 1133836704000ull
414 /* 26_P_10 */ , 19275223968000ull
415 /* 26_P_11 */ , 308403583488000ull
416 /* 26_P_12 */ , 4626053752320000ull
417 /* 26_P_13 */ , 64764752532480000ull
418 /* 26_P_14 */ , 841941782922240000ull
419 /* 26_P_15 */ , 10103301395066880000ull
420 },
421 {
422 /* 27_P_0 */ 1ull
423 /* 27_P_1 */ , 27ull
424 /* 27_P_2 */ , 702ull
425 /* 27_P_3 */ , 17550ull
426 /* 27_P_4 */ , 421200ull
427 /* 27_P_5 */ , 9687600ull
428 /* 27_P_6 */ , 213127200ull
429 /* 27_P_7 */ , 4475671200ull
430 /* 27_P_8 */ , 89513424000ull
431 /* 27_P_9 */ , 1700755056000ull
432 /* 27_P_10 */ , 30613591008000ull
433 /* 27_P_11 */ , 520431047136000ull
434 /* 27_P_12 */ , 8326896754176000ull
435 /* 27_P_13 */ , 124903451312640000ull
436 /* 27_P_14 */ , 1748648318376960000ull
437 },
438 {
439 /* 28_P_0 */ 1ull
440 /* 28_P_1 */ , 28ull
441 /* 28_P_2 */ , 756ull
442 /* 28_P_3 */ , 19656ull
443 /* 28_P_4 */ , 491400ull
444 /* 28_P_5 */ , 11793600ull
445 /* 28_P_6 */ , 271252800ull
446 /* 28_P_7 */ , 5967561600ull
447 /* 28_P_8 */ , 125318793600ull
448 /* 28_P_9 */ , 2506375872000ull
449 /* 28_P_10 */ , 47621141568000ull
450 /* 28_P_11 */ , 857180548224000ull
451 /* 28_P_12 */ , 14572069319808000ull
452 /* 28_P_13 */ , 233153109116928000ull
453 /* 28_P_14 */ , 3497296636753920000ull
454 },
455 {
456 /* 29_P_0 */ 1ull
457 /* 29_P_1 */ , 29ull
458 /* 29_P_2 */ , 812ull
459 /* 29_P_3 */ , 21924ull
460 /* 29_P_4 */ , 570024ull
461 /* 29_P_5 */ , 14250600ull
462 /* 29_P_6 */ , 342014400ull
463 /* 29_P_7 */ , 7866331200ull
464 /* 29_P_8 */ , 173059286400ull
465 /* 29_P_9 */ , 3634245014400ull
466 /* 29_P_10 */ , 72684900288000ull
467 /* 29_P_11 */ , 1381013105472000ull
468 /* 29_P_12 */ , 24858235898496000ull
469 /* 29_P_13 */ , 422590010274432000ull
470 /* 29_P_14 */ , 6761440164390912000ull
471 },
472 {
473 /* 30_P_0 */ 1ull
474 /* 30_P_1 */ , 30ull
475 /* 30_P_2 */ , 870ull
476 /* 30_P_3 */ , 24360ull
477 /* 30_P_4 */ , 657720ull
478 /* 30_P_5 */ , 17100720ull
479 /* 30_P_6 */ , 427518000ull
480 /* 30_P_7 */ , 10260432000ull
481 /* 30_P_8 */ , 235989936000ull
482 /* 30_P_9 */ , 5191778592000ull
483 /* 30_P_10 */ , 109027350432000ull
484 /* 30_P_11 */ , 2180547008640000ull
485 /* 30_P_12 */ , 41430393164160000ull
486 /* 30_P_13 */ , 745747076954880000ull
487 /* 30_P_14 */ , 12677700308232960000ull
488 },
489 {
490 /* 31_P_0 */ 1ull
491 /* 31_P_1 */ , 31ull
492 /* 31_P_2 */ , 930ull
493 /* 31_P_3 */ , 26970ull
494 /* 31_P_4 */ , 755160ull
495 /* 31_P_5 */ , 20389320ull
496 /* 31_P_6 */ , 530122320ull
497 /* 31_P_7 */ , 13253058000ull
498 /* 31_P_8 */ , 318073392000ull
499 /* 31_P_9 */ , 7315688016000ull
500 /* 31_P_10 */ , 160945136352000ull
501 /* 31_P_11 */ , 3379847863392000ull
502 /* 31_P_12 */ , 67596957267840000ull
503 /* 31_P_13 */ , 1284342188088960000ull
504 },
505 {
506 /* 32_P_0 */ 1ull
507 /* 32_P_1 */ , 32ull
508 /* 32_P_2 */ , 992ull
509 /* 32_P_3 */ , 29760ull
510 /* 32_P_4 */ , 863040ull
511 /* 32_P_5 */ , 24165120ull
512 /* 32_P_6 */ , 652458240ull
513 /* 32_P_7 */ , 16963914240ull
514 /* 32_P_8 */ , 424097856000ull
515 /* 32_P_9 */ , 10178348544000ull
516 /* 32_P_10 */ , 234102016512000ull
517 /* 32_P_11 */ , 5150244363264000ull
518 /* 32_P_12 */ , 108155131628544000ull
519 /* 32_P_13 */ , 2163102632570880000ull
520 },
521 {
522 /* 33_P_0 */ 1ull
523 /* 33_P_1 */ , 33ull
524 /* 33_P_2 */ , 1056ull
525 /* 33_P_3 */ , 32736ull
526 /* 33_P_4 */ , 982080ull
527 /* 33_P_5 */ , 28480320ull
528 /* 33_P_6 */ , 797448960ull
529 /* 33_P_7 */ , 21531121920ull
530 /* 33_P_8 */ , 559809169920ull
531 /* 33_P_9 */ , 13995229248000ull
532 /* 33_P_10 */ , 335885501952000ull
533 /* 33_P_11 */ , 7725366544896000ull
534 /* 33_P_12 */ , 169958063987712000ull
535 /* 33_P_13 */ , 3569119343741952000ull
536 },
537 {
538 /* 34_P_0 */ 1ull
539 /* 34_P_1 */ , 34ull
540 /* 34_P_2 */ , 1122ull
541 /* 34_P_3 */ , 35904ull
542 /* 34_P_4 */ , 1113024ull
543 /* 34_P_5 */ , 33390720ull
544 /* 34_P_6 */ , 968330880ull
545 /* 34_P_7 */ , 27113264640ull
546 /* 34_P_8 */ , 732058145280ull
547 /* 34_P_9 */ , 19033511777280ull
548 /* 34_P_10 */ , 475837794432000ull
549 /* 34_P_11 */ , 11420107066368000ull
550 /* 34_P_12 */ , 262662462526464000ull
551 /* 34_P_13 */ , 5778574175582208000ull
552 },
553 {
554 /* 35_P_0 */ 1ull
555 /* 35_P_1 */ , 35ull
556 /* 35_P_2 */ , 1190ull
557 /* 35_P_3 */ , 39270ull
558 /* 35_P_4 */ , 1256640ull
559 /* 35_P_5 */ , 38955840ull
560 /* 35_P_6 */ , 1168675200ull
561 /* 35_P_7 */ , 33891580800ull
562 /* 35_P_8 */ , 948964262400ull
563 /* 35_P_9 */ , 25622035084800ull
564 /* 35_P_10 */ , 666172912204800ull
565 /* 35_P_11 */ , 16654322805120000ull
566 /* 35_P_12 */ , 399703747322880000ull
567 /* 35_P_13 */ , 9193186188426240000ull
568 },
569 {
570 /* 36_P_0 */ 1ull
571 /* 36_P_1 */ , 36ull
572 /* 36_P_2 */ , 1260ull
573 /* 36_P_3 */ , 42840ull
574 /* 36_P_4 */ , 1413720ull
575 /* 36_P_5 */ , 45239040ull
576 /* 36_P_6 */ , 1402410240ull
577 /* 36_P_7 */ , 42072307200ull
578 /* 36_P_8 */ , 1220096908800ull
579 /* 36_P_9 */ , 34162713446400ull
580 /* 36_P_10 */ , 922393263052800ull
581 /* 36_P_11 */ , 23982224839372800ull
582 /* 36_P_12 */ , 599555620984320000ull
583 /* 36_P_13 */ , 14389334903623680000ull
584 },
585 {
586 /* 37_P_0 */ 1ull
587 /* 37_P_1 */ , 37ull
588 /* 37_P_2 */ , 1332ull
589 /* 37_P_3 */ , 46620ull
590 /* 37_P_4 */ , 1585080ull
591 /* 37_P_5 */ , 52307640ull
592 /* 37_P_6 */ , 1673844480ull
593 /* 37_P_7 */ , 51889178880ull
594 /* 37_P_8 */ , 1556675366400ull
595 /* 37_P_9 */ , 45143585625600ull
596 /* 37_P_10 */ , 1264020397516800ull
597 /* 37_P_11 */ , 34128550732953600ull
598 /* 37_P_12 */ , 887342319056793600ull
599 },
600 {
601 /* 38_P_0 */ 1ull
602 /* 38_P_1 */ , 38ull
603 /* 38_P_2 */ , 1406ull
604 /* 38_P_3 */ , 50616ull
605 /* 38_P_4 */ , 1771560ull
606 /* 38_P_5 */ , 60233040ull
607 /* 38_P_6 */ , 1987690320ull
608 /* 38_P_7 */ , 63606090240ull
609 /* 38_P_8 */ , 1971788797440ull
610 /* 38_P_9 */ , 59153663923200ull
611 /* 38_P_10 */ , 1715456253772800ull
612 /* 38_P_11 */ , 48032775105638400ull
613 /* 38_P_12 */ , 1296884927852236800ull
614 },
615 {
616 /* 39_P_0 */ 1ull
617 /* 39_P_1 */ , 39ull
618 /* 39_P_2 */ , 1482ull
619 /* 39_P_3 */ , 54834ull
620 /* 39_P_4 */ , 1974024ull
621 /* 39_P_5 */ , 69090840ull
622 /* 39_P_6 */ , 2349088560ull
623 /* 39_P_7 */ , 77519922480ull
624 /* 39_P_8 */ , 2480637519360ull
625 /* 39_P_9 */ , 76899763100160ull
626 /* 39_P_10 */ , 2306992893004800ull
627 /* 39_P_11 */ , 66902793897139200ull
628 /* 39_P_12 */ , 1873278229119897600ull
629 },
630 {
631 /* 40_P_0 */ 1ull
632 /* 40_P_1 */ , 40ull
633 /* 40_P_2 */ , 1560ull
634 /* 40_P_3 */ , 59280ull
635 /* 40_P_4 */ , 2193360ull
636 /* 40_P_5 */ , 78960960ull
637 /* 40_P_6 */ , 2763633600ull
638 /* 40_P_7 */ , 93963542400ull
639 /* 40_P_8 */ , 3100796899200ull
640 /* 40_P_9 */ , 99225500774400ull
641 /* 40_P_10 */ , 3075990524006400ull
642 /* 40_P_11 */ , 92279715720192000ull
643 /* 40_P_12 */ , 2676111755885568000ull
644 },
645 {
646 /* 41_P_0 */ 1ull
647 /* 41_P_1 */ , 41ull
648 /* 41_P_2 */ , 1640ull
649 /* 41_P_3 */ , 63960ull
650 /* 41_P_4 */ , 2430480ull
651 /* 41_P_5 */ , 89927760ull
652 /* 41_P_6 */ , 3237399360ull
653 /* 41_P_7 */ , 113308977600ull
654 /* 41_P_8 */ , 3852505238400ull
655 /* 41_P_9 */ , 127132672867200ull
656 /* 41_P_10 */ , 4068245531750400ull
657 /* 41_P_11 */ , 126115611484262400ull
658 /* 41_P_12 */ , 3783468344527872000ull
659 },
660 {
661 /* 42_P_0 */ 1ull
662 /* 42_P_1 */ , 42ull
663 /* 42_P_2 */ , 1722ull
664 /* 42_P_3 */ , 68880ull
665 /* 42_P_4 */ , 2686320ull
666 /* 42_P_5 */ , 102080160ull
667 /* 42_P_6 */ , 3776965920ull
668 /* 42_P_7 */ , 135970773120ull
669 /* 42_P_8 */ , 4758977059200ull
670 /* 42_P_9 */ , 161805220012800ull
671 /* 42_P_10 */ , 5339572260422400ull
672 /* 42_P_11 */ , 170866312333516800ull
673 /* 42_P_12 */ , 5296855682339020800ull
674 },
675 {
676 /* 43_P_0 */ 1ull
677 /* 43_P_1 */ , 43ull
678 /* 43_P_2 */ , 1806ull
679 /* 43_P_3 */ , 74046ull
680 /* 43_P_4 */ , 2961840ull
681 /* 43_P_5 */ , 115511760ull
682 /* 43_P_6 */ , 4389446880ull
683 /* 43_P_7 */ , 162409534560ull
684 /* 43_P_8 */ , 5846743244160ull
685 /* 43_P_9 */ , 204636013545600ull
686 /* 43_P_10 */ , 6957624460550400ull
687 /* 43_P_11 */ , 229601607198163200ull
688 /* 43_P_12 */ , 7347251430341222400ull
689 },
690 {
691 /* 44_P_0 */ 1ull
692 /* 44_P_1 */ , 44ull
693 /* 44_P_2 */ , 1892ull
694 /* 44_P_3 */ , 79464ull
695 /* 44_P_4 */ , 3258024ull
696 /* 44_P_5 */ , 130320960ull
697 /* 44_P_6 */ , 5082517440ull
698 /* 44_P_7 */ , 193135662720ull
699 /* 44_P_8 */ , 7146019520640ull
700 /* 44_P_9 */ , 257256702743040ull
701 /* 44_P_10 */ , 9003984596006400ull
702 /* 44_P_11 */ , 306135476264217600ull
703 /* 44_P_12 */ , 10102470716719180800ull
704 },
705 {
706 /* 45_P_0 */ 1ull
707 /* 45_P_1 */ , 45ull
708 /* 45_P_2 */ , 1980ull
709 /* 45_P_3 */ , 85140ull
710 /* 45_P_4 */ , 3575880ull
711 /* 45_P_5 */ , 146611080ull
712 /* 45_P_6 */ , 5864443200ull
713 /* 45_P_7 */ , 228713284800ull
714 /* 45_P_8 */ , 8691104822400ull
715 /* 45_P_9 */ , 321570878428800ull
716 /* 45_P_10 */ , 11576551623436800ull
717 /* 45_P_11 */ , 405179306820288000ull
718 /* 45_P_12 */ , 13776096431889792000ull
719 },
720 {
721 /* 46_P_0 */ 1ull
722 /* 46_P_1 */ , 46ull
723 /* 46_P_2 */ , 2070ull
724 /* 46_P_3 */ , 91080ull
725 /* 46_P_4 */ , 3916440ull
726 /* 46_P_5 */ , 164490480ull
727 /* 46_P_6 */ , 6744109680ull
728 /* 46_P_7 */ , 269764387200ull
729 /* 46_P_8 */ , 10520811100800ull
730 /* 46_P_9 */ , 399790821830400ull
731 /* 46_P_10 */ , 14792260407724800ull
732 /* 46_P_11 */ , 532521374678092800ull
733 },
734 {
735 /* 47_P_0 */ 1ull
736 /* 47_P_1 */ , 47ull
737 /* 47_P_2 */ , 2162ull
738 /* 47_P_3 */ , 97290ull
739 /* 47_P_4 */ , 4280760ull
740 /* 47_P_5 */ , 184072680ull
741 /* 47_P_6 */ , 7731052560ull
742 /* 47_P_7 */ , 316973154960ull
743 /* 47_P_8 */ , 12678926198400ull
744 /* 47_P_9 */ , 494478121737600ull
745 /* 47_P_10 */ , 18790168626028800ull
746 /* 47_P_11 */ , 695236239163065600ull
747 },
748 {
749 /* 48_P_0 */ 1ull
750 /* 48_P_1 */ , 48ull
751 /* 48_P_2 */ , 2256ull
752 /* 48_P_3 */ , 103776ull
753 /* 48_P_4 */ , 4669920ull
754 /* 48_P_5 */ , 205476480ull
755 /* 48_P_6 */ , 8835488640ull
756 /* 48_P_7 */ , 371090522880ull
757 /* 48_P_8 */ , 15214711438080ull
758 /* 48_P_9 */ , 608588457523200ull
759 /* 48_P_10 */ , 23734949843404800ull
760 /* 48_P_11 */ , 901928094049382400ull
761 },
762 {
763 /* 49_P_0 */ 1ull
764 /* 49_P_1 */ , 49ull
765 /* 49_P_2 */ , 2352ull
766 /* 49_P_3 */ , 110544ull
767 /* 49_P_4 */ , 5085024ull
768 /* 49_P_5 */ , 228826080ull
769 /* 49_P_6 */ , 10068347520ull
770 /* 49_P_7 */ , 432938943360ull
771 /* 49_P_8 */ , 18183435621120ull
772 /* 49_P_9 */ , 745520860465920ull
773 /* 49_P_10 */ , 29820834418636800ull
774 /* 49_P_11 */ , 1163012542326835200ull
775 },
776 {
777 /* 50_P_0 */ 1ull
778 /* 50_P_1 */ , 50ull
779 /* 50_P_2 */ , 2450ull
780 /* 50_P_3 */ , 117600ull
781 /* 50_P_4 */ , 5527200ull
782 /* 50_P_5 */ , 254251200ull
783 /* 50_P_6 */ , 11441304000ull
784 /* 50_P_7 */ , 503417376000ull
785 /* 50_P_8 */ , 21646947168000ull
786 /* 50_P_9 */ , 909171781056000ull
787 /* 50_P_10 */ , 37276043023296000ull
788 /* 50_P_11 */ , 1491041720931840000ull
789 }
790 };
791 // end of permutation_table
792
793 const std::vector<std::vector<unsigned long long>> combination_table
794 {
795 {
796 /* 0_C_0 */ 1ull
797 },
798 {
799 /* 1_C_0 */ 1ull
800 },
801 {
802 /* 2_C_0 */ 1ull
803 /* 2_C_1 */ , 2ull
804 },
805 {
806 /* 3_C_0 */ 1ull
807 /* 3_C_1 */ , 3ull
808 },
809 {
810 /* 4_C_0 */ 1ull
811 /* 4_C_1 */ , 4ull
812 /* 4_C_2 */ , 6ull
813 },
814 {
815 /* 5_C_0 */ 1ull
816 /* 5_C_1 */ , 5ull
817 /* 5_C_2 */ , 10ull
818 },
819 {
820 /* 6_C_0 */ 1ull
821 /* 6_C_1 */ , 6ull
822 /* 6_C_2 */ , 15ull
823 /* 6_C_3 */ , 20ull
824 },
825 {
826 /* 7_C_0 */ 1ull
827 /* 7_C_1 */ , 7ull
828 /* 7_C_2 */ , 21ull
829 /* 7_C_3 */ , 35ull
830 },
831 {
832 /* 8_C_0 */ 1ull
833 /* 8_C_1 */ , 8ull
834 /* 8_C_2 */ , 28ull
835 /* 8_C_3 */ , 56ull
836 /* 8_C_4 */ , 70ull
837 },
838 {
839 /* 9_C_0 */ 1ull
840 /* 9_C_1 */ , 9ull
841 /* 9_C_2 */ , 36ull
842 /* 9_C_3 */ , 84ull
843 /* 9_C_4 */ , 126ull
844 },
845 {
846 /* 10_C_0 */ 1ull
847 /* 10_C_1 */ , 10ull
848 /* 10_C_2 */ , 45ull
849 /* 10_C_3 */ , 120ull
850 /* 10_C_4 */ , 210ull
851 /* 10_C_5 */ , 252ull
852 },
853 {
854 /* 11_C_0 */ 1ull
855 /* 11_C_1 */ , 11ull
856 /* 11_C_2 */ , 55ull
857 /* 11_C_3 */ , 165ull
858 /* 11_C_4 */ , 330ull
859 /* 11_C_5 */ , 462ull
860 },
861 {
862 /* 12_C_0 */ 1ull
863 /* 12_C_1 */ , 12ull
864 /* 12_C_2 */ , 66ull
865 /* 12_C_3 */ , 220ull
866 /* 12_C_4 */ , 495ull
867 /* 12_C_5 */ , 792ull
868 /* 12_C_6 */ , 924ull
869 },
870 {
871 /* 13_C_0 */ 1ull
872 /* 13_C_1 */ , 13ull
873 /* 13_C_2 */ , 78ull
874 /* 13_C_3 */ , 286ull
875 /* 13_C_4 */ , 715ull
876 /* 13_C_5 */ , 1287ull
877 /* 13_C_6 */ , 1716ull
878 },
879 {
880 /* 14_C_0 */ 1ull
881 /* 14_C_1 */ , 14ull
882 /* 14_C_2 */ , 91ull
883 /* 14_C_3 */ , 364ull
884 /* 14_C_4 */ , 1001ull
885 /* 14_C_5 */ , 2002ull
886 /* 14_C_6 */ , 3003ull
887 /* 14_C_7 */ , 3432ull
888 },
889 {
890 /* 15_C_0 */ 1ull
891 /* 15_C_1 */ , 15ull
892 /* 15_C_2 */ , 105ull
893 /* 15_C_3 */ , 455ull
894 /* 15_C_4 */ , 1365ull
895 /* 15_C_5 */ , 3003ull
896 /* 15_C_6 */ , 5005ull
897 /* 15_C_7 */ , 6435ull
898 },
899 {
900 /* 16_C_0 */ 1ull
901 /* 16_C_1 */ , 16ull
902 /* 16_C_2 */ , 120ull
903 /* 16_C_3 */ , 560ull
904 /* 16_C_4 */ , 1820ull
905 /* 16_C_5 */ , 4368ull
906 /* 16_C_6 */ , 8008ull
907 /* 16_C_7 */ , 11440ull
908 /* 16_C_8 */ , 12870ull
909 },
910 {
911 /* 17_C_0 */ 1ull
912 /* 17_C_1 */ , 17ull
913 /* 17_C_2 */ , 136ull
914 /* 17_C_3 */ , 680ull
915 /* 17_C_4 */ , 2380ull
916 /* 17_C_5 */ , 6188ull
917 /* 17_C_6 */ , 12376ull
918 /* 17_C_7 */ , 19448ull
919 /* 17_C_8 */ , 24310ull
920 },
921 {
922 /* 18_C_0 */ 1ull
923 /* 18_C_1 */ , 18ull
924 /* 18_C_2 */ , 153ull
925 /* 18_C_3 */ , 816ull
926 /* 18_C_4 */ , 3060ull
927 /* 18_C_5 */ , 8568ull
928 /* 18_C_6 */ , 18564ull
929 /* 18_C_7 */ , 31824ull
930 /* 18_C_8 */ , 43758ull
931 /* 18_C_9 */ , 48620ull
932 },
933 {
934 /* 19_C_0 */ 1ull
935 /* 19_C_1 */ , 19ull
936 /* 19_C_2 */ , 171ull
937 /* 19_C_3 */ , 969ull
938 /* 19_C_4 */ , 3876ull
939 /* 19_C_5 */ , 11628ull
940 /* 19_C_6 */ , 27132ull
941 /* 19_C_7 */ , 50388ull
942 /* 19_C_8 */ , 75582ull
943 /* 19_C_9 */ , 92378ull
944 },
945 {
946 /* 20_C_0 */ 1ull
947 /* 20_C_1 */ , 20ull
948 /* 20_C_2 */ , 190ull
949 /* 20_C_3 */ , 1140ull
950 /* 20_C_4 */ , 4845ull
951 /* 20_C_5 */ , 15504ull
952 /* 20_C_6 */ , 38760ull
953 /* 20_C_7 */ , 77520ull
954 /* 20_C_8 */ , 125970ull
955 /* 20_C_9 */ , 167960ull
956 /* 20_C_10 */ , 184756ull
957 },
958 {
959 /* 21_C_0 */ 1ull
960 /* 21_C_1 */ , 21ull
961 /* 21_C_2 */ , 210ull
962 /* 21_C_3 */ , 1330ull
963 /* 21_C_4 */ , 5985ull
964 /* 21_C_5 */ , 20349ull
965 /* 21_C_6 */ , 54264ull
966 /* 21_C_7 */ , 116280ull
967 /* 21_C_8 */ , 203490ull
968 /* 21_C_9 */ , 293930ull
969 /* 21_C_10 */ , 352716ull
970 },
971 {
972 /* 22_C_0 */ 1ull
973 /* 22_C_1 */ , 22ull
974 /* 22_C_2 */ , 231ull
975 /* 22_C_3 */ , 1540ull
976 /* 22_C_4 */ , 7315ull
977 /* 22_C_5 */ , 26334ull
978 /* 22_C_6 */ , 74613ull
979 /* 22_C_7 */ , 170544ull
980 /* 22_C_8 */ , 319770ull
981 /* 22_C_9 */ , 497420ull
982 /* 22_C_10 */ , 646646ull
983 /* 22_C_11 */ , 705432ull
984 },
985 {
986 /* 23_C_0 */ 1ull
987 /* 23_C_1 */ , 23ull
988 /* 23_C_2 */ , 253ull
989 /* 23_C_3 */ , 1771ull
990 /* 23_C_4 */ , 8855ull
991 /* 23_C_5 */ , 33649ull
992 /* 23_C_6 */ , 100947ull
993 /* 23_C_7 */ , 245157ull
994 /* 23_C_8 */ , 490314ull
995 /* 23_C_9 */ , 817190ull
996 /* 23_C_10 */ , 1144066ull
997 /* 23_C_11 */ , 1352078ull
998 },
999 {
1000 /* 24_C_0 */ 1ull
1001 /* 24_C_1 */ , 24ull
1002 /* 24_C_2 */ , 276ull
1003 /* 24_C_3 */ , 2024ull
1004 /* 24_C_4 */ , 10626ull
1005 /* 24_C_5 */ , 42504ull
1006 /* 24_C_6 */ , 134596ull
1007 /* 24_C_7 */ , 346104ull
1008 /* 24_C_8 */ , 735471ull
1009 /* 24_C_9 */ , 1307504ull
1010 /* 24_C_10 */ , 1961256ull
1011 /* 24_C_11 */ , 2496144ull
1012 /* 24_C_12 */ , 2704156ull
1013 },
1014 {
1015 /* 25_C_0 */ 1ull
1016 /* 25_C_1 */ , 25ull
1017 /* 25_C_2 */ , 300ull
1018 /* 25_C_3 */ , 2300ull
1019 /* 25_C_4 */ , 12650ull
1020 /* 25_C_5 */ , 53130ull
1021 /* 25_C_6 */ , 177100ull
1022 /* 25_C_7 */ , 480700ull
1023 /* 25_C_8 */ , 1081575ull
1024 /* 25_C_9 */ , 2042975ull
1025 /* 25_C_10 */ , 3268760ull
1026 /* 25_C_11 */ , 4457400ull
1027 /* 25_C_12 */ , 5200300ull
1028 },
1029 {
1030 /* 26_C_0 */ 1ull
1031 /* 26_C_1 */ , 26ull
1032 /* 26_C_2 */ , 325ull
1033 /* 26_C_3 */ , 2600ull
1034 /* 26_C_4 */ , 14950ull
1035 /* 26_C_5 */ , 65780ull
1036 /* 26_C_6 */ , 230230ull
1037 /* 26_C_7 */ , 657800ull
1038 /* 26_C_8 */ , 1562275ull
1039 /* 26_C_9 */ , 3124550ull
1040 /* 26_C_10 */ , 5311735ull
1041 /* 26_C_11 */ , 7726160ull
1042 /* 26_C_12 */ , 9657700ull
1043 /* 26_C_13 */ , 10400600ull
1044 },
1045 {
1046 /* 27_C_0 */ 1ull
1047 /* 27_C_1 */ , 27ull
1048 /* 27_C_2 */ , 351ull
1049 /* 27_C_3 */ , 2925ull
1050 /* 27_C_4 */ , 17550ull
1051 /* 27_C_5 */ , 80730ull
1052 /* 27_C_6 */ , 296010ull
1053 /* 27_C_7 */ , 888030ull
1054 /* 27_C_8 */ , 2220075ull
1055 /* 27_C_9 */ , 4686825ull
1056 /* 27_C_10 */ , 8436285ull
1057 /* 27_C_11 */ , 13037895ull
1058 /* 27_C_12 */ , 17383860ull
1059 /* 27_C_13 */ , 20058300ull
1060 },
1061 {
1062 /* 28_C_0 */ 1ull
1063 /* 28_C_1 */ , 28ull
1064 /* 28_C_2 */ , 378ull
1065 /* 28_C_3 */ , 3276ull
1066 /* 28_C_4 */ , 20475ull
1067 /* 28_C_5 */ , 98280ull
1068 /* 28_C_6 */ , 376740ull
1069 /* 28_C_7 */ , 1184040ull
1070 /* 28_C_8 */ , 3108105ull
1071 /* 28_C_9 */ , 6906900ull
1072 /* 28_C_10 */ , 13123110ull
1073 /* 28_C_11 */ , 21474180ull
1074 /* 28_C_12 */ , 30421755ull
1075 /* 28_C_13 */ , 37442160ull
1076 /* 28_C_14 */ , 40116600ull
1077 },
1078 {
1079 /* 29_C_0 */ 1ull
1080 /* 29_C_1 */ , 29ull
1081 /* 29_C_2 */ , 406ull
1082 /* 29_C_3 */ , 3654ull
1083 /* 29_C_4 */ , 23751ull
1084 /* 29_C_5 */ , 118755ull
1085 /* 29_C_6 */ , 475020ull
1086 /* 29_C_7 */ , 1560780ull
1087 /* 29_C_8 */ , 4292145ull
1088 /* 29_C_9 */ , 10015005ull
1089 /* 29_C_10 */ , 20030010ull
1090 /* 29_C_11 */ , 34597290ull
1091 /* 29_C_12 */ , 51895935ull
1092 /* 29_C_13 */ , 67863915ull
1093 /* 29_C_14 */ , 77558760ull
1094 },
1095 {
1096 /* 30_C_0 */ 1ull
1097 /* 30_C_1 */ , 30ull
1098 /* 30_C_2 */ , 435ull
1099 /* 30_C_3 */ , 4060ull
1100 /* 30_C_4 */ , 27405ull
1101 /* 30_C_5 */ , 142506ull
1102 /* 30_C_6 */ , 593775ull
1103 /* 30_C_7 */ , 2035800ull
1104 /* 30_C_8 */ , 5852925ull
1105 /* 30_C_9 */ , 14307150ull
1106 /* 30_C_10 */ , 30045015ull
1107 /* 30_C_11 */ , 54627300ull
1108 /* 30_C_12 */ , 86493225ull
1109 /* 30_C_13 */ , 119759850ull
1110 /* 30_C_14 */ , 145422675ull
1111 /* 30_C_15 */ , 155117520ull
1112 },
1113 {
1114 /* 31_C_0 */ 1ull
1115 /* 31_C_1 */ , 31ull
1116 /* 31_C_2 */ , 465ull
1117 /* 31_C_3 */ , 4495ull
1118 /* 31_C_4 */ , 31465ull
1119 /* 31_C_5 */ , 169911ull
1120 /* 31_C_6 */ , 736281ull
1121 /* 31_C_7 */ , 2629575ull
1122 /* 31_C_8 */ , 7888725ull
1123 /* 31_C_9 */ , 20160075ull
1124 /* 31_C_10 */ , 44352165ull
1125 /* 31_C_11 */ , 84672315ull
1126 /* 31_C_12 */ , 141120525ull
1127 /* 31_C_13 */ , 206253075ull
1128 /* 31_C_14 */ , 265182525ull
1129 /* 31_C_15 */ , 300540195ull
1130 },
1131 {
1132 /* 32_C_0 */ 1ull
1133 /* 32_C_1 */ , 32ull
1134 /* 32_C_2 */ , 496ull
1135 /* 32_C_3 */ , 4960ull
1136 /* 32_C_4 */ , 35960ull
1137 /* 32_C_5 */ , 201376ull
1138 /* 32_C_6 */ , 906192ull
1139 /* 32_C_7 */ , 3365856ull
1140 /* 32_C_8 */ , 10518300ull
1141 /* 32_C_9 */ , 28048800ull
1142 /* 32_C_10 */ , 64512240ull
1143 /* 32_C_11 */ , 129024480ull
1144 /* 32_C_12 */ , 225792840ull
1145 /* 32_C_13 */ , 347373600ull
1146 /* 32_C_14 */ , 471435600ull
1147 /* 32_C_15 */ , 565722720ull
1148 /* 32_C_16 */ , 601080390ull
1149 },
1150 {
1151 /* 33_C_0 */ 1ull
1152 /* 33_C_1 */ , 33ull
1153 /* 33_C_2 */ , 528ull
1154 /* 33_C_3 */ , 5456ull
1155 /* 33_C_4 */ , 40920ull
1156 /* 33_C_5 */ , 237336ull
1157 /* 33_C_6 */ , 1107568ull
1158 /* 33_C_7 */ , 4272048ull
1159 /* 33_C_8 */ , 13884156ull
1160 /* 33_C_9 */ , 38567100ull
1161 /* 33_C_10 */ , 92561040ull
1162 /* 33_C_11 */ , 193536720ull
1163 /* 33_C_12 */ , 354817320ull
1164 /* 33_C_13 */ , 573166440ull
1165 /* 33_C_14 */ , 818809200ull
1166 /* 33_C_15 */ , 1037158320ull
1167 /* 33_C_16 */ , 1166803110ull
1168 },
1169 {
1170 /* 34_C_0 */ 1ull
1171 /* 34_C_1 */ , 34ull
1172 /* 34_C_2 */ , 561ull
1173 /* 34_C_3 */ , 5984ull
1174 /* 34_C_4 */ , 46376ull
1175 /* 34_C_5 */ , 278256ull
1176 /* 34_C_6 */ , 1344904ull
1177 /* 34_C_7 */ , 5379616ull
1178 /* 34_C_8 */ , 18156204ull
1179 /* 34_C_9 */ , 52451256ull
1180 /* 34_C_10 */ , 131128140ull
1181 /* 34_C_11 */ , 286097760ull
1182 /* 34_C_12 */ , 548354040ull
1183 /* 34_C_13 */ , 927983760ull
1184 /* 34_C_14 */ , 1391975640ull
1185 /* 34_C_15 */ , 1855967520ull
1186 /* 34_C_16 */ , 2203961430ull
1187 /* 34_C_17 */ , 2333606220ull
1188 },
1189 {
1190 /* 35_C_0 */ 1ull
1191 /* 35_C_1 */ , 35ull
1192 /* 35_C_2 */ , 595ull
1193 /* 35_C_3 */ , 6545ull
1194 /* 35_C_4 */ , 52360ull
1195 /* 35_C_5 */ , 324632ull
1196 /* 35_C_6 */ , 1623160ull
1197 /* 35_C_7 */ , 6724520ull
1198 /* 35_C_8 */ , 23535820ull
1199 /* 35_C_9 */ , 70607460ull
1200 /* 35_C_10 */ , 183579396ull
1201 /* 35_C_11 */ , 417225900ull
1202 /* 35_C_12 */ , 834451800ull
1203 /* 35_C_13 */ , 1476337800ull
1204 /* 35_C_14 */ , 2319959400ull
1205 /* 35_C_15 */ , 3247943160ull
1206 /* 35_C_16 */ , 4059928950ull
1207 /* 35_C_17 */ , 4537567650ull
1208 },
1209 {
1210 /* 36_C_0 */ 1ull
1211 /* 36_C_1 */ , 36ull
1212 /* 36_C_2 */ , 630ull
1213 /* 36_C_3 */ , 7140ull
1214 /* 36_C_4 */ , 58905ull
1215 /* 36_C_5 */ , 376992ull
1216 /* 36_C_6 */ , 1947792ull
1217 /* 36_C_7 */ , 8347680ull
1218 /* 36_C_8 */ , 30260340ull
1219 /* 36_C_9 */ , 94143280ull
1220 /* 36_C_10 */ , 254186856ull
1221 /* 36_C_11 */ , 600805296ull
1222 /* 36_C_12 */ , 1251677700ull
1223 /* 36_C_13 */ , 2310789600ull
1224 /* 36_C_14 */ , 3796297200ull
1225 /* 36_C_15 */ , 5567902560ull
1226 /* 36_C_16 */ , 7307872110ull
1227 /* 36_C_17 */ , 8597496600ull
1228 /* 36_C_18 */ , 9075135300ull
1229 },
1230 {
1231 /* 37_C_0 */ 1ull
1232 /* 37_C_1 */ , 37ull
1233 /* 37_C_2 */ , 666ull
1234 /* 37_C_3 */ , 7770ull
1235 /* 37_C_4 */ , 66045ull
1236 /* 37_C_5 */ , 435897ull
1237 /* 37_C_6 */ , 2324784ull
1238 /* 37_C_7 */ , 10295472ull
1239 /* 37_C_8 */ , 38608020ull
1240 /* 37_C_9 */ , 124403620ull
1241 /* 37_C_10 */ , 348330136ull
1242 /* 37_C_11 */ , 854992152ull
1243 /* 37_C_12 */ , 1852482996ull
1244 /* 37_C_13 */ , 3562467300ull
1245 /* 37_C_14 */ , 6107086800ull
1246 /* 37_C_15 */ , 9364199760ull
1247 /* 37_C_16 */ , 12875774670ull
1248 /* 37_C_17 */ , 15905368710ull
1249 /* 37_C_18 */ , 17672631900ull
1250 },
1251 {
1252 /* 38_C_0 */ 1ull
1253 /* 38_C_1 */ , 38ull
1254 /* 38_C_2 */ , 703ull
1255 /* 38_C_3 */ , 8436ull
1256 /* 38_C_4 */ , 73815ull
1257 /* 38_C_5 */ , 501942ull
1258 /* 38_C_6 */ , 2760681ull
1259 /* 38_C_7 */ , 12620256ull
1260 /* 38_C_8 */ , 48903492ull
1261 /* 38_C_9 */ , 163011640ull
1262 /* 38_C_10 */ , 472733756ull
1263 /* 38_C_11 */ , 1203322288ull
1264 /* 38_C_12 */ , 2707475148ull
1265 /* 38_C_13 */ , 5414950296ull
1266 /* 38_C_14 */ , 9669554100ull
1267 /* 38_C_15 */ , 15471286560ull
1268 /* 38_C_16 */ , 22239974430ull
1269 /* 38_C_17 */ , 28781143380ull
1270 /* 38_C_18 */ , 33578000610ull
1271 /* 38_C_19 */ , 35345263800ull
1272 },
1273 {
1274 /* 39_C_0 */ 1ull
1275 /* 39_C_1 */ , 39ull
1276 /* 39_C_2 */ , 741ull
1277 /* 39_C_3 */ , 9139ull
1278 /* 39_C_4 */ , 82251ull
1279 /* 39_C_5 */ , 575757ull
1280 /* 39_C_6 */ , 3262623ull
1281 /* 39_C_7 */ , 15380937ull
1282 /* 39_C_8 */ , 61523748ull
1283 /* 39_C_9 */ , 211915132ull
1284 /* 39_C_10 */ , 635745396ull
1285 /* 39_C_11 */ , 1676056044ull
1286 /* 39_C_12 */ , 3910797436ull
1287 /* 39_C_13 */ , 8122425444ull
1288 /* 39_C_14 */ , 15084504396ull
1289 /* 39_C_15 */ , 25140840660ull
1290 /* 39_C_16 */ , 37711260990ull
1291 /* 39_C_17 */ , 51021117810ull
1292 /* 39_C_18 */ , 62359143990ull
1293 /* 39_C_19 */ , 68923264410ull
1294 },
1295 {
1296 /* 40_C_0 */ 1ull
1297 /* 40_C_1 */ , 40ull
1298 /* 40_C_2 */ , 780ull
1299 /* 40_C_3 */ , 9880ull
1300 /* 40_C_4 */ , 91390ull
1301 /* 40_C_5 */ , 658008ull
1302 /* 40_C_6 */ , 3838380ull
1303 /* 40_C_7 */ , 18643560ull
1304 /* 40_C_8 */ , 76904685ull
1305 /* 40_C_9 */ , 273438880ull
1306 /* 40_C_10 */ , 847660528ull
1307 /* 40_C_11 */ , 2311801440ull
1308 /* 40_C_12 */ , 5586853480ull
1309 /* 40_C_13 */ , 12033222880ull
1310 /* 40_C_14 */ , 23206929840ull
1311 /* 40_C_15 */ , 40225345056ull
1312 /* 40_C_16 */ , 62852101650ull
1313 /* 40_C_17 */ , 88732378800ull
1314 /* 40_C_18 */ , 113380261800ull
1315 /* 40_C_19 */ , 131282408400ull
1316 /* 40_C_20 */ , 137846528820ull
1317 },
1318 {
1319 /* 41_C_0 */ 1ull
1320 /* 41_C_1 */ , 41ull
1321 /* 41_C_2 */ , 820ull
1322 /* 41_C_3 */ , 10660ull
1323 /* 41_C_4 */ , 101270ull
1324 /* 41_C_5 */ , 749398ull
1325 /* 41_C_6 */ , 4496388ull
1326 /* 41_C_7 */ , 22481940ull
1327 /* 41_C_8 */ , 95548245ull
1328 /* 41_C_9 */ , 350343565ull
1329 /* 41_C_10 */ , 1121099408ull
1330 /* 41_C_11 */ , 3159461968ull
1331 /* 41_C_12 */ , 7898654920ull
1332 /* 41_C_13 */ , 17620076360ull
1333 /* 41_C_14 */ , 35240152720ull
1334 /* 41_C_15 */ , 63432274896ull
1335 /* 41_C_16 */ , 103077446706ull
1336 /* 41_C_17 */ , 151584480450ull
1337 /* 41_C_18 */ , 202112640600ull
1338 /* 41_C_19 */ , 244662670200ull
1339 /* 41_C_20 */ , 269128937220ull
1340 },
1341 {
1342 /* 42_C_0 */ 1ull
1343 /* 42_C_1 */ , 42ull
1344 /* 42_C_2 */ , 861ull
1345 /* 42_C_3 */ , 11480ull
1346 /* 42_C_4 */ , 111930ull
1347 /* 42_C_5 */ , 850668ull
1348 /* 42_C_6 */ , 5245786ull
1349 /* 42_C_7 */ , 26978328ull
1350 /* 42_C_8 */ , 118030185ull
1351 /* 42_C_9 */ , 445891810ull
1352 /* 42_C_10 */ , 1471442973ull
1353 /* 42_C_11 */ , 4280561376ull
1354 /* 42_C_12 */ , 11058116888ull
1355 /* 42_C_13 */ , 25518731280ull
1356 /* 42_C_14 */ , 52860229080ull
1357 /* 42_C_15 */ , 98672427616ull
1358 /* 42_C_16 */ , 166509721602ull
1359 /* 42_C_17 */ , 254661927156ull
1360 /* 42_C_18 */ , 353697121050ull
1361 /* 42_C_19 */ , 446775310800ull
1362 /* 42_C_20 */ , 513791607420ull
1363 /* 42_C_21 */ , 538257874440ull
1364 },
1365 {
1366 /* 43_C_0 */ 1ull
1367 /* 43_C_1 */ , 43ull
1368 /* 43_C_2 */ , 903ull
1369 /* 43_C_3 */ , 12341ull
1370 /* 43_C_4 */ , 123410ull
1371 /* 43_C_5 */ , 962598ull
1372 /* 43_C_6 */ , 6096454ull
1373 /* 43_C_7 */ , 32224114ull
1374 /* 43_C_8 */ , 145008513ull
1375 /* 43_C_9 */ , 563921995ull
1376 /* 43_C_10 */ , 1917334783ull
1377 /* 43_C_11 */ , 5752004349ull
1378 /* 43_C_12 */ , 15338678264ull
1379 /* 43_C_13 */ , 36576848168ull
1380 /* 43_C_14 */ , 78378960360ull
1381 /* 43_C_15 */ , 151532656696ull
1382 /* 43_C_16 */ , 265182149218ull
1383 /* 43_C_17 */ , 421171648758ull
1384 /* 43_C_18 */ , 608359048206ull
1385 /* 43_C_19 */ , 800472431850ull
1386 /* 43_C_20 */ , 960566918220ull
1387 /* 43_C_21 */ , 1052049481860ull
1388 },
1389 {
1390 /* 44_C_0 */ 1ull
1391 /* 44_C_1 */ , 44ull
1392 /* 44_C_2 */ , 946ull
1393 /* 44_C_3 */ , 13244ull
1394 /* 44_C_4 */ , 135751ull
1395 /* 44_C_5 */ , 1086008ull
1396 /* 44_C_6 */ , 7059052ull
1397 /* 44_C_7 */ , 38320568ull
1398 /* 44_C_8 */ , 177232627ull
1399 /* 44_C_9 */ , 708930508ull
1400 /* 44_C_10 */ , 2481256778ull
1401 /* 44_C_11 */ , 7669339132ull
1402 /* 44_C_12 */ , 21090682613ull
1403 /* 44_C_13 */ , 51915526432ull
1404 /* 44_C_14 */ , 114955808528ull
1405 /* 44_C_15 */ , 229911617056ull
1406 /* 44_C_16 */ , 416714805914ull
1407 /* 44_C_17 */ , 686353797976ull
1408 /* 44_C_18 */ , 1029530696964ull
1409 /* 44_C_19 */ , 1408831480056ull
1410 /* 44_C_20 */ , 1761039350070ull
1411 /* 44_C_21 */ , 2012616400080ull
1412 /* 44_C_22 */ , 2104098963720ull
1413 },
1414 {
1415 /* 45_C_0 */ 1ull
1416 /* 45_C_1 */ , 45ull
1417 /* 45_C_2 */ , 990ull
1418 /* 45_C_3 */ , 14190ull
1419 /* 45_C_4 */ , 148995ull
1420 /* 45_C_5 */ , 1221759ull
1421 /* 45_C_6 */ , 8145060ull
1422 /* 45_C_7 */ , 45379620ull
1423 /* 45_C_8 */ , 215553195ull
1424 /* 45_C_9 */ , 886163135ull
1425 /* 45_C_10 */ , 3190187286ull
1426 /* 45_C_11 */ , 10150595910ull
1427 /* 45_C_12 */ , 28760021745ull
1428 /* 45_C_13 */ , 73006209045ull
1429 /* 45_C_14 */ , 166871334960ull
1430 /* 45_C_15 */ , 344867425584ull
1431 /* 45_C_16 */ , 646626422970ull
1432 /* 45_C_17 */ , 1103068603890ull
1433 /* 45_C_18 */ , 1715884494940ull
1434 /* 45_C_19 */ , 2438362177020ull
1435 /* 45_C_20 */ , 3169870830126ull
1436 /* 45_C_21 */ , 3773655750150ull
1437 /* 45_C_22 */ , 4116715363800ull
1438 },
1439 {
1440 /* 46_C_0 */ 1ull
1441 /* 46_C_1 */ , 46ull
1442 /* 46_C_2 */ , 1035ull
1443 /* 46_C_3 */ , 15180ull
1444 /* 46_C_4 */ , 163185ull
1445 /* 46_C_5 */ , 1370754ull
1446 /* 46_C_6 */ , 9366819ull
1447 /* 46_C_7 */ , 53524680ull
1448 /* 46_C_8 */ , 260932815ull
1449 /* 46_C_9 */ , 1101716330ull
1450 /* 46_C_10 */ , 4076350421ull
1451 /* 46_C_11 */ , 13340783196ull
1452 /* 46_C_12 */ , 38910617655ull
1453 /* 46_C_13 */ , 101766230790ull
1454 /* 46_C_14 */ , 239877544005ull
1455 /* 46_C_15 */ , 511738760544ull
1456 /* 46_C_16 */ , 991493848554ull
1457 /* 46_C_17 */ , 1749695026860ull
1458 /* 46_C_18 */ , 2818953098830ull
1459 /* 46_C_19 */ , 4154246671960ull
1460 /* 46_C_20 */ , 5608233007146ull
1461 /* 46_C_21 */ , 6943526580276ull
1462 /* 46_C_22 */ , 7890371113950ull
1463 /* 46_C_23 */ , 8233430727600ull
1464 },
1465 {
1466 /* 47_C_0 */ 1ull
1467 /* 47_C_1 */ , 47ull
1468 /* 47_C_2 */ , 1081ull
1469 /* 47_C_3 */ , 16215ull
1470 /* 47_C_4 */ , 178365ull
1471 /* 47_C_5 */ , 1533939ull
1472 /* 47_C_6 */ , 10737573ull
1473 /* 47_C_7 */ , 62891499ull
1474 /* 47_C_8 */ , 314457495ull
1475 /* 47_C_9 */ , 1362649145ull
1476 /* 47_C_10 */ , 5178066751ull
1477 /* 47_C_11 */ , 17417133617ull
1478 /* 47_C_12 */ , 52251400851ull
1479 /* 47_C_13 */ , 140676848445ull
1480 /* 47_C_14 */ , 341643774795ull
1481 /* 47_C_15 */ , 751616304549ull
1482 /* 47_C_16 */ , 1503232609098ull
1483 /* 47_C_17 */ , 2741188875414ull
1484 /* 47_C_18 */ , 4568648125690ull
1485 /* 47_C_19 */ , 6973199770790ull
1486 /* 47_C_20 */ , 9762479679106ull
1487 /* 47_C_21 */ , 12551759587422ull
1488 /* 47_C_22 */ , 14833897694226ull
1489 /* 47_C_23 */ , 16123801841550ull
1490 },
1491 {
1492 /* 48_C_0 */ 1ull
1493 /* 48_C_1 */ , 48ull
1494 /* 48_C_2 */ , 1128ull
1495 /* 48_C_3 */ , 17296ull
1496 /* 48_C_4 */ , 194580ull
1497 /* 48_C_5 */ , 1712304ull
1498 /* 48_C_6 */ , 12271512ull
1499 /* 48_C_7 */ , 73629072ull
1500 /* 48_C_8 */ , 377348994ull
1501 /* 48_C_9 */ , 1677106640ull
1502 /* 48_C_10 */ , 6540715896ull
1503 /* 48_C_11 */ , 22595200368ull
1504 /* 48_C_12 */ , 69668534468ull
1505 /* 48_C_13 */ , 192928249296ull
1506 /* 48_C_14 */ , 482320623240ull
1507 /* 48_C_15 */ , 1093260079344ull
1508 /* 48_C_16 */ , 2254848913647ull
1509 /* 48_C_17 */ , 4244421484512ull
1510 /* 48_C_18 */ , 7309837001104ull
1511 /* 48_C_19 */ , 11541847896480ull
1512 /* 48_C_20 */ , 16735679449896ull
1513 /* 48_C_21 */ , 22314239266528ull
1514 /* 48_C_22 */ , 27385657281648ull
1515 /* 48_C_23 */ , 30957699535776ull
1516 /* 48_C_24 */ , 32247603683100ull
1517 },
1518 {
1519 /* 49_C_0 */ 1ull
1520 /* 49_C_1 */ , 49ull
1521 /* 49_C_2 */ , 1176ull
1522 /* 49_C_3 */ , 18424ull
1523 /* 49_C_4 */ , 211876ull
1524 /* 49_C_5 */ , 1906884ull
1525 /* 49_C_6 */ , 13983816ull
1526 /* 49_C_7 */ , 85900584ull
1527 /* 49_C_8 */ , 450978066ull
1528 /* 49_C_9 */ , 2054455634ull
1529 /* 49_C_10 */ , 8217822536ull
1530 /* 49_C_11 */ , 29135916264ull
1531 /* 49_C_12 */ , 92263734836ull
1532 /* 49_C_13 */ , 262596783764ull
1533 /* 49_C_14 */ , 675248872536ull
1534 /* 49_C_15 */ , 1575580702584ull
1535 /* 49_C_16 */ , 3348108992991ull
1536 /* 49_C_17 */ , 6499270398159ull
1537 /* 49_C_18 */ , 11554258485616ull
1538 /* 49_C_19 */ , 18851684897584ull
1539 /* 49_C_20 */ , 28277527346376ull
1540 /* 49_C_21 */ , 39049918716424ull
1541 /* 49_C_22 */ , 49699896548176ull
1542 /* 49_C_23 */ , 58343356817424ull
1543 /* 49_C_24 */ , 63205303218876ull
1544 },
1545 {
1546 /* 50_C_0 */ 1ull
1547 /* 50_C_1 */ , 50ull
1548 /* 50_C_2 */ , 1225ull
1549 /* 50_C_3 */ , 19600ull
1550 /* 50_C_4 */ , 230300ull
1551 /* 50_C_5 */ , 2118760ull
1552 /* 50_C_6 */ , 15890700ull
1553 /* 50_C_7 */ , 99884400ull
1554 /* 50_C_8 */ , 536878650ull
1555 /* 50_C_9 */ , 2505433700ull
1556 /* 50_C_10 */ , 10272278170ull
1557 /* 50_C_11 */ , 37353738800ull
1558 /* 50_C_12 */ , 121399651100ull
1559 /* 50_C_13 */ , 354860518600ull
1560 /* 50_C_14 */ , 937845656300ull
1561 /* 50_C_15 */ , 2250829575120ull
1562 /* 50_C_16 */ , 4923689695575ull
1563 /* 50_C_17 */ , 9847379391150ull
1564 /* 50_C_18 */ , 18053528883775ull
1565 /* 50_C_19 */ , 30405943383200ull
1566 /* 50_C_20 */ , 47129212243960ull
1567 /* 50_C_21 */ , 67327446062800ull
1568 /* 50_C_22 */ , 88749815264600ull
1569 /* 50_C_23 */ , 108043253365600ull
1570 /* 50_C_24 */ , 121548660036300ull
1571 /* 50_C_25 */ , 126410606437752ull
1572 },
1573 {
1574 /* 51_C_0 */ 1ull
1575 /* 51_C_1 */ , 51ull
1576 /* 51_C_2 */ , 1275ull
1577 /* 51_C_3 */ , 20825ull
1578 /* 51_C_4 */ , 249900ull
1579 /* 51_C_5 */ , 2349060ull
1580 /* 51_C_6 */ , 18009460ull
1581 /* 51_C_7 */ , 115775100ull
1582 /* 51_C_8 */ , 636763050ull
1583 /* 51_C_9 */ , 3042312350ull
1584 /* 51_C_10 */ , 12777711870ull
1585 /* 51_C_11 */ , 47626016970ull
1586 /* 51_C_12 */ , 158753389900ull
1587 /* 51_C_13 */ , 476260169700ull
1588 /* 51_C_14 */ , 1292706174900ull
1589 /* 51_C_15 */ , 3188675231420ull
1590 /* 51_C_16 */ , 7174519270695ull
1591 /* 51_C_17 */ , 14771069086725ull
1592 /* 51_C_18 */ , 27900908274925ull
1593 /* 51_C_19 */ , 48459472266975ull
1594 /* 51_C_20 */ , 77535155627160ull
1595 /* 51_C_21 */ , 114456658306760ull
1596 /* 51_C_22 */ , 156077261327400ull
1597 /* 51_C_23 */ , 196793068630200ull
1598 /* 51_C_24 */ , 229591913401900ull
1599 /* 51_C_25 */ , 247959266474052ull
1600 },
1601 {
1602 /* 52_C_0 */ 1ull
1603 /* 52_C_1 */ , 52ull
1604 /* 52_C_2 */ , 1326ull
1605 /* 52_C_3 */ , 22100ull
1606 /* 52_C_4 */ , 270725ull
1607 /* 52_C_5 */ , 2598960ull
1608 /* 52_C_6 */ , 20358520ull
1609 /* 52_C_7 */ , 133784560ull
1610 /* 52_C_8 */ , 752538150ull
1611 /* 52_C_9 */ , 3679075400ull
1612 /* 52_C_10 */ , 15820024220ull
1613 /* 52_C_11 */ , 60403728840ull
1614 /* 52_C_12 */ , 206379406870ull
1615 /* 52_C_13 */ , 635013559600ull
1616 /* 52_C_14 */ , 1768966344600ull
1617 /* 52_C_15 */ , 4481381406320ull
1618 /* 52_C_16 */ , 10363194502115ull
1619 /* 52_C_17 */ , 21945588357420ull
1620 /* 52_C_18 */ , 42671977361650ull
1621 /* 52_C_19 */ , 76360380541900ull
1622 /* 52_C_20 */ , 125994627894135ull
1623 /* 52_C_21 */ , 191991813933920ull
1624 /* 52_C_22 */ , 270533919634160ull
1625 /* 52_C_23 */ , 352870329957600ull
1626 /* 52_C_24 */ , 426384982032100ull
1627 /* 52_C_25 */ , 477551179875952ull
1628 /* 52_C_26 */ , 495918532948104ull
1629 },
1630 {
1631 /* 53_C_0 */ 1ull
1632 /* 53_C_1 */ , 53ull
1633 /* 53_C_2 */ , 1378ull
1634 /* 53_C_3 */ , 23426ull
1635 /* 53_C_4 */ , 292825ull
1636 /* 53_C_5 */ , 2869685ull
1637 /* 53_C_6 */ , 22957480ull
1638 /* 53_C_7 */ , 154143080ull
1639 /* 53_C_8 */ , 886322710ull
1640 /* 53_C_9 */ , 4431613550ull
1641 /* 53_C_10 */ , 19499099620ull
1642 /* 53_C_11 */ , 76223753060ull
1643 /* 53_C_12 */ , 266783135710ull
1644 /* 53_C_13 */ , 841392966470ull
1645 /* 53_C_14 */ , 2403979904200ull
1646 /* 53_C_15 */ , 6250347750920ull
1647 /* 53_C_16 */ , 14844575908435ull
1648 /* 53_C_17 */ , 32308782859535ull
1649 /* 53_C_18 */ , 64617565719070ull
1650 /* 53_C_19 */ , 119032357903550ull
1651 /* 53_C_20 */ , 202355008436035ull
1652 /* 53_C_21 */ , 317986441828055ull
1653 /* 53_C_22 */ , 462525733568080ull
1654 /* 53_C_23 */ , 623404249591760ull
1655 /* 53_C_24 */ , 779255311989700ull
1656 /* 53_C_25 */ , 903936161908052ull
1657 /* 53_C_26 */ , 973469712824056ull
1658 },
1659 {
1660 /* 54_C_0 */ 1ull
1661 /* 54_C_1 */ , 54ull
1662 /* 54_C_2 */ , 1431ull
1663 /* 54_C_3 */ , 24804ull
1664 /* 54_C_4 */ , 316251ull
1665 /* 54_C_5 */ , 3162510ull
1666 /* 54_C_6 */ , 25827165ull
1667 /* 54_C_7 */ , 177100560ull
1668 /* 54_C_8 */ , 1040465790ull
1669 /* 54_C_9 */ , 5317936260ull
1670 /* 54_C_10 */ , 23930713170ull
1671 /* 54_C_11 */ , 95722852680ull
1672 /* 54_C_12 */ , 343006888770ull
1673 /* 54_C_13 */ , 1108176102180ull
1674 /* 54_C_14 */ , 3245372870670ull
1675 /* 54_C_15 */ , 8654327655120ull
1676 /* 54_C_16 */ , 21094923659355ull
1677 /* 54_C_17 */ , 47153358767970ull
1678 /* 54_C_18 */ , 96926348578605ull
1679 /* 54_C_19 */ , 183649923622620ull
1680 /* 54_C_20 */ , 321387366339585ull
1681 /* 54_C_21 */ , 520341450264090ull
1682 /* 54_C_22 */ , 780512175396135ull
1683 /* 54_C_23 */ , 1085929983159840ull
1684 /* 54_C_24 */ , 1402659561581460ull
1685 /* 54_C_25 */ , 1683191473897752ull
1686 /* 54_C_26 */ , 1877405874732108ull
1687 /* 54_C_27 */ , 1946939425648112ull
1688 },
1689 {
1690 /* 55_C_0 */ 1ull
1691 /* 55_C_1 */ , 55ull
1692 /* 55_C_2 */ , 1485ull
1693 /* 55_C_3 */ , 26235ull
1694 /* 55_C_4 */ , 341055ull
1695 /* 55_C_5 */ , 3478761ull
1696 /* 55_C_6 */ , 28989675ull
1697 /* 55_C_7 */ , 202927725ull
1698 /* 55_C_8 */ , 1217566350ull
1699 /* 55_C_9 */ , 6358402050ull
1700 /* 55_C_10 */ , 29248649430ull
1701 /* 55_C_11 */ , 119653565850ull
1702 /* 55_C_12 */ , 438729741450ull
1703 /* 55_C_13 */ , 1451182990950ull
1704 /* 55_C_14 */ , 4353548972850ull
1705 /* 55_C_15 */ , 11899700525790ull
1706 /* 55_C_16 */ , 29749251314475ull
1707 /* 55_C_17 */ , 68248282427325ull
1708 /* 55_C_18 */ , 144079707346575ull
1709 /* 55_C_19 */ , 280576272201225ull
1710 /* 55_C_20 */ , 505037289962205ull
1711 /* 55_C_21 */ , 841728816603675ull
1712 /* 55_C_22 */ , 1300853625660225ull
1713 /* 55_C_23 */ , 1866442158555975ull
1714 /* 55_C_24 */ , 2488589544741300ull
1715 /* 55_C_25 */ , 3085851035479212ull
1716 /* 55_C_26 */ , 3560597348629860ull
1717 /* 55_C_27 */ , 3824345300380220ull
1718 },
1719 {
1720 /* 56_C_0 */ 1ull
1721 /* 56_C_1 */ , 56ull
1722 /* 56_C_2 */ , 1540ull
1723 /* 56_C_3 */ , 27720ull
1724 /* 56_C_4 */ , 367290ull
1725 /* 56_C_5 */ , 3819816ull
1726 /* 56_C_6 */ , 32468436ull
1727 /* 56_C_7 */ , 231917400ull
1728 /* 56_C_8 */ , 1420494075ull
1729 /* 56_C_9 */ , 7575968400ull
1730 /* 56_C_10 */ , 35607051480ull
1731 /* 56_C_11 */ , 148902215280ull
1732 /* 56_C_12 */ , 558383307300ull
1733 /* 56_C_13 */ , 1889912732400ull
1734 /* 56_C_14 */ , 5804731963800ull
1735 /* 56_C_15 */ , 16253249498640ull
1736 /* 56_C_16 */ , 41648951840265ull
1737 /* 56_C_17 */ , 97997533741800ull
1738 /* 56_C_18 */ , 212327989773900ull
1739 /* 56_C_19 */ , 424655979547800ull
1740 /* 56_C_20 */ , 785613562163430ull
1741 /* 56_C_21 */ , 1346766106565880ull
1742 /* 56_C_22 */ , 2142582442263900ull
1743 /* 56_C_23 */ , 3167295784216200ull
1744 /* 56_C_24 */ , 4355031703297275ull
1745 /* 56_C_25 */ , 5574440580220512ull
1746 /* 56_C_26 */ , 6646448384109072ull
1747 /* 56_C_27 */ , 7384942649010080ull
1748 /* 56_C_28 */ , 7648690600760440ull
1749 },
1750 {
1751 /* 57_C_0 */ 1ull
1752 /* 57_C_1 */ , 57ull
1753 /* 57_C_2 */ , 1596ull
1754 /* 57_C_3 */ , 29260ull
1755 /* 57_C_4 */ , 395010ull
1756 /* 57_C_5 */ , 4187106ull
1757 /* 57_C_6 */ , 36288252ull
1758 /* 57_C_7 */ , 264385836ull
1759 /* 57_C_8 */ , 1652411475ull
1760 /* 57_C_9 */ , 8996462475ull
1761 /* 57_C_10 */ , 43183019880ull
1762 /* 57_C_11 */ , 184509266760ull
1763 /* 57_C_12 */ , 707285522580ull
1764 /* 57_C_13 */ , 2448296039700ull
1765 /* 57_C_14 */ , 7694644696200ull
1766 /* 57_C_15 */ , 22057981462440ull
1767 /* 57_C_16 */ , 57902201338905ull
1768 /* 57_C_17 */ , 139646485582065ull
1769 /* 57_C_18 */ , 310325523515700ull
1770 /* 57_C_19 */ , 636983969321700ull
1771 /* 57_C_20 */ , 1210269541711230ull
1772 /* 57_C_21 */ , 2132379668729310ull
1773 /* 57_C_22 */ , 3489348548829780ull
1774 /* 57_C_23 */ , 5309878226480100ull
1775 /* 57_C_24 */ , 7522327487513475ull
1776 /* 57_C_25 */ , 9929472283517787ull
1777 /* 57_C_26 */ , 12220888964329584ull
1778 /* 57_C_27 */ , 14031391033119152ull
1779 /* 57_C_28 */ , 15033633249770520ull
1780 },
1781 {
1782 /* 58_C_0 */ 1ull
1783 /* 58_C_1 */ , 58ull
1784 /* 58_C_2 */ , 1653ull
1785 /* 58_C_3 */ , 30856ull
1786 /* 58_C_4 */ , 424270ull
1787 /* 58_C_5 */ , 4582116ull
1788 /* 58_C_6 */ , 40475358ull
1789 /* 58_C_7 */ , 300674088ull
1790 /* 58_C_8 */ , 1916797311ull
1791 /* 58_C_9 */ , 10648873950ull
1792 /* 58_C_10 */ , 52179482355ull
1793 /* 58_C_11 */ , 227692286640ull
1794 /* 58_C_12 */ , 891794789340ull
1795 /* 58_C_13 */ , 3155581562280ull
1796 /* 58_C_14 */ , 10142940735900ull
1797 /* 58_C_15 */ , 29752626158640ull
1798 /* 58_C_16 */ , 79960182801345ull
1799 /* 58_C_17 */ , 197548686920970ull
1800 /* 58_C_18 */ , 449972009097765ull
1801 /* 58_C_19 */ , 947309492837400ull
1802 /* 58_C_20 */ , 1847253511032930ull
1803 /* 58_C_21 */ , 3342649210440540ull
1804 /* 58_C_22 */ , 5621728217559090ull
1805 /* 58_C_23 */ , 8799226775309880ull
1806 /* 58_C_24 */ , 12832205713993575ull
1807 /* 58_C_25 */ , 17451799771031262ull
1808 /* 58_C_26 */ , 22150361247847371ull
1809 /* 58_C_27 */ , 26252279997448736ull
1810 /* 58_C_28 */ , 29065024282889672ull
1811 /* 58_C_29 */ , 30067266499541040ull
1812 },
1813 {
1814 /* 59_C_0 */ 1ull
1815 /* 59_C_1 */ , 59ull
1816 /* 59_C_2 */ , 1711ull
1817 /* 59_C_3 */ , 32509ull
1818 /* 59_C_4 */ , 455126ull
1819 /* 59_C_5 */ , 5006386ull
1820 /* 59_C_6 */ , 45057474ull
1821 /* 59_C_7 */ , 341149446ull
1822 /* 59_C_8 */ , 2217471399ull
1823 /* 59_C_9 */ , 12565671261ull
1824 /* 59_C_10 */ , 62828356305ull
1825 /* 59_C_11 */ , 279871768995ull
1826 /* 59_C_12 */ , 1119487075980ull
1827 /* 59_C_13 */ , 4047376351620ull
1828 /* 59_C_14 */ , 13298522298180ull
1829 /* 59_C_15 */ , 39895566894540ull
1830 /* 59_C_16 */ , 109712808959985ull
1831 /* 59_C_17 */ , 277508869722315ull
1832 /* 59_C_18 */ , 647520696018735ull
1833 /* 59_C_19 */ , 1397281501935165ull
1834 /* 59_C_20 */ , 2794563003870330ull
1835 /* 59_C_21 */ , 5189902721473470ull
1836 /* 59_C_22 */ , 8964377427999630ull
1837 /* 59_C_23 */ , 14420954992868970ull
1838 /* 59_C_24 */ , 21631432489303455ull
1839 /* 59_C_25 */ , 30284005485024837ull
1840 /* 59_C_26 */ , 39602161018878633ull
1841 /* 59_C_27 */ , 48402641245296107ull
1842 /* 59_C_28 */ , 55317304280338408ull
1843 /* 59_C_29 */ , 59132290782430712ull
1844 },
1845 {
1846 /* 60_C_0 */ 1ull
1847 /* 60_C_1 */ , 60ull
1848 /* 60_C_2 */ , 1770ull
1849 /* 60_C_3 */ , 34220ull
1850 /* 60_C_4 */ , 487635ull
1851 /* 60_C_5 */ , 5461512ull
1852 /* 60_C_6 */ , 50063860ull
1853 /* 60_C_7 */ , 386206920ull
1854 /* 60_C_8 */ , 2558620845ull
1855 /* 60_C_9 */ , 14783142660ull
1856 /* 60_C_10 */ , 75394027566ull
1857 /* 60_C_11 */ , 342700125300ull
1858 /* 60_C_12 */ , 1399358844975ull
1859 /* 60_C_13 */ , 5166863427600ull
1860 /* 60_C_14 */ , 17345898649800ull
1861 /* 60_C_15 */ , 53194089192720ull
1862 /* 60_C_16 */ , 149608375854525ull
1863 /* 60_C_17 */ , 387221678682300ull
1864 /* 60_C_18 */ , 925029565741050ull
1865 /* 60_C_19 */ , 2044802197953900ull
1866 /* 60_C_20 */ , 4191844505805495ull
1867 /* 60_C_21 */ , 7984465725343800ull
1868 /* 60_C_22 */ , 14154280149473100ull
1869 /* 60_C_23 */ , 23385332420868600ull
1870 /* 60_C_24 */ , 36052387482172425ull
1871 /* 60_C_25 */ , 51915437974328292ull
1872 /* 60_C_26 */ , 69886166503903470ull
1873 /* 60_C_27 */ , 88004802264174740ull
1874 /* 60_C_28 */ , 103719945525634515ull
1875 /* 60_C_29 */ , 114449595062769120ull
1876 /* 60_C_30 */ , 118264581564861424ull
1877 },
1878 {
1879 /* 61_C_0 */ 1ull
1880 /* 61_C_1 */ , 61ull
1881 /* 61_C_2 */ , 1830ull
1882 /* 61_C_3 */ , 35990ull
1883 /* 61_C_4 */ , 521855ull
1884 /* 61_C_5 */ , 5949147ull
1885 /* 61_C_6 */ , 55525372ull
1886 /* 61_C_7 */ , 436270780ull
1887 /* 61_C_8 */ , 2944827765ull
1888 /* 61_C_9 */ , 17341763505ull
1889 /* 61_C_10 */ , 90177170226ull
1890 /* 61_C_11 */ , 418094152866ull
1891 /* 61_C_12 */ , 1742058970275ull
1892 /* 61_C_13 */ , 6566222272575ull
1893 /* 61_C_14 */ , 22512762077400ull
1894 /* 61_C_15 */ , 70539987842520ull
1895 /* 61_C_16 */ , 202802465047245ull
1896 /* 61_C_17 */ , 536830054536825ull
1897 /* 61_C_18 */ , 1312251244423350ull
1898 /* 61_C_19 */ , 2969831763694950ull
1899 /* 61_C_20 */ , 6236646703759395ull
1900 /* 61_C_21 */ , 12176310231149295ull
1901 /* 61_C_22 */ , 22138745874816900ull
1902 /* 61_C_23 */ , 37539612570341700ull
1903 /* 61_C_24 */ , 59437719903041025ull
1904 /* 61_C_25 */ , 87967825456500717ull
1905 /* 61_C_26 */ , 121801604478231762ull
1906 /* 61_C_27 */ , 157890968768078210ull
1907 /* 61_C_28 */ , 191724747789809255ull
1908 /* 61_C_29 */ , 218169540588403635ull
1909 /* 61_C_30 */ , 232714176627630544ull
1910 },
1911 {
1912 /* 62_C_0 */ 1ull
1913 /* 62_C_1 */ , 62ull
1914 /* 62_C_2 */ , 1891ull
1915 /* 62_C_3 */ , 37820ull
1916 /* 62_C_4 */ , 557845ull
1917 /* 62_C_5 */ , 6471002ull
1918 /* 62_C_6 */ , 61474519ull
1919 /* 62_C_7 */ , 491796152ull
1920 /* 62_C_8 */ , 3381098545ull
1921 /* 62_C_9 */ , 20286591270ull
1922 /* 62_C_10 */ , 107518933731ull
1923 /* 62_C_11 */ , 508271323092ull
1924 /* 62_C_12 */ , 2160153123141ull
1925 /* 62_C_13 */ , 8308281242850ull
1926 /* 62_C_14 */ , 29078984349975ull
1927 /* 62_C_15 */ , 93052749919920ull
1928 /* 62_C_16 */ , 273342452889765ull
1929 /* 62_C_17 */ , 739632519584070ull
1930 /* 62_C_18 */ , 1849081298960175ull
1931 /* 62_C_19 */ , 4282083008118300ull
1932 /* 62_C_20 */ , 9206478467454345ull
1933 /* 62_C_21 */ , 18412956934908690ull
1934 /* 62_C_22 */ , 34315056105966195ull
1935 /* 62_C_23 */ , 59678358445158600ull
1936 /* 62_C_24 */ , 96977332473382725ull
1937 /* 62_C_25 */ , 147405545359541742ull
1938 /* 62_C_26 */ , 209769429934732479ull
1939 /* 62_C_27 */ , 279692573246309972ull
1940 /* 62_C_28 */ , 349615716557887465ull
1941 /* 62_C_29 */ , 409894288378212890ull
1942 /* 62_C_30 */ , 450883717216034179ull
1943 /* 62_C_31 */ , 465428353255261088ull
1944 },
1945 {
1946 /* 63_C_0 */ 1ull
1947 /* 63_C_1 */ , 63ull
1948 /* 63_C_2 */ , 1953ull
1949 /* 63_C_3 */ , 39711ull
1950 /* 63_C_4 */ , 595665ull
1951 /* 63_C_5 */ , 7028847ull
1952 /* 63_C_6 */ , 67945521ull
1953 /* 63_C_7 */ , 553270671ull
1954 /* 63_C_8 */ , 3872894697ull
1955 /* 63_C_9 */ , 23667689815ull
1956 /* 63_C_10 */ , 127805525001ull
1957 /* 63_C_11 */ , 615790256823ull
1958 /* 63_C_12 */ , 2668424446233ull
1959 /* 63_C_13 */ , 10468434365991ull
1960 /* 63_C_14 */ , 37387265592825ull
1961 /* 63_C_15 */ , 122131734269895ull
1962 /* 63_C_16 */ , 366395202809685ull
1963 /* 63_C_17 */ , 1012974972473835ull
1964 /* 63_C_18 */ , 2588713818544245ull
1965 /* 63_C_19 */ , 6131164307078475ull
1966 /* 63_C_20 */ , 13488561475572645ull
1967 /* 63_C_21 */ , 27619435402363035ull
1968 /* 63_C_22 */ , 52728013040874885ull
1969 /* 63_C_23 */ , 93993414551124795ull
1970 /* 63_C_24 */ , 156655690918541325ull
1971 /* 63_C_25 */ , 244382877832924467ull
1972 /* 63_C_26 */ , 357174975294274221ull
1973 /* 63_C_27 */ , 489462003181042451ull
1974 /* 63_C_28 */ , 629308289804197437ull
1975 /* 63_C_29 */ , 759510004936100355ull
1976 /* 63_C_30 */ , 860778005594247069ull
1977 /* 63_C_31 */ , 916312070471295267ull
1978 },
1979 {
1980 /* 64_C_0 */ 1ull
1981 /* 64_C_1 */ , 64ull
1982 /* 64_C_2 */ , 2016ull
1983 /* 64_C_3 */ , 41664ull
1984 /* 64_C_4 */ , 635376ull
1985 /* 64_C_5 */ , 7624512ull
1986 /* 64_C_6 */ , 74974368ull
1987 /* 64_C_7 */ , 621216192ull
1988 /* 64_C_8 */ , 4426165368ull
1989 /* 64_C_9 */ , 27540584512ull
1990 /* 64_C_10 */ , 151473214816ull
1991 /* 64_C_11 */ , 743595781824ull
1992 /* 64_C_12 */ , 3284214703056ull
1993 /* 64_C_13 */ , 13136858812224ull
1994 /* 64_C_14 */ , 47855699958816ull
1995 /* 64_C_15 */ , 159518999862720ull
1996 /* 64_C_16 */ , 488526937079580ull
1997 /* 64_C_17 */ , 1379370175283520ull
1998 /* 64_C_18 */ , 3601688791018080ull
1999 /* 64_C_19 */ , 8719878125622720ull
2000 /* 64_C_20 */ , 19619725782651120ull
2001 /* 64_C_21 */ , 41107996877935680ull
2002 /* 64_C_22 */ , 80347448443237920ull
2003 /* 64_C_23 */ , 146721427591999680ull
2004 /* 64_C_24 */ , 250649105469666120ull
2005 /* 64_C_25 */ , 401038568751465792ull
2006 /* 64_C_26 */ , 601557853127198688ull
2007 /* 64_C_27 */ , 846636978475316672ull
2008 /* 64_C_28 */ , 1118770292985239888ull
2009 /* 64_C_29 */ , 1388818294740297792ull
2010 /* 64_C_30 */ , 1620288010530347424ull
2011 /* 64_C_31 */ , 1777090076065542336ull
2012 /* 64_C_32 */ , 1832624140942590534ull
2013 },
2014 {
2015 /* 65_C_0 */ 1ull
2016 /* 65_C_1 */ , 65ull
2017 /* 65_C_2 */ , 2080ull
2018 /* 65_C_3 */ , 43680ull
2019 /* 65_C_4 */ , 677040ull
2020 /* 65_C_5 */ , 8259888ull
2021 /* 65_C_6 */ , 82598880ull
2022 /* 65_C_7 */ , 696190560ull
2023 /* 65_C_8 */ , 5047381560ull
2024 /* 65_C_9 */ , 31966749880ull
2025 /* 65_C_10 */ , 179013799328ull
2026 /* 65_C_11 */ , 895068996640ull
2027 /* 65_C_12 */ , 4027810484880ull
2028 /* 65_C_13 */ , 16421073515280ull
2029 /* 65_C_14 */ , 60992558771040ull
2030 /* 65_C_15 */ , 207374699821536ull
2031 /* 65_C_16 */ , 648045936942300ull
2032 /* 65_C_17 */ , 1867897112363100ull
2033 /* 65_C_18 */ , 4981058966301600ull
2034 /* 65_C_19 */ , 12321566916640800ull
2035 /* 65_C_20 */ , 28339603908273840ull
2036 /* 65_C_21 */ , 60727722660586800ull
2037 /* 65_C_22 */ , 121455445321173600ull
2038 /* 65_C_23 */ , 227068876035237600ull
2039 /* 65_C_24 */ , 397370533061665800ull
2040 /* 65_C_25 */ , 651687674221131912ull
2041 /* 65_C_26 */ , 1002596421878664480ull
2042 /* 65_C_27 */ , 1448194831602515360ull
2043 /* 65_C_28 */ , 1965407271460556560ull
2044 /* 65_C_29 */ , 2507588587725537680ull
2045 /* 65_C_30 */ , 3009106305270645216ull
2046 /* 65_C_31 */ , 3397378086595889760ull
2047 /* 65_C_32 */ , 3609714217008132870ull
2048 },
2049 {
2050 /* 66_C_0 */ 1ull
2051 /* 66_C_1 */ , 66ull
2052 /* 66_C_2 */ , 2145ull
2053 /* 66_C_3 */ , 45760ull
2054 /* 66_C_4 */ , 720720ull
2055 /* 66_C_5 */ , 8936928ull
2056 /* 66_C_6 */ , 90858768ull
2057 /* 66_C_7 */ , 778789440ull
2058 /* 66_C_8 */ , 5743572120ull
2059 /* 66_C_9 */ , 37014131440ull
2060 /* 66_C_10 */ , 210980549208ull
2061 /* 66_C_11 */ , 1074082795968ull
2062 /* 66_C_12 */ , 4922879481520ull
2063 /* 66_C_13 */ , 20448884000160ull
2064 /* 66_C_14 */ , 77413632286320ull
2065 /* 66_C_15 */ , 268367258592576ull
2066 /* 66_C_16 */ , 855420636763836ull
2067 /* 66_C_17 */ , 2515943049305400ull
2068 /* 66_C_18 */ , 6848956078664700ull
2069 /* 66_C_19 */ , 17302625882942400ull
2070 /* 66_C_20 */ , 40661170824914640ull
2071 /* 66_C_21 */ , 89067326568860640ull
2072 /* 66_C_22 */ , 182183167981760400ull
2073 /* 66_C_23 */ , 348524321356411200ull
2074 /* 66_C_24 */ , 624439409096903400ull
2075 /* 66_C_25 */ , 1049058207282797712ull
2076 /* 66_C_26 */ , 1654284096099796392ull
2077 /* 66_C_27 */ , 2450791253481179840ull
2078 /* 66_C_28 */ , 3413602103063071920ull
2079 /* 66_C_29 */ , 4472995859186094240ull
2080 /* 66_C_30 */ , 5516694892996182896ull
2081 /* 66_C_31 */ , 6406484391866534976ull
2082 /* 66_C_32 */ , 7007092303604022630ull
2083 /* 66_C_33 */ , 7219428434016265740ull
2084 },
2085 {
2086 /* 67_C_0 */ 1ull
2087 /* 67_C_1 */ , 67ull
2088 /* 67_C_2 */ , 2211ull
2089 /* 67_C_3 */ , 47905ull
2090 /* 67_C_4 */ , 766480ull
2091 /* 67_C_5 */ , 9657648ull
2092 /* 67_C_6 */ , 99795696ull
2093 /* 67_C_7 */ , 869648208ull
2094 /* 67_C_8 */ , 6522361560ull
2095 /* 67_C_9 */ , 42757703560ull
2096 /* 67_C_10 */ , 247994680648ull
2097 /* 67_C_11 */ , 1285063345176ull
2098 /* 67_C_12 */ , 5996962277488ull
2099 /* 67_C_13 */ , 25371763481680ull
2100 /* 67_C_14 */ , 97862516286480ull
2101 /* 67_C_15 */ , 345780890878896ull
2102 /* 67_C_16 */ , 1123787895356412ull
2103 /* 67_C_17 */ , 3371363686069236ull
2104 /* 67_C_18 */ , 9364899127970100ull
2105 /* 67_C_19 */ , 24151581961607100ull
2106 /* 67_C_20 */ , 57963796707857040ull
2107 /* 67_C_21 */ , 129728497393775280ull
2108 /* 67_C_22 */ , 271250494550621040ull
2109 /* 67_C_23 */ , 530707489338171600ull
2110 /* 67_C_24 */ , 972963730453314600ull
2111 /* 67_C_25 */ , 1673497616379701112ull
2112 /* 67_C_26 */ , 2703342303382594104ull
2113 /* 67_C_27 */ , 4105075349580976232ull
2114 /* 67_C_28 */ , 5864393356544251760ull
2115 /* 67_C_29 */ , 7886597962249166160ull
2116 /* 67_C_30 */ , 9989690752182277136ull
2117 /* 67_C_31 */ , 11923179284862717872ull
2118 /* 67_C_32 */ , 13413576695470557606ull
2119 /* 67_C_33 */ , 14226520737620288370ull
2120 },
2121 {
2122 /* 68_C_0 */ 1ull
2123 /* 68_C_1 */ , 68ull
2124 /* 68_C_2 */ , 2278ull
2125 /* 68_C_3 */ , 50116ull
2126 /* 68_C_4 */ , 814385ull
2127 /* 68_C_5 */ , 10424128ull
2128 /* 68_C_6 */ , 109453344ull
2129 /* 68_C_7 */ , 969443904ull
2130 /* 68_C_8 */ , 7392009768ull
2131 /* 68_C_9 */ , 49280065120ull
2132 /* 68_C_10 */ , 290752384208ull
2133 /* 68_C_11 */ , 1533058025824ull
2134 /* 68_C_12 */ , 7282025622664ull
2135 /* 68_C_13 */ , 31368725759168ull
2136 /* 68_C_14 */ , 123234279768160ull
2137 /* 68_C_15 */ , 443643407165376ull
2138 /* 68_C_16 */ , 1469568786235308ull
2139 /* 68_C_17 */ , 4495151581425648ull
2140 /* 68_C_18 */ , 12736262814039336ull
2141 /* 68_C_19 */ , 33516481089577200ull
2142 /* 68_C_20 */ , 82115378669464140ull
2143 /* 68_C_21 */ , 187692294101632320ull
2144 /* 68_C_22 */ , 400978991944396320ull
2145 /* 68_C_23 */ , 801957983888792640ull
2146 /* 68_C_24 */ , 1503671219791486200ull
2147 /* 68_C_25 */ , 2646461346833015712ull
2148 /* 68_C_26 */ , 4376839919762295216ull
2149 /* 68_C_27 */ , 6808417652963570336ull
2150 /* 68_C_28 */ , 9969468706125227992ull
2151 /* 68_C_29 */ , 13750991318793417920ull
2152 /* 68_C_30 */ , 17876288714431443296ull
2153 },
2154 {
2155 /* 69_C_0 */ 1ull
2156 /* 69_C_1 */ , 69ull
2157 /* 69_C_2 */ , 2346ull
2158 /* 69_C_3 */ , 52394ull
2159 /* 69_C_4 */ , 864501ull
2160 /* 69_C_5 */ , 11238513ull
2161 /* 69_C_6 */ , 119877472ull
2162 /* 69_C_7 */ , 1078897248ull
2163 /* 69_C_8 */ , 8361453672ull
2164 /* 69_C_9 */ , 56672074888ull
2165 /* 69_C_10 */ , 340032449328ull
2166 /* 69_C_11 */ , 1823810410032ull
2167 /* 69_C_12 */ , 8815083648488ull
2168 /* 69_C_13 */ , 38650751381832ull
2169 /* 69_C_14 */ , 154603005527328ull
2170 /* 69_C_15 */ , 566877686933536ull
2171 /* 69_C_16 */ , 1913212193400684ull
2172 /* 69_C_17 */ , 5964720367660956ull
2173 /* 69_C_18 */ , 17231414395464984ull
2174 /* 69_C_19 */ , 46252743903616536ull
2175 /* 69_C_20 */ , 115631859759041340ull
2176 /* 69_C_21 */ , 269807672771096460ull
2177 /* 69_C_22 */ , 588671286046028640ull
2178 /* 69_C_23 */ , 1202936975833188960ull
2179 /* 69_C_24 */ , 2305629203680278840ull
2180 /* 69_C_25 */ , 4150132566624501912ull
2181 /* 69_C_26 */ , 7023301266595310928ull
2182 /* 69_C_27 */ , 11185257572725865552ull
2183 /* 69_C_28 */ , 16777886359088798328ull
2184 },
2185 {
2186 /* 70_C_0 */ 1ull
2187 /* 70_C_1 */ , 70ull
2188 /* 70_C_2 */ , 2415ull
2189 /* 70_C_3 */ , 54740ull
2190 /* 70_C_4 */ , 916895ull
2191 /* 70_C_5 */ , 12103014ull
2192 /* 70_C_6 */ , 131115985ull
2193 /* 70_C_7 */ , 1198774720ull
2194 /* 70_C_8 */ , 9440350920ull
2195 /* 70_C_9 */ , 65033528560ull
2196 /* 70_C_10 */ , 396704524216ull
2197 /* 70_C_11 */ , 2163842859360ull
2198 /* 70_C_12 */ , 10638894058520ull
2199 /* 70_C_13 */ , 47465835030320ull
2200 /* 70_C_14 */ , 193253756909160ull
2201 /* 70_C_15 */ , 721480692460864ull
2202 /* 70_C_16 */ , 2480089880334220ull
2203 /* 70_C_17 */ , 7877932561061640ull
2204 /* 70_C_18 */ , 23196134763125940ull
2205 /* 70_C_19 */ , 63484158299081520ull
2206 /* 70_C_20 */ , 161884603662657876ull
2207 /* 70_C_21 */ , 385439532530137800ull
2208 /* 70_C_22 */ , 858478958817125100ull
2209 /* 70_C_23 */ , 1791608261879217600ull
2210 /* 70_C_24 */ , 3508566179513467800ull
2211 /* 70_C_25 */ , 6455761770304780752ull
2212 /* 70_C_26 */ , 11173433833219812840ull
2213 /* 70_C_27 */ , 18208558839321176480ull
2214 },
2215 {
2216 /* 71_C_0 */ 1ull
2217 /* 71_C_1 */ , 71ull
2218 /* 71_C_2 */ , 2485ull
2219 /* 71_C_3 */ , 57155ull
2220 /* 71_C_4 */ , 971635ull
2221 /* 71_C_5 */ , 13019909ull
2222 /* 71_C_6 */ , 143218999ull
2223 /* 71_C_7 */ , 1329890705ull
2224 /* 71_C_8 */ , 10639125640ull
2225 /* 71_C_9 */ , 74473879480ull
2226 /* 71_C_10 */ , 461738052776ull
2227 /* 71_C_11 */ , 2560547383576ull
2228 /* 71_C_12 */ , 12802736917880ull
2229 /* 71_C_13 */ , 58104729088840ull
2230 /* 71_C_14 */ , 240719591939480ull
2231 /* 71_C_15 */ , 914734449370024ull
2232 /* 71_C_16 */ , 3201570572795084ull
2233 /* 71_C_17 */ , 10358022441395860ull
2234 /* 71_C_18 */ , 31074067324187580ull
2235 /* 71_C_19 */ , 86680293062207460ull
2236 /* 71_C_20 */ , 225368761961739396ull
2237 /* 71_C_21 */ , 547324136192795676ull
2238 /* 71_C_22 */ , 1243918491347262900ull
2239 /* 71_C_23 */ , 2650087220696342700ull
2240 /* 71_C_24 */ , 5300174441392685400ull
2241 /* 71_C_25 */ , 9964327949818248552ull
2242 /* 71_C_26 */ , 17629195603524593592ull
2243 },
2244 {
2245 /* 72_C_0 */ 1ull
2246 /* 72_C_1 */ , 72ull
2247 /* 72_C_2 */ , 2556ull
2248 /* 72_C_3 */ , 59640ull
2249 /* 72_C_4 */ , 1028790ull
2250 /* 72_C_5 */ , 13991544ull
2251 /* 72_C_6 */ , 156238908ull
2252 /* 72_C_7 */ , 1473109704ull
2253 /* 72_C_8 */ , 11969016345ull
2254 /* 72_C_9 */ , 85113005120ull
2255 /* 72_C_10 */ , 536211932256ull
2256 /* 72_C_11 */ , 3022285436352ull
2257 /* 72_C_12 */ , 15363284301456ull
2258 /* 72_C_13 */ , 70907466006720ull
2259 /* 72_C_14 */ , 298824321028320ull
2260 /* 72_C_15 */ , 1155454041309504ull
2261 /* 72_C_16 */ , 4116305022165108ull
2262 /* 72_C_17 */ , 13559593014190944ull
2263 /* 72_C_18 */ , 41432089765583440ull
2264 /* 72_C_19 */ , 117754360386395040ull
2265 /* 72_C_20 */ , 312049055023946856ull
2266 /* 72_C_21 */ , 772692898154535072ull
2267 /* 72_C_22 */ , 1791242627540058576ull
2268 /* 72_C_23 */ , 3894005712043605600ull
2269 /* 72_C_24 */ , 7950261662089028100ull
2270 /* 72_C_25 */ , 15264502391210933952ull
2271 },
2272 {
2273 /* 73_C_0 */ 1ull
2274 /* 73_C_1 */ , 73ull
2275 /* 73_C_2 */ , 2628ull
2276 /* 73_C_3 */ , 62196ull
2277 /* 73_C_4 */ , 1088430ull
2278 /* 73_C_5 */ , 15020334ull
2279 /* 73_C_6 */ , 170230452ull
2280 /* 73_C_7 */ , 1629348612ull
2281 /* 73_C_8 */ , 13442126049ull
2282 /* 73_C_9 */ , 97082021465ull
2283 /* 73_C_10 */ , 621324937376ull
2284 /* 73_C_11 */ , 3558497368608ull
2285 /* 73_C_12 */ , 18385569737808ull
2286 /* 73_C_13 */ , 86270750308176ull
2287 /* 73_C_14 */ , 369731787035040ull
2288 /* 73_C_15 */ , 1454278362337824ull
2289 /* 73_C_16 */ , 5271759063474612ull
2290 /* 73_C_17 */ , 17675898036356052ull
2291 /* 73_C_18 */ , 54991682779774384ull
2292 /* 73_C_19 */ , 159186450151978480ull
2293 /* 73_C_20 */ , 429803415410341896ull
2294 /* 73_C_21 */ , 1084741953178481928ull
2295 /* 73_C_22 */ , 2563935525694593648ull
2296 /* 73_C_23 */ , 5685248339583664176ull
2297 /* 73_C_24 */ , 11844267374132633700ull
2298 },
2299 {
2300 /* 74_C_0 */ 1ull
2301 /* 74_C_1 */ , 74ull
2302 /* 74_C_2 */ , 2701ull
2303 /* 74_C_3 */ , 64824ull
2304 /* 74_C_4 */ , 1150626ull
2305 /* 74_C_5 */ , 16108764ull
2306 /* 74_C_6 */ , 185250786ull
2307 /* 74_C_7 */ , 1799579064ull
2308 /* 74_C_8 */ , 15071474661ull
2309 /* 74_C_9 */ , 110524147514ull
2310 /* 74_C_10 */ , 718406958841ull
2311 /* 74_C_11 */ , 4179822305984ull
2312 /* 74_C_12 */ , 21944067106416ull
2313 /* 74_C_13 */ , 104656320045984ull
2314 /* 74_C_14 */ , 456002537343216ull
2315 /* 74_C_15 */ , 1824010149372864ull
2316 /* 74_C_16 */ , 6726037425812436ull
2317 /* 74_C_17 */ , 22947657099830664ull
2318 /* 74_C_18 */ , 72667580816130436ull
2319 /* 74_C_19 */ , 214178132931752864ull
2320 /* 74_C_20 */ , 588989865562320376ull
2321 /* 74_C_21 */ , 1514545368588823824ull
2322 /* 74_C_22 */ , 3648677478873075576ull
2323 /* 74_C_23 */ , 8249183865278257824ull
2324 /* 74_C_24 */ , 17529515713716297876ull
2325 },
2326 {
2327 /* 75_C_0 */ 1ull
2328 /* 75_C_1 */ , 75ull
2329 /* 75_C_2 */ , 2775ull
2330 /* 75_C_3 */ , 67525ull
2331 /* 75_C_4 */ , 1215450ull
2332 /* 75_C_5 */ , 17259390ull
2333 /* 75_C_6 */ , 201359550ull
2334 /* 75_C_7 */ , 1984829850ull
2335 /* 75_C_8 */ , 16871053725ull
2336 /* 75_C_9 */ , 125595622175ull
2337 /* 75_C_10 */ , 828931106355ull
2338 /* 75_C_11 */ , 4898229264825ull
2339 /* 75_C_12 */ , 26123889412400ull
2340 /* 75_C_13 */ , 126600387152400ull
2341 /* 75_C_14 */ , 560658857389200ull
2342 /* 75_C_15 */ , 2280012686716080ull
2343 /* 75_C_16 */ , 8550047575185300ull
2344 /* 75_C_17 */ , 29673694525643100ull
2345 /* 75_C_18 */ , 95615237915961100ull
2346 /* 75_C_19 */ , 286845713747883300ull
2347 /* 75_C_20 */ , 803167998494073240ull
2348 /* 75_C_21 */ , 2103535234151144200ull
2349 /* 75_C_22 */ , 5163222847461899400ull
2350 /* 75_C_23 */ , 11897861344151333400ull
2351 },
2352 {
2353 /* 76_C_0 */ 1ull
2354 /* 76_C_1 */ , 76ull
2355 /* 76_C_2 */ , 2850ull
2356 /* 76_C_3 */ , 70300ull
2357 /* 76_C_4 */ , 1282975ull
2358 /* 76_C_5 */ , 18474840ull
2359 /* 76_C_6 */ , 218618940ull
2360 /* 76_C_7 */ , 2186189400ull
2361 /* 76_C_8 */ , 18855883575ull
2362 /* 76_C_9 */ , 142466675900ull
2363 /* 76_C_10 */ , 954526728530ull
2364 /* 76_C_11 */ , 5727160371180ull
2365 /* 76_C_12 */ , 31022118677225ull
2366 /* 76_C_13 */ , 152724276564800ull
2367 /* 76_C_14 */ , 687259244541600ull
2368 /* 76_C_15 */ , 2840671544105280ull
2369 /* 76_C_16 */ , 10830060261901380ull
2370 /* 76_C_17 */ , 38223742100828400ull
2371 /* 76_C_18 */ , 125288932441604200ull
2372 /* 76_C_19 */ , 382460951663844400ull
2373 /* 76_C_20 */ , 1090013712241956540ull
2374 /* 76_C_21 */ , 2906703232645217440ull
2375 /* 76_C_22 */ , 7266758081613043600ull
2376 /* 76_C_23 */ , 17061084191613232800ull
2377 },
2378 {
2379 /* 77_C_0 */ 1ull
2380 /* 77_C_1 */ , 77ull
2381 /* 77_C_2 */ , 2926ull
2382 /* 77_C_3 */ , 73150ull
2383 /* 77_C_4 */ , 1353275ull
2384 /* 77_C_5 */ , 19757815ull
2385 /* 77_C_6 */ , 237093780ull
2386 /* 77_C_7 */ , 2404808340ull
2387 /* 77_C_8 */ , 21042072975ull
2388 /* 77_C_9 */ , 161322559475ull
2389 /* 77_C_10 */ , 1096993404430ull
2390 /* 77_C_11 */ , 6681687099710ull
2391 /* 77_C_12 */ , 36749279048405ull
2392 /* 77_C_13 */ , 183746395242025ull
2393 /* 77_C_14 */ , 839983521106400ull
2394 /* 77_C_15 */ , 3527930788646880ull
2395 /* 77_C_16 */ , 13670731806006660ull
2396 /* 77_C_17 */ , 49053802362729780ull
2397 /* 77_C_18 */ , 163512674542432600ull
2398 /* 77_C_19 */ , 507749884105448600ull
2399 /* 77_C_20 */ , 1472474663905800940ull
2400 /* 77_C_21 */ , 3996716944887173980ull
2401 /* 77_C_22 */ , 10173461314258261040ull
2402 },
2403 {
2404 /* 78_C_0 */ 1ull
2405 /* 78_C_1 */ , 78ull
2406 /* 78_C_2 */ , 3003ull
2407 /* 78_C_3 */ , 76076ull
2408 /* 78_C_4 */ , 1426425ull
2409 /* 78_C_5 */ , 21111090ull
2410 /* 78_C_6 */ , 256851595ull
2411 /* 78_C_7 */ , 2641902120ull
2412 /* 78_C_8 */ , 23446881315ull
2413 /* 78_C_9 */ , 182364632450ull
2414 /* 78_C_10 */ , 1258315963905ull
2415 /* 78_C_11 */ , 7778680504140ull
2416 /* 78_C_12 */ , 43430966148115ull
2417 /* 78_C_13 */ , 220495674290430ull
2418 /* 78_C_14 */ , 1023729916348425ull
2419 /* 78_C_15 */ , 4367914309753280ull
2420 /* 78_C_16 */ , 17198662594653540ull
2421 /* 78_C_17 */ , 62724534168736440ull
2422 /* 78_C_18 */ , 212566476905162380ull
2423 /* 78_C_19 */ , 671262558647881200ull
2424 /* 78_C_20 */ , 1980224548011249540ull
2425 /* 78_C_21 */ , 5469191608792974920ull
2426 /* 78_C_22 */ , 14170178259145435020ull
2427 },
2428 {
2429 /* 79_C_0 */ 1ull
2430 /* 79_C_1 */ , 79ull
2431 /* 79_C_2 */ , 3081ull
2432 /* 79_C_3 */ , 79079ull
2433 /* 79_C_4 */ , 1502501ull
2434 /* 79_C_5 */ , 22537515ull
2435 /* 79_C_6 */ , 277962685ull
2436 /* 79_C_7 */ , 2898753715ull
2437 /* 79_C_8 */ , 26088783435ull
2438 /* 79_C_9 */ , 205811513765ull
2439 /* 79_C_10 */ , 1440680596355ull
2440 /* 79_C_11 */ , 9036996468045ull
2441 /* 79_C_12 */ , 51209646652255ull
2442 /* 79_C_13 */ , 263926640438545ull
2443 /* 79_C_14 */ , 1244225590638855ull
2444 /* 79_C_15 */ , 5391644226101705ull
2445 /* 79_C_16 */ , 21566576904406820ull
2446 /* 79_C_17 */ , 79923196763389980ull
2447 /* 79_C_18 */ , 275291011073898820ull
2448 /* 79_C_19 */ , 883829035553043580ull
2449 /* 79_C_20 */ , 2651487106659130740ull
2450 /* 79_C_21 */ , 7449416156804224460ull
2451 },
2452 {
2453 /* 80_C_0 */ 1ull
2454 /* 80_C_1 */ , 80ull
2455 /* 80_C_2 */ , 3160ull
2456 /* 80_C_3 */ , 82160ull
2457 /* 80_C_4 */ , 1581580ull
2458 /* 80_C_5 */ , 24040016ull
2459 /* 80_C_6 */ , 300500200ull
2460 /* 80_C_7 */ , 3176716400ull
2461 /* 80_C_8 */ , 28987537150ull
2462 /* 80_C_9 */ , 231900297200ull
2463 /* 80_C_10 */ , 1646492110120ull
2464 /* 80_C_11 */ , 10477677064400ull
2465 /* 80_C_12 */ , 60246643120300ull
2466 /* 80_C_13 */ , 315136287090800ull
2467 /* 80_C_14 */ , 1508152231077400ull
2468 /* 80_C_15 */ , 6635869816740560ull
2469 /* 80_C_16 */ , 26958221130508525ull
2470 /* 80_C_17 */ , 101489773667796800ull
2471 /* 80_C_18 */ , 355214207837288800ull
2472 /* 80_C_19 */ , 1159120046626942400ull
2473 /* 80_C_20 */ , 3535316142212174320ull
2474 /* 80_C_21 */ , 10100903263463355200ull
2475 },
2476 {
2477 /* 81_C_0 */ 1ull
2478 /* 81_C_1 */ , 81ull
2479 /* 81_C_2 */ , 3240ull
2480 /* 81_C_3 */ , 85320ull
2481 /* 81_C_4 */ , 1663740ull
2482 /* 81_C_5 */ , 25621596ull
2483 /* 81_C_6 */ , 324540216ull
2484 /* 81_C_7 */ , 3477216600ull
2485 /* 81_C_8 */ , 32164253550ull
2486 /* 81_C_9 */ , 260887834350ull
2487 /* 81_C_10 */ , 1878392407320ull
2488 /* 81_C_11 */ , 12124169174520ull
2489 /* 81_C_12 */ , 70724320184700ull
2490 /* 81_C_13 */ , 375382930211100ull
2491 /* 81_C_14 */ , 1823288518168200ull
2492 /* 81_C_15 */ , 8144022047817960ull
2493 /* 81_C_16 */ , 33594090947249085ull
2494 /* 81_C_17 */ , 128447994798305325ull
2495 /* 81_C_18 */ , 456703981505085600ull
2496 /* 81_C_19 */ , 1514334254464231200ull
2497 /* 81_C_20 */ , 4694436188839116720ull
2498 /* 81_C_21 */ , 13636219405675529520ull
2499 },
2500 {
2501 /* 82_C_0 */ 1ull
2502 /* 82_C_1 */ , 82ull
2503 /* 82_C_2 */ , 3321ull
2504 /* 82_C_3 */ , 88560ull
2505 /* 82_C_4 */ , 1749060ull
2506 /* 82_C_5 */ , 27285336ull
2507 /* 82_C_6 */ , 350161812ull
2508 /* 82_C_7 */ , 3801756816ull
2509 /* 82_C_8 */ , 35641470150ull
2510 /* 82_C_9 */ , 293052087900ull
2511 /* 82_C_10 */ , 2139280241670ull
2512 /* 82_C_11 */ , 14002561581840ull
2513 /* 82_C_12 */ , 82848489359220ull
2514 /* 82_C_13 */ , 446107250395800ull
2515 /* 82_C_14 */ , 2198671448379300ull
2516 /* 82_C_15 */ , 9967310565986160ull
2517 /* 82_C_16 */ , 41738112995067045ull
2518 /* 82_C_17 */ , 162042085745554410ull
2519 /* 82_C_18 */ , 585151976303390925ull
2520 /* 82_C_19 */ , 1971038235969316800ull
2521 /* 82_C_20 */ , 6208770443303347920ull
2522 /* 82_C_21 */ , 18330655594514646240ull
2523 },
2524 {
2525 /* 83_C_0 */ 1ull
2526 /* 83_C_1 */ , 83ull
2527 /* 83_C_2 */ , 3403ull
2528 /* 83_C_3 */ , 91881ull
2529 /* 83_C_4 */ , 1837620ull
2530 /* 83_C_5 */ , 29034396ull
2531 /* 83_C_6 */ , 377447148ull
2532 /* 83_C_7 */ , 4151918628ull
2533 /* 83_C_8 */ , 39443226966ull
2534 /* 83_C_9 */ , 328693558050ull
2535 /* 83_C_10 */ , 2432332329570ull
2536 /* 83_C_11 */ , 16141841823510ull
2537 /* 83_C_12 */ , 96851050941060ull
2538 /* 83_C_13 */ , 528955739755020ull
2539 /* 83_C_14 */ , 2644778698775100ull
2540 /* 83_C_15 */ , 12165982014365460ull
2541 /* 83_C_16 */ , 51705423561053205ull
2542 /* 83_C_17 */ , 203780198740621455ull
2543 /* 83_C_18 */ , 747194062048945335ull
2544 /* 83_C_19 */ , 2556190212272707725ull
2545 /* 83_C_20 */ , 8179808679272664720ull
2546 },
2547 {
2548 /* 84_C_0 */ 1ull
2549 /* 84_C_1 */ , 84ull
2550 /* 84_C_2 */ , 3486ull
2551 /* 84_C_3 */ , 95284ull
2552 /* 84_C_4 */ , 1929501ull
2553 /* 84_C_5 */ , 30872016ull
2554 /* 84_C_6 */ , 406481544ull
2555 /* 84_C_7 */ , 4529365776ull
2556 /* 84_C_8 */ , 43595145594ull
2557 /* 84_C_9 */ , 368136785016ull
2558 /* 84_C_10 */ , 2761025887620ull
2559 /* 84_C_11 */ , 18574174153080ull
2560 /* 84_C_12 */ , 112992892764570ull
2561 /* 84_C_13 */ , 625806790696080ull
2562 /* 84_C_14 */ , 3173734438530120ull
2563 /* 84_C_15 */ , 14810760713140560ull
2564 /* 84_C_16 */ , 63871405575418665ull
2565 /* 84_C_17 */ , 255485622301674660ull
2566 /* 84_C_18 */ , 950974260789566790ull
2567 /* 84_C_19 */ , 3303384274321653060ull
2568 /* 84_C_20 */ , 10735998891545372445ull
2569 },
2570 {
2571 /* 85_C_0 */ 1ull
2572 /* 85_C_1 */ , 85ull
2573 /* 85_C_2 */ , 3570ull
2574 /* 85_C_3 */ , 98770ull
2575 /* 85_C_4 */ , 2024785ull
2576 /* 85_C_5 */ , 32801517ull
2577 /* 85_C_6 */ , 437353560ull
2578 /* 85_C_7 */ , 4935847320ull
2579 /* 85_C_8 */ , 48124511370ull
2580 /* 85_C_9 */ , 411731930610ull
2581 /* 85_C_10 */ , 3129162672636ull
2582 /* 85_C_11 */ , 21335200040700ull
2583 /* 85_C_12 */ , 131567066917650ull
2584 /* 85_C_13 */ , 738799683460650ull
2585 /* 85_C_14 */ , 3799541229226200ull
2586 /* 85_C_15 */ , 17984495151670680ull
2587 /* 85_C_16 */ , 78682166288559225ull
2588 /* 85_C_17 */ , 319357027877093325ull
2589 /* 85_C_18 */ , 1206459883091241450ull
2590 /* 85_C_19 */ , 4254358535111219850ull
2591 /* 85_C_20 */ , 14039383165867025505ull
2592 },
2593 {
2594 /* 86_C_0 */ 1ull
2595 /* 86_C_1 */ , 86ull
2596 /* 86_C_2 */ , 3655ull
2597 /* 86_C_3 */ , 102340ull
2598 /* 86_C_4 */ , 2123555ull
2599 /* 86_C_5 */ , 34826302ull
2600 /* 86_C_6 */ , 470155077ull
2601 /* 86_C_7 */ , 5373200880ull
2602 /* 86_C_8 */ , 53060358690ull
2603 /* 86_C_9 */ , 459856441980ull
2604 /* 86_C_10 */ , 3540894603246ull
2605 /* 86_C_11 */ , 24464362713336ull
2606 /* 86_C_12 */ , 152902266958350ull
2607 /* 86_C_13 */ , 870366750378300ull
2608 /* 86_C_14 */ , 4538340912686850ull
2609 /* 86_C_15 */ , 21784036380896880ull
2610 /* 86_C_16 */ , 96666661440229905ull
2611 /* 86_C_17 */ , 398039194165652550ull
2612 /* 86_C_18 */ , 1525816910968334775ull
2613 /* 86_C_19 */ , 5460818418202461300ull
2614 /* 86_C_20 */ , 18293741700978245355ull
2615 },
2616 {
2617 /* 87_C_0 */ 1ull
2618 /* 87_C_1 */ , 87ull
2619 /* 87_C_2 */ , 3741ull
2620 /* 87_C_3 */ , 105995ull
2621 /* 87_C_4 */ , 2225895ull
2622 /* 87_C_5 */ , 36949857ull
2623 /* 87_C_6 */ , 504981379ull
2624 /* 87_C_7 */ , 5843355957ull
2625 /* 87_C_8 */ , 58433559570ull
2626 /* 87_C_9 */ , 512916800670ull
2627 /* 87_C_10 */ , 4000751045226ull
2628 /* 87_C_11 */ , 28005257316582ull
2629 /* 87_C_12 */ , 177366629671686ull
2630 /* 87_C_13 */ , 1023269017336650ull
2631 /* 87_C_14 */ , 5408707663065150ull
2632 /* 87_C_15 */ , 26322377293583730ull
2633 /* 87_C_16 */ , 118450697821126785ull
2634 /* 87_C_17 */ , 494705855605882455ull
2635 /* 87_C_18 */ , 1923856105133987325ull
2636 /* 87_C_19 */ , 6986635329170796075ull
2637 },
2638 {
2639 /* 88_C_0 */ 1ull
2640 /* 88_C_1 */ , 88ull
2641 /* 88_C_2 */ , 3828ull
2642 /* 88_C_3 */ , 109736ull
2643 /* 88_C_4 */ , 2331890ull
2644 /* 88_C_5 */ , 39175752ull
2645 /* 88_C_6 */ , 541931236ull
2646 /* 88_C_7 */ , 6348337336ull
2647 /* 88_C_8 */ , 64276915527ull
2648 /* 88_C_9 */ , 571350360240ull
2649 /* 88_C_10 */ , 4513667845896ull
2650 /* 88_C_11 */ , 32006008361808ull
2651 /* 88_C_12 */ , 205371886988268ull
2652 /* 88_C_13 */ , 1200635647008336ull
2653 /* 88_C_14 */ , 6431976680401800ull
2654 /* 88_C_15 */ , 31731084956648880ull
2655 /* 88_C_16 */ , 144773075114710515ull
2656 /* 88_C_17 */ , 613156553427009240ull
2657 /* 88_C_18 */ , 2418561960739869780ull
2658 /* 88_C_19 */ , 8910491434304783400ull
2659 },
2660 {
2661 /* 89_C_0 */ 1ull
2662 /* 89_C_1 */ , 89ull
2663 /* 89_C_2 */ , 3916ull
2664 /* 89_C_3 */ , 113564ull
2665 /* 89_C_4 */ , 2441626ull
2666 /* 89_C_5 */ , 41507642ull
2667 /* 89_C_6 */ , 581106988ull
2668 /* 89_C_7 */ , 6890268572ull
2669 /* 89_C_8 */ , 70625252863ull
2670 /* 89_C_9 */ , 635627275767ull
2671 /* 89_C_10 */ , 5085018206136ull
2672 /* 89_C_11 */ , 36519676207704ull
2673 /* 89_C_12 */ , 237377895350076ull
2674 /* 89_C_13 */ , 1406007533996604ull
2675 /* 89_C_14 */ , 7632612327410136ull
2676 /* 89_C_15 */ , 38163061637050680ull
2677 /* 89_C_16 */ , 176504160071359395ull
2678 /* 89_C_17 */ , 757929628541719755ull
2679 /* 89_C_18 */ , 3031718514166879020ull
2680 /* 89_C_19 */ , 11329053395044653180ull
2681 },
2682 {
2683 /* 90_C_0 */ 1ull
2684 /* 90_C_1 */ , 90ull
2685 /* 90_C_2 */ , 4005ull
2686 /* 90_C_3 */ , 117480ull
2687 /* 90_C_4 */ , 2555190ull
2688 /* 90_C_5 */ , 43949268ull
2689 /* 90_C_6 */ , 622614630ull
2690 /* 90_C_7 */ , 7471375560ull
2691 /* 90_C_8 */ , 77515521435ull
2692 /* 90_C_9 */ , 706252528630ull
2693 /* 90_C_10 */ , 5720645481903ull
2694 /* 90_C_11 */ , 41604694413840ull
2695 /* 90_C_12 */ , 273897571557780ull
2696 /* 90_C_13 */ , 1643385429346680ull
2697 /* 90_C_14 */ , 9038619861406740ull
2698 /* 90_C_15 */ , 45795673964460816ull
2699 /* 90_C_16 */ , 214667221708410075ull
2700 /* 90_C_17 */ , 934433788613079150ull
2701 /* 90_C_18 */ , 3789648142708598775ull
2702 /* 90_C_19 */ , 14360771909211532200ull
2703 },
2704 {
2705 /* 91_C_0 */ 1ull
2706 /* 91_C_1 */ , 91ull
2707 /* 91_C_2 */ , 4095ull
2708 /* 91_C_3 */ , 121485ull
2709 /* 91_C_4 */ , 2672670ull
2710 /* 91_C_5 */ , 46504458ull
2711 /* 91_C_6 */ , 666563898ull
2712 /* 91_C_7 */ , 8093990190ull
2713 /* 91_C_8 */ , 84986896995ull
2714 /* 91_C_9 */ , 783768050065ull
2715 /* 91_C_10 */ , 6426898010533ull
2716 /* 91_C_11 */ , 47325339895743ull
2717 /* 91_C_12 */ , 315502265971620ull
2718 /* 91_C_13 */ , 1917283000904460ull
2719 /* 91_C_14 */ , 10682005290753420ull
2720 /* 91_C_15 */ , 54834293825867556ull
2721 /* 91_C_16 */ , 260462895672870891ull
2722 /* 91_C_17 */ , 1149101010321489225ull
2723 /* 91_C_18 */ , 4724081931321677925ull
2724 /* 91_C_19 */ , 18150420051920130975ull
2725 },
2726 {
2727 /* 92_C_0 */ 1ull
2728 /* 92_C_1 */ , 92ull
2729 /* 92_C_2 */ , 4186ull
2730 /* 92_C_3 */ , 125580ull
2731 /* 92_C_4 */ , 2794155ull
2732 /* 92_C_5 */ , 49177128ull
2733 /* 92_C_6 */ , 713068356ull
2734 /* 92_C_7 */ , 8760554088ull
2735 /* 92_C_8 */ , 93080887185ull
2736 /* 92_C_9 */ , 868754947060ull
2737 /* 92_C_10 */ , 7210666060598ull
2738 /* 92_C_11 */ , 53752237906276ull
2739 /* 92_C_12 */ , 362827605867363ull
2740 /* 92_C_13 */ , 2232785266876080ull
2741 /* 92_C_14 */ , 12599288291657880ull
2742 /* 92_C_15 */ , 65516299116620976ull
2743 /* 92_C_16 */ , 315297189498738447ull
2744 /* 92_C_17 */ , 1409563905994360116ull
2745 /* 92_C_18 */ , 5873182941643167150ull
2746 },
2747 {
2748 /* 93_C_0 */ 1ull
2749 /* 93_C_1 */ , 93ull
2750 /* 93_C_2 */ , 4278ull
2751 /* 93_C_3 */ , 129766ull
2752 /* 93_C_4 */ , 2919735ull
2753 /* 93_C_5 */ , 51971283ull
2754 /* 93_C_6 */ , 762245484ull
2755 /* 93_C_7 */ , 9473622444ull
2756 /* 93_C_8 */ , 101841441273ull
2757 /* 93_C_9 */ , 961835834245ull
2758 /* 93_C_10 */ , 8079421007658ull
2759 /* 93_C_11 */ , 60962903966874ull
2760 /* 93_C_12 */ , 416579843773639ull
2761 /* 93_C_13 */ , 2595612872743443ull
2762 /* 93_C_14 */ , 14832073558533960ull
2763 /* 93_C_15 */ , 78115587408278856ull
2764 /* 93_C_16 */ , 380813488615359423ull
2765 /* 93_C_17 */ , 1724861095493098563ull
2766 /* 93_C_18 */ , 7282746847637527266ull
2767 },
2768 {
2769 /* 94_C_0 */ 1ull
2770 /* 94_C_1 */ , 94ull
2771 /* 94_C_2 */ , 4371ull
2772 /* 94_C_3 */ , 134044ull
2773 /* 94_C_4 */ , 3049501ull
2774 /* 94_C_5 */ , 54891018ull
2775 /* 94_C_6 */ , 814216767ull
2776 /* 94_C_7 */ , 10235867928ull
2777 /* 94_C_8 */ , 111315063717ull
2778 /* 94_C_9 */ , 1063677275518ull
2779 /* 94_C_10 */ , 9041256841903ull
2780 /* 94_C_11 */ , 69042324974532ull
2781 /* 94_C_12 */ , 477542747740513ull
2782 /* 94_C_13 */ , 3012192716517082ull
2783 /* 94_C_14 */ , 17427686431277403ull
2784 /* 94_C_15 */ , 92947660966812816ull
2785 /* 94_C_16 */ , 458929076023638279ull
2786 /* 94_C_17 */ , 2105674584108457986ull
2787 /* 94_C_18 */ , 9007607943130625829ull
2788 },
2789 {
2790 /* 95_C_0 */ 1ull
2791 /* 95_C_1 */ , 95ull
2792 /* 95_C_2 */ , 4465ull
2793 /* 95_C_3 */ , 138415ull
2794 /* 95_C_4 */ , 3183545ull
2795 /* 95_C_5 */ , 57940519ull
2796 /* 95_C_6 */ , 869107785ull
2797 /* 95_C_7 */ , 11050084695ull
2798 /* 95_C_8 */ , 121550931645ull
2799 /* 95_C_9 */ , 1174992339235ull
2800 /* 95_C_10 */ , 10104934117421ull
2801 /* 95_C_11 */ , 78083581816435ull
2802 /* 95_C_12 */ , 546585072715045ull
2803 /* 95_C_13 */ , 3489735464257595ull
2804 /* 95_C_14 */ , 20439879147794485ull
2805 /* 95_C_15 */ , 110375347398090219ull
2806 /* 95_C_16 */ , 551876736990451095ull
2807 /* 95_C_17 */ , 2564603660132096265ull
2808 /* 95_C_18 */ , 11113282527239083815ull
2809 },
2810 {
2811 /* 96_C_0 */ 1ull
2812 /* 96_C_1 */ , 96ull
2813 /* 96_C_2 */ , 4560ull
2814 /* 96_C_3 */ , 142880ull
2815 /* 96_C_4 */ , 3321960ull
2816 /* 96_C_5 */ , 61124064ull
2817 /* 96_C_6 */ , 927048304ull
2818 /* 96_C_7 */ , 11919192480ull
2819 /* 96_C_8 */ , 132601016340ull
2820 /* 96_C_9 */ , 1296543270880ull
2821 /* 96_C_10 */ , 11279926456656ull
2822 /* 96_C_11 */ , 88188515933856ull
2823 /* 96_C_12 */ , 624668654531480ull
2824 /* 96_C_13 */ , 4036320536972640ull
2825 /* 96_C_14 */ , 23929614612052080ull
2826 /* 96_C_15 */ , 130815226545884704ull
2827 /* 96_C_16 */ , 662252084388541314ull
2828 /* 96_C_17 */ , 3116480397122547360ull
2829 /* 96_C_18 */ , 13677886187371180080ull
2830 },
2831 {
2832 /* 97_C_0 */ 1ull
2833 /* 97_C_1 */ , 97ull
2834 /* 97_C_2 */ , 4656ull
2835 /* 97_C_3 */ , 147440ull
2836 /* 97_C_4 */ , 3464840ull
2837 /* 97_C_5 */ , 64446024ull
2838 /* 97_C_6 */ , 988172368ull
2839 /* 97_C_7 */ , 12846240784ull
2840 /* 97_C_8 */ , 144520208820ull
2841 /* 97_C_9 */ , 1429144287220ull
2842 /* 97_C_10 */ , 12576469727536ull
2843 /* 97_C_11 */ , 99468442390512ull
2844 /* 97_C_12 */ , 712857170465336ull
2845 /* 97_C_13 */ , 4660989191504120ull
2846 /* 97_C_14 */ , 27965935149024720ull
2847 /* 97_C_15 */ , 154744841157936784ull
2848 /* 97_C_16 */ , 793067310934426018ull
2849 /* 97_C_17 */ , 3778732481511088674ull
2850 /* 97_C_18 */ , 16794366584493727440ull
2851 },
2852 {
2853 /* 98_C_0 */ 1ull
2854 /* 98_C_1 */ , 98ull
2855 /* 98_C_2 */ , 4753ull
2856 /* 98_C_3 */ , 152096ull
2857 /* 98_C_4 */ , 3612280ull
2858 /* 98_C_5 */ , 67910864ull
2859 /* 98_C_6 */ , 1052618392ull
2860 /* 98_C_7 */ , 13834413152ull
2861 /* 98_C_8 */ , 157366449604ull
2862 /* 98_C_9 */ , 1573664496040ull
2863 /* 98_C_10 */ , 14005614014756ull
2864 /* 98_C_11 */ , 112044912118048ull
2865 /* 98_C_12 */ , 812325612855848ull
2866 /* 98_C_13 */ , 5373846361969456ull
2867 /* 98_C_14 */ , 32626924340528840ull
2868 /* 98_C_15 */ , 182710776306961504ull
2869 /* 98_C_16 */ , 947812152092362802ull
2870 /* 98_C_17 */ , 4571799792445514692ull
2871 },
2872 {
2873 /* 99_C_0 */ 1ull
2874 /* 99_C_1 */ , 99ull
2875 /* 99_C_2 */ , 4851ull
2876 /* 99_C_3 */ , 156849ull
2877 /* 99_C_4 */ , 3764376ull
2878 /* 99_C_5 */ , 71523144ull
2879 /* 99_C_6 */ , 1120529256ull
2880 /* 99_C_7 */ , 14887031544ull
2881 /* 99_C_8 */ , 171200862756ull
2882 /* 99_C_9 */ , 1731030945644ull
2883 /* 99_C_10 */ , 15579278510796ull
2884 /* 99_C_11 */ , 126050526132804ull
2885 /* 99_C_12 */ , 924370524973896ull
2886 /* 99_C_13 */ , 6186171974825304ull
2887 /* 99_C_14 */ , 38000770702498296ull
2888 /* 99_C_15 */ , 215337700647490344ull
2889 /* 99_C_16 */ , 1130522928399324306ull
2890 /* 99_C_17 */ , 5519611944537877494ull
2891 },
2892 {
2893 /* 100_C_0 */ 1ull
2894 /* 100_C_1 */ , 100ull
2895 /* 100_C_2 */ , 4950ull
2896 /* 100_C_3 */ , 161700ull
2897 /* 100_C_4 */ , 3921225ull
2898 /* 100_C_5 */ , 75287520ull
2899 /* 100_C_6 */ , 1192052400ull
2900 /* 100_C_7 */ , 16007560800ull
2901 /* 100_C_8 */ , 186087894300ull
2902 /* 100_C_9 */ , 1902231808400ull
2903 /* 100_C_10 */ , 17310309456440ull
2904 /* 100_C_11 */ , 141629804643600ull
2905 /* 100_C_12 */ , 1050421051106700ull
2906 /* 100_C_13 */ , 7110542499799200ull
2907 /* 100_C_14 */ , 44186942677323600ull
2908 /* 100_C_15 */ , 253338471349988640ull
2909 /* 100_C_16 */ , 1345860629046814650ull
2910 /* 100_C_17 */ , 6650134872937201800ull
2911 }
2912 };
2913 // end of combination_table
2914}
2915// end of namespace cpg::rational_number
cpg::rational_number
Definition: cpg_rational.hpp:37
cpg::rational_number::permutation_table
const std::vector< std::vector< unsigned long long > > permutation_table
Definition: permu_combi_table.cxx:32
cpg::rational_number::factorial_table
const std::vector< unsigned long long > factorial_table
Definition: permu_combi_table.cxx:6
cpg::rational_number::combination_table
const std::vector< std::vector< unsigned long long > > combination_table
Definition: permu_combi_table.cxx:794