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