Spaces:
Build error
Build error
| loading env vars from: /common2/dh.huang.2023/code/logical-reasoning/.env | |
| Adding /common2/dh.huang.2023/code/logical-reasoning to sys.path | |
| loading /common2/dh.huang.2023/code/logical-reasoning/llm_toolkit/logical_reasoning_utils.py | |
| THUDM/glm-4-9b-chat-1m None False datasets/mgtv results/glm-4-9b_lora_sft_bf16-p2.csv | |
| (1) GPU = NVIDIA L40. Max memory = 44.309 GB. | |
| 0.0 GB of memory reserved. | |
| loading model: THUDM/glm-4-9b-chat-1m with adapter: None | |
| (2) GPU = NVIDIA L40. Max memory = 44.309 GB. | |
| 17.705 GB of memory reserved. | |
| loading train/test data files | |
| DatasetDict({ | |
| train: Dataset({ | |
| features: ['text', 'label', 'answer', 'title', 'puzzle', 'truth', 'train_text', 'prompt'], | |
| num_rows: 25000 | |
| }) | |
| test: Dataset({ | |
| features: ['text', 'label', 'answer', 'title', 'puzzle', 'truth', 'train_text', 'prompt'], | |
| num_rows: 3000 | |
| }) | |
| }) | |
| -------------------------------------------------- | |
| text: 甄加索是自杀吗 | |
| -------------------------------------------------- | |
| label: 不是 | |
| -------------------------------------------------- | |
| answer: nan | |
| -------------------------------------------------- | |
| title: 海岸之谜 | |
| -------------------------------------------------- | |
| puzzle: 在远离城市喧嚣的海边小屋，一天清晨，邻居发现甄加索僵卧在沙滩上，已无生命迹象。现场没有发现任何打斗的迹象。请问甄加索的死因是什么？ | |
| -------------------------------------------------- | |
| truth: 甄加索是一位热爱自然的画家，他每年都会来到这个海边小屋寻找灵感。在他生命的最后几天，他一直在创作一幅描绘海洋生物的画作。在画即将完成的前一天晚上，他骑着自行车外出，打算在海边观赏夜景。然而，他在沙滩上意外发现了一只搁浅的海豚，为了救助这只海豚，他耗费了极大的体力，最终成功将其送回海中。筋疲力尽的甄加索在沙滩上睡着了，由于他患有严重的心脏病，却未告知旁人，在寒冷的海风中，他的心脏停止了跳动。因此，警方在现场只发现了车轮痕迹和未完成的画作，而没有发现任何他杀的迹象。 | |
| -------------------------------------------------- | |
| train_text: [gMASK]<sop><|system|> | |
| You are an expert in logical reasoning.<|user|> | |
| 你是一个情景猜谜游戏的主持人。游戏规则如下： | |
| 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 | |
| 2. 主持人知道谜底，谜底是谜面的答案。 | |
| 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 | |
| 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： | |
| - 若谜面和谜底能找到问题的答案，回答：是或者不是 | |
| - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 | |
| - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 | |
| - 若参与者提问基本还原了谜底真相，回答：回答正确 | |
| 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 | |
| 请严格按照这些规则回答参与者提出的问题。 | |
| **谜面:** 在远离城市喧嚣的海边小屋，一天清晨，邻居发现甄加索僵卧在沙滩上，已无生命迹象。现场没有发现任何打斗的迹象。请问甄加索的死因是什么？ | |
| **谜底:** 甄加索是一位热爱自然的画家，他每年都会来到这个海边小屋寻找灵感。在他生命的最后几天，他一直在创作一幅描绘海洋生物的画作。在画即将完成的前一天晚上，他骑着自行车外出，打算在海边观赏夜景。然而，他在沙滩上意外发现了一只搁浅的海豚，为了救助这只海豚，他耗费了极大的体力，最终成功将其送回海中。筋疲力尽的甄加索在沙滩上睡着了，由于他患有严重的心脏病，却未告知旁人，在寒冷的海风中，他的心脏停止了跳动。因此，警方在现场只发现了车轮痕迹和未完成的画作，而没有发现任何他杀的迹象。 | |
| **参与者提出的问题:** 甄加索是自杀吗 | |
| <|assistant|>不是<|endoftext|> | |
| -------------------------------------------------- | |
| prompt: [gMASK]<sop><|system|> | |
| You are an expert in logical reasoning.<|user|> | |
| 你是一个情景猜谜游戏的主持人。游戏规则如下： | |
| 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 | |
| 2. 主持人知道谜底，谜底是谜面的答案。 | |
| 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 | |
| 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： | |
| - 若谜面和谜底能找到问题的答案，回答：是或者不是 | |
| - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 | |
| - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 | |
| - 若参与者提问基本还原了谜底真相，回答：回答正确 | |
| 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 | |
| 请严格按照这些规则回答参与者提出的问题。 | |
| **谜面:** 在远离城市喧嚣的海边小屋，一天清晨，邻居发现甄加索僵卧在沙滩上，已无生命迹象。现场没有发现任何打斗的迹象。请问甄加索的死因是什么？ | |
| **谜底:** 甄加索是一位热爱自然的画家，他每年都会来到这个海边小屋寻找灵感。在他生命的最后几天，他一直在创作一幅描绘海洋生物的画作。在画即将完成的前一天晚上，他骑着自行车外出，打算在海边观赏夜景。然而，他在沙滩上意外发现了一只搁浅的海豚，为了救助这只海豚，他耗费了极大的体力，最终成功将其送回海中。筋疲力尽的甄加索在沙滩上睡着了，由于他患有严重的心脏病，却未告知旁人，在寒冷的海风中，他的心脏停止了跳动。因此，警方在现场只发现了车轮痕迹和未完成的画作，而没有发现任何他杀的迹象。 | |
| **参与者提出的问题:** 甄加索是自杀吗 | |
| <|assistant|> | |
| -------------------------------------------------- | |
| text: 死者受伤了吗 | |
| -------------------------------------------------- | |
| label: 不是 | |
| -------------------------------------------------- | |
| answer: nan | |
| -------------------------------------------------- | |
| title: 甄庄哭声 | |
| -------------------------------------------------- | |
| puzzle: 在一个安静的夜晚，小村庄的湖边突然传来了阵阵哭泣声。第二天早晨，村长甄锐发现湖边的石头上放着一顶破旧的帽子，但没有人知道这顶帽子是从哪里来的，哭泣声又是为何。请还原故事真相。 | |
| -------------------------------------------------- | |
| truth: 原来，这顶破旧的帽子属于一个小男孩，他小时候与爷爷在湖边生活。爷爷教他钓鱼、游泳，还告诉他湖中的海龟是他们的朋友。后来，小男孩随父母去了城市生活，但每年夏天都会回到村子探望爷爷。然而，去年夏天，爷爷因病去世，小男孩伤心欲绝。今年夏天，他回到村子，来到湖边，想起和爷爷的美好回忆，忍不住哭泣。他将爷爷的帽子放在湖边的石头上，希望能让爷爷的在天之灵得到安慰。那晚的哭泣声正是小男孩在祭莫他亲爱的爷爷。 | |
| -------------------------------------------------- | |
| train_text: [gMASK]<sop><|system|> | |
| You are an expert in logical reasoning.<|user|> | |
| 你是一个情景猜谜游戏的主持人。游戏规则如下： | |
| 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 | |
| 2. 主持人知道谜底，谜底是谜面的答案。 | |
| 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 | |
| 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： | |
| - 若谜面和谜底能找到问题的答案，回答：是或者不是 | |
| - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 | |
| - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 | |
| - 若参与者提问基本还原了谜底真相，回答：回答正确 | |
| 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 | |
| 请严格按照这些规则回答参与者提出的问题。 | |
| **谜面:** 在一个安静的夜晚，小村庄的湖边突然传来了阵阵哭泣声。第二天早晨，村长甄锐发现湖边的石头上放着一顶破旧的帽子，但没有人知道这顶帽子是从哪里来的，哭泣声又是为何。请还原故事真相。 | |
| **谜底:** 原来，这顶破旧的帽子属于一个小男孩，他小时候与爷爷在湖边生活。爷爷教他钓鱼、游泳，还告诉他湖中的海龟是他们的朋友。后来，小男孩随父母去了城市生活，但每年夏天都会回到村子探望爷爷。然而，去年夏天，爷爷因病去世，小男孩伤心欲绝。今年夏天，他回到村子，来到湖边，想起和爷爷的美好回忆，忍不住哭泣。他将爷爷的帽子放在湖边的石头上，希望能让爷爷的在天之灵得到安慰。那晚的哭泣声正是小男孩在祭莫他亲爱的爷爷。 | |
| **参与者提出的问题:** 死者受伤了吗 | |
| <|assistant|>不是<|endoftext|> | |
| -------------------------------------------------- | |
| prompt: [gMASK]<sop><|system|> | |
| You are an expert in logical reasoning.<|user|> | |
| 你是一个情景猜谜游戏的主持人。游戏规则如下： | |
| 1. 参与者会得到一个谜面，谜面会描述一个简单又难以理解的事件。 | |
| 2. 主持人知道谜底，谜底是谜面的答案。 | |
| 3. 参与者可以询问任何封闭式问题来找寻事件的真相。 | |
| 4. 对于每个问题，主持人将根据实际情况回答以下五个选项之一：是、不是、不重要、回答正确、问法错误。各回答的判断标准如下： | |
| - 若谜面和谜底能找到问题的答案，回答：是或者不是 | |
| - 若谜面和谜底不能直接或者间接推断出问题的答案，回答：不重要 | |
| - 若参与者提问不是一个封闭式问题或者问题难以理解，回答：问法错误 | |
| - 若参与者提问基本还原了谜底真相，回答：回答正确 | |
| 5. 回答中不能添加任何其它信息，也不能省略选项中的任何一个字。例如，不可以把“不是”省略成“不”。 | |
| 请严格按照这些规则回答参与者提出的问题。 | |
| **谜面:** 在一个安静的夜晚，小村庄的湖边突然传来了阵阵哭泣声。第二天早晨，村长甄锐发现湖边的石头上放着一顶破旧的帽子，但没有人知道这顶帽子是从哪里来的，哭泣声又是为何。请还原故事真相。 | |
| **谜底:** 原来，这顶破旧的帽子属于一个小男孩，他小时候与爷爷在湖边生活。爷爷教他钓鱼、游泳，还告诉他湖中的海龟是他们的朋友。后来，小男孩随父母去了城市生活，但每年夏天都会回到村子探望爷爷。然而，去年夏天，爷爷因病去世，小男孩伤心欲绝。今年夏天，他回到村子，来到湖边，想起和爷爷的美好回忆，忍不住哭泣。他将爷爷的帽子放在湖边的石头上，希望能让爷爷的在天之灵得到安慰。那晚的哭泣声正是小男孩在祭莫他亲爱的爷爷。 | |
| **参与者提出的问题:** 死者受伤了吗 | |
| <|assistant|> | |
| Evaluating model: THUDM/glm-4-9b-chat-1m | |
| -------- | |
| step 1: | |
| 回答：不是 | |
| -------- | |
| step 2: | |
| 回答：不是 | |
| -------- | |
| step 3: | |
| 回答：不是 | |
| -------- | |
| step 4: 回答：不是 | |
| -------- | |
| step 5: 回答：不是 | |
| (3) GPU = NVIDIA L40. Max memory = 44.309 GB. | |
| 18.354 GB of memory reserved. | |
| text ... THUDM/glm-4-9b-chat-1m | |
| 0 甄加索是自杀吗 ... 回答：不是 | |
| [1 rows x 6 columns] | |
| {'accuracy': 0.3933333333333333, 'incorrect_ids': [0, 2, 4, 5, 7, 8, 9, 11, 12, 13, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 43, 50, 51, 57, 59, 60, 61, 63, 64, 65, 67, 68, 69, 70, 73, 75, 76, 77, 78, 82, 83, 84, 85, 87, 88, 89, 92, 93, 94, 95, 97, 98, 100, 103, 104, 105, 106, 107, 108, 109, 110, 112, 113, 114, 115, 116, 118, 119, 120, 121, 122, 123, 124, 125, 128, 130, 131, 132, 133, 135, 136, 137, 138, 139, 143, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 160, 161, 164, 166, 167, 168, 169, 170, 172, 176, 177, 178, 179, 180, 181, 184, 185, 186, 187, 190, 192, 194, 195, 196, 197, 199, 200, 203, 209, 210, 211, 213, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 232, 234, 235, 236, 237, 239, 241, 242, 243, 244, 245, 247, 248, 250, 251, 252, 253, 254, 256, 257, 260, 261, 265, 267, 268, 269, 270, 272, 273, 274, 277, 278, 279, 280, 282, 283, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 298, 299, 301, 302, 306, 307, 308, 309, 310, 312, 314, 316, 317, 320, 321, 322, 323, 325, 326, 327, 328, 330, 332, 333, 334, 335, 337, 339, 342, 345, 347, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 368, 369, 370, 371, 372, 373, 374, 376, 377, 380, 381, 382, 383, 385, 386, 388, 389, 390, 391, 392, 393, 395, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 408, 409, 410, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 425, 428, 434, 435, 437, 438, 439, 440, 443, 445, 446, 448, 450, 452, 453, 454, 455, 456, 457, 458, 461, 462, 463, 464, 465, 467, 468, 471, 472, 473, 474, 476, 478, 479, 480, 482, 483, 485, 486, 487, 488, 490, 491, 492, 493, 494, 495, 496, 499, 501, 502, 503, 504, 505, 507, 508, 509, 510, 511, 512, 513, 514, 517, 518, 519, 522, 526, 528, 530, 533, 536, 538, 539, 540, 548, 549, 550, 552, 553, 555, 559, 560, 566, 568, 570, 571, 574, 577, 578, 579, 580, 581, 582, 583, 585, 589, 591, 592, 593, 596, 597, 598, 599, 600, 601, 603, 605, 606, 607, 609, 610, 612, 613, 614, 617, 619, 621, 625, 626, 627, 628, 629, 630, 631, 632, 634, 635, 636, 640, 641, 643, 644, 645, 647, 648, 649, 657, 658, 659, 661, 662, 663, 664, 665, 666, 667, 668, 669, 671, 672, 677, 678, 680, 681, 682, 685, 688, 689, 690, 694, 696, 697, 701, 702, 704, 705, 710, 711, 712, 713, 715, 717, 718, 719, 720, 721, 722, 724, 725, 726, 727, 728, 729, 731, 734, 735, 739, 741, 743, 744, 745, 751, 752, 755, 759, 760, 762, 765, 767, 768, 769, 770, 771, 772, 774, 776, 777, 778, 779, 781, 783, 785, 786, 787, 788, 789, 790, 791, 793, 794, 795, 796, 797, 798, 800, 802, 803, 805, 806, 808, 809, 810, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 826, 827, 829, 830, 831, 832, 833, 837, 838, 840, 841, 847, 849, 853, 854, 855, 856, 857, 858, 859, 861, 862, 864, 865, 866, 867, 868, 869, 870, 872, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 889, 890, 892, 896, 898, 899, 900, 902, 903, 904, 905, 906, 908, 910, 912, 913, 916, 917, 925, 927, 928, 929, 930, 932, 933, 935, 936, 937, 940, 941, 944, 945, 946, 947, 949, 951, 952, 953, 954, 957, 958, 962, 963, 964, 965, 967, 971, 976, 979, 980, 982, 986, 988, 989, 991, 993, 995, 998, 999, 1001, 1002, 1003, 1007, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1017, 1019, 1020, 1021, 1022, 1023, 1025, 1030, 1031, 1033, 1036, 1037, 1038, 1040, 1043, 1045, 1046, 1047, 1051, 1052, 1053, 1055, 1056, 1057, 1060, 1066, 1067, 1068, 1069, 1070, 1071, 1072, 1075, 1077, 1078, 1079, 1080, 1081, 1084, 1087, 1088, 1089, 1091, 1092, 1095, 1096, 1098, 1099, 1104, 1105, 1106, 1107, 1109, 1111, 1112, 1114, 1116, 1118, 1121, 1122, 1123, 1125, 1126, 1130, 1135, 1137, 1138, 1139, 1141, 1144, 1147, 1148, 1149, 1150, 1151, 1153, 1154, 1155, 1156, 1157, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1169, 1172, 1174, 1175, 1176, 1177, 1178, 1181, 1183, 1185, 1189, 1190, 1192, 1194, 1197, 1198, 1199, 1200, 1202, 1203, 1204, 1207, 1209, 1210, 1211, 1212, 1213, 1215, 1216, 1218, 1219, 1220, 1221, 1224, 1227, 1229, 1231, 1232, 1235, 1237, 1238, 1240, 1241, 1242, 1243, 1245, 1248, 1249, 1250, 1252, 1254, 1255, 1256, 1257, 1258, 1261, 1262, 1263, 1268, 1269, 1270, 1275, 1277, 1280, 1285, 1289, 1291, 1294, 1295, 1296, 1297, 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1308, 1309, 1310, 1311, 1312, 1314, 1315, 1316, 1317, 1319, 1320, 1321, 1323, 1326, 1327, 1328, 1330, 1331, 1332, 1333, 1335, 1336, 1337, 1340, 1341, 1342, 1347, 1348, 1349, 1350, 1351, 1352, 1353, 1357, 1361, 1362, 1363, 1365, 1367, 1369, 1370, 1371, 1373, 1374, 1376, 1377, 1378, 1379, 1382, 1383, 1384, 1385, 1386, 1387, 1388, 1389, 1390, 1391, 1392, 1393, 1394, 1395, 1396, 1397, 1399, 1400, 1401, 1405, 1407, 1408, 1409, 1411, 1412, 1413, 1416, 1417, 1418, 1420, 1421, 1422, 1423, 1425, 1427, 1428, 1429, 1430, 1431, 1435, 1438, 1439, 1440, 1441, 1442, 1443, 1444, 1445, 1448, 1450, 1452, 1453, 1454, 1455, 1457, 1458, 1459, 1461, 1462, 1463, 1464, 1465, 1467, 1468, 1469, 1470, 1472, 1473, 1478, 1479, 1480, 1481, 1483, 1485, 1486, 1488, 1490, 1491, 1492, 1493, 1494, 1495, 1496, 1497, 1498, 1499, 1500, 1503, 1505, 1510, 1512, 1513, 1515, 1516, 1517, 1518, 1519, 1520, 1521, 1522, 1523, 1524, 1525, 1529, 1530, 1532, 1533, 1534, 1536, 1538, 1540, 1542, 1546, 1547, 1556, 1558, 1559, 1560, 1561, 1562, 1564, 1566, 1567, 1568, 1572, 1573, 1574, 1575, 1577, 1581, 1582, 1583, 1584, 1585, 1586, 1587, 1589, 1590, 1591, 1594, 1595, 1596, 1598, 1601, 1602, 1603, 1604, 1605, 1606, 1607, 1611, 1614, 1615, 1616, 1617, 1619, 1622, 1624, 1625, 1627, 1630, 1631, 1633, 1635, 1636, 1637, 1639, 1640, 1641, 1645, 1647, 1648, 1650, 1651, 1653, 1654, 1655, 1658, 1659, 1660, 1662, 1663, 1664, 1668, 1669, 1670, 1671, 1672, 1673, 1674, 1677, 1678, 1679, 1683, 1684, 1685, 1686, 1689, 1690, 1692, 1694, 1695, 1698, 1699, 1700, 1705, 1706, 1708, 1712, 1714, 1716, 1717, 1720, 1723, 1726, 1734, 1736, 1738, 1740, 1741, 1742, 1744, 1749, 1750, 1751, 1753, 1754, 1755, 1756, 1757, 1758, 1760, 1761, 1762, 1763, 1764, 1766, 1768, 1769, 1770, 1771, 1772, 1773, 1774, 1776, 1782, 1783, 1785, 1786, 1787, 1791, 1792, 1793, 1794, 1795, 1796, 1798, 1799, 1800, 1804, 1805, 1807, 1808, 1811, 1813, 1816, 1818, 1819, 1821, 1823, 1825, 1828, 1829, 1835, 1836, 1837, 1839, 1841, 1842, 1843, 1847, 1848, 1851, 1852, 1854, 1858, 1860, 1862, 1867, 1868, 1869, 1870, 1871, 1872, 1873, 1874, 1876, 1877, 1879, 1882, 1884, 1888, 1889, 1893, 1895, 1896, 1899, 1904, 1907, 1908, 1909, 1910, 1911, 1913, 1914, 1915, 1916, 1917, 1919, 1921, 1925, 1927, 1928, 1929, 1931, 1933, 1934, 1936, 1938, 1939, 1940, 1941, 1942, 1943, 1944, 1945, 1947, 1949, 1950, 1952, 1954, 1956, 1958, 1959, 1960, 1962, 1963, 1964, 1966, 1967, 1968, 1969, 1970, 1971, 1972, 1973, 1977, 1978, 1979, 1980, 1981, 1982, 1984, 1985, 1986, 1987, 1989, 1990, 1991, 1992, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2005, 2006, 2008, 2010, 2011, 2013, 2015, 2017, 2022, 2023, 2025, 2026, 2027, 2028, 2029, 2031, 2032, 2035, 2037, 2038, 2039, 2040, 2045, 2047, 2051, 2052, 2053, 2054, 2055, 2056, 2058, 2059, 2061, 2062, 2063, 2064, 2068, 2072, 2073, 2074, 2075, 2076, 2077, 2080, 2081, 2082, 2083, 2086, 2088, 2089, 2091, 2092, 2094, 2096, 2097, 2098, 2099, 2101, 2102, 2104, 2106, 2107, 2109, 2110, 2112, 2114, 2116, 2117, 2118, 2119, 2122, 2123, 2126, 2129, 2130, 2131, 2133, 2134, 2135, 2138, 2139, 2140, 2144, 2145, 2147, 2150, 2154, 2155, 2156, 2161, 2162, 2163, 2164, 2166, 2169, 2173, 2176, 2177, 2178, 2180, 2183, 2185, 2186, 2188, 2189, 2192, 2193, 2194, 2196, 2197, 2204, 2205, 2207, 2208, 2209, 2211, 2217, 2218, 2220, 2221, 2222, 2223, 2225, 2226, 2229, 2230, 2232, 2236, 2238, 2240, 2245, 2246, 2247, 2248, 2249, 2250, 2254, 2255, 2257, 2259, 2261, 2262, 2264, 2269, 2273, 2274, 2276, 2278, 2279, 2280, 2285, 2286, 2287, 2290, 2292, 2293, 2294, 2295, 2299, 2304, 2308, 2309, 2311, 2312, 2313, 2317, 2318, 2319, 2322, 2324, 2325, 2326, 2327, 2329, 2330, 2333, 2334, 2335, 2337, 2338, 2340, 2341, 2342, 2343, 2345, 2346, 2348, 2350, 2352, 2353, 2354, 2355, 2356, 2360, 2361, 2362, 2364, 2366, 2368, 2369, 2375, 2378, 2379, 2380, 2381, 2383, 2387, 2388, 2390, 2391, 2395, 2396, 2397, 2398, 2399, 2400, 2401, 2402, 2403, 2404, 2405, 2406, 2407, 2408, 2410, 2411, 2415, 2416, 2417, 2418, 2419, 2422, 2423, 2424, 2425, 2429, 2430, 2437, 2439, 2440, 2441, 2444, 2445, 2446, 2447, 2448, 2451, 2452, 2457, 2458, 2461, 2463, 2465, 2467, 2468, 2469, 2471, 2475, 2476, 2477, 2478, 2479, 2481, 2482, 2483, 2484, 2485, 2486, 2487, 2489, 2491, 2492, 2493, 2494, 2495, 2496, 2497, 2499, 2501, 2502, 2503, 2504, 2509, 2512, 2513, 2515, 2516, 2517, 2519, 2520, 2521, 2522, 2523, 2526, 2528, 2529, 2530, 2531, 2532, 2534, 2535, 2537, 2539, 2541, 2543, 2545, 2546, 2547, 2548, 2549, 2551, 2554, 2555, 2556, 2557, 2558, 2559, 2560, 2562, 2563, 2564, 2565, 2566, 2567, 2568, 2569, 2572, 2574, 2575, 2580, 2584, 2586, 2587, 2588, 2589, 2590, 2591, 2592, 2594, 2596, 2597, 2598, 2599, 2600, 2606, 2607, 2608, 2610, 2611, 2612, 2613, 2615, 2618, 2620, 2621, 2622, 2623, 2624, 2629, 2630, 2633, 2639, 2640, 2642, 2643, 2644, 2646, 2649, 2651, 2653, 2654, 2655, 2657, 2660, 2661, 2662, 2663, 2665, 2667, 2669, 2670, 2672, 2673, 2675, 2676, 2677, 2678, 2681, 2682, 2683, 2684, 2685, 2686, 2687, 2689, 2691, 2696, 2697, 2698, 2699, 2701, 2703, 2704, 2705, 2706, 2708, 2710, 2713, 2714, 2715, 2716, 2717, 2719, 2724, 2725, 2726, 2727, 2728, 2729, 2730, 2731, 2733, 2734, 2736, 2737, 2738, 2739, 2743, 2745, 2747, 2748, 2749, 2751, 2752, 2754, 2755, 2756, 2760, 2761, 2762, 2763, 2764, 2765, 2766, 2767, 2768, 2769, 2772, 2776, 2777, 2779, 2780, 2781, 2784, 2787, 2790, 2795, 2798, 2800, 2801, 2802, 2803, 2804, 2805, 2807, 2809, 2810, 2812, 2815, 2816, 2818, 2820, 2823, 2825, 2828, 2829, 2830, 2832, 2837, 2840, 2841, 2842, 2843, 2844, 2845, 2849, 2850, 2853, 2855, 2856, 2857, 2858, 2859, 2860, 2861, 2864, 2866, 2867, 2868, 2869, 2870, 2872, 2875, 2877, 2878, 2880, 2881, 2882, 2884, 2885, 2887, 2888, 2889, 2890, 2891, 2893, 2894, 2895, 2896, 2898, 2899, 2900, 2902, 2905, 2907, 2908, 2909, 2912, 2913, 2915, 2916, 2917, 2918, 2919, 2920, 2921, 2923, 2925, 2927, 2931, 2932, 2933, 2936, 2938, 2939, 2940, 2943, 2944, 2949, 2950, 2953, 2957, 2959, 2962, 2963, 2964, 2965, 2967, 2968, 2969, 2970, 2972, 2973, 2974, 2975, 2977, 2979, 2981, 2983, 2984, 2985, 2987, 2988, 2990, 2991, 2992, 2995, 2996, 2998, 2999]} | |