zero = int(False) one = int(True) two = one + one ten_thousand = int(str(one)+str(zero)*(two+two)) def mod_is_zero(x, y): if y == zero: return False i = y while i < x: i += y return (i == x) def is_prime(x): if (x <= one) or ((x >> one << one) == x and x != two): # check if less than two or even return False i = two half_x = (x >> one) while i < half_x: if mod_is_zero(x, i): return False i += one return True i = one while i < ten_thousand: print('{}: {}'.format(i, is_prime(i))) i += one
Standard input is empty
1: False 2: True 3: True 4: False 5: True 6: False 7: True 8: False 9: False 10: False 11: True 12: False 13: True 14: False 15: False 16: False 17: True 18: False 19: True 20: False 21: False 22: False 23: True 24: False 25: False 26: False 27: False 28: False 29: True 30: False 31: True 32: False 33: False 34: False 35: False 36: False 37: True 38: False 39: False 40: False 41: True 42: False 43: True 44: False 45: False 46: False 47: True 48: False 49: False 50: False 51: False 52: False 53: True 54: False 55: False 56: False 57: False 58: False 59: True 60: False 61: True 62: False 63: False 64: False 65: False 66: False 67: True 68: False 69: False 70: False 71: True 72: False 73: True 74: False 75: False 76: False 77: False 78: False 79: True 80: False 81: False 82: False 83: True 84: False 85: False 86: False 87: False 88: False 89: True 90: False 91: False 92: False 93: False 94: False 95: False 96: False 97: True 98: False 99: False 100: False 101: True 102: False 103: True 104: False 105: False 106: False 107: True 108: False 109: True 110: False 111: False 112: False 113: True 114: False 115: False 116: False 117: False 118: False 119: False 120: False 121: False 122: False 123: False 124: False 125: False 126: False 127: True 128: False 129: False 130: False 131: True 132: False 133: False 134: False 135: False 136: False 137: True 138: False 139: True 140: False 141: False 142: False 143: False 144: False 145: False 146: False 147: False 148: False 149: True 150: False 151: True 152: False 153: False 154: False 155: False 156: False 157: True 158: False 159: False 160: False 161: False 162: False 163: True 164: False 165: False 166: False 167: True 168: False 169: False 170: False 171: False 172: False 173: True 174: False 175: False 176: False 177: False 178: False 179: True 180: False 181: True 182: False 183: False 184: False 185: False 186: False 187: False 188: False 189: False 190: False 191: True 192: False 193: True 194: False 195: False 196: False 197: True 198: False 199: True 200: False 201: False 202: False 203: False 204: False 205: False 206: False 207: False 208: False 209: False 210: False 211: True 212: False 213: False 214: False 215: False 216: False 217: False 218: False 219: False 220: False 221: False 222: False 223: True 224: False 225: False 226: False 227: True 228: False 229: True 230: False 231: False 232: False 233: True 234: False 235: False 236: False 237: False 238: False 239: True 240: False 241: True 242: False 243: False 244: False 245: False 246: False 247: False 248: False 249: False 250: False 251: True 252: False 253: False 254: False 255: False 256: False 257: True 258: False 259: False 260: False 261: False 262: False 263: True 264: False 265: False 266: False 267: False 268: False 269: True 270: False 271: True 272: False 273: False 274: False 275: False 276: False 277: True 278: False 279: False 280: False 281: True 282: False 283: True 284: False 285: False 286: False 287: False 288: False 289: False 290: False 291: False 292: False 293: True 294: False 295: False 296: False 297: False 298: False 299: False 300: False 301: False 302: False 303: False 304: False 305: False 306: False 307: True 308: False 309: False 310: False 311: True 312: False 313: True 314: False 315: False 316: False 317: True 318: False 319: False 320: False 321: False 322: False 323: False 324: False 325: False 326: False 327: False 328: False 329: False 330: False 331: True 332: False 333: False 334: False 335: False 336: False 337: True 338: False 339: False 340: False 341: False 342: False 343: False 344: False 345: False 346: False 347: True 348: False 349: True 350: False 351: False 352: False 353: True 354: False 355: False 356: False 357: False 358: False 359: True 360: False 361: False 362: False 363: False 364: False 365: False 366: False 367: True 368: False 369: False 370: False 371: False 372: False 373: True 374: False 375: False 376: False 377: False 378: False 379: True 380: False 381: False 382: False 383: True 384: False 385: False 386: False 387: False 388: False 389: True 390: False 391: False 392: False 393: False 394: False 395: False 396: False 397: True 398: False 399: False 400: False 401: True 402: False 403: False 404: False 405: False 406: False 407: False 408: False 409: True 410: False 411: False 412: False 413: False 414: False 415: False 416: False 417: False 418: False 419: True 420: False 421: True 422: False 423: False 424: False 425: False 426: False 427: False 428: False 429: False 430: False 431: True 432: False 433: True 434: False 435: False 436: False 437: False 438: False 439: True 440: False 441: False 442: False 443: True 444: False 445: False 446: False 447: False 448: False 449: True 450: False 451: False 452: False 453: False 454: False 455: False 456: False 457: True 458: False 459: False 460: False 461: True 462: False 463: True 464: False 465: False 466: False 467: True 468: False 469: False 470: False 471: False 472: False 473: False 474: False 475: False 476: False 477: False 478: False 479: True 480: False 481: False 482: False 483: False 484: False 485: False 486: False 487: True 488: False 489: False 490: False 491: True 492: False 493: False 494: False 495: False 496: False 497: False 498: False 499: True 500: False 501: False 502: False 503: True 504: False 505: False 506: False 507: False 508: False 509: True 510: False 511: False 512: False 513: False 514: False 515: False 516: False 517: False 518: False 519: False 520: False 521: True 522: False 523: True 524: False 525: False 526: False 527: False 528: False 529: False 530: False 531: False 532: False 533: False 534: False 535: False 536: False 537: False 538: False 539: False 540: False 541: True 542: False 543: False 544: False 545: False 546: False 547: True 548: False 549: False 550: False 551: False 552: False 553: False 554: False 555: False 556: False 557: True 558: False 559: False 560: False 561: False 562: False 563: True 564: False 565: False 566: False 567: False 568: False 569: True 570: False 571: True 572: False 573: False 574: False 575: False 576: False 577: True 578: False 579: False 580: False 581: False 582: False 583: False 584: False 585: False 586: False 587: True 588: False 589: False 590: False 591: False 592: False 593: True 594: False 595: False 596: False 597: False 598: False 599: True 600: False 601: True 602: False 603: False 604: False 605: False 606: False 607: True 608: False 609: False 610: False 611: False 612: False 613: True 614: False 615: False 616: False 617: True 618: False 619: True 620: False 621: False 622: False 623: False 624: False 625: False 626: False 627: False 628: False 629: False 630: False 631: True 632: False 633: False 634: False 635: False 636: False 637: False 638: False 639: False 640: False 641: True 642: False 643: True 644: False 645: False 646: False 647: True 648: False 649: False 650: False 651: False 652: False 653: True 654: False 655: False 656: False 657: False 658: False 659: True 660: False 661: True 662: False 663: False 664: False 665: False 666: False 667: False 668: False 669: False 670: False 671: False 672: False 673: True 674: False 675: False 676: False 677: True 678: False 679: False 680: False 681: False 682: False 683: True 684: False 685: False 686: False 687: False 688: False 689: False 690: False 691: True 692: False 693: False 694: False 695: False 696: False 697: False 698: False 699: False 700: False 701: True 702: False 703: False 704: False 705: False 706: False 707: False 708: False 709: True 710: False 711: False 712: False 713: False 714: False 715: False 716: False 717: False 718: False 719: True 720: False 721: False 722: False 723: False 724: False 725: False 726: False 727: True 728: False 729: False 730: False 731: False 732: False 733: True 734: False 735: False 736: False 737: False 738: False 739: True 740: False 741: False 742: False 743: True 744: False 745: False 746: False 747: False 748: False 749: False 750: False 751: True 752: False 753: False 754: False 755: False 756: False 757: True 758: False 759: False 760: False 761: True 762: False 763: False 764: False 765: False 766: False 767: False 768: False 769: True 770: False 771: False 772: False 773: True 774: False 775: False 776: False 777: False 778: False 779: False 780: False 781: False 782: False 783: False 784: False 785: False 786: False 787: True 788: False 789: False 790: False 791: False 792: False 793: False 794: False 795: False 796: False 797: True 798: False 799: False 800: False 801: False 802: False 803: False 804: False 805: False 806: False 807: False 808: False 809: True 810: False 811: True 812: False 813: False 814: False 815: False 816: False 817: False 818: False 819: False 820: False 821: True 822: False 823: True 824: False 825: False 826: False 827: True 828: False 829: True 830: False 831: False 832: False 833: False 834: False 835: False 836: False 837: False 838: False 839: True 840: False 841: False 842: False 843: False 844: False 845: False 846: False 847: False 848: False 849: False 850: False 851: False 852: False 853: True 854: False 855: False 856: False 857: True 858: False 859: True 860: False 861: False 862: False 863: True 864: False 865: False 866: False 867: False 868: False 869: False 870: False 871: False 872: False 873: False 874: False 875: False 876: False 877: True 878: False 879: False 880: False 881: True 882: False 883: True 884: False 885: False 886: False 887: True 888: False 889: False 890: False 891: False 892: False 893: False 894: False 895: False 896: False 897: False 898: False 899: False 900: False 901: False 902: False 903: False 904: False 905: False 906: False 907: True 908: False 909: False 910: False 911: True 912: False 913: False 914: False 915: False 916: False 917: False 918: False 919: True 920: False 921: False 922: False 923: False 924: False 925: False 926: False 927: False 928: False 929: True 930: False 931: False 932: False 933: False 934: False 935: False 936: False 937: True 938: False 939: False 940: False 941: True 942: False 943: False 944: False 945: False 946: False 947: True 948: False 949: False 950: False 951: False 952: False 953: True 954: False 955: False 956: False 957: False 958: False 959: False 960: False 961: False 962: False 963: False 964: False 965: False 966: False 967: True 968: False 969: False 970: False 971: True 972: False 973: False 974: False 975: False 976: False 977: True 978: False 979: False 980: False 981: False 982: False 983: True 984: False 985: False 986: False 987: False 988: False 989: False 990: False 991: True 992: False 993: False 994: False 995: False 996: False 997: True 998: False 999: False 1000: False 1001: False 1002: False 1003: False 1004: False 1005: False 1006: False 1007: False 1008: False 1009: True 1010: False 1011: False 1012: False 1013: True 1014: False 1015: False 1016: False 1017: False 1018: False 1019: True 1020: False 1021: True 1022: False 1023: False 1024: False 1025: False 1026: False 1027: False 1028: False 1029: False 1030: False 1031: True 1032: False 1033: True 1034: False 1035: False 1036: False 1037: False 1038: False 1039: True 1040: False 1041: False 1042: False 1043: False 1044: False 1045: False 1046: False 1047: False 1048: False 1049: True 1050: False 1051: True 1052: False 1053: False 1054: False 1055: False 1056: False 1057: False 1058: False 1059: False 1060: False 1061: True 1062: False 1063: True 1064: False 1065: False 1066: False 1067: False 1068: False 1069: True 1070: False 1071: False 1072: False 1073: False 1074: False 1075: False 1076: False 1077: False 1078: False 1079: False 1080: False 1081: False 1082: False 1083: False 1084: False 1085: False 1086: False 1087: True 1088: False 1089: False 1090: False 1091: True 1092: False 1093: True 1094: False 1095: False 1096: False 1097: True 1098: False 1099: False 1100: False 1101: False 1102: False 1103: True 1104: False 1105: False 1106: False 1107: False 1108: False 1109: True 1110: False 1111: False 1112: False 1113: False 1114: False 1115: False 1116: False 1117: True 1118: False 1119: False 1120: False 1121: False 1122: False 1123: True 1124: False 1125: False 1126: False 1127: False 1128: False 1129: True 1130: False 1131: False 1132: False 1133: False 1134: False 1135: False 1136: False 1137: False 1138: False 1139: False 1140: False 1141: False 1142: False 1143: False 1144: False 1145: False 1146: False 1147: False 1148: False 1149: False 1150: False 1151: True 1152: False 1153: True 1154: False 1155: False 1156: False 1157: False 1158: False 1159: False 1160: False 1161: False 1162: False 1163: True 1164: False 1165: False 1166: False 1167: False 1168: False 1169: False 1170: False 1171: True 1172: False 1173: False 1174: False 1175: False 1176: False 1177: False 1178: False 1179: False 1180: False 1181: True 1182: False 1183: False 1184: False 1185: False 1186: False 1187: True 1188: False 1189: False 1190: False 1191: False 1192: False 1193: True 1194: False 1195: False 1196: False 1197: False 1198: False 1199: False 1200: False 1201: True 1202: False 1203: False 1204: False 1205: False 1206: False 1207: False 1208: False 1209: False 1210: False 1211: False 1212: False 1213: True 1214: False 1215: False 1216: False 1217: True 1218: False 1219: False 1220: False 1221: False 1222: False 1223: True 1224: False 1225: False 1226: False 1227: False 1228: False 1229: True 1230: False 1231: True 1232: False 1233: False 1234: False 1235: False 1236: False 1237: True 1238: False 1239: False 1240: False 1241: False 1242: False 1243: False 1244: False 1245: False 1246: False 1247: False 1248: False 1249: True 1250: False 1251: False 1252: False 1253: False 1254: False 1255: False 1256: False 1257: False 1258: False 1259: True 1260: False 1261: False 1262: False 1263: False 1264: False 1265: False 1266: False 1267: False 1268: False 1269: False 1270: False 1271: False 1272: False 1273: False 1274: False 1275: False 1276: False 1277: True 1278: False 1279: True 1280: False 1281: False 1282: False 1283: True 1284: False 1285: False 1286: False 1287: False 1288: False 1289: True 1290: False 1291: True 1292: False 1293: False 1294: False 1295: False 1296: False 1297: True 1298: False 1299: False 1300: False 1301: True 1302: False 1303: True 1304: False 1305: False 1306: False 1307: True 1308: False 1309: False 1310: False 1311: False 1312: False 1313: False 1314: False 1315: False 1316: False 1317: False 1318: False 1319: True 1320: False 1321: True 1322: False 1323: False 1324: False 1325: False 1326: False 1327: True 1328: False 1329: False 1330: False 1331: False 1332: False 1333: False 1334: False 1335: False 1336: False 1337: False 1338: False 1339: False 1340: False 1341: False 1342: False 1343: False 1344: False 1345: False 1346: False 1347: False 1348: False 1349: False 1350: False 1351: False 1352: False 1353: False 1354: False 1355: False 1356: False 1357: False 1358: False 1359: False 1360: False 1361: True 1362: False 1363: False 1364: False 1365: False 1366: False 1367: True 1368: False 1369: False 1370: False 1371: False 1372: False 1373: True 1374: False 1375: False 1376: False 1377: False 1378: False 1379: False 1380: False 1381: True 1382: False 1383: False 1384: False 1385: False 1386: False 1387: False 1388: False 1389: False 1390: False 1391: False 1392: False 1393: False 1394: False 1395: False 1396: False 1397: False 1398: False 1399: True 1400: False 1401: False 1402: False 1403: False 1404: False 1405: False 1406: False 1407: False 1408: False 1409: True 1410: False 1411: False 1412: False 1413: False 1414: False 1415: False 1416: False 1417: False 1418: False 1419: False 1420: False 1421: False 1422: False 1423: True 1424: False 1425: False 1426: False 1427: True 1428: False 1429: True 1430: False 1431: False 1432: False 1433: True 1434: False 1435: False 1436: False 1437: False 1438: False 1439: True 1440: False 1441: False 1442: False 1443: False 1444: False 1445: False 1446: False 1447: True 1448: False 1449: False 1450: False 1451: True 1452: False 1453: True 1454: False 1455: False 1456: False 1457: False 1458: False 1459: True 1460: False 1461: False 1462: False 1463: False 1464: False 1465: False 1466: False 1467: False 1468: False 1469: False 1470: False 1471: True 1472: False 1473: False 1474: False 1475: False 1476: False 1477: False 1478: False 1479: False 1480: False 1481: True 1482: False 1483: True 1484: False 1485: False 1486: False 1487: True 1488: False 1489: True 1490: False 1491: False 1492: False 1493: True 1494: False 1495: False 1496: False 1497: False 1498: False 1499: True 1500: False 1501: False 1502: False 1503: False 1504: False 1505: False 1506: False 1507: False 1508: False 1509: False 1510: False 1511: True 1512: False 1513: False 1514: False 1515: False 1516: False 1517: False 1518: False 1519: False 1520: False 1521: False 1522: False 1523: True 1524: False 1525: False 1526: False 1527: False 1528: False 1529: False 1530: False 1531: True 1532: False 1533: False 1534: False 1535: False 1536: False 1537: False 1538: False 1539: False 1540: False 1541: False 1542: False 1543: True 1544: False 1545: False 1546: False 1547: False 1548: False 1549: True 1550: False 1551: False 1552: False 1553: True 1554: False 1555: False 1556: False 1557: False 1558: False 1559: True 1560: False 1561: False 1562: False 1563: False 1564: False 1565: False 1566: False 1567: True 1568: False 1569: False 1570: False 1571: True 1572: False 1573: False 1574: False 1575: False 1576: False 1577: False 1578: False 1579: True 1580: False 1581: False 1582: False 1583: True 1584: False 1585: False 1586: False 1587: False 1588: False 1589: False 1590: False 1591: False 1592: False 1593: False 1594: False 1595: False 1596: False 1597: True 1598: False 1599: False 1600: False 1601: True 1602: False 1603: False 1604: False 1605: False 1606: False 1607: True 1608: False 1609: True 1610: False 1611: False 1612: False 1613: True 1614: False 1615: False 1616: False 1617: False 1618: False 1619: True 1620: False 1621: True 1622: False 1623: False 1624: False 1625: False 1626: False 1627: True 1628: False 1629: False 1630: False 1631: False 1632: False 1633: False 1634: False 1635: False 1636: False 1637: True 1638: False 1639: False 1640: False 1641: False 1642: False 1643: False 1644: False 1645: False 1646: False 1647: False 1648: False 1649: False 1650: False 1651: False 1652: False 1653: False 1654: False 1655: False 1656: False 1657: True 1658: False 1659: False 1660: False 1661: False 1662: False 1663: True 1664: False 1665: False 1666: False 1667: True 1668: False 1669: True 1670: False 1671: False 1672: False 1673: False 1674: False 1675: False 1676: False 1677: False 1678: False 1679: False 1680: False 1681: False 1682: False 1683: False 1684: False 1685: False 1686: False 1687: False 1688: False 1689: False 1690: False 1691: False 1692: False 1693: True 1694: False 1695: False 1696: False 1697: True 1698: False 1699: True 1700: False 1701: False 1702: False 1703: False 1704: False 1705: False 1706: False 1707: False 1708: False 1709: True 1710: False 1711: False 1712: False 1713: False 1714: False 1715: False 1716: False 1717: False 1718: False 1719: False 1720: False 1721: True 1722: False 1723: True 1724: False 1725: False 1726: False 1727: False 1728: False 1729: False 1730: False 1731: False 1732: False 1733: True 1734: False 1735: False 1736: False 1737: False 1738: False 1739: False 1740: False 1741: True 1742: False 1743: False 1744: False 1745: False 1746: False 1747: True 1748: False 1749: False 1750: False 1751: False 1752: False 1753: True 1754: False 1755: False 1756: False 1757: False 1758: False 1759: True 1760: False 1761: False 1762: False 1763: False 1764: False 1765: False 1766: False 1767: False 1768: False 1769: False 1770: False 1771: False 1772: False 1773: False 1774: False 1775: False 1776: False 1777: True 1778: False 1779: False 1780: False 1781: False 1782: False 1783: True 1784: False 1785: False 1786: False 1787: True 1788: False 1789: True 1790: False 1791: False 1792: False 1793: False 1794: False 1795: False 1796: False 1797: False 1798: False 1799: False 1800: False 1801: True 1802: False 1803: False 1804: False 1805: False 1806: False 1807: False 1808: False 1809: False 1810: False 1811: True 1812: False 1813: False 1814: False 1815: False 1816: False 1817: False 1818: False 1819: False 1820: False 1821: False 1822: False 1823: True 1824: False 1825: False 1826: False 1827: False 1828: False 1829: False 1830: False 1831: True 1832: False 1833: False 1834: False 1835: False 1836: False 1837: False 1838: False 1839: False 1840: False 1841: False 1842: False 1843: False 1844: False 1845: False 1846: False 1847: True 1848: False 1849: False 1850: False 1851: False 1852: False 1853: False 1854: False 1855: False 1856: False 1857: False 1858: False 1859: False 1860: False 1861: True 1862: False 1863: False 1864: False 1865: False 1866: False 1867: True 1868: False 1869: False 1870: False 1871: True 1872: False 1873: True 1874: False 1875: False 1876: False 1877: True 1878: False 1879: True 1880: False 1881: False 1882: False 1883: False 1884: False 1885: False 1886: False 1887: False 1888: False 1889: True 1890: False 1891: False 1892: False 1893: False 1894: False 1895: False 1896: False 1897: False 1898: False 1899: False 1900: False 1901: True 1902: False 1903: False 1904: False 1905: False 1906: False 1907: True 1908: False 1909: False 1910: False 1911: False 1912: False 1913: True 1914: False 1915: False 1916: False 1917: False 1918: False 1919: False 1920: False 1921: False 1922: False 1923: False 1924: False 1925: False 1926: False 1927: False 1928: False 1929: False 1930: False 1931: True 1932: False 1933: True 1934: False 1935: False 1936: False 1937: False 1938: False 1939: False 1940: False 1941: False 1942: False 1943: False 1944: False 1945: False 1946: False 1947: False 1948: False 1949: True 1950: False 1951: True 1952: False 1953: False 1954: False 1955: False 1956: False 1957: False 1958: False 1959: False 1960: False 1961: False 1962: False 1963: False 1964: False 1965: False 1966: False 1967: False 1968: False 1969: False 1970: False 1971: False 1972: False 1973: True 1974: False 1975: False 1976: False 1977: False 1978: False 1979: True 1980: False 1981: False 1982: False 1983: False 1984: False 1985: False 1986: False 1987: True 1988: False 1989: False 1990: False 1991: False 1992: False 1993: True 1994: False 1995: False 1996: False 1997: True 1998: False 1999: True 2000: False 2001: False 2002: False 2003: True 2004: False 2005: False 2006: False 2007: False 2008: False 2009: False 2010: False 2011: True 2012: False 2013: False 2014: False 2015: False 2016: False 2017: True 2018: False 2019: False 2020: False 2021: False 2022: False 2023: False 2024: False 2025: False 2026: False 2027: True 2028: False 2029: True 2030: False 2031: False 2032: False 2033: False 2034: False 2035: False 2036: False 2037: False 2038: False 2039: True 2040: False 2041: False 2042: False 2043: False 2044: False 2045: False 2046: False 2047: False 2048: False 2049: False 2050: False 2051: False 2052: False 2053: True 2054: False 2055: False 2056: False 2057: False 2058: False 2059: False 2060: False 2061: False 2062: False 2063: True 2064: False 2065: False 2066: False 2067: False 2068: False 2069: True 2070: False 2071: False 2072: False 2073: False 2074: False 2075: False 2076: False 2077: False 2078: False 2079: False 2080: False 2081: True 2082: False 2083: True 2084: False 2085: False 2086: False 2087: True 2088: False 2089: True 2090: False 2091: False 2092: False 2093: False 2094: False 2095: False 2096: False 2097: False 2098: False 2099: True 2100: False 2101: False 2102: False 2103: False 2104: False 2105: False 2106: False 2107: False 2108: False 2109: False 2110: False 2111: True 2112: False 2113: True 2114: False 2115: False 2116: False 2117: False 2118: False 2119: False 2120: False 2121: False 2122: False 2123: False 2124: False 2125: False 2126: False 2127: False 2128: False 2129: True 2130: False 2131: True 2132: False 2133: False 2134: False 2135: False 2136: False 2137: True 2138: False 2139: False 2140: False 2141: True 2142: False 2143: True 2144: False 2145: False 2146: False 2147: False 2148: False 2149: False 2150: False 2151: False 2152: False 2153: True 2154: False 2155: False 2156: False 2157: False 2158: False 2159: False 2160: False 2161: True 2162: False 2163: False 2164: False 2165: False 2166: False 2167: False 2168: False 2169: False 2170: False 2171: False 2172: False 2173: False 2174: False 2175: False 2176: False 2177: False 2178: False 2179: True 2180: False 2181: False 2182: False 2183: False 2184: False 2185: False 2186: False 2187: False 2188: False 2189: False 2190: False 2191: False 2192: False 2193: False 2194: False 2195: False 2196: False 2197: False 2198: False 2199: False 2200: False 2201: False 2202: False 2203: True 2204: False 2205: False 2206: False 2207: True 2208: False 2209: False 2210: False 2211: False 2212: False 2213: True 2214: False 2215: False 2216: False 2217: False 2218: False 2219: False 2220: False 2221: True 2222: False 2223: False 2224: False 2225: False 2226: False 2227: False 2228: False 2229: False 2230: False 2231: False 2232: False 2233: False 2234: False 2235: False 2236: False 2237: True 2238: False 2239: True 2240: False 2241: False 2242: False 2243: True 2244: False 2245: False 2246: False 2247: False 2248: False 2249: False 2250: False 2251: True 2252: False 2253: False 2254: False 2255: False 2256: False 2257: False 2258: False 2259: False 2260: False 2261: False 2262: False 2263: False 2264: False 2265: False 2266: False 2267: True 2268: False 2269: True 2270: False 2271: False 2272: False 2273: True 2274: False 2275: False 2276: False 2277: False 2278: False 2279: False 2280: False 2281: True 2282: False 2283: False 2284: False 2285: False 2286: False 2287: True 2288: False 2289: False 2290: False 2291: False 2292: False 2293: True 2294: False 2295: False 2296: False 2297: True 2298: False 2299: False 2300: False 2301: False 2302: False 2303: False 2304: False 2305: False 2306: False 2307: False 2308: False 2309: True 2310: False 2311: True 2312: False 2313: False 2314: False 2315: False 2316: False 2317: False 2318: False 2319: False 2320: False 2321: False 2322: False 2323: False 2324: False 2325: False 2326: False 2327: False 2328: False 2329: False 2330: False 2331: False 2332: False 2333: True 2334: False 2335: False 2336: False 2337: False 2338: False 2339: True 2340: False 2341: True 2342: False 2343: False 2344: False 2345: False 2346: False 2347: True 2348: False 2349: False 2350: False 2351: True 2352: False 2353: False 2354: False 2355: False 2356: False 2357: True 2358: False 2359: False 2360: False 2361: False 2362: False 2363: False 2364: False 2365: False 2366: False 2367: False 2368: False 2369: False 2370: False 2371: True 2372: False 2373: False 2374: False 2375: False 2376: False 2377: True 2378: False 2379: False 2380: False 2381: True 2382: False 2383: True 2384: False 2385: False 2386: False 2387: False 2388: False 2389: True 2390: False 2391: False 2392: False 2393: True 2394: False 2395: False 2396: False 2397: False 2398: False 2399: True 2400: False 2401: False 2402: False 2403: False 2404: False 2405: False 2406: False 2407: False 2408: False 2409: False 2410: False 2411: True 2412: False 2413: False 2414: False 2415: False 2416: False 2417: True 2418: False 2419: False 2420: False 2421: False 2422: False 2423: True 2424: False 2425: False 2426: False 2427: False 2428: False 2429: False 2430: False 2431: False 2432: False 2433: False 2434: False 2435: False 2436: False 2437: True 2438: False 2439: False 2440: False 2441: True 2442: False 2443: False 2444: False 2445: False 2446: False 2447: True 2448: False 2449: False 2450: False 2451: False 2452: False 2453: False 2454: False 2455: False 2456: False 2457: False 2458: False 2459: True 2460: False 2461: False 2462: False 2463: False 2464: False 2465: False 2466: False 2467: True 2468: False 2469: False 2470: False 2471: False 2472: False 2473: True 2474: False 2475: False 2476: False 2477: True 2478: False 2479: False 2480: False 2481: False 2482: False 2483: False 2484: False 2485: False 2486: False 2487: False 2488: False 2489: False 2490: False 2491: False 2492: False 2493: False 2494: False 2495: False 2496: False 2497: False 2498: False 2499: False 2500: False 2501: False 2502: False 2503: True 2504: False 2505: False 2506: False 2507: False 2508: False 2509: False 2510: False 2511: False 2512: False 2513: False 2514: False 2515: False 2516: False 2517: False 2518: False 2519: False 2520: False 2521: True 2522: False 2523: False 2524: False 2525: False 2526: False 2527: False 2528: False 2529: False 2530: False 2531: True 2532: False 2533: False 2534: False 2535: False 2536: False 2537: False 2538: False 2539: True 2540: False 2541: False 2542: False 2543: True 2544: False 2545: False 2546: False 2547: False 2548: False 2549: True 2550: False 2551: True 2552: False 2553: False 2554: False 2555: False 2556: False 2557: True 2558: False 2559: False 2560: False 2561: False 2562: False 2563: False 2564: False 2565: False 2566: False 2567: False 2568: False 2569: False 2570: False 2571: False 2572: False 2573: False 2574: False 2575: False 2576: False 2577: False 2578: False 2579: True 2580: False 2581: False 2582: False 2583: False 2584: False 2585: False 2586: False 2587: False 2588: False 2589: False 2590: False 2591: True 2592: False 2593: True 2594: False 2595: False 2596: False 2597: False 2598: False 2599: False 2600: False 2601: False 2602: False 2603: False 2604: False 2605: False 2606: False 2607: False 2608: False 2609: True 2610: False 2611: False 2612: False 2613: False 2614: False 2615: False 2616: False 2617: True 2618: False 2619: False 2620: False 2621: True 2622: False 2623: False 2624: False 2625: False 2626: False 2627: False 2628: False 2629: False 2630: False 2631: False 2632: False 2633: True 2634: False 2635: False 2636: False 2637: False 2638: False 2639: False 2640: False 2641: False 2642: False 2643: False 2644: False 2645: False 2646: False 2647: True 2648: False 2649: False 2650: False 2651: False 2652: False 2653: False 2654: False 2655: False 2656: False 2657: True 2658: False 2659: True 2660: False 2661: False 2662: False 2663: True 2664: False 2665: False 2666: False 2667: False 2668: False 2669: False 2670: False 2671: True 2672: False 2673: False 2674: False 2675: False 2676: False 2677: True 2678: False 2679: False 2680: False 2681: False 2682: False 2683: True 2684: False 2685: False 2686: False 2687: True 2688: False 2689: True 2690: False 2691: False 2692: False 2693: True 2694: False 2695: False 2696: False 2697: False 2698: False 2699: True 2700: False 2701: False 2702: False 2703: False 2704: False 2705: False 2706: False 2707: True 2708: False 2709: False 2710: False 2711: True 2712: False 2713: True 2714: False 2715: False 2716: False 2717: False 2718: False 2719: True 2720: False 2721: False 2722: False 2723: False 2724: False 2725: False 2726: False 2727: False 2728: False 2729: True 2730: False 2731: True 2732: False 2733: False 2734: False 2735: False 2736: False 2737: False 2738: False 2739: False 2740: False 2741: True 2742: False 2743: False 2744: False 2745: False 2746: False 2747: False 2748: False 2749: True 2750: False 2751: False 2752: False 2753: True 2754: False 2755: False 2756: False 2757: False 2758: False 2759: False 2760: False 2761: False 2762: False 2763: False 2764: False 2765: False 2766: False 2767: True 2768: False 2769: False 2770: False 2771: False 2772: False 2773: False 2774: False 2775: False 2776: False 2777: True 2778: False 2779: False 2780: False 2781: False 2782: False 2783: False 2784: False 2785: False 2786: False 2787: False 2788: False 2789: True 2790: False 2791: True 2792: False 2793: False 2794: False 2795: False 2796: False 2797: True 2798: False 2799: False 2800: False 2801: True 2802: False 2803: True 2804: False 2805: False 2806: False 2807: False 2808: False 2809: False 2810: False 2811: False 2812: False 2813: False 2814: False 2815: False 2816: False 2817: False 2818: False 2819: True 2820: False 2821: False 2822: False 2823: False 2824: False 2825: False 2826: False 2827: False 2828: False 2829: False 2830: False 2831: False 2832: False 2833: True 2834: False 2835: False 2836: False 2837: True 2838: False 2839: False 2840: False 2841: False 2842: False 2843: True 2844: False 2845: False 2846: False 2847: False 2848: False 2849: False 2850: False 2851: True 2852: False 2853: False 2854: False 2855: False 2856: False 2857: True 2858: False 2859: False 2860: False 2861: True 2862: False 2863: False 2864: False 2865: False 2866: False 2867: False 2868: False 2869: False 2870: False 2871: False 2872: False 2873: False 2874: False 2875: False 2876: False 2877: False 2878: False 2879: True 2880: False 2881: False 2882: False 2883: False 2884: False 2885: False 2886: False 2887: True 2888: False 2889: False 2890: False 2891: False 2892: False 2893: False 2894: False 2895: False 2896: False 2897: True 2898: False 2899: False 2900: False 2901: False 2902: False 2903: True 2904: False 2905: False 2906: False 2907: False 2908: False 2909: True 2910: False 2911: False 2912: False 2913: False 2914: False 2915: False 2916: False 2917: True 2918: False 2919: False 2920: False 2921: False 2922: False 2923: False 2924: False 2925: False 2926: False 2927: True 2928: False 2929: False 2930: False 2931: False 2932: False 2933: False 2934: False 2935: False 2936: False 2937: False 2938: False 2939: True 2940: False 2941: False 2942: False 2943: False 2944: False 2945: False 2946: False 2947: False 2948: False 2949: False 2950: False 2951: False 2952: False 2953: True 2954: False 2955: False 2956: False 2957: True 2958: False 2959: False 2960: False 2961: False 2962: False 2963: True 2964: False 2965: False 2966: False 2967: False 2968: False 2969: True 2970: False 2971: True 2972: False 2973: False 2974: False 2975: False 2976: False 2977: False 2978: False 2979: False 2980: False 2981: False 2982: False 2983: False 2984: False 2985: False 2986: False 2987: False 2988: False 2989: False 2990: False 2991: False 2992: False 2993: False 2994: False 2995: False 2996: False 2997: False 2998: False 2999: True 3000: False 3001: True 3002: False 3003: False 3004: False 3005: False 3006: False 3007: False 3008: False 3009: False 3010: False 3011: True 3012: False 3013: False 3014: False 3015: False 3016: False 3017: False 3018: False 3019: True 3020: False 3021: False 3022: False 3023: True 3024: False 3025: False 3026: False 3027: False 3028: False 3029: False 3030: False 3031: False 3032: False 3033: False 3034: False 3035: False 3036: False 3037: True 3038: False 3039: False 3040: False 3041: True 3042: False 3043: False 3044: False 3045: False 3046: False 3047: False 3048: False 3049: True 3050: False 3051: False 3052: False 3053: False 3054: False 3055: False 3056: False 3057: False 3058: False 3059: False 3060: False 3061: True 3062: False 3063: False 3064: False 3065: False 3066: False 3067: True 3068: False 3069: False 3070: False 3071: False 3072: False 3073: False 3074: False 3075: False 3076: False 3077: False 3078: False 3079: True 3080: False 3081: False 3082: False 3083: True 3084: False 3085: False 3086: False 3087: False 3088: False 3089: True 3090: False 3091: False 3092: False 3093: False 3094: False 3095: False 3096: False 3097: False 3098: False 3099: False 3100: False 3101: False 3102: False 3103: False 3104: False 3105: False 3106: False 3107: False 3108: False 3109: True 3110: False 3111: False 3112: False 3113: False 3114: False 3115: False 3116: False 3117: False 3118: False 3119: True 3120: False 3121: True 3122: False 3123: False 3124: False 3125: False 3126: False 3127: False 3128: False 3129: False 3130: False 3131: False 3132: False 3133: False 3134: False 3135: False 3136: False 3137: True 3138: False 3139: False 3140: False 3141: False 3142: False 3143: False 3144: False 3145: False 3146: False 3147: False 3148: False 3149: False 3150: False 3151: False 3152: False 3153: False 3154: False 3155: False 3156: False 3157: False 3158: False 3159: False 3160: False 3161: False 3162: False 3163: True 3164: False 3165: False 3166: False 3167: True 3168: False 3169: True 3170: False 3171: False 3172: False 3173: False 3174: False 3175: False 3176: False 3177: False 3178: False 3179: False 3180: False 3181: True 3182: False 3183: False 3184: False 3185: False 3186: False 3187: True 3188: False 3189: False 3190: False 3191: True 3192: False 3193: False 3194: False 3195: False 3196: False 3197: False 3198: False 3199: False 3200: False 3201: False 3202: False 3203: True 3204: False 3205: False 3206: False 3207: False 3208: False 3209: True 3210: False 3211: False 3212: False 3213: False 3214: False 3215: False 3216: False 3217: True 3218: False 3219: False 3220: False 3221: True 3222: False 3223: False 3224: False 3225: False 3226: False 3227: False 3228: False 3229: True 3230: False 3231: False 3232: False 3233: False 3234: False 3235: False 3236: False 3237: False 3238: False 3239: False 3240: False 3241: False 3242: False 3243: False 3244: False 3245: False 3246: False 3247: False 3248: False 3249: False 3250: False 3251: True 3252: False 3253: True 3254: False 3255: False 3256: False 3257: True 3258: False 3259: True 3260: False 3261: False 3262: False 3263: False 3264: False 3265: False 3266: False 3267: False 3268: False 3269: False 3270: False 3271: True 3272: False 3273: False 3274: False 3275: False 3276: False 3277: False 3278: False 3279: False 3280: False 3281: False 3282: False 3283: False 3284: False 3285: False 3286: False 3287: False 3288: False 3289: False 3290: False 3291: False 3292: False 3293: False 3294: False 3295: False 3296: False 3297: False 3298: False 3299: True 3300: False 3301: True 3302: False 3303: False 3304: False 3305: False 3306: False 3307: True 3308: False 3309: False 3310: False 3311: False 3312: False 3313: True 3314: False 3315: False 3316: False 3317: False 3318: False 3319: True 3320: False 3321: False 3322: False 3323: True 3324: False 3325: False 3326: False 3327: False 3328: False 3329: True 3330: False 3331: True 3332: False 3333: False 3334: False 3335: False 3336: False 3337: False 3338: False 3339: False 3340: False 3341: False 3342: False 3343: True 3344: False 3345: False 3346: False 3347: True 3348: False 3349: False 3350: False 3351: False 3352: False 3353: False 3354: False 3355: False 3356: False 3357: False 3358: False 3359: True 3360: False 3361: True 3362: False 3363: False 3364: False 3365: False 3366: False 3367: False 3368: False 3369: False 3370: False 3371: True 3372: False 3373: True 3374: False 3375: False 3376: False 3377: False 3378: False 3379: False 3380: False 3381: False 3382: False 3383: False 3384: False 3385: False 3386: False 3387: False 3388: False 3389: True 3390: False 3391: True 3392: False 3393: False 3394: False 3395: False 3396: False 3397: False 3398: False 3399: False 3400: False 3401: False 3402: False 3403: False 3404: False 3405: False 3406: False 3407: True 3408: False 3409: False 3410: False 3411: False 3412: False 3413: True 3414: False 3415: False 3416: False 3417: False 3418: False 3419: False 3420: False 3421: False 3422: False 3423: False 3424: False 3425: False 3426: False 3427: False 3428: False 3429: False 3430: False 3431: False 3432: False 3433: True 3434: False 3435: False 3436: False 3437: False 3438: False 3439: False 3440: False 3441: False 3442: False 3443: False 3444: False 3445: False 3446: False 3447: False 3448: False 3449: True 3450: False 3451: False 3452: False 3453: False 3454: False 3455: False 3456: False 3457: True 3458: False 3459: False 3460: False 3461: True 3462: False 3463: True 3464: False 3465: False 3466: False 3467: True 3468: False 3469: True 3470: False 3471: False 3472: False 3473: False 3474: False 3475: False 3476: False 3477: False 3478: False 3479: False 3480: False 3481: False 3482: False 3483: False 3484: False 3485: False 3486: False 3487: False 3488: False 3489: False 3490: False 3491: True 3492: False 3493: False 3494: False 3495: False 3496: False 3497: False 3498: False 3499: True 3500: False 3501: False 3502: False 3503: False 3504: False 3505: False 3506: False 3507: False 3508: False 3509: False 3510: False 3511: True 3512: False 3513: False 3514: False 3515: False 3516: False 3517: True 3518: False 3519: False 3520: False 3521: False 3522: False 3523: False 3524: False 3525: False 3526: False 3527: True 3528: False 3529: True 3530: False 3531: False 3532: False 3533: True 3534: False 3535: False 3536: False 3537: False 3538: False 3539: True 3540: False 3541: True 3542: False 3543: False 3544: False 3545: False 3546: False 3547: True 3548: False 3549: False 3550: False 3551: False 3552: False 3553: False 3554: False 3555: False 3556: False 3557: True 3558: False 3559: True 3560: False 3561: False 3562: False 3563: False 3564: False 3565: False 3566: False 3567: False 3568: False 3569: False 3570: False 3571: True 3572: False 3573: False 3574: False 3575: False 3576: False 3577: False 3578: False 3579: False 3580: False 3581: True 3582: False 3583: True 3584: False 3585: False 3586: False 3587: False 3588: False 3589: False 3590: False 3591: False 3592: False 3593: True 3594: False 3595: False 3596: False 3597: False 3598: False 3599: False 3600: False 3601: False 3602: False 3603: False 3604: False 3605: False 3606: False 3607: True 3608: False 3609: False 3610: False 3611: False 3612: False 3613: True 3614: False 3615: False 3616: False 3617: True 3618: False 3619: False 3620: False 3621: False 3622: False 3623: True 3624: False 3625: False 3626: False 3627: False 3628: False 3629: False 3630: False 3631: True 3632: False 3633: False 3634: False 3635: False 3636: False 3637: True 3638: False 3639: False 3640: False 3641: False 3642: False 3643: True 3644: False 3645: False 3646: False 3647: False 3648: False 3649: False 3650: False 3651: False 3652: False 3653: False 3654: False 3655: False 3656: False 3657: False 3658: False 3659: True 3660: False 3661: False 3662: False 3663: False 3664: False 3665: False 3666: False 3667: False 3668: False 3669: False 3670: False 3671: True 3672: False 3673: True 3674: False 3675: False 3676: False 3677: True 3678: False 3679: False 3680: False 3681: False 3682: False 3683: False 3684: False 3685: False 3686: False 3687: False 3688: False 3689: False 3690: False 3691: True 3692: False 3693: False 3694: False 3695: False 3696: False 3697: True 3698: False 3699: False 3700: False 3701: True 3702: False 3703: False 3704: False 3705: False 3706: False 3707: False 3708: False 3709: True 3710: False 3711: False 3712: False 3713: False 3714: False 3715: False 3716: False 3717: False 3718: False 3719: True 3720: False 3721: False 3722: False 3723: False 3724: False 3725: False 3726: False 3727: True 3728: False 3729: False 3730: False 3731: False 3732: False 3733: True 3734: False 3735: False 3736: False 3737: False 3738: False 3739: True 3740: False 3741: False 3742: False 3743: False 3744: False 3745: False 3746: False 3747: False 3748: False 3749: False 3750: False 3751: False 3752: False 3753: False 3754: False 3755: False 3756: False 3757: False 3758: False 3759: False 3760: False 3761: True 3762: False 3763: False 3764: False 3765: False 3766: False 3767: True 3768: False 3769: True 3770: False 3771: False 3772: False 3773: False 3774: False 3775: False 3776: False 3777: False 3778: False 3779: True 3780: False 3781: False 3782: False 3783: False 3784: False 3785: False 3786: False 3787: False 3788: False 3789: False 3790: False 3791: False 3792: False 3793: True 3794: False 3795: False 3796: False 3797: True 3798: False 3799: False 3800: False 3801: False 3802: False 3803: True 3804: False 3805: False 3806: False 3807: False 3808: False 3809: False 3810: False 3811: False 3812: False 3813: False 3814: False 3815: False 3816: False 3817: False 3818: False 3819: False 3820: False 3821: True 3822: False 3823: True 3824: False 3825: False 3826: False 3827: False 3828: False 3829: False 3830: False 3831: False 3832: False 3833: True 3834: False 3835: False 3836: False 3837: False 3838: False 3839: False 3840: False 3841: False 3842: False 3843: False 3844: False 3845: False 3846: False 3847: True 3848: False 3849: False 3850: False 3851: True 3852: False 3853: True 3854: False 3855: False 3856: False 3857: False 3858: False 3859: False 3860: False 3861: False 3862: False 3863: True 3864: False 3865: False 3866: False 3867: False 3868: False 3869: False 3870: False 3871: False 3872: False 3873: False 3874: False 3875: False 3876: False 3877: True 3878: False 3879: False 3880: False 3881: True 3882: False 3883: False 3884: False 3885: False 3886: False 3887: False 3888: False 3889: True 3890: False 3891: False 3892: False 3893: False 3894: False 3895: False 3896: False 3897: False 3898: False 3899: False 3900: False 3901: False 3902: False 3903: False 3904: False 3905: False 3906: False 3907: True 3908: False 3909: False 3910: False 3911: True 3912: False 3913: False 3914: False 3915: False 3916: False 3917: True 3918: False 3919: True 3920: False 3921: False 3922: False 3923: True 3924: False 3925: False 3926: False 3927: False 3928: False 3929: True 3930: False 3931: True 3932: False 3933: False 3934: False 3935: False 3936: False 3937: False 3938: False 3939: False 3940: False 3941: False 3942: False 3943: True 3944: False 3945: False 3946: False 3947: True 3948: False 3949: False 3950: False 3951: False 3952: False 3953: False 3954: False 3955: False 3956: False 3957: False 3958: False 3959: False 3960: False 3961: False 3962: False 3963: False 3964: False 3965: False 3966: False 3967: True 3968: False 3969: False 3970: False 3971: False 3972: False 3973: False 3974: False 3975: False 3976: False 3977: False 3978: False 3979: False 3980: False 3981: False 3982: False 3983: False 3984: False 3985: False 3986: False 3987: False 3988: False 3989: True 3990: False 3991: False 3992: False 3993: False 3994: False 3995: False 3996: False 3997: False 3998: False 3999: False 4000: False 4001: True 4002: False 4003: True 4004: False 4005: False 4006: False 4007: True 4008: False 4009: False 4010: False 4011: False 4012: False 4013: True 4014: False 4015: False 4016: False 4017: False 4018: False 4019: True 4020: False 4021: True 4022: False 4023: False 4024: False 4025: False 4026: False 4027: True 4028: False 4029: False 4030: False 4031: False 4032: False 4033: False 4034: False 4035: False 4036: False 4037: False 4038: False 4039: False 4040: False 4041: False 4042: False 4043: False 4044: False 4045: False 4046: False 4047: False 4048: False 4049: True 4050: False 4051: True 4052: False 4053: False 4054: False 4055: False 4056: False 4057: True 4058: False 4059: False 4060: False 4061: False 4062: False 4063: False 4064: False 4065: False 4066: False 4067: False 4068: False 4069: False 4070: False 4071: False 4072: False 4073: True 4074: False 4075: False 4076: False 4077: False 4078: False 4079: True 4080: False 4081: False 4082: False 4083: False 4084: False 4085: False 4086: False 4087: False 4088: False 4089: False 4090: False 4091: True 4092: False 4093: True 4094: False 4095: False 4096: False 4097: False 4098: False 4099: True 4100: False 4101: False 4102: False 4103: False 4104: False 4105: False 4106: False 4107: False 4108: False 4109: False 4110: False 4111: True 4112: False 4113: False 4114: False 4115: False 4116: False 4117: False 4118: False 4119: False 4120: False 4121: False 4122: False 4123: False 4124: False 4125: False 4126: False 4127: True 4128: False 4129: True 4130: False 4131: False 4132: False 4133: True 4134: False 4135: False 4136: False 4137: False 4138: False 4139: True 4140: False 4141: False 4142: False 4143: False 4144: False 4145: False 4146: False 4147: False 4148: False 4149: False 4150: False 4151: False 4152: False 4153: True 4154: False 4155: False 4156: False 4157: True 4158: False 4159: True 4160: False 4161: False 4162: False 4163: False 4164: False 4165: False 4166: False 4167: False 4168: False 4169: False 4170: False 4171: False 4172: False 4173: False 4174: False 4175: False 4176: False 4177: True 4178: False 4179: False 4180: False 4181: False 4182: False 4183: False 4184: False 4185: False 4186: False 4187: False 4188: False 4189: False 4190: False 4191: False 4192: False 4193: False 4194: False 4195: False 4196: False 4197: False 4198: False 4199: False 4200: False 4201: True 4202: False 4203: False 4204: False 4205: False 4206: False 4207: False 4208: False 4209: False 4210: False 4211: True 4212: False 4213: False 4214: False 4215: False 4216: False 4217: True 4218: False 4219: True 4220: False 4221: False 4222: False 4223: False 4224: False 4225: False 4226: False 4227: False 4228: False 4229: True 4230: False 4231: True 4232: False 4233: False 4234: False 4235: False 4236: False 4237: False 4238: False 4239: False 4240: False 4241: True 4242: False 4243: True 4244: False 4245: False 4246: False 4247: False 4248: False 4249: False 4250: False 4251: False 4252: False 4253: True 4254: False 4255: False 4256: False 4257: False 4258: False 4259: True 4260: False 4261: True 4262: False 4263: False 4264: False 4265: False 4266: False 4267: False 4268: False 4269: False 4270: False 4271: True 4272: False 4273: True 4274: False 4275: False 4276: False 4277: False 4278: False 4279: False 4280: False 4281: False 4282: False 4283: True 4284: False 4285: False 4286: False 4287: False 4288: False 4289: True 4290: False 4291: False 4292: False 4293: False 4294: False 4295: False 4296: False 4297: True 4298: False 4299: False 4300: False 4301: False 4302: False 4303: False 4304: False 4305: False 4306: False 4307: False 4308: False 4309: False 4310: False 4311: False 4312: False 4313: False 4314: False 4315: False 4316: False 4317: False 4318: False 4319: False 4320: False 4321: False 4322: False 4323: False 4324: False 4325: False 4326: False 4327: True 4328: False 4329: False 4330: False 4331: False 4332: False 4333: False 4334: False 4335: False 4336: False 4337: True 4338: False 4339: True 4340: False 4341: False 4342: False 4343: False 4344: False 4345: False 4346: False 4347: False 4348: False 4349: True 4350: False 4351: False 4352: False 4353: False 4354: False 4355: False 4356: False 4357: True 4358: False 4359: False 4360: False 4361: False 4362: False 4363: True 4364: False 4365: False 4366: False 4367: False 4368: False 4369: False 4370: False 4371: False 4372: False 4373: True 4374: False 4375: False 4376: False 4377: False 4378: False 4379: False 4380: False 4381: False 4382: False 4383: False 4384: False 4385: False 4386: False 4387: False 4388: False 4389: False 4390: False 4391: True 4392: False 4393: False 4394: False 4395: False 4396: False 4397: True 4398: False 4399: False 4400: False 4401: False 4402: False 4403: False 4404: False 4405: False 4406: False 4407: False 4408: False 4409: True 4410: False 4411: False 4412: False 4413: False 4414: False 4415: False 4416: False 4417: False 4418: False 4419: False 4420: False 4421: True 4422: False 4423: True 4424: False 4425: False 4426: False 4427: False 4428: False 4429: False 4430: False 4431: False 4432: False 4433: False 4434: False 4435: False 4436: False 4437: False 4438: False 4439: False 4440: False 4441: True 4442: False 4443: False 4444: False 4445: False 4446: False 4447: True 4448: False 4449: False 4450: False 4451: True 4452: False 4453: False 4454: False 4455: False 4456: False 4457: True 4458: False 4459: False 4460: False 4461: False 4462: False 4463: True 4464: False 4465: False 4466: False 4467: False 4468: False 4469: False 4470: False 4471: False 4472: False 4473: False 4474: False 4475: False 4476: False 4477: False 4478: False 4479: False 4480: False 4481: True 4482: False 4483: True 4484: False 4485: False 4486: False 4487: False 4488: False 4489: False 4490: False 4491: False 4492: False 4493: True 4494: False 4495: False 4496: False 4497: False 4498: False 4499: False 4500: False 4501: False 4502: False 4503: False 4504: False 4505: False 4506: False 4507: True 4508: False 4509: False 4510: False 4511: False 4512: False 4513: True 4514: False 4515: False 4516: False 4517: True 4518: False 4519: True 4520: False 4521: False 4522: False 4523: True 4524: False 4525: False 4526: False 4527: False 4528: False 4529: False 4530: False 4531: False 4532: False 4533: False 4534: False 4535: False 4536: False 4537: False 4538: False 4539: False 4540: False 4541: False 4542: False 4543: False 4544: False 4545: False 4546: False 4547: True 4548: False 4549: True 4550: False 4551: False 4552: False 4553: False 4554: False 4555: False 4556: False 4557: False 4558: False 4559: False 4560: False 4561: True 4562: False 4563: False 4564: False 4565: False 4566: False 4567: True 4568: False 4569: False 4570: False 4571: False 4572: False 4573: False 4574: False 4575: False 4576: False 4577: False 4578: False 4579: False 4580: False 4581: False 4582: False 4583: True 4584: False 4585: False 4586: False 4587: False 4588: False 4589: False 4590: False 4591: True 4592: False 4593: False 4594: False 4595: False 4596: False 4597: True 4598: False 4599: False 4600: False 4601: False 4602: False 4603: True 4604: False 4605: False 4606: False 4607: False 4608: False 4609: False 4610: False 4611: False 4612: False 4613: False 4614: False 4615: False 4616: False 4617: False 4618: False 4619: False 4620: False 4621: True 4622: False 4623: False 4624: False 4625: False 4626: False 4627: False 4628: False 4629: False 4630: False 4631: False 4632: False 4633: False 4634: False 4635: False 4636: False 4637: True 4638: False 4639: True 4640: False 4641: False 4642: False 4643: True 4644: False 4645: False 4646: False 4647: False 4648: False 4649: True 4650: False 4651: True 4652: False 4653: False 4654: False 4655: False 4656: False 4657: True 4658: False 4659: False 4660: False 4661: False 4662: False 4663: True 4664: False 4665: False 4666: False 4667: False 4668: False 4669: False 4670: False 4671: False 4672: False 4673: True 4674: False 4675: False 4676: False 4677: False 4678: False 4679: True 4680: False 4681: False 4682: False 4683: False 4684: False 4685: False 4686: False 4687: False 4688: False 4689: False 4690: False 4691: True 4692: False 4693: False 4694: False 4695: False 4696: False 4697: False 4698: False 4699: False 4700: False 4701: False 4702: False 4703: True 4704: False 4705: False 4706: False 4707: False 4708: False 4709: False 4710: False 4711: False 4712: False 4713: False 4714: False 4715: False 4716: False 4717: False 4718: False 4719: False 4720: False 4721: True 4722: False 4723: True 4724: False 4725: False 4726: False 4727: False 4728: False 4729: True 4730: False 4731: False 4732: False 4733: True 4734: False 4735: False 4736: False 4737: False 4738: False 4739: False 4740: False 4741: False 4742: False 4743: False 4744: False 4745: False 4746: False 4747: False 4748: False 4749: False 4750: False 4751: True 4752: False 4753: False 4754: False 4755: False 4756: False 4757: False 4758: False 4759: True 4760: False 4761: False 4762: False 4763: False 4764: False 4765: False 4766: False 4767: False 4768: False 4769: False 4770: False 4771: False 4772: False 4773: False 4774: False 4775: False 4776: False 4777: False 4778: False 4779: False 4780: False 4781: False 4782: False 4783: True 4784: False 4785: False 4786: False 4787: True 4788: False 4789: True 4790: False 4791: False 4792: False 4793: True 4794: False 4795: False 4796: False 4797: False 4798: False 4799: True 4800: False 4801: True 4802: False 4803: False 4804: False 4805: False 4806: False 4807: False 4808: False 4809: False 4810: False 4811: False 4812: False 4813: True 4814: False 4815: False 4816: False 4817: True 4818: False 4819: False 4820: False 4821: False 4822: False 4823: False 4824: False 4825: False 4826: False 4827: False 4828: False 4829: False 4830: False 4831: True 4832: False 4833: False 4834: False 4835: False 4836: False 4837: False 4838: False 4839: False 4840: False 4841: False 4842: False 4843: False 4844: False 4845: False 4846: False 4847: False 4848: False 4849: False 4850: False 4851: False 4852: False 4853: False 4854: False 4855: False 4856: False 4857: False 4858: False 4859: False 4860: False 4861: True 4862: False 4863: False 4864: False 4865: False 4866: False 4867: False 4868: False 4869: False 4870: False 4871: True 4872: False 4873: False 4874: False 4875: False 4876: False 4877: True 4878: False 4879: False 4880: False 4881: False 4882: False 4883: False 4884: False 4885: False 4886: False 4887: False 4888: False 4889: True 4890: False 4891: False 4892: False 4893: False 4894: False 4895: False 4896: False 4897: False 4898: False 4899: False 4900: False 4901: False 4902: False 4903: True 4904: False 4905: False 4906: False 4907: False 4908: False 4909: True 4910: False 4911: False 4912: False 4913: False 4914: False 4915: False 4916: False 4917: False 4918: False 4919: True 4920: False 4921: False 4922: False 4923: False 4924: False 4925: False 4926: False 4927: False 4928: False 4929: False 4930: False 4931: True 4932: False 4933: True 4934: False 4935: False 4936: False 4937: True 4938: False 4939: False 4940: False 4941: False 4942: False 4943: True 4944: False 4945: False 4946: False 4947: False 4948: False 4949: False 4950: False 4951: True 4952: False 4953: False 4954: False 4955: False 4956: False 4957: True 4958: False 4959: False 4960: False 4961: False 4962: False 4963: False 4964: False 4965: False 4966: False 4967: True 4968: False 4969: True 4970: False 4971: False 4972: False 4973: True 4974: False 4975: False 4976: False 4977: False 4978: False 4979: False 4980: False 4981: False 4982: False 4983: False 4984: False 4985: False 4986: False 4987: True 4988: False 4989: False 4990: False 4991: False 4992: False 4993: True 4994: False 4995: False 4996: False 4997: False 4998: False 4999: True 5000: False 5001: False 5002: False 5003: True 5004: False 5005: False 5006: False 5007: False 5008: False 5009: True 5010: False 5011: True 5012: False 5013: False 5014: False 5015: False 5016: False 5017: False 5018: False 5019: False 5020: False 5021: True 5022: False 5023: True 5024: False 5025: False 5026: False 5027: False 5028: False 5029: False 5030: False 5031: False 5032: False 5033: False 5034: False 5035: False 5036: False 5037: False 5038: False 5039: True 5040: False 5041: False 5042: False 5043: False 5044: False 5045: False 5046: False 5047: False 5048: False 5049: False 5050: False 5051: True 5052: False 5053: False 5054: False 5055: False 5056: False 5057: False 5058: False 5059: True 5060: False 5061: False 5062: False 5063: False 5064: False 5065: False 5066: False 5067: False 5068: False 5069: False 5070: False 5071: False 5072: False 5073: False 5074: False 5075: False 5076: False 5077: True 5078: False 5079: False 5080: False 5081: True 5082: False 5083: False 5084: False 5085: False 5086: False 5087: True 5088: False 5089: False 5090: False 5091: False 5092: False 5093: False 5094: False 5095: False 5096: False 5097: False 5098: False 5099: True 5100: False 5101: True 5102: False 5103: False 5104: False 5105: False 5106: False 5107: True 5108: False 5109: False 5110: False 5111: False 5112: False 5113: True 5114: False 5115: False 5116: False 5117: False 5118: False 5119: True 5120: False 5121: False 5122: False 5123: False 5124: False 5125: False 5126: False 5127: False 5128: False 5129: False 5130: False 5131: False 5132: False 5133: False 5134: False 5135: False 5136: False 5137: False 5138: False 5139: False 5140: False 5141: False 5142: False 5143: False 5144: False 5145: False 5146: False 5147: True 5148: False 5149: False 5150: False 5151: False 5152: False 5153: True 5154: False 5155: False 5156: False 5157: False 5158: False 5159: False 5160: False 5161: False 5162: False 5163: False 5164: False 5165: False 5166: False 5167: True 5168: False 5169: False 5170: False 5171: True 5172: False 5173: False 5174: False 5175: False 5176: False 5177: False 5178: False 5179: True 5180: False 5181: False 5182: False 5183: False 5184: False 5185: False 5186: False 5187: False 5188: False 5189: True 5190: False 5191: False 5192: False 5193: False 5194: False 5195: False 5196: False 5197: True 5198: False 5199: False 5200: False 5201: False 5202: False 5203: False 5204: False 5205: False 5206: False 5207: False 5208: False 5209: True 5210: False 5211: False 5212: False 5213: False 5214: False 5215: False 5216: False 5217: False 5218: False 5219: False 5220: False 5221: False 5222: False 5223: False 5224: False 5225: False 5226: False 5227: True 5228: False 5229: False 5230: False 5231: True 5232: False 5233: True 5234: False 5235: False 5236: False 5237: True 5238: False 5239: False 5240: False 5241: False 5242: False 5243: False 5244: False 5245: False 5246: False 5247: False 5248: False 5249: False 5250: False 5251: False 5252: False 5253: False 5254: False 5255: False 5256: False 5257: False 5258: False 5259: False 5260: False 5261: True 5262: False 5263: False 5264: False 5265: False 5266: False 5267: False 5268: False 5269: False 5270: False 5271: False 5272: False 5273: True 5274: False 5275: False 5276: False 5277: False 5278: False 5279: True 5280: False 5281: True 5282: False 5283: False 5284: False 5285: False 5286: False 5287: False 5288: False 5289: False 5290: False 5291: False 5292: False 5293: False 5294: False 5295: False 5296: False 5297: True 5298: False 5299: False 5300: False 5301: False 5302: False 5303: True 5304: False 5305: False 5306: False 5307: False 5308: False 5309: True 5310: False 5311: False 5312: False 5313: False 5314: False 5315: False 5316: False 5317: False 5318: False 5319: False 5320: False 5321: False 5322: False 5323: True 5324: False 5325: False 5326: False 5327: False 5328: False 5329: False 5330: False 5331: False 5332: False 5333: True 5334: False 5335: False 5336: False 5337: False 5338: False 5339: False 5340: False 5341: False 5342: False 5343: False 5344: False 5345: False 5346: False 5347: True 5348: False 5349: False 5350: False 5351: True 5352: False 5353: False 5354: False 5355: False 5356: False 5357: False 5358: False 5359: False 5360: False 5361: False 5362: False 5363: False 5364: False 5365: False 5366: False 5367: False 5368: False 5369: False 5370: False 5371: False 5372: False 5373: False 5374: False 5375: False 5376: False 5377: False 5378: False 5379: False 5380: False 5381: True 5382: False 5383: False 5384: False 5385: False 5386: False 5387: True 5388: False 5389: False 5390: False 5391: False 5392: False 5393: True 5394: False 5395: False 5396: False 5397: False 5398: False 5399: True 5400: False 5401: False 5402: False 5403: False 5404: False 5405: False 5406: False 5407: True 5408: False 5409: False 5410: False 5411: False 5412: False 5413: True 5414: False 5415: False 5416: False 5417: True 5418: False 5419: True 5420: False 5421: False 5422: False 5423: False 5424: False 5425: False 5426: False 5427: False 5428: False 5429: False 5430: False 5431: True 5432: False 5433: False 5434: False 5435: False 5436: False 5437: True 5438: False 5439: False 5440: False 5441: True 5442: False 5443: True 5444: False 5445: False 5446: False 5447: False 5448: False 5449: True 5450: False 5451: False 5452: False 5453: False 5454: False 5455: False 5456: False 5457: False 5458: False 5459: False 5460: False 5461: False 5462: False 5463: False 5464: False 5465: False 5466: False 5467: False 5468: False 5469: False 5470: False 5471: True 5472: False 5473: False 5474: False 5475: False 5476: False 5477: True 5478: False 5479: True 5480: False 5481: False 5482: False 5483: True 5484: False 5485: False 5486: False 5487: False 5488: False 5489: False 5490: False 5491: False 5492: False 5493: False 5494: False 5495: False 5496: False 5497: False 5498: False 5499: False 5500: False 5501: True 5502: False 5503: True 5504: False 5505: False 5506: False 5507: True 5508: False 5509: False 5510: False 5511: False 5512: False 5513: False 5514: False 5515: False 5516: False 5517: False 5518: False 5519: True 5520: False 5521: True 5522: False 5523: False 5524: False 5525: False 5526: False 5527: True 5528: False 5529: False 5530: False 5531: True 5532: False 5533: False 5534: False 5535: False 5536: False 5537: False 5538: False 5539: False 5540: False 5541: False 5542: False 5543: False 5544: False 5545: False 5546: False 5547: False 5548: False 5549: False 5550: False 5551: False 5552: False 5553: False 5554: False 5555: False 5556: False 5557: True 5558: False 5559: False 5560: False 5561: False 5562: False 5563: True 5564: False 5565: False 5566: False 5567: False 5568: False 5569: True 5570: False 5571: False 5572: False 5573: True 5574: False 5575: False 5576: False 5577: False 5578: False 5579: False 5580: False 5581: True 5582: False 5583: False 5584: False 5585: False 5586: False 5587: False 5588: False 5589: False 5590: False 5591: True 5592: False 5593: False 5594: False 5595: False 5596: False 5597: False 5598: False 5599: False 5600: False 5601: False 5602: False 5603: False 5604: False 5605: False 5606: False 5607: False 5608: False 5609: False 5610: False 5611: False 5612: False 5613: False 5614: False 5615: False 5