fork download
  1. zero = int(False)
  2. one = int(True)
  3. two = one + one
  4. ten_thousand = int(str(one)+str(zero)*(two+two))
  5.  
  6. def mod_is_zero(x, y):
  7. if y == zero:
  8. return False
  9. i = y
  10. while i < x:
  11. i += y
  12. return (i == x)
  13.  
  14. def is_prime(x):
  15. if (x <= one) or ((x >> one << one) == x and x != two): # check if less than two or even
  16. return False
  17. i = two
  18. half_x = (x >> one)
  19. while i < half_x:
  20. if mod_is_zero(x, i):
  21. return False
  22. i += one
  23. return True
  24.  
  25. i = one
  26. while i < ten_thousand:
  27. print('{}: {}'.format(i, is_prime(i)))
  28. i += one
Runtime error #stdin #stdout 4.31s 9944KB
stdin
Standard input is empty
stdout
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