***************************************************************************** * www.FindStat.org - The Combinatorial Statistic Finder * * * * Copyright (C) 2019 The FindStatCrew * * * * This information is distributed in the hope that it will be useful, * * but WITHOUT ANY WARRANTY; without even the implied warranty of * * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. * ***************************************************************************** ----------------------------------------------------------------------------- Statistic identifier: St001361 ----------------------------------------------------------------------------- Collection: Dyck paths ----------------------------------------------------------------------------- Description: The number of lattice paths of the same length that stay weakly above a Dyck path. In particular, the statistic value is $2^n$ for the Dyck path consisting of $n$ north steps followed by $n$ east steps and the central binomial coefficient $\binom{2n}{n}$ for the Dyck path consisting of $n$ alternating north and east steps. The number of such paths is always even: the final step of a Dyck path $D$ must be a down step. Thus, the final step of a path above $D$ can be arbitrarily chosen. ----------------------------------------------------------------------------- References: ----------------------------------------------------------------------------- Code: @cached_function def all_paths_above(L, i=0): if i < 0: return [] elif len(L) == 0: return [tuple()] else: steps = [] if L[0] == 1: steps.append((1,i)) steps.append((0,i-1)) if L[0] == 0: steps.append((1,i+1)) steps.append((0,i)) return [ tuple([a]) + path for a,i in steps for path in all_paths_above(L[1:],i)] def statistic(D): return len(all_paths_above(tuple(D))) ----------------------------------------------------------------------------- Statistic values: [1,0] => 2 [1,0,1,0] => 6 [1,1,0,0] => 4 [1,0,1,0,1,0] => 20 [1,0,1,1,0,0] => 16 [1,1,0,0,1,0] => 14 [1,1,0,1,0,0] => 12 [1,1,1,0,0,0] => 8 [1,0,1,0,1,0,1,0] => 70 [1,0,1,0,1,1,0,0] => 60 [1,0,1,1,0,0,1,0] => 58 [1,0,1,1,0,1,0,0] => 52 [1,0,1,1,1,0,0,0] => 40 [1,1,0,0,1,0,1,0] => 50 [1,1,0,0,1,1,0,0] => 44 [1,1,0,1,0,0,1,0] => 44 [1,1,0,1,0,1,0,0] => 40 [1,1,0,1,1,0,0,0] => 32 [1,1,1,0,0,0,1,0] => 30 [1,1,1,0,0,1,0,0] => 28 [1,1,1,0,1,0,0,0] => 24 [1,1,1,1,0,0,0,0] => 16 [1,0,1,0,1,0,1,0,1,0] => 252 [1,0,1,0,1,0,1,1,0,0] => 224 [1,0,1,0,1,1,0,0,1,0] => 222 [1,0,1,0,1,1,0,1,0,0] => 204 [1,0,1,0,1,1,1,0,0,0] => 168 [1,0,1,1,0,0,1,0,1,0] => 212 [1,0,1,1,0,0,1,1,0,0] => 192 [1,0,1,1,0,1,0,0,1,0] => 194 [1,0,1,1,0,1,0,1,0,0] => 180 [1,0,1,1,0,1,1,0,0,0] => 152 [1,0,1,1,1,0,0,0,1,0] => 152 [1,0,1,1,1,0,0,1,0,0] => 144 [1,0,1,1,1,0,1,0,0,0] => 128 [1,0,1,1,1,1,0,0,0,0] => 96 [1,1,0,0,1,0,1,0,1,0] => 182 [1,1,0,0,1,0,1,1,0,0] => 164 [1,1,0,0,1,1,0,0,1,0] => 164 [1,1,0,0,1,1,0,1,0,0] => 152 [1,1,0,0,1,1,1,0,0,0] => 128 [1,1,0,1,0,0,1,0,1,0] => 162 [1,1,0,1,0,0,1,1,0,0] => 148 [1,1,0,1,0,1,0,0,1,0] => 150 [1,1,0,1,0,1,0,1,0,0] => 140 [1,1,0,1,0,1,1,0,0,0] => 120 [1,1,0,1,1,0,0,0,1,0] => 122 [1,1,0,1,1,0,0,1,0,0] => 116 [1,1,0,1,1,0,1,0,0,0] => 104 [1,1,0,1,1,1,0,0,0,0] => 80 [1,1,1,0,0,0,1,0,1,0] => 112 [1,1,1,0,0,0,1,1,0,0] => 104 [1,1,1,0,0,1,0,0,1,0] => 106 [1,1,1,0,0,1,0,1,0,0] => 100 [1,1,1,0,0,1,1,0,0,0] => 88 [1,1,1,0,1,0,0,0,1,0] => 92 [1,1,1,0,1,0,0,1,0,0] => 88 [1,1,1,0,1,0,1,0,0,0] => 80 [1,1,1,0,1,1,0,0,0,0] => 64 [1,1,1,1,0,0,0,0,1,0] => 62 [1,1,1,1,0,0,0,1,0,0] => 60 [1,1,1,1,0,0,1,0,0,0] => 56 [1,1,1,1,0,1,0,0,0,0] => 48 [1,1,1,1,1,0,0,0,0,0] => 32 [1,0,1,0,1,0,1,0,1,0,1,0] => 924 [1,0,1,0,1,0,1,0,1,1,0,0] => 840 [1,0,1,0,1,0,1,1,0,0,1,0] => 840 [1,0,1,0,1,0,1,1,0,1,0,0] => 784 [1,0,1,0,1,0,1,1,1,0,0,0] => 672 [1,0,1,0,1,1,0,0,1,0,1,0] => 824 [1,0,1,0,1,1,0,0,1,1,0,0] => 760 [1,0,1,0,1,1,0,1,0,0,1,0] => 770 [1,0,1,0,1,1,0,1,0,1,0,0] => 724 [1,0,1,0,1,1,0,1,1,0,0,0] => 632 [1,0,1,0,1,1,1,0,0,0,1,0] => 644 [1,0,1,0,1,1,1,0,0,1,0,0] => 616 [1,0,1,0,1,1,1,0,1,0,0,0] => 560 [1,0,1,0,1,1,1,1,0,0,0,0] => 448 [1,0,1,1,0,0,1,0,1,0,1,0] => 784 [1,0,1,1,0,0,1,0,1,1,0,0] => 720 [1,0,1,1,0,0,1,1,0,0,1,0] => 724 [1,0,1,1,0,0,1,1,0,1,0,0] => 680 [1,0,1,1,0,0,1,1,1,0,0,0] => 592 [1,0,1,1,0,1,0,0,1,0,1,0] => 724 [1,0,1,1,0,1,0,0,1,1,0,0] => 672 [1,0,1,1,0,1,0,1,0,0,1,0] => 682 [1,0,1,1,0,1,0,1,0,1,0,0] => 644 [1,0,1,1,0,1,0,1,1,0,0,0] => 568 [1,0,1,1,0,1,1,0,0,0,1,0] => 584 [1,0,1,1,0,1,1,0,0,1,0,0] => 560 [1,0,1,1,0,1,1,0,1,0,0,0] => 512 [1,0,1,1,0,1,1,1,0,0,0,0] => 416 [1,0,1,1,1,0,0,0,1,0,1,0] => 574 [1,0,1,1,1,0,0,0,1,1,0,0] => 540 [1,0,1,1,1,0,0,1,0,0,1,0] => 550 [1,0,1,1,1,0,0,1,0,1,0,0] => 524 [1,0,1,1,1,0,0,1,1,0,0,0] => 472 [1,0,1,1,1,0,1,0,0,0,1,0] => 494 [1,0,1,1,1,0,1,0,0,1,0,0] => 476 [1,0,1,1,1,0,1,0,1,0,0,0] => 440 [1,0,1,1,1,0,1,1,0,0,0,0] => 368 [1,0,1,1,1,1,0,0,0,0,1,0] => 374 [1,0,1,1,1,1,0,0,0,1,0,0] => 364 [1,0,1,1,1,1,0,0,1,0,0,0] => 344 [1,0,1,1,1,1,0,1,0,0,0,0] => 304 [1,0,1,1,1,1,1,0,0,0,0,0] => 224 [1,1,0,0,1,0,1,0,1,0,1,0] => 672 [1,1,0,0,1,0,1,0,1,1,0,0] => 616 [1,1,0,0,1,0,1,1,0,0,1,0] => 618 [1,1,0,0,1,0,1,1,0,1,0,0] => 580 [1,1,0,0,1,0,1,1,1,0,0,0] => 504 [1,1,0,0,1,1,0,0,1,0,1,0] => 612 [1,1,0,0,1,1,0,0,1,1,0,0] => 568 [1,1,0,0,1,1,0,1,0,0,1,0] => 576 [1,1,0,0,1,1,0,1,0,1,0,0] => 544 [1,1,0,0,1,1,0,1,1,0,0,0] => 480 [1,1,0,0,1,1,1,0,0,0,1,0] => 492 [1,1,0,0,1,1,1,0,0,1,0,0] => 472 [1,1,0,0,1,1,1,0,1,0,0,0] => 432 [1,1,0,0,1,1,1,1,0,0,0,0] => 352 [1,1,0,1,0,0,1,0,1,0,1,0] => 602 [1,1,0,1,0,0,1,0,1,1,0,0] => 556 [1,1,0,1,0,0,1,1,0,0,1,0] => 560 [1,1,0,1,0,0,1,1,0,1,0,0] => 528 [1,1,0,1,0,0,1,1,1,0,0,0] => 464 [1,1,0,1,0,1,0,0,1,0,1,0] => 562 [1,1,0,1,0,1,0,0,1,1,0,0] => 524 [1,1,0,1,0,1,0,1,0,0,1,0] => 532 [1,1,0,1,0,1,0,1,0,1,0,0] => 504 [1,1,0,1,0,1,0,1,1,0,0,0] => 448 [1,1,0,1,0,1,1,0,0,0,1,0] => 462 [1,1,0,1,0,1,1,0,0,1,0,0] => 444 [1,1,0,1,0,1,1,0,1,0,0,0] => 408 [1,1,0,1,0,1,1,1,0,0,0,0] => 336 [1,1,0,1,1,0,0,0,1,0,1,0] => 462 [1,1,0,1,1,0,0,0,1,1,0,0] => 436 [1,1,0,1,1,0,0,1,0,0,1,0] => 444 [1,1,0,1,1,0,0,1,0,1,0,0] => 424 [1,1,0,1,1,0,0,1,1,0,0,0] => 384 [1,1,0,1,1,0,1,0,0,0,1,0] => 402 [1,1,0,1,1,0,1,0,0,1,0,0] => 388 [1,1,0,1,1,0,1,0,1,0,0,0] => 360 [1,1,0,1,1,0,1,1,0,0,0,0] => 304 [1,1,0,1,1,1,0,0,0,0,1,0] => 312 [1,1,0,1,1,1,0,0,0,1,0,0] => 304 [1,1,0,1,1,1,0,0,1,0,0,0] => 288 [1,1,0,1,1,1,0,1,0,0,0,0] => 256 [1,1,0,1,1,1,1,0,0,0,0,0] => 192 [1,1,1,0,0,0,1,0,1,0,1,0] => 420 [1,1,1,0,0,0,1,0,1,1,0,0] => 392 [1,1,1,0,0,0,1,1,0,0,1,0] => 396 [1,1,1,0,0,0,1,1,0,1,0,0] => 376 [1,1,1,0,0,0,1,1,1,0,0,0] => 336 [1,1,1,0,0,1,0,0,1,0,1,0] => 400 [1,1,1,0,0,1,0,0,1,1,0,0] => 376 [1,1,1,0,0,1,0,1,0,0,1,0] => 382 [1,1,1,0,0,1,0,1,0,1,0,0] => 364 [1,1,1,0,0,1,0,1,1,0,0,0] => 328 [1,1,1,0,0,1,1,0,0,0,1,0] => 340 [1,1,1,0,0,1,1,0,0,1,0,0] => 328 [1,1,1,0,0,1,1,0,1,0,0,0] => 304 [1,1,1,0,0,1,1,1,0,0,0,0] => 256 [1,1,1,0,1,0,0,0,1,0,1,0] => 350 [1,1,1,0,1,0,0,0,1,1,0,0] => 332 [1,1,1,0,1,0,0,1,0,0,1,0] => 338 [1,1,1,0,1,0,0,1,0,1,0,0] => 324 [1,1,1,0,1,0,0,1,1,0,0,0] => 296 [1,1,1,0,1,0,1,0,0,0,1,0] => 310 [1,1,1,0,1,0,1,0,0,1,0,0] => 300 [1,1,1,0,1,0,1,0,1,0,0,0] => 280 [1,1,1,0,1,0,1,1,0,0,0,0] => 240 [1,1,1,0,1,1,0,0,0,0,1,0] => 250 [1,1,1,0,1,1,0,0,0,1,0,0] => 244 [1,1,1,0,1,1,0,0,1,0,0,0] => 232 [1,1,1,0,1,1,0,1,0,0,0,0] => 208 [1,1,1,0,1,1,1,0,0,0,0,0] => 160 [1,1,1,1,0,0,0,0,1,0,1,0] => 238 [1,1,1,1,0,0,0,0,1,1,0,0] => 228 [1,1,1,1,0,0,0,1,0,0,1,0] => 232 [1,1,1,1,0,0,0,1,0,1,0,0] => 224 [1,1,1,1,0,0,0,1,1,0,0,0] => 208 [1,1,1,1,0,0,1,0,0,0,1,0] => 218 [1,1,1,1,0,0,1,0,0,1,0,0] => 212 [1,1,1,1,0,0,1,0,1,0,0,0] => 200 [1,1,1,1,0,0,1,1,0,0,0,0] => 176 [1,1,1,1,0,1,0,0,0,0,1,0] => 188 [1,1,1,1,0,1,0,0,0,1,0,0] => 184 [1,1,1,1,0,1,0,0,1,0,0,0] => 176 [1,1,1,1,0,1,0,1,0,0,0,0] => 160 [1,1,1,1,0,1,1,0,0,0,0,0] => 128 [1,1,1,1,1,0,0,0,0,0,1,0] => 126 [1,1,1,1,1,0,0,0,0,1,0,0] => 124 [1,1,1,1,1,0,0,0,1,0,0,0] => 120 [1,1,1,1,1,0,0,1,0,0,0,0] => 112 [1,1,1,1,1,0,1,0,0,0,0,0] => 96 [1,1,1,1,1,1,0,0,0,0,0,0] => 64 [1,0,1,0,1,0,1,0,1,0,1,0,1,0] => 3432 [1,0,1,0,1,0,1,0,1,0,1,1,0,0] => 3168 [1,0,1,0,1,0,1,0,1,1,0,0,1,0] => 3180 [1,0,1,0,1,0,1,0,1,1,0,1,0,0] => 3000 [1,0,1,0,1,0,1,0,1,1,1,0,0,0] => 2640 [1,0,1,0,1,0,1,1,0,0,1,0,1,0] => 3152 [1,0,1,0,1,0,1,1,0,0,1,1,0,0] => 2944 [1,0,1,0,1,0,1,1,0,1,0,0,1,0] => 2984 [1,0,1,0,1,0,1,1,0,1,0,1,0,0] => 2832 [1,0,1,0,1,0,1,1,0,1,1,0,0,0] => 2528 [1,0,1,0,1,0,1,1,1,0,0,0,1,0] => 2592 [1,0,1,0,1,0,1,1,1,0,0,1,0,0] => 2496 [1,0,1,0,1,0,1,1,1,0,1,0,0,0] => 2304 [1,0,1,0,1,0,1,1,1,1,0,0,0,0] => 1920 [1,0,1,0,1,1,0,0,1,0,1,0,1,0] => 3082 [1,0,1,0,1,1,0,0,1,0,1,1,0,0] => 2868 [1,0,1,0,1,1,0,0,1,1,0,0,1,0] => 2890 [1,0,1,0,1,1,0,0,1,1,0,1,0,0] => 2740 [1,0,1,0,1,1,0,0,1,1,1,0,0,0] => 2440 [1,0,1,0,1,1,0,1,0,0,1,0,1,0] => 2902 [1,0,1,0,1,1,0,1,0,0,1,1,0,0] => 2724 [1,0,1,0,1,1,0,1,0,1,0,0,1,0] => 2764 [1,0,1,0,1,1,0,1,0,1,0,1,0,0] => 2632 [1,0,1,0,1,1,0,1,0,1,1,0,0,0] => 2368 [1,0,1,0,1,1,0,1,1,0,0,0,1,0] => 2442 [1,0,1,0,1,1,0,1,1,0,0,1,0,0] => 2356 [1,0,1,0,1,1,0,1,1,0,1,0,0,0] => 2184 [1,0,1,0,1,1,0,1,1,1,0,0,0,0] => 1840 [1,0,1,0,1,1,1,0,0,0,1,0,1,0] => 2452 [1,0,1,0,1,1,1,0,0,0,1,1,0,0] => 2328 [1,0,1,0,1,1,1,0,0,1,0,0,1,0] => 2368 [1,0,1,0,1,1,1,0,0,1,0,1,0,0] => 2272 [1,0,1,0,1,1,1,0,0,1,1,0,0,0] => 2080 [1,0,1,0,1,1,1,0,1,0,0,0,1,0] => 2172 [1,0,1,0,1,1,1,0,1,0,0,1,0,0] => 2104 [1,0,1,0,1,1,1,0,1,0,1,0,0,0] => 1968 [1,0,1,0,1,1,1,0,1,1,0,0,0,0] => 1696 [1,0,1,0,1,1,1,1,0,0,0,0,1,0] => 1752 [1,0,1,0,1,1,1,1,0,0,0,1,0,0] => 1712 [1,0,1,0,1,1,1,1,0,0,1,0,0,0] => 1632 [1,0,1,0,1,1,1,1,0,1,0,0,0,0] => 1472 [1,0,1,0,1,1,1,1,1,0,0,0,0,0] => 1152 [1,0,1,1,0,0,1,0,1,0,1,0,1,0] => 2928 [1,0,1,1,0,0,1,0,1,0,1,1,0,0] => 2720 [1,0,1,1,0,0,1,0,1,1,0,0,1,0] => 2736 [1,0,1,1,0,0,1,0,1,1,0,1,0,0] => 2592 [1,0,1,1,0,0,1,0,1,1,1,0,0,0] => 2304 [1,0,1,1,0,0,1,1,0,0,1,0,1,0] => 2728 [1,0,1,1,0,0,1,1,0,0,1,1,0,0] => 2560 [1,0,1,1,0,0,1,1,0,1,0,0,1,0] => 2596 [1,0,1,1,0,0,1,1,0,1,0,1,0,0] => 2472 [1,0,1,1,0,0,1,1,0,1,1,0,0,0] => 2224 [1,0,1,1,0,0,1,1,1,0,0,0,1,0] => 2288 [1,0,1,1,0,0,1,1,1,0,0,1,0,0] => 2208 [1,0,1,1,0,0,1,1,1,0,1,0,0,0] => 2048 [1,0,1,1,0,0,1,1,1,1,0,0,0,0] => 1728 [1,0,1,1,0,1,0,0,1,0,1,0,1,0] => 2718 [1,0,1,1,0,1,0,0,1,0,1,1,0,0] => 2540 [1,0,1,1,0,1,0,0,1,1,0,0,1,0] => 2562 [1,0,1,1,0,1,0,0,1,1,0,1,0,0] => 2436 [1,0,1,1,0,1,0,0,1,1,1,0,0,0] => 2184 [1,0,1,1,0,1,0,1,0,0,1,0,1,0] => 2578 [1,0,1,1,0,1,0,1,0,0,1,1,0,0] => 2428 [1,0,1,1,0,1,0,1,0,1,0,0,1,0] => 2464 [1,0,1,1,0,1,0,1,0,1,0,1,0,0] => 2352 [1,0,1,1,0,1,0,1,0,1,1,0,0,0] => 2128 [1,0,1,1,0,1,0,1,1,0,0,0,1,0] => 2198 [1,0,1,1,0,1,0,1,1,0,0,1,0,0] => 2124 [1,0,1,1,0,1,0,1,1,0,1,0,0,0] => 1976 [1,0,1,1,0,1,0,1,1,1,0,0,0,0] => 1680 [1,0,1,1,0,1,1,0,0,0,1,0,1,0] => 2228 [1,0,1,1,0,1,1,0,0,0,1,1,0,0] => 2120 [1,0,1,1,0,1,1,0,0,1,0,0,1,0] => 2156 [1,0,1,1,0,1,1,0,0,1,0,1,0,0] => 2072 [1,0,1,1,0,1,1,0,0,1,1,0,0,0] => 1904 [1,0,1,1,0,1,1,0,1,0,0,0,1,0] => 1988 [1,0,1,1,0,1,1,0,1,0,0,1,0,0] => 1928 [1,0,1,1,0,1,1,0,1,0,1,0,0,0] => 1808 [1,0,1,1,0,1,1,0,1,1,0,0,0,0] => 1568 [1,0,1,1,0,1,1,1,0,0,0,0,1,0] => 1628 [1,0,1,1,0,1,1,1,0,0,0,1,0,0] => 1592 [1,0,1,1,0,1,1,1,0,0,1,0,0,0] => 1520 [1,0,1,1,0,1,1,1,0,1,0,0,0,0] => 1376 [1,0,1,1,0,1,1,1,1,0,0,0,0,0] => 1088 [1,0,1,1,1,0,0,0,1,0,1,0,1,0] => 2172 [1,0,1,1,1,0,0,0,1,0,1,1,0,0] => 2048 [1,0,1,1,1,0,0,0,1,1,0,0,1,0] => 2070 [1,0,1,1,1,0,0,0,1,1,0,1,0,0] => 1980 [1,0,1,1,1,0,0,0,1,1,1,0,0,0] => 1800 [1,0,1,1,1,0,0,1,0,0,1,0,1,0] => 2092 [1,0,1,1,1,0,0,1,0,0,1,1,0,0] => 1984 [1,0,1,1,1,0,0,1,0,1,0,0,1,0] => 2014 [1,0,1,1,1,0,0,1,0,1,0,1,0,0] => 1932 [1,0,1,1,1,0,0,1,0,1,1,0,0,0] => 1768 [1,0,1,1,1,0,0,1,1,0,0,0,1,0] => 1832 [1,0,1,1,1,0,0,1,1,0,0,1,0,0] => 1776 [1,0,1,1,1,0,0,1,1,0,1,0,0,0] => 1664 [1,0,1,1,1,0,0,1,1,1,0,0,0,0] => 1440 [1,0,1,1,1,0,1,0,0,0,1,0,1,0] => 1892 [1,0,1,1,1,0,1,0,0,0,1,1,0,0] => 1808 [1,0,1,1,1,0,1,0,0,1,0,0,1,0] => 1838 [1,0,1,1,1,0,1,0,0,1,0,1,0,0] => 1772 [1,0,1,1,1,0,1,0,0,1,1,0,0,0] => 1640 [1,0,1,1,1,0,1,0,1,0,0,0,1,0] => 1712 [1,0,1,1,1,0,1,0,1,0,0,1,0,0] => 1664 [1,0,1,1,1,0,1,0,1,0,1,0,0,0] => 1568 [1,0,1,1,1,0,1,0,1,1,0,0,0,0] => 1376 [1,0,1,1,1,0,1,1,0,0,0,0,1,0] => 1442 [1,0,1,1,1,0,1,1,0,0,0,1,0,0] => 1412 [1,0,1,1,1,0,1,1,0,0,1,0,0,0] => 1352 [1,0,1,1,1,0,1,1,0,1,0,0,0,0] => 1232 [1,0,1,1,1,0,1,1,1,0,0,0,0,0] => 992 [1,0,1,1,1,1,0,0,0,0,1,0,1,0] => 1444 [1,0,1,1,1,1,0,0,0,0,1,1,0,0] => 1392 [1,0,1,1,1,1,0,0,0,1,0,0,1,0] => 1414 [1,0,1,1,1,1,0,0,0,1,0,1,0,0] => 1372 [1,0,1,1,1,1,0,0,0,1,1,0,0,0] => 1288 [1,0,1,1,1,1,0,0,1,0,0,0,1,0] => 1344 [1,0,1,1,1,1,0,0,1,0,0,1,0,0] => 1312 [1,0,1,1,1,1,0,0,1,0,1,0,0,0] => 1248 [1,0,1,1,1,1,0,0,1,1,0,0,0,0] => 1120 [1,0,1,1,1,1,0,1,0,0,0,0,1,0] => 1194 [1,0,1,1,1,1,0,1,0,0,0,1,0,0] => 1172 [1,0,1,1,1,1,0,1,0,0,1,0,0,0] => 1128 [1,0,1,1,1,1,0,1,0,1,0,0,0,0] => 1040 [1,0,1,1,1,1,0,1,1,0,0,0,0,0] => 864 [1,0,1,1,1,1,1,0,0,0,0,0,1,0] => 884 [1,0,1,1,1,1,1,0,0,0,0,1,0,0] => 872 [1,0,1,1,1,1,1,0,0,0,1,0,0,0] => 848 [1,0,1,1,1,1,1,0,0,1,0,0,0,0] => 800 [1,0,1,1,1,1,1,0,1,0,0,0,0,0] => 704 [1,0,1,1,1,1,1,1,0,0,0,0,0,0] => 512 [1,1,0,0,1,0,1,0,1,0,1,0,1,0] => 2508 [1,1,0,0,1,0,1,0,1,0,1,1,0,0] => 2328 [1,1,0,0,1,0,1,0,1,1,0,0,1,0] => 2340 [1,1,0,0,1,0,1,0,1,1,0,1,0,0] => 2216 [1,1,0,0,1,0,1,0,1,1,1,0,0,0] => 1968 [1,1,0,0,1,0,1,1,0,0,1,0,1,0] => 2328 [1,1,0,0,1,0,1,1,0,0,1,1,0,0] => 2184 [1,1,0,0,1,0,1,1,0,1,0,0,1,0] => 2214 [1,1,0,0,1,0,1,1,0,1,0,1,0,0] => 2108 [1,1,0,0,1,0,1,1,0,1,1,0,0,0] => 1896 [1,1,0,0,1,0,1,1,1,0,0,0,1,0] => 1948 [1,1,0,0,1,0,1,1,1,0,0,1,0,0] => 1880 [1,1,0,0,1,0,1,1,1,0,1,0,0,0] => 1744 [1,1,0,0,1,0,1,1,1,1,0,0,0,0] => 1472 [1,1,0,0,1,1,0,0,1,0,1,0,1,0] => 2298 [1,1,0,0,1,1,0,0,1,0,1,1,0,0] => 2148 [1,1,0,0,1,1,0,0,1,1,0,0,1,0] => 2166 [1,1,0,0,1,1,0,0,1,1,0,1,0,0] => 2060 [1,1,0,0,1,1,0,0,1,1,1,0,0,0] => 1848 [1,1,0,0,1,1,0,1,0,0,1,0,1,0] => 2178 [1,1,0,0,1,1,0,1,0,0,1,1,0,0] => 2052 [1,1,0,0,1,1,0,1,0,1,0,0,1,0] => 2082 [1,1,0,0,1,1,0,1,0,1,0,1,0,0] => 1988 [1,1,0,0,1,1,0,1,0,1,1,0,0,0] => 1800 [1,1,0,0,1,1,0,1,1,0,0,0,1,0] => 1858 [1,1,0,0,1,1,0,1,1,0,0,1,0,0] => 1796 [1,1,0,0,1,1,0,1,1,0,1,0,0,0] => 1672 [1,1,0,0,1,1,0,1,1,1,0,0,0,0] => 1424 [1,1,0,0,1,1,1,0,0,0,1,0,1,0] => 1878 [1,1,0,0,1,1,1,0,0,0,1,1,0,0] => 1788 [1,1,0,0,1,1,1,0,0,1,0,0,1,0] => 1818 [1,1,0,0,1,1,1,0,0,1,0,1,0,0] => 1748 [1,1,0,0,1,1,1,0,0,1,1,0,0,0] => 1608 [1,1,0,0,1,1,1,0,1,0,0,0,1,0] => 1678 [1,1,0,0,1,1,1,0,1,0,0,1,0,0] => 1628 [1,1,0,0,1,1,1,0,1,0,1,0,0,0] => 1528 [1,1,0,0,1,1,1,0,1,1,0,0,0,0] => 1328 [1,1,0,0,1,1,1,1,0,0,0,0,1,0] => 1378 [1,1,0,0,1,1,1,1,0,0,0,1,0,0] => 1348 [1,1,0,0,1,1,1,1,0,0,1,0,0,0] => 1288 [1,1,0,0,1,1,1,1,0,1,0,0,0,0] => 1168 [1,1,0,0,1,1,1,1,1,0,0,0,0,0] => 928 [1,1,0,1,0,0,1,0,1,0,1,0,1,0] => 2256 [1,1,0,1,0,0,1,0,1,0,1,1,0,0] => 2104 [1,1,0,1,0,0,1,0,1,1,0,0,1,0] => 2118 [1,1,0,1,0,0,1,0,1,1,0,1,0,0] => 2012 [1,1,0,1,0,0,1,0,1,1,1,0,0,0] => 1800 [1,1,0,1,0,0,1,1,0,0,1,0,1,0] => 2116 [1,1,0,1,0,0,1,1,0,0,1,1,0,0] => 1992 [1,1,0,1,0,0,1,1,0,1,0,0,1,0] => 2020 [1,1,0,1,0,0,1,1,0,1,0,1,0,0] => 1928 [1,1,0,1,0,0,1,1,0,1,1,0,0,0] => 1744 [1,1,0,1,0,0,1,1,1,0,0,0,1,0] => 1796 [1,1,0,1,0,0,1,1,1,0,0,1,0,0] => 1736 [1,1,0,1,0,0,1,1,1,0,1,0,0,0] => 1616 [1,1,0,1,0,0,1,1,1,1,0,0,0,0] => 1376 [1,1,0,1,0,1,0,0,1,0,1,0,1,0] => 2116 [1,1,0,1,0,1,0,0,1,0,1,1,0,0] => 1984 [1,1,0,1,0,1,0,0,1,1,0,0,1,0] => 2002 [1,1,0,1,0,1,0,0,1,1,0,1,0,0] => 1908 [1,1,0,1,0,1,0,0,1,1,1,0,0,0] => 1720 [1,1,0,1,0,1,0,1,0,0,1,0,1,0] => 2016 [1,1,0,1,0,1,0,1,0,0,1,1,0,0] => 1904 [1,1,0,1,0,1,0,1,0,1,0,0,1,0] => 1932 [1,1,0,1,0,1,0,1,0,1,0,1,0,0] => 1848 [1,1,0,1,0,1,0,1,0,1,1,0,0,0] => 1680 [1,1,0,1,0,1,0,1,1,0,0,0,1,0] => 1736 [1,1,0,1,0,1,0,1,1,0,0,1,0,0] => 1680 [1,1,0,1,0,1,0,1,1,0,1,0,0,0] => 1568 [1,1,0,1,0,1,0,1,1,1,0,0,0,0] => 1344 [1,1,0,1,0,1,1,0,0,0,1,0,1,0] => 1766 [1,1,0,1,0,1,1,0,0,0,1,1,0,0] => 1684 [1,1,0,1,0,1,1,0,0,1,0,0,1,0] => 1712 [1,1,0,1,0,1,1,0,0,1,0,1,0,0] => 1648 [1,1,0,1,0,1,1,0,0,1,1,0,0,0] => 1520 [1,1,0,1,0,1,1,0,1,0,0,0,1,0] => 1586 [1,1,0,1,0,1,1,0,1,0,0,1,0,0] => 1540 [1,1,0,1,0,1,1,0,1,0,1,0,0,0] => 1448 [1,1,0,1,0,1,1,0,1,1,0,0,0,0] => 1264 [1,1,0,1,0,1,1,1,0,0,0,0,1,0] => 1316 [1,1,0,1,0,1,1,1,0,0,0,1,0,0] => 1288 [1,1,0,1,0,1,1,1,0,0,1,0,0,0] => 1232 [1,1,0,1,0,1,1,1,0,1,0,0,0,0] => 1120 [1,1,0,1,0,1,1,1,1,0,0,0,0,0] => 896 [1,1,0,1,1,0,0,0,1,0,1,0,1,0] => 1752 [1,1,0,1,1,0,0,0,1,0,1,1,0,0] => 1656 [1,1,0,1,1,0,0,0,1,1,0,0,1,0] => 1674 [1,1,0,1,1,0,0,0,1,1,0,1,0,0] => 1604 [1,1,0,1,1,0,0,0,1,1,1,0,0,0] => 1464 [1,1,0,1,1,0,0,1,0,0,1,0,1,0] => 1692 [1,1,0,1,1,0,0,1,0,0,1,1,0,0] => 1608 [1,1,0,1,1,0,0,1,0,1,0,0,1,0] => 1632 [1,1,0,1,1,0,0,1,0,1,0,1,0,0] => 1568 [1,1,0,1,1,0,0,1,0,1,1,0,0,0] => 1440 [1,1,0,1,1,0,0,1,1,0,0,0,1,0] => 1492 [1,1,0,1,1,0,0,1,1,0,0,1,0,0] => 1448 [1,1,0,1,1,0,0,1,1,0,1,0,0,0] => 1360 [1,1,0,1,1,0,0,1,1,1,0,0,0,0] => 1184 [1,1,0,1,1,0,1,0,0,0,1,0,1,0] => 1542 [1,1,0,1,1,0,1,0,0,0,1,1,0,0] => 1476 [1,1,0,1,1,0,1,0,0,1,0,0,1,0] => 1500 [1,1,0,1,1,0,1,0,0,1,0,1,0,0] => 1448 [1,1,0,1,1,0,1,0,0,1,1,0,0,0] => 1344 [1,1,0,1,1,0,1,0,1,0,0,0,1,0] => 1402 [1,1,0,1,1,0,1,0,1,0,0,1,0,0] => 1364 [1,1,0,1,1,0,1,0,1,0,1,0,0,0] => 1288 [1,1,0,1,1,0,1,0,1,1,0,0,0,0] => 1136 [1,1,0,1,1,0,1,1,0,0,0,0,1,0] => 1192 [1,1,0,1,1,0,1,1,0,0,0,1,0,0] => 1168 [1,1,0,1,1,0,1,1,0,0,1,0,0,0] => 1120 [1,1,0,1,1,0,1,1,0,1,0,0,0,0] => 1024 [1,1,0,1,1,0,1,1,1,0,0,0,0,0] => 832 [1,1,0,1,1,1,0,0,0,0,1,0,1,0] => 1206 [1,1,0,1,1,1,0,0,0,0,1,1,0,0] => 1164 [1,1,0,1,1,1,0,0,0,1,0,0,1,0] => 1182 [1,1,0,1,1,1,0,0,0,1,0,1,0,0] => 1148 [1,1,0,1,1,1,0,0,0,1,1,0,0,0] => 1080 [1,1,0,1,1,1,0,0,1,0,0,0,1,0] => 1126 [1,1,0,1,1,1,0,0,1,0,0,1,0,0] => 1100 [1,1,0,1,1,1,0,0,1,0,1,0,0,0] => 1048 [1,1,0,1,1,1,0,0,1,1,0,0,0,0] => 944 [1,1,0,1,1,1,0,1,0,0,0,0,1,0] => 1006 [1,1,0,1,1,1,0,1,0,0,0,1,0,0] => 988 [1,1,0,1,1,1,0,1,0,0,1,0,0,0] => 952 [1,1,0,1,1,1,0,1,0,1,0,0,0,0] => 880 [1,1,0,1,1,1,0,1,1,0,0,0,0,0] => 736 [1,1,0,1,1,1,1,0,0,0,0,0,1,0] => 758 [1,1,0,1,1,1,1,0,0,0,0,1,0,0] => 748 [1,1,0,1,1,1,1,0,0,0,1,0,0,0] => 728 [1,1,0,1,1,1,1,0,0,1,0,0,0,0] => 688 [1,1,0,1,1,1,1,0,1,0,0,0,0,0] => 608 [1,1,0,1,1,1,1,1,0,0,0,0,0,0] => 448 [1,1,1,0,0,0,1,0,1,0,1,0,1,0] => 1584 [1,1,1,0,0,0,1,0,1,0,1,1,0,0] => 1488 [1,1,1,0,0,0,1,0,1,1,0,0,1,0] => 1500 [1,1,1,0,0,0,1,0,1,1,0,1,0,0] => 1432 [1,1,1,0,0,0,1,0,1,1,1,0,0,0] => 1296 [1,1,1,0,0,0,1,1,0,0,1,0,1,0] => 1504 [1,1,1,0,0,0,1,1,0,0,1,1,0,0] => 1424 [1,1,1,0,0,0,1,1,0,1,0,0,1,0] => 1444 [1,1,1,0,0,0,1,1,0,1,0,1,0,0] => 1384 [1,1,1,0,0,0,1,1,0,1,1,0,0,0] => 1264 [1,1,1,0,0,0,1,1,1,0,0,0,1,0] => 1304 [1,1,1,0,0,0,1,1,1,0,0,1,0,0] => 1264 [1,1,1,0,0,0,1,1,1,0,1,0,0,0] => 1184 [1,1,1,0,0,0,1,1,1,1,0,0,0,0] => 1024 [1,1,1,0,0,1,0,0,1,0,1,0,1,0] => 1514 [1,1,1,0,0,1,0,0,1,0,1,1,0,0] => 1428 [1,1,1,0,0,1,0,0,1,1,0,0,1,0] => 1442 [1,1,1,0,0,1,0,0,1,1,0,1,0,0] => 1380 [1,1,1,0,0,1,0,0,1,1,1,0,0,0] => 1256 [1,1,1,0,0,1,0,1,0,0,1,0,1,0] => 1454 [1,1,1,0,0,1,0,1,0,0,1,1,0,0] => 1380 [1,1,1,0,0,1,0,1,0,1,0,0,1,0] => 1400 [1,1,1,0,0,1,0,1,0,1,0,1,0,0] => 1344 [1,1,1,0,0,1,0,1,0,1,1,0,0,0] => 1232 [1,1,1,0,0,1,0,1,1,0,0,0,1,0] => 1274 [1,1,1,0,0,1,0,1,1,0,0,1,0,0] => 1236 [1,1,1,0,0,1,0,1,1,0,1,0,0,0] => 1160 [1,1,1,0,0,1,0,1,1,1,0,0,0,0] => 1008 [1,1,1,0,0,1,1,0,0,0,1,0,1,0] => 1304 [1,1,1,0,0,1,1,0,0,0,1,1,0,0] => 1248 [1,1,1,0,0,1,1,0,0,1,0,0,1,0] => 1268 [1,1,1,0,0,1,1,0,0,1,0,1,0,0] => 1224 [1,1,1,0,0,1,1,0,0,1,1,0,0,0] => 1136 [1,1,1,0,0,1,1,0,1,0,0,0,1,0] => 1184 [1,1,1,0,0,1,1,0,1,0,0,1,0,0] => 1152 [1,1,1,0,0,1,1,0,1,0,1,0,0,0] => 1088 [1,1,1,0,0,1,1,0,1,1,0,0,0,0] => 960 [1,1,1,0,0,1,1,1,0,0,0,0,1,0] => 1004 [1,1,1,0,0,1,1,1,0,0,0,1,0,0] => 984 [1,1,1,0,0,1,1,1,0,0,1,0,0,0] => 944 [1,1,1,0,0,1,1,1,0,1,0,0,0,0] => 864 [1,1,1,0,0,1,1,1,1,0,0,0,0,0] => 704 [1,1,1,0,1,0,0,0,1,0,1,0,1,0] => 1332 [1,1,1,0,1,0,0,0,1,0,1,1,0,0] => 1264 [1,1,1,0,1,0,0,0,1,1,0,0,1,0] => 1278 [1,1,1,0,1,0,0,0,1,1,0,1,0,0] => 1228 [1,1,1,0,1,0,0,0,1,1,1,0,0,0] => 1128 [1,1,1,0,1,0,0,1,0,0,1,0,1,0] => 1292 [1,1,1,0,1,0,0,1,0,0,1,1,0,0] => 1232 [1,1,1,0,1,0,0,1,0,1,0,0,1,0] => 1250 [1,1,1,0,1,0,0,1,0,1,0,1,0,0] => 1204 [1,1,1,0,1,0,0,1,0,1,1,0,0,0] => 1112 [1,1,1,0,1,0,0,1,1,0,0,0,1,0] => 1152 [1,1,1,0,1,0,0,1,1,0,0,1,0,0] => 1120 [1,1,1,0,1,0,0,1,1,0,1,0,0,0] => 1056 [1,1,1,0,1,0,0,1,1,1,0,0,0,0] => 928 [1,1,1,0,1,0,1,0,0,0,1,0,1,0] => 1192 [1,1,1,0,1,0,1,0,0,0,1,1,0,0] => 1144 [1,1,1,0,1,0,1,0,0,1,0,0,1,0] => 1162 [1,1,1,0,1,0,1,0,0,1,0,1,0,0] => 1124 [1,1,1,0,1,0,1,0,0,1,1,0,0,0] => 1048 [1,1,1,0,1,0,1,0,1,0,0,0,1,0] => 1092 [1,1,1,0,1,0,1,0,1,0,0,1,0,0] => 1064 [1,1,1,0,1,0,1,0,1,0,1,0,0,0] => 1008 [1,1,1,0,1,0,1,0,1,1,0,0,0,0] => 896 [1,1,1,0,1,0,1,1,0,0,0,0,1,0] => 942 [1,1,1,0,1,0,1,1,0,0,0,1,0,0] => 924 [1,1,1,0,1,0,1,1,0,0,1,0,0,0] => 888 [1,1,1,0,1,0,1,1,0,1,0,0,0,0] => 816 [1,1,1,0,1,0,1,1,1,0,0,0,0,0] => 672 [1,1,1,0,1,1,0,0,0,0,1,0,1,0] => 968 [1,1,1,0,1,1,0,0,0,0,1,1,0,0] => 936 [1,1,1,0,1,1,0,0,0,1,0,0,1,0] => 950 [1,1,1,0,1,1,0,0,0,1,0,1,0,0] => 924 [1,1,1,0,1,1,0,0,0,1,1,0,0,0] => 872 [1,1,1,0,1,1,0,0,1,0,0,0,1,0] => 908 [1,1,1,0,1,1,0,0,1,0,0,1,0,0] => 888 [1,1,1,0,1,1,0,0,1,0,1,0,0,0] => 848 [1,1,1,0,1,1,0,0,1,1,0,0,0,0] => 768 [1,1,1,0,1,1,0,1,0,0,0,0,1,0] => 818 [1,1,1,0,1,1,0,1,0,0,0,1,0,0] => 804 [1,1,1,0,1,1,0,1,0,0,1,0,0,0] => 776 [1,1,1,0,1,1,0,1,0,1,0,0,0,0] => 720 [1,1,1,0,1,1,0,1,1,0,0,0,0,0] => 608 [1,1,1,0,1,1,1,0,0,0,0,0,1,0] => 632 [1,1,1,0,1,1,1,0,0,0,0,1,0,0] => 624 [1,1,1,0,1,1,1,0,0,0,1,0,0,0] => 608 [1,1,1,0,1,1,1,0,0,1,0,0,0,0] => 576 [1,1,1,0,1,1,1,0,1,0,0,0,0,0] => 512 [1,1,1,0,1,1,1,1,0,0,0,0,0,0] => 384 [1,1,1,1,0,0,0,0,1,0,1,0,1,0] => 912 [1,1,1,1,0,0,0,0,1,0,1,1,0,0] => 872 [1,1,1,1,0,0,0,0,1,1,0,0,1,0] => 882 [1,1,1,1,0,0,0,0,1,1,0,1,0,0] => 852 [1,1,1,1,0,0,0,0,1,1,1,0,0,0] => 792 [1,1,1,1,0,0,0,1,0,0,1,0,1,0] => 892 [1,1,1,1,0,0,0,1,0,0,1,1,0,0] => 856 [1,1,1,1,0,0,0,1,0,1,0,0,1,0] => 868 [1,1,1,1,0,0,0,1,0,1,0,1,0,0] => 840 [1,1,1,1,0,0,0,1,0,1,1,0,0,0] => 784 [1,1,1,1,0,0,0,1,1,0,0,0,1,0] => 812 [1,1,1,1,0,0,0,1,1,0,0,1,0,0] => 792 [1,1,1,1,0,0,0,1,1,0,1,0,0,0] => 752 [1,1,1,1,0,0,0,1,1,1,0,0,0,0] => 672 [1,1,1,1,0,0,1,0,0,0,1,0,1,0] => 842 [1,1,1,1,0,0,1,0,0,0,1,1,0,0] => 812 [1,1,1,1,0,0,1,0,0,1,0,0,1,0] => 824 [1,1,1,1,0,0,1,0,0,1,0,1,0,0] => 800 [1,1,1,1,0,0,1,0,0,1,1,0,0,0] => 752 [1,1,1,1,0,0,1,0,1,0,0,0,1,0] => 782 [1,1,1,1,0,0,1,0,1,0,0,1,0,0] => 764 [1,1,1,1,0,0,1,0,1,0,1,0,0,0] => 728 [1,1,1,1,0,0,1,0,1,1,0,0,0,0] => 656 [1,1,1,1,0,0,1,1,0,0,0,0,1,0] => 692 [1,1,1,1,0,0,1,1,0,0,0,1,0,0] => 680 [1,1,1,1,0,0,1,1,0,0,1,0,0,0] => 656 [1,1,1,1,0,0,1,1,0,1,0,0,0,0] => 608 [1,1,1,1,0,0,1,1,1,0,0,0,0,0] => 512 [1,1,1,1,0,1,0,0,0,0,1,0,1,0] => 730 [1,1,1,1,0,1,0,0,0,0,1,1,0,0] => 708 [1,1,1,1,0,1,0,0,0,1,0,0,1,0] => 718 [1,1,1,1,0,1,0,0,0,1,0,1,0,0] => 700 [1,1,1,1,0,1,0,0,0,1,1,0,0,0] => 664 [1,1,1,1,0,1,0,0,1,0,0,0,1,0] => 690 [1,1,1,1,0,1,0,0,1,0,0,1,0,0] => 676 [1,1,1,1,0,1,0,0,1,0,1,0,0,0] => 648 [1,1,1,1,0,1,0,0,1,1,0,0,0,0] => 592 [1,1,1,1,0,1,0,1,0,0,0,0,1,0] => 630 [1,1,1,1,0,1,0,1,0,0,0,1,0,0] => 620 [1,1,1,1,0,1,0,1,0,0,1,0,0,0] => 600 [1,1,1,1,0,1,0,1,0,1,0,0,0,0] => 560 [1,1,1,1,0,1,0,1,1,0,0,0,0,0] => 480 [1,1,1,1,0,1,1,0,0,0,0,0,1,0] => 506 [1,1,1,1,0,1,1,0,0,0,0,1,0,0] => 500 [1,1,1,1,0,1,1,0,0,0,1,0,0,0] => 488 [1,1,1,1,0,1,1,0,0,1,0,0,0,0] => 464 [1,1,1,1,0,1,1,0,1,0,0,0,0,0] => 416 [1,1,1,1,0,1,1,1,0,0,0,0,0,0] => 320 [1,1,1,1,1,0,0,0,0,0,1,0,1,0] => 492 [1,1,1,1,1,0,0,0,0,0,1,1,0,0] => 480 [1,1,1,1,1,0,0,0,0,1,0,0,1,0] => 486 [1,1,1,1,1,0,0,0,0,1,0,1,0,0] => 476 [1,1,1,1,1,0,0,0,0,1,1,0,0,0] => 456 [1,1,1,1,1,0,0,0,1,0,0,0,1,0] => 472 [1,1,1,1,1,0,0,0,1,0,0,1,0,0] => 464 [1,1,1,1,1,0,0,0,1,0,1,0,0,0] => 448 [1,1,1,1,1,0,0,0,1,1,0,0,0,0] => 416 [1,1,1,1,1,0,0,1,0,0,0,0,1,0] => 442 [1,1,1,1,1,0,0,1,0,0,0,1,0,0] => 436 [1,1,1,1,1,0,0,1,0,0,1,0,0,0] => 424 [1,1,1,1,1,0,0,1,0,1,0,0,0,0] => 400 [1,1,1,1,1,0,0,1,1,0,0,0,0,0] => 352 [1,1,1,1,1,0,1,0,0,0,0,0,1,0] => 380 [1,1,1,1,1,0,1,0,0,0,0,1,0,0] => 376 [1,1,1,1,1,0,1,0,0,0,1,0,0,0] => 368 [1,1,1,1,1,0,1,0,0,1,0,0,0,0] => 352 [1,1,1,1,1,0,1,0,1,0,0,0,0,0] => 320 [1,1,1,1,1,0,1,1,0,0,0,0,0,0] => 256 [1,1,1,1,1,1,0,0,0,0,0,0,1,0] => 254 [1,1,1,1,1,1,0,0,0,0,0,1,0,0] => 252 [1,1,1,1,1,1,0,0,0,0,1,0,0,0] => 248 [1,1,1,1,1,1,0,0,0,1,0,0,0,0] => 240 [1,1,1,1,1,1,0,0,1,0,0,0,0,0] => 224 [1,1,1,1,1,1,0,1,0,0,0,0,0,0] => 192 [1,1,1,1,1,1,1,0,0,0,0,0,0,0] => 128 [1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0] => 12870 [1,0,1,0,1,0,1,0,1,0,1,0,1,1,0,0] => 12012 [1,0,1,0,1,0,1,0,1,0,1,1,0,0,1,0] => 12078 [1,0,1,0,1,0,1,0,1,0,1,1,0,1,0,0] => 11484 [1,0,1,0,1,0,1,0,1,0,1,1,1,0,0,0] => 10296 [1,0,1,0,1,0,1,0,1,1,0,0,1,0,1,0] => 12030 [1,0,1,0,1,0,1,0,1,1,0,0,1,1,0,0] => 11340 [1,0,1,0,1,0,1,0,1,1,0,1,0,0,1,0] => 11490 [1,0,1,0,1,0,1,0,1,1,0,1,0,1,0,0] => 10980 [1,0,1,0,1,0,1,0,1,1,0,1,1,0,0,0] => 9960 [1,0,1,0,1,0,1,0,1,1,1,0,0,0,1,0] => 10230 [1,0,1,0,1,0,1,0,1,1,1,0,0,1,0,0] => 9900 [1,0,1,0,1,0,1,0,1,1,1,0,1,0,0,0] => 9240 [1,0,1,0,1,0,1,0,1,1,1,1,0,0,0,0] => 7920 [1,0,1,0,1,0,1,1,0,0,1,0,1,0,1,0] => 11890 [1,0,1,0,1,0,1,1,0,0,1,0,1,1,0,0] => 11172 [1,0,1,0,1,0,1,1,0,0,1,1,0,0,1,0] => 11266 [1,0,1,0,1,0,1,1,0,0,1,1,0,1,0,0] => 10756 [1,0,1,0,1,0,1,1,0,0,1,1,1,0,0,0] => 9736 [1,0,1,0,1,0,1,1,0,1,0,0,1,0,1,0] => 11330 [1,0,1,0,1,0,1,1,0,1,0,0,1,1,0,0] => 10724 [1,0,1,0,1,0,1,1,0,1,0,1,0,0,1,0] => 10874 [1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,0] => 10420 [1,0,1,0,1,0,1,1,0,1,0,1,1,0,0,0] => 9512 [1,0,1,0,1,0,1,1,0,1,1,0,0,0,1,0] => 9810 [1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,0] => 9508 [1,0,1,0,1,0,1,1,0,1,1,0,1,0,0,0] => 8904 [1,0,1,0,1,0,1,1,0,1,1,1,0,0,0,0] => 7696 [1,0,1,0,1,0,1,1,1,0,0,0,1,0,1,0] => 9930 [1,0,1,0,1,0,1,1,1,0,0,0,1,1,0,0] => 9492 [1,0,1,0,1,0,1,1,1,0,0,1,0,0,1,0] => 9642 [1,0,1,0,1,0,1,1,1,0,0,1,0,1,0,0] => 9300 [1,0,1,0,1,0,1,1,1,0,0,1,1,0,0,0] => 8616 [1,0,1,0,1,0,1,1,1,0,1,0,0,0,1,0] => 8970 [1,0,1,0,1,0,1,1,1,0,1,0,0,1,0,0] => 8724 [1,0,1,0,1,0,1,1,1,0,1,0,1,0,0,0] => 8232 [1,0,1,0,1,0,1,1,1,0,1,1,0,0,0,0] => 7248 [1,0,1,0,1,0,1,1,1,1,0,0,0,0,1,0] => 7530 [1,0,1,0,1,0,1,1,1,1,0,0,0,1,0,0] => 7380 [1,0,1,0,1,0,1,1,1,1,0,0,1,0,0,0] => 7080 [1,0,1,0,1,0,1,1,1,1,0,1,0,0,0,0] => 6480 [1,0,1,0,1,0,1,1,1,1,1,0,0,0,0,0] => 5280 [1,0,1,0,1,1,0,0,1,0,1,0,1,0,1,0] => 11610 [1,0,1,0,1,1,0,0,1,0,1,0,1,1,0,0] => 10892 [1,0,1,0,1,1,0,0,1,0,1,1,0,0,1,0] => 10968 [1,0,1,0,1,1,0,0,1,0,1,1,0,1,0,0] => 10464 [1,0,1,0,1,1,0,0,1,0,1,1,1,0,0,0] => 9456 [1,0,1,0,1,1,0,0,1,1,0,0,1,0,1,0] => 10970 [1,0,1,0,1,1,0,0,1,1,0,0,1,1,0,0] => 10380 [1,0,1,0,1,1,0,0,1,1,0,1,0,0,1,0] => 10520 [1,0,1,0,1,1,0,0,1,1,0,1,0,1,0,0] => 10080 [1,0,1,0,1,1,0,0,1,1,0,1,1,0,0,0] => 9200 [1,0,1,0,1,1,0,0,1,1,1,0,0,0,1,0] => 9470 [1,0,1,0,1,1,0,0,1,1,1,0,0,1,0,0] => 9180 [1,0,1,0,1,1,0,0,1,1,1,0,1,0,0,0] => 8600 [1,0,1,0,1,1,0,0,1,1,1,1,0,0,0,0] => 7440 [1,0,1,0,1,1,0,1,0,0,1,0,1,0,1,0] => 10980 [1,0,1,0,1,1,0,1,0,0,1,0,1,1,0,0] => 10352 [1,0,1,0,1,1,0,1,0,0,1,1,0,0,1,0] => 10446 [1,0,1,0,1,1,0,1,0,0,1,1,0,1,0,0] => 9996 [1,0,1,0,1,1,0,1,0,0,1,1,1,0,0,0] => 9096 [1,0,1,0,1,1,0,1,0,1,0,0,1,0,1,0] => 10520 [1,0,1,0,1,1,0,1,0,1,0,0,1,1,0,0] => 9984 [1,0,1,0,1,1,0,1,0,1,0,1,0,0,1,0] => 10124 [1,0,1,0,1,1,0,1,0,1,0,1,0,1,0,0] => 9720 [1,0,1,0,1,1,0,1,0,1,0,1,1,0,0,0] => 8912 [1,0,1,0,1,1,0,1,0,1,1,0,0,0,1,0] => 9200 [1,0,1,0,1,1,0,1,0,1,1,0,0,1,0,0] => 8928 [1,0,1,0,1,1,0,1,0,1,1,0,1,0,0,0] => 8384 [1,0,1,0,1,1,0,1,0,1,1,1,0,0,0,0] => 7296 [1,0,1,0,1,1,0,1,1,0,0,0,1,0,1,0] => 9370 [1,0,1,0,1,1,0,1,1,0,0,0,1,1,0,0] => 8972 [1,0,1,0,1,1,0,1,1,0,0,1,0,0,1,0] => 9112 [1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0] => 8800 [1,0,1,0,1,1,0,1,1,0,0,1,1,0,0,0] => 8176 [1,0,1,0,1,1,0,1,1,0,1,0,0,0,1,0] => 8510 [1,0,1,0,1,1,0,1,1,0,1,0,0,1,0,0] => 8284 [1,0,1,0,1,1,0,1,1,0,1,0,1,0,0,0] => 7832 [1,0,1,0,1,1,0,1,1,0,1,1,0,0,0,0] => 6928 [1,0,1,0,1,1,0,1,1,1,0,0,0,0,1,0] => 7220 [1,0,1,0,1,1,0,1,1,1,0,0,0,1,0,0] => 7080 [1,0,1,0,1,1,0,1,1,1,0,0,1,0,0,0] => 6800 [1,0,1,0,1,1,0,1,1,1,0,1,0,0,0,0] => 6240 [1,0,1,0,1,1,0,1,1,1,1,0,0,0,0,0] => 5120 [1,0,1,0,1,1,1,0,0,0,1,0,1,0,1,0] => 9342 [1,0,1,0,1,1,1,0,0,0,1,0,1,1,0,0] => 8876 [1,0,1,0,1,1,1,0,0,0,1,1,0,0,1,0] => 8970 [1,0,1,0,1,1,1,0,0,0,1,1,0,1,0,0] => 8628 [1,0,1,0,1,1,1,0,0,0,1,1,1,0,0,0] => 7944 [1,0,1,0,1,1,1,0,0,1,0,0,1,0,1,0] => 9062 [1,0,1,0,1,1,1,0,0,1,0,0,1,1,0,0] => 8652 [1,0,1,0,1,1,1,0,0,1,0,1,0,0,1,0] => 8774 [1,0,1,0,1,1,1,0,0,1,0,1,0,1,0,0] => 8460 [1,0,1,0,1,1,1,0,0,1,0,1,1,0,0,0] => 7832 [1,0,1,0,1,1,1,0,0,1,1,0,0,0,1,0] => 8102 [1,0,1,0,1,1,1,0,0,1,1,0,0,1,0,0] => 7884 [1,0,1,0,1,1,1,0,0,1,1,0,1,0,0,0] => 7448 [1,0,1,0,1,1,1,0,0,1,1,1,0,0,0,0] => 6576 [1,0,1,0,1,1,1,0,1,0,0,0,1,0,1,0] => 8362 [1,0,1,0,1,1,1,0,1,0,0,0,1,1,0,0] => 8036 [1,0,1,0,1,1,1,0,1,0,0,1,0,0,1,0] => 8158 [1,0,1,0,1,1,1,0,1,0,0,1,0,1,0,0] => 7900 [1,0,1,0,1,1,1,0,1,0,0,1,1,0,0,0] => 7384 [1,0,1,0,1,1,1,0,1,0,1,0,0,0,1,0] => 7682 [1,0,1,0,1,1,1,0,1,0,1,0,0,1,0,0] => 7492 [1,0,1,0,1,1,1,0,1,0,1,0,1,0,0,0] => 7112 [1,0,1,0,1,1,1,0,1,0,1,1,0,0,0,0] => 6352 [1,0,1,0,1,1,1,0,1,1,0,0,0,0,1,0] => 6662 [1,0,1,0,1,1,1,0,1,1,0,0,0,1,0,0] => 6540 [1,0,1,0,1,1,1,0,1,1,0,0,1,0,0,0] => 6296 [1,0,1,0,1,1,1,0,1,1,0,1,0,0,0,0] => 5808 [1,0,1,0,1,1,1,0,1,1,1,0,0,0,0,0] => 4832 [1,0,1,0,1,1,1,1,0,0,0,0,1,0,1,0] => 6794 [1,0,1,0,1,1,1,1,0,0,0,0,1,1,0,0] => 6580 [1,0,1,0,1,1,1,1,0,0,0,1,0,0,1,0] => 6674 [1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0] => 6500 [1,0,1,0,1,1,1,1,0,0,0,1,1,0,0,0] => 6152 [1,0,1,0,1,1,1,1,0,0,1,0,0,0,1,0] => 6394 [1,0,1,0,1,1,1,1,0,0,1,0,0,1,0,0] => 6260 [1,0,1,0,1,1,1,1,0,0,1,0,1,0,0,0] => 5992 [1,0,1,0,1,1,1,1,0,0,1,1,0,0,0,0] => 5456 [1,0,1,0,1,1,1,1,0,1,0,0,0,0,1,0] => 5794 [1,0,1,0,1,1,1,1,0,1,0,0,0,1,0,0] => 5700 [1,0,1,0,1,1,1,1,0,1,0,0,1,0,0,0] => 5512 [1,0,1,0,1,1,1,1,0,1,0,1,0,0,0,0] => 5136 [1,0,1,0,1,1,1,1,0,1,1,0,0,0,0,0] => 4384 [1,0,1,0,1,1,1,1,1,0,0,0,0,0,1,0] => 4554 [1,0,1,0,1,1,1,1,1,0,0,0,0,1,0,0] => 4500 [1,0,1,0,1,1,1,1,1,0,0,0,1,0,0,0] => 4392 [1,0,1,0,1,1,1,1,1,0,0,1,0,0,0,0] => 4176 [1,0,1,0,1,1,1,1,1,0,1,0,0,0,0,0] => 3744 [1,0,1,0,1,1,1,1,1,1,0,0,0,0,0,0] => 2880 [1,0,1,1,0,0,1,0,1,0,1,0,1,0,1,0] => 11022 [1,0,1,1,0,0,1,0,1,0,1,0,1,1,0,0] => 10332 [1,0,1,1,0,0,1,0,1,0,1,1,0,0,1,0] => 10398 [1,0,1,1,0,0,1,0,1,0,1,1,0,1,0,0] => 9916 [1,0,1,1,0,0,1,0,1,0,1,1,1,0,0,0] => 8952 [1,0,1,1,0,0,1,0,1,1,0,0,1,0,1,0] => 10382 [1,0,1,1,0,0,1,0,1,1,0,0,1,1,0,0] => 9820 [1,0,1,1,0,0,1,0,1,1,0,1,0,0,1,0] => 9950 [1,0,1,1,0,0,1,0,1,1,0,1,0,1,0,0] => 9532 [1,0,1,1,0,0,1,0,1,1,0,1,1,0,0,0] => 8696 [1,0,1,1,0,0,1,0,1,1,1,0,0,0,1,0] => 8942 [1,0,1,1,0,0,1,0,1,1,1,0,0,1,0,0] => 8668 [1,0,1,1,0,0,1,0,1,1,1,0,1,0,0,0] => 8120 [1,0,1,1,0,0,1,0,1,1,1,1,0,0,0,0] => 7024 [1,0,1,1,0,0,1,1,0,0,1,0,1,0,1,0] => 10322 [1,0,1,1,0,0,1,1,0,0,1,0,1,1,0,0] => 9732 [1,0,1,1,0,0,1,1,0,0,1,1,0,0,1,0] => 9818 [1,0,1,1,0,0,1,1,0,0,1,1,0,1,0,0] => 9396 [1,0,1,1,0,0,1,1,0,0,1,1,1,0,0,0] => 8552 [1,0,1,1,0,0,1,1,0,1,0,0,1,0,1,0] => 9882 [1,0,1,1,0,0,1,1,0,1,0,0,1,1,0,0] => 9380 [1,0,1,1,0,0,1,1,0,1,0,1,0,0,1,0] => 9510 [1,0,1,1,0,0,1,1,0,1,0,1,0,1,0,0] => 9132 [1,0,1,1,0,0,1,1,0,1,0,1,1,0,0,0] => 8376 [1,0,1,1,0,0,1,1,0,1,1,0,0,0,1,0] => 8642 [1,0,1,1,0,0,1,1,0,1,1,0,0,1,0,0] => 8388 [1,0,1,1,0,0,1,1,0,1,1,0,1,0,0,0] => 7880 [1,0,1,1,0,0,1,1,0,1,1,1,0,0,0,0] => 6864 [1,0,1,1,0,0,1,1,1,0,0,0,1,0,1,0] => 8782 [1,0,1,1,0,0,1,1,1,0,0,0,1,1,0,0] => 8412 [1,0,1,1,0,0,1,1,1,0,0,1,0,0,1,0] => 8542 [1,0,1,1,0,0,1,1,1,0,0,1,0,1,0,0] => 8252 [1,0,1,1,0,0,1,1,1,0,0,1,1,0,0,0] => 7672 [1,0,1,1,0,0,1,1,1,0,1,0,0,0,1,0] => 7982 [1,0,1,1,0,0,1,1,1,0,1,0,0,1,0,0] => 7772 [1,0,1,1,0,0,1,1,1,0,1,0,1,0,0,0] => 7352 [1,0,1,1,0,0,1,1,1,0,1,1,0,0,0,0] => 6512 [1,0,1,1,0,0,1,1,1,1,0,0,0,0,1,0] => 6782 [1,0,1,1,0,0,1,1,1,1,0,0,0,1,0,0] => 6652 [1,0,1,1,0,0,1,1,1,1,0,0,1,0,0,0] => 6392 [1,0,1,1,0,0,1,1,1,1,0,1,0,0,0,0] => 5872 [1,0,1,1,0,0,1,1,1,1,1,0,0,0,0,0] => 4832 [1,0,1,1,0,1,0,0,1,0,1,0,1,0,1,0] => 10266 [1,0,1,1,0,1,0,0,1,0,1,0,1,1,0,0] => 9660 [1,0,1,1,0,1,0,0,1,0,1,1,0,0,1,0] => 9732 [1,0,1,1,0,1,0,0,1,0,1,1,0,1,0,0] => 9304 [1,0,1,1,0,1,0,0,1,0,1,1,1,0,0,0] => 8448 [1,0,1,1,0,1,0,0,1,1,0,0,1,0,1,0] => 9746 [1,0,1,1,0,1,0,0,1,1,0,0,1,1,0,0] => 9244 [1,0,1,1,0,1,0,0,1,1,0,1,0,0,1,0] => 9368 [1,0,1,1,0,1,0,0,1,1,0,1,0,1,0,0] => 8992 [1,0,1,1,0,1,0,0,1,1,0,1,1,0,0,0] => 8240 [1,0,1,1,0,1,0,0,1,1,1,0,0,0,1,0] => 8486 [1,0,1,1,0,1,0,0,1,1,1,0,0,1,0,0] => 8236 [1,0,1,1,0,1,0,0,1,1,1,0,1,0,0,0] => 7736 [1,0,1,1,0,1,0,0,1,1,1,1,0,0,0,0] => 6736 [1,0,1,1,0,1,0,1,0,0,1,0,1,0,1,0] => 9776 [1,0,1,1,0,1,0,1,0,0,1,0,1,1,0,0] => 9240 [1,0,1,1,0,1,0,1,0,0,1,1,0,0,1,0] => 9326 [1,0,1,1,0,1,0,1,0,0,1,1,0,1,0,0] => 8940 [1,0,1,1,0,1,0,1,0,0,1,1,1,0,0,0] => 8168 [1,0,1,1,0,1,0,1,0,1,0,0,1,0,1,0] => 9396 [1,0,1,1,0,1,0,1,0,1,0,0,1,1,0,0] => 8936 [1,0,1,1,0,1,0,1,0,1,0,1,0,0,1,0] => 9060 [1,0,1,1,0,1,0,1,0,1,0,1,0,1,0,0] => 8712 [1,0,1,1,0,1,0,1,0,1,0,1,1,0,0,0] => 8016 [1,0,1,1,0,1,0,1,0,1,1,0,0,0,1,0] => 8276 [1,0,1,1,0,1,0,1,0,1,1,0,0,1,0,0] => 8040 [1,0,1,1,0,1,0,1,0,1,1,0,1,0,0,0] => 7568 [1,0,1,1,0,1,0,1,0,1,1,1,0,0,0,0] => 6624 [1,0,1,1,0,1,0,1,1,0,0,0,1,0,1,0] => 8446 [1,0,1,1,0,1,0,1,1,0,0,0,1,1,0,0] => 8100 [1,0,1,1,0,1,0,1,1,0,0,1,0,0,1,0] => 8224 [1,0,1,1,0,1,0,1,1,0,0,1,0,1,0,0] => 7952 [1,0,1,1,0,1,0,1,1,0,0,1,1,0,0,0] => 7408 [1,0,1,1,0,1,0,1,1,0,1,0,0,0,1,0] => 7706 [1,0,1,1,0,1,0,1,1,0,1,0,0,1,0,0] => 7508 [1,0,1,1,0,1,0,1,1,0,1,0,1,0,0,0] => 7112 [1,0,1,1,0,1,0,1,1,0,1,1,0,0,0,0] => 6320 [1,0,1,1,0,1,0,1,1,1,0,0,0,0,1,0] => 6596 [1,0,1,1,0,1,0,1,1,1,0,0,0,1,0,0] => 6472 [1,0,1,1,0,1,0,1,1,1,0,0,1,0,0,0] => 6224 [1,0,1,1,0,1,0,1,1,1,0,1,0,0,0,0] => 5728 [1,0,1,1,0,1,0,1,1,1,1,0,0,0,0,0] => 4736 [1,0,1,1,0,1,1,0,0,0,1,0,1,0,1,0] => 8502 [1,0,1,1,0,1,1,0,0,0,1,0,1,1,0,0] => 8092 [1,0,1,1,0,1,1,0,0,0,1,1,0,0,1,0] => 8178 [1,0,1,1,0,1,1,0,0,0,1,1,0,1,0,0] => 7876 [1,0,1,1,0,1,1,0,0,0,1,1,1,0,0,0] => 7272 [1,0,1,1,0,1,1,0,0,1,0,0,1,0,1,0] => 8262 [1,0,1,1,0,1,1,0,0,1,0,0,1,1,0,0] => 7900 [1,0,1,1,0,1,1,0,0,1,0,1,0,0,1,0] => 8010 [1,0,1,1,0,1,1,0,0,1,0,1,0,1,0,0] => 7732 [1,0,1,1,0,1,1,0,0,1,0,1,1,0,0,0] => 7176 [1,0,1,1,0,1,1,0,0,1,1,0,0,0,1,0] => 7422 [1,0,1,1,0,1,1,0,0,1,1,0,0,1,0,0] => 7228 [1,0,1,1,0,1,1,0,0,1,1,0,1,0,0,0] => 6840 [1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,0] => 6064 [1,0,1,1,0,1,1,0,1,0,0,0,1,0,1,0] => 7662 [1,0,1,1,0,1,1,0,1,0,0,0,1,1,0,0] => 7372 [1,0,1,1,0,1,1,0,1,0,0,1,0,0,1,0] => 7482 [1,0,1,1,0,1,1,0,1,0,0,1,0,1,0,0] => 7252 [1,0,1,1,0,1,1,0,1,0,0,1,1,0,0,0] => 6792 [1,0,1,1,0,1,1,0,1,0,1,0,0,0,1,0] => 7062 [1,0,1,1,0,1,1,0,1,0,1,0,0,1,0,0] => 6892 [1,0,1,1,0,1,1,0,1,0,1,0,1,0,0,0] => 6552 [1,0,1,1,0,1,1,0,1,0,1,1,0,0,0,0] => 5872 [1,0,1,1,0,1,1,0,1,1,0,0,0,0,1,0] => 6162 [1,0,1,1,0,1,1,0,1,1,0,0,0,1,0,0] => 6052 [1,0,1,1,0,1,1,0,1,1,0,0,1,0,0,0] => 5832 [1,0,1,1,0,1,1,0,1,1,0,1,0,0,0,0] => 5392 [1,0,1,1,0,1,1,0,1,1,1,0,0,0,0,0] => 4512 [1,0,1,1,0,1,1,1,0,0,0,0,1,0,1,0] => 6318 [1,0,1,1,0,1,1,1,0,0,0,0,1,1,0,0] => 6124 [1,0,1,1,0,1,1,1,0,0,0,1,0,0,1,0] => 6210 [1,0,1,1,0,1,1,1,0,0,0,1,0,1,0,0] => 6052 [1,0,1,1,0,1,1,1,0,0,0,1,1,0,0,0] => 5736 [1,0,1,1,0,1,1,1,0,0,1,0,0,0,1,0] => 5958 [1,0,1,1,0,1,1,1,0,0,1,0,0,1,0,0] => 5836 [1,0,1,1,0,1,1,1,0,0,1,0,1,0,0,0] => 5592 [1,0,1,1,0,1,1,1,0,0,1,1,0,0,0,0] => 5104 [1,0,1,1,0,1,1,1,0,1,0,0,0,0,1,0] => 5418 [1,0,1,1,0,1,1,1,0,1,0,0,0,1,0,0] => 5332 [1,0,1,1,0,1,1,1,0,1,0,0,1,0,0,0] => 5160 [1,0,1,1,0,1,1,1,0,1,0,1,0,0,0,0] => 4816 [1,0,1,1,0,1,1,1,0,1,1,0,0,0,0,0] => 4128 [1,0,1,1,0,1,1,1,1,0,0,0,0,0,1,0] => 4302 [1,0,1,1,0,1,1,1,1,0,0,0,0,1,0,0] => 4252 [1,0,1,1,0,1,1,1,1,0,0,0,1,0,0,0] => 4152 [1,0,1,1,0,1,1,1,1,0,0,1,0,0,0,0] => 3952 [1,0,1,1,0,1,1,1,1,0,1,0,0,0,0,0] => 3552 [1,0,1,1,0,1,1,1,1,1,0,0,0,0,0,0] => 2752 [1,0,1,1,1,0,0,0,1,0,1,0,1,0,1,0] => 8250 [1,0,1,1,1,0,0,0,1,0,1,0,1,1,0,0] => 7812 [1,0,1,1,1,0,0,0,1,0,1,1,0,0,1,0] => 7878 [1,0,1,1,1,0,0,0,1,0,1,1,0,1,0,0] => 7564 [1,0,1,1,1,0,0,0,1,0,1,1,1,0,0,0] => 6936 [1,0,1,1,1,0,0,0,1,1,0,0,1,0,1,0] => 7910 [1,0,1,1,1,0,0,0,1,1,0,0,1,1,0,0] => 7540 [1,0,1,1,1,0,0,0,1,1,0,1,0,0,1,0] => 7640 [1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,0] => 7360 [1,0,1,1,1,0,0,0,1,1,0,1,1,0,0,0] => 6800 [1,0,1,1,1,0,0,0,1,1,1,0,0,0,1,0] => 7010 [1,0,1,1,1,0,0,0,1,1,1,0,0,1,0,0] => 6820 [1,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0] => 6440 [1,0,1,1,1,0,0,0,1,1,1,1,0,0,0,0] => 5680 [1,0,1,1,1,0,0,1,0,0,1,0,1,0,1,0] => 7970 [1,0,1,1,1,0,0,1,0,0,1,0,1,1,0,0] => 7572 [1,0,1,1,1,0,0,1,0,0,1,1,0,0,1,0] => 7646 [1,0,1,1,1,0,0,1,0,0,1,1,0,1,0,0] => 7356 [1,0,1,1,1,0,0,1,0,0,1,1,1,0,0,0] => 6776 [1,0,1,1,1,0,0,1,0,1,0,0,1,0,1,0] => 7710 [1,0,1,1,1,0,0,1,0,1,0,0,1,1,0,0] => 7364 [1,0,1,1,1,0,0,1,0,1,0,1,0,0,1,0] => 7464 [1,0,1,1,1,0,0,1,0,1,0,1,0,1,0,0] => 7200 [1,0,1,1,1,0,0,1,0,1,0,1,1,0,0,0] => 6672 [1,0,1,1,1,0,0,1,0,1,1,0,0,0,1,0] => 6890 [1,0,1,1,1,0,0,1,0,1,1,0,0,1,0,0] => 6708 [1,0,1,1,1,0,0,1,0,1,1,0,1,0,0,0] => 6344 [1,0,1,1,1,0,0,1,0,1,1,1,0,0,0,0] => 5616 [1,0,1,1,1,0,0,1,1,0,0,0,1,0,1,0] => 7060 [1,0,1,1,1,0,0,1,1,0,0,0,1,1,0,0] => 6792 [1,0,1,1,1,0,0,1,1,0,0,1,0,0,1,0] => 6892 [1,0,1,1,1,0,0,1,1,0,0,1,0,1,0,0] => 6680 [1,0,1,1,1,0,0,1,1,0,0,1,1,0,0,0] => 6256 [1,0,1,1,1,0,0,1,1,0,1,0,0,0,1,0] => 6500 [1,0,1,1,1,0,0,1,1,0,1,0,0,1,0,0] => 6344 [1,0,1,1,1,0,0,1,1,0,1,0,1,0,0,0] => 6032 [1,0,1,1,1,0,0,1,1,0,1,1,0,0,0,0] => 5408 [1,0,1,1,1,0,0,1,1,1,0,0,0,0,1,0] => 5660 [1,0,1,1,1,0,0,1,1,1,0,0,0,1,0,0] => 5560 [1,0,1,1,1,0,0,1,1,1,0,0,1,0,0,0] => 5360 [1,0,1,1,1,0,0,1,1,1,0,1,0,0,0,0] => 4960 [1,0,1,1,1,0,0,1,1,1,1,0,0,0,0,0] => 4160 [1,0,1,1,1,0,1,0,0,0,1,0,1,0,1,0] => 7242 [1,0,1,1,1,0,1,0,0,0,1,0,1,1,0,0] => 6916 [1,0,1,1,1,0,1,0,0,0,1,1,0,0,1,0] => 6990 [1,0,1,1,1,0,1,0,0,0,1,1,0,1,0,0] => 6748 [1,0,1,1,1,0,1,0,0,0,1,1,1,0,0,0] => 6264 [1,0,1,1,1,0,1,0,0,1,0,0,1,0,1,0] => 7062 [1,0,1,1,1,0,1,0,0,1,0,0,1,1,0,0] => 6772 [1,0,1,1,1,0,1,0,0,1,0,1,0,0,1,0] => 6864 [1,0,1,1,1,0,1,0,0,1,0,1,0,1,0,0] => 6640 [1,0,1,1,1,0,1,0,0,1,0,1,1,0,0,0] => 6192 [1,0,1,1,1,0,1,0,0,1,1,0,0,0,1,0] => 6402 [1,0,1,1,1,0,1,0,0,1,1,0,0,1,0,0] => 6244 [1,0,1,1,1,0,1,0,0,1,1,0,1,0,0,0] => 5928 [1,0,1,1,1,0,1,0,0,1,1,1,0,0,0,0] => 5296 [1,0,1,1,1,0,1,0,1,0,0,0,1,0,1,0] => 6612 [1,0,1,1,1,0,1,0,1,0,0,0,1,1,0,0] => 6376 [1,0,1,1,1,0,1,0,1,0,0,1,0,0,1,0] => 6468 [1,0,1,1,1,0,1,0,1,0,0,1,0,1,0,0] => 6280 [1,0,1,1,1,0,1,0,1,0,0,1,1,0,0,0] => 5904 [1,0,1,1,1,0,1,0,1,0,1,0,0,0,1,0] => 6132 [1,0,1,1,1,0,1,0,1,0,1,0,0,1,0,0] => 5992 [1,0,1,1,1,0,1,0,1,0,1,0,1,0,0,0] => 5712 [1,0,1,1,1,0,1,0,1,0,1,1,0,0,0,0] => 5152 [1,0,1,1,1,0,1,0,1,1,0,0,0,0,1,0] => 5412 [1,0,1,1,1,0,1,0,1,1,0,0,0,1,0,0] => 5320 [1,0,1,1,1,0,1,0,1,1,0,0,1,0,0,0] => 5136 [1,0,1,1,1,0,1,0,1,1,0,1,0,0,0,0] => 4768 [1,0,1,1,1,0,1,0,1,1,1,0,0,0,0,0] => 4032 [1,0,1,1,1,0,1,1,0,0,0,0,1,0,1,0] => 5604 [1,0,1,1,1,0,1,1,0,0,0,0,1,1,0,0] => 5440 [1,0,1,1,1,0,1,1,0,0,0,1,0,0,1,0] => 5514 [1,0,1,1,1,0,1,1,0,0,0,1,0,1,0,0] => 5380 [1,0,1,1,1,0,1,1,0,0,0,1,1,0,0,0] => 5112 [1,0,1,1,1,0,1,1,0,0,1,0,0,0,1,0] => 5304 [1,0,1,1,1,0,1,1,0,0,1,0,0,1,0,0] => 5200 [1,0,1,1,1,0,1,1,0,0,1,0,1,0,0,0] => 4992 [1,0,1,1,1,0,1,1,0,0,1,1,0,0,0,0] => 4576 [1,0,1,1,1,0,1,1,0,1,0,0,0,0,1,0] => 4854 [1,0,1,1,1,0,1,1,0,1,0,0,0,1,0,0] => 4780 [1,0,1,1,1,0,1,1,0,1,0,0,1,0,0,0] => 4632 [1,0,1,1,1,0,1,1,0,1,0,1,0,0,0,0] => 4336 [1,0,1,1,1,0,1,1,0,1,1,0,0,0,0,0] => 3744 [1,0,1,1,1,0,1,1,1,0,0,0,0,0,1,0] => 3924 [1,0,1,1,1,0,1,1,1,0,0,0,0,1,0,0] => 3880 [1,0,1,1,1,0,1,1,1,0,0,0,1,0,0,0] => 3792 [1,0,1,1,1,0,1,1,1,0,0,1,0,0,0,0] => 3616 [1,0,1,1,1,0,1,1,1,0,1,0,0,0,0,0] => 3264 [1,0,1,1,1,0,1,1,1,1,0,0,0,0,0,0] => 2560 [1,0,1,1,1,1,0,0,0,0,1,0,1,0,1,0] => 5562 [1,0,1,1,1,1,0,0,0,0,1,0,1,1,0,0] => 5348 [1,0,1,1,1,1,0,0,0,0,1,1,0,0,1,0] => 5406 [1,0,1,1,1,1,0,0,0,0,1,1,0,1,0,0] => 5244 [1,0,1,1,1,1,0,0,0,0,1,1,1,0,0,0] => 4920 [1,0,1,1,1,1,0,0,0,1,0,0,1,0,1,0] => 5462 [1,0,1,1,1,1,0,0,0,1,0,0,1,1,0,0] => 5268 [1,0,1,1,1,1,0,0,0,1,0,1,0,0,1,0] => 5336 [1,0,1,1,1,1,0,0,0,1,0,1,0,1,0,0] => 5184 [1,0,1,1,1,1,0,0,0,1,0,1,1,0,0,0] => 4880 [1,0,1,1,1,1,0,0,0,1,1,0,0,0,1,0] => 5042 [1,0,1,1,1,1,0,0,0,1,1,0,0,1,0,0] => 4932 [1,0,1,1,1,1,0,0,0,1,1,0,1,0,0,0] => 4712 [1,0,1,1,1,1,0,0,0,1,1,1,0,0,0,0] => 4272 [1,0,1,1,1,1,0,0,1,0,0,0,1,0,1,0] => 5212 [1,0,1,1,1,1,0,0,1,0,0,0,1,1,0,0] => 5048 [1,0,1,1,1,1,0,0,1,0,0,1,0,0,1,0] => 5116 [1,0,1,1,1,1,0,0,1,0,0,1,0,1,0,0] => 4984 [1,0,1,1,1,1,0,0,1,0,0,1,1,0,0,0] => 4720 [1,0,1,1,1,1,0,0,1,0,1,0,0,0,1,0] => 4892 [1,0,1,1,1,1,0,0,1,0,1,0,0,1,0,0] => 4792 [1,0,1,1,1,1,0,0,1,0,1,0,1,0,0,0] => 4592 [1,0,1,1,1,1,0,0,1,0,1,1,0,0,0,0] => 4192 [1,0,1,1,1,1,0,0,1,1,0,0,0,0,1,0] => 4412 [1,0,1,1,1,1,0,0,1,1,0,0,0,1,0,0] => 4344 [1,0,1,1,1,1,0,0,1,1,0,0,1,0,0,0] => 4208 [1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,0] => 3936 [1,0,1,1,1,1,0,0,1,1,1,0,0,0,0,0] => 3392 [1,0,1,1,1,1,0,1,0,0,0,0,1,0,1,0] => 4652 [1,0,1,1,1,1,0,1,0,0,0,0,1,1,0,0] => 4528 [1,0,1,1,1,1,0,1,0,0,0,1,0,0,1,0] => 4586 [1,0,1,1,1,1,0,1,0,0,0,1,0,1,0,0] => 4484 [1,0,1,1,1,1,0,1,0,0,0,1,1,0,0,0] => 4280 [1,0,1,1,1,1,0,1,0,0,1,0,0,0,1,0] => 4432 [1,0,1,1,1,1,0,1,0,0,1,0,0,1,0,0] => 4352 [1,0,1,1,1,1,0,1,0,0,1,0,1,0,0,0] => 4192 [1,0,1,1,1,1,0,1,0,0,1,1,0,0,0,0] => 3872 [1,0,1,1,1,1,0,1,0,1,0,0,0,0,1,0] => 4102 [1,0,1,1,1,1,0,1,0,1,0,0,0,1,0,0] => 4044 [1,0,1,1,1,1,0,1,0,1,0,0,1,0,0,0] => 3928 [1,0,1,1,1,1,0,1,0,1,0,1,0,0,0,0] => 3696 [1,0,1,1,1,1,0,1,0,1,1,0,0,0,0,0] => 3232 [1,0,1,1,1,1,0,1,1,0,0,0,0,0,1,0] => 3420 [1,0,1,1,1,1,0,1,1,0,0,0,0,1,0,0] => 3384 [1,0,1,1,1,1,0,1,1,0,0,0,1,0,0,0] => 3312 [1,0,1,1,1,1,0,1,1,0,0,1,0,0,0,0] => 3168 [1,0,1,1,1,1,0,1,1,0,1,0,0,0,0,0] => 2880 [1,0,1,1,1,1,0,1,1,1,0,0,0,0,0,0] => 2304 [1,0,1,1,1,1,1,0,0,0,0,0,1,0,1,0] => 3462 [1,0,1,1,1,1,1,0,0,0,0,0,1,1,0,0] => 3388 [1,0,1,1,1,1,1,0,0,0,0,1,0,0,1,0] => 3426 [1,0,1,1,1,1,1,0,0,0,0,1,0,1,0,0] => 3364 [1,0,1,1,1,1,1,0,0,0,0,1,1,0,0,0] => 3240 [1,0,1,1,1,1,1,0,0,0,1,0,0,0,1,0] => 3342 [1,0,1,1,1,1,1,0,0,0,1,0,0,1,0,0] => 3292 [1,0,1,1,1,1,1,0,0,0,1,0,1,0,0,0] => 3192 [1,0,1,1,1,1,1,0,0,0,1,1,0,0,0,0] => 2992 [1,0,1,1,1,1,1,0,0,1,0,0,0,0,1,0] => 3162 [1,0,1,1,1,1,1,0,0,1,0,0,0,1,0,0] => 3124 [1,0,1,1,1,1,1,0,0,1,0,0,1,0,0,0] => 3048 [1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,0] => 2896 [1,0,1,1,1,1,1,0,0,1,1,0,0,0,0,0] => 2592 [1,0,1,1,1,1,1,0,1,0,0,0,0,0,1,0] => 2790 [1,0,1,1,1,1,1,0,1,0,0,0,0,1,0,0] => 2764 [1,0,1,1,1,1,1,0,1,0,0,0,1,0,0,0] => 2712 [1,0,1,1,1,1,1,0,1,0,0,1,0,0,0,0] => 2608 [1,0,1,1,1,1,1,0,1,0,1,0,0,0,0,0] => 2400 [1,0,1,1,1,1,1,0,1,1,0,0,0,0,0,0] => 1984 [1,0,1,1,1,1,1,1,0,0,0,0,0,0,1,0] => 2034 [1,0,1,1,1,1,1,1,0,0,0,0,0,1,0,0] => 2020 [1,0,1,1,1,1,1,1,0,0,0,0,1,0,0,0] => 1992 [1,0,1,1,1,1,1,1,0,0,0,1,0,0,0,0] => 1936 [1,0,1,1,1,1,1,1,0,0,1,0,0,0,0,0] => 1824 [1,0,1,1,1,1,1,1,0,1,0,0,0,0,0,0] => 1600 [1,0,1,1,1,1,1,1,1,0,0,0,0,0,0,0] => 1152 [1,1,0,0,1,0,1,0,1,0,1,0,1,0,1,0] => 9438 [1,1,0,0,1,0,1,0,1,0,1,0,1,1,0,0] => 8844 [1,1,0,0,1,0,1,0,1,0,1,1,0,0,1,0] => 8898 [1,1,0,0,1,0,1,0,1,0,1,1,0,1,0,0] => 8484 [1,1,0,0,1,0,1,0,1,0,1,1,1,0,0,0] => 7656 [1,1,0,0,1,0,1,0,1,1,0,0,1,0,1,0] => 8878 [1,1,0,0,1,0,1,0,1,1,0,0,1,1,0,0] => 8396 [1,1,0,0,1,0,1,0,1,1,0,1,0,0,1,0] => 8506 [1,1,0,0,1,0,1,0,1,1,0,1,0,1,0,0] => 8148 [1,1,0,0,1,0,1,0,1,1,0,1,1,0,0,0] => 7432 [1,1,0,0,1,0,1,0,1,1,1,0,0,0,1,0] => 7638 [1,1,0,0,1,0,1,0,1,1,1,0,0,1,0,0] => 7404 [1,1,0,0,1,0,1,0,1,1,1,0,1,0,0,0] => 6936 [1,1,0,0,1,0,1,0,1,1,1,1,0,0,0,0] => 6000 [1,1,0,0,1,0,1,1,0,0,1,0,1,0,1,0] => 8808 [1,1,0,0,1,0,1,1,0,0,1,0,1,1,0,0] => 8304 [1,1,0,0,1,0,1,1,0,0,1,1,0,0,1,0] => 8376 [1,1,0,0,1,0,1,1,0,0,1,1,0,1,0,0] => 8016 [1,1,0,0,1,0,1,1,0,0,1,1,1,0,0,0] => 7296 [1,1,0,0,1,0,1,1,0,1,0,0,1,0,1,0] => 8428 [1,1,0,0,1,0,1,1,0,1,0,0,1,1,0,0] => 8000 [1,1,0,0,1,0,1,1,0,1,0,1,0,0,1,0] => 8110 [1,1,0,0,1,0,1,1,0,1,0,1,0,1,0,0] => 7788 [1,1,0,0,1,0,1,1,0,1,0,1,1,0,0,0] => 7144 [1,1,0,0,1,0,1,1,0,1,1,0,0,0,1,0] => 7368 [1,1,0,0,1,0,1,1,0,1,1,0,0,1,0,0] => 7152 [1,1,0,0,1,0,1,1,0,1,1,0,1,0,0,0] => 6720 [1,1,0,0,1,0,1,1,0,1,1,1,0,0,0,0] => 5856 [1,1,0,0,1,0,1,1,1,0,0,0,1,0,1,0] => 7478 [1,1,0,0,1,0,1,1,1,0,0,0,1,1,0,0] => 7164 [1,1,0,0,1,0,1,1,1,0,0,1,0,0,1,0] => 7274 [1,1,0,0,1,0,1,1,1,0,0,1,0,1,0,0] => 7028 [1,1,0,0,1,0,1,1,1,0,0,1,1,0,0,0] => 6536 [1,1,0,0,1,0,1,1,1,0,1,0,0,0,1,0] => 6798 [1,1,0,0,1,0,1,1,1,0,1,0,0,1,0,0] => 6620 [1,1,0,0,1,0,1,1,1,0,1,0,1,0,0,0] => 6264 [1,1,0,0,1,0,1,1,1,0,1,1,0,0,0,0] => 5552 [1,1,0,0,1,0,1,1,1,1,0,0,0,0,1,0] => 5778 [1,1,0,0,1,0,1,1,1,1,0,0,0,1,0,0] => 5668 [1,1,0,0,1,0,1,1,1,1,0,0,1,0,0,0] => 5448 [1,1,0,0,1,0,1,1,1,1,0,1,0,0,0,0] => 5008 [1,1,0,0,1,0,1,1,1,1,1,0,0,0,0,0] => 4128 [1,1,0,0,1,1,0,0,1,0,1,0,1,0,1,0] => 8682 [1,1,0,0,1,1,0,0,1,0,1,0,1,1,0,0] => 8172 [1,1,0,0,1,1,0,0,1,0,1,1,0,0,1,0] => 8232 [1,1,0,0,1,1,0,0,1,0,1,1,0,1,0,0] => 7872 [1,1,0,0,1,1,0,0,1,0,1,1,1,0,0,0] => 7152 [1,1,0,0,1,1,0,0,1,1,0,0,1,0,1,0] => 8242 [1,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0] => 7820 [1,1,0,0,1,1,0,0,1,1,0,1,0,0,1,0] => 7924 [1,1,0,0,1,1,0,0,1,1,0,1,0,1,0,0] => 7608 [1,1,0,0,1,1,0,0,1,1,0,1,1,0,0,0] => 6976 [1,1,0,0,1,1,0,0,1,1,1,0,0,0,1,0] => 7182 [1,1,0,0,1,1,0,0,1,1,1,0,0,1,0,0] => 6972 [1,1,0,0,1,1,0,0,1,1,1,0,1,0,0,0] => 6552 [1,1,0,0,1,1,0,0,1,1,1,1,0,0,0,0] => 5712 [1,1,0,0,1,1,0,1,0,0,1,0,1,0,1,0] => 8262 [1,1,0,0,1,1,0,1,0,0,1,0,1,1,0,0] => 7812 [1,1,0,0,1,1,0,1,0,0,1,1,0,0,1,0] => 7884 [1,1,0,0,1,1,0,1,0,0,1,1,0,1,0,0] => 7560 [1,1,0,0,1,1,0,1,0,0,1,1,1,0,0,0] => 6912 [1,1,0,0,1,1,0,1,0,1,0,0,1,0,1,0] => 7942 [1,1,0,0,1,1,0,1,0,1,0,0,1,1,0,0] => 7556 [1,1,0,0,1,1,0,1,0,1,0,1,0,0,1,0] => 7660 [1,1,0,0,1,1,0,1,0,1,0,1,0,1,0,0] => 7368 [1,1,0,0,1,1,0,1,0,1,0,1,1,0,0,0] => 6784 [1,1,0,0,1,1,0,1,0,1,1,0,0,0,1,0] => 7002 [1,1,0,0,1,1,0,1,0,1,1,0,0,1,0,0] => 6804 [1,1,0,0,1,1,0,1,0,1,1,0,1,0,0,0] => 6408 [1,1,0,0,1,1,0,1,0,1,1,1,0,0,0,0] => 5616 [1,1,0,0,1,1,0,1,1,0,0,0,1,0,1,0] => 7142 [1,1,0,0,1,1,0,1,1,0,0,0,1,1,0,0] => 6852 [1,1,0,0,1,1,0,1,1,0,0,1,0,0,1,0] => 6956 [1,1,0,0,1,1,0,1,1,0,0,1,0,1,0,0] => 6728 [1,1,0,0,1,1,0,1,1,0,0,1,1,0,0,0] => 6272 [1,1,0,0,1,1,0,1,1,0,1,0,0,0,1,0] => 6522 [1,1,0,0,1,1,0,1,1,0,1,0,0,1,0,0] => 6356 [1,1,0,0,1,1,0,1,1,0,1,0,1,0,0,0] => 6024 [1,1,0,0,1,1,0,1,1,0,1,1,0,0,0,0] => 5360 [1,1,0,0,1,1,0,1,1,1,0,0,0,0,1,0] => 5592 [1,1,0,0,1,1,0,1,1,1,0,0,0,1,0,0] => 5488 [1,1,0,0,1,1,0,1,1,1,0,0,1,0,0,0] => 5280 [1,1,0,0,1,1,0,1,1,1,0,1,0,0,0,0] => 4864 [1,1,0,0,1,1,0,1,1,1,1,0,0,0,0,0] => 4032 [1,1,0,0,1,1,1,0,0,0,1,0,1,0,1,0] => 7170 [1,1,0,0,1,1,1,0,0,0,1,0,1,1,0,0] => 6828 [1,1,0,0,1,1,1,0,0,0,1,1,0,0,1,0] => 6900 [1,1,0,0,1,1,1,0,0,0,1,1,0,1,0,0] => 6648 [1,1,0,0,1,1,1,0,0,0,1,1,1,0,0,0] => 6144 [1,1,0,0,1,1,1,0,0,1,0,0,1,0,1,0] => 6970 [1,1,0,0,1,1,1,0,0,1,0,0,1,1,0,0] => 6668 [1,1,0,0,1,1,1,0,0,1,0,1,0,0,1,0] => 6760 [1,1,0,0,1,1,1,0,0,1,0,1,0,1,0,0] => 6528 [1,1,0,0,1,1,1,0,0,1,0,1,1,0,0,0] => 6064 [1,1,0,0,1,1,1,0,0,1,1,0,0,0,1,0] => 6270 [1,1,0,0,1,1,1,0,0,1,1,0,0,1,0,0] => 6108 [1,1,0,0,1,1,1,0,0,1,1,0,1,0,0,0] => 5784 [1,1,0,0,1,1,1,0,0,1,1,1,0,0,0,0] => 5136 [1,1,0,0,1,1,1,0,1,0,0,0,1,0,1,0] => 6470 [1,1,0,0,1,1,1,0,1,0,0,0,1,1,0,0] => 6228 [1,1,0,0,1,1,1,0,1,0,0,1,0,0,1,0] => 6320 [1,1,0,0,1,1,1,0,1,0,0,1,0,1,0,0] => 6128 [1,1,0,0,1,1,1,0,1,0,0,1,1,0,0,0] => 5744 [1,1,0,0,1,1,1,0,1,0,1,0,0,0,1,0] => 5970 [1,1,0,0,1,1,1,0,1,0,1,0,0,1,0,0] => 5828 [1,1,0,0,1,1,1,0,1,0,1,0,1,0,0,0] => 5544 [1,1,0,0,1,1,1,0,1,0,1,1,0,0,0,0] => 4976 [1,1,0,0,1,1,1,0,1,1,0,0,0,0,1,0] => 5220 [1,1,0,0,1,1,1,0,1,1,0,0,0,1,0,0] => 5128 [1,1,0,0,1,1,1,0,1,1,0,0,1,0,0,0] => 4944 [1,1,0,0,1,1,1,0,1,1,0,1,0,0,0,0] => 4576 [1,1,0,0,1,1,1,0,1,1,1,0,0,0,0,0] => 3840 [1,1,0,0,1,1,1,1,0,0,0,0,1,0,1,0] => 5350 [1,1,0,0,1,1,1,1,0,0,0,0,1,1,0,0] => 5188 [1,1,0,0,1,1,1,1,0,0,0,1,0,0,1,0] => 5260 [1,1,0,0,1,1,1,1,0,0,0,1,0,1,0,0] => 5128 [1,1,0,0,1,1,1,1,0,0,0,1,1,0,0,0] => 4864 [1,1,0,0,1,1,1,1,0,0,1,0,0,0,1,0] => 5050 [1,1,0,0,1,1,1,1,0,0,1,0,0,1,0,0] => 4948 [1,1,0,0,1,1,1,1,0,0,1,0,1,0,0,0] => 4744 [1,1,0,0,1,1,1,1,0,0,1,1,0,0,0,0] => 4336 [1,1,0,0,1,1,1,1,0,1,0,0,0,0,1,0] => 4600 [1,1,0,0,1,1,1,1,0,1,0,0,0,1,0,0] => 4528 [1,1,0,0,1,1,1,1,0,1,0,0,1,0,0,0] => 4384 [1,1,0,0,1,1,1,1,0,1,0,1,0,0,0,0] => 4096 [1,1,0,0,1,1,1,1,0,1,1,0,0,0,0,0] => 3520 [1,1,0,0,1,1,1,1,1,0,0,0,0,0,1,0] => 3670 [1,1,0,0,1,1,1,1,1,0,0,0,0,1,0,0] => 3628 [1,1,0,0,1,1,1,1,1,0,0,0,1,0,0,0] => 3544 [1,1,0,0,1,1,1,1,1,0,0,1,0,0,0,0] => 3376 [1,1,0,0,1,1,1,1,1,0,1,0,0,0,0,0] => 3040 [1,1,0,0,1,1,1,1,1,1,0,0,0,0,0,0] => 2368 [1,1,0,1,0,0,1,0,1,0,1,0,1,0,1,0] => 8514 [1,1,0,1,0,0,1,0,1,0,1,0,1,1,0,0] => 8004 [1,1,0,1,0,0,1,0,1,0,1,1,0,0,1,0] => 8058 [1,1,0,1,0,0,1,0,1,0,1,1,0,1,0,0] => 7700 [1,1,0,1,0,0,1,0,1,0,1,1,1,0,0,0] => 6984 [1,1,0,1,0,0,1,0,1,1,0,0,1,0,1,0] => 8054 [1,1,0,1,0,0,1,0,1,1,0,0,1,1,0,0] => 7636 [1,1,0,1,0,0,1,0,1,1,0,1,0,0,1,0] => 7736 [1,1,0,1,0,0,1,0,1,1,0,1,0,1,0,0] => 7424 [1,1,0,1,0,0,1,0,1,1,0,1,1,0,0,0] => 6800 [1,1,0,1,0,0,1,0,1,1,1,0,0,0,1,0] => 6994 [1,1,0,1,0,0,1,0,1,1,1,0,0,1,0,0] => 6788 [1,1,0,1,0,0,1,0,1,1,1,0,1,0,0,0] => 6376 [1,1,0,1,0,0,1,0,1,1,1,1,0,0,0,0] => 5552 ----------------------------------------------------------------------------- Created: Mar 04, 2019 at 14:56 by Christian Stump ----------------------------------------------------------------------------- Last Updated: Mar 10, 2019 at 08:02 by Martin Rubey