4,12,349,902,348,50,51,72,76,78,80,546,552,90,92,93,94,95,128,129,130,143,156,548,183,186,193,204,547,251,272,282,311,300,296,346,412,371,392,393,401,402,404,405,406,426,433,435,436,446,450,452,465,487,475,481,489,493,494,498,504,505,507,510,513,521,525,529,531,536,555,1112,559,565,566,570,571,573,578,588,589,595,599,600,601,602,608,611,612,618,623,624,627,629,630,634,635,636,639,640,645,649,650,652,657,658,668,671,672,673,682,688,690,692,691,696,1013,697,698,699,700,701,702,705,711,712,715,724,725,726,730,732,736,1010,738,742,743,744,745,746,747,749,751,752,1228,757,759,761,763,765,769,775,776,777,778,779,782,786,1095,787,788,790,794,1378,797,800,806,820,822,823,824,826,828,831,832,835,836,837,839,843,847,851,852,853,854,855,857,864,866,867,869,879,880,888,889,891,892,893,894,895,896,897,898,899,901,903,907,908,909,913,914,916,935,936,937,938,939,944,946,945,947,949,950,951,952,953,954,956,957,960,967,968,969,972,976,977,978,979,981,982,986,987,988,1249,991,992,995,999,1000,1001,1002,1003,1004,1005,1009,1011,1012,1014,1019,1020,1021,1022,1023,1027,1024,1029,1030,1040,1044,1177,1068,1085,1072,1075,1076,1078,1079,1081,1084,1086,1089,1091,1092,1093,1094,1096,1097,1098,1099,1100,1101,1103,1104,1105,1216,1109,1114,1115,1116,1117,1121,1122,1123,1127,1128,1129,1130,1133,1134,1135,1136,1137,1139,1141,1142,1147,1149,1151,1154,1155,1156,1157,1158,1159,1161,1162,1165,1168,1170,1173,1176,1178,1179,1182,1186,1187,1188,1189,1190,1192,1193,1199,1201,1202,1204,1207,1209,1212,1215,1218,1219,1220,1221,1226,1227,1234,1230,1237,1238,1240,1241,1243,1244,1245,1246,1247,1250,1251,1252,1256,1257,1258,1263,1266,1267,1268,1269,1270,1273,1277,1280,1281,1282,1287,1292,1290,1291,1294,1295,1300,1301,1302,1303,1304,1307,1309,1310,1311,1312,1314,1315,1316,1317,1319,1320,1323,1324,1325,1326,1327,1329,1331,1332,1333,1334,1335,1337,1342,1343,1344,1345,1346,1347,1350,1354,1355,1356,1357,1358,1359,1360,1363,1365,1366,1367,1369,1370,1371,1374,1375,1376,1377,1379,1380,1384,1386,1387,1388,1389,1390,1391,1392,1393,1394,1398,1399,1400,1401,1402,1403,1404,1405,1406,1407,1409,1410,1411,1412,1413,1414,1416,1417,1418,1420,1421,1422,1423,1425,1426,1429,1430,1432,1433,1434,1435,1438,1439,1440,1443,1444,1446,1448,1449,1450,1451,1452,1453,1454,1457,1458,1459,1461,1462,1463,1464,1465,1466,1467,1468,1469,1470,1471,1472,1473,1474,1475,1476,1477,1478,1479,1480,1481,1482,1483,1484,1485,1486,1487,1488,1489,1490,1522,1491,1492,1493,1494,1495,1496,1497,1498,1499,1500,1501,1502,1504,1505,1506,1507,1508,1509,1510,1511,1512,1513,1514,1515,1516,1517,1518,1519,1520,1523,1524,1525,1526,1527,1529,1531,1532,1536,1537,1538,1539,1540,1541,1542,1543,1544,1545,1551,1546,1547,1548,1549,1550,1552,1553,1561,1555,1556,1557,1558,1559,1560,1563,1564,1565,1566,1568,1569,1570,1571,1572,1573,1574,1585

a:0:{}