read-wasm-sf2

0, 0 0 1, 48 64 2, 176 64 3, 320 64 4, 480 64 5, 640 64 6, 800 64 7, 960 80 8, 1184 112 9, 1408 144 10, 1680 176 11, 1904 176 12, 2128 176 13, 2256 240 14, 2512 256 15, 2752 272 16, 2992 288 17, 3168 304 18, 3376 320 19, 3600 336 20, 3808 352 21, 3920 416 22, 81 432 23, 321 448 24, 561 464 25, 737 480 26, 945 496 27, 1169 512 28, 1377 528 29, 1441 592 30, 1569 592 31, 1761 592 32, 1969 592 33, 2177 592 34, 2385 592 35, 2641 592 36, 2913 592 37, 3185 592 38, 3425 592 39, 3473 656 40, 3601 656 41, 3745 656 42, 3905 656 43, 4065 656 44, 130 656 45, 290 672 46, 482 672 47, 706 704 48, 930 736 49, 1202 768 50, 1426 768 51, 1650 768 52, 1682 832 53, 1810 832 54, 1938 832 55, 2066 832 56, 2210 832 57, 2370 848 58, 2514 864 59, 2658 864 60, 2802 864 61, 2946 864 62, 2994 928 63, 3218 928 64, 3458 928 65, 3730 928 66, 3986 928 67, 131 944 68, 371 1120 69, 515 1136 70, 659 1152 71, 803 1168 72, 947 1184 73, 1091 1200 74, 1283 1376 75, 1443 1392 76, 1603 1408 77, 1763 1424 78, 1923 1440 79, 2019 1456 80, 2115 1472 81, 2275 1488 82, 2515 1664 83, 2595 1680 84, 2675 1696 85, 2755 1712 86, 2915 1728 87, 3075 1744 88, 3235 1744 89, 3379 1744 90, 3379 1808 91, 3859 1824 92, 340 1888 93, 596 1904 94, 852 1920 95, 1108 1936 96, 1668 2000 97, 2244 2064 98, 2308 2128 99, 2452 2128 100, 2612 2128 101, 2772 2128 102, 2932 2128 103, 3092 2128 104, 3252 2128 105, 3316 2192 106, 3492 2192 107, 3684 2192 108, 3876 2192 109, 4068 2192 110, 165 2192 111, 357 2192 112, 549 2192 113, 741 2192 114, 933 2192 115, 1141 2192 116, 1333 2192 117, 1525 2192 118, 1637 2256 119, 1765 2272 120, 1925 2288 121, 2085 2304 122, 2245 2320 123, 2421 2352 124, 2533 2368 125, 2645 2384 126, 2757 2400 127, 2869 2416 128, 2981 2432 129, 3093 2448 130, 3205 2464 131, 3317 2480 132, 3429 2496 133, 3461 2560 134, 3765 2576 135, 4069 2592 136, 278 2608 137, 582 2624 138, 886 2640 139, 1190 2656 140, 1478 2672 141, 1526 2736 142, 1622 2752 143, 1862 2768 144, 1974 2784 145, 2150 2800 146, 2326 2816 147, 2534 2816 148, 2742 2816 149, 3014 2880 150, 3062 2880 151, 3062 2928 152, 3126 2928 153, 3238 2928 154, 3414 2928 155, 3462 2928 156, 3526 2928 157, 3574 2928 158, 3638 2928 159, 3686 2928 160, 3734 2928 161, 3942 2960 162, 4006 2960 163, 4086 3024 164, 135 3024 165, 279 3024 166, 503 3024 167, 727 3024 168, 887 3024 169, 1111 3024 170, 1239 3088 171, 1383 3104 172, 1543 3120 173, 1703 3136 174, 1847 3152 175, 1991 3168 176, 2151 3184 177, 2295 3200 178, 2439 3216 179, 2583 3232 180, 2727 3248 181, 2871 3328 182, 2999 3344 183, 3143 3360 184, 3287 3376 185, 3431 3392 186, 3575 3408 187, 3719 3424 188, 3863 3440 189, 4007 3456 190, 104 3520 191, 264 3536 192, 440 3552 193, 632 3616 194, 776 3632 195, 920 3648 196, 1112 3712 197, 1256 3728 198, 1432 3744 199, 1528 3808 200, 1528 3872 201, 1688 3888 202, 1832 3904 203, 2008 3968 204, 2072 3984 205, 2136 4000 206, 2200 4016 207, 2264 4032 208, 2328 4048 209, 2392 4064 210, 2456 4080 211, 2520 1 212, 2584 17 213, 2648 33 214, 2712 49 215, 2776 65 216, 2840 81 217, 3016 145 218, 3160 161 219, 3304 177 220, 3448 193 221, 3608 209 222, 3784 225 223, 3960 241 224, 41 257 225, 217 273 226, 329 289 227, 441 305 228, 569 321 229, 745 385 230, 825 401 231, 969 417 232, 1049 433 233, 1129 449 234, 1209 465 235, 1273 481 236, 1337 497 237, 1401 513 238, 1465 529 239, 1529 545 240, 1817 609 241, 1929 689 242, 2025 689 243, 2121 689 244, 2217 689 245, 2313 689 246, 2409 689 247, 2505 689 248, 2601 689 249, 2697 689 250, 2793 689 251, 2889 689 252, 2985 689 253, 3065 689 254, 3145 689 255, 3241 689 256, 3337 689 257, 3433 689 258, 3529 689 259, 3625 689 260, 3721 689 261, 3817 689 262, 3913 689 263, 4009 689 264, 10 689 265, 106 689 266, 298 753 267, 346 753 268, 394 753 269, 442 753 270, 490 753 271, 538 753 272, 586 753 273, 634 753 274, 682 753 275, 794 817 276, 986 817 277, 1082 817 278, 1178 817 279, 1274 817 280, 1354 817 281, 1386 881 282, 1530 897 283, 1674 913 284, 1802 929 285, 1930 945 286, 2074 961 287, 2218 977 288, 2346 993 289, 2474 1009 290, 2618 1025 291, 2762 1041 292, 2906 1057 293, 3050 1073 294, 3146 1137 295, 3290 1137 296, 3370 1137 297, 3450 1137 298, 3530 1137 299, 3610 1137 300, 3690 1137 301, 3882 1201 302, 3946 1217 303, 4074 1233 304, 107 1249 305, 107 1313 306, 395 1329 307, 683 1345 308, 971 1361 309, 1259 1377 310, 1611 1393 311, 1963 1409 312, 2251 1425 313, 2539 1441 314, 2827 1457 315, 3115 1473 316, 3387 1489 317, 3659 1505 318, 3691 1569 319, 3899 1585 320, 12 1601 321, 220 1617 322, 428 1633 323, 636 1649 324, 844 1665 325, 1052 1681 326, 1244 1697 327, 1356 1761 328, 1500 1777 329, 1644 1793 330, 1788 1809 331, 1948 1825 332, 2076 1841 333, 2220 1857 334, 2380 1873 335, 2540 1889 336, 2700 1905 337, 2844 1921 338, 3004 1937 339, 3148 1953 340, 3308 1969 341, 3452 1985 342, 3612 2001 343, 3724 2081 344, 3884 2081 345, 4044 2081 346, 109 2081 347, 269 2081 348, 429 2081 349, 589 2081 350, 749 2081 351, 909 2081 352, 1037 2081 353, 1165 2081 354, 1293 2081 355, 1437 2081 356, 1597 2081 357, 1709 2161 358, 1869 2161 359, 2029 2161 360, 2189 2161 361, 2349 2161 362, 2509 2161 363, 2669 2161 364, 2829 2161 365, 2989 2161 366, 3117 2161 367, 3245 2161 368, 3373 2161 369, 3517 2161 370, 3677 2161 371, 3773 2241 372, 3901 2241 373, 4029 2241 374, 62 2241 375, 190 2241 376, 318 2241 377, 446 2241 378, 574 2241 379, 702 2241 380, 830 2241 381, 958 2241 382, 1086 2241 383, 1230 2241 384, 1358 2241 385, 1486 2321 386, 1534 2321 387, 1646 2321 388, 1758 2321 389, 1806 2321 390, 1854 2321 391, 1902 2321 392, 1950 2321 393, 1998 2321 394, 2110 2321 395, 2238 2321 396, 2302 2321 397, 2350 2321 398, 2382 2321 399, 2430 2321 400, 2462 2385 401, 2606 2385 402, 2750 2385 403, 2878 2385 404, 3006 2385 405, 3134 2385 406, 3262 2385 407, 3406 2385 408, 3550 2385 409, 3694 2385 410, 3822 2385 411, 3966 2385 412, 31 2385 413, 287 2449 414, 335 2449 415, 383 2449 416, 431 2449 417, 479 2449 418, 527 2449 419, 575 2449 420, 623 2449 421, 671 2449 422, 799 2497 423, 943 2497 424, 1167 2497 425, 1407 2497 426, 1519 2513 427, 1663 2513 428, 1807 2513 429, 1967 2513 430, 2095 2577 431, 2271 2593 432, 2367 2609 433, 2463 2625 434, 2559 2641 435, 2655 2657 436, 2751 2673 437, 2847 2689 438, 2943 2705 439, 3039 2721 440, 3135 2737 441, 3231 2753 442, 3343 2833 443, 3439 2833 444, 3535 2833 445, 3631 2833 446, 3727 2833 447, 3823 2833 448, 3919 2833 449, 4015 2833 450, 16 2833 451, 112 2833 452, 208 2833 453, 304 2833 454, 384 2833 455, 464 2833 456, 560 2833 457, 656 2833 458, 752 2833 459, 848 2833 460, 1008 2833 461, 1104 2833 462, 1200 2833 463, 1296 2833 464, 1392 2833 465, 1488 2833 466, 1584 2833 467, 1712 2913 468, 1808 2913 469, 1904 2913 470, 2000 2913 471, 2096 2913 472, 2192 2913 473, 2288 2913 474, 2384 2913 475, 2480 2913 476, 2576 2913 477, 2672 2913 478, 2768 2913 479, 2848 2913 480, 2928 2913 481, 3024 2913 482, 3120 2913 483, 3216 2913 484, 3312 2913 485, 3408 2913 486, 3504 2913 487, 3600 2913 488, 3696 2913 489, 3792 2913 490, 3888 2913 491, 3984 2913 492, 17 2993 493, 113 2993 494, 209 2993 495, 305 2993 496, 401 2993 497, 497 2993 498, 593 2993 499, 689 2993 500, 785 2993 501, 881 2993 502, 977 2993 503, 1073 2993 504, 1153 2993 505, 1233 2993 506, 1329 2993 507, 1425 2993 508, 1521 2993 509, 1617 2993 510, 1713 2993 511, 1809 2993 512, 1905 2993 513, 2001 2993 514, 2097 2993 515, 2193 2993 516, 2193 3057 517, 2337 3073 518, 2465 3089 519, 2593 3105 520, 2721 3121 521, 2737 3185 522, 2913 3201 523, 3153 3217 524, 3249 3233 525, 3377 3249 526, 3617 3265 527, 3809 3281 528, 4033 3297 529, 18 3297 530, 98 3297 531, 130 3361 532, 258 3361 533, 386 3361 534, 514 3361 535, 658 3361 536, 818 3377 537, 962 3393 538, 1106 3393 539, 1250 3393 540, 1394 3393 541, 1394 3457 542, 1554 3489 543, 1666 3505 544, 1810 3521 545, 1954 3537 546, 2098 3553 547, 2242 3617 548, 2322 3633 549, 2466 3697 550, 2466 3761 551, 2642 3761 552, 2802 3761 553, 2962 3761 554, 3138 3761 555, 3362 3777 556, 3554 3777 557, 3762 3777 558, 3970 3777 559, 51 3777 560, 291 3777 561, 611 3793 562, 931 3809 563, 1267 3825 564, 1603 3841 565, 1715 3905 566, 1891 3921 567, 2067 3937 568, 2275 3953 569, 2451 3969 570, 2627 3969 571, 2803 3969 572, 2915 4033 573, 3155 4049 574, 3459 4065 575, 3699 4081 576, 3939 2 577, 148 18 578, 452 34 579, 452 98 580, 820 114 581, 1140 146 582, 1396 162 583, 1636 178 584, 1972 210 585, 2244 226 586, 2516 242 587, 2756 258 588, 3012 274 589, 3268 290 590, 3412 306 591, 3556 322 592, 3700 338 593, 3828 354 594, 3828 418 595, 4100 450 596, 277 466 597, 549 482 598, 789 498 599, 1045 514 600, 1301 530 601, 1301 594 602, 1429 610 603, 1541 626 604, 1669 642 605, 1829 658 606, 1957 674 607, 1957 738 608, 2053 754 609, 2165 770 610, 2277 786 611, 2389 802 612, 2549 818 613, 2709 834 614, 2869 850 615, 2869 914 616, 2949 930 617, 3045 946 618, 3205 962 619, 3301 978 620, 3397 994 621, 3493 1010 622, 3589 1026 623, 3749 1042 624, 3909 1058 625, 4069 1074 626, 134 1090 627, 294 1106 628, 454 1122 629, 598 1138 630, 886 1202 631, 886 1266 632, 1110 1282 633, 1350 1298 634, 1622 1314 635, 1894 1330 636, 2166 1346 637, 2246 1362 638, 2326 1378 639, 2326 1442 640, 2502 1442 641, 2598 1442 642, 2710 1442 643, 2838 1442 644, 2966 1442 645, 3094 1442 646, 3270 1442 647, 3478 1442 648, 3654 1442 649, 3750 1506 650, 3750 1570 651, 3878 1570 652, 3974 1570 653, 4006 1650 654, 71 1650 655, 151 1666 656, 215 1746 657, 343 1746 658, 471 1746 659, 583 1746 660, 679 1762 661, 887 1794 662, 903 1858 663, 999 1874 664, 1111 1890 665, 1223 1906 666, 1335 1922 667, 1383 1970 668, 1495 1986 669, 1639 2002 670, 1783 2018 671, 1927 2034 672, 2071 2050 673, 2215 2066 674, 2359 2082 675, 2423 2194 676, 2599 2194 677, 2695 2194 678, 2775 2258 679, 2983 2274 680, 3127 2290 681, 3271 2306 682, 3479 2322 683, 3607 2338 684, 3751 2354 685, 3767 2418 686, 3847 2418 687, 3991 2418 688, 56 2418 689, 200 2418 690, 248 2466 691, 456 2482 692, 696 2498 693, 936 2514 694, 1176 2530 695, 1416 2546 696, 1656 2562 697, 1896 2578 698, 2104 2594 699, 2216 2610 700, 2328 2626 701, 2440 2642 702, 2552 2658 703, 2664 2674 704, 2776 2690 705, 2776 2754 706, 2952 2754 707, 3128 2754 708, 3304 2754 709, 3496 2754 710, 3720 2770 711, 3960 2770 712, 121 2770 713, 377 2770 714, 585 2770 715, 857 2770 716, 1193 2786 717, 1529 2802 718, 1865 2818 719, 2201 2834 720, 2265 2834 721, 2585 2914 722, 2809 2978 723, 2873 3026 724, 3017 3026 725, 3097 3026 726, 3129 3074 727, 3257 3090 728, 3353 3106 729, 3449 3122 730, 3545 3138 731, 3641 3154 732, 3737 3170 733, 3833 3186 734, 3849 3250 735, 3897 3250 736, 3945 3250 737, 4057 3314 738, 4057 3378 739, 266 3394 740, 538 3410 741, 538 3474 742, 714 3490 743, 954 3506 744, 1050 3522 745, 1178 3538 746, 1418 3554 747, 1610 3570 748, 1834 3586 749, 2170 3602 750, 2410 3618 751, 2602 3634 752, 2842 3650 753, 3098 3666 754, 3178 3682 755, 3338 3698 756, 3482 3714 757, 3578 3730 758, 3674 3746 759, 3834 3762 760, 3930 3778 761, 4090 3794 762, 91 3810 763, 187 3826 764, 427 3842 765, 523 3858 766, 619 3874 767, 875 3890 768, 1147 3906 769, 1243 3922 770, 1339 3938 771, 1435 3954 772, 1595 3970 773, 1691 3986 774, 1691 4050 775, 1867 4050 776, 2027 4050 777, 2187 4050 778, 2363 4050 779, 2587 4066 780, 2795 4066 781, 3019 4066 782, 3243 4066 783, 3435 4066 784, 3691 4066 785, 4011 4082 786, 236 3 787, 572 19 788, 908 35 789, 1036 35 790, 1116 99 791, 1292 115 792, 1468 131 793, 1676 147 794, 1852 163 795, 2028 163 796, 2204 163 797, 2252 227 798, 2476 227 799, 2732 227 800, 3004 227 801, 3260 227 802, 3484 259 803, 3644 291 804, 3756 355 805, 3836 355 806, 3948 355 807, 4060 355 808, 77 355 809, 173 403 810, 269 419 811, 365 435 812, 461 451 813, 557 467 814, 653 483 815, 765 515 816, 957 563 817, 1117 627 818, 1181 643 819, 1325 707 820, 1389 723 821, 1597 787 822, 1741 851 823, 1821 867 824, 1949 931 825, 2093 947 826, 2269 963 827, 2445 979 828, 2621 995 829, 2813 1027 830, 2925 1043 831, 3037 1059 832, 3149 1075 833, 3261 1091 834, 3373 1107 835, 3485 1123 836, 3613 1139 837, 3741 1155 838, 3869 1171 839, 3981 1235 840, 30 1251 841, 206 1267 842, 382 1283 843, 558 1299 844, 750 1331 845, 862 1347 846, 974 1363 847, 1086 1379 848, 1198 1395 849, 1310 1411 850, 1422 1427 851, 1550 1443 852, 1678 1459 853, 1806 1475 854, 2014 1539 855, 2094 1539 856, 2174 1539 857, 2318 1539 858, 2446 1539 859, 2558 1539 860, 2654 1539 861, 2766 1539 862, 2974 1603 863, 3086 1603 864, 3182 1603 865, 3278 1603 866, 3390 1603 867, 3534 1603 868, 3678 1603 869, 3838 1651 870, 3918 1667 871, 3998 1683 872, 4078 1699 873, 79 1715 874, 159 1731 875, 239 1747 876, 319 1763 877, 399 1779 878, 479 1795 879, 559 1811 880, 639 1827 881, 799 1875 882, 879 1891 883, 959 1907 884, 1039 1923 885, 1119 1939 886, 1199 1955 887, 1279 1971 888, 1503 1987 889, 1583 2003 890, 1679 2019 891, 1775 2035 892, 1887 2035 893, 2111 2051 894, 2191 2067 895, 2351 2115 896, 2431 2131 897, 2511 2147 898, 2591 2163 899, 2671 2179 900, 2751 2195 901, 2831 2211 902, 2927 2227 903, 3007 2243 904, 3087 2259 905, 3183 2275 906, 3279 2291 907, 3359 2307 908, 3439 2371 909, 3599 2387 910, 3743 2403 911, 3887 2419 912, 4047 2435 913, 112 2451 914, 256 2467 915, 416 2483 916, 576 2499 917, 736 2515 918, 896 2531 919, 1072 2547 920, 1216 2563 921, 1360 2579 922, 1504 2595 923, 1648 2611 924, 1808 2627 925, 1984 2643 926, 2160 2659 927, 2336 2675 928, 2512 2691 929, 2592 2755 930, 2752 2771 931, 2896 2787 932, 3040 2803 933, 3200 2819 934, 3360 2835 935, 3504 2851 936, 3664 2867 937, 3824 2883 938, 3984 2899 939, 49 2915 940, 225 2931 941, 369 2947 942, 513 2963 943, 657 2979 944, 801 2995 945, 961 3011 946, 1137 3027 947, 1313 3043 948, 1489 3059 949, 1665 3075 950, 1825 3091 951, 1905 3155 952, 2065 3171 953, 2209 3187 954, 2353 3203 955, 2513 3219 956, 2673 3235 957, 2817 3251 958, 2977 3267 959, 3137 3283 960, 3297 3299 961, 3457 3315 962, 3633 3331 963, 3777 3347 964, 3921 3363 965, 4065 3379 966, 114 3395 967, 274 3411 968, 450 3427 969, 626 3443 970, 802 3459 971, 978 3475 972, 1154 3491 973, 1330 3507 974, 1602 3571 975, 1714 3571 976, 1826 3571 977, 1938 3571 978, 2050 3571 979, 2162 3571 980, 2274 3571 981, 2386 3571 982, 2498 3571 983, 2754 3635 984, 2802 3635 985, 2850 3635 986, 2898 3635 987, 2946 3635 988, 2994 3635 989, 3042 3635 990, 3090 3635 991, 3138 3635 992, 3394 3699 993, 3506 3699 994, 3554 3699 995, 3602 3699 996, 3650 3699 997, 3698 3699 998, 3746 3699 999, 3794 3699 1000, 3906 3699 1001, 83 3763 1002, 131 3763 1003, 179 3763 1004, 227 3763 1005, 275 3763 1006, 323 3763 1007, 371 3763 1008, 643 3827 1009, 691 3827 1010, 739 3827 1011, 787 3827 1012, 835 3827 1013, 883 3827 1014, 931 3827 1015, 979 3827 1016, 1027 3827 1017, 1139 3891 1018, 1267 3907 1019, 1427 3923 1020, 1587 3939 1021, 1747 3955 1022, 1923 3987 1023, 2019 4003 1024, 2115 4019 1025, 2211 4035 1026, 2307 4051 1027, 2403 4067 1028, 2499 4083 1029, 2611 4 1030, 2723 20 1031, 2835 36 1032, 3027 100 1033, 3107 116 1034, 3187 132 1035, 3267 148 1036, 3411 164 1037, 3491 180 1038, 3683 244 1039, 3763 260 1040, 3843 276 1041, 3923 292 1042, 4067 308 1043, 52 324 1044, 116 388 1045, 260 388 1046, 388 388 1047, 452 388 1048, 708 452 1049, 756 452 1050, 804 452 1051, 852 452 1052, 900 452 1053, 948 452 1054, 996 452 1055, 1044 452 1056, 1092 452 1057, 1348 516 1058, 1396 516 1059, 1444 516 1060, 1492 516 1061, 1540 516 1062, 1588 516 1063, 1636 516 1064, 1684 516 1065, 1732 516 1066, 1988 580 1067, 2100 580 1068, 2212 580 1069, 2324 580 1070, 2436 580 1071, 2548 580 1072, 2660 580 1073, 2772 580 1074, 2884 580 1075, 2948 644 1076, 3060 660 1077, 3172 676 1078, 3284 692 1079, 3364 708 1080, 3444 724 1081, 3556 788 1082, 3716 788 1083, 3876 788 1084, 4036 788 1085, 101 788 1086, 261 788 1087, 357 788 1088, 469 852 1089, 517 868 1090, 565 884 1091, 613 900 1092, 661 916 1093, 709 932 1094, 757 948 1095, 981 1028 1096, 1029 1028 1097, 1077 1028 1098, 1125 1028 1099, 1173 1028 1100, 1221 1028 1101, 1269 1028 1102, 1317 1028 1103, 1365 1028 1104, 1365 1092 1105, 1701 1108 1106, 2005 1124 1107, 2341 1140 1108, 2629 1204 1109, 2629 1268 1110, 2933 1284 1111, 3253 1300 1112, 3253 1364 1113, 3477 1380 1114, 3781 1396 1115, 3781 1460 1116, 4005 1476 1117, 150 1492 1118, 374 1556 1119, 422 1556 1120, 470 1556 1121, 518 1556 1122, 566 1556 1123, 614 1556 1124, 662 1556 1125, 710 1556 1126, 758 1556 1127, 1062 1620 1128, 1126 1636 1129, 1190 1652 1130, 1366 1716 1131, 1542 1732 1132, 1718 1748 1133, 1894 1764 1134, 2070 1780 1135, 2246 1796 1136, 2406 1812 1137, 2598 1828 1138, 2774 1844 1139, 3126 1908 1140, 3478 1924 1141, 3846 1940 1142, 4022 2004 1143, 151 2036 1144, 375 2052 1145, 583 2068 1146, 807 2084 1147, 1031 2100 1148, 1207 2164 1149, 1383 2180 1150, 1559 2196 1151, 1735 2212 1152, 1943 2228 1153, 2119 2292 1154, 2327 2308 1155, 2551 2324 1156, 2775 2340 1157, 2951 2404 1158, 3175 2420 1159, 3367 2484 1160, 3511 2500 1161, 3655 2516 1162, 3895 2580 1163, 3911 2644 1164, 4023 2660 1165, 40 2676 1166, 216 2692 1167, 424 2708 1168, 568 2724 1169, 712 2740 1170, 712 2804 1171, 872 2820 1172, 1032 2836 1173, 1224 2852 1174, 1416 2868 1175, 1608 2884 1176, 1768 2980 1177, 1912 2996 1178, 2104 3060 1179, 2152 3060 1180, 2200 3060 1181, 2248 3060 1182, 2296 3060 1183, 2344 3060 1184, 2392 3060 1185, 2440 3060 1186, 2488 3060 1187, 2664 3124 1188, 2808 3124 1189, 2968 3124 1190, 3016 3188 1191, 3304 3204 1192, 3592 3220 1193, 3880 3236 1194, 73 3252 1195, 361 3268 1196, 649 3284 1197, 937 3300 1198, 1113 3364 1199, 1161 3364 1200, 1209 3364 1201, 1257 3364 1202, 1305 3364 1203, 1353 3364 1204, 1401 3364 1205, 1449 3364 1206, 1497 3364 1207, 1721 3428 1208, 1785 3428 1209, 1881 3492 1210, 2185 3556 1211, 2233 3620 1212, 2457 3684 1213, 2665 3748 1214, 2713 3748 1215, 2761 3748 1216, 2809 3748 1217, 2857 3748 1218, 2905 3748 1219, 2953 3748 1220, 3001 3748 1221, 3049 3748 1222, 3113 3812 1223, 3161 3812 1224, 3209 3812 1225, 3257 3812 1226, 3305 3812 1227, 3353 3812 1228, 3401 3812 1229, 3449 3812 1230, 3497 3812 1231, 3545 3876 1232, 3593 3876 1233, 3641 3876 1234, 3689 3876 1235, 3737 3876 1236, 3785 3876 1237, 3833 3876 1238, 3881 3876 1239, 3929 3876 1240, 4025 3940 1241, 4073 3940 1242, 4121 3940 1243, 74 3940 1244, 122 3940 1245, 170 3940 1246, 218 3940 1247, 266 3940 1248, 314 3940 1249, 362 4004 1250, 426 4068 1251, 666 37 1252, 874 101 1253, 954 101 1254, 1002 165 1255, 1130 165 1256, 1290 229 1257, 1434 229 1258, 1562 229 1259, 1626 229 1260, 1802 293 1261, 1914 357 1262, 2026 421 1263, 2170 421 1264, 2314 421 1265, 2458 421 1266, 2602 421 1267, 2682 437 1268, 2778 453 1269, 2874 469 1270, 2986 485 1271, 3098 501 1272, 3434 565 1273, 3530 629 1274, 3706 645 1275, 3882 661 1276, 4058 677 1277, 299 741 1278, 411 805 1279, 571 821 1280, 731 837 1281, 891 853 1282, 1051 869 1283, 1195 885 1284, 1355 901 1285, 1515 917 1286, 1643 917 1287, 1771 917 1288, 1899 917 1289, 2027 917 1290, 2171 917 1291, 2299 917 1292, 2363 997 1293, 2427 997 1294, 2491 997 1295, 2587 997 1296, 2635 1061 1297, 2683 1125 1298, 2779 1189 1299, 2955 1205 1300, 3131 1221 1301, 3339 1237 1302, 3515 1237 1303, 3691 1237 1304, 3819 1301 1305, 3947 1365 1306, 4123 1381 1307, 204 1397 1308, 316 1413 1309, 492 1429 1310, 620 1445 1311, 780 1461 1312, 876 1525 1313, 1004 1525 1314, 1148 1525 1315, 1292 1525 1316, 1500 1525 1317, 1580 1589 1318, 1772 1653 1319, 1900 1669 1320, 2028 1685 1321, 2156 1701 1322, 2268 1717 1323, 2380 1733 1324, 2540 1797 1325, 2636 1797 1326, 2732 1797 1327, 2844 1797 1328, 2940 1797 1329, 3132 1861 1330, 3132 1925 1331, 3244 1941 1332, 3340 1957 1333, 3340 2021 1334, 3532 2037 1335, 3708 2053 1336, 4092 2117 1337, 93 2181 1338, 253 2181 1339, 397 2181 1340, 541 2181 1341, 685 2181 1342, 861 2181 1343, 861 2245 1344, 1213 2261 1345, 1565 2277 1346, 1917 2293 1347, 2253 2309 1348, 2589 2325 1349, 3037 2341 1350, 3485 2357 1351, 3869 2373 1352, 222 2389 1353, 686 2405 1354, 846 2469 1355, 926 2485 1356, 1006 2501 1357, 1086 2517 1358, 1166 2533 1359, 1358 2597 1360, 1422 2597 1361, 1550 2597 1362, 1630 2597 1363, 1710 2597 1364, 1790 2597 1365, 1790 2661 1366, 1966 2677 1367, 2110 2693 1368, 2366 2757 1369, 2510 2821 1370, 2718 2885 1371, 2718 2949 1372, 2974 2965 1373, 3294 2981 1374, 3582 3061 1375, 3614 3125 1376, 3854 3141 1377, 4030 3157 1378, 111 3221 1379, 351 3285 1380, 543 3349 1381, 655 3413 1382, 655 3477 1383, 927 3493 1384, 1199 3509 1385, 1343 3573 1386, 1455 3637 1387, 1599 3701 1388, 1743 3765 1389, 1983 3829 1390, 1983 3893 1391, 2255 3909 1392, 2463 3925 1393, 2607 3989 1394, 2751 4053 1395, 2783 22 1396, 2991 38 1397, 3247 54 1398, 3391 118 1399, 3615 182 1400, 3775 246 1401, 3951 310 1402, 4095 326 1403, 144 342 1404, 288 358 1405, 432 374 1406, 576 390 1407, 704 406 1408, 832 422 1409, 960 438 1410, 1088 454 1411, 1216 470 1412, 1424 534 1413, 1472 534 1414, 1520 534 1415, 1568 534 1416, 1616 534 1417, 1664 534 1418, 1712 534 1419, 1760 534 1420, 1808 534 1421, 1936 598 1422, 1984 598 1423, 2032 598 1424, 2080 598 1425, 2128 598 1426, 2176 598 1427, 2224 598 1428, 2272 598 1429, 2320 598 1430, 2368 662 1431, 2416 662 1432, 2464 662 1433, 2512 662 1434, 2560 662 1435, 2608 662 1436, 2656 662 1437, 2704 662 1438, 2752 662 1439, 2800 726 1440, 2848 726 1441, 2896 726 1442, 2944 726 1443, 2992 726 1444, 3040 726 1445, 3088 726 1446, 3136 726 1447, 3184 726 1448, 3248 790 1449, 3328 790 1450, 3424 790 1451, 3520 790 1452, 3616 790 1453, 3776 790 1454, 3872 790 1455, 3968 790 1456, 4064 790 1457, 65 790 1458, 177 790 1459, 337 790 1460, 433 790 1461, 545 854 1462, 625 854 1463, 721 854 1464, 801 854 1465, 897 854 1466, 977 854 1467, 1073 854 1468, 1137 854 1469, 1233 854 1470, 1313 854 1471, 1409 854 1472, 1489 854 1473, 1585 854 1474, 1665 854 1475, 1761 854 1476, 1841 854 1477, 1937 854 1478, 2097 918 1479, 2177 934 1480, 2257 950 1481, 2353 966 1482, 2449 982 1483, 2545 998 1484, 2641 1014 1485, 2737 1078 1486, 2865 1078 1487, 2881 1142 1488, 2977 1158 1489, 3217 1174 1490, 3345 1190 1491, 3537 1206 1492, 3729 1222 1493, 3857 1286 1494, 4001 1286 1495, 50 1286 1496, 194 1286 1497, 338 1286 1498, 482 1286 1499, 626 1286 1500, 770 1286 1501, 914 1286 1502, 1090 1350 1503, 1170 1350 1504, 1234 1350 1505, 1314 1350 1506, 1394 1350 1507, 1474 1350 1508, 1554 1350 1509, 1634 1350 1510, 1698 1350 1511, 1810 1414 1512, 1906 1430 1513, 2018 1446 1514, 2130 1462 1515, 2242 1478 1516, 2354 1494 1517, 2466 1510 1518, 2562 1574 1519, 2674 1590 1520, 2786 1606 1521, 2898 1622 1522, 3010 1638 1523, 3186 1702 1524, 3378 1702 1525, 3586 1702 1526, 3778 1702 1527, 3986 1702 1528, 99 1702 1529, 307 1702 1530, 515 1702 1531, 723 1702 1532, 931 1766 1533, 1091 1766 1534, 1267 1766 1535, 1427 1766 1536, 1603 1766 1537, 1779 1766 1538, 1955 1766 1539, 2131 1766 1540, 2307 1766 1541, 2467 1862 1542, 2547 1878 1543, 2627 1894 1544, 2707 1910 1545, 2803 1926 1546, 2963 1942 1547, 3123 1942 1548, 3283 1942 1549, 3411 2006 1550, 3523 2006 1551, 3635 2006 1552, 3747 2006 1553, 3859 2006 1554, 3971 2006 1555, 4099 2006 1556, 132 2070 1557, 260 2086 1558, 388 2102 1559, 516 2118 1560, 644 2134 1561, 772 2150 1562, 900 2166 1563, 1028 2182 1564, 1156 2198 1565, 1284 2214 1566, 1412 2230 1567, 1540 2246 1568, 1668 2262 1569, 1796 2278 1570, 1924 2294 1571, 2052 2310 1572, 2180 2326 1573, 2308 2342 1574, 2436 2358 1575, 2564 2374 1576, 2692 2390 1577, 2820 2406 1578, 2996 2470 1579, 3060 2486 1580, 3124 2502 1581, 3188 2518 1582, 3236 2534 1583, 3284 2550 1584, 3332 2566 1585, 3508 2630 1586, 3588 2630 1587, 3652 2630 1588, 3732 2630 1589, 3812 2630 1590, 3892 2630 1591, 3972 2630 1592, 4052 2630 1593, 4132 2694 1594, 133 2694 1595, 309 2758 1596, 373 2774 1597, 437 2790 1598, 501 2806 1599, 549 2822 1600, 597 2838 1601, 645 2854 1602, 773 2918 1603, 901 2918 1604, 1029 2918 1605, 1125 2982 1606, 1269 2982 1607, 1413 2982 1608, 1573 2982 1609, 1685 3046 1610, 1781 3062 1611, 1877 3078 1612, 1973 3094 1613, 2069 3110 1614, 2165 3126 1615, 2261 3142 1616, 2357 3158 1617, 2453 3174 1618, 2549 3190 1619, 2645 3206 1620, 2741 3222 1621, 2837 3238 1622, 2933 3254 1623, 3045 3318 1624, 3141 3334 1625, 3237 3350 1626, 3333 3366 1627, 3429 3382 1628, 3525 3398 1629, 3621 3414 1630, 3717 3430 1631, 3813 3446 1632, 3909 3462 1633, 4005 3478 1634, 4101 3494 1635, 102 3510 1636, 198 3526 1637, 310 3590 1638, 502 3606 1639, 598 3622 1640, 694 3638 1641, 790 3654 1642, 886 3670 1643, 982 3686 1644, 1078 3702 1645, 1174 3718 1646, 1270 3734 1647, 1366 3750 1648, 1462 3766 1649, 1558 3782 1650, 1686 3846 1651, 1782 3862 1652, 1878 3878 1653, 1974 3894 1654, 2070 3910 1655, 2166 3926 1656, 2262 3942 1657, 2358 3958 1658, 2454 3974 1659, 2550 3990 1660, 2646 4006 1661, 2742 4022 1662, 2838 4038 1663, 2950 7 1664, 3046 23 1665, 3142 39 1666, 3238 55 1667, 3334 71 1668, 3430 87 1669, 3526 103 1670, 3622 119 1671, 3718 135 1672, 3814 151 1673, 3910 167 1674, 4006 183 1675, 4102 199 1676, 103 215 1677, 215 279 1678, 311 295 1679, 407 311 1680, 503 327 1681, 599 343 1682, 695 359 1683, 791 375 1684, 887 391 1685, 983 407 1686, 1079 423 1687, 1175 439 1688, 1271 455 1689, 1367 471 1690, 1463 487 1691, 1591 551 1692, 1687 551 1693, 1783 567 1694, 1879 583 1695, 1975 599 1696, 2071 615 1697, 2167 631 1698, 2263 647 1699, 2359 663 1700, 2455 679 1701, 2551 695 1702, 2647 711 1703, 2743 727 1704, 2743 791 1705, 2839 807 1706, 2983 823 1707, 2983 887 1708, 3303 903 1709, 3623 919 1710, 3943 935 1711, 168 951 1712, 408 967 1713, 632 983 1714, 776 1047 1715, 888 1063 1716, 1000 1079 1717, 1112 1095 1718, 1224 1111 1719, 1336 1127 1720, 1464 1143 1721, 1560 1207 1722, 1640 1223 1723, 1720 1239 1724, 1864 1255 1725, 1944 1271 1726, 2088 1287 1727, 2168 1303 1728, 2296 1319 1729, 2440 1335 1730, 2520 1351 1731, 2616 1383 1732, 2696 1399 1733, 2776 1415 1734, 2856 1431 1735, 2984 1447 1736, 3176 1511 1737, 3336 1527 1738, 3496 1543 1739, 3656 1559 1740, 3816 1575 1741, 3912 1591 1742, 4008 1607 1743, 73 1623 1744, 233 1687 1745, 425 1751 1746, 649 1815 1747, 873 1879 1748, 985 1943 1749, 1049 1943 1750, 1145 1943 1751, 1241 1943 1752, 1337 1943 1753, 1417 1943 1754, 1449 2007 1755, 1641 2007 1756, 1849 2007 1757, 2057 2007 1758, 2265 2007 1759, 2281 2071 1760, 2393 2087 1761, 2473 2087 1762, 2569 2087 1763, 2665 2087 1764, 2697 2151 1765, 2809 2167 1766, 2921 2183 1767, 3017 2199 1768, 3113 2215 1769, 3225 2231 1770, 3337 2247 1771, 3449 2263 1772, 3465 2327 1773, 3673 2343 1774, 3913 2359 1775, 4137 2375 1776, 250 2391 1777, 458 2407 1778, 666 2423 1779, 874 2439 1780, 1082 2455 1781, 1290 2471 1782, 1498 2487 1783, 1706 2503 1784, 1914 2519 1785, 2122 2535 1786, 2330 2551 1787, 2410 2615 1788, 2458 2615 1789, 2506 2615 1790, 2554 2615 1791, 2618 2615 1792, 2682 2615 1793, 2746 2615 1794, 2810 2615 1795, 2874 2615 1796, 2938 2615 1797, 2986 2615 1798, 3034 2615 1799, 3082 2615 1800, 3146 2615 1801, 3274 2679 1802, 3402 2695 1803, 3530 2711 1804, 3658 2727 1805, 3802 2743 1806, 3882 2807 1807, 4042 2807 1808, 107 2807 1809, 283 2807 1810, 459 2807 1811, 635 2807 1812, 811 2807 1813, 971 2807 1814, 1147 2807 1815, 1323 2807 1816, 1435 2807 1817, 1547 2807 1818, 1563 2871 1819, 1611 2871 1820, 1675 2871 1821, 1883 2935 1822, 1979 2935 1823, 2075 2935 1824, 2171 2935 1825, 2267 2935 1826, 2363 2935 1827, 2459 2935 1828, 2571 2935 1829, 2667 2935 1830, 2779 2935 1831, 2875 2935 1832, 2955 2935 1833, 3147 2999 1834, 3307 3015 1835, 3467 3031 1836, 3643 3095 1837, 3771 3095 1838, 3899 3095 1839, 3979 3095 1840, 76 3159 1841, 124 3159 1842, 172 3159 1843, 236 3159 1844, 300 3159 1845, 364 3159 1846, 556 3223 1847, 620 3239 1848, 684 3255 1849, 748 3271 1850, 812 3287 1851, 876 3303 1852, 1052 3367 1853, 1228 3367 1854, 1356 3367 1855, 1516 3431 1856, 1628 3447 1857, 1740 3463 1858, 1852 3479 1859, 1964 3495 1860, 2076 3511 1861, 2188 3527 1862, 2300 3543 1863, 2412 3559 1864, 2524 3575 1865, 2636 3591 1866, 2828 3655 1867, 2956 3671 1868, 3084 3687 1869, 3212 3703 1870, 3340 3719 1871, 3468 3735 1872, 3596 3751 1873, 3724 3767 1874, 3852 3783 1875, 3980 3799 1876, 4092 3815 1877, 189 3879 1878, 301 3895 1879, 413 3911 1880, 525 3927 1881, 637 3943 1882, 749 3959 1883, 861 3975 1884, 973 3991 1885, 1085 4007 1886, 1197 4023 1887, 1309 4039 1888, 1437 8 1889, 1661 24 1890, 1773 88 1891, 2061 104 1892, 2349 120 1893, 2349 184 1894, 2461 200 1895, 2573 216 1896, 2669 232 1897, 2765 248 1898, 2877 312 1899, 2957 328 1900, 3037 344 1901, 3133 360 1902, 3277 376 1903, 3357 376 1904, 3421 440 1905, 3517 440 1906, 3613 440 1907, 3773 440 1908, 3869 440 1909, 3965 440 1910, 4061 440 1911, 78 440 1912, 174 440 1913, 286 440 1914, 382 440 1915, 462 440 1916, 494 504 1917, 766 520 1918, 1038 536 1919, 1310 552 1920, 1582 568 1921, 1854 584 1922, 2126 600 1923, 2398 616 1924, 2638 616 1925, 2862 680 1926, 3038 744 1927, 3310 760 1928, 3502 776 1929, 3694 792 1930, 3694 856 1931, 95 872 1932, 527 888 1933, 655 952 1934, 719 968 1935, 783 984 1936, 847 1000 1937, 911 1016 1938, 975 1032 1939, 1039 1048 1940, 1119 1112 1941, 1263 1112 1942, 1391 1112 1943, 1535 1112 1944, 1679 1112 1945, 1823 1112 1946, 1967 1112 1947, 2111 1112 1948, 2239 1176 1949, 2479 1192 1950, 2719 1208 1951, 2959 1224 1952, 3199 1240 1953, 3439 1256 1954, 3679 1272 1955, 3919 1288 1956, 64 1304 1957, 304 1320 1958, 544 1336 1959, 784 1352 1960, 1024 1368 1961, 1264 1384 1962, 1504 1400 1963, 1744 1416 1964, 1984 1432 1965, 2224 1448 1966, 2480 1464 1967, 2496 1528 1968, 2768 1544 1969, 3040 1560 1970, 3312 1576 1971, 3584 1592 1972, 3856 1608 1973, 4128 1624 1974, 305 1640 1975, 577 1656 1976, 849 1672 1977, 1121 1688 1978, 1393 1704 1979, 1553 1784 1980, 1649 1800 1981, 1793 1816 1982, 1937 1832 1983, 2081 1848 1984, 2225 1864 1985, 2369 1880 1986, 2513 1896 1987, 2657 1912 1988, 2801 1928 1989, 2897 1992 1990, 3057 1992 1991, 3217 1992 1992, 3377 1992 1993, 3537 1992 1994, 3585 2056 1995, 3681 2072 1996, 3777 2088 1997, 3873 2104 1998, 3969 2120 1999, 4129 2136 2000, 98 2200 2001, 194 2216 2002, 306 2232 2003, 418 2248 2004, 530 2264 2005, 626 2280 2006, 738 2296 2007, 786 2328 2008, 994 2344 2009, 1218 2360 2010, 1426 2376 2011, 1650 2392 2012, 1858 2408 2013, 2066 2424 2014, 2274 2440 2015, 2498 2456 2016, 2706 2472 2017, 2930 2488 2018, 3138 2504 2019, 3346 2520 2020, 3410 2584 2021, 3522 2584 2022, 3650 2584 2023, 3778 2584 2024, 3906 2584 2025, 4034 2584 2026, 67 2584 2027, 211 2648 2028, 499 2664 2029, 787 2680 2030, 1075 2696 2031, 1363 2712 2032, 1667 2728 2033, 1971 2744 2034, 2099 2808 2035, 2435 2824 2036, 2771 2840 2037, 3107 2856 2038, 3427 2872 2039, 3427 2936 2040, 3715 2952 2041, 4003 2968 2042, 228 2984 2043, 548 3000 2044, 868 3016 2045, 1188 3032 2046, 1508 3048 2047, 1828 3064 2048, 2148 3080 2049, 2468 3096 2050, 2788 3112 2051, 3108 3128 2052, 3124 3192 2053, 3396 3208 2054, 3668 3224 2055, 3940 3240 2056, 117 3256 2057, 389 3272 2058, 661 3288 2059, 933 3304 2060, 1029 3368 2061, 1125 3384 2062, 1221 3400 2063, 1317 3416 2064, 1413 3432 2065, 1509 3448 2066, 1749 3464 2067, 1925 3480 2068, 2101 3496 2069, 2197 3560 2070, 2341 3560 2071, 2485 3560 2072, 2629 3560 2073, 2773 3560 2074, 2917 3624 2075, 3061 3624 2076, 3205 3624 2077, 3349 3624 2078, 3493 3624 2079, 3637 3688 2080, 3829 3704 2081, 4021 3720 2082, 118 3736 2083, 310 3752 2084, 518 3768 2085, 710 3784 2086, 918 3800 2087, 1142 3816 2088, 1334 3832 2089, 1334 3896 2090, 1462 3912 2091, 1590 3928 2092, 1718 3944 2093, 1846 3960 2094, 1974 3976 2095, 2102 3992 2096, 2230 4008 2097, 2374 4024 2098, 2518 4040 2099, 2646 4056 2100, 2790 4072 2101, 2934 4088 2102, 3078 9 2103, 3222 25 2104, 3366 41 2105, 3510 57 2106, 3654 73 2107, 3798 89 2108, 3942 105 2109, 4086 121 2110, 135 137 2111, 247 201 2112, 359 217 2113, 471 233 2114, 583 249 2115, 695 265 2116, 807 281 2117, 919 297 2118, 1031 313 2119, 1143 329 2120, 1255 345 2121, 1479 409 2122, 1623 425 2123, 1751 441 2124, 1879 457 2125, 2023 473 2126, 2151 489 2127, 2295 505 2128, 2423 521 2129, 2567 537 2130, 2711 553 2131, 2711 617 2132, 3047 649 2133, 3383 681 2134, 3767 745 2135, 3767 809 2136, 4151 825 2137, 408 841 2138, 744 857 2139, 744 921 2140, 1112 937 2141, 1384 953 2142, 1752 985 2143, 2104 1049 2144, 2376 1113 2145, 2376 1177 2146, 2712 1193 2147, 3048 1209 2148, 3384 1225 2149, 3720 1241 2150, 4056 1257 2151, 281 1273 2152, 601 1289 2153, 601 1353 2154, 937 1369 2155, 1273 1385 2156, 1609 1401 2157, 1945 1417 2158, 2281 1433 2159, 2617 1449 2160, 2953 1465 2161, 3289 1481 2162, 3289 1545 2163, 3609 1561 2164, 3929 1577 2165, 154 1593 2166, 474 1609 2167, 794 1625 2168, 842 1705 2169, 1130 1721 2170, 1482 1737 2171, 1786 1753 2172, 2090 1769 2173, 2394 1785 2174, 2698 1801 2175, 3002 1817 2176, 3322 1833 2177, 3322 1897 2178, 3642 1913 2179, 3978 1929 2180, 203 1945 2181, 523 1961 2182, 843 1977 2183, 1179 1993 2184, 1499 2009 2185, 1547 2073 2186, 1723 2089 2187, 1899 2105 2188, 2075 2121 2189, 2251 2137 2190, 2523 2201 2191, 2939 2265