static int mods128[128] =  { 539, 108, 4,  801, 86, 550, 315, 834,  517, 37, 865, 827, 297, 539, 330, 211, 34, 804, 587,   814, 130, 354, 454, 845, 898, 375, 269, 600, 726, 242,   374, 157, 616, 670, 432, 87, 614, 89, 336, 754, 602,   380, 262, 382, 378, 627, 663, 784, 898, 808, 821, 228,  48, 507, 90, 447, 270, 95, 732, 156, 763, 297, 491, 171,   776, 646, 463, 712, 379, 40, 173, 278, 775, 192, 287, 236,  186, 129, 219, 193, 569, 860, 606, 686, 432, 684, 96, 272,  292, 674, 723, 594, 907, 457, 258, 516, 704, 490, 908,  292, 631, 447, 148, 246, 620, 583, 244, 928, 208, 217,   93, 822, 415, 749, 925, 400, 444, 897, 779, 53, 379,   296, 580, 858, 547, 864, 310, 521 };   static int mods256[256] = { 10, 497, 55, 648, 558, 924, 159, 307, 543,  642, 555, 497, 95, 688, 251, 404, 173, 481, 579, 505,  656, 41, 402, 83, 449, 872, 29, 167, 20, 189, 829, 609,  532, 910, 191, 922, 299, 834, 54, 134, 297, 54, 213, 760,  749, 228, 383, 605, 754, 893, 791, 180, 441, 609, 60, 620,   792, 331, 681, 32, 126, 342, 914, 73, 550, 647, 9, 319, 566,  280, 394, 836, 238, 500, 144, 32, 795, 49, 118, 503, 528,   726, 421, 434, 773, 231, 60, 756, 755, 697, 309, 655, 852,  261, 544, 895, 621, 732, 60, 48, 641, 805, 707, 689, 193,  455, 640, 607, 752, 177, 384, 722, 234, 687, 673, 142, 605,  192, 601, 374, 318, 263, 71, 739, 130, 479, 320, 628, 134,  10, 462, 188, 588, 355, 580, 802, 49, 329, 903, 655, 199,   743, 290, 2, 90, 906, 538, 136, 585, 848, 433, 730, 830,   463, 269, 917, 255, 66, 731, 637, 470, 289, 225, 517, 8,  51, 511, 103, 908, 399, 358, 19, 712, 803, 291, 307, 521,  849, 376, 334, 461, 684, 812, 749, 162, 877, 274, 490, 793,  329, 70, 315, 884, 209, 549, 284, 257, 216, 240, 325, 694,  370, 859, 353, 668, 592, 418, 439, 137, 799, 700, 801, 913,  540, 605, 796, 204, 11, 569, 68, 89, 919, 814, 710, 757, 828,  280, 201, 280, 194, 733, 438, 850, 375, 190, 275, 913, 311,  194, 858, 720, 138, 786, 905, 250, 708, 586, 82, 204, 74,  857, 882, 766, 75, 894, 524 };  int mods512[512] = { 263, 303, 121, 31, 244, 389, 410, 675,   738, 282, 304, 366, 251, 863, 310, 63, 647, 849, 223,  768, 752, 357, 655, 498, 325, 600, 726, 165, 899, 332,  164, 407, 780, 45, 919, 141, 669, 877, 411, 646, 138,   736, 284, 596, 20, 111, 45, 717, 433, 381, 14, 134, 175,  533, 752, 762, 321, 297, 531, 190, 464, 616, 171, 447,   656, 46, 610, 721, 486, 316, 540, 576, 672, 640, 488, 667,  105, 534, 299, 342, 316, 669, 54, 321, 749, 242, 424, 311,  923, 39, 5, 330, 742, 720, 357, 37, 842, 687, 379, 691,  366, 62, 353, 751, 667, 116, 923, 183, 296, 610, 273, 375,  437, 286, 336, 535, 425, 16, 62, 187, 817, 907, 422, 155,  308, 498, 162, 660, 791, 469, 73, 281, 922, 843, 303, 905,  815, 210, 782, 673, 535, 699, 881, 321, 249, 548, 216, 425,  731, 590, 806, 459, 915, 647, 31, 378, 795, 473, 309, 851,  808, 397, 665, 756, 310, 560, 87, 61, 631, 307, 224, 720,   837, 838, 797, 242, 341, 252, 56, 513, 662, 381, 537, 141, 827,   892, 300, 207, 441, 305, 420, 789, 905, 644, 519, 437, 922,  830, 613, 228, 492, 54, 369, 407, 66, 18, 680, 787, 45, 184,  247, 331, 751, 695, 632, 757, 269, 346, 597, 77, 833, 424,  586, 618, 777, 35, 536, 289, 860, 632, 841, 617, 870, 579,  410, 708, 353, 248, 310, 677, 772, 181, 365, 563, 608, 109,   693, 343, 564, 563, 209, 158, 417, 193, 59, 624, 729, 672, 159,  713, 663, 873, 145, 62, 559, 714, 644, 560, 521, 721, 383,  842, 408, 43, 688, 699, 777, 589, 327, 511, 394, 594, 288,   245, 420, 472, 711, 283, 911, 578, 364, 764, 850, 475, 777,  662, 119, 427, 43, 552, 332, 298, 124, 37, 578, 452, 591,  699, 51, 651, 463, 35, 173, 244, 342, 167, 452, 902, 45,   669, 820, 533, 466, 684, 51, 289, 797, 856, 323, 578, 361,  248, 95, 771, 729, 152, 543, 851, 499, 2, 521, 114, 494, 8,  94, 707, 736, 827, 836, 850, 357, 288, 785, 358, 92, 221, 477,   164, 512, 841, 861, 65, 229, 864, 162, 575, 708, 40, 402, 304,  168, 89, 710, 676, 207, 531, 429, 151, 237, 156, 641, 415, 381,  570, 303, 786, 596, 328, 826, 190, 168, 384, 610, 51, 848, 768,  395, 794, 518, 240, 258, 516, 192, 513, 390, 744, 567, 729,   899, 653, 76, 561, 536, 287, 684, 808, 142, 913, 593, 451, 297,  20, 180, 482, 62, 99, 85, 855, 407, 681, 204, 290, 741, 658,  860, 784, 107, 761, 472, 752, 98, 485, 800, 383, 272, 122, 289,  542, 41, 552, 916, 858, 37, 545, 632, 290, 499, 476, 102, 644,  390, 408, 781, 539, 534, 794, 268, 640, 621, 781, 346, 249,  666, 203, 543, 435, 520, 327, 75, 846, 781, 352, 193, 87, 88,  306, 871, 294, 643, 229, 299, 914, 155, 920, 265, 197, 492,  350, 380, 285, 498, 118, 574, 409, 207, 428, 599, 35, 504, 373,  77, 352 };