b := (   1,  13,  24,  34,  43,  51,  58,  64,  69,  73,  76,  78,  12)
(   2,  14,  25,  35,  44,  52,  59,  65,  70,  74,  77,  11,  23)
(   3,  15,  26,  36,  45,  53,  60,  66,  71,  75,  10,  22,  33)
(   4,  16,  27,  37,  46,  54,  61,  67,  72,   9,  21,  32,  42)
(   5,  17,  28,  38,  47,  55,  62,  68,   8,  20,  31,  41,  50)
(   6,  18,  29,  39,  48,  56,  63,   7,  19,  30,  40,  49,  57)
(  79, 145, 200, 245, 281, 309, 330, 345, 355, 361, 364, 144,  89)
(  80, 146, 201, 246, 282, 310, 331, 346, 356, 362, 142, 199,  99)
(  81, 147, 202, 247, 283, 311, 332, 347, 357, 139, 197, 244, 108)
(  82, 148, 203, 248, 284, 312, 333, 348, 135, 194, 242, 280, 116)
(  83, 149, 204, 249, 285, 313, 334, 130, 190, 239, 278, 308, 123)
(  84, 150, 205, 250, 286, 314, 124, 185, 235, 275, 306, 329, 129)
(  85, 151, 206, 251, 287, 117, 179, 230, 271, 303, 327, 344, 134)
(  86, 152, 207, 252, 109, 172, 224, 266, 299, 324, 342, 354, 138)
(  87, 153, 208, 100, 164, 217, 260, 294, 320, 339, 352, 360, 141)
(  88, 154,  90, 155, 209, 253, 288, 315, 335, 349, 358, 363, 143)
(  91, 156, 210, 254, 289, 316, 336, 350, 359, 140, 198,  98, 163)
(  92, 157, 211, 255, 290, 317, 337, 351, 136, 195, 243, 107, 171)
(  93, 158, 212, 256, 291, 318, 338, 131, 191, 240, 279, 115, 178)
(  94, 159, 213, 257, 292, 319, 125, 186, 236, 276, 307, 122, 184)
(  95, 160, 214, 258, 293, 118, 180, 231, 272, 304, 328, 128, 189)
(  96, 161, 215, 259, 110, 173, 225, 267, 300, 325, 343, 133, 193)
(  97, 162, 216, 101, 165, 218, 261, 295, 321, 340, 353, 137, 196)
( 102, 166, 219, 262, 296, 322, 341, 132, 192, 241, 106, 170, 223)
( 103, 167, 220, 263, 297, 323, 126, 187, 237, 277, 114, 177, 229)
( 104, 168, 221, 264, 298, 119, 181, 232, 273, 305, 121, 183, 234)
( 105, 169, 222, 265, 111, 174, 226, 268, 301, 326, 127, 188, 238)
( 112, 175, 227, 269, 302, 120, 182, 233, 274, 113, 176, 228, 270)
( 365, 431, 486, 531, 567, 595, 616, 631, 641, 647, 650, 430, 375)
( 366, 432, 487, 532, 568, 596, 617, 632, 642, 648, 428, 485, 385)
( 367, 433, 488, 533, 569, 597, 618, 633, 643, 425, 483, 530, 394)
( 368, 434, 489, 534, 570, 598, 619, 634, 421, 480, 528, 566, 402)
( 369, 435, 490, 535, 571, 599, 620, 416, 476, 525, 564, 594, 409)
( 370, 436, 491, 536, 572, 600, 410, 471, 521, 561, 592, 615, 415)
( 371, 437, 492, 537, 573, 403, 465, 516, 557, 589, 613, 630, 420)
( 372, 438, 493, 538, 395, 458, 510, 552, 585, 610, 628, 640, 424)
( 373, 439, 494, 386, 450, 503, 546, 580, 606, 625, 638, 646, 427)
( 374, 440, 376, 441, 495, 539, 574, 601, 621, 635, 644, 649, 429)
( 377, 442, 496, 540, 575, 602, 622, 636, 645, 426, 484, 384, 449)
( 378, 443, 497, 541, 576, 603, 623, 637, 422, 481, 529, 393, 457)
( 379, 444, 498, 542, 577, 604, 624, 417, 477, 526, 565, 401, 464)
( 380, 445, 499, 543, 578, 605, 411, 472, 522, 562, 593, 408, 470)
( 381, 446, 500, 544, 579, 404, 466, 517, 558, 590, 614, 414, 475)
( 382, 447, 501, 545, 396, 459, 511, 553, 586, 611, 629, 419, 479)
( 383, 448, 502, 387, 451, 504, 547, 581, 607, 626, 639, 423, 482)
( 388, 452, 505, 548, 582, 608, 627, 418, 478, 527, 392, 456, 509)
( 389, 453, 506, 549, 583, 609, 412, 473, 523, 563, 400, 463, 515)
( 390, 454, 507, 550, 584, 405, 467, 518, 559, 591, 407, 469, 520)
( 391, 455, 508, 551, 397, 460, 512, 554, 587, 612, 413, 474, 524)
( 398, 461, 513, 555, 588, 406, 468, 519, 560, 399, 462, 514, 556)
( 651, 871,1036,1156,1240,1296,1331,1351,1361,1365, 870, 705, 660)
( 652, 872,1037,1157,1241,1297,1332,1352,1362, 867,1035, 750, 669)
( 653, 873,1038,1158,1242,1298,1333,1353, 861,1032,1155, 786, 677)
( 654, 874,1039,1159,1243,1299,1334, 851,1026,1152,1239, 814, 684)
( 655, 875,1040,1160,1244,1300, 836,1016,1146,1236,1295, 835, 690)
( 656, 876,1041,1161,1245, 815,1001,1136,1230,1292,1330, 850, 695)
( 657, 877,1042,1162, 787, 980,1121,1220,1286,1327,1350, 860, 699)
( 658, 878,1043, 751, 952,1100,1205,1276,1321,1347,1360, 866, 702)
( 659, 879, 706, 916,1072,1184,1261,1311,1341,1357,1364, 869, 704)
( 661, 880,1044,1163,1246,1301,1335,1354,1363, 868, 703, 915, 714)
( 662, 881,1045,1164,1247,1302,1336,1355, 862,1033, 748, 951, 722)
( 663, 882,1046,1165,1248,1303,1337, 852,1027,1153, 784, 979, 729)
( 664, 883,1047,1166,1249,1304, 837,1017,1147,1237, 812,1000, 735)
( 665, 884,1048,1167,1250, 816,1002,1137,1231,1293, 833,1015, 740)
( 666, 885,1049,1168, 788, 981,1122,1221,1287,1328, 848,1025, 744)
( 667, 886,1050, 752, 953,1101,1206,1277,1322,1348, 858,1031, 747)
( 668, 887, 707, 917,1073,1185,1262,1312,1342,1358, 864,1034, 749)
( 670, 888,1051,1169,1251,1305,1338,1356, 863, 700, 913,1071, 758)
( 671, 889,1052,1170,1252,1306,1339, 853,1028, 745, 949,1099, 765)
( 672, 890,1053,1171,1253,1307, 838,1018,1148, 781, 977,1120, 771)
( 673, 891,1054,1172,1254, 817,1003,1138,1232, 809, 998,1135, 776)
( 674, 892,1055,1173, 789, 982,1123,1222,1288, 830,1013,1145, 780)
( 675, 893,1056, 753, 954,1102,1207,1278,1323, 845,1023,1151, 783)
( 676, 894, 708, 918,1074,1186,1263,1313,1343, 855,1029,1154, 785)
( 678, 895,1057,1174,1255,1308,1340, 854, 696, 910,1069,1183, 793)
( 679, 896,1058,1175,1256,1309, 839,1019, 741, 946,1097,1204, 799)
( 680, 897,1059,1176,1257, 818,1004,1139, 777, 974,1118,1219, 804)
( 681, 898,1060,1177, 790, 983,1124,1223, 805, 995,1133,1229, 808)
( 682, 899,1061, 754, 955,1103,1208,1279, 826,1010,1143,1235, 811)
( 683, 900, 709, 919,1075,1187,1264,1314, 841,1020,1149,1238, 813)
( 685, 901,1062,1178,1258,1310, 840, 691, 906,1066,1181,1260, 820)
( 686, 902,1063,1179,1259, 819,1005, 736, 942,1094,1202,1275, 825)
( 687, 903,1064,1180, 791, 984,1125, 772, 970,1115,1217,1285, 829)
( 688, 904,1065, 755, 956,1104,1209, 800, 991,1130,1227,1291, 832)
( 689, 905, 710, 920,1076,1188,1265, 821,1006,1140,1233,1294, 834)
( 692, 907,1067,1182, 792, 985, 730, 937,1090,1199,1273,1320, 844)
( 693, 908,1068, 756, 957,1105, 766, 965,1111,1214,1283,1326, 847)
( 694, 909, 711, 921,1077,1189, 794, 986,1126,1224,1289,1329, 849)
( 697, 911,1070, 757, 958, 723, 931,1085,1195,1270,1318,1346, 857)
( 698, 912, 712, 922,1078, 759, 959,1106,1210,1280,1324,1349, 859)
( 701, 914, 713, 923, 715, 924,1079,1190,1266,1315,1344,1359, 865)
( 716, 925,1080,1191,1267,1316,1345, 856,1030, 746, 950, 721, 930)
( 717, 926,1081,1192,1268,1317, 842,1021,1150, 782, 978, 728, 936)
( 718, 927,1082,1193,1269, 822,1007,1141,1234, 810, 999, 734, 941)
( 719, 928,1083,1194, 795, 987,1127,1225,1290, 831,1014, 739, 945)
( 720, 929,1084, 760, 960,1107,1211,1281,1325, 846,1024, 743, 948)
( 724, 932,1086,1196,1271,1319, 843,1022, 742, 947,1098, 764, 964)
( 725, 933,1087,1197,1272, 823,1008,1142, 778, 975,1119, 770, 969)
( 726, 934,1088,1198, 796, 988,1128,1226, 806, 996,1134, 775, 973)
( 727, 935,1089, 761, 961,1108,1212,1282, 827,1011,1144, 779, 976)
( 731, 938,1091,1200,1274, 824,1009, 737, 943,1095,1203, 798, 990)
( 732, 939,1092,1201, 797, 989,1129, 773, 971,1116,1218, 803, 994)
( 733, 940,1093, 762, 962,1109,1213, 801, 992,1131,1228, 807, 997)
( 738, 944,1096, 763, 963,1110, 767, 966,1112,1215,1284, 828,1012)
( 768, 967,1113,1216, 802, 993,1132, 774, 972,1117, 769, 968,1114);