[Python-ideas] More compact bytecode
Serhiy Storchaka
storchaka at gmail.com
Thu Feb 4 08:03:23 EST 2016
Damien George mentioned [1] that in MicroPython there are 16 dedicated
opcodes for loading from positions 0-15, and 16 for storing to these
positions. This not only makes a bytecode more compact, but might make
CPython slightly faster too.
I have collected statistic for opcodes generated in CPython during
running the compileall module for the Lib/ directory. Raw data file is
attached.
Here is top-16 most used opcodes. Column 4 is the percentage among all
opcodes. Columns 5-9 are percents of opcodes with argument that exceeds
specified width.
# op name % >2bit >3bit >4bit >8bit
>16bit
1. 100 LOAD_CONST 22.2 57.8 39.7 25.8 3.6
0
2. 124 LOAD_FAST 14.7 19.3 5.95 1.04 0
0
3. 106 LOAD_ATTR 10.6 49.5 23.1 6.61 0
0
4. 131 CALL_FUNCTION 10.3 8.54 5.68 5.6 5.6
0
5. 116 LOAD_GLOBAL 5.8 39.2 16.7 4.21 0
0
6. 1 POP_TOP 5.11
7. 90 STORE_NAME 4.04 69.5 50.4 33.1 4.03
0
8. 125 STORE_FAST 3.8 39.4 12.8 2.24 0
0
9. 83 RETURN_VALUE 2.68
10. 132 MAKE_FUNCTION 2.16 1.33 0.861 0.782 0.776
0.23
11. 101 LOAD_NAME 1.81 64 49.9 35.3 2.35
0
12. 114 POP_JUMP_IF_FALSE 1.39 100 100 99.5 27.4
0
13. 102 BUILD_TUPLE 1.28 12.4 2.54 0.211 0
0
14. 107 COMPARE_OP 1.15 56.6 36.3 0 0
0
15. 87 POP_BLOCK 0.89
16. 110 JUMP_FORWARD 0.734 75.1 69.6 58.2 2.36
0
13.7% of opcodes doesn't have an argument. None argument exceeds 24
bits. Only 0.005% opcodes have an argument exceeded 16 bits and required
EXTENDED_ARG (these opcodes are MAKE_FUNCTION and MAKE_CLOSURE). Only 2%
of opcodes have an argument exceeded 8 bits. This is mostly jumping opcodes.
More that every 5th opcode is LOAD_CONST. Only few files like
Lib/html/__init__.py or Lib/locale.py contain LOAD_CONST with argument
larger than 1024. They contain a large number of constants. Arguments
larger than 256 are used mostly in encoding files for constructing
mappings that are never used.
Mean size of opcode is 2.73 bytes.
Here is top-32 of most used opcodes with arguments:
# op name arg % cum%
1. 124 LOAD_FAST 0 5.76 5.76
2. 131 CALL_FUNCTION 1 4.27 10.03
3. 124 LOAD_FAST 1 3.10 13.13
4. 131 CALL_FUNCTION 2 2.87 16.00
5. 100 LOAD_CONST 1 2.81 18.80
6. 100 LOAD_CONST 0 2.67 21.47
7. 100 LOAD_CONST 2 2.20 23.67
8. 132 MAKE_FUNCTION 0 1.98 25.64
9. 124 LOAD_FAST 2 1.86 27.51
10. 100 LOAD_CONST 3 1.68 29.19
11. 131 CALL_FUNCTION 0 1.54 30.72
12. 106 LOAD_ATTR 0 1.44 32.16
13. 106 LOAD_ATTR 1 1.39 33.55
14. 106 LOAD_ATTR 2 1.36 34.91
15. 116 LOAD_GLOBAL 0 1.34 36.24
16. 100 LOAD_CONST 4 1.31 37.56
17. 124 LOAD_FAST 3 1.18 38.73
18. 106 LOAD_ATTR 3 1.17 39.91
19. 100 LOAD_CONST 5 1.09 41.00
20. 125 STORE_FAST 1 0.95 41.94
21. 106 LOAD_ATTR 4 0.94 42.88
22. 116 LOAD_GLOBAL 1 0.93 43.81
23. 100 LOAD_CONST 6 0.89 44.69
24. 124 LOAD_FAST 4 0.78 45.48
25. 131 CALL_FUNCTION 3 0.76 46.23
26. 106 LOAD_ATTR 5 0.74 46.98
27. 125 STORE_FAST 2 0.74 47.72
28. 100 LOAD_CONST 7 0.73 48.45
29. 116 LOAD_GLOBAL 2 0.73 49.18
30. 102 BUILD_TUPLE 2 0.68 49.86
31. 106 LOAD_ATTR 6 0.62 50.47
32. 100 LOAD_CONST 8 0.61 51.08
There are two ways to make Python opcodes more compact.
1. Add 1-byte dedicated opcodes for most used opcodes with arguments.
If add 32 short opcodes for 6 most popular opcodes: LOAD_CONST and
LOAD_ATTR with arguments from 0 to 7, LOAD_FAST, STORE_FAST, LOAD_GLOBAL
and CALL_FUNCTION with arguments from 0 to 3, this will decrease mean
size of opcode from 2.73 to 1.75 bytes (1.56 times). This might make
decoding of 49% opcodes slightly faster due to avoiding decoding argument.
This is relative simple and compatible way. But not fully compatible. We
have either shift numbers for opcodes with arguments to free space for
additional opcodes, or add new range for argumentless opcodes at the end
of 8-bit space. Third-party tools that work with CPython bytecode should
be updated.
2. Use 16-bit opcodes as in WPython.
This will decrease mean size of opcode from 2.73 to 2.044 bytes (1.33
times). But this might make decoding of 85% opcodes slightly faster.
Raymond shown a roughly 10+% speedup in code exercising simple and
common opcodes that that have a oparg when just optimize oparg decoding.
[2] Using 16-bit opcodes with embedded oparg might have even larger effect.
This change needs more serious reworking of compiler and interpreter,
not only disassembler and third-party tools.
[1] http://permalink.gmane.org/gmane.comp.python.devel/156162
[2] http://bugs.python.org/issue25823
-------------- next part --------------
{
1: {None: 128632},
2: {None: 758},
3: {None: 437},
4: {None: 6248},
5: {None: 103},
10: {None: 45},
11: {None: 7096},
12: {None: 4797},
15: {None: 103},
16: {None: 14},
17: {None: 8},
19: {None: 922},
20: {None: 4071},
22: {None: 5841},
23: {None: 10504},
24: {None: 2800},
25: {None: 16725},
26: {None: 394},
27: {None: 918},
28: {None: 30},
29: {None: 17},
50: {None: 18},
51: {None: 18},
52: {None: 34},
55: {None: 1719},
56: {None: 267},
57: {None: 114},
59: {None: 17},
60: {None: 4190},
61: {None: 732},
62: {None: 432},
63: {None: 155},
64: {None: 704},
65: {None: 134},
66: {None: 814},
67: {None: 9},
68: {None: 9847},
69: {None: 403},
71: {None: 9407},
72: {None: 566},
73: {None: 127},
75: {None: 12},
76: {None: 6},
77: {None: 38},
78: {None: 26},
79: {None: 167},
80: {None: 987},
81: {None: 6260},
82: {None: 6260},
83: {None: 67484},
84: {None: 242},
86: {None: 1547},
87: {None: 22382},
88: {None: 13282},
89: {None: 4924},
90: {0: 1437, 1: 10625, 2: 10644, 3: 8239, 4: 6181, 5: 5284, 6: 4341, 7: 3669, 8: 3234, 9: 2691, 10: 2554, 11: 2155, 12: 1978, 13: 1822, 14: 1650, 15: 1493, 16: 1381, 17: 1244, 18: 1162, 19: 1095, 20: 993, 21: 940, 22: 896, 23: 837, 24: 791, 25: 769, 26: 714, 27: 687, 28: 640, 29: 586, 30: 594, 31: 534, 32: 509, 33: 474, 34: 434, 35: 439, 36: 415, 37: 405, 38: 408, 39: 342, 40: 345, 41: 336, 42: 312, 43: 309, 44: 297, 45: 272, 46: 267, 47: 264, 48: 250, 49: 236, 50: 229, 51: 218, 52: 212, 53: 211, 54: 201, 55: 203, 56: 194, 57: 183, 58: 179, 59: 163, 60: 168, 61: 154, 62: 137, 63: 139, 64: 134, 65: 131, 66: 131, 67: 130, 68: 129, 69: 126, 70: 122, 71: 114, 72: 106, 73: 97, 74: 110, 75: 96, 76: 96, 77: 95, 78: 90, 79: 93, 80: 83, 81: 88, 82: 81, 83: 79, 84: 81, 85: 77, 86: 73, 87: 74, 88: 73, 89: 71, 90: 72, 91: 68, 92: 64, 93: 65, 94: 64, 95: 61, 96: 58, 97: 54, 98: 56, 99: 58, 100: 53, 101: 52, 102: 55, 103: 53, 104: 55, 105: 49, 106: 47, 107: 48, 108: 50, 109: 48, 110: 48, 111: 42, 112: 45, 113: 43, 114: 47, 115: 42, 116: 38, 117: 40, 118: 41, 119: 35, 120: 38, 121: 37, 122: 41, 123: 38, 124: 41, 125: 38, 126: 38, 127: 29, 128: 34, 129: 31, 130: 33, 131: 29, 132: 29, 133: 29, 134: 32, 135: 27, 136: 27, 137: 27, 138: 30, 139: 29, 140: 29, 141: 25, 142: 26, 143: 26, 144: 24, 145: 23, 146: 22, 147: 23, 148: 23, 149: 24, 150: 23, 151: 25, 152: 21, 153: 22, 154: 20, 155: 21, 156: 22, 157: 23, 158: 21, 159: 19, 160: 20, 161: 19, 162: 20, 163: 19, 164: 20, 165: 19, 166: 20, 167: 18, 168: 19, 169: 18, 170: 19, 171: 18, 172: 18, 173: 18, 174: 16, 175: 16, 176: 16, 177: 16, 178: 16, 179: 16, 180: 16, 181: 16, 182: 16, 183: 16, 184: 16, 185: 16, 186: 15, 187: 16, 188: 17, 189: 16, 190: 16, 191: 16, 192: 16, 193: 16, 194: 16, 195: 16, 196: 16, 197: 16, 198: 16, 199: 16, 200: 16, 201: 16, 202: 16, 203: 16, 204: 15, 205: 14, 206: 15, 207: 17, 208: 16, 209: 16, 210: 16, 211: 16, 212: 16, 213: 16, 214: 16, 215: 14, 216: 14, 217: 14, 218: 14, 219: 14, 220: 14, 221: 14, 222: 13, 223: 13, 224: 14, 225: 14, 226: 13, 227: 14, 228: 14, 229: 13, 230: 14, 231: 17, 232: 17, 233: 17, 234: 17, 235: 16, 236: 14, 237: 14, 238: 13, 239: 13, 240: 13, 241: 13, 242: 14, 243: 14, 244: 20, 245: 18, 246: 12, 247: 13, 248: 13, 249: 13, 250: 13, 251: 13, 252: 14, 253: 13, 254: 13, 255: 13, 256: 13, 257: 13, 258: 13, 259: 13, 260: 13, 261: 13, 262: 11, 263: 13, 264: 11, 265: 13, 266: 13, 267: 13, 268: 13, 269: 13, 270: 13, 271: 13, 272: 13, 273: 13, 274: 13, 275: 13, 276: 13, 277: 13, 278: 13, 279: 13, 280: 13, 281: 13, 282: 13, 283: 13, 284: 13, 285: 13, 286: 13, 287: 14, 288: 14, 289: 14, 290: 16, 291: 14, 292: 14, 293: 14, 294: 14, 295: 15, 296: 12, 297: 12, 298: 12, 299: 12, 300: 12, 301: 12, 302: 12, 303: 12, 304: 10, 305: 12, 306: 12, 307: 12, 308: 12, 309: 11, 310: 11, 311: 11, 312: 13, 313: 10, 314: 9, 315: 10, 316: 11, 317: 10, 318: 10, 319: 9, 320: 9, 321: 9, 322: 9, 323: 9, 324: 9, 325: 9, 326: 9, 327: 9, 328: 9, 329: 9, 330: 9, 331: 11, 332: 9, 333: 11, 334: 11, 335: 11, 336: 11, 337: 9, 338: 9, 339: 8, 340: 9, 341: 9, 342: 9, 343: 9, 344: 9, 345: 9, 346: 9, 347: 10, 348: 10, 349: 10, 350: 9, 351: 9, 352: 9, 353: 9, 354: 11, 355: 9, 356: 9, 357: 9, 358: 9, 359: 9, 360: 9, 361: 9, 362: 9, 363: 9, 364: 9, 365: 9, 366: 9, 367: 10, 368: 9, 369: 9, 370: 9, 371: 9, 372: 9, 373: 9, 374: 10, 375: 10, 376: 10, 377: 10, 378: 10, 379: 9, 380: 9, 381: 9, 382: 9, 383: 9, 384: 9, 385: 9, 386: 9, 387: 9, 388: 9, 389: 9, 390: 9, 391: 9, 392: 9, 393: 9, 394: 9, 395: 9, 396: 9, 397: 9, 398: 9, 399: 9, 400: 9, 401: 9, 402: 9, 403: 9, 404: 9, 405: 10, 406: 10, 407: 9, 408: 9, 409: 9, 410: 9, 411: 9, 412: 9, 413: 9, 414: 9, 415: 9, 416: 9, 417: 9, 418: 9, 419: 9, 420: 9, 421: 9, 422: 9, 423: 9, 424: 9, 425: 9, 426: 10, 427: 8, 428: 8, 429: 8, 430: 8, 431: 8, 432: 8, 433: 8, 434: 9, 435: 8, 436: 10, 437: 8, 438: 8, 439: 9, 440: 9, 441: 9, 442: 9, 443: 8, 444: 8, 445: 8, 446: 6, 447: 6, 448: 6, 449: 6, 450: 6, 451: 8, 452: 6, 453: 6, 454: 5, 455: 5, 456: 5, 457: 5, 458: 5, 459: 5, 460: 5, 461: 5, 462: 5, 463: 5, 464: 5, 465: 5, 466: 5, 467: 5, 468: 5, 469: 5, 470: 5, 471: 5, 472: 5, 473: 5, 474: 5, 475: 5, 476: 7, 477: 5, 478: 5, 479: 5, 480: 5, 481: 5, 482: 5, 483: 5, 484: 5, 485: 5, 486: 5, 487: 5, 488: 5, 489: 5, 490: 5, 491: 5, 492: 5, 493: 5, 494: 5, 495: 5, 496: 5, 497: 5, 498: 5, 499: 5, 500: 5, 501: 5, 502: 5, 503: 5, 504: 5, 505: 5, 506: 5, 507: 5, 508: 5, 509: 5, 510: 5, 511: 5, 512: 5, 513: 5, 514: 5, 515: 5, 516: 5, 517: 5, 518: 5, 519: 5, 520: 5, 521: 5, 522: 5, 523: 5, 524: 5, 525: 5, 526: 5, 527: 5, 528: 5, 529: 5, 530: 5, 531: 5, 532: 5, 533: 5, 534: 5, 535: 5, 536: 4, 537: 4, 538: 4, 539: 4, 540: 4, 541: 4, 542: 4, 543: 4, 544: 4, 545: 4, 546: 4, 547: 4, 548: 3, 549: 3, 550: 3, 551: 3, 552: 3, 553: 3, 554: 3, 555: 3, 556: 3, 557: 3, 558: 3, 559: 3, 560: 3, 561: 3, 562: 3, 563: 3, 564: 3, 565: 3, 566: 3, 567: 3, 568: 3, 569: 3, 570: 3, 571: 3, 572: 3, 573: 3, 574: 3, 575: 3, 576: 3, 577: 3, 578: 3, 579: 3, 580: 3, 581: 3, 582: 3, 583: 3, 584: 3, 585: 3, 586: 3, 587: 3, 588: 3, 589: 3, 590: 3, 591: 3, 592: 3, 593: 3, 594: 3, 595: 3, 596: 3, 597: 3, 598: 3, 599: 3, 600: 3, 601: 3, 602: 3, 603: 3, 604: 3, 605: 3, 606: 3, 607: 3, 608: 3, 609: 3, 610: 3, 611: 3, 612: 3, 613: 3, 614: 3, 615: 3, 616: 3, 617: 3, 618: 3, 619: 3, 620: 3, 621: 3, 622: 3, 623: 3, 624: 3, 625: 3, 626: 3, 627: 3, 628: 3, 629: 3, 630: 3, 631: 3, 632: 3, 633: 3, 634: 3, 635: 3, 636: 3, 637: 3, 638: 2, 639: 2, 640: 2, 641: 2, 642: 2, 643: 2, 644: 2, 645: 2, 646: 2, 647: 2, 648: 2, 649: 2, 650: 2, 651: 2, 652: 2, 653: 2, 654: 2, 655: 2, 656: 2, 657: 2, 658: 2, 659: 2, 660: 2, 661: 2, 662: 2, 663: 2, 664: 2, 665: 2, 666: 2, 667: 2, 668: 2, 669: 2, 670: 2, 671: 2, 672: 2, 673: 2, 674: 2, 675: 2, 676: 2, 677: 2, 678: 2, 679: 2, 680: 2, 681: 2, 682: 2, 683: 3, 684: 4, 685: 4, 686: 3, 687: 2, 688: 2, 689: 2, 690: 2, 691: 2, 692: 2, 693: 2, 694: 2, 695: 3, 696: 4, 697: 4, 698: 4, 699: 3, 700: 2, 701: 2, 702: 2, 703: 2, 704: 2, 705: 2, 706: 2, 707: 2, 708: 2, 709: 2, 710: 2, 711: 2, 712: 2, 713: 2, 714: 2, 715: 2, 716: 2, 717: 2, 718: 2, 719: 2, 720: 2, 721: 2, 722: 2, 723: 2, 724: 4, 725: 4, 726: 2, 727: 2, 728: 2, 729: 2, 730: 2, 731: 2, 732: 2, 733: 2, 734: 2, 735: 2, 736: 2, 737: 2, 738: 2, 739: 2, 740: 2, 741: 2, 742: 2, 743: 2, 744: 2, 745: 2, 746: 2, 747: 2, 748: 2, 749: 2, 750: 2, 751: 2, 752: 2, 753: 2, 754: 2, 755: 2, 756: 2, 757: 2, 758: 2, 759: 2, 760: 2, 761: 2, 762: 2, 763: 2, 764: 2, 765: 2, 766: 2, 767: 2, 768: 2, 769: 2, 770: 2, 771: 2, 772: 2, 773: 2, 774: 2, 775: 2, 776: 2, 777: 2, 778: 2, 779: 2, 780: 2, 781: 2, 782: 2, 783: 2, 784: 2, 785: 2, 786: 2, 787: 2, 788: 2, 789: 2, 790: 2, 791: 2, 792: 2, 793: 2, 794: 2, 795: 2, 796: 2, 797: 2, 798: 2, 799: 2, 800: 2, 801: 2, 802: 2, 803: 2, 804: 2, 805: 2, 806: 2, 807: 2, 808: 2, 809: 2, 810: 2, 811: 2, 812: 2, 813: 2, 814: 2, 815: 2, 816: 2, 817: 2, 818: 2, 819: 2, 820: 2, 821: 2, 822: 2, 823: 2, 824: 2, 825: 2, 826: 2, 827: 2, 828: 2, 829: 2, 830: 2, 831: 2, 832: 2, 833: 2, 834: 2, 835: 2, 836: 2, 837: 2, 838: 2, 839: 2, 840: 2, 841: 2, 842: 2, 843: 2, 844: 2, 845: 2, 846: 2, 847: 2, 848: 2, 849: 2, 850: 2, 851: 2, 852: 2, 853: 2, 854: 3, 855: 2, 856: 2, 857: 4, 858: 2, 859: 2, 860: 2, 861: 2, 862: 2, 863: 2, 864: 2, 865: 2, 866: 2, 867: 2, 868: 2, 869: 2, 870: 2, 871: 2, 872: 2, 873: 2, 874: 2, 875: 2, 876: 2, 877: 2, 878: 2, 879: 2, 880: 4, 881: 4, 882: 2, 883: 2, 884: 2, 885: 2, 886: 2, 887: 2, 888: 2, 889: 2, 890: 2, 891: 2, 892: 2, 893: 2, 894: 2, 895: 2, 896: 2, 897: 2, 898: 2, 899: 2, 900: 2, 901: 2, 902: 2, 903: 2, 904: 2, 905: 2, 906: 2, 907: 2, 908: 2, 909: 2, 910: 2, 911: 2, 912: 2, 913: 2, 914: 2, 915: 2, 916: 2, 917: 2, 918: 2, 919: 2, 920: 2, 921: 2, 922: 2, 923: 2, 924: 2, 925: 2, 926: 2, 927: 2, 928: 2, 929: 2, 930: 2, 931: 2, 932: 2, 933: 2, 934: 2, 935: 2, 936: 2, 937: 2, 938: 2, 939: 2, 940: 2, 941: 2, 942: 2, 943: 2, 944: 2, 945: 2, 946: 2, 947: 2, 948: 2, 949: 2, 950: 2, 951: 2, 952: 2, 953: 2, 954: 2, 955: 2, 956: 2, 957: 2, 958: 2, 959: 2, 960: 2, 961: 2, 962: 2, 963: 2, 964: 2, 965: 2, 966: 2, 967: 2, 968: 2, 969: 2, 970: 2, 971: 2, 972: 2, 973: 2, 974: 2, 975: 2, 976: 2, 977: 2, 978: 2, 979: 2, 980: 2, 981: 2, 982: 2, 983: 2, 984: 2, 985: 2, 986: 2, 987: 2, 988: 2, 989: 2, 990: 2, 991: 2, 992: 2, 993: 2, 994: 2, 995: 2, 996: 2, 997: 2, 998: 2, 999: 2, 1000: 2, 1001: 2, 1002: 2, 1003: 2, 1004: 2, 1005: 2, 1006: 2, 1007: 2, 1008: 2, 1009: 2, 1010: 2, 1011: 2, 1012: 2, 1013: 2, 1014: 2, 1015: 2, 1016: 2, 1017: 2, 1018: 2, 1019: 2, 1020: 2, 1021: 2, 1022: 2, 1023: 2, 1024: 2, 1025: 2, 1026: 2, 1027: 2, 1028: 2, 1029: 2, 1030: 2, 1031: 2, 1032: 2, 1033: 2, 1034: 2, 1035: 2, 1036: 2, 1037: 2, 1038: 2, 1039: 2, 1040: 2, 1041: 2, 1042: 2, 1043: 2, 1044: 2, 1045: 2, 1046: 2, 1047: 2, 1048: 2, 1049: 2, 1050: 2, 1051: 3, 1052: 3, 1053: 2, 1054: 2, 1055: 2, 1056: 2, 1057: 2, 1058: 2, 1059: 2, 1060: 2, 1061: 2, 1062: 2, 1063: 2, 1064: 2, 1065: 2, 1066: 2, 1067: 2, 1068: 3, 1069: 3, 1070: 3, 1071: 3, 1072: 3, 1073: 3, 1074: 3, 1075: 3, 1076: 3, 1077: 3, 1078: 3, 1079: 3, 1080: 3, 1081: 2, 1082: 2, 1083: 2, 1084: 2, 1085: 2, 1086: 2, 1087: 2, 1088: 2, 1089: 2, 1090: 2, 1091: 2, 1092: 2, 1093: 2, 1094: 2, 1095: 2, 1096: 2, 1097: 2, 1098: 2, 1099: 2, 1100: 2, 1101: 2, 1102: 2, 1103: 2, 1104: 2, 1105: 2, 1106: 2, 1107: 2, 1108: 2, 1109: 2, 1110: 2, 1111: 2, 1112: 2, 1113: 2, 1114: 2, 1115: 2, 1116: 2, 1117: 2, 1118: 2, 1119: 2, 1120: 2, 1121: 2, 1122: 2, 1123: 2, 1124: 2, 1125: 2, 1126: 2, 1127: 2, 1128: 2, 1129: 2, 1130: 2, 1131: 2, 1132: 2, 1133: 2, 1134: 1, 1135: 1, 1136: 1, 1137: 1, 1138: 1, 1139: 1, 1140: 1, 1141: 1, 1142: 1, 1143: 1, 1144: 1, 1145: 1, 1146: 1, 1147: 1, 1148: 1, 1149: 1, 1150: 1, 1151: 1, 1152: 1, 1153: 1, 1154: 1, 1155: 1, 1156: 1, 1157: 1, 1158: 1, 1159: 1, 1160: 1, 1161: 1, 1162: 1, 1163: 1, 1164: 1, 1165: 1, 1166: 1, 1167: 1, 1168: 1, 1169: 1, 1170: 1, 1171: 1, 1172: 1, 1173: 1, 1174: 1, 1175: 1, 1176: 1, 1177: 1, 1178: 1, 1179: 1, 1180: 1, 1181: 1, 1182: 1, 1183: 1, 1184: 1, 1185: 1, 1186: 1, 1187: 1, 1188: 1, 1189: 1, 1190: 1, 1191: 1, 1192: 1, 1193: 1, 1194: 1, 1195: 1, 1196: 1, 1197: 1, 1198: 1, 1199: 1, 1200: 1, 1201: 1, 1202: 1, 1203: 1, 1204: 1, 1205: 1, 1206: 1, 1207: 1, 1208: 1, 1209: 1, 1210: 1, 1211: 1, 1212: 1, 1213: 1, 1214: 1, 1215: 1, 1216: 1, 1217: 1, 1218: 1, 1219: 1, 1220: 1, 1221: 1, 1222: 1, 1223: 1, 1224: 1, 1225: 1, 1226: 1, 1227: 1, 1228: 1, 1229: 1, 1230: 1, 1231: 1, 1232: 1, 1233: 1, 1234: 1, 1235: 1, 1236: 1, 1237: 1, 1238: 1, 1239: 1, 1240: 1, 1241: 1, 1242: 1, 1243: 1, 1244: 1, 1245: 1, 1246: 1, 1247: 1, 1248: 1, 1249: 1, 1250: 1, 1251: 1, 1252: 1, 1253: 1, 1254: 1, 1255: 1, 1256: 1, 1257: 1, 1258: 1, 1259: 1, 1260: 1, 1261: 1, 1262: 1, 1263: 1, 1264: 1, 1265: 1, 1266: 1, 1267: 1, 1268: 1, 1269: 1, 1270: 1, 1271: 1, 1272: 1, 1273: 1, 1274: 1, 1275: 1, 1276: 1, 1277: 1, 1278: 1, 1279: 1, 1280: 1, 1281: 1, 1282: 1, 1283: 1, 1284: 1, 1285: 1, 1286: 1, 1287: 1, 1288: 1, 1289: 1, 1290: 1, 1291: 1, 1292: 1, 1293: 1, 1294: 1, 1295: 1, 1296: 1, 1297: 1, 1298: 1, 1299: 1, 1300: 1, 1301: 1, 1302: 1, 1303: 1, 1304: 1, 1305: 1, 1306: 1, 1307: 1, 1308: 1, 1309: 1, 1310: 1, 1311: 1, 1312: 1, 1313: 1, 1314: 1, 1315: 1, 1316: 1, 1317: 1, 1318: 1, 1319: 1, 1320: 1, 1321: 1, 1322: 1, 1323: 1, 1324: 1, 1325: 1, 1326: 1, 1327: 1, 1328: 1, 1329: 1, 1330: 1, 1331: 1, 1332: 1, 1333: 1, 1334: 1, 1335: 1, 1336: 1, 1337: 1, 1338: 1, 1339: 1, 1340: 1, 1341: 1, 1342: 1, 1343: 1, 1344: 1, 1345: 1, 1346: 1, 1347: 1, 1348: 1, 1349: 1, 1350: 1, 1351: 1, 1352: 1, 1353: 1, 1354: 1, 1355: 1, 1356: 1, 1357: 1, 1358: 1, 1359: 1, 1360: 1, 1361: 1, 1362: 1, 1363: 1, 1364: 1, 1365: 1, 1366: 1, 1367: 1, 1368: 1, 1369: 1, 1370: 1, 1371: 1, 1372: 1, 1373: 1, 1374: 1, 1375: 1, 1376: 1, 1377: 1, 1378: 1, 1379: 1, 1380: 1, 1381: 1, 1382: 1, 1383: 1, 1384: 1, 1385: 1, 1386: 1, 1387: 1, 1388: 1, 1389: 1, 1390: 1, 1391: 1, 1392: 1, 1393: 1, 1394: 1, 1395: 1, 1396: 1, 1397: 1, 1398: 1, 1399: 1, 1400: 1, 1401: 1, 1402: 1, 1403: 1, 1404: 1, 1405: 1, 1406: 1, 1407: 1, 1408: 1, 1409: 1, 1410: 1, 1411: 1, 1412: 1, 1413: 1, 1414: 1, 1415: 1, 1416: 1, 1417: 1, 1418: 1, 1419: 1, 1420: 1, 1421: 1, 1422: 1, 1423: 1, 1424: 1, 1425: 1, 1426: 1, 1427: 1, 1428: 1, 1429: 1, 1430: 1, 1431: 1, 1432: 1, 1433: 1, 1434: 1, 1435: 1, 1436: 1, 1437: 1, 1438: 1, 1439: 1, 1440: 1, 1441: 1, 1442: 1, 1443: 1, 1444: 1, 1445: 1, 1446: 1, 1447: 1, 1448: 1, 1449: 1, 1450: 1, 1451: 1, 1452: 1, 1453: 1, 1454: 1, 1455: 1, 1456: 1, 1457: 1, 1458: 1, 1459: 1, 1460: 1, 1461: 1, 1462: 1, 1463: 1, 1464: 1, 1465: 1, 1466: 1, 1467: 1, 1468: 1, 1469: 1, 1470: 1},
91: {1: 8, 2: 3, 3: 5, 4: 3, 5: 7, 6: 6, 7: 8, 8: 10, 9: 7, 10: 10, 11: 3, 12: 7, 13: 4, 14: 4, 15: 10, 16: 1, 17: 6, 18: 6, 19: 6, 20: 4, 21: 9, 22: 8, 23: 2, 24: 1, 25: 2, 26: 2, 27: 7, 28: 1, 29: 2, 30: 1, 31: 1, 32: 1, 33: 4, 34: 3, 35: 5, 37: 2, 41: 1, 42: 2, 44: 2, 45: 2, 46: 1, 47: 1, 50: 1, 52: 1, 53: 2, 59: 1, 71: 2, 74: 2, 78: 2, 79: 2, 91: 1, 95: 1, 97: 1, 98: 1, 100: 1, 101: 2, 106: 1, 133: 1},
92: {0: 1, 1: 72, 2: 4738, 3: 855, 4: 251, 5: 118, 6: 40, 7: 14, 8: 3, 9: 8, 10: 2, 11: 1, 12: 1, 19: 1},
93: {6: 22, 11: 106, 12: 69, 13: 37, 14: 20, 15: 136, 16: 328, 17: 141, 18: 311, 19: 311, 20: 145, 21: 168, 22: 257, 23: 127, 24: 213, 25: 231, 26: 106, 27: 146, 28: 310, 29: 105, 30: 84, 31: 239, 32: 127, 33: 78, 34: 170, 35: 89, 36: 75, 37: 178, 38: 108, 39: 58, 40: 154, 41: 77, 42: 78, 43: 117, 44: 109, 45: 47, 46: 109, 47: 83, 48: 62, 49: 81, 50: 71, 51: 42, 52: 79, 53: 63, 54: 64, 55: 60, 56: 52, 57: 45, 58: 57, 59: 53, 60: 67, 61: 43, 62: 68, 63: 57, 64: 63, 65: 58, 66: 47, 67: 29, 68: 75, 69: 40, 70: 44, 71: 38, 72: 44, 73: 42, 74: 40, 75: 51, 76: 38, 77: 45, 78: 32, 79: 39, 80: 36, 81: 43, 82: 42, 83: 31, 84: 38, 85: 29, 86: 26, 87: 36, 88: 40, 89: 26, 90: 42, 91: 38, 92: 27, 93: 28, 94: 34, 95: 36, 96: 23, 97: 32, 98: 19, 99: 28, 100: 30, 101: 28, 102: 32, 103: 30, 104: 36, 105: 43, 106: 37, 107: 27, 108: 35, 109: 28, 110: 20, 111: 21, 112: 15, 113: 23, 114: 15, 115: 23, 116: 22, 117: 27, 118: 25, 119: 22, 120: 14, 121: 24, 122: 21, 123: 17, 124: 18, 125: 14, 126: 14, 127: 15, 128: 16, 129: 14, 130: 17, 131: 14, 132: 22, 133: 25, 134: 15, 135: 20, 136: 15, 137: 17, 138: 12, 139: 11, 140: 14, 141: 8, 142: 18, 143: 10, 144: 19, 145: 9, 146: 13, 147: 20, 148: 16, 149: 10, 150: 9, 151: 11, 152: 6, 153: 13, 154: 14, 155: 18, 156: 12, 157: 17, 158: 5, 159: 8, 160: 10, 161: 14, 162: 11, 163: 11, 164: 13, 165: 11, 166: 5, 167: 5, 168: 11, 169: 12, 170: 13, 171: 10, 172: 9, 173: 8, 174: 8, 175: 14, 176: 12, 177: 10, 178: 13, 179: 4, 180: 9, 181: 7, 182: 7, 183: 13, 184: 11, 185: 7, 186: 8, 187: 8, 188: 9, 189: 10, 190: 4, 191: 8, 192: 10, 193: 5, 194: 4, 195: 10, 196: 6, 197: 7, 198: 8, 199: 7, 200: 8, 201: 10, 202: 6, 203: 5, 204: 8, 205: 2, 206: 1, 207: 10, 208: 7, 209: 5, 210: 12, 211: 9, 212: 4, 213: 9, 214: 7, 215: 6, 216: 6, 217: 9, 218: 10, 219: 4, 220: 5, 221: 4, 222: 6, 223: 7, 224: 9, 225: 8, 226: 4, 227: 8, 228: 1, 229: 3, 230: 9, 231: 4, 232: 8, 233: 3, 234: 2, 235: 3, 236: 6, 237: 5, 238: 2, 239: 2, 240: 7, 241: 1, 242: 7, 243: 6, 244: 6, 245: 8, 246: 6, 247: 3, 248: 6, 249: 5, 250: 4, 251: 2, 252: 4, 253: 5, 254: 2, 255: 5, 256: 1, 257: 1, 258: 5, 259: 3, 260: 1, 261: 4, 262: 4, 263: 2, 264: 8, 265: 3, 266: 2, 267: 2, 268: 3, 269: 4, 270: 3, 271: 8, 272: 4, 273: 3, 274: 4, 275: 2, 276: 5, 279: 1, 280: 3, 281: 4, 282: 5, 283: 4, 284: 4, 285: 3, 286: 3, 287: 1, 288: 3, 289: 3, 290: 2, 291: 2, 292: 5, 293: 2, 294: 3, 295: 4, 296: 4, 297: 5, 299: 3, 300: 2, 301: 2, 302: 2, 303: 2, 304: 1, 305: 4, 306: 1, 307: 3, 309: 2, 310: 3, 311: 6, 313: 4, 314: 2, 316: 1, 317: 3, 320: 1, 321: 4, 322: 1, 323: 1, 324: 3, 325: 2, 326: 1, 327: 6, 328: 2, 330: 2, 331: 3, 332: 1, 333: 3, 337: 3, 338: 1, 341: 1, 342: 7, 343: 1, 344: 2, 345: 1, 346: 1, 347: 2, 348: 1, 349: 2, 350: 1, 351: 1, 352: 2, 353: 2, 354: 1, 355: 1, 356: 2, 357: 2, 358: 1, 359: 1, 360: 1, 362: 2, 364: 3, 365: 1, 366: 1, 368: 3, 369: 2, 370: 1, 372: 2, 373: 1, 374: 2, 377: 1, 378: 4, 379: 1, 380: 2, 382: 1, 384: 2, 385: 1, 386: 1, 387: 1, 388: 2, 389: 1, 390: 3, 391: 1, 392: 1, 393: 1, 395: 2, 396: 1, 397: 2, 398: 3, 399: 1, 400: 2, 407: 2, 408: 1, 412: 2, 418: 2, 419: 2, 422: 1, 424: 1, 425: 1, 427: 1, 428: 1, 433: 1, 436: 1, 439: 1, 440: 1, 442: 1, 444: 1, 447: 1, 449: 1, 451: 1, 453: 1, 454: 1, 455: 1, 456: 2, 458: 1, 462: 2, 465: 1, 471: 2, 472: 1, 475: 1, 477: 1, 478: 1, 481: 1, 482: 1, 483: 3, 484: 1, 488: 1, 491: 1, 492: 1, 494: 2, 501: 2, 503: 2, 504: 1, 505: 2, 509: 2, 510: 1, 511: 2, 514: 1, 517: 2, 519: 1, 521: 1, 522: 1, 525: 2, 527: 1, 528: 1, 536: 1, 539: 2, 540: 1, 541: 1, 543: 1, 545: 2, 546: 1, 554: 3, 557: 1, 563: 2, 569: 1, 574: 1, 575: 2, 576: 1, 577: 2, 579: 1, 592: 2, 603: 1, 608: 1, 611: 3, 614: 1, 616: 1, 622: 1, 628: 1, 639: 1, 642: 2, 646: 1, 662: 1, 664: 2, 667: 1, 672: 1, 674: 1, 680: 1, 687: 1, 694: 1, 695: 1, 705: 1, 707: 1, 717: 1, 719: 1, 757: 1, 761: 1, 767: 2, 791: 1, 812: 1, 852: 1, 874: 1, 954: 1, 1003: 1, 1016: 1, 1043: 1, 1063: 1, 1122: 1, 1307: 1, 1361: 1, 1912: 2, 3548: 1},
94: {1: 46, 2: 1, 4: 1, 256: 3, 512: 1},
95: {0: 2625, 1: 1923, 2: 2072, 3: 1754, 4: 1467, 5: 1155, 6: 987, 7: 816, 8: 633, 9: 540, 10: 470, 11: 377, 12: 306, 13: 249, 14: 209, 15: 188, 16: 155, 17: 135, 18: 101, 19: 108, 20: 87, 21: 85, 22: 68, 23: 64, 24: 67, 25: 55, 26: 42, 27: 46, 28: 25, 29: 33, 30: 22, 31: 46, 32: 45, 33: 23, 34: 16, 35: 15, 36: 12, 37: 14, 38: 29, 39: 23, 40: 14, 41: 17, 42: 10, 43: 185, 44: 5, 45: 8, 46: 4, 47: 6, 48: 8, 49: 3, 50: 3, 51: 14, 52: 2, 53: 2, 54: 1, 55: 5, 57: 2, 58: 2, 59: 3, 60: 1, 62: 1, 65: 1, 70: 1, 71: 4, 72: 4, 73: 1, 82: 2, 83: 2, 99: 1, 100: 1, 101: 1, 103: 1, 104: 3, 106: 1, 108: 1, 110: 1, 111: 1, 115: 1, 118: 3, 120: 1, 132: 1, 136: 1, 138: 1, 139: 1},
96: {0: 59, 1: 43, 2: 50, 3: 28, 4: 29, 5: 12, 6: 10, 7: 8, 8: 15, 9: 11, 10: 2, 12: 2, 13: 2, 14: 2, 15: 4, 16: 1, 19: 1, 57: 2},
97: {0: 133, 1: 36, 2: 31, 3: 27, 4: 25, 5: 17, 6: 13, 7: 15, 8: 17, 9: 16, 10: 6, 11: 10, 12: 8, 13: 5, 14: 5, 15: 4, 16: 4, 17: 7, 18: 7, 19: 8, 20: 8, 21: 4, 22: 8, 23: 5, 24: 10, 25: 4, 26: 3, 27: 4, 28: 4, 29: 7, 30: 1, 31: 5, 33: 2, 34: 2, 35: 4, 36: 5, 37: 3, 38: 4, 39: 2, 44: 2, 45: 1, 46: 1, 48: 1, 49: 5, 50: 3, 52: 2, 55: 1, 58: 1, 59: 1, 60: 2, 62: 3, 63: 1, 67: 2, 73: 1, 76: 1, 78: 1, 80: 2, 82: 1, 100: 2, 104: 1, 106: 1, 108: 1, 110: 1, 111: 1, 144: 1, 226: 1, 229: 1},
98: {0: 2, 1: 1, 4: 1},
100: {0: 67111, 1: 70575, 2: 55317, 3: 42258, 4: 33055, 5: 27369, 6: 22283, 7: 18316, 8: 15260, 9: 12734, 10: 11280, 11: 9488, 12: 8380, 13: 7500, 14: 6589, 15: 5975, 16: 5367, 17: 4926, 18: 4308, 19: 3932, 20: 4036, 21: 3501, 22: 3222, 23: 2937, 24: 2815, 25: 2588, 26: 2402, 27: 2328, 28: 2171, 29: 2057, 30: 1988, 31: 1795, 32: 1985, 33: 1703, 34: 1608, 35: 1633, 36: 1479, 37: 1465, 38: 1352, 39: 1266, 40: 1223, 41: 1322, 42: 1166, 43: 1055, 44: 1052, 45: 975, 46: 947, 47: 993, 48: 886, 49: 844, 50: 875, 51: 813, 52: 800, 53: 772, 54: 724, 55: 752, 56: 708, 57: 720, 58: 663, 59: 654, 60: 755, 61: 659, 62: 845, 63: 560, 64: 674, 65: 737, 66: 705, 67: 489, 68: 657, 69: 665, 70: 617, 71: 638, 72: 435, 73: 452, 74: 447, 75: 543, 76: 430, 77: 490, 78: 427, 79: 408, 80: 417, 81: 434, 82: 447, 83: 425, 84: 685, 85: 402, 86: 366, 87: 381, 88: 393, 89: 402, 90: 386, 91: 364, 92: 360, 93: 329, 94: 337, 95: 684, 96: 376, 97: 316, 98: 326, 99: 295, 100: 395, 101: 333, 102: 308, 103: 311, 104: 304, 105: 294, 106: 290, 107: 274, 108: 282, 109: 299, 110: 261, 111: 312, 112: 261, 113: 243, 114: 281, 115: 227, 116: 247, 117: 256, 118: 342, 119: 254, 120: 239, 121: 231, 122: 272, 123: 227, 124: 325, 125: 220, 126: 207, 127: 202, 128: 192, 129: 225, 130: 183, 131: 188, 132: 253, 133: 205, 134: 178, 135: 184, 136: 169, 137: 182, 138: 174, 139: 185, 140: 162, 141: 161, 142: 202, 143: 161, 144: 168, 145: 171, 146: 187, 147: 175, 148: 160, 149: 170, 150: 223, 151: 157, 152: 170, 153: 211, 154: 151, 155: 263, 156: 195, 157: 210, 158: 224, 159: 139, 160: 143, 161: 143, 162: 165, 163: 134, 164: 133, 165: 147, 166: 138, 167: 150, 168: 128, 169: 144, 170: 139, 171: 121, 172: 141, 173: 148, 174: 118, 175: 132, 176: 112, 177: 112, 178: 114, 179: 112, 180: 102, 181: 108, 182: 110, 183: 130, 184: 109, 185: 102, 186: 104, 187: 105, 188: 118, 189: 102, 190: 103, 191: 99, 192: 96, 193: 104, 194: 119, 195: 110, 196: 90, 197: 90, 198: 96, 199: 90, 200: 93, 201: 110, 202: 100, 203: 118, 204: 89, 205: 93, 206: 95, 207: 93, 208: 97, 209: 89, 210: 91, 211: 100, 212: 86, 213: 87, 214: 89, 215: 89, 216: 87, 217: 91, 218: 85, 219: 106, 220: 91, 221: 97, 222: 88, 223: 99, 224: 85, 225: 91, 226: 104, 227: 87, 228: 94, 229: 91, 230: 86, 231: 81, 232: 91, 233: 85, 234: 93, 235: 82, 236: 102, 237: 84, 238: 78, 239: 106, 240: 113, 241: 85, 242: 77, 243: 79, 244: 92, 245: 85, 246: 93, 247: 74, 248: 76, 249: 85, 250: 79, 251: 80, 252: 92, 253: 75, 254: 84, 255: 87, 256: 83, 257: 83, 258: 83, 259: 72, 260: 76, 261: 120, 262: 77, 263: 76, 264: 79, 265: 76, 266: 64, 267: 76, 268: 79, 269: 72, 270: 67, 271: 67, 272: 64, 273: 67, 274: 63, 275: 75, 276: 71, 277: 64, 278: 60, 279: 76, 280: 64, 281: 59, 282: 68, 283: 60, 284: 61, 285: 60, 286: 62, 287: 61, 288: 90, 289: 60, 290: 62, 291: 60, 292: 72, 293: 63, 294: 62, 295: 64, 296: 77, 297: 64, 298: 64, 299: 69, 300: 66, 301: 72, 302: 56, 303: 61, 304: 53, 305: 61, 306: 60, 307: 51, 308: 55, 309: 64, 310: 52, 311: 62, 312: 49, 313: 49, 314: 50, 315: 57, 316: 50, 317: 55, 318: 53, 319: 304, 320: 1929, 321: 202, 322: 48, 323: 51, 324: 47, 325: 49, 326: 50, 327: 71, 328: 55, 329: 54, 330: 85, 331: 70, 332: 49, 333: 47, 334: 47, 335: 47, 336: 52, 337: 49, 338: 54, 339: 53, 340: 70, 341: 98, 342: 52, 343: 48, 344: 51, 345: 104, 346: 47, 347: 47, 348: 76, 349: 39, 350: 39, 351: 34, 352: 36, 353: 34, 354: 38, 355: 34, 356: 39, 357: 33, 358: 31, 359: 30, 360: 31, 361: 35, 362: 32, 363: 32, 364: 30, 365: 30, 366: 31, 367: 43, 368: 34, 369: 32, 370: 39, 371: 30, 372: 36, 373: 31, 374: 32, 375: 27, 376: 28, 377: 25, 378: 33, 379: 25, 380: 25, 381: 25, 382: 36, 383: 38, 384: 24, 385: 24, 386: 37, 387: 26, 388: 40, 389: 22, 390: 36, 391: 31, 392: 22, 393: 25, 394: 34, 395: 19, 396: 31, 397: 16, 398: 16, 399: 18, 400: 16, 401: 27, 402: 17, 403: 15, 404: 21, 405: 18, 406: 17, 407: 25, 408: 24, 409: 26, 410: 16, 411: 26, 412: 13, 413: 27, 414: 21, 415: 25, 416: 15, 417: 28, 418: 17, 419: 15, 420: 16, 421: 18, 422: 15, 423: 14, 424: 11, 425: 11, 426: 14, 427: 12, 428: 11, 429: 11, 430: 10, 431: 10, 432: 11, 433: 11, 434: 10, 435: 10, 436: 10, 437: 12, 438: 12, 439: 10, 440: 10, 441: 11, 442: 10, 443: 9, 444: 10, 445: 10, 446: 10, 447: 10, 448: 9, 449: 12, 450: 11, 451: 11, 452: 15, 453: 10, 454: 11, 455: 10, 456: 11, 457: 10, 458: 16, 459: 10, 460: 10, 461: 11, 462: 11, 463: 9, 464: 11, 465: 9, 466: 13, 467: 11, 468: 9, 469: 13, 470: 9, 471: 12, 472: 9, 473: 13, 474: 9, 475: 12, 476: 10, 477: 10, 478: 9, 479: 10, 480: 15, 481: 10, 482: 10, 483: 22, 484: 10, 485: 11, 486: 11, 487: 9, 488: 11, 489: 9, 490: 10, 491: 13, 492: 11, 493: 9, 494: 12, 495: 9, 496: 9, 497: 12, 498: 9, 499: 10, 500: 9, 501: 10, 502: 9, 503: 9, 504: 11, 505: 15, 506: 10, 507: 16, 508: 12, 509: 10, 510: 14, 511: 11, 512: 9, 513: 9, 514: 9, 515: 10, 516: 9, 517: 11, 518: 10, 519: 11, 520: 9, 521: 9, 522: 9, 523: 10, 524: 12, 525: 9, 526: 13, 527: 13, 528: 10, 529: 9, 530: 9, 531: 18, 532: 12, 533: 10, 534: 14, 535: 13, 536: 20, 537: 9, 538: 15, 539: 11, 540: 11, 541: 10, 542: 10, 543: 14, 544: 10, 545: 11, 546: 10, 547: 9, 548: 11, 549: 13, 550: 10, 551: 10, 552: 10, 553: 14, 554: 9, 555: 10, 556: 14, 557: 9, 558: 9, 559: 9, 560: 9, 561: 16, 562: 10, 563: 15, 564: 10, 565: 10, 566: 10, 567: 13, 568: 9, 569: 11, 570: 8, 571: 8, 572: 8, 573: 8, 574: 10, 575: 9, 576: 9, 577: 11, 578: 12, 579: 8, 580: 12, 581: 8, 582: 10, 583: 9, 584: 8, 585: 10, 586: 13, 587: 9, 588: 9, 589: 8, 590: 8, 591: 12, 592: 15, 593: 10, 594: 22, 595: 8, 596: 8, 597: 8, 598: 11, 599: 8, 600: 8, 601: 8, 602: 8, 603: 8, 604: 8, 605: 8, 606: 16, 607: 11, 608: 13, 609: 8, 610: 8, 611: 8, 612: 8, 613: 8, 614: 8, 615: 11, 616: 7, 617: 7, 618: 7, 619: 7, 620: 14, 621: 7, 622: 7, 623: 15, 624: 9, 625: 7, 626: 8, 627: 9, 628: 9, 629: 8, 630: 8, 631: 10, 632: 8, 633: 8, 634: 9, 635: 8, 636: 8, 637: 8, 638: 10, 639: 7, 640: 8, 641: 12, 642: 14, 643: 8, 644: 8, 645: 7, 646: 9, 647: 8, 648: 10, 649: 8, 650: 7, 651: 7, 652: 9, 653: 8, 654: 11, 655: 7, 656: 11, 657: 8, 658: 7, 659: 9, 660: 7, 661: 8, 662: 7, 663: 8, 664: 8, 665: 10, 666: 7, 667: 8, 668: 7, 669: 8, 670: 9, 671: 11, 672: 7, 673: 7, 674: 8, 675: 7, 676: 7, 677: 10, 678: 7, 679: 8, 680: 13, 681: 8, 682: 17, 683: 9, 684: 7, 685: 7, 686: 7, 687: 7, 688: 8, 689: 7, 690: 9, 691: 8, 692: 7, 693: 11, 694: 8, 695: 8, 696: 10, 697: 7, 698: 7, 699: 8, 700: 9, 701: 7, 702: 8, 703: 8, 704: 7, 705: 7, 706: 7, 707: 7, 708: 7, 709: 8, 710: 7, 711: 7, 712: 11, 713: 6, 714: 6, 715: 8, 716: 11, 717: 7, 718: 6, 719: 12, 720: 7, 721: 12, 722: 11, 723: 7, 724: 6, 725: 17, 726: 10, 727: 11, 728: 6, 729: 13, 730: 6, 731: 11, 732: 6, 733: 15, 734: 6, 735: 7, 736: 8, 737: 8, 738: 6, 739: 12, 740: 6, 741: 7, 742: 8, 743: 11, 744: 6, 745: 13, 746: 6, 747: 13, 748: 6, 749: 9, 750: 6, 751: 7, 752: 6, 753: 7, 754: 8, 755: 7, 756: 6, 757: 6, 758: 6, 759: 8, 760: 7, 761: 8, 762: 6, 763: 6, 764: 5, 765: 5, 766: 7, 767: 5, 768: 5, 769: 9, 770: 5, 771: 5, 772: 5, 773: 9, 774: 5, 775: 7, 776: 5, 777: 8, 778: 5, 779: 7, 780: 5, 781: 5, 782: 5, 783: 5, 784: 5, 785: 5, 786: 5, 787: 13, 788: 5, 789: 7, 790: 5, 791: 9, 792: 5, 793: 7, 794: 5, 795: 5, 796: 5, 797: 5, 798: 7, 799: 7, 800: 5, 801: 5, 802: 8, 803: 6, 804: 5, 805: 5, 806: 7, 807: 5, 808: 9, 809: 5, 810: 5, 811: 5, 812: 5, 813: 7, 814: 5, 815: 5, 816: 7, 817: 13, 818: 7, 819: 6, 820: 14, 821: 7, 822: 7, 823: 6, 824: 6, 825: 7, 826: 5, 827: 8, 828: 9, 829: 9, 830: 7, 831: 6, 832: 5, 833: 5, 834: 5, 835: 11, 836: 5, 837: 7, 838: 11, 839: 5, 840: 5, 841: 7, 842: 5, 843: 5, 844: 5, 845: 5, 846: 5, 847: 5, 848: 5, 849: 5, 850: 5, 851: 5, 852: 5, 853: 7, 854: 11, 855: 5, 856: 5, 857: 5, 858: 7, 859: 7, 860: 5, 861: 7, 862: 5, 863: 5, 864: 15, 865: 5, 866: 7, 867: 7, 868: 5, 869: 5, 870: 5, 871: 7, 872: 6, 873: 7, 874: 7, 875: 6, 876: 5, 877: 5, 878: 5, 879: 7, 880: 7, 881: 5, 882: 7, 883: 5, 884: 5, 885: 5, 886: 7, 887: 5, 888: 7, 889: 8, 890: 6, 891: 8, 892: 7, 893: 7, 894: 9, 895: 5, 896: 7, 897: 7, 898: 5, 899: 5, 900: 5, 901: 7, 902: 5, 903: 5, 904: 5, 905: 7, 906: 11, 907: 5, 908: 5, 909: 5, 910: 5, 911: 7, 912: 4, 913: 6, 914: 4, 915: 4, 916: 6, 917: 6, 918: 5, 919: 10, 920: 4, 921: 6, 922: 6, 923: 6, 924: 5, 925: 4, 926: 5, 927: 4, 928: 4, 929: 4, 930: 4, 931: 4, 932: 4, 933: 6, 934: 8, 935: 5, 936: 5, 937: 7, 938: 5, 939: 5, 940: 9, 941: 4, 942: 4, 943: 4, 944: 4, 945: 6, 946: 4, 947: 4, 948: 8, 949: 4, 950: 4, 951: 6, 952: 4, 953: 4, 954: 4, 955: 4, 956: 7, 957: 6, 958: 4, 959: 7, 960: 8, 961: 4, 962: 6, 963: 4, 964: 4, 965: 4, 966: 6, 967: 4, 968: 4, 969: 5, 970: 4, 971: 8, 972: 4, 973: 4, 974: 4, 975: 6, 976: 4, 977: 4, 978: 10, 979: 4, 980: 5, 981: 4, 982: 5, 983: 6, 984: 5, 985: 6, 986: 9, 987: 6, 988: 5, 989: 6, 990: 5, 991: 6, 992: 5, 993: 6, 994: 8, 995: 8, 996: 5, 997: 6, 998: 7, 999: 4, 1000: 5, 1001: 4, 1002: 7, 1003: 12, 1004: 12, 1005: 4, 1006: 6, 1007: 4, 1008: 8, 1009: 4, 1010: 6, 1011: 6, 1012: 6, 1013: 5, 1014: 6, 1015: 6, 1016: 6, 1017: 6, 1018: 4, 1019: 7, 1020: 4, 1021: 8, 1022: 5, 1023: 4, 1024: 4, 1025: 4, 1026: 6, 1027: 5, 1028: 4, 1029: 4, 1030: 4, 1031: 6, 1032: 5, 1033: 5, 1034: 6, 1035: 5, 1036: 6, 1037: 4, 1038: 4, 1039: 7, 1040: 4, 1041: 5, 1042: 6, 1043: 5, 1044: 4, 1045: 5, 1046: 6, 1047: 5, 1048: 4, 1049: 6, 1050: 4, 1051: 4, 1052: 4, 1053: 4, 1054: 4, 1055: 5, 1056: 4, 1057: 4, 1058: 7, 1059: 4, 1060: 4, 1061: 4, 1062: 4, 1063: 4, 1064: 6, 1065: 4, 1066: 4, 1067: 4, 1068: 8, 1069: 4, 1070: 4, 1071: 4, 1072: 6, 1073: 4, 1074: 4, 1075: 4, 1076: 4, 1077: 4, 1078: 4, 1079: 8, 1080: 4, 1081: 4, 1082: 4, 1083: 4, 1084: 4, 1085: 4, 1086: 4, 1087: 4, 1088: 4, 1089: 5, 1090: 8, 1091: 5, 1092: 4, 1093: 5, 1094: 6, 1095: 4, 1096: 5, 1097: 5, 1098: 4, 1099: 6, 1100: 4, 1101: 6, 1102: 4, 1103: 4, 1104: 4, 1105: 4, 1106: 6, 1107: 4, 1108: 4, 1109: 6, 1110: 4, 1111: 4, 1112: 6, 1113: 4, 1114: 7, 1115: 4, 1116: 4, 1117: 4, 1118: 5, 1119: 4, 1120: 7, 1121: 4, 1122: 5, 1123: 5, 1124: 4, 1125: 4, 1126: 4, 1127: 6, 1128: 4, 1129: 4, 1130: 6, 1131: 4, 1132: 4, 1133: 4, 1134: 4, 1135: 5, 1136: 4, 1137: 4, 1138: 4, 1139: 4, 1140: 4, 1141: 4, 1142: 4, 1143: 6, 1144: 4, 1145: 9, 1146: 4, 1147: 5, 1148: 4, 1149: 5, 1150: 4, 1151: 5, 1152: 4, 1153: 5, 1154: 4, 1155: 5, 1156: 4, 1157: 4, 1158: 4, 1159: 4, 1160: 4, 1161: 4, 1162: 4, 1163: 4, 1164: 4, 1165: 4, 1166: 5, 1167: 4, 1168: 4, 1169: 5, 1170: 4, 1171: 4, 1172: 4, 1173: 5, 1174: 5, 1175: 4, 1176: 4, 1177: 5, 1178: 4, 1179: 4, 1180: 4, 1181: 4, 1182: 4, 1183: 4, 1184: 4, 1185: 4, 1186: 4, 1187: 4, 1188: 4, 1189: 4, 1190: 4, 1191: 4, 1192: 4, 1193: 6, 1194: 4, 1195: 6, 1196: 4, 1197: 4, 1198: 5, 1199: 4, 1200: 4, 1201: 5, 1202: 4, 1203: 5, 1204: 6, 1205: 6, 1206: 4, 1207: 4, 1208: 4, 1209: 5, 1210: 4, 1211: 4, 1212: 8, 1213: 4, 1214: 4, 1215: 5, 1216: 4, 1217: 4, 1218: 4, 1219: 6, 1220: 4, 1221: 4, 1222: 5, 1223: 4, 1224: 4, 1225: 4, 1226: 4, 1227: 4, 1228: 4, 1229: 5, 1230: 4, 1231: 4, 1232: 4, 1233: 4, 1234: 4, 1235: 4, 1236: 4, 1237: 4, 1238: 4, 1239: 4, 1240: 4, 1241: 4, 1242: 4, 1243: 6, 1244: 4, 1245: 5, 1246: 4, 1247: 4, 1248: 5, 1249: 4, 1250: 5, 1251: 4, 1252: 5, 1253: 4, 1254: 4, 1255: 4, 1256: 4, 1257: 4, 1258: 6, 1259: 4, 1260: 7, 1261: 4, 1262: 4, 1263: 6, 1264: 4, 1265: 6, 1266: 4, 1267: 6, 1268: 4, 1269: 7, 1270: 4, 1271: 5, 1272: 4, 1273: 6, 1274: 4, 1275: 6, 1276: 4, 1277: 8, 1278: 4, 1279: 4, 1280: 4, 1281: 4, 1282: 4, 1283: 4, 1284: 5, 1285: 4, 1286: 4, 1287: 4, 1288: 4, 1289: 4, 1290: 4, 1291: 4, 1292: 4, 1293: 4, 1294: 4, 1295: 6, 1296: 4, 1297: 4, 1298: 4, 1299: 4, 1300: 4, 1301: 6, 1302: 4, 1303: 4, 1304: 4, 1305: 5, 1306: 4, 1307: 5, 1308: 4, 1309: 5, 1310: 4, 1311: 5, 1312: 4, 1313: 4, 1314: 4, 1315: 4, 1316: 4, 1317: 6, 1318: 4, 1319: 6, 1320: 4, 1321: 4, 1322: 4, 1323: 4, 1324: 4, 1325: 4, 1326: 4, 1327: 4, 1328: 4, 1329: 4, 1330: 4, 1331: 5, 1332: 4, 1333: 6, 1334: 4, 1335: 5, 1336: 4, 1337: 4, 1338: 4, 1339: 4, 1340: 4, 1341: 4, 1342: 4, 1343: 4, 1344: 5, 1345: 5, 1346: 4, 1347: 4, 1348: 4, 1349: 4, 1350: 4, 1351: 4, 1352: 4, 1353: 4, 1354: 4, 1355: 5, 1356: 5, 1357: 5, 1358: 4, 1359: 4, 1360: 4, 1361: 5, 1362: 4, 1363: 4, 1364: 4, 1365: 4, 1366: 4, 1367: 4, 1368: 4, 1369: 4, 1370: 4, 1371: 4, 1372: 4, 1373: 6, 1374: 4, 1375: 5, 1376: 4, 1377: 4, 1378: 4, 1379: 4, 1380: 4, 1381: 4, 1382: 5, 1383: 5, 1384: 4, 1385: 4, 1386: 4, 1387: 5, 1388: 4, 1389: 4, 1390: 4, 1391: 4, 1392: 4, 1393: 7, 1394: 4, 1395: 4, 1396: 4, 1397: 4, 1398: 4, 1399: 5, 1400: 4, 1401: 4, 1402: 4, 1403: 4, 1404: 4, 1405: 4, 1406: 4, 1407: 7, 1408: 4, 1409: 4, 1410: 4, 1411: 4, 1412: 6, 1413: 4, 1414: 4, 1415: 4, 1416: 4, 1417: 4, 1418: 4, 1419: 4, 1420: 4, 1421: 4, 1422: 4, 1423: 4, 1424: 4, 1425: 4, 1426: 4, 1427: 4, 1428: 4, 1429: 4, 1430: 4, 1431: 4, 1432: 4, 1433: 4, 1434: 4, 1435: 4, 1436: 2, 1437: 2, 1438: 2, 1439: 2, 1440: 2, 1441: 3, 1442: 2, 1443: 2, 1444: 2, 1445: 2, 1446: 4, 1447: 2, 1448: 2, 1449: 2, 1450: 4, 1451: 2, 1452: 2, 1453: 2, 1454: 2, 1455: 2, 1456: 2, 1457: 2, 1458: 2, 1459: 3, 1460: 2, 1461: 4, 1462: 2, 1463: 2, 1464: 2, 1465: 2, 1466: 2, 1467: 2, 1468: 2, 1469: 2, 1470: 3, 1471: 2, 1472: 3, 1473: 2, 1474: 1, 1475: 1, 1476: 1, 1477: 1, 1478: 1, 1479: 1, 1480: 1, 1481: 1, 1482: 1, 1483: 2, 1484: 2, 1485: 1, 1486: 1, 1487: 2, 1488: 2, 1489: 1, 1490: 1, 1491: 1, 1492: 1, 1493: 1, 1494: 1, 1495: 1, 1496: 2, 1497: 1, 1498: 1, 1499: 1, 1500: 1, 1501: 1, 1502: 1, 1503: 1, 1504: 1, 1505: 1, 1506: 1, 1507: 1, 1508: 1, 1509: 1, 1510: 1, 1511: 1, 1512: 1, 1513: 1, 1514: 1, 1515: 1, 1516: 1, 1517: 1, 1518: 1, 1519: 1, 1520: 1, 1521: 1, 1522: 1, 1523: 1, 1524: 1, 1525: 1, 1526: 1, 1527: 1, 1528: 1, 1529: 1, 1530: 1, 1531: 1, 1532: 1, 1533: 1, 1534: 1, 1535: 1, 1536: 1, 1537: 1, 1538: 2, 1539: 1, 1540: 1, 1541: 2, 1542: 1, 1543: 1, 1544: 1, 1545: 2, 1546: 1, 1547: 1, 1548: 3, 1549: 1, 1550: 1, 1551: 1, 1552: 2, 1553: 1, 1554: 1, 1555: 1, 1556: 1, 1557: 1, 1558: 1, 1559: 1, 1560: 1, 1561: 1, 1562: 1, 1563: 1, 1564: 2, 1565: 1, 1566: 1, 1567: 1, 1568: 1, 1569: 1, 1570: 1, 1571: 1, 1572: 1, 1573: 1, 1574: 1, 1575: 1, 1576: 1, 1577: 1, 1578: 1, 1579: 1, 1580: 1, 1581: 2, 1582: 1, 1583: 1, 1584: 1, 1585: 1, 1586: 1, 1587: 1, 1588: 1, 1589: 1, 1590: 1, 1591: 1, 1592: 1, 1593: 1, 1594: 1, 1595: 2, 1596: 1, 1597: 1, 1598: 1, 1599: 1, 1600: 1, 1601: 1, 1602: 1, 1603: 1, 1604: 1, 1605: 1, 1606: 1, 1607: 1, 1608: 1, 1609: 1, 1610: 1, 1611: 1, 1612: 1, 1613: 1, 1614: 1, 1615: 3, 1616: 1, 1617: 3, 1618: 1, 1619: 2, 1620: 1, 1621: 3, 1622: 1, 1623: 1, 1624: 1, 1625: 3, 1626: 1, 1627: 1, 1628: 1, 1629: 1, 1630: 1, 1631: 1, 1632: 1, 1633: 1, 1634: 1, 1635: 1, 1636: 1, 1637: 1, 1638: 1, 1639: 1, 1640: 1, 1641: 1, 1642: 1, 1643: 1, 1644: 2, 1645: 1, 1646: 3, 1647: 1, 1648: 1, 1649: 1, 1650: 1, 1651: 1, 1652: 1, 1653: 1, 1654: 1, 1655: 3, 1656: 1, 1657: 1, 1658: 1, 1659: 1, 1660: 1, 1661: 1, 1662: 1, 1663: 2, 1664: 1, 1665: 1, 1666: 2, 1667: 1, 1668: 2, 1669: 1, 1670: 1, 1671: 1, 1672: 1, 1673: 1, 1674: 1, 1675: 1, 1676: 1, 1677: 1, 1678: 1, 1679: 1, 1680: 1, 1681: 1, 1682: 1, 1683: 1, 1684: 1, 1685: 1, 1686: 3, 1687: 1, 1688: 1, 1689: 1, 1690: 1, 1691: 1, 1692: 1, 1693: 1, 1694: 1, 1695: 1, 1696: 1, 1697: 4, 1698: 1, 1699: 1, 1700: 1, 1701: 1, 1702: 1, 1703: 1, 1704: 1, 1705: 1, 1706: 2, 1707: 1, 1708: 1, 1709: 1, 1710: 1, 1711: 1, 1712: 1, 1713: 1, 1714: 1, 1715: 1, 1716: 1, 1717: 1, 1718: 1, 1719: 1, 1720: 2, 1721: 1, 1722: 1, 1723: 1, 1724: 2, 1725: 1, 1726: 1, 1727: 3, 1728: 1, 1729: 1, 1730: 1, 1731: 1, 1732: 1, 1733: 1, 1734: 3, 1735: 1, 1736: 1, 1737: 1, 1738: 2, 1739: 1, 1740: 1, 1741: 1, 1742: 4, 1743: 1, 1744: 1, 1745: 1, 1746: 1, 1747: 1, 1748: 2, 1749: 1, 1750: 1, 1751: 2, 1752: 1, 1753: 1, 1754: 1, 1755: 2, 1756: 1, 1757: 1, 1758: 1, 1759: 1, 1760: 2, 1761: 1, 1762: 2, 1763: 1, 1764: 1, 1765: 1, 1766: 1, 1767: 1, 1768: 2, 1769: 1, 1770: 2, 1771: 1, 1772: 2, 1773: 1, 1774: 1, 1775: 1, 1776: 1, 1777: 1, 1778: 1, 1779: 1, 1780: 1, 1781: 1, 1782: 1, 1783: 1, 1784: 1, 1785: 1, 1786: 1, 1787: 1, 1788: 1, 1789: 1, 1790: 1, 1791: 2, 1792: 2, 1793: 1, 1794: 1, 1795: 1, 1796: 2, 1797: 2, 1798: 2, 1799: 1, 1800: 1, 1801: 1, 1802: 1, 1803: 1, 1804: 1, 1805: 1, 1806: 1, 1807: 1, 1808: 1, 1809: 1, 1810: 1, 1811: 2, 1812: 1, 1813: 1, 1814: 1, 1815: 4, 1816: 1, 1817: 1, 1818: 2, 1819: 2, 1820: 1, 1821: 1, 1822: 1, 1823: 2, 1824: 1, 1825: 2, 1826: 1, 1827: 2, 1828: 1, 1829: 1, 1830: 1, 1831: 1, 1832: 1, 1833: 1, 1834: 1, 1835: 1, 1836: 1, 1837: 1, 1838: 1, 1839: 1, 1840: 1, 1841: 1, 1842: 1, 1843: 1, 1844: 2, 1845: 1, 1846: 1, 1847: 2, 1848: 1, 1849: 1, 1850: 1, 1851: 1, 1852: 1, 1853: 1, 1854: 1, 1855: 1, 1856: 1, 1857: 1, 1858: 1, 1859: 1, 1860: 1, 1861: 1, 1862: 1, 1863: 1, 1864: 2, 1865: 1, 1866: 2, 1867: 1, 1868: 2, 1869: 1, 1870: 1, 1871: 1, 1872: 1, 1873: 1, 1874: 1, 1875: 2, 1876: 1, 1877: 1, 1878: 2, 1879: 1, 1880: 1, 1881: 1, 1882: 1, 1883: 1, 1884: 1, 1885: 1, 1886: 1, 1887: 1, 1888: 1, 1889: 1, 1890: 1, 1891: 1, 1892: 1, 1893: 1, 1894: 1, 1895: 1, 1896: 2, 1897: 1, 1898: 1, 1899: 1, 1900: 1, 1901: 1, 1902: 1, 1903: 1, 1904: 1, 1905: 1, 1906: 1, 1907: 1, 1908: 1, 1909: 1, 1910: 1, 1911: 1, 1912: 1, 1913: 1, 1914: 1, 1915: 1, 1916: 1, 1917: 1, 1918: 1, 1919: 1, 1920: 2, 1921: 2, 1922: 1, 1923: 1, 1924: 1, 1925: 1, 1926: 1, 1927: 1, 1928: 1, 1929: 1, 1930: 1, 1931: 1, 1932: 1, 1933: 1, 1934: 1, 1935: 1, 1936: 1, 1937: 1, 1938: 1, 1939: 1, 1940: 1, 1941: 1, 1942: 1, 1943: 1, 1944: 1, 1945: 1, 1946: 1, 1947: 1, 1948: 1, 1949: 1, 1950: 1, 1951: 1, 1952: 1, 1953: 1, 1954: 1, 1955: 1, 1956: 1, 1957: 1, 1958: 1, 1959: 2, 1960: 1, 1961: 1, 1962: 1, 1963: 1, 1964: 1, 1965: 1, 1966: 1, 1967: 1, 1968: 1, 1969: 1, 1970: 1, 1971: 1, 1972: 1, 1973: 1, 1974: 1, 1975: 1, 1976: 1, 1977: 1, 1978: 1, 1979: 1, 1980: 1, 1981: 1, 1982: 1, 1983: 1, 1984: 1, 1985: 1, 1986: 1, 1987: 1, 1988: 1, 1989: 1, 1990: 1, 1991: 2, 1992: 1, 1993: 1, 1994: 1, 1995: 1, 1996: 1, 1997: 1, 1998: 1, 1999: 3, 2000: 1, 2001: 1, 2002: 1, 2003: 1, 2004: 1, 2005: 1, 2006: 1, 2007: 3, 2008: 1, 2009: 1, 2010: 1, 2011: 1, 2012: 2, 2013: 1, 2014: 2, 2015: 1, 2016: 1, 2017: 2, 2018: 1, 2019: 1, 2020: 5, 2021: 1, 2022: 2, 2023: 1, 2024: 1, 2025: 1, 2026: 1, 2027: 1, 2028: 1, 2029: 2, 2030: 1, 2031: 1, 2032: 1, 2033: 1, 2034: 1, 2035: 2, 2036: 1, 2037: 1, 2038: 1, 2039: 1, 2040: 1, 2041: 1, 2042: 1, 2043: 1, 2044: 1, 2045: 1, 2046: 1, 2047: 1, 2048: 1, 2049: 1, 2050: 1, 2051: 1, 2052: 1, 2053: 2, 2054: 1, 2055: 2, 2056: 1, 2057: 1, 2058: 1, 2059: 1, 2060: 1, 2061: 1, 2062: 1, 2063: 1, 2064: 1, 2065: 1, 2066: 1, 2067: 1, 2068: 1, 2069: 1, 2070: 1, 2071: 2, 2072: 1, 2073: 1, 2074: 1, 2075: 1, 2076: 1, 2077: 1, 2078: 1, 2079: 1, 2080: 2, 2081: 1, 2082: 1, 2083: 1, 2084: 1, 2085: 1, 2086: 1, 2087: 1, 2088: 1, 2089: 3, 2090: 1, 2091: 2, 2092: 1, 2093: 1, 2094: 1, 2095: 1, 2096: 1, 2097: 1, 2098: 3, 2099: 1, 2100: 1, 2101: 1, 2102: 2, 2103: 1, 2104: 1, 2105: 1, 2106: 1, 2107: 1, 2108: 1, 2109: 2, 2110: 1, 2111: 1, 2112: 3, 2113: 1, 2114: 2, 2115: 1, 2116: 1, 2117: 1, 2118: 1, 2119: 1, 2120: 3, 2121: 1, 2122: 1, 2123: 1, 2124: 1, 2125: 1, 2126: 2, 2127: 1, 2128: 1, 2129: 1, 2130: 2, 2131: 1, 2132: 3, 2133: 1, 2134: 1, 2135: 1, 2136: 3, 2137: 1, 2138: 1, 2139: 1, 2140: 1, 2141: 1, 2142: 3, 2143: 1, 2144: 1, 2145: 1, 2146: 1, 2147: 1, 2148: 1, 2149: 2, 2150: 1, 2151: 3, 2152: 1, 2153: 1, 2154: 1, 2155: 3, 2156: 1, 2157: 1, 2158: 1, 2159: 1, 2160: 1, 2161: 1, 2162: 1, 2163: 1, 2164: 1, 2165: 1, 2166: 1, 2167: 1, 2168: 1, 2169: 1, 2170: 1, 2171: 2, 2172: 1, 2173: 1, 2174: 1, 2175: 1, 2176: 1, 2177: 3, 2178: 1, 2179: 1, 2180: 1, 2181: 1, 2182: 3, 2183: 1, 2184: 1, 2185: 1, 2186: 1, 2187: 1, 2188: 1, 2189: 1, 2190: 1, 2191: 1, 2192: 1, 2193: 1, 2194: 1, 2195: 1, 2196: 1, 2197: 1, 2198: 1, 2199: 1, 2200: 1, 2201: 1, 2202: 1, 2203: 1, 2204: 1, 2205: 1, 2206: 1, 2207: 1, 2208: 1, 2209: 1, 2210: 3, 2211: 1, 2212: 1, 2213: 1, 2214: 1, 2215: 1, 2216: 1, 2217: 1, 2218: 1, 2219: 1, 2220: 1, 2221: 1, 2222: 1, 2223: 2, 2224: 1, 2225: 1, 2226: 2, 2227: 1, 2228: 1, 2229: 2, 2230: 1, 2231: 2, 2232: 1, 2233: 1, 2234: 1, 2235: 1, 2236: 1, 2237: 1, 2238: 1, 2239: 1, 2240: 1, 2241: 1, 2242: 3, 2243: 1, 2244: 1, 2245: 1, 2246: 3, 2247: 1, 2248: 1, 2249: 1, 2250: 2, 2251: 1, 2252: 3, 2253: 1, 2254: 1, 2255: 1, 2256: 1, 2257: 2, 2258: 1, 2259: 1, 2260: 1, 2261: 1, 2262: 1, 2263: 1, 2264: 1, 2265: 1, 2266: 1, 2267: 1, 2268: 1, 2269: 1, 2270: 1, 2271: 2, 2272: 1, 2273: 3, 2274: 1, 2275: 3, 2276: 1, 2277: 2, 2278: 1, 2279: 1, 2280: 1, 2281: 1, 2282: 1, 2283: 1, 2284: 1, 2285: 1, 2286: 1, 2287: 1, 2288: 1, 2289: 1, 2290: 1, 2291: 1, 2292: 1, 2293: 1, 2294: 1, 2295: 1, 2296: 1, 2297: 1, 2298: 1, 2299: 2, 2300: 1, 2301: 1, 2302: 1, 2303: 1, 2304: 1, 2305: 1, 2306: 1, 2307: 1, 2308: 2, 2309: 1, 2310: 2, 2311: 1, 2312: 1, 2313: 1, 2314: 1, 2315: 1, 2316: 4, 2317: 1, 2318: 1, 2319: 1, 2320: 1, 2321: 1, 2322: 1, 2323: 1, 2324: 1, 2325: 1, 2326: 1, 2327: 1, 2328: 1, 2329: 1, 2330: 1, 2331: 1, 2332: 1, 2333: 2, 2334: 1, 2335: 1, 2336: 1, 2337: 1, 2338: 1, 2339: 1, 2340: 1, 2341: 1, 2342: 1, 2343: 2, 2344: 1, 2345: 3, 2346: 1, 2347: 1, 2348: 1, 2349: 1, 2350: 2, 2351: 1, 2352: 1, 2353: 1, 2354: 1, 2355: 3, 2356: 1, 2357: 1, 2358: 1, 2359: 1, 2360: 2, 2361: 1, 2362: 1, 2363: 1, 2364: 1, 2365: 1, 2366: 1, 2367: 1, 2368: 1, 2369: 1, 2370: 1, 2371: 1, 2372: 1, 2373: 1, 2374: 1, 2375: 1, 2376: 1, 2377: 3, 2378: 1, 2379: 1, 2380: 1, 2381: 1, 2382: 1, 2383: 1, 2384: 2, 2385: 1, 2386: 1, 2387: 4, 2388: 1, 2389: 1, 2390: 1, 2391: 1, 2392: 1, 2393: 1, 2394: 1, 2395: 1, 2396: 1, 2397: 1, 2398: 1, 2399: 3, 2400: 1, 2401: 1, 2402: 1, 2403: 1, 2404: 1, 2405: 1, 2406: 1, 2407: 1, 2408: 1, 2409: 1, 2410: 1, 2411: 1, 2412: 1, 2413: 1, 2414: 1, 2415: 1, 2416: 1, 2417: 1, 2418: 1, 2419: 1, 2420: 2, 2421: 1, 2422: 1, 2423: 1, 2424: 1, 2425: 1, 2426: 1, 2427: 1, 2428: 1, 2429: 1, 2430: 3, 2431: 1, 2432: 1, 2433: 1, 2434: 1, 2435: 1, 2436: 1, 2437: 1, 2438: 1, 2439: 2, 2440: 1, 2441: 1, 2442: 2, 2443: 3, 2444: 1, 2445: 1, 2446: 2, 2447: 1, 2448: 2, 2449: 1, 2450: 1, 2451: 1, 2452: 1, 2453: 1, 2454: 1, 2455: 1, 2456: 1, 2457: 1, 2458: 1, 2459: 1, 2460: 2, 2461: 1, 2462: 1, 2463: 1, 2464: 1, 2465: 1, 2466: 1, 2467: 1, 2468: 1, 2469: 1, 2470: 1, 2471: 1, 2472: 2, 2473: 1, 2474: 1, 2475: 1, 2476: 1, 2477: 1, 2478: 3, 2479: 1, 2480: 1, 2481: 1, 2482: 1, 2483: 5, 2484: 1, 2485: 1, 2486: 1, 2487: 1, 2488: 2, 2489: 1, 2490: 2, 2491: 1, 2492: 2, 2493: 1, 2494: 1, 2495: 1, 2496: 1, 2497: 1, 2498: 3, 2499: 1, 2500: 1, 2501: 1, 2502: 1, 2503: 1, 2504: 1, 2505: 3, 2506: 1, 2507: 3, 2508: 1, 2509: 1, 2510: 1, 2511: 3, 2512: 1, 2513: 1, 2514: 1, 2515: 1, 2516: 2, 2517: 1, 2518: 1, 2519: 1, 2520: 3, 2521: 1, 2522: 1, 2523: 2, 2524: 1, 2525: 2, 2526: 1, 2527: 2, 2528: 1, 2529: 1, 2530: 1, 2531: 4, 2532: 1, 2533: 1, 2534: 1, 2535: 1, 2536: 1, 2537: 1, 2538: 1, 2539: 1, 2540: 1, 2541: 1, 2542: 2, 2543: 1, 2544: 2, 2545: 1, 2546: 1, 2547: 1, 2548: 2, 2549: 1, 2550: 3, 2551: 1, 2552: 1, 2553: 1, 2554: 1, 2555: 1, 2556: 1, 2557: 1, 2558: 3, 2559: 1, 2560: 1, 2561: 3, 2562: 1, 2563: 1, 2564: 1, 2565: 2, 2566: 1, 2567: 1, 2568: 1, 2569: 1, 2570: 3, 2571: 1, 2572: 3, 2573: 1, 2574: 2, 2575: 1, 2576: 4, 2577: 1, 2578: 1, 2579: 1, 2580: 1, 2581: 1, 2582: 1, 2583: 2, 2584: 1, 2585: 1, 2586: 1, 2587: 1, 2588: 1, 2589: 1, 2590: 1, 2591: 5, 2592: 1, 2593: 3, 2594: 1, 2595: 1, 2596: 1, 2597: 1, 2598: 1, 2599: 1, 2600: 1, 2601: 1, 2602: 2, 2603: 1, 2604: 1, 2605: 1, 2606: 1, 2607: 1, 2608: 1, 2609: 1, 2610: 1, 2611: 1, 2612: 1, 2613: 1, 2614: 1, 2615: 1, 2616: 1, 2617: 1, 2618: 1, 2619: 1, 2620: 1, 2621: 1, 2622: 1, 2623: 1, 2624: 2, 2625: 1, 2626: 1, 2627: 1, 2628: 1, 2629: 1, 2630: 1, 2631: 1, 2632: 1, 2633: 3, 2634: 1, 2635: 1, 2636: 1, 2637: 1, 2638: 1, 2639: 1, 2640: 3, 2641: 1, 2642: 3, 2643: 1, 2644: 2, 2645: 1, 2646: 1, 2647: 3, 2648: 1, 2649: 1, 2650: 1, 2651: 3, 2652: 1, 2653: 1, 2654: 1, 2655: 2, 2656: 1, 2657: 1, 2658: 1, 2659: 2, 2660: 1, 2661: 3, 2662: 1, 2663: 3, 2664: 1, 2665: 3, 2666: 1, 2667: 3, 2668: 1, 2669: 2, 2670: 1, 2671: 1, 2672: 1, 2673: 3, 2674: 1, 2675: 3, 2676: 1, 2677: 2, 2678: 1, 2679: 3, 2680: 1, 2681: 1, 2682: 1, 2683: 1, 2684: 1, 2685: 1, 2686: 1, 2687: 1, 2688: 1, 2689: 1, 2690: 1, 2691: 1, 2692: 1, 2693: 1, 2694: 1, 2695: 1, 2696: 1, 2697: 2, 2698: 1, 2699: 2, 2700: 1, 2701: 1, 2702: 1, 2703: 1, 2704: 1, 2705: 1, 2706: 1, 2707: 1, 2708: 1, 2709: 1, 2710: 1, 2711: 1, 2712: 1, 2713: 1, 2714: 1, 2715: 1, 2716: 1, 2717: 1, 2718: 1, 2719: 1, 2720: 1, 2721: 1, 2722: 1, 2723: 1, 2724: 1, 2725: 1, 2726: 1, 2727: 2, 2728: 1, 2729: 1, 2730: 1, 2731: 1, 2732: 1, 2733: 1, 2734: 1, 2735: 1, 2736: 1, 2737: 2, 2738: 1, 2739: 1, 2740: 1, 2741: 1, 2742: 1, 2743: 2, 2744: 2, 2745: 1, 2746: 1, 2747: 1, 2748: 1, 2749: 1, 2750: 1, 2751: 1, 2752: 1, 2753: 1, 2754: 1, 2755: 1, 2756: 1, 2757: 1, 2758: 1, 2759: 1, 2760: 1, 2761: 1, 2762: 1, 2763: 1, 2764: 1, 2765: 1, 2766: 1, 2767: 1, 2768: 1, 2769: 1, 2770: 1, 2771: 1, 2772: 1, 2773: 1, 2774: 1, 2775: 1, 2776: 1, 2777: 1, 2778: 1, 2779: 1, 2780: 1, 2781: 1, 2782: 1, 2783: 1, 2784: 1, 2785: 1, 2786: 1, 2787: 1, 2788: 1, 2789: 1, 2790: 1, 2791: 1, 2792: 1, 2793: 1, 2794: 1, 2795: 1, 2796: 1, 2797: 1, 2798: 1, 2799: 3, 2800: 1, 2801: 1, 2802: 1, 2803: 2, 2804: 2, 2805: 1, 2806: 1, 2807: 1, 2808: 1, 2809: 2, 2810: 2, 2811: 1, 2812: 1, 2813: 1, 2814: 1, 2815: 1, 2816: 1, 2817: 1, 2818: 1, 2819: 1, 2820: 1, 2821: 1, 2822: 1, 2823: 1, 2824: 1, 2825: 1, 2826: 1, 2827: 1, 2828: 1, 2829: 1, 2830: 1, 2831: 1, 2832: 1, 2833: 1, 2834: 1, 2835: 1, 2836: 1, 2837: 1, 2838: 1, 2839: 2, 2840: 2, 2841: 1, 2842: 1, 2843: 1, 2844: 1, 2845: 1, 2846: 1, 2847: 1, 2848: 2, 2849: 1, 2850: 1, 2851: 1, 2852: 1, 2853: 1, 2854: 1, 2855: 1, 2856: 2, 2857: 1, 2858: 1, 2859: 1, 2860: 1, 2861: 1, 2862: 1, 2863: 1, 2864: 1, 2865: 1, 2866: 1, 2867: 1, 2868: 1, 2869: 1, 2870: 1, 2871: 1, 2872: 1, 2873: 1, 2874: 1, 2875: 1, 2876: 1, 2877: 1, 2878: 1, 2879: 1, 2880: 1, 2881: 1, 2882: 1, 2883: 1, 2884: 1, 2885: 1, 2886: 1, 2887: 2, 2888: 1, 2889: 1, 2890: 1, 2891: 1, 2892: 3, 2893: 1, 2894: 2, 2895: 1, 2896: 2, 2897: 1, 2898: 1, 2899: 1, 2900: 1, 2901: 1, 2902: 1, 2903: 1, 2904: 1, 2905: 1, 2906: 1, 2907: 1, 2908: 1, 2909: 1, 2910: 2, 2911: 2, 2912: 1, 2913: 1, 2914: 1, 2915: 1, 2916: 2, 2917: 2, 2918: 1, 2919: 1, 2920: 1, 2921: 1, 2922: 1, 2923: 1, 2924: 1, 2925: 2, 2926: 2, 2927: 1, 2928: 1, 2929: 1, 2930: 1, 2931: 1, 2932: 1, 2933: 1, 2934: 1, 2935: 2, 2936: 1, 2937: 1, 2938: 1, 2939: 2, 2940: 1, 2941: 1, 2942: 1, 2943: 1, 2944: 1, 2945: 1, 2946: 1, 2947: 2, 2948: 1, 2949: 1, 2950: 1, 2951: 1, 2952: 1, 2953: 1, 2954: 1, 2955: 1, 2956: 1, 2957: 1, 2958: 1, 2959: 1, 2960: 1, 2961: 1, 2962: 1, 2963: 1, 2964: 1, 2965: 1, 2966: 1, 2967: 1, 2968: 1, 2969: 1, 2970: 1, 2971: 3, 2972: 1, 2973: 1, 2974: 1, 2975: 1, 2976: 1, 2977: 1, 2978: 1, 2979: 1, 2980: 1, 2981: 2, 2982: 1, 2983: 1, 2984: 1, 2985: 1, 2986: 1, 2987: 1, 2988: 1, 2989: 1, 2990: 1, 2991: 1, 2992: 1, 2993: 1, 2994: 1, 2995: 1, 2996: 1, 2997: 1, 2998: 1, 2999: 4, 3000: 1, 3001: 1, 3002: 1, 3003: 1, 3004: 1, 3005: 1, 3006: 1, 3007: 1, 3008: 1, 3009: 1, 3010: 2, 3011: 1, 3012: 1, 3013: 2, 3014: 1, 3015: 1, 3016: 1, 3017: 1, 3018: 3, 3019: 1, 3020: 2, 3021: 1, 3022: 3, 3023: 1, 3024: 1, 3025: 1, 3026: 3, 3027: 1, 3028: 1, 3029: 1, 3030: 1, 3031: 1, 3032: 1, 3033: 1, 3034: 3, 3035: 1, 3036: 1, 3037: 2, 3038: 1, 3039: 2, 3040: 1, 3041: 2, 3042: 1, 3043: 1, 3044: 1, 3045: 1, 3046: 1, 3047: 1, 3048: 1, 3049: 1, 3050: 1, 3051: 1, 3052: 2, 3053: 1, 3054: 1, 3055: 1, 3056: 1, 3057: 1, 3058: 1, 3059: 1, 3060: 1, 3061: 5, 3062: 1, 3063: 1, 3064: 1, 3065: 1, 3066: 1, 3067: 1, 3068: 1, 3069: 1, 3070: 1, 3071: 1, 3072: 1, 3073: 1, 3074: 1, 3075: 1, 3076: 1, 3077: 1, 3078: 1, 3079: 1, 3080: 1, 3081: 1, 3082: 1, 3083: 1, 3084: 2, 3085: 1, 3086: 1, 3087: 1, 3088: 1, 3089: 1, 3090: 1, 3091: 1, 3092: 1, 3093: 1, 3094: 1, 3095: 1, 3096: 1, 3097: 1, 3098: 1, 3099: 1, 3100: 4, 3101: 1, 3102: 1, 3103: 1, 3104: 2, 3105: 1, 3106: 1, 3107: 1, 3108: 1, 3109: 1, 3110: 1, 3111: 1, 3112: 2, 3113: 1, 3114: 1, 3115: 1, 3116: 1, 3117: 1, 3118: 3, 3119: 1, 3120: 1, 3121: 1, 3122: 1, 3123: 1, 3124: 2, 3125: 1, 3126: 1, 3127: 2, 3128: 1, 3129: 1, 3130: 5, 3131: 1, 3132: 1, 3133: 1, 3134: 2, 3135: 1, 3136: 1, 3137: 1, 3138: 1, 3139: 1, 3140: 1, 3141: 1, 3142: 1, 3143: 1, 3144: 1, 3145: 1, 3146: 1, 3147: 1, 3148: 1, 3149: 1, 3150: 2, 3151: 1, 3152: 2, 3153: 1, 3154: 1, 3155: 1, 3156: 1, 3157: 1, 3158: 1, 3159: 1, 3160: 1, 3161: 1, 3162: 1, 3163: 1, 3164: 1, 3165: 1, 3166: 2, 3167: 1, 3168: 2, 3169: 1, 3170: 1, 3171: 1, 3172: 1, 3173: 1, 3174: 1, 3175: 1, 3176: 1, 3177: 1, 3178: 1, 3179: 1, 3180: 1, 3181: 1, 3182: 1, 3183: 1, 3184: 2, 3185: 1, 3186: 1, 3187: 1, 3188: 1, 3189: 1, 3190: 1, 3191: 1, 3192: 1, 3193: 1, 3194: 1, 3195: 1, 3196: 1, 3197: 1, 3198: 1, 3199: 4, 3200: 1, 3201: 1, 3202: 2, 3203: 1, 3204: 1, 3205: 2, 3206: 1, 3207: 1, 3208: 1, 3209: 1, 3210: 1, 3211: 1, 3212: 1, 3213: 1, 3214: 1, 3215: 1, 3216: 1, 3217: 2, 3218: 1, 3219: 1, 3220: 1, 3221: 1, 3222: 1, 3223: 1, 3224: 1, 3225: 3, 3226: 1, 3227: 1, 3228: 1, 3229: 1, 3230: 1, 3231: 1, 3232: 1, 3233: 2, 3234: 1, 3235: 1, 3236: 1, 3237: 1, 3238: 1, 3239: 1, 3240: 3, 3241: 1, 3242: 1, 3243: 1, 3244: 2, 3245: 1, 3246: 1, 3247: 1, 3248: 1, 3249: 1, 3250: 1, 3251: 1, 3252: 1, 3253: 1, 3254: 1, 3255: 1, 3256: 2, 3257: 1, 3258: 1, 3259: 2, 3260: 1, 3261: 1, 3262: 1, 3263: 1, 3264: 2, 3265: 1, 3266: 3, 3267: 1, 3268: 1, 3269: 1, 3270: 3, 3271: 1, 3272: 1, 3273: 1, 3274: 1, 3275: 1, 3276: 3, 3277: 1, 3278: 1, 3279: 1, 3280: 1, 3281: 1, 3282: 1, 3283: 1, 3284: 1, 3285: 1, 3286: 1, 3287: 1, 3288: 1, 3289: 1, 3290: 2, 3291: 1, 3292: 1, 3293: 1, 3294: 1, 3295: 1, 3296: 1, 3297: 1, 3298: 1, 3299: 1, 3300: 1, 3301: 1, 3302: 1, 3303: 1, 3304: 1, 3305: 1, 3306: 1, 3307: 1, 3308: 1, 3309: 1, 3310: 1, 3311: 1, 3312: 1, 3313: 1, 3314: 1, 3315: 1, 3316: 1, 3317: 1, 3318: 1, 3319: 1, 3320: 1, 3321: 1, 3322: 1, 3323: 1, 3324: 2, 3325: 1, 3326: 1, 3327: 1, 3328: 1, 3329: 1, 3330: 1, 3331: 1, 3332: 1, 3333: 2, 3334: 1, 3335: 1, 3336: 1, 3337: 1, 3338: 1, 3339: 1, 3340: 1, 3341: 1, 3342: 1, 3343: 1, 3344: 1, 3345: 1, 3346: 1, 3347: 1, 3348: 1, 3349: 1, 3350: 1, 3351: 1, 3352: 3, 3353: 1, 3354: 2, 3355: 1, 3356: 1, 3357: 1, 3358: 1, 3359: 1, 3360: 3, 3361: 1, 3362: 1, 3363: 1, 3364: 3, 3365: 1, 3366: 1, 3367: 1, 3368: 1, 3369: 1, 3370: 1, 3371: 1, 3372: 1, 3373: 1, 3374: 2, 3375: 1, 3376: 2, 3377: 1, 3378: 2, 3379: 1, 3380: 1, 3381: 1, 3382: 3, 3383: 1, 3384: 1, 3385: 1, 3386: 1, 3387: 1, 3388: 1, 3389: 1, 3390: 1, 3391: 1, 3392: 1, 3393: 1, 3394: 1, 3395: 1, 3396: 1, 3397: 2, 3398: 1, 3399: 1, 3400: 1, 3401: 1, 3402: 2, 3403: 1, 3404: 1, 3405: 1, 3406: 1, 3407: 1, 3408: 1, 3409: 1, 3410: 1, 3411: 1, 3412: 1, 3413: 1, 3414: 1, 3415: 1, 3416: 1, 3417: 1, 3418: 1, 3419: 1, 3420: 1, 3421: 1, 3422: 1, 3423: 1, 3424: 1, 3425: 1, 3426: 1, 3427: 1, 3428: 4, 3429: 2, 3430: 1, 3431: 1, 3432: 1, 3433: 1, 3434: 1, 3435: 1, 3436: 3, 3437: 1, 3438: 1, 3439: 4, 3440: 1, 3441: 1, 3442: 1, 3443: 3, 3444: 1, 3445: 1, 3446: 1, 3447: 1, 3448: 1, 3449: 1, 3450: 1, 3451: 1, 3452: 1, 3453: 1, 3454: 1, 3455: 1, 3456: 1, 3457: 1, 3458: 1, 3459: 1, 3460: 1, 3461: 1, 3462: 1, 3463: 1, 3464: 1, 3465: 1, 3466: 1, 3467: 1, 3468: 2, 3469: 1, 3470: 1, 3471: 1, 3472: 1, 3473: 1, 3474: 1, 3475: 1, 3476: 1, 3477: 1, 3478: 1, 3479: 1, 3480: 1, 3481: 1, 3482: 1, 3483: 1, 3484: 1, 3485: 1, 3486: 1, 3487: 1, 3488: 1, 3489: 1, 3490: 2, 3491: 1, 3492: 1, 3493: 1, 3494: 2, 3495: 1, 3496: 1, 3497: 1, 3498: 2, 3499: 1, 3500: 1, 3501: 1, 3502: 1, 3503: 3, 3504: 1, 3505: 3, 3506: 1, 3507: 1, 3508: 1, 3509: 3, 3510: 1, 3511: 3, 3512: 1, 3513: 1, 3514: 1, 3515: 3, 3516: 1, 3517: 1, 3518: 1, 3519: 1, 3520: 1, 3521: 1, 3522: 1, 3523: 1, 3524: 1, 3525: 1, 3526: 1, 3527: 1, 3528: 1, 3529: 1, 3530: 1, 3531: 1, 3532: 1, 3533: 1, 3534: 2, 3535: 1, 3536: 1, 3537: 1, 3538: 1, 3539: 1, 3540: 1, 3541: 1, 3542: 1, 3543: 2, 3544: 1, 3545: 2, 3546: 1, 3547: 1, 3548: 1, 3549: 2, 3550: 1, 3551: 3, 3552: 1, 3553: 1, 3554: 1, 3555: 1, 3556: 1, 3557: 2, 3558: 1, 3559: 2, 3560: 1, 3561: 1, 3562: 1, 3563: 1, 3564: 1, 3565: 1, 3566: 1, 3567: 1, 3568: 1, 3569: 1, 3570: 1, 3571: 1, 3572: 1, 3573: 1, 3574: 1, 3575: 1, 3576: 1, 3577: 1, 3578: 1, 3579: 1, 3580: 1, 3581: 1, 3582: 1, 3583: 1, 3584: 1, 3585: 1, 3586: 1, 3587: 1, 3588: 1, 3589: 1, 3590: 1, 3591: 2, 3592: 1, 3593: 1, 3594: 1, 3595: 2, 3596: 1, 3597: 2, 3598: 1, 3599: 2, 3600: 1, 3601: 1, 3602: 2, 3603: 1, 3604: 3, 3605: 1, 3606: 1, 3607: 1, 3608: 1, 3609: 1, 3610: 2, 3611: 1, 3612: 3, 3613: 1, 3614: 1, 3615: 1, 3616: 1, 3617: 1, 3618: 1, 3619: 1, 3620: 1, 3621: 1, 3622: 1, 3623: 1, 3624: 1, 3625: 1, 3626: 2, 3627: 1, 3628: 2, 3629: 1, 3630: 1, 3631: 1, 3632: 1, 3633: 1, 3634: 1, 3635: 1, 3636: 1, 3637: 1, 3638: 1, 3639: 1, 3640: 1, 3641: 1, 3642: 1, 3643: 1, 3644: 1, 3645: 1, 3646: 1, 3647: 1, 3648: 1, 3649: 1, 3650: 2, 3651: 1, 3652: 1, 3653: 1, 3654: 1, 3655: 1, 3656: 1, 3657: 1, 3658: 1, 3659: 1, 3660: 1, 3661: 1, 3662: 1, 3663: 1, 3664: 1, 3665: 1, 3666: 1, 3667: 1, 3668: 1, 3669: 1, 3670: 1, 3671: 1, 3672: 1, 3673: 1, 3674: 2, 3675: 1, 3676: 1, 3677: 1, 3678: 1, 3679: 1, 3680: 1, 3681: 1, 3682: 3, 3683: 1, 3684: 1, 3685: 1, 3686: 1, 3687: 1, 3688: 1, 3689: 1, 3690: 3, 3691: 1, 3692: 1, 3693: 1, 3694: 1, 3695: 1, 3696: 1, 3697: 2, 3698: 1, 3699: 1, 3700: 1, 3701: 2, 3702: 2, 3703: 1, 3704: 1, 3705: 1, 3706: 1, 3707: 1, 3708: 1, 3709: 1, 3710: 2, 3711: 1, 3712: 1, 3713: 1, 3714: 1, 3715: 1, 3716: 1, 3717: 1, 3718: 1, 3719: 1, 3720: 1, 3721: 1, 3722: 1, 3723: 1, 3724: 1, 3725: 1, 3726: 1, 3727: 1, 3728: 1, 3729: 1, 3730: 1, 3731: 1, 3732: 1, 3733: 1, 3734: 2, 3735: 1, 3736: 1, 3737: 2, 3738: 1, 3739: 1, 3740: 1, 3741: 1, 3742: 2, 3743: 1, 3744: 1, 3745: 1, 3746: 1, 3747: 1, 3748: 1, 3749: 1, 3750: 1, 3751: 1, 3752: 1, 3753: 1, 3754: 1, 3755: 1, 3756: 1, 3757: 1, 3758: 1, 3759: 1, 3760: 1, 3761: 1, 3762: 1, 3763: 1, 3764: 1, 3765: 1, 3766: 1, 3767: 1, 3768: 1, 3769: 1, 3770: 1, 3771: 1, 3772: 1, 3773: 1, 3774: 1, 3775: 1, 3776: 1, 3777: 1, 3778: 2, 3779: 2, 3780: 1, 3781: 1, 3782: 1, 3783: 1, 3784: 1, 3785: 1, 3786: 1, 3787: 1, 3788: 1, 3789: 1, 3790: 1, 3791: 1, 3792: 1, 3793: 1, 3794: 1, 3795: 1, 3796: 2, 3797: 2, 3798: 1, 3799: 1, 3800: 1, 3801: 1, 3802: 1, 3803: 1, 3804: 1, 3805: 2, 3806: 1, 3807: 1, 3808: 1, 3809: 1, 3810: 1, 3811: 2, 3812: 1, 3813: 1, 3814: 1, 3815: 1, 3816: 1, 3817: 1, 3818: 2, 3819: 2, 3820: 1, 3821: 1, 3822: 1, 3823: 1, 3824: 1, 3825: 1, 3826: 1, 3827: 1, 3828: 1, 3829: 2, 3830: 1, 3831: 1, 3832: 1, 3833: 1, 3834: 1, 3835: 1, 3836: 1, 3837: 1, 3838: 1, 3839: 1, 3840: 1, 3841: 1, 3842: 1, 3843: 1, 3844: 1, 3845: 1, 3846: 1, 3847: 1, 3848: 2, 3849: 1, 3850: 1, 3851: 1, 3852: 1, 3853: 1, 3854: 1, 3855: 1, 3856: 1, 3857: 1, 3858: 1, 3859: 1, 3860: 1, 3861: 1, 3862: 1, 3863: 1, 3864: 3, 3865: 1, 3866: 1, 3867: 1, 3868: 1, 3869: 1, 3870: 1, 3871: 1, 3872: 1, 3873: 1, 3874: 2, 3875: 1, 3876: 2, 3877: 1, 3878: 1, 3879: 1, 3880: 1, 3881: 1, 3882: 1, 3883: 1, 3884: 2, 3885: 1, 3886: 2, 3887: 1, 3888: 1, 3889: 1, 3890: 1, 3891: 1, 3892: 1, 3893: 1, 3894: 1, 3895: 1, 3896: 1, 3897: 1, 3898: 1, 3899: 1, 3900: 1, 3901: 1, 3902: 1, 3903: 1, 3904: 1, 3905: 1, 3906: 1, 3907: 1, 3908: 1, 3909: 2, 3910: 2, 3911: 1, 3912: 1, 3913: 1, 3914: 1, 3915: 1, 3916: 1, 3917: 1, 3918: 1, 3919: 1, 3920: 1, 3921: 1, 3922: 1, 3923: 1, 3924: 1, 3925: 1, 3926: 1, 3927: 1, 3928: 2, 3929: 1, 3930: 2, 3931: 1, 3932: 2, 3933: 1, 3934: 2, 3935: 1, 3936: 1, 3937: 1, 3938: 1, 3939: 1, 3940: 1, 3941: 1, 3942: 1, 3943: 1, 3944: 1, 3945: 1, 3946: 1, 3947: 1, 3948: 1, 3949: 1, 3950: 1, 3951: 1, 3952: 1, 3953: 1, 3954: 1, 3955: 1, 3956: 1, 3957: 1, 3958: 1, 3959: 1, 3960: 1, 3961: 1, 3962: 1, 3963: 1, 3964: 1, 3965: 2, 3966: 1, 3967: 3, 3968: 1, 3969: 1, 3970: 1, 3971: 1, 3972: 1, 3973: 1, 3974: 1, 3975: 3, 3976: 1, 3977: 1, 3978: 1, 3979: 1, 3980: 1, 3981: 1, 3982: 1, 3983: 1, 3984: 1, 3985: 1, 3986: 1, 3987: 1, 3988: 1, 3989: 1, 3990: 1, 3991: 1, 3992: 1, 3993: 1, 3994: 1, 3995: 1, 3996: 1, 3997: 1, 3998: 1, 3999: 1, 4000: 1, 4001: 1, 4002: 1, 4003: 1, 4004: 1, 4005: 1, 4006: 1, 4007: 1, 4008: 1, 4009: 1, 4010: 1, 4011: 1, 4012: 1, 4013: 2, 4014: 1, 4015: 1, 4016: 1, 4017: 1, 4018: 1, 4019: 1, 4020: 1, 4021: 1, 4022: 1, 4023: 1, 4024: 1, 4025: 1, 4026: 1, 4027: 1, 4028: 1, 4029: 1, 4030: 1, 4031: 1, 4032: 1, 4033: 1, 4034: 1, 4035: 1, 4036: 1, 4037: 1, 4038: 1, 4039: 1, 4040: 1, 4041: 1, 4042: 1, 4043: 1, 4044: 1, 4045: 1, 4046: 1, 4047: 1, 4048: 1, 4049: 1, 4050: 1, 4051: 1, 4052: 1, 4053: 1, 4054: 1, 4055: 1, 4056: 1, 4057: 1, 4058: 1, 4059: 1, 4060: 1, 4061: 1, 4062: 1, 4063: 1, 4064: 1, 4065: 1, 4066: 2, 4067: 2, 4068: 1, 4069: 1, 4070: 1, 4071: 1, 4072: 1, 4073: 1, 4074: 1, 4075: 1, 4076: 1, 4077: 1, 4078: 1, 4079: 1, 4080: 1, 4081: 1, 4082: 2, 4083: 1, 4084: 1, 4085: 1, 4086: 1, 4087: 1, 4088: 1, 4089: 1, 4090: 1, 4091: 1, 4092: 1, 4093: 1, 4094: 1, 4095: 1, 4096: 1, 4097: 1, 4098: 1, 4099: 1, 4100: 1, 4101: 1, 4102: 1, 4103: 1, 4104: 2, 4105: 1, 4106: 1, 4107: 1, 4108: 1, 4109: 1, 4110: 1, 4111: 1, 4112: 1, 4113: 1, 4114: 1, 4115: 1, 4116: 1, 4117: 1, 4118: 1, 4119: 1, 4120: 1, 4121: 1, 4122: 1, 4123: 1, 4124: 1, 4125: 2, 4126: 1, 4127: 1, 4128: 1, 4129: 1, 4130: 1, 4131: 1, 4132: 1, 4133: 1, 4134: 1, 4135: 1, 4136: 1, 4137: 1, 4138: 1, 4139: 1, 4140: 1, 4141: 1, 4142: 1, 4143: 1, 4144: 1, 4145: 1, 4146: 1, 4147: 1, 4148: 1, 4149: 1, 4150: 1, 4151: 1},
101: {0: 10452, 1: 2095, 2: 1162, 3: 2649, 4: 2142, 5: 1444, 6: 1371, 7: 1484, 8: 1136, 9: 897, 10: 855, 11: 741, 12: 626, 13: 587, 14: 564, 15: 1207, 16: 588, 17: 489, 18: 454, 19: 570, 20: 387, 21: 366, 22: 535, 23: 407, 24: 269, 25: 320, 26: 253, 27: 308, 28: 298, 29: 489, 30: 240, 31: 172, 32: 168, 33: 155, 34: 190, 35: 299, 36: 196, 37: 189, 38: 171, 39: 132, 40: 195, 41: 179, 42: 130, 43: 110, 44: 401, 45: 113, 46: 434, 47: 130, 48: 117, 49: 80, 50: 98, 51: 109, 52: 66, 53: 89, 54: 104, 55: 76, 56: 124, 57: 90, 58: 75, 59: 216, 60: 75, 61: 82, 62: 97, 63: 50, 64: 92, 65: 77, 66: 61, 67: 75, 68: 196, 69: 53, 70: 50, 71: 47, 72: 67, 73: 49, 74: 46, 75: 81, 76: 59, 77: 43, 78: 592, 79: 63, 80: 41, 81: 38, 82: 52, 83: 36, 84: 31, 85: 34, 86: 39, 87: 40, 88: 29, 89: 34, 90: 28, 91: 69, 92: 30, 93: 33, 94: 20, 95: 94, 96: 19, 97: 23, 98: 26, 99: 18, 100: 39, 101: 25, 102: 15, 103: 23, 104: 13, 105: 23, 106: 16, 107: 8, 108: 13, 109: 17, 110: 8, 111: 15, 112: 16, 113: 21, 114: 20, 115: 15, 116: 162, 117: 24, 118: 17, 119: 16, 120: 22, 121: 10, 122: 19, 123: 18, 124: 26, 125: 11, 126: 74, 127: 13, 128: 15, 129: 15, 130: 62, 131: 25, 132: 25, 133: 22, 134: 17, 135: 17, 136: 6, 137: 17, 138: 65, 139: 10, 140: 15, 141: 18, 142: 3, 143: 11, 144: 9, 145: 11, 146: 3, 147: 8, 148: 12, 149: 7, 150: 2, 151: 14, 152: 3, 153: 15, 154: 43, 155: 5, 156: 10, 157: 7, 158: 11, 159: 4, 160: 4, 161: 15, 162: 1, 163: 5, 164: 2, 165: 1, 166: 5, 167: 2, 168: 7, 169: 6, 171: 2, 172: 9, 173: 8, 175: 8, 176: 9, 177: 7, 178: 2, 179: 3, 180: 6, 181: 8, 182: 10, 183: 9, 184: 3, 185: 7, 186: 2, 187: 7, 188: 7, 189: 8, 190: 7, 191: 7, 192: 10, 193: 10, 194: 7, 195: 8, 196: 10, 197: 7, 198: 8, 199: 3, 200: 7, 201: 5, 202: 1, 203: 8, 204: 3, 205: 2, 206: 2, 207: 2, 208: 1, 209: 7, 210: 1, 211: 7, 212: 1, 213: 7, 215: 7, 216: 2, 217: 6, 218: 2, 219: 7, 221: 5, 223: 5, 224: 6, 225: 21, 226: 6, 227: 19, 228: 6, 229: 9, 230: 6, 231: 8, 232: 7, 233: 2, 234: 6, 235: 21, 236: 6, 238: 6, 239: 2, 240: 6, 241: 6, 242: 6, 244: 1, 245: 6, 246: 2, 247: 7, 248: 3, 249: 7, 250: 2, 251: 7, 252: 9, 253: 3, 254: 7, 255: 4, 256: 7, 257: 2, 258: 7, 259: 2, 260: 7, 261: 2, 262: 9, 263: 2, 264: 9, 265: 2, 266: 7, 267: 1, 268: 7, 269: 1, 270: 7, 271: 1, 272: 7, 273: 37, 274: 10, 275: 7, 276: 2, 278: 6, 280: 9, 281: 1, 282: 6, 283: 5, 284: 20, 285: 7, 286: 3, 287: 7, 288: 2, 289: 4, 290: 10, 291: 2, 292: 6, 293: 2, 294: 6, 295: 1, 296: 6, 297: 4, 298: 9, 299: 11, 300: 8, 302: 8, 303: 4, 304: 6, 305: 1, 306: 2, 307: 7, 308: 1, 309: 3, 311: 2, 313: 4, 314: 1, 316: 6, 318: 6, 319: 1, 320: 6, 321: 3, 322: 6, 324: 6, 326: 6, 328: 6, 329: 6, 331: 6, 332: 1, 333: 6, 335: 7, 336: 2, 337: 6, 338: 4, 339: 6, 340: 7, 342: 6, 344: 7, 345: 2, 346: 6, 347: 2, 348: 7, 349: 1, 350: 6, 351: 3, 352: 7, 353: 2, 354: 6, 356: 6, 358: 6, 360: 6, 361: 1, 362: 6, 363: 2, 364: 6, 366: 6, 368: 6, 369: 7, 370: 4, 371: 6, 372: 9, 373: 6, 374: 1, 375: 2, 377: 2, 378: 2, 379: 8, 380: 2, 381: 7, 385: 5, 386: 5, 387: 6, 388: 1, 390: 1, 392: 3, 393: 3, 394: 7, 395: 6, 396: 6, 397: 6, 398: 6, 399: 6, 400: 6, 401: 6, 402: 6, 403: 6, 404: 2, 405: 2, 406: 1, 407: 1, 408: 1, 409: 1, 410: 1, 411: 1, 413: 3, 414: 2, 415: 2, 416: 2, 417: 1, 418: 1, 419: 2, 420: 1, 421: 1, 422: 1, 423: 4, 424: 3, 425: 3, 426: 5, 427: 2, 428: 1, 429: 1, 431: 6, 432: 3, 433: 7, 434: 1, 435: 7, 436: 1, 437: 7, 438: 2, 439: 5, 440: 6, 443: 1, 444: 2, 447: 1, 448: 8, 449: 5, 450: 7, 451: 3, 452: 2, 453: 7, 454: 5, 455: 5, 458: 5, 459: 5, 462: 2, 463: 2, 467: 1, 468: 2, 476: 2, 486: 2, 488: 7, 491: 6, 496: 1, 502: 5, 503: 6, 504: 6, 505: 5, 506: 5, 509: 2, 510: 2, 511: 2, 512: 2, 513: 2, 514: 2, 528: 2, 529: 2, 530: 2, 531: 2, 532: 2, 533: 2, 534: 12, 570: 2, 571: 2, 572: 2, 573: 2, 574: 2, 576: 2, 577: 2, 657: 2, 658: 2, 659: 2, 660: 2, 661: 2, 662: 2, 680: 1, 681: 1, 691: 1, 692: 2, 693: 3, 694: 2, 695: 1, 720: 1, 721: 1, 722: 2, 723: 2, 737: 1, 742: 1, 776: 2, 777: 2, 778: 2, 779: 2, 780: 3, 781: 3, 782: 3, 783: 2, 784: 3, 785: 3, 786: 3, 787: 3, 788: 2, 789: 2, 790: 2, 819: 1, 820: 1, 876: 2, 877: 2, 878: 3, 879: 3, 880: 1, 932: 1, 940: 1, 1064: 1, 1065: 1, 1091: 2, 1092: 2, 1093: 2, 1094: 2, 1095: 3, 1096: 3, 1097: 3, 1098: 2, 1099: 3, 1100: 3, 1101: 3, 1102: 3, 1103: 2, 1104: 2, 1105: 2, 1192: 1, 1193: 1, 1215: 1, 1216: 1, 1218: 1, 1220: 1, 1249: 1, 1253: 1, 1254: 1, 1278: 5, 1279: 4, 1280: 5, 1281: 2, 1290: 1, 1295: 1, 1296: 1, 1352: 2, 1353: 2, 1354: 2, 1355: 2, 1366: 1, 1367: 1, 1368: 1, 1396: 1, 1398: 1, 1399: 1, 1400: 1, 1405: 1, 1425: 1, 1426: 1, 1428: 1, 1429: 1, 1441: 1, 1469: 1},
102: {0: 893, 1: 5421, 2: 17106, 3: 4819, 4: 1602, 5: 1033, 6: 396, 7: 132, 8: 84, 9: 100, 10: 477, 11: 12, 12: 40, 13: 10, 14: 11, 15: 16, 16: 8, 17: 4, 18: 4, 19: 8, 20: 7, 21: 4, 22: 6, 23: 1, 24: 3, 25: 1, 26: 1, 27: 1, 30: 4, 31: 1, 32: 3, 37: 1, 38: 1, 41: 1, 42: 1, 44: 3, 47: 2, 57: 2, 128: 1},
103: {0: 5603, 1: 5385, 2: 2671, 3: 1898, 4: 858, 5: 507, 6: 330, 7: 223, 8: 123, 9: 92, 10: 91, 11: 50, 12: 68, 13: 36, 14: 27, 15: 28, 16: 18, 17: 16, 18: 16, 19: 13, 20: 14, 21: 11, 22: 8, 23: 7, 24: 12, 25: 11, 26: 3, 27: 5, 28: 2, 29: 1, 30: 2, 31: 1, 32: 2, 33: 5, 34: 5, 35: 2, 36: 5, 38: 3, 39: 1, 41: 1, 42: 2, 43: 2, 44: 6, 45: 1, 50: 1, 51: 1, 53: 1, 54: 2, 59: 1, 61: 1, 63: 1, 65: 1, 66: 1, 67: 1, 70: 1, 75: 1, 76: 1, 78: 1, 79: 1, 80: 1, 81: 1, 85: 1, 97: 1, 100: 1, 102: 1, 116: 1, 132: 1, 424: 1, 505: 1, 511: 1},
104: {0: 29, 1: 137, 2: 133, 3: 60, 4: 29, 5: 3, 6: 8, 7: 9, 8: 3, 9: 2, 10: 3, 11: 1, 12: 4, 13: 1, 14: 1, 15: 1, 16: 1, 17: 1, 18: 2, 47: 1, 75: 1, 126: 1},
105: {0: 1931, 1: 1247, 2: 549, 3: 336, 4: 132, 5: 85, 6: 60, 7: 39, 8: 41, 9: 8, 10: 17, 11: 8, 12: 7, 13: 14, 14: 7, 15: 5, 16: 1, 17: 5, 18: 6, 19: 2, 20: 5, 21: 4, 22: 1, 23: 1, 24: 1, 25: 1, 27: 1, 28: 1, 33: 3, 34: 1, 35: 1, 37: 1, 38: 1, 40: 1, 42: 3, 44: 4, 45: 2, 48: 1, 49: 1, 52: 1, 73: 1, 77: 1, 126: 2, 127: 1, 128: 16, 149: 1, 208: 2, 247: 1, 250: 1, 252: 1, 253: 1, 256: 15, 322: 2, 551: 2, 642: 1, 650: 1, 2231: 1},
106: {0: 36100, 1: 34967, 2: 34211, 3: 29541, 4: 23552, 5: 18739, 6: 15499, 7: 12622, 8: 10370, 9: 8341, 10: 6738, 11: 5305, 12: 4377, 13: 3702, 14: 2877, 15: 2454, 16: 2034, 17: 1716, 18: 1495, 19: 1289, 20: 1118, 21: 1040, 22: 762, 23: 736, 24: 709, 25: 516, 26: 454, 27: 395, 28: 378, 29: 363, 30: 284, 31: 260, 32: 258, 33: 264, 34: 204, 35: 179, 36: 172, 37: 158, 38: 151, 39: 132, 40: 128, 41: 184, 42: 126, 43: 91, 44: 85, 45: 116, 46: 79, 47: 70, 48: 117, 49: 69, 50: 53, 51: 60, 52: 62, 53: 40, 54: 40, 55: 49, 56: 69, 57: 34, 58: 28, 59: 31, 60: 21, 61: 24, 62: 28, 63: 26, 64: 34, 65: 34, 66: 23, 67: 19, 68: 25, 69: 10, 70: 69, 71: 22, 72: 19, 73: 48, 74: 14, 75: 17, 76: 17, 77: 16, 78: 13, 79: 19, 80: 23, 81: 35, 82: 17, 83: 20, 84: 9, 85: 13, 86: 12, 87: 6, 88: 13, 89: 6, 90: 7, 91: 4, 92: 10, 93: 7, 94: 5, 95: 12, 96: 9, 97: 6, 98: 7, 99: 8, 100: 6, 101: 3, 102: 14, 103: 4, 104: 13, 105: 7, 106: 5, 107: 5, 108: 3, 109: 3, 110: 5, 111: 37, 112: 3, 113: 10, 114: 2, 115: 2, 116: 9, 117: 4, 118: 7, 119: 6, 120: 10, 121: 5, 122: 4, 123: 21, 124: 2, 125: 3, 126: 3, 127: 7, 128: 5, 129: 4, 130: 6, 131: 10, 132: 4, 133: 5, 134: 7, 135: 7, 136: 10, 137: 3, 138: 4, 139: 3, 140: 2, 141: 4, 142: 2, 143: 1, 144: 1, 145: 2, 146: 3, 147: 1, 148: 1, 149: 1, 150: 1, 151: 1, 152: 1, 153: 1, 154: 4, 155: 1, 156: 1, 158: 1, 159: 3, 160: 2, 161: 3, 162: 4, 186: 1, 205: 1, 222: 1, 223: 1},
107: {0: 1560, 1: 875, 2: 8238, 3: 1899, 4: 1376, 5: 951, 6: 2708, 7: 852, 8: 3627, 9: 2347, 10: 4536},
108: {0: 1567, 1: 1393, 2: 996, 3: 887, 4: 710, 5: 591, 6: 524, 7: 449, 8: 394, 9: 348, 10: 265, 11: 201, 12: 208, 13: 154, 14: 121, 15: 107, 16: 157, 17: 99, 18: 84, 19: 92, 20: 54, 21: 51, 22: 44, 23: 33, 24: 24, 25: 37, 26: 24, 27: 32, 28: 25, 29: 13, 30: 9, 31: 13, 32: 9, 33: 12, 34: 16, 35: 8, 36: 7, 37: 8, 38: 9, 39: 5, 40: 7, 41: 8, 42: 3, 43: 4, 44: 4, 45: 4, 46: 4, 47: 2, 50: 2, 51: 1, 52: 1, 53: 2, 54: 5, 56: 6, 57: 1, 58: 4, 59: 2, 62: 3, 63: 1, 64: 3, 67: 1, 68: 1, 69: 1, 71: 1, 72: 1, 73: 3, 75: 1, 76: 1, 77: 2, 79: 2, 91: 1, 97: 2, 98: 1, 101: 1, 114: 1, 117: 2, 119: 2, 122: 3, 128: 3, 138: 3, 246: 1},
109: {0: 14, 1: 544, 2: 402, 3: 326, 4: 329, 5: 338, 6: 325, 7: 268, 8: 270, 9: 251, 10: 244, 11: 229, 12: 174, 13: 175, 14: 139, 15: 130, 16: 108, 17: 84, 18: 89, 19: 72, 20: 71, 21: 56, 22: 54, 23: 40, 24: 39, 25: 22, 26: 33, 27: 24, 28: 16, 29: 20, 30: 21, 31: 18, 32: 21, 33: 13, 34: 16, 35: 20, 36: 12, 37: 11, 38: 11, 39: 9, 40: 9, 41: 7, 42: 6, 43: 8, 44: 4, 45: 4, 46: 2, 47: 2, 48: 5, 49: 3, 50: 4, 51: 3, 52: 4, 53: 1, 54: 3, 55: 3, 56: 3, 57: 2, 58: 3, 59: 3, 60: 5, 61: 1, 65: 3, 66: 2, 71: 2, 72: 2, 74: 1, 76: 1, 79: 1, 80: 2, 81: 1, 92: 1, 95: 1, 96: 1, 97: 1, 99: 1, 100: 1, 106: 1, 107: 1, 111: 1, 112: 1, 113: 1, 114: 1, 118: 1, 119: 1, 120: 2, 121: 2, 122: 3, 123: 2, 124: 2, 125: 2, 129: 1, 130: 1, 156: 1},
110: {0: 6, 1: 3753, 2: 299, 3: 542, 4: 287, 5: 32, 6: 612, 7: 79, 8: 106, 9: 286, 10: 283, 11: 69, 12: 423, 13: 372, 14: 424, 15: 150, 16: 323, 17: 120, 18: 1269, 19: 267, 20: 108, 21: 343, 22: 450, 23: 89, 24: 554, 25: 166, 26: 80, 27: 167, 28: 224, 29: 67, 30: 222, 31: 231, 32: 64, 33: 168, 34: 205, 35: 92, 36: 138, 37: 127, 38: 86, 39: 88, 40: 137, 41: 110, 42: 86, 43: 133, 44: 75, 45: 72, 46: 116, 47: 83, 48: 57, 49: 123, 50: 94, 51: 58, 52: 82, 53: 111, 54: 88, 55: 60, 56: 85, 57: 36, 58: 67, 59: 120, 60: 74, 61: 63, 62: 81, 63: 97, 64: 35, 65: 82, 66: 63, 67: 47, 68: 45, 69: 55, 70: 37, 71: 39, 72: 43, 73: 35, 74: 27, 75: 47, 76: 46, 77: 33, 78: 55, 79: 28, 80: 30, 81: 36, 82: 36, 83: 22, 84: 38, 85: 29, 86: 24, 87: 24, 88: 41, 89: 25, 90: 33, 91: 30, 92: 24, 93: 33, 94: 34, 95: 29, 96: 25, 97: 24, 98: 21, 99: 29, 100: 12, 101: 30, 102: 12, 103: 19, 104: 23, 105: 14, 106: 21, 107: 22, 108: 14, 109: 25, 110: 12, 111: 21, 112: 19, 113: 14, 114: 27, 115: 20, 116: 17, 117: 8, 118: 10, 119: 25, 120: 11, 121: 14, 122: 17, 123: 15, 124: 16, 125: 17, 126: 11, 127: 14, 128: 16, 129: 12, 130: 10, 131: 21, 132: 15, 133: 11, 134: 8, 135: 15, 136: 12, 137: 13, 138: 6, 139: 18, 140: 8, 141: 11, 142: 10, 143: 10, 144: 4, 145: 13, 146: 3, 147: 13, 148: 14, 149: 4, 150: 6, 151: 14, 152: 12, 153: 8, 154: 4, 155: 10, 156: 9, 157: 6, 158: 6, 159: 14, 160: 3, 161: 8, 162: 3, 163: 10, 164: 3, 165: 7, 166: 2, 167: 6, 168: 8, 169: 6, 170: 4, 171: 10, 172: 12, 173: 9, 174: 9, 175: 5, 176: 8, 177: 2, 178: 5, 179: 6, 180: 6, 181: 6, 182: 8, 183: 7, 184: 6, 185: 6, 186: 6, 187: 5, 188: 10, 189: 4, 190: 4, 191: 3, 192: 4, 193: 2, 194: 10, 195: 5, 196: 5, 197: 4, 198: 4, 199: 7, 200: 3, 201: 7, 202: 6, 203: 6, 204: 5, 205: 4, 206: 7, 207: 2, 208: 4, 209: 6, 210: 4, 211: 2, 212: 2, 213: 5, 215: 5, 216: 6, 217: 2, 218: 1, 219: 6, 220: 3, 221: 1, 222: 3, 223: 4, 224: 1, 226: 1, 227: 3, 228: 4, 229: 5, 230: 6, 231: 1, 232: 2, 233: 2, 234: 6, 235: 5, 236: 1, 237: 6, 238: 3, 239: 5, 240: 1, 241: 3, 242: 2, 243: 2, 244: 3, 245: 1, 246: 3, 247: 1, 248: 2, 249: 1, 250: 2, 251: 7, 252: 3, 253: 1, 254: 5, 255: 1, 256: 4, 257: 5, 258: 3, 259: 1, 260: 4, 261: 2, 262: 3, 263: 2, 264: 5, 265: 1, 266: 3, 267: 7, 269: 5, 270: 1, 271: 1, 273: 2, 274: 2, 275: 7, 276: 1, 277: 1, 278: 1, 279: 3, 280: 1, 282: 2, 283: 2, 285: 2, 286: 1, 287: 4, 288: 3, 289: 2, 290: 3, 292: 3, 295: 1, 296: 6, 297: 2, 298: 4, 301: 1, 303: 4, 304: 4, 305: 2, 306: 3, 307: 4, 308: 3, 310: 1, 311: 1, 312: 3, 313: 3, 314: 1, 315: 5, 316: 1, 317: 1, 319: 2, 320: 2, 321: 1, 323: 3, 324: 1, 326: 2, 327: 1, 328: 1, 330: 5, 331: 2, 332: 1, 335: 2, 337: 2, 338: 2, 341: 1, 342: 2, 345: 1, 346: 1, 347: 1, 348: 1, 351: 3, 352: 1, 353: 1, 354: 5, 355: 2, 359: 1, 360: 5, 361: 1, 365: 2, 366: 3, 368: 6, 369: 3, 371: 3, 372: 2, 374: 2, 379: 1, 380: 2, 381: 3, 382: 2, 383: 2, 386: 1, 387: 2, 388: 5, 389: 3, 391: 1, 392: 1, 394: 1, 395: 1, 396: 3, 399: 1, 401: 2, 405: 4, 406: 3, 408: 1, 415: 2, 416: 1, 417: 2, 419: 1, 421: 2, 422: 4, 423: 1, 431: 2, 432: 2, 433: 2, 434: 2, 436: 1, 439: 1, 440: 2, 441: 1, 445: 1, 446: 1, 448: 1, 450: 1, 451: 1, 454: 1, 458: 1, 462: 2, 467: 1, 470: 1, 471: 1, 477: 2, 478: 1, 479: 1, 480: 2, 482: 1, 484: 1, 485: 1, 486: 1, 489: 2, 496: 1, 501: 1, 502: 1, 503: 1, 507: 2, 510: 1, 511: 3, 513: 1, 515: 1, 520: 1, 524: 1, 527: 2, 528: 2, 536: 1, 540: 1, 543: 1, 544: 1, 546: 1, 551: 1, 552: 1, 558: 1, 564: 1, 566: 1, 567: 2, 573: 1, 579: 2, 582: 1, 583: 2, 590: 1, 605: 1, 609: 1, 612: 1, 614: 1, 626: 1, 632: 2, 635: 2, 636: 1, 640: 1, 649: 1, 651: 1, 654: 1, 655: 2, 667: 1, 668: 1, 676: 1, 687: 1, 699: 2, 705: 2, 706: 1, 723: 1, 728: 2, 730: 1, 732: 2, 741: 1, 754: 1, 757: 1, 759: 1, 770: 1, 782: 1, 783: 1, 784: 2, 798: 2, 808: 1, 809: 3, 821: 1, 840: 1, 844: 1, 849: 1, 868: 2, 871: 1, 880: 1, 889: 2, 914: 3, 935: 1, 957: 1, 969: 1, 977: 1, 980: 2, 988: 1, 1003: 1, 1005: 2, 1006: 1, 1009: 1, 1019: 1, 1034: 1, 1035: 1, 1050: 1, 1128: 2, 1136: 1, 1184: 1, 1215: 1, 1217: 1, 1246: 1, 1472: 2, 1520: 2, 1657: 2, 1703: 2, 1734: 2, 2468: 2, 3275: 2, 3312: 2},
111: {9: 10, 10: 2, 11: 3, 12: 6, 13: 1, 15: 11, 16: 17, 17: 2, 18: 12, 19: 23, 21: 64, 22: 31, 23: 17, 24: 34, 25: 17, 26: 16, 27: 52, 28: 21, 29: 9, 30: 28, 31: 16, 32: 9, 33: 54, 34: 27, 35: 10, 36: 32, 37: 22, 38: 7, 39: 40, 40: 25, 41: 6, 42: 24, 43: 34, 44: 17, 45: 34, 46: 25, 47: 17, 48: 12, 49: 24, 50: 12, 51: 20, 52: 21, 53: 21, 54: 21, 55: 15, 56: 17, 57: 22, 58: 6, 59: 11, 60: 17, 61: 17, 62: 17, 63: 26, 64: 15, 65: 20, 66: 21, 67: 23, 68: 15, 69: 38, 70: 8, 71: 18, 72: 16, 73: 16, 74: 24, 75: 17, 76: 18, 77: 12, 78: 18, 79: 17, 80: 6, 81: 11, 82: 12, 83: 19, 84: 38, 85: 20, 86: 9, 87: 16, 88: 20, 89: 8, 90: 11, 91: 9, 92: 13, 93: 20, 94: 5, 95: 11, 96: 8, 97: 21, 98: 16, 99: 11, 100: 10, 101: 22, 102: 8, 103: 16, 104: 18, 105: 15, 106: 6, 107: 15, 108: 8, 109: 8, 110: 14, 111: 12, 112: 12, 113: 7, 114: 17, 115: 12, 116: 6, 117: 9, 118: 8, 119: 3, 120: 6, 121: 6, 122: 6, 123: 13, 124: 14, 125: 8, 126: 9, 127: 7, 128: 9, 129: 10, 130: 8, 131: 8, 132: 16, 133: 15, 134: 17, 135: 7, 136: 9, 137: 6, 138: 6, 139: 11, 140: 13, 141: 4, 142: 7, 143: 10, 144: 7, 145: 9, 146: 19, 147: 11, 148: 12, 149: 12, 150: 14, 151: 12, 152: 16, 153: 9, 154: 8, 155: 13, 156: 12, 157: 7, 158: 14, 159: 11, 160: 10, 161: 5, 162: 5, 163: 1, 164: 4, 165: 6, 166: 6, 167: 10, 168: 5, 169: 2, 170: 6, 171: 5, 172: 15, 173: 3, 174: 5, 175: 11, 176: 2, 177: 11, 178: 9, 179: 9, 180: 5, 181: 9, 182: 5, 183: 15, 184: 7, 185: 8, 186: 6, 187: 6, 188: 4, 189: 12, 190: 5, 191: 7, 192: 12, 193: 8, 194: 4, 195: 8, 196: 6, 198: 8, 199: 7, 200: 1, 201: 9, 202: 10, 203: 5, 204: 2, 205: 21, 206: 5, 207: 10, 208: 5, 209: 6, 210: 7, 211: 9, 212: 2, 213: 9, 214: 3, 215: 6, 216: 2, 217: 2, 218: 5, 219: 7, 220: 6, 221: 6, 222: 13, 223: 9, 224: 1, 225: 5, 226: 8, 227: 4, 228: 6, 229: 5, 231: 5, 232: 3, 233: 3, 234: 9, 235: 7, 236: 6, 237: 15, 238: 15, 239: 1, 240: 4, 241: 12, 242: 5, 243: 29, 244: 15, 245: 4, 246: 6, 247: 2, 248: 5, 249: 6, 250: 2, 251: 4, 252: 3, 253: 3, 254: 3, 255: 5, 256: 3, 257: 5, 258: 10, 259: 4, 260: 7, 261: 5, 262: 6, 263: 3, 264: 2, 265: 7, 266: 4, 267: 3, 268: 2, 269: 13, 270: 3, 271: 9, 272: 4, 273: 4, 274: 3, 276: 5, 277: 3, 278: 7, 279: 1, 280: 6, 281: 6, 282: 7, 283: 8, 284: 13, 285: 6, 286: 1, 287: 4, 288: 2, 289: 5, 290: 1, 291: 3, 292: 9, 293: 2, 294: 7, 295: 2, 296: 1, 297: 6, 299: 5, 300: 3, 301: 5, 302: 8, 303: 2, 304: 9, 305: 3, 306: 3, 307: 12, 308: 2, 309: 3, 310: 1, 312: 3, 314: 1, 315: 9, 316: 1, 317: 1, 318: 7, 319: 6, 320: 7, 321: 2, 322: 2, 323: 4, 324: 3, 326: 4, 327: 3, 328: 3, 331: 6, 333: 3, 334: 2, 335: 1, 336: 4, 338: 4, 339: 2, 340: 3, 341: 1, 342: 4, 343: 3, 344: 1, 345: 8, 346: 2, 347: 2, 348: 3, 349: 4, 350: 2, 351: 3, 352: 4, 353: 2, 355: 2, 356: 2, 357: 3, 358: 3, 359: 7, 361: 12, 362: 4, 363: 1, 365: 3, 366: 3, 367: 6, 368: 3, 369: 2, 370: 3, 371: 5, 372: 2, 373: 2, 375: 2, 377: 3, 378: 3, 379: 2, 380: 2, 381: 8, 382: 4, 383: 2, 384: 2, 385: 2, 386: 3, 387: 2, 389: 1, 390: 1, 392: 6, 393: 3, 395: 3, 396: 1, 398: 1, 400: 3, 401: 4, 402: 1, 405: 1, 406: 2, 408: 1, 410: 1, 411: 2, 412: 6, 414: 2, 417: 2, 418: 1, 420: 2, 421: 4, 423: 4, 424: 2, 425: 2, 427: 5, 428: 2, 429: 2, 430: 4, 431: 3, 432: 1, 433: 4, 434: 3, 436: 1, 437: 6, 438: 1, 439: 2, 440: 1, 441: 2, 443: 1, 444: 4, 445: 4, 447: 3, 448: 1, 449: 4, 450: 1, 452: 6, 453: 1, 455: 11, 457: 1, 460: 3, 461: 2, 462: 1, 463: 2, 464: 2, 465: 1, 467: 1, 469: 4, 470: 1, 471: 2, 472: 1, 476: 1, 477: 2, 478: 2, 483: 3, 484: 2, 485: 2, 486: 1, 487: 11, 488: 2, 490: 2, 491: 3, 492: 2, 493: 3, 494: 1, 495: 1, 497: 8, 498: 2, 499: 2, 504: 2, 505: 1, 507: 2, 510: 2, 514: 1, 516: 5, 517: 1, 518: 1, 519: 6, 521: 2, 522: 2, 524: 11, 525: 5, 526: 4, 527: 1, 528: 8, 529: 2, 530: 2, 532: 3, 533: 1, 535: 1, 536: 2, 537: 4, 539: 5, 542: 2, 543: 1, 544: 1, 545: 1, 547: 1, 549: 1, 550: 3, 551: 2, 552: 1, 553: 2, 554: 1, 556: 2, 557: 1, 558: 3, 559: 1, 563: 3, 565: 1, 568: 2, 572: 2, 573: 3, 574: 3, 575: 1, 577: 4, 578: 7, 579: 6, 580: 4, 582: 1, 583: 1, 584: 2, 586: 1, 587: 1, 589: 1, 590: 2, 591: 2, 592: 4, 597: 3, 598: 1, 601: 4, 602: 1, 604: 1, 605: 3, 613: 8, 615: 2, 616: 1, 617: 1, 618: 2, 619: 1, 620: 2, 621: 1, 624: 3, 625: 1, 626: 1, 628: 5, 630: 1, 631: 1, 632: 2, 635: 1, 636: 1, 638: 1, 641: 2, 644: 1, 647: 1, 648: 5, 653: 1, 657: 3, 658: 1, 660: 1, 661: 1, 663: 5, 664: 3, 668: 7, 669: 10, 670: 3, 672: 1, 674: 1, 676: 1, 679: 1, 680: 4, 681: 5, 683: 1, 685: 1, 687: 3, 690: 2, 692: 2, 693: 2, 695: 1, 696: 1, 698: 1, 699: 1, 702: 1, 708: 1, 709: 2, 711: 1, 713: 1, 717: 2, 723: 1, 725: 1, 729: 1, 730: 1, 732: 1, 734: 2, 742: 2, 750: 1, 752: 1, 758: 1, 759: 1, 761: 1, 763: 1, 765: 1, 767: 1, 769: 2, 777: 1, 779: 1, 781: 4, 783: 2, 785: 1, 791: 1, 792: 2, 797: 1, 802: 4, 808: 2, 812: 2, 816: 1, 817: 1, 818: 3, 819: 4, 821: 1, 824: 13, 827: 2, 832: 4, 842: 1, 847: 2, 858: 1, 860: 7, 870: 2, 872: 2, 874: 1, 877: 1, 892: 2, 893: 1, 909: 2, 928: 1, 929: 1, 944: 3, 947: 1, 953: 2, 959: 2, 960: 2, 963: 1, 985: 1, 993: 1, 995: 1, 1001: 2, 1015: 7, 1019: 1, 1027: 1, 1028: 4, 1029: 1, 1033: 1, 1050: 1, 1052: 1, 1056: 1, 1059: 1, 1061: 1, 1093: 1, 1099: 1, 1101: 1, 1105: 12, 1107: 2, 1114: 1, 1116: 2, 1120: 1, 1129: 1, 1144: 3, 1157: 1, 1159: 1, 1165: 1, 1183: 1, 1189: 1, 1192: 1, 1193: 4, 1200: 1, 1202: 2, 1226: 1, 1245: 1, 1306: 1, 1321: 2, 1335: 2, 1339: 1, 1353: 2, 1372: 1, 1375: 1, 1381: 1, 1401: 2, 1406: 1, 1410: 1, 1445: 4, 1453: 1, 1455: 1, 1488: 1, 1538: 1, 1568: 2, 1616: 1, 1642: 2, 1712: 2, 1755: 1, 1842: 1, 1923: 2, 1973: 1, 1980: 1, 2002: 1, 2025: 1, 2041: 1, 2061: 2, 2064: 1, 2137: 2, 2193: 4, 2194: 5, 2332: 1, 2709: 1, 3303: 2, 3325: 1},
112: {9: 11, 12: 40, 13: 2, 15: 30, 16: 4, 17: 1, 18: 23, 19: 10, 21: 57, 22: 7, 23: 5, 24: 36, 25: 2, 26: 1, 27: 66, 28: 8, 29: 6, 30: 26, 31: 11, 32: 9, 33: 36, 34: 18, 35: 7, 36: 20, 37: 17, 38: 3, 39: 33, 40: 11, 41: 6, 42: 28, 43: 22, 44: 2, 45: 17, 46: 5, 47: 10, 48: 12, 49: 10, 50: 5, 51: 20, 52: 6, 53: 2, 54: 19, 55: 10, 56: 3, 57: 21, 58: 24, 59: 2, 60: 14, 61: 14, 62: 17, 63: 9, 64: 9, 65: 11, 66: 11, 67: 8, 68: 5, 69: 11, 70: 7, 71: 6, 72: 9, 73: 6, 74: 4, 75: 11, 76: 16, 77: 7, 78: 15, 79: 10, 80: 13, 81: 12, 82: 7, 83: 1, 84: 6, 85: 14, 86: 5, 87: 16, 88: 2, 89: 8, 90: 14, 91: 8, 92: 4, 93: 9, 94: 2, 95: 5, 96: 7, 97: 6, 98: 2, 99: 12, 100: 2, 101: 9, 102: 13, 103: 6, 104: 3, 105: 13, 106: 9, 107: 6, 108: 10, 109: 4, 110: 3, 111: 3, 112: 7, 113: 3, 114: 2, 115: 4, 116: 1, 117: 9, 118: 3, 119: 6, 120: 6, 121: 5, 122: 6, 123: 3, 124: 4, 125: 13, 126: 6, 127: 7, 128: 11, 129: 2, 130: 2, 131: 2, 132: 5, 133: 7, 134: 6, 135: 2, 136: 7, 137: 5, 138: 2, 139: 2, 140: 1, 141: 1, 142: 2, 143: 3, 144: 7, 145: 3, 146: 5, 147: 5, 148: 3, 149: 3, 150: 8, 151: 8, 152: 5, 153: 6, 154: 8, 155: 5, 156: 6, 158: 3, 159: 3, 160: 3, 161: 8, 162: 2, 163: 5, 164: 3, 165: 5, 166: 3, 167: 5, 168: 8, 169: 1, 170: 6, 171: 2, 172: 8, 173: 2, 174: 2, 175: 2, 176: 5, 177: 3, 178: 7, 179: 1, 180: 2, 181: 5, 182: 3, 183: 8, 184: 1, 185: 2, 186: 3, 187: 7, 188: 4, 189: 1, 190: 2, 191: 4, 192: 4, 193: 1, 194: 3, 196: 3, 197: 2, 198: 2, 200: 2, 201: 2, 202: 7, 203: 3, 205: 2, 206: 6, 207: 4, 208: 5, 209: 3, 211: 2, 212: 3, 213: 3, 214: 2, 215: 2, 216: 2, 217: 3, 218: 3, 219: 2, 220: 1, 223: 4, 224: 2, 225: 1, 226: 2, 227: 1, 228: 3, 230: 2, 231: 1, 232: 1, 233: 3, 234: 6, 235: 3, 236: 2, 237: 4, 238: 1, 240: 3, 241: 9, 242: 8, 243: 1, 244: 3, 245: 1, 246: 1, 247: 1, 248: 4, 249: 7, 250: 1, 251: 2, 252: 1, 253: 2, 255: 2, 256: 2, 257: 2, 258: 1, 259: 1, 261: 1, 262: 2, 263: 2, 265: 4, 266: 4, 267: 6, 268: 2, 269: 3, 270: 2, 272: 3, 273: 2, 277: 1, 278: 1, 279: 2, 280: 1, 281: 2, 283: 2, 284: 2, 285: 2, 287: 1, 288: 1, 289: 3, 291: 4, 292: 2, 293: 2, 295: 1, 296: 1, 297: 1, 299: 1, 300: 4, 301: 1, 303: 3, 304: 1, 305: 2, 307: 1, 308: 3, 309: 1, 311: 2, 312: 1, 315: 3, 316: 1, 317: 2, 318: 2, 320: 2, 321: 1, 323: 2, 326: 1, 327: 3, 330: 1, 331: 2, 332: 2, 334: 1, 335: 2, 336: 2, 337: 1, 338: 3, 339: 1, 341: 2, 345: 1, 347: 2, 349: 2, 350: 1, 351: 3, 353: 2, 354: 1, 355: 1, 356: 3, 357: 3, 358: 1, 359: 4, 361: 2, 362: 2, 363: 4, 364: 1, 366: 1, 369: 4, 374: 1, 375: 1, 376: 2, 378: 3, 380: 2, 383: 1, 384: 1, 385: 1, 386: 1, 387: 1, 388: 4, 389: 1, 392: 2, 393: 1, 394: 4, 396: 1, 399: 2, 400: 1, 401: 2, 404: 2, 405: 2, 407: 2, 412: 1, 413: 1, 415: 2, 416: 1, 417: 3, 428: 1, 431: 3, 432: 3, 433: 1, 435: 4, 437: 2, 439: 1, 440: 2, 441: 2, 443: 1, 446: 2, 447: 1, 449: 2, 450: 1, 454: 1, 455: 1, 456: 3, 467: 1, 471: 1, 472: 1, 475: 2, 478: 1, 479: 1, 483: 1, 488: 1, 492: 2, 497: 2, 498: 1, 499: 2, 500: 1, 503: 1, 507: 1, 510: 1, 511: 4, 512: 1, 514: 2, 518: 2, 527: 1, 528: 1, 532: 1, 540: 1, 547: 1, 549: 2, 550: 2, 551: 2, 555: 1, 556: 2, 558: 2, 564: 1, 568: 1, 569: 2, 570: 3, 577: 1, 578: 3, 579: 10, 581: 1, 586: 1, 588: 1, 589: 1, 590: 4, 594: 1, 598: 1, 602: 1, 604: 1, 605: 1, 611: 1, 615: 1, 619: 1, 620: 1, 625: 1, 627: 1, 628: 1, 630: 1, 632: 1, 638: 1, 641: 2, 643: 3, 652: 2, 653: 1, 654: 1, 659: 2, 663: 1, 668: 1, 669: 3, 672: 1, 674: 1, 676: 1, 685: 1, 701: 1, 705: 2, 706: 2, 714: 1, 717: 1, 735: 2, 740: 2, 742: 2, 752: 1, 765: 2, 769: 1, 780: 2, 784: 1, 795: 1, 803: 2, 815: 1, 821: 2, 822: 1, 831: 1, 835: 1, 842: 1, 854: 1, 871: 1, 890: 1, 902: 1, 905: 1, 911: 1, 915: 1, 938: 1, 961: 1, 963: 1, 969: 2, 985: 1, 1015: 2, 1029: 1, 1042: 1, 1059: 1, 1080: 1, 1104: 1, 1186: 2, 1252: 1, 1258: 1, 1265: 1, 1298: 2, 1335: 1, 1343: 1, 1365: 1, 1445: 2, 1464: 1, 1516: 1, 1642: 2, 1653: 1, 1740: 2, 1757: 1, 1779: 1, 1807: 2, 1862: 4, 1947: 4, 3610: 1, 3692: 1},
113: {3: 677, 6: 1396, 7: 195, 9: 62, 10: 203, 11: 10, 12: 32, 13: 443, 14: 13, 15: 42, 16: 254, 17: 20, 18: 27, 19: 233, 20: 54, 21: 41, 22: 178, 23: 41, 24: 38, 25: 188, 26: 55, 27: 33, 28: 106, 29: 65, 30: 37, 31: 126, 32: 58, 33: 31, 34: 102, 35: 76, 36: 24, 37: 98, 38: 68, 39: 25, 40: 88, 41: 82, 42: 29, 43: 98, 44: 66, 45: 43, 46: 73, 47: 57, 48: 25, 49: 71, 50: 53, 51: 45, 52: 48, 53: 81, 54: 59, 55: 54, 56: 59, 57: 29, 58: 60, 59: 48, 60: 28, 61: 45, 62: 41, 63: 37, 64: 43, 65: 59, 66: 30, 67: 67, 68: 53, 69: 39, 70: 56, 71: 38, 72: 35, 73: 39, 74: 36, 75: 25, 76: 39, 77: 42, 78: 28, 79: 35, 80: 38, 81: 32, 82: 35, 83: 20, 84: 30, 85: 33, 86: 17, 87: 26, 88: 27, 89: 29, 90: 22, 91: 45, 92: 29, 93: 39, 94: 29, 95: 29, 96: 24, 97: 31, 98: 30, 99: 20, 100: 18, 101: 29, 102: 15, 103: 38, 104: 28, 105: 21, 106: 37, 107: 40, 108: 17, 109: 19, 110: 20, 111: 25, 112: 35, 113: 24, 114: 25, 115: 18, 116: 19, 117: 21, 118: 31, 119: 13, 120: 17, 121: 33, 122: 10, 123: 18, 124: 20, 125: 37, 126: 28, 127: 15, 128: 26, 129: 23, 130: 20, 131: 20, 132: 22, 133: 28, 134: 23, 135: 23, 136: 20, 137: 12, 138: 22, 139: 21, 140: 11, 141: 15, 142: 22, 143: 17, 144: 17, 145: 25, 146: 21, 147: 12, 148: 15, 149: 15, 150: 12, 151: 19, 152: 9, 153: 12, 154: 22, 155: 15, 156: 15, 157: 13, 158: 10, 159: 10, 160: 14, 161: 24, 162: 21, 163: 13, 164: 13, 165: 15, 166: 15, 167: 8, 168: 15, 169: 12, 170: 14, 171: 15, 172: 14, 173: 6, 174: 17, 175: 11, 176: 23, 177: 6, 178: 13, 179: 12, 180: 12, 181: 6, 182: 21, 183: 13, 184: 20, 185: 10, 186: 7, 187: 11, 188: 14, 189: 11, 190: 11, 191: 17, 192: 15, 193: 9, 194: 8, 195: 13, 196: 10, 197: 24, 198: 15, 199: 15, 200: 10, 201: 16, 202: 16, 203: 11, 204: 10, 205: 10, 206: 10, 207: 10, 208: 12, 209: 16, 210: 9, 211: 7, 212: 11, 213: 19, 214: 15, 215: 9, 216: 15, 217: 16, 218: 9, 219: 13, 220: 12, 221: 11, 222: 13, 223: 5, 224: 3, 225: 4, 226: 8, 227: 9, 228: 11, 229: 9, 230: 8, 231: 8, 232: 8, 233: 9, 234: 13, 235: 10, 236: 5, 237: 14, 238: 5, 239: 10, 240: 9, 241: 5, 242: 15, 243: 2, 244: 3, 245: 5, 246: 12, 247: 3, 248: 7, 249: 5, 250: 13, 251: 11, 252: 8, 253: 6, 254: 9, 255: 12, 256: 8, 257: 6, 258: 4, 259: 9, 260: 5, 261: 8, 262: 17, 263: 12, 264: 13, 265: 8, 266: 8, 267: 12, 268: 7, 269: 8, 270: 9, 271: 3, 272: 8, 273: 9, 274: 7, 275: 5, 276: 7, 277: 7, 278: 7, 279: 4, 280: 6, 281: 2, 282: 2, 283: 8, 284: 7, 285: 6, 286: 7, 287: 6, 288: 8, 289: 4, 290: 9, 291: 3, 292: 7, 293: 8, 294: 2, 295: 11, 296: 3, 297: 9, 298: 11, 299: 12, 300: 6, 301: 7, 302: 7, 303: 2, 304: 12, 305: 4, 306: 7, 307: 6, 308: 12, 309: 6, 310: 5, 311: 5, 312: 9, 313: 1, 314: 9, 315: 5, 316: 9, 317: 6, 318: 4, 319: 7, 320: 6, 321: 1, 322: 7, 323: 6, 324: 6, 325: 14, 326: 3, 327: 5, 328: 5, 329: 5, 330: 5, 331: 5, 332: 3, 333: 6, 334: 11, 335: 7, 336: 6, 337: 3, 338: 6, 339: 8, 340: 6, 341: 5, 342: 2, 343: 5, 344: 4, 345: 4, 346: 3, 347: 2, 348: 1, 349: 3, 350: 3, 351: 2, 353: 7, 354: 5, 355: 4, 356: 7, 357: 5, 358: 1, 359: 2, 360: 10, 361: 5, 362: 6, 363: 1, 364: 2, 365: 4, 366: 5, 367: 5, 368: 4, 369: 1, 370: 1, 371: 3, 372: 6, 373: 7, 374: 1, 375: 5, 376: 5, 377: 5, 378: 4, 379: 2, 380: 1, 381: 3, 382: 7, 383: 2, 384: 6, 385: 7, 386: 5, 387: 6, 389: 4, 390: 3, 391: 4, 392: 6, 394: 5, 395: 1, 396: 6, 397: 2, 398: 3, 399: 2, 400: 3, 401: 3, 403: 9, 405: 1, 406: 4, 407: 1, 408: 5, 409: 4, 410: 2, 411: 1, 412: 3, 413: 6, 414: 3, 415: 3, 416: 5, 417: 5, 418: 7, 419: 1, 420: 1, 421: 2, 422: 1, 423: 3, 424: 5, 425: 1, 426: 3, 427: 5, 428: 3, 429: 9, 430: 2, 432: 5, 433: 4, 434: 3, 435: 5, 436: 7, 437: 1, 438: 4, 439: 4, 440: 4, 441: 4, 442: 2, 443: 2, 444: 5, 445: 3, 446: 5, 447: 5, 448: 6, 449: 6, 450: 2, 451: 1, 452: 5, 453: 2, 454: 1, 455: 6, 456: 2, 458: 5, 459: 1, 460: 3, 462: 1, 463: 2, 464: 4, 465: 4, 466: 2, 468: 4, 469: 5, 470: 1, 471: 2, 472: 7, 473: 2, 474: 8, 475: 5, 476: 2, 477: 5, 478: 4, 479: 3, 480: 4, 482: 2, 483: 1, 486: 5, 487: 1, 488: 1, 489: 2, 490: 2, 491: 3, 492: 2, 493: 4, 494: 1, 495: 2, 497: 6, 498: 3, 499: 1, 500: 2, 501: 2, 502: 3, 503: 1, 504: 4, 506: 6, 507: 3, 508: 2, 510: 3, 511: 2, 512: 1, 513: 1, 514: 2, 515: 2, 517: 6, 518: 2, 520: 3, 521: 1, 522: 1, 523: 2, 524: 2, 525: 8, 526: 3, 527: 1, 528: 3, 529: 2, 530: 2, 533: 3, 534: 1, 536: 2, 537: 1, 538: 2, 539: 2, 540: 1, 541: 3, 542: 3, 543: 2, 544: 7, 546: 3, 547: 1, 549: 4, 551: 2, 552: 2, 553: 1, 554: 2, 555: 2, 556: 2, 557: 3, 558: 1, 559: 6, 560: 1, 561: 3, 562: 2, 564: 1, 565: 2, 566: 4, 567: 3, 569: 2, 570: 1, 571: 3, 572: 2, 573: 3, 574: 1, 576: 2, 577: 1, 578: 3, 579: 2, 582: 3, 583: 1, 584: 1, 586: 1, 587: 1, 588: 2, 589: 3, 590: 2, 591: 2, 593: 1, 594: 2, 596: 1, 597: 1, 598: 3, 599: 2, 600: 2, 602: 1, 604: 1, 605: 1, 606: 1, 608: 2, 609: 1, 612: 2, 613: 2, 614: 1, 615: 1, 616: 1, 617: 4, 618: 1, 619: 1, 620: 1, 621: 2, 622: 1, 623: 1, 624: 1, 625: 4, 626: 1, 627: 2, 628: 2, 631: 3, 632: 3, 633: 1, 634: 1, 635: 3, 636: 2, 640: 1, 641: 2, 642: 4, 643: 1, 646: 2, 647: 1, 648: 1, 649: 2, 652: 1, 653: 1, 654: 2, 655: 1, 656: 1, 658: 1, 659: 1, 660: 3, 661: 3, 663: 1, 667: 1, 668: 1, 669: 1, 670: 4, 671: 2, 672: 3, 674: 1, 675: 1, 677: 2, 680: 2, 683: 1, 685: 1, 687: 3, 689: 3, 690: 3, 692: 1, 696: 1, 698: 2, 700: 2, 701: 2, 702: 1, 703: 3, 705: 2, 706: 1, 707: 1, 708: 3, 710: 1, 712: 1, 714: 2, 715: 1, 716: 1, 717: 2, 719: 1, 720: 3, 723: 3, 727: 1, 730: 2, 732: 1, 735: 1, 736: 2, 737: 4, 739: 1, 740: 1, 741: 4, 742: 2, 743: 1, 744: 1, 747: 2, 750: 1, 753: 1, 754: 1, 755: 1, 757: 1, 758: 1, 764: 1, 765: 1, 766: 4, 768: 1, 769: 1, 770: 4, 771: 1, 772: 1, 773: 1, 780: 2, 781: 2, 784: 1, 785: 1, 786: 1, 787: 1, 789: 1, 792: 1, 793: 3, 796: 3, 800: 2, 802: 1, 804: 3, 806: 1, 809: 2, 812: 2, 815: 1, 818: 1, 823: 1, 826: 1, 828: 1, 829: 1, 836: 2, 838: 2, 840: 1, 843: 1, 844: 2, 848: 1, 850: 1, 851: 1, 852: 2, 855: 1, 857: 3, 863: 2, 864: 1, 865: 2, 866: 1, 868: 3, 870: 1, 871: 4, 873: 1, 874: 1, 875: 1, 877: 1, 878: 1, 884: 1, 886: 2, 891: 2, 892: 1, 896: 2, 897: 1, 898: 1, 900: 2, 906: 3, 909: 1, 910: 1, 911: 3, 912: 2, 913: 1, 915: 2, 918: 2, 919: 1, 921: 1, 924: 3, 928: 1, 929: 2, 931: 2, 935: 1, 936: 1, 938: 1, 940: 1, 946: 1, 949: 4, 952: 1, 953: 1, 954: 2, 955: 1, 957: 1, 958: 1, 959: 1, 966: 1, 973: 2, 974: 3, 988: 1, 992: 1, 1002: 1, 1003: 1, 1011: 1, 1012: 1, 1014: 2, 1016: 1, 1017: 1, 1019: 1, 1022: 1, 1025: 1, 1030: 1, 1031: 1, 1034: 1, 1037: 3, 1038: 1, 1043: 1, 1048: 2, 1052: 2, 1054: 2, 1056: 1, 1058: 1, 1059: 2, 1061: 1, 1063: 1, 1065: 1, 1068: 1, 1070: 2, 1073: 1, 1078: 1, 1084: 1, 1085: 1, 1089: 1, 1092: 1, 1093: 2, 1094: 1, 1097: 1, 1099: 1, 1101: 2, 1107: 1, 1111: 2, 1114: 1, 1118: 1, 1127: 1, 1134: 1, 1142: 2, 1147: 1, 1152: 2, 1155: 2, 1157: 1, 1159: 1, 1161: 1, 1171: 1, 1176: 1, 1177: 3, 1181: 1, 1184: 1, 1189: 1, 1196: 1, 1199: 1, 1203: 1, 1204: 2, 1206: 1, 1207: 1, 1215: 1, 1216: 1, 1218: 1, 1225: 1, 1226: 1, 1229: 1, 1234: 1, 1239: 1, 1240: 1, 1243: 1, 1244: 1, 1249: 2, 1250: 1, 1252: 3, 1254: 8, 1265: 1, 1271: 1, 1273: 1, 1276: 2, 1283: 3, 1292: 1, 1297: 1, 1308: 1, 1314: 2, 1319: 2, 1320: 2, 1322: 1, 1324: 1, 1330: 2, 1338: 1, 1340: 1, 1347: 2, 1358: 1, 1367: 1, 1370: 1, 1372: 1, 1385: 1, 1398: 1, 1399: 1, 1415: 1, 1417: 1, 1423: 1, 1431: 1, 1432: 1, 1448: 1, 1456: 2, 1460: 1, 1469: 2, 1471: 1, 1474: 1, 1475: 1, 1497: 1, 1499: 1, 1503: 1, 1511: 1, 1517: 1, 1518: 1, 1520: 3, 1536: 1, 1557: 1, 1580: 1, 1589: 1, 1590: 2, 1609: 1, 1615: 1, 1624: 1, 1638: 1, 1651: 1, 1661: 1, 1663: 2, 1677: 1, 1714: 1, 1730: 1, 1732: 1, 1780: 1, 1784: 1, 1786: 2, 1789: 1, 1797: 2, 1800: 2, 1814: 1, 1816: 1, 1865: 1, 1928: 1, 1953: 2, 1957: 3, 1968: 1, 2065: 1, 2074: 1, 2102: 1, 2143: 1, 2164: 1, 2219: 1, 2238: 1, 2349: 1, 2364: 2, 2391: 1, 2398: 1, 2416: 1, 2486: 2, 2505: 1, 2531: 1, 2716: 1, 2750: 1, 3058: 2, 5254: 1, 5421: 1, 6060: 1, 14959: 1},
114: {7: 2, 10: 6, 11: 53, 12: 8, 13: 61, 14: 33, 15: 15, 16: 164, 17: 24, 18: 129, 19: 288, 20: 127, 21: 246, 22: 216, 23: 75, 24: 274, 25: 234, 26: 91, 27: 202, 28: 264, 29: 63, 30: 267, 31: 299, 32: 124, 33: 191, 34: 270, 35: 117, 36: 215, 37: 246, 38: 137, 39: 197, 40: 278, 41: 193, 42: 207, 43: 257, 44: 200, 45: 172, 46: 204, 47: 171, 48: 186, 49: 222, 50: 150, 51: 154, 52: 181, 53: 165, 54: 120, 55: 191, 56: 163, 57: 135, 58: 154, 59: 168, 60: 180, 61: 167, 62: 167, 63: 146, 64: 138, 65: 154, 66: 155, 67: 133, 68: 171, 69: 148, 70: 173, 71: 162, 72: 169, 73: 160, 74: 143, 75: 121, 76: 125, 77: 137, 78: 160, 79: 147, 80: 144, 81: 151, 82: 130, 83: 132, 84: 120, 85: 153, 86: 130, 87: 159, 88: 121, 89: 122, 90: 143, 91: 130, 92: 121, 93: 131, 94: 131, 95: 118, 96: 130, 97: 125, 98: 113, 99: 124, 100: 134, 101: 133, 102: 125, 103: 116, 104: 101, 105: 124, 106: 109, 107: 130, 108: 137, 109: 116, 110: 109, 111: 109, 112: 102, 113: 88, 114: 105, 115: 113, 116: 104, 117: 108, 118: 113, 119: 76, 120: 110, 121: 79, 122: 94, 123: 97, 124: 119, 125: 88, 126: 112, 127: 103, 128: 95, 129: 82, 130: 113, 131: 108, 132: 124, 133: 94, 134: 87, 135: 81, 136: 82, 137: 82, 138: 74, 139: 105, 140: 94, 141: 103, 142: 102, 143: 94, 144: 88, 145: 98, 146: 79, 147: 82, 148: 81, 149: 75, 150: 78, 151: 82, 152: 86, 153: 66, 154: 98, 155: 58, 156: 75, 157: 77, 158: 59, 159: 101, 160: 64, 161: 69, 162: 66, 163: 85, 164: 70, 165: 81, 166: 67, 167: 82, 168: 65, 169: 78, 170: 78, 171: 68, 172: 71, 173: 59, 174: 76, 175: 64, 176: 78, 177: 68, 178: 77, 179: 84, 180: 70, 181: 65, 182: 73, 183: 67, 184: 66, 185: 63, 186: 67, 187: 64, 188: 69, 189: 65, 190: 50, 191: 65, 192: 74, 193: 74, 194: 69, 195: 58, 196: 60, 197: 53, 198: 63, 199: 64, 200: 71, 201: 51, 202: 62, 203: 65, 204: 60, 205: 51, 206: 53, 207: 43, 208: 67, 209: 62, 210: 55, 211: 48, 212: 63, 213: 49, 214: 53, 215: 50, 216: 46, 217: 33, 218: 60, 219: 44, 220: 56, 221: 54, 222: 66, 223: 50, 224: 72, 225: 52, 226: 53, 227: 42, 228: 46, 229: 64, 230: 55, 231: 48, 232: 37, 233: 51, 234: 44, 235: 52, 236: 40, 237: 28, 238: 38, 239: 35, 240: 44, 241: 38, 242: 47, 243: 34, 244: 45, 245: 32, 246: 43, 247: 48, 248: 54, 249: 48, 250: 39, 251: 40, 252: 43, 253: 49, 254: 35, 255: 41, 256: 30, 257: 30, 258: 52, 259: 28, 260: 44, 261: 33, 262: 33, 263: 47, 264: 35, 265: 43, 266: 37, 267: 39, 268: 49, 269: 31, 270: 39, 271: 33, 272: 44, 273: 34, 274: 45, 275: 36, 276: 44, 277: 29, 278: 40, 279: 41, 280: 35, 281: 33, 282: 35, 283: 34, 284: 33, 285: 37, 286: 39, 287: 47, 288: 36, 289: 25, 290: 42, 291: 36, 292: 35, 293: 40, 294: 33, 295: 28, 296: 33, 297: 39, 298: 27, 299: 34, 300: 20, 301: 23, 302: 48, 303: 25, 304: 29, 305: 23, 306: 47, 307: 28, 308: 30, 309: 25, 310: 30, 311: 34, 312: 31, 313: 25, 314: 28, 315: 26, 316: 28, 317: 17, 318: 23, 319: 33, 320: 20, 321: 25, 322: 29, 323: 23, 324: 32, 325: 20, 326: 23, 327: 22, 328: 27, 329: 24, 330: 36, 331: 30, 332: 26, 333: 23, 334: 36, 335: 26, 336: 33, 337: 20, 338: 19, 339: 27, 340: 27, 341: 27, 342: 21, 343: 19, 344: 31, 345: 20, 346: 26, 347: 41, 348: 21, 349: 18, 350: 24, 351: 38, 352: 25, 353: 32, 354: 21, 355: 22, 356: 30, 357: 24, 358: 25, 359: 26, 360: 36, 361: 27, 362: 28, 363: 21, 364: 28, 365: 25, 366: 32, 367: 19, 368: 26, 369: 28, 370: 21, 371: 23, 372: 18, 373: 17, 374: 28, 375: 25, 376: 31, 377: 23, 378: 30, 379: 24, 380: 22, 381: 16, 382: 19, 383: 28, 384: 17, 385: 12, 386: 16, 387: 24, 388: 28, 389: 25, 390: 21, 391: 22, 392: 13, 393: 26, 394: 15, 395: 13, 396: 27, 397: 26, 398: 19, 399: 18, 400: 29, 401: 24, 402: 12, 403: 18, 404: 24, 405: 19, 406: 22, 407: 17, 408: 18, 409: 32, 410: 15, 411: 14, 412: 15, 413: 23, 414: 14, 415: 14, 416: 14, 417: 30, 418: 15, 419: 16, 420: 10, 421: 15, 422: 16, 423: 14, 424: 13, 425: 11, 426: 23, 427: 20, 428: 6, 429: 18, 430: 16, 431: 11, 432: 18, 433: 14, 434: 22, 435: 20, 436: 16, 437: 17, 438: 26, 439: 18, 440: 8, 441: 15, 442: 17, 443: 20, 444: 20, 445: 17, 446: 17, 447: 11, 448: 22, 449: 10, 450: 12, 451: 15, 452: 11, 453: 10, 454: 18, 455: 15, 456: 27, 457: 18, 458: 18, 459: 26, 460: 14, 461: 20, 462: 7, 463: 25, 464: 15, 465: 6, 466: 14, 467: 22, 468: 11, 469: 15, 470: 14, 471: 17, 472: 12, 473: 22, 474: 12, 475: 22, 476: 5, 477: 19, 478: 12, 479: 19, 480: 15, 481: 14, 482: 17, 483: 15, 484: 18, 485: 20, 486: 13, 487: 16, 488: 14, 489: 13, 490: 13, 491: 11, 492: 13, 493: 12, 494: 11, 495: 16, 496: 12, 497: 18, 498: 16, 499: 17, 500: 11, 501: 7, 502: 14, 503: 14, 504: 15, 505: 14, 506: 17, 507: 14, 508: 13, 509: 9, 510: 14, 511: 12, 512: 14, 513: 16, 514: 12, 515: 10, 516: 11, 517: 16, 518: 8, 519: 15, 520: 12, 521: 16, 522: 15, 523: 11, 524: 10, 525: 13, 526: 18, 527: 14, 528: 10, 529: 7, 530: 13, 531: 7, 532: 9, 533: 7, 534: 19, 535: 11, 536: 17, 537: 18, 538: 9, 539: 13, 540: 5, 541: 8, 542: 15, 543: 15, 544: 11, 545: 10, 546: 8, 547: 12, 548: 10, 549: 10, 550: 12, 551: 9, 552: 5, 553: 9, 554: 17, 555: 10, 556: 13, 557: 10, 558: 10, 559: 8, 560: 11, 561: 7, 562: 15, 563: 5, 564: 6, 565: 11, 566: 5, 567: 20, 568: 6, 569: 6, 570: 13, 571: 6, 572: 13, 573: 7, 574: 11, 575: 14, 576: 12, 577: 16, 578: 10, 579: 5, 580: 11, 581: 11, 582: 12, 583: 12, 584: 8, 585: 8, 586: 9, 587: 10, 588: 10, 589: 6, 590: 14, 591: 14, 592: 14, 593: 8, 594: 8, 595: 9, 596: 13, 597: 15, 598: 5, 599: 8, 600: 13, 601: 3, 602: 10, 603: 13, 604: 9, 605: 4, 606: 6, 607: 7, 608: 6, 609: 5, 610: 5, 611: 9, 612: 7, 613: 8, 614: 11, 615: 6, 616: 15, 617: 9, 618: 14, 619: 11, 620: 4, 621: 6, 622: 6, 623: 16, 624: 13, 625: 8, 626: 5, 627: 8, 628: 8, 629: 9, 630: 4, 631: 5, 632: 10, 633: 8, 634: 7, 635: 3, 636: 8, 637: 14, 638: 3, 639: 6, 640: 7, 641: 8, 642: 4, 643: 1, 644: 8, 645: 4, 646: 5, 647: 6, 648: 4, 649: 8, 650: 5, 651: 7, 652: 8, 653: 8, 654: 12, 655: 8, 656: 9, 657: 8, 658: 7, 659: 5, 660: 3, 661: 3, 662: 8, 663: 1, 664: 4, 665: 9, 666: 3, 667: 7, 668: 7, 669: 9, 670: 4, 671: 5, 672: 9, 673: 9, 674: 6, 675: 10, 676: 12, 677: 7, 678: 7, 679: 5, 680: 9, 681: 11, 682: 8, 683: 4, 684: 8, 685: 4, 686: 6, 687: 4, 688: 12, 689: 7, 690: 9, 691: 8, 692: 5, 693: 6, 694: 12, 695: 5, 696: 2, 697: 6, 698: 6, 699: 10, 700: 2, 701: 6, 702: 3, 703: 4, 704: 7, 705: 11, 706: 1, 707: 6, 708: 11, 709: 4, 710: 5, 711: 6, 712: 6, 713: 4, 714: 7, 715: 3, 716: 9, 717: 4, 718: 7, 719: 4, 720: 1, 721: 6, 722: 3, 723: 4, 724: 5, 725: 3, 726: 7, 727: 9, 728: 2, 729: 13, 730: 8, 731: 3, 732: 5, 733: 5, 734: 1, 735: 2, 736: 8, 737: 6, 738: 5, 739: 11, 740: 9, 741: 5, 742: 8, 743: 4, 744: 7, 745: 3, 746: 10, 747: 7, 748: 5, 749: 6, 750: 2, 751: 7, 752: 3, 753: 9, 754: 7, 755: 3, 756: 6, 757: 7, 758: 3, 759: 4, 760: 7, 761: 9, 762: 5, 763: 9, 764: 4, 765: 4, 766: 4, 767: 3, 768: 6, 769: 5, 770: 5, 771: 7, 772: 4, 773: 4, 774: 3, 776: 3, 777: 3, 778: 5, 780: 3, 781: 4, 782: 1, 783: 5, 784: 5, 785: 6, 786: 2, 787: 5, 788: 4, 789: 7, 790: 4, 791: 3, 792: 3, 793: 1, 794: 7, 795: 4, 796: 6, 797: 3, 798: 1, 799: 3, 800: 3, 801: 8, 802: 2, 803: 1, 804: 2, 805: 4, 806: 5, 807: 3, 808: 3, 809: 3, 810: 2, 811: 2, 812: 2, 813: 5, 814: 1, 815: 6, 816: 3, 817: 3, 818: 7, 819: 5, 820: 4, 821: 3, 822: 2, 823: 6, 824: 5, 825: 6, 826: 1, 827: 4, 828: 1, 829: 2, 830: 3, 831: 4, 832: 2, 833: 1, 834: 3, 835: 7, 837: 8, 838: 11, 839: 2, 841: 1, 842: 5, 843: 2, 844: 2, 845: 1, 846: 4, 847: 1, 848: 6, 849: 4, 850: 3, 851: 6, 852: 4, 853: 5, 854: 4, 855: 4, 858: 3, 859: 3, 860: 1, 861: 2, 862: 4, 863: 7, 864: 3, 865: 5, 866: 4, 868: 2, 869: 5, 872: 4, 873: 2, 874: 3, 875: 6, 876: 2, 877: 3, 879: 1, 880: 3, 881: 6, 882: 5, 883: 8, 884: 2, 885: 1, 886: 4, 887: 4, 888: 4, 889: 2, 890: 6, 891: 3, 892: 4, 893: 4, 895: 6, 896: 4, 897: 5, 898: 1, 899: 2, 901: 5, 902: 4, 903: 2, 904: 2, 905: 3, 906: 2, 907: 5, 908: 3, 909: 1, 910: 4, 911: 3, 912: 2, 913: 6, 914: 1, 916: 4, 917: 3, 918: 5, 919: 8, 921: 2, 922: 4, 923: 4, 924: 1, 925: 3, 926: 4, 927: 1, 928: 2, 929: 1, 930: 6, 931: 6, 933: 2, 934: 1, 935: 2, 936: 8, 937: 2, 938: 1, 939: 3, 940: 1, 941: 1, 942: 2, 943: 2, 944: 4, 945: 2, 946: 4, 948: 1, 949: 9, 950: 2, 952: 2, 953: 2, 954: 3, 956: 2, 957: 1, 958: 1, 959: 1, 960: 1, 965: 1, 966: 2, 967: 1, 968: 2, 969: 3, 970: 1, 971: 2, 972: 1, 973: 4, 974: 2, 975: 1, 976: 1, 977: 2, 978: 2, 980: 2, 982: 1, 983: 2, 984: 1, 985: 1, 986: 1, 987: 1, 988: 1, 989: 5, 990: 2, 991: 1, 992: 4, 993: 3, 994: 1, 995: 1, 996: 3, 998: 1, 999: 8, 1000: 7, 1001: 9, 1003: 1, 1004: 3, 1005: 1, 1006: 1, 1008: 2, 1009: 1, 1011: 6, 1012: 2, 1014: 2, 1016: 3, 1017: 1, 1018: 2, 1019: 1, 1021: 1, 1022: 1, 1023: 1, 1024: 4, 1025: 1, 1026: 2, 1028: 1, 1029: 2, 1030: 3, 1031: 1, 1033: 3, 1034: 2, 1036: 1, 1037: 1, 1039: 2, 1041: 1, 1043: 3, 1045: 1, 1046: 4, 1048: 1, 1049: 3, 1050: 1, 1051: 3, 1053: 6, 1054: 1, 1055: 2, 1056: 1, 1057: 4, 1058: 2, 1059: 1, 1060: 2, 1063: 2, 1066: 1, 1067: 1, 1069: 2, 1070: 6, 1072: 4, 1074: 1, 1077: 2, 1079: 1, 1080: 4, 1081: 1, 1082: 1, 1083: 3, 1085: 3, 1086: 1, 1089: 2, 1090: 5, 1091: 2, 1092: 4, 1093: 2, 1094: 1, 1095: 3, 1096: 1, 1097: 2, 1098: 3, 1102: 1, 1103: 3, 1104: 1, 1107: 3, 1108: 1, 1109: 1, 1113: 3, 1114: 1, 1115: 1, 1116: 1, 1117: 1, 1119: 5, 1121: 1, 1122: 2, 1124: 1, 1125: 2, 1128: 3, 1129: 1, 1131: 2, 1132: 1, 1133: 3, 1134: 6, 1135: 3, 1137: 1, 1139: 2, 1140: 1, 1141: 1, 1142: 2, 1143: 4, 1144: 3, 1145: 1, 1146: 1, 1147: 1, 1148: 1, 1150: 4, 1153: 1, 1157: 2, 1160: 2, 1161: 2, 1164: 1, 1165: 1, 1166: 4, 1167: 2, 1168: 1, 1176: 1, 1177: 2, 1178: 1, 1183: 1, 1185: 1, 1186: 2, 1187: 1, 1188: 1, 1189: 1, 1191: 2, 1197: 1, 1200: 2, 1201: 1, 1202: 1, 1203: 3, 1204: 1, 1206: 2, 1207: 2, 1208: 2, 1209: 1, 1210: 1, 1211: 1, 1214: 4, 1215: 1, 1216: 2, 1217: 2, 1218: 2, 1221: 1, 1222: 2, 1223: 1, 1226: 1, 1228: 1, 1229: 1, 1231: 1, 1232: 2, 1233: 1, 1234: 1, 1236: 1, 1237: 2, 1238: 1, 1242: 2, 1243: 1, 1244: 1, 1245: 3, 1246: 2, 1247: 1, 1248: 3, 1249: 1, 1251: 1, 1252: 3, 1257: 1, 1258: 1, 1259: 1, 1262: 2, 1264: 1, 1267: 1, 1268: 1, 1270: 1, 1271: 1, 1272: 1, 1274: 1, 1278: 2, 1281: 1, 1282: 1, 1283: 1, 1285: 4, 1289: 2, 1292: 1, 1294: 1, 1295: 1, 1297: 1, 1299: 4, 1300: 1, 1302: 4, 1304: 1, 1306: 1, 1310: 1, 1312: 2, 1313: 2, 1314: 3, 1316: 1, 1317: 1, 1318: 1, 1321: 1, 1322: 1, 1323: 2, 1327: 1, 1330: 1, 1334: 5, 1338: 1, 1339: 1, 1340: 1, 1342: 3, 1343: 1, 1344: 1, 1347: 3, 1349: 2, 1352: 2, 1354: 2, 1355: 2, 1358: 1, 1359: 1, 1360: 1, 1361: 3, 1363: 1, 1364: 2, 1365: 3, 1368: 2, 1373: 1, 1374: 2, 1375: 1, 1377: 1, 1380: 2, 1383: 1, 1384: 1, 1386: 1, 1388: 2, 1389: 2, 1390: 1, 1397: 1, 1400: 2, 1402: 1, 1406: 2, 1407: 1, 1408: 3, 1410: 1, 1411: 2, 1412: 2, 1414: 1, 1419: 3, 1420: 4, 1421: 2, 1422: 4, 1423: 2, 1424: 1, 1425: 1, 1428: 2, 1429: 1, 1430: 1, 1431: 2, 1434: 3, 1438: 1, 1448: 1, 1452: 1, 1453: 3, 1456: 1, 1458: 1, 1459: 1, 1461: 1, 1462: 1, 1464: 4, 1465: 1, 1467: 1, 1469: 1, 1470: 1, 1472: 1, 1474: 2, 1480: 1, 1481: 1, 1491: 2, 1495: 1, 1501: 1, 1502: 2, 1503: 3, 1506: 2, 1507: 2, 1515: 4, 1518: 1, 1526: 1, 1529: 1, 1531: 2, 1541: 3, 1546: 4, 1549: 2, 1553: 1, 1557: 1, 1560: 1, 1568: 1, 1570: 1, 1571: 1, 1576: 3, 1577: 1, 1579: 2, 1583: 1, 1585: 3, 1587: 1, 1591: 2, 1592: 1, 1594: 3, 1595: 1, 1605: 1, 1608: 1, 1611: 1, 1620: 1, 1623: 2, 1627: 1, 1629: 2, 1630: 2, 1646: 1, 1649: 3, 1650: 1, 1656: 2, 1658: 2, 1659: 1, 1663: 2, 1668: 2, 1670: 2, 1683: 3, 1684: 1, 1687: 1, 1688: 2, 1689: 1, 1694: 1, 1701: 2, 1704: 1, 1708: 1, 1711: 1, 1716: 1, 1718: 1, 1719: 1, 1721: 1, 1726: 1, 1729: 1, 1730: 1, 1731: 1, 1740: 3, 1741: 3, 1742: 4, 1744: 1, 1750: 1, 1755: 1, 1761: 1, 1762: 1, 1763: 1, 1764: 1, 1767: 2, 1771: 2, 1781: 1, 1782: 2, 1787: 1, 1794: 2, 1808: 1, 1809: 2, 1811: 2, 1816: 1, 1818: 1, 1819: 1, 1820: 1, 1821: 1, 1823: 1, 1824: 1, 1836: 1, 1840: 1, 1842: 2, 1848: 2, 1849: 1, 1861: 1, 1864: 1, 1865: 1, 1872: 1, 1874: 1, 1877: 2, 1881: 1, 1884: 1, 1888: 1, 1889: 1, 1903: 3, 1905: 1, 1912: 2, 1913: 1, 1926: 1, 1927: 1, 1935: 1, 1936: 2, 1937: 1, 1941: 2, 1942: 1, 1945: 2, 1954: 1, 1958: 2, 1959: 1, 1962: 1, 1965: 3, 1966: 1, 1971: 2, 1979: 1, 1985: 2, 1991: 2, 2002: 1, 2004: 1, 2010: 1, 2013: 1, 2014: 1, 2017: 3, 2018: 1, 2019: 1, 2026: 2, 2029: 2, 2037: 1, 2040: 2, 2043: 1, 2044: 1, 2045: 1, 2054: 1, 2065: 1, 2074: 2, 2095: 3, 2097: 5, 2102: 1, 2107: 2, 2111: 1, 2114: 1, 2115: 1, 2123: 2, 2129: 2, 2134: 2, 2137: 1, 2140: 1, 2141: 1, 2142: 1, 2148: 1, 2149: 2, 2160: 1, 2175: 2, 2177: 1, 2196: 1, 2197: 1, 2200: 2, 2206: 1, 2212: 1, 2219: 2, 2234: 1, 2236: 1, 2237: 1, 2244: 1, 2249: 1, 2252: 1, 2255: 4, 2257: 3, 2259: 2, 2262: 1, 2264: 1, 2272: 2, 2274: 1, 2276: 1, 2280: 2, 2285: 1, 2293: 2, 2298: 1, 2299: 1, 2301: 2, 2304: 1, 2319: 2, 2322: 1, 2326: 2, 2328: 2, 2345: 1, 2348: 2, 2349: 2, 2352: 1, 2365: 2, 2366: 1, 2372: 1, 2374: 3, 2391: 2, 2397: 1, 2404: 1, 2407: 2, 2423: 2, 2429: 3, 2431: 1, 2432: 1, 2433: 2, 2447: 2, 2458: 1, 2469: 2, 2482: 1, 2499: 2, 2538: 1, 2539: 1, 2543: 2, 2547: 1, 2565: 1, 2583: 4, 2584: 1, 2589: 1, 2631: 4, 2632: 1, 2636: 1, 2672: 2, 2675: 1, 2694: 1, 2709: 2, 2737: 2, 2781: 1, 2822: 1, 2850: 2, 2853: 2, 2867: 1, 2886: 2, 2903: 1, 2948: 2, 2984: 2, 3024: 2, 3043: 2, 3081: 1, 3113: 2, 3126: 2, 3162: 2, 3185: 2, 3217: 2, 3321: 2, 3322: 2, 3349: 2, 3408: 2, 3436: 2, 3461: 2, 3492: 2, 3526: 2, 4367: 1, 4863: 1, 5316: 1, 5366: 1, 5757: 2, 5838: 2, 5926: 1, 5941: 1, 5970: 1, 6029: 1, 6044: 1, 6142: 1, 9132: 1},
115: {12: 10, 13: 2, 15: 6, 16: 8, 18: 59, 19: 2, 21: 56, 22: 6, 24: 43, 25: 1, 27: 23, 28: 6, 29: 1, 30: 36, 31: 4, 33: 26, 34: 4, 35: 3, 36: 24, 37: 8, 38: 2, 39: 13, 40: 14, 41: 4, 42: 12, 43: 9, 44: 4, 45: 12, 46: 1, 47: 5, 48: 13, 49: 18, 50: 1, 51: 10, 52: 12, 53: 6, 54: 10, 55: 11, 57: 1, 58: 3, 59: 5, 60: 10, 61: 10, 62: 2, 63: 3, 64: 4, 65: 3, 66: 6, 67: 5, 68: 4, 69: 2, 70: 8, 71: 4, 72: 8, 73: 5, 74: 3, 75: 4, 76: 3, 77: 4, 78: 4, 79: 1, 80: 1, 81: 4, 82: 9, 83: 2, 84: 2, 85: 2, 87: 3, 88: 7, 89: 3, 90: 4, 91: 5, 92: 6, 93: 2, 94: 5, 95: 4, 96: 7, 97: 4, 98: 3, 99: 5, 100: 7, 101: 4, 102: 1, 103: 4, 104: 6, 105: 4, 106: 5, 107: 4, 108: 3, 109: 1, 110: 5, 111: 3, 112: 7, 113: 3, 114: 4, 115: 3, 116: 2, 117: 1, 118: 1, 120: 2, 121: 2, 122: 1, 123: 2, 124: 4, 125: 2, 126: 2, 128: 1, 129: 6, 130: 3, 131: 2, 132: 10, 133: 4, 134: 1, 135: 2, 137: 1, 138: 1, 139: 2, 140: 3, 141: 1, 142: 8, 143: 1, 144: 5, 147: 1, 149: 3, 150: 4, 152: 2, 153: 5, 154: 2, 155: 1, 156: 2, 157: 1, 158: 1, 159: 3, 160: 3, 161: 1, 162: 4, 163: 4, 164: 2, 165: 2, 166: 4, 167: 1, 168: 4, 169: 4, 170: 3, 171: 1, 172: 1, 173: 2, 174: 2, 175: 2, 176: 2, 177: 1, 178: 1, 179: 1, 180: 1, 181: 1, 183: 1, 184: 1, 185: 1, 187: 4, 188: 3, 189: 1, 190: 1, 191: 3, 192: 7, 193: 4, 195: 1, 196: 1, 197: 1, 198: 1, 199: 2, 200: 1, 201: 4, 202: 1, 203: 5, 204: 2, 205: 2, 207: 2, 208: 2, 211: 3, 212: 1, 214: 4, 215: 2, 216: 4, 218: 2, 219: 1, 220: 1, 222: 1, 223: 1, 224: 1, 225: 4, 226: 1, 227: 1, 229: 2, 231: 2, 232: 1, 234: 2, 235: 1, 237: 3, 238: 1, 239: 1, 240: 3, 241: 1, 243: 1, 245: 1, 247: 2, 249: 4, 251: 2, 253: 2, 254: 1, 255: 1, 256: 2, 257: 1, 258: 1, 261: 1, 262: 2, 263: 1, 264: 1, 266: 1, 268: 2, 270: 2, 271: 1, 272: 1, 273: 2, 274: 2, 277: 2, 278: 2, 282: 1, 285: 1, 286: 1, 287: 2, 288: 2, 289: 1, 290: 2, 291: 1, 292: 3, 293: 1, 299: 2, 300: 3, 301: 3, 302: 1, 303: 3, 306: 1, 309: 1, 310: 3, 311: 1, 312: 1, 314: 1, 316: 2, 317: 1, 319: 1, 320: 1, 324: 1, 325: 1, 326: 4, 328: 1, 330: 1, 334: 2, 339: 2, 340: 1, 343: 1, 344: 1, 345: 1, 350: 1, 352: 2, 354: 1, 363: 1, 365: 1, 367: 2, 369: 1, 370: 1, 371: 1, 387: 1, 388: 2, 389: 1, 395: 1, 396: 1, 398: 1, 405: 1, 406: 1, 409: 1, 411: 3, 413: 1, 416: 1, 419: 1, 420: 1, 422: 1, 437: 1, 438: 3, 440: 1, 443: 1, 446: 1, 447: 1, 451: 1, 454: 1, 457: 1, 470: 1, 483: 3, 488: 1, 491: 1, 496: 1, 511: 1, 520: 1, 530: 1, 532: 1, 535: 1, 536: 1, 544: 1, 554: 1, 563: 1, 565: 1, 589: 1, 590: 1, 592: 1, 595: 1, 600: 1, 602: 1, 607: 2, 629: 1, 643: 1, 650: 1, 655: 1, 668: 1, 695: 2, 724: 1, 743: 1, 745: 1, 761: 1, 772: 1, 775: 2, 796: 1, 797: 1, 801: 1, 805: 1, 814: 1, 816: 1, 819: 1, 838: 1, 844: 1, 847: 1, 850: 1, 852: 1, 865: 1, 875: 1, 897: 1, 901: 1, 905: 1, 907: 1, 920: 1, 921: 1, 955: 1, 962: 1, 995: 1, 1008: 1, 1042: 1, 1054: 1, 1061: 1, 1084: 1, 1089: 1, 1090: 1, 1110: 1, 1118: 1, 1194: 1, 1204: 2, 1223: 1, 1259: 1, 1265: 2, 1297: 1, 1324: 1, 1334: 1, 1364: 1, 1374: 1, 1385: 1, 1410: 2, 1480: 1, 1486: 1, 1496: 1, 1516: 1, 1552: 1, 1565: 1, 1613: 2, 1670: 1, 1681: 1, 1706: 1, 1766: 1, 1876: 1, 2020: 1, 2087: 1, 2157: 1, 2205: 1, 2263: 1, 2333: 2, 2369: 1, 2393: 1, 2432: 1, 2463: 1, 2468: 1, 2517: 1, 2584: 1, 2601: 1, 2637: 1, 2661: 1, 2749: 1, 2785: 1, 2885: 1, 2921: 1, 3310: 1, 3346: 1, 3471: 1, 3507: 1, 3741: 1, 3777: 1, 3916: 1, 3952: 1, 4082: 1, 4118: 1, 4242: 1, 4278: 1, 4451: 1, 4487: 1, 4614: 1, 4650: 1, 4768: 1, 4804: 1, 4904: 1, 4940: 1, 5035: 1, 5071: 1, 5252: 1, 5288: 1, 5421: 1, 5457: 1, 5585: 1, 5621: 1, 5871: 1, 5907: 1, 6108: 1, 6144: 1, 6202: 1, 6238: 1, 6365: 1, 6401: 1, 6455: 1, 6491: 1, 6815: 1, 6851: 1, 7152: 1, 7188: 1, 7313: 1, 7349: 1, 7821: 1, 7857: 1, 8106: 1, 8142: 1, 8307: 1, 8343: 1, 8448: 1, 8484: 1, 8820: 1, 8856: 1, 8955: 1, 8991: 1, 9362: 1, 9398: 1, 9499: 1, 9535: 1, 9749: 1, 9785: 1, 9901: 1, 9937: 1, 10100: 1, 10136: 1, 10503: 1, 10539: 1, 10660: 1, 10696: 1, 10845: 1, 10881: 1, 11030: 1, 11066: 1, 11188: 1, 11224: 1, 11333: 1, 11369: 1, 11664: 1, 11700: 1, 11815: 1, 11851: 1, 11964: 1, 12000: 1, 12076: 1, 12112: 1, 12367: 1, 12403: 1, 12530: 1, 12566: 1, 12759: 1, 12795: 1, 12943: 1, 12979: 1, 13164: 1, 13200: 1, 13333: 1, 13369: 1, 13487: 1, 13523: 1, 13701: 1, 13737: 1, 13870: 1, 13906: 1, 14009: 1, 14045: 1, 14232: 1, 14268: 1, 14379: 1, 14415: 1, 14501: 1, 14537: 1, 14641: 1, 14677: 1, 14772: 1, 14808: 1, 14966: 1, 15002: 1, 15567: 1, 15603: 1, 15918: 1, 15954: 1, 16118: 1, 16154: 1, 16351: 1, 16387: 1, 17140: 1, 17176: 1, 17539: 1, 17575: 1, 17729: 1, 17765: 1, 17937: 1, 17973: 1, 18755: 1, 18791: 1, 19622: 1, 19658: 1, 19828: 1, 19864: 1, 20281: 1, 20317: 1, 20462: 1, 20498: 1, 20619: 1, 20655: 1, 20984: 1, 21020: 1, 21422: 1, 21458: 1, 21584: 1, 21620: 1, 21843: 1, 21879: 1, 21960: 1, 21996: 1, 22093: 1, 22129: 1, 22247: 1, 22283: 1, 22386: 1, 22422: 1, 22543: 1, 22579: 1, 22678: 1, 22714: 1, 22820: 1, 22856: 1, 22990: 1, 23026: 1, 23104: 1, 23140: 1, 23282: 1, 23318: 1, 23445: 1, 23481: 1, 23704: 1, 23740: 1, 23888: 1, 23924: 1, 24181: 1, 24217: 1, 24374: 1, 24410: 1, 24537: 1, 24573: 1, 24760: 1, 24796: 1, 24901: 1, 24937: 1, 25103: 1, 25139: 1, 25293: 1, 25329: 1, 25432: 1, 25468: 1, 25586: 1, 25622: 1, 25725: 1, 25761: 1, 25864: 1, 25900: 1, 26003: 1, 26039: 1, 26172: 1, 26208: 1, 26350: 1, 26386: 1, 26507: 1, 26543: 1, 26664: 1, 26700: 1, 26849: 1, 26885: 1, 26948: 1, 26984: 1, 27421: 1, 27457: 1, 27913: 1, 27949: 1, 28051: 1, 28087: 1, 28663: 1, 28699: 1, 28808: 1, 28844: 1, 29205: 1, 29241: 1, 29344: 1, 29380: 1, 29465: 1, 29501: 1, 29595: 1, 29631: 1, 29826: 1, 29862: 1, 29951: 1, 29987: 1, 30076: 1, 30112: 1, 30201: 1, 30237: 1, 30326: 1, 30362: 1, 30451: 1, 30487: 1, 30576: 1, 30612: 1, 30701: 1, 30737: 1, 30826: 1, 30862: 1, 30966: 1, 31002: 1, 31280: 1, 31316: 1, 31449: 1, 31485: 1, 31618: 1, 31654: 1, 31745: 1, 31781: 1, 31998: 1, 32034: 1, 32128: 1, 32164: 1, 32291: 1, 32327: 1, 32454: 1, 32490: 1, 32657: 1, 32693: 1, 32814: 1, 32850: 1, 32980: 1, 33016: 1, 33110: 1, 33146: 1, 33270: 1, 33306: 1, 33391: 1, 33427: 1, 33681: 1, 33717: 1, 33932: 1, 33968: 1, 34071: 1, 34107: 1, 34179: 1, 34215: 1, 34300: 1, 34336: 1, 34502: 1, 34538: 1},
116: {0: 33605, 1: 23351, 2: 18247, 3: 13518, 4: 10904, 5: 9297, 6: 7177, 7: 5456, 8: 4371, 9: 3370, 10: 2787, 11: 2157, 12: 1815, 13: 1475, 14: 1268, 15: 933, 16: 824, 17: 673, 18: 592, 19: 472, 20: 355, 21: 315, 22: 290, 23: 254, 24: 198, 25: 185, 26: 185, 27: 155, 28: 108, 29: 117, 30: 109, 31: 95, 32: 76, 33: 51, 34: 67, 35: 60, 36: 43, 37: 49, 38: 40, 39: 43, 40: 37, 41: 27, 42: 35, 43: 29, 44: 48, 45: 354, 46: 26, 47: 22, 48: 11, 49: 20, 50: 31, 51: 16, 52: 9, 53: 23, 54: 19, 55: 5, 56: 3, 57: 8, 58: 5, 59: 6, 60: 7, 61: 4, 62: 3, 63: 2, 64: 2, 65: 8, 66: 1, 67: 1, 68: 1, 72: 1, 77: 3, 78: 1, 79: 1, 91: 1, 92: 1, 95: 1, 96: 2, 97: 1, 135: 2, 137: 1, 144: 2},
119: {3: 5, 9: 3, 10: 2, 13: 8, 16: 6, 19: 5, 20: 6, 22: 5, 24: 2, 25: 3, 27: 1, 28: 1, 31: 1, 34: 1, 37: 8, 40: 3, 41: 3, 44: 1, 45: 1, 46: 2, 47: 1, 48: 1, 49: 1, 50: 2, 51: 1, 52: 8, 54: 2, 56: 2, 58: 1, 60: 3, 66: 1, 68: 2, 73: 1, 77: 2, 78: 1, 80: 4, 82: 4, 90: 1, 94: 2, 97: 2, 99: 1, 101: 1, 107: 1, 114: 2, 118: 3, 121: 2, 123: 1, 133: 1, 137: 4, 138: 1, 142: 3, 144: 2, 150: 1, 168: 2, 179: 1, 182: 2, 184: 4, 192: 2, 198: 1, 199: 1, 203: 1, 221: 1, 222: 4, 223: 1, 238: 2, 268: 1, 293: 1, 299: 2, 311: 1, 320: 3, 327: 1, 363: 1, 411: 1, 413: 1, 447: 1, 517: 1, 534: 1, 909: 1, 1002: 1, 1216: 1, 1517: 1, 1789: 1},
120: {4: 3, 5: 2, 8: 1, 9: 4, 14: 14, 15: 2, 16: 2, 17: 10, 18: 2, 19: 13, 20: 8, 21: 16, 22: 15, 23: 14, 24: 85, 25: 24, 26: 17, 27: 140, 28: 37, 29: 29, 30: 196, 31: 35, 32: 35, 33: 187, 34: 66, 35: 44, 36: 193, 37: 86, 38: 37, 39: 174, 40: 121, 41: 48, 42: 182, 43: 98, 44: 49, 45: 137, 46: 82, 47: 58, 48: 160, 49: 89, 50: 48, 51: 145, 52: 126, 53: 35, 54: 125, 55: 95, 56: 70, 57: 93, 58: 96, 59: 68, 60: 109, 61: 82, 62: 58, 63: 96, 64: 71, 65: 53, 66: 89, 67: 75, 68: 74, 69: 76, 70: 58, 71: 61, 72: 89, 73: 78, 74: 67, 75: 72, 76: 74, 77: 50, 78: 49, 79: 41, 80: 68, 81: 57, 82: 77, 83: 45, 84: 62, 85: 50, 86: 46, 87: 47, 88: 47, 89: 48, 90: 42, 91: 41, 92: 49, 93: 50, 94: 43, 95: 47, 96: 39, 97: 28, 98: 42, 99: 45, 100: 39, 101: 45, 102: 48, 103: 37, 104: 46, 105: 42, 106: 35, 107: 29, 108: 47, 109: 28, 110: 29, 111: 31, 112: 38, 113: 41, 114: 38, 115: 32, 116: 32, 117: 37, 118: 35, 119: 40, 120: 32, 121: 43, 122: 22, 123: 33, 124: 22, 125: 19, 126: 21, 127: 31, 128: 21, 129: 29, 130: 23, 131: 28, 132: 27, 133: 26, 134: 18, 135: 27, 136: 17, 137: 20, 138: 21, 139: 22, 140: 32, 141: 23, 142: 11, 143: 18, 144: 22, 145: 22, 146: 10, 147: 20, 148: 23, 149: 20, 150: 26, 151: 17, 152: 25, 153: 12, 154: 18, 155: 17, 156: 17, 157: 11, 158: 22, 159: 21, 160: 13, 161: 18, 162: 18, 163: 16, 164: 10, 165: 21, 166: 13, 167: 15, 168: 12, 169: 11, 170: 9, 171: 16, 172: 20, 173: 14, 174: 11, 175: 13, 176: 14, 177: 15, 178: 11, 179: 11, 180: 11, 181: 10, 182: 14, 183: 19, 184: 15, 185: 9, 186: 10, 187: 10, 188: 10, 189: 11, 190: 10, 191: 10, 192: 22, 193: 8, 194: 11, 195: 8, 196: 13, 197: 6, 198: 11, 199: 11, 200: 10, 201: 12, 202: 8, 203: 8, 204: 14, 205: 9, 206: 11, 207: 10, 208: 8, 209: 12, 210: 6, 211: 7, 212: 13, 213: 7, 214: 11, 215: 11, 216: 14, 217: 3, 218: 9, 219: 11, 220: 3, 221: 8, 222: 3, 223: 4, 224: 10, 225: 14, 226: 7, 227: 10, 228: 6, 229: 5, 230: 9, 231: 16, 232: 10, 233: 8, 234: 9, 235: 11, 236: 7, 237: 2, 238: 3, 239: 9, 240: 7, 241: 2, 242: 3, 243: 7, 244: 11, 245: 7, 246: 10, 247: 14, 248: 1, 249: 1, 250: 7, 251: 8, 252: 2, 253: 8, 254: 5, 255: 5, 256: 6, 257: 4, 258: 12, 259: 2, 260: 6, 261: 7, 262: 5, 263: 7, 264: 5, 265: 5, 266: 3, 267: 5, 268: 1, 269: 5, 270: 2, 271: 2, 272: 6, 273: 3, 274: 6, 275: 4, 276: 5, 277: 4, 278: 5, 279: 5, 280: 2, 281: 4, 282: 1, 283: 4, 284: 8, 285: 4, 286: 3, 287: 5, 288: 6, 289: 6, 290: 4, 291: 4, 292: 3, 293: 4, 294: 4, 295: 1, 296: 3, 297: 4, 298: 5, 299: 4, 300: 5, 301: 6, 302: 3, 303: 3, 304: 3, 305: 3, 306: 6, 307: 8, 308: 1, 309: 4, 310: 2, 311: 6, 312: 1, 314: 3, 315: 2, 316: 2, 317: 3, 318: 3, 319: 6, 320: 2, 321: 3, 322: 2, 323: 2, 324: 4, 325: 2, 326: 6, 327: 4, 328: 1, 329: 2, 330: 3, 331: 3, 332: 2, 333: 2, 335: 7, 337: 1, 338: 2, 339: 3, 341: 5, 342: 1, 344: 2, 345: 2, 346: 3, 347: 1, 348: 6, 349: 2, 350: 4, 351: 3, 352: 2, 353: 2, 354: 3, 355: 3, 356: 6, 358: 1, 359: 2, 360: 1, 361: 3, 363: 3, 365: 1, 366: 2, 367: 4, 368: 2, 369: 2, 370: 3, 371: 2, 372: 3, 373: 1, 374: 3, 375: 1, 376: 1, 377: 2, 378: 3, 379: 1, 380: 1, 382: 4, 383: 1, 384: 1, 385: 1, 387: 2, 388: 4, 389: 1, 390: 1, 391: 2, 392: 4, 393: 1, 395: 2, 396: 2, 397: 2, 398: 3, 399: 2, 403: 2, 404: 1, 406: 2, 407: 1, 408: 3, 409: 1, 412: 1, 414: 1, 416: 1, 418: 6, 419: 1, 420: 2, 421: 1, 422: 1, 424: 1, 425: 1, 426: 1, 428: 2, 430: 3, 433: 1, 439: 2, 440: 1, 441: 3, 445: 1, 446: 1, 447: 2, 452: 1, 453: 1, 454: 3, 456: 1, 457: 1, 458: 1, 459: 1, 461: 2, 462: 4, 463: 1, 464: 2, 466: 1, 469: 2, 470: 2, 476: 1, 477: 1, 479: 1, 480: 2, 485: 2, 486: 1, 489: 2, 490: 1, 491: 2, 492: 1, 493: 1, 494: 3, 497: 2, 499: 1, 502: 3, 506: 1, 508: 2, 509: 1, 514: 1, 515: 2, 516: 1, 517: 2, 519: 1, 522: 1, 523: 1, 524: 1, 525: 2, 526: 2, 528: 2, 529: 1, 530: 2, 531: 1, 534: 1, 536: 1, 537: 2, 539: 1, 541: 2, 543: 1, 544: 1, 548: 1, 550: 1, 554: 2, 556: 2, 558: 2, 559: 1, 562: 1, 563: 1, 565: 4, 568: 2, 572: 1, 574: 2, 576: 1, 577: 1, 582: 1, 583: 1, 586: 1, 587: 1, 589: 1, 591: 1, 593: 2, 594: 1, 596: 1, 600: 2, 601: 1, 603: 1, 615: 1, 617: 1, 620: 1, 622: 1, 625: 3, 630: 2, 638: 1, 646: 1, 650: 4, 653: 1, 656: 1, 657: 1, 658: 1, 663: 1, 670: 1, 676: 3, 678: 1, 681: 2, 682: 1, 686: 1, 694: 1, 695: 2, 700: 2, 706: 1, 708: 1, 709: 1, 713: 1, 718: 1, 725: 1, 727: 1, 733: 1, 750: 1, 751: 1, 769: 1, 774: 1, 778: 3, 782: 1, 785: 1, 793: 1, 803: 1, 824: 1, 826: 1, 857: 1, 863: 1, 869: 1, 873: 1, 895: 1, 968: 1, 1023: 1, 1024: 1, 1034: 1, 1057: 1, 1071: 1, 1136: 1, 1176: 1, 1194: 2, 1263: 1, 1298: 1, 1315: 1, 1384: 1, 1474: 1, 1920: 2, 2258: 1, 2307: 2, 3482: 2, 3565: 1},
121: {4: 6, 7: 4, 8: 24, 9: 13, 10: 63, 11: 90, 12: 90, 13: 156, 14: 353, 15: 25, 16: 468, 17: 409, 18: 50, 19: 314, 20: 376, 21: 32, 22: 220, 23: 168, 24: 30, 25: 120, 26: 111, 27: 47, 28: 94, 29: 82, 30: 45, 31: 63, 32: 74, 33: 52, 34: 61, 35: 53, 36: 31, 37: 29, 38: 51, 39: 18, 40: 22, 41: 32, 42: 24, 43: 20, 44: 25, 45: 13, 46: 32, 47: 13, 48: 22, 49: 14, 50: 14, 51: 18, 52: 16, 53: 25, 54: 12, 55: 6, 56: 12, 57: 15, 58: 12, 59: 7, 60: 15, 61: 7, 62: 12, 63: 11, 64: 19, 65: 11, 66: 10, 67: 7, 68: 13, 69: 3, 70: 12, 71: 6, 72: 9, 73: 6, 74: 10, 75: 12, 76: 8, 77: 4, 78: 8, 79: 4, 80: 5, 81: 6, 82: 1, 83: 3, 84: 1, 85: 2, 86: 3, 87: 5, 88: 5, 89: 3, 90: 4, 91: 2, 92: 5, 93: 6, 94: 3, 95: 3, 96: 1, 97: 4, 98: 10, 100: 2, 101: 5, 102: 2, 103: 3, 104: 3, 106: 4, 107: 6, 108: 4, 110: 2, 111: 3, 112: 2, 113: 5, 114: 1, 115: 1, 116: 1, 117: 3, 118: 6, 119: 3, 121: 2, 122: 2, 123: 1, 124: 1, 125: 2, 126: 1, 127: 3, 128: 3, 130: 1, 131: 3, 132: 1, 133: 1, 134: 1, 135: 4, 137: 1, 138: 4, 140: 2, 141: 1, 143: 1, 144: 4, 147: 3, 153: 1, 154: 2, 156: 1, 157: 1, 158: 3, 159: 1, 160: 1, 167: 1, 168: 1, 169: 1, 174: 1, 176: 1, 177: 1, 180: 1, 188: 1, 192: 2, 193: 1, 197: 1, 198: 3, 199: 3, 200: 1, 214: 1, 215: 2, 216: 1, 220: 1, 221: 1, 222: 1, 223: 2, 225: 2, 226: 1, 227: 1, 228: 2, 229: 2, 233: 1, 235: 2, 237: 1, 245: 1, 248: 1, 251: 1, 255: 1, 256: 2, 260: 1, 262: 1, 265: 5, 269: 1, 270: 1, 271: 2, 278: 1, 294: 2, 299: 1, 300: 1, 301: 1, 308: 1, 309: 1, 312: 1, 317: 1, 320: 1, 323: 2, 330: 1, 332: 1, 337: 2, 342: 1, 367: 1, 371: 1, 374: 1, 377: 1, 392: 1, 393: 1, 412: 1, 423: 1, 426: 1, 427: 2, 471: 1, 479: 1, 484: 1, 502: 1, 568: 1, 608: 3, 683: 1, 852: 2, 1322: 1},
122: {4: 5, 5: 21, 7: 3, 8: 1, 9: 31, 10: 1, 11: 35, 12: 8, 13: 3, 14: 78, 15: 17, 16: 25, 17: 126, 18: 47, 19: 13, 20: 38, 21: 43, 22: 31, 23: 68, 24: 45, 25: 24, 26: 63, 27: 83, 28: 47, 29: 48, 30: 42, 31: 35, 32: 23, 33: 44, 34: 27, 35: 29, 36: 25, 37: 23, 38: 32, 39: 32, 40: 22, 41: 24, 42: 16, 43: 21, 44: 29, 45: 29, 46: 18, 47: 20, 48: 15, 49: 14, 50: 15, 51: 21, 52: 16, 53: 27, 54: 14, 55: 11, 56: 15, 57: 16, 58: 24, 59: 11, 60: 13, 61: 16, 62: 9, 63: 9, 64: 12, 65: 7, 66: 13, 67: 6, 68: 9, 69: 5, 70: 16, 71: 11, 72: 8, 73: 7, 74: 10, 75: 7, 76: 13, 77: 14, 78: 7, 79: 14, 80: 7, 81: 3, 82: 11, 83: 3, 84: 7, 85: 6, 86: 11, 87: 9, 88: 5, 89: 12, 90: 8, 91: 8, 92: 7, 93: 5, 94: 5, 95: 6, 96: 9, 97: 11, 98: 5, 99: 11, 100: 2, 101: 8, 102: 6, 103: 9, 104: 7, 105: 7, 106: 7, 107: 11, 108: 7, 110: 6, 111: 9, 112: 2, 113: 2, 114: 4, 115: 2, 116: 6, 117: 3, 118: 3, 119: 4, 120: 2, 121: 2, 122: 1, 123: 1, 125: 3, 126: 2, 127: 10, 128: 4, 129: 9, 130: 1, 131: 5, 132: 5, 133: 1, 134: 4, 135: 5, 136: 2, 137: 3, 138: 1, 139: 2, 140: 1, 141: 3, 142: 2, 143: 5, 144: 3, 145: 2, 146: 5, 147: 1, 148: 1, 149: 2, 150: 2, 151: 4, 152: 3, 153: 1, 154: 1, 155: 2, 156: 3, 157: 2, 158: 2, 159: 1, 160: 1, 161: 2, 162: 2, 164: 1, 165: 2, 166: 2, 168: 3, 169: 1, 170: 5, 171: 1, 172: 1, 173: 4, 174: 2, 175: 3, 177: 1, 178: 3, 179: 1, 180: 3, 181: 2, 182: 3, 183: 1, 184: 3, 186: 1, 187: 4, 188: 2, 189: 1, 190: 2, 191: 5, 192: 1, 195: 2, 196: 2, 197: 1, 198: 1, 199: 4, 200: 2, 201: 3, 202: 1, 204: 3, 206: 1, 207: 1, 208: 2, 209: 1, 213: 1, 214: 1, 215: 1, 217: 4, 220: 1, 221: 1, 222: 3, 226: 1, 227: 4, 228: 1, 229: 2, 230: 2, 231: 2, 233: 1, 237: 1, 238: 1, 240: 1, 241: 4, 242: 1, 243: 3, 244: 2, 247: 2, 249: 2, 253: 1, 254: 1, 256: 2, 260: 1, 262: 1, 265: 1, 270: 1, 274: 1, 277: 1, 280: 1, 283: 1, 284: 1, 287: 1, 288: 1, 289: 2, 290: 3, 293: 1, 295: 1, 296: 1, 298: 2, 301: 1, 303: 1, 305: 1, 310: 2, 311: 2, 313: 2, 315: 1, 323: 3, 330: 1, 335: 1, 342: 1, 350: 1, 351: 1, 354: 1, 356: 1, 372: 1, 377: 1, 389: 1, 391: 1, 398: 1, 401: 1, 407: 1, 408: 1, 410: 1, 416: 2, 424: 2, 427: 3, 434: 1, 440: 1, 447: 1, 449: 1, 453: 1, 508: 2, 509: 1, 513: 1, 519: 1, 537: 2, 544: 1, 561: 1, 565: 1, 569: 1, 592: 1, 594: 1, 605: 1, 615: 1, 619: 1, 667: 1, 668: 1, 740: 1, 796: 1, 837: 1, 979: 1, 1475: 1},
124: {0: 144976, 1: 77960, 2: 46846, 3: 29612, 4: 19727, 5: 13669, 6: 9345, 7: 6632, 8: 4704, 9: 3637, 10: 2733, 11: 2185, 12: 1703, 13: 1390, 14: 1033, 15: 798, 16: 601, 17: 513, 18: 415, 19: 375, 20: 275, 21: 232, 22: 184, 23: 221, 24: 142, 25: 131, 26: 156, 27: 97, 28: 153, 29: 78, 30: 68, 31: 55, 32: 54, 33: 49, 34: 28, 35: 20, 36: 8, 37: 3, 38: 1, 39: 2, 40: 2},
125: {0: 1756, 1: 23836, 2: 18727, 3: 13584, 4: 9750, 5: 6922, 6: 5057, 7: 3637, 8: 2694, 9: 2075, 10: 1571, 11: 1215, 12: 885, 13: 739, 14: 511, 15: 409, 16: 346, 17: 267, 18: 250, 19: 200, 20: 164, 21: 155, 22: 122, 23: 106, 24: 113, 25: 57, 26: 48, 27: 42, 28: 46, 29: 33, 30: 38, 31: 34, 32: 34, 33: 33, 34: 23, 35: 12, 36: 6, 37: 5, 38: 1, 39: 1, 40: 1},
126: {0: 26, 1: 202, 2: 270, 3: 283, 4: 168, 5: 113, 6: 91, 7: 70, 8: 50, 9: 35, 10: 34, 11: 20, 12: 13, 13: 23, 14: 18, 15: 13, 16: 12, 17: 1, 18: 3, 19: 11, 20: 3, 21: 3, 22: 5, 23: 6, 27: 1, 31: 1, 32: 1, 33: 2, 34: 2},
130: {0: 478, 1: 6277, 2: 132},
131: {0: 38649, 1: 107380, 2: 72078, 3: 19039, 4: 4768, 5: 1567, 6: 838, 7: 244, 8: 108, 9: 28, 10: 34, 11: 22, 12: 4, 13: 6, 14: 2, 15: 4, 16: 5, 17: 6, 18: 2, 19: 3, 20: 1, 24: 1, 38: 1, 256: 3178, 257: 3714, 258: 1762, 259: 636, 260: 171, 261: 36, 262: 34, 263: 22, 264: 3, 267: 3, 270: 1, 512: 1307, 513: 1031, 514: 455, 515: 121, 516: 41, 517: 8, 518: 2, 519: 1, 521: 1, 768: 491, 769: 380, 770: 124, 771: 15, 772: 6, 773: 2, 1024: 212, 1025: 112, 1026: 51, 1027: 9, 1028: 1, 1280: 69, 1281: 37, 1282: 1, 1283: 1, 1536: 36, 1537: 6, 1538: 2, 1792: 199, 1793: 1, 1794: 1, 2048: 176, 2049: 26, 2050: 1, 2304: 4, 2305: 10, 2560: 7, 2561: 1, 2816: 1, 3072: 1, 3584: 1, 3840: 1, 5888: 1},
132: {0: 49708, 1: 2862, 2: 768, 3: 308, 4: 135, 5: 66, 6: 35, 7: 19, 8: 14, 9: 9, 10: 12, 11: 3, 12: 4, 14: 1, 16: 2, 17: 1, 256: 120, 257: 34, 258: 11, 259: 3, 260: 4, 261: 6, 262: 1, 263: 1, 267: 1, 512: 25, 513: 10, 514: 4, 515: 3, 518: 1, 522: 2, 768: 34, 769: 3, 770: 2, 1024: 8, 1025: 7, 1026: 3, 1280: 1, 1536: 3, 1793: 2, 1794: 6, 2049: 1, 2051: 1, 131072: 74, 131073: 4, 131328: 2, 131329: 1, 196608: 22, 196609: 5, 196864: 4, 196865: 3, 262144: 1, 262145: 2, 262146: 1, 262147: 1, 327682: 2, 327937: 1, 590338: 2},
133: {2: 4222, 3: 347},
134: {0: 4190, 1: 134, 2: 34, 3: 27, 4: 8, 5: 1, 6: 1, 8: 5, 12: 2, 256: 17, 257: 2, 258: 1, 512: 2, 517: 1, 768: 2, 769: 1, 131072: 6},
135: {0: 4380, 1: 1134, 2: 438, 3: 188, 4: 102, 5: 57, 6: 39, 7: 17, 8: 19, 9: 17, 10: 9, 11: 12, 12: 14, 13: 8, 14: 6, 15: 8, 16: 9, 17: 3, 18: 3, 19: 3, 20: 3},
136: {0: 8820, 1: 3399, 2: 1154, 3: 439, 4: 280, 5: 124, 6: 58, 7: 29, 8: 31, 9: 29, 10: 26, 11: 23, 12: 34, 13: 17, 14: 13, 15: 11, 16: 3, 17: 5, 18: 4, 19: 2},
137: {0: 1765, 1: 646, 2: 233, 3: 128, 4: 59, 5: 32, 6: 22, 7: 12, 8: 11, 9: 6, 10: 14, 11: 5, 12: 5, 13: 3, 14: 3, 15: 1},
138: {0: 5, 2: 1},
140: {0: 587, 1: 193, 2: 80, 3: 32, 4: 19, 5: 3, 6: 3, 256: 42, 257: 13, 258: 2, 259: 1, 260: 3, 512: 9, 513: 5, 768: 5, 1024: 2},
141: {0: 112, 1: 137, 2: 66, 3: 53, 4: 13, 5: 2, 6: 1, 7: 2, 8: 1, 12: 1, 256: 12, 257: 12, 258: 2, 259: 4, 512: 5, 513: 1, 515: 2, 520: 2, 768: 1, 769: 4, 770: 2, 771: 3, 1024: 2, 1281: 1, 1536: 1, 1537: 2, 2048: 2},
142: {0: 276, 1: 109, 2: 36, 3: 3, 4: 3, 256: 3, 257: 7, 258: 2, 513: 1, 768: 2, 770: 1},
143: {5: 92, 7: 34, 10: 7, 11: 25, 12: 67, 13: 47, 14: 73, 15: 213, 16: 17, 17: 177, 18: 371, 19: 171, 20: 416, 21: 320, 22: 70, 23: 195, 24: 225, 25: 45, 26: 147, 27: 181, 28: 50, 29: 201, 30: 130, 31: 60, 32: 86, 33: 141, 34: 48, 35: 51, 36: 87, 37: 53, 38: 42, 39: 83, 40: 34, 41: 39, 42: 70, 43: 37, 44: 35, 45: 51, 46: 28, 47: 30, 48: 39, 49: 30, 50: 38, 51: 46, 52: 23, 53: 20, 54: 45, 55: 26, 56: 27, 57: 54, 58: 20, 59: 28, 60: 23, 61: 25, 62: 17, 63: 29, 64: 24, 65: 17, 66: 17, 67: 26, 68: 19, 69: 35, 70: 21, 71: 21, 72: 22, 73: 23, 74: 22, 75: 22, 76: 23, 77: 23, 78: 23, 79: 12, 80: 15, 81: 17, 82: 17, 83: 21, 84: 15, 85: 21, 86: 22, 87: 9, 88: 22, 89: 23, 90: 15, 91: 16, 92: 24, 93: 6, 94: 20, 95: 15, 96: 11, 97: 9, 98: 12, 99: 12, 100: 15, 101: 11, 102: 9, 103: 21, 104: 12, 105: 10, 106: 6, 107: 16, 108: 7, 109: 12, 110: 8, 111: 9, 112: 12, 113: 7, 114: 7, 115: 9, 116: 10, 117: 13, 118: 10, 119: 7, 120: 6, 121: 17, 122: 7, 123: 9, 124: 3, 125: 3, 126: 9, 127: 7, 128: 6, 129: 8, 130: 5, 131: 11, 132: 9, 133: 10, 134: 5, 135: 6, 136: 6, 137: 5, 138: 9, 139: 7, 140: 7, 141: 3, 142: 2, 143: 6, 144: 5, 145: 2, 146: 5, 147: 3, 148: 4, 149: 3, 150: 2, 151: 4, 152: 7, 153: 5, 154: 3, 155: 8, 156: 9, 157: 10, 158: 6, 159: 4, 160: 7, 161: 1, 162: 1, 163: 6, 164: 7, 165: 6, 166: 3, 167: 8, 168: 1, 169: 6, 170: 5, 171: 1, 172: 2, 173: 4, 174: 1, 175: 1, 176: 2, 177: 1, 178: 4, 180: 1, 181: 1, 182: 5, 183: 4, 184: 3, 185: 2, 186: 5, 187: 6, 188: 6, 189: 3, 190: 4, 192: 4, 193: 5, 194: 5, 195: 2, 196: 2, 197: 1, 200: 1, 201: 5, 202: 4, 203: 1, 204: 1, 205: 3, 206: 3, 207: 2, 208: 2, 209: 4, 210: 5, 211: 2, 213: 2, 214: 3, 215: 2, 217: 3, 218: 3, 219: 2, 220: 2, 221: 1, 222: 2, 223: 1, 225: 2, 226: 1, 227: 1, 228: 2, 229: 1, 231: 4, 232: 4, 233: 1, 234: 2, 235: 3, 237: 1, 239: 2, 240: 2, 241: 2, 242: 1, 244: 1, 245: 1, 246: 2, 247: 1, 248: 1, 249: 1, 250: 3, 253: 2, 256: 2, 259: 1, 261: 1, 262: 2, 263: 1, 264: 2, 265: 2, 266: 3, 267: 3, 269: 3, 272: 1, 273: 1, 274: 1, 275: 1, 276: 2, 277: 1, 278: 2, 280: 1, 282: 2, 285: 2, 286: 1, 289: 3, 290: 1, 292: 1, 293: 2, 294: 1, 296: 3, 297: 1, 299: 1, 300: 1, 301: 1, 305: 2, 306: 1, 308: 1, 310: 1, 311: 1, 314: 1, 316: 2, 317: 1, 319: 1, 320: 1, 322: 1, 335: 1, 337: 1, 341: 1, 343: 1, 345: 3, 349: 4, 350: 1, 352: 1, 356: 1, 358: 2, 361: 1, 364: 1, 366: 1, 368: 1, 372: 1, 376: 1, 377: 2, 380: 2, 384: 1, 385: 1, 391: 1, 406: 1, 413: 1, 422: 1, 427: 1, 428: 1, 439: 1, 444: 1, 451: 1, 459: 1, 463: 1, 465: 1, 469: 1, 477: 1, 485: 1, 487: 1, 490: 1, 491: 1, 500: 1, 519: 1, 525: 2, 527: 2, 531: 1, 562: 1, 566: 1, 586: 1, 593: 1, 604: 1, 609: 1, 634: 1, 650: 1, 673: 1, 676: 1, 680: 1, 703: 1, 728: 1, 733: 1, 737: 1, 859: 1, 903: 1, 915: 1, 972: 1, 2436: 1, 3759: 1},
145: {2: 1243, 3: 37, 4: 7},
146: {2: 27, 3: 2},
147: {2: 60, 3: 6},
148: {0: 160, 1: 26, 2: 5, 3: 2, 4: 1},
149: {1: 2, 2: 12, 3: 3, 4: 7},
150: {2: 1},
152: {2: 1},
154: {5: 7, 7: 3, 11: 2, 13: 2, 15: 3, 26: 1, 31: 1, 32: 1, 33: 1, 35: 1, 37: 1, 39: 1, 48: 2, 67: 1, 70: 2, 81: 2, 88: 1, 90: 2},
155: {0: 164, 1: 1, 2: 13, 3: 2, 4: 31, 5: 4, 6: 4, 7: 1},
}
More information about the Python-ideas
mailing list