is_prime.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 27,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "3 {'p1c': 1, 'p2c': 1}\n",
      "5 {'p1c': 3, 'p2c': 2}\n",
      "7 {'p1c': 5, 'p2c': 3}\n",
      "11 {'p1c': 9, 'p2c': 5}\n",
      "13 {'p1c': 11, 'p2c': 6}\n",
      "17 {'p1c': 15, 'p2c': 8}\n",
      "19 {'p1c': 17, 'p2c': 9}\n",
      "23 {'p1c': 21, 'p2c': 11}\n",
      "29 {'p1c': 27, 'p2c': 14}\n",
      "31 {'p1c': 29, 'p2c': 15}\n",
      "37 {'p1c': 35, 'p2c': 18}\n",
      "41 {'p1c': 39, 'p2c': 20}\n",
      "43 {'p1c': 41, 'p2c': 21}\n",
      "47 {'p1c': 45, 'p2c': 23}\n",
      "53 {'p1c': 51, 'p2c': 26}\n",
      "59 {'p1c': 57, 'p2c': 29}\n",
      "61 {'p1c': 59, 'p2c': 30}\n",
      "67 {'p1c': 65, 'p2c': 33}\n",
      "71 {'p1c': 69, 'p2c': 35}\n",
      "73 {'p1c': 71, 'p2c': 36}\n",
      "79 {'p1c': 77, 'p2c': 39}\n",
      "83 {'p1c': 81, 'p2c': 41}\n",
      "89 {'p1c': 87, 'p2c': 44}\n",
      "97 {'p1c': 95, 'p2c': 48}\n",
      "101 {'p1c': 99, 'p2c': 50}\n",
      "103 {'p1c': 101, 'p2c': 51}\n",
      "107 {'p1c': 105, 'p2c': 53}\n",
      "109 {'p1c': 107, 'p2c': 54}\n",
      "113 {'p1c': 111, 'p2c': 56}\n",
      "127 {'p1c': 125, 'p2c': 63}\n",
      "131 {'p1c': 129, 'p2c': 65}\n",
      "137 {'p1c': 135, 'p2c': 68}\n",
      "139 {'p1c': 137, 'p2c': 69}\n",
      "149 {'p1c': 147, 'p2c': 74}\n",
      "151 {'p1c': 149, 'p2c': 75}\n",
      "157 {'p1c': 155, 'p2c': 78}\n",
      "163 {'p1c': 161, 'p2c': 81}\n",
      "167 {'p1c': 165, 'p2c': 83}\n",
      "173 {'p1c': 171, 'p2c': 86}\n",
      "179 {'p1c': 177, 'p2c': 89}\n",
      "181 {'p1c': 179, 'p2c': 90}\n",
      "191 {'p1c': 189, 'p2c': 95}\n",
      "193 {'p1c': 191, 'p2c': 96}\n",
      "197 {'p1c': 195, 'p2c': 98}\n",
      "199 {'p1c': 197, 'p2c': 99}\n",
      "211 {'p1c': 209, 'p2c': 105}\n",
      "223 {'p1c': 221, 'p2c': 111}\n",
      "227 {'p1c': 225, 'p2c': 113}\n",
      "229 {'p1c': 227, 'p2c': 114}\n",
      "233 {'p1c': 231, 'p2c': 116}\n",
      "239 {'p1c': 237, 'p2c': 119}\n",
      "241 {'p1c': 239, 'p2c': 120}\n",
      "251 {'p1c': 249, 'p2c': 125}\n",
      "257 {'p1c': 255, 'p2c': 128}\n",
      "263 {'p1c': 261, 'p2c': 131}\n",
      "269 {'p1c': 267, 'p2c': 134}\n",
      "271 {'p1c': 269, 'p2c': 135}\n",
      "277 {'p1c': 275, 'p2c': 138}\n",
      "281 {'p1c': 279, 'p2c': 140}\n",
      "283 {'p1c': 281, 'p2c': 141}\n",
      "293 {'p1c': 291, 'p2c': 146}\n",
      "307 {'p1c': 305, 'p2c': 153}\n",
      "311 {'p1c': 309, 'p2c': 155}\n",
      "313 {'p1c': 311, 'p2c': 156}\n",
      "317 {'p1c': 315, 'p2c': 158}\n",
      "331 {'p1c': 329, 'p2c': 165}\n",
      "337 {'p1c': 335, 'p2c': 168}\n",
      "347 {'p1c': 345, 'p2c': 173}\n",
      "349 {'p1c': 347, 'p2c': 174}\n",
      "353 {'p1c': 351, 'p2c': 176}\n",
      "359 {'p1c': 357, 'p2c': 179}\n",
      "367 {'p1c': 365, 'p2c': 183}\n",
      "373 {'p1c': 371, 'p2c': 186}\n",
      "379 {'p1c': 377, 'p2c': 189}\n",
      "383 {'p1c': 381, 'p2c': 191}\n",
      "389 {'p1c': 387, 'p2c': 194}\n",
      "397 {'p1c': 395, 'p2c': 198}\n",
      "401 {'p1c': 399, 'p2c': 200}\n",
      "409 {'p1c': 407, 'p2c': 204}\n",
      "419 {'p1c': 417, 'p2c': 209}\n",
      "421 {'p1c': 419, 'p2c': 210}\n",
      "431 {'p1c': 429, 'p2c': 215}\n",
      "433 {'p1c': 431, 'p2c': 216}\n",
      "439 {'p1c': 437, 'p2c': 219}\n",
      "443 {'p1c': 441, 'p2c': 221}\n",
      "449 {'p1c': 447, 'p2c': 224}\n",
      "457 {'p1c': 455, 'p2c': 228}\n",
      "461 {'p1c': 459, 'p2c': 230}\n",
      "463 {'p1c': 461, 'p2c': 231}\n",
      "467 {'p1c': 465, 'p2c': 233}\n",
      "479 {'p1c': 477, 'p2c': 239}\n",
      "487 {'p1c': 485, 'p2c': 243}\n",
      "491 {'p1c': 489, 'p2c': 245}\n",
      "499 {'p1c': 497, 'p2c': 249}\n",
      "503 {'p1c': 501, 'p2c': 251}\n",
      "509 {'p1c': 507, 'p2c': 254}\n",
      "521 {'p1c': 519, 'p2c': 260}\n",
      "523 {'p1c': 521, 'p2c': 261}\n",
      "541 {'p1c': 539, 'p2c': 270}\n",
      "547 {'p1c': 545, 'p2c': 273}\n",
      "557 {'p1c': 555, 'p2c': 278}\n",
      "563 {'p1c': 561, 'p2c': 281}\n",
      "569 {'p1c': 567, 'p2c': 284}\n",
      "571 {'p1c': 569, 'p2c': 285}\n",
      "577 {'p1c': 575, 'p2c': 288}\n",
      "587 {'p1c': 585, 'p2c': 293}\n",
      "593 {'p1c': 591, 'p2c': 296}\n",
      "599 {'p1c': 597, 'p2c': 299}\n",
      "601 {'p1c': 599, 'p2c': 300}\n",
      "607 {'p1c': 605, 'p2c': 303}\n",
      "613 {'p1c': 611, 'p2c': 306}\n",
      "617 {'p1c': 615, 'p2c': 308}\n",
      "619 {'p1c': 617, 'p2c': 309}\n",
      "631 {'p1c': 629, 'p2c': 315}\n",
      "641 {'p1c': 639, 'p2c': 320}\n",
      "643 {'p1c': 641, 'p2c': 321}\n",
      "647 {'p1c': 645, 'p2c': 323}\n",
      "653 {'p1c': 651, 'p2c': 326}\n",
      "659 {'p1c': 657, 'p2c': 329}\n",
      "661 {'p1c': 659, 'p2c': 330}\n",
      "673 {'p1c': 671, 'p2c': 336}\n",
      "677 {'p1c': 675, 'p2c': 338}\n",
      "683 {'p1c': 681, 'p2c': 341}\n",
      "691 {'p1c': 689, 'p2c': 345}\n",
      "701 {'p1c': 699, 'p2c': 350}\n",
      "709 {'p1c': 707, 'p2c': 354}\n",
      "719 {'p1c': 717, 'p2c': 359}\n",
      "727 {'p1c': 725, 'p2c': 363}\n",
      "733 {'p1c': 731, 'p2c': 366}\n",
      "739 {'p1c': 737, 'p2c': 369}\n",
      "743 {'p1c': 741, 'p2c': 371}\n",
      "751 {'p1c': 749, 'p2c': 375}\n",
      "757 {'p1c': 755, 'p2c': 378}\n",
      "761 {'p1c': 759, 'p2c': 380}\n",
      "769 {'p1c': 767, 'p2c': 384}\n",
      "773 {'p1c': 771, 'p2c': 386}\n",
      "787 {'p1c': 785, 'p2c': 393}\n",
      "797 {'p1c': 795, 'p2c': 398}\n",
      "809 {'p1c': 807, 'p2c': 404}\n",
      "811 {'p1c': 809, 'p2c': 405}\n",
      "821 {'p1c': 819, 'p2c': 410}\n",
      "823 {'p1c': 821, 'p2c': 411}\n",
      "827 {'p1c': 825, 'p2c': 413}\n",
      "829 {'p1c': 827, 'p2c': 414}\n",
      "839 {'p1c': 837, 'p2c': 419}\n",
      "853 {'p1c': 851, 'p2c': 426}\n",
      "857 {'p1c': 855, 'p2c': 428}\n",
      "859 {'p1c': 857, 'p2c': 429}\n",
      "863 {'p1c': 861, 'p2c': 431}\n",
      "877 {'p1c': 875, 'p2c': 438}\n",
      "881 {'p1c': 879, 'p2c': 440}\n",
      "883 {'p1c': 881, 'p2c': 441}\n",
      "887 {'p1c': 885, 'p2c': 443}\n",
      "907 {'p1c': 905, 'p2c': 453}\n",
      "911 {'p1c': 909, 'p2c': 455}\n",
      "919 {'p1c': 917, 'p2c': 459}\n",
      "929 {'p1c': 927, 'p2c': 464}\n",
      "937 {'p1c': 935, 'p2c': 468}\n",
      "941 {'p1c': 939, 'p2c': 470}\n",
      "947 {'p1c': 945, 'p2c': 473}\n",
      "953 {'p1c': 951, 'p2c': 476}\n",
      "967 {'p1c': 965, 'p2c': 483}\n",
      "971 {'p1c': 969, 'p2c': 485}\n",
      "977 {'p1c': 975, 'p2c': 488}\n",
      "983 {'p1c': 981, 'p2c': 491}\n",
      "991 {'p1c': 989, 'p2c': 495}\n",
      "997 {'p1c': 995, 'p2c': 498}\n",
      "1009 {'p1c': 1007, 'p2c': 504}\n",
      "1013 {'p1c': 1011, 'p2c': 506}\n",
      "1019 {'p1c': 1017, 'p2c': 509}\n",
      "1021 {'p1c': 1019, 'p2c': 510}\n",
      "1031 {'p1c': 1029, 'p2c': 515}\n",
      "1033 {'p1c': 1031, 'p2c': 516}\n",
      "1039 {'p1c': 1037, 'p2c': 519}\n",
      "1049 {'p1c': 1047, 'p2c': 524}\n",
      "1051 {'p1c': 1049, 'p2c': 525}\n",
      "1061 {'p1c': 1059, 'p2c': 530}\n",
      "1063 {'p1c': 1061, 'p2c': 531}\n",
      "1069 {'p1c': 1067, 'p2c': 534}\n",
      "1087 {'p1c': 1085, 'p2c': 543}\n",
      "1091 {'p1c': 1089, 'p2c': 545}\n",
      "1093 {'p1c': 1091, 'p2c': 546}\n",
      "1097 {'p1c': 1095, 'p2c': 548}\n",
      "1103 {'p1c': 1101, 'p2c': 551}\n",
      "1109 {'p1c': 1107, 'p2c': 554}\n",
      "1117 {'p1c': 1115, 'p2c': 558}\n",
      "1123 {'p1c': 1121, 'p2c': 561}\n",
      "1129 {'p1c': 1127, 'p2c': 564}\n",
      "1151 {'p1c': 1149, 'p2c': 575}\n",
      "1153 {'p1c': 1151, 'p2c': 576}\n",
      "1163 {'p1c': 1161, 'p2c': 581}\n",
      "1171 {'p1c': 1169, 'p2c': 585}\n",
      "1181 {'p1c': 1179, 'p2c': 590}\n",
      "1187 {'p1c': 1185, 'p2c': 593}\n",
      "1193 {'p1c': 1191, 'p2c': 596}\n",
      "1201 {'p1c': 1199, 'p2c': 600}\n",
      "1213 {'p1c': 1211, 'p2c': 606}\n",
      "1217 {'p1c': 1215, 'p2c': 608}\n",
      "1223 {'p1c': 1221, 'p2c': 611}\n",
      "1229 {'p1c': 1227, 'p2c': 614}\n",
      "1231 {'p1c': 1229, 'p2c': 615}\n",
      "1237 {'p1c': 1235, 'p2c': 618}\n",
      "1249 {'p1c': 1247, 'p2c': 624}\n",
      "1259 {'p1c': 1257, 'p2c': 629}\n",
      "1277 {'p1c': 1275, 'p2c': 638}\n",
      "1279 {'p1c': 1277, 'p2c': 639}\n",
      "1283 {'p1c': 1281, 'p2c': 641}\n",
      "1289 {'p1c': 1287, 'p2c': 644}\n",
      "1291 {'p1c': 1289, 'p2c': 645}\n",
      "1297 {'p1c': 1295, 'p2c': 648}\n",
      "1301 {'p1c': 1299, 'p2c': 650}\n",
      "1303 {'p1c': 1301, 'p2c': 651}\n",
      "1307 {'p1c': 1305, 'p2c': 653}\n",
      "1319 {'p1c': 1317, 'p2c': 659}\n",
      "1321 {'p1c': 1319, 'p2c': 660}\n",
      "1327 {'p1c': 1325, 'p2c': 663}\n",
      "1361 {'p1c': 1359, 'p2c': 680}\n",
      "1367 {'p1c': 1365, 'p2c': 683}\n",
      "1373 {'p1c': 1371, 'p2c': 686}\n",
      "1381 {'p1c': 1379, 'p2c': 690}\n",
      "1399 {'p1c': 1397, 'p2c': 699}\n",
      "1409 {'p1c': 1407, 'p2c': 704}\n",
      "1423 {'p1c': 1421, 'p2c': 711}\n",
      "1427 {'p1c': 1425, 'p2c': 713}\n",
      "1429 {'p1c': 1427, 'p2c': 714}\n",
      "1433 {'p1c': 1431, 'p2c': 716}\n",
      "1439 {'p1c': 1437, 'p2c': 719}\n",
      "1447 {'p1c': 1445, 'p2c': 723}\n",
      "1451 {'p1c': 1449, 'p2c': 725}\n",
      "1453 {'p1c': 1451, 'p2c': 726}\n",
      "1459 {'p1c': 1457, 'p2c': 729}\n",
      "1471 {'p1c': 1469, 'p2c': 735}\n",
      "1481 {'p1c': 1479, 'p2c': 740}\n",
      "1483 {'p1c': 1481, 'p2c': 741}\n",
      "1487 {'p1c': 1485, 'p2c': 743}\n",
      "1489 {'p1c': 1487, 'p2c': 744}\n",
      "1493 {'p1c': 1491, 'p2c': 746}\n",
      "1499 {'p1c': 1497, 'p2c': 749}\n",
      "1511 {'p1c': 1509, 'p2c': 755}\n",
      "1523 {'p1c': 1521, 'p2c': 761}\n",
      "1531 {'p1c': 1529, 'p2c': 765}\n",
      "1543 {'p1c': 1541, 'p2c': 771}\n",
      "1549 {'p1c': 1547, 'p2c': 774}\n",
      "1553 {'p1c': 1551, 'p2c': 776}\n",
      "1559 {'p1c': 1557, 'p2c': 779}\n",
      "1567 {'p1c': 1565, 'p2c': 783}\n",
      "1571 {'p1c': 1569, 'p2c': 785}\n",
      "1579 {'p1c': 1577, 'p2c': 789}\n",
      "1583 {'p1c': 1581, 'p2c': 791}\n",
      "1597 {'p1c': 1595, 'p2c': 798}\n",
      "1601 {'p1c': 1599, 'p2c': 800}\n",
      "1607 {'p1c': 1605, 'p2c': 803}\n",
      "1609 {'p1c': 1607, 'p2c': 804}\n",
      "1613 {'p1c': 1611, 'p2c': 806}\n",
      "1619 {'p1c': 1617, 'p2c': 809}\n",
      "1621 {'p1c': 1619, 'p2c': 810}\n",
      "1627 {'p1c': 1625, 'p2c': 813}\n",
      "1637 {'p1c': 1635, 'p2c': 818}\n",
      "1657 {'p1c': 1655, 'p2c': 828}\n",
      "1663 {'p1c': 1661, 'p2c': 831}\n",
      "1667 {'p1c': 1665, 'p2c': 833}\n",
      "1669 {'p1c': 1667, 'p2c': 834}\n",
      "1693 {'p1c': 1691, 'p2c': 846}\n",
      "1697 {'p1c': 1695, 'p2c': 848}\n",
      "1699 {'p1c': 1697, 'p2c': 849}\n",
      "1709 {'p1c': 1707, 'p2c': 854}\n",
      "1721 {'p1c': 1719, 'p2c': 860}\n",
      "1723 {'p1c': 1721, 'p2c': 861}\n",
      "1733 {'p1c': 1731, 'p2c': 866}\n",
      "1741 {'p1c': 1739, 'p2c': 870}\n",
      "1747 {'p1c': 1745, 'p2c': 873}\n",
      "1753 {'p1c': 1751, 'p2c': 876}\n",
      "1759 {'p1c': 1757, 'p2c': 879}\n",
      "1777 {'p1c': 1775, 'p2c': 888}\n",
      "1783 {'p1c': 1781, 'p2c': 891}\n",
      "1787 {'p1c': 1785, 'p2c': 893}\n",
      "1789 {'p1c': 1787, 'p2c': 894}\n",
      "1801 {'p1c': 1799, 'p2c': 900}\n",
      "1811 {'p1c': 1809, 'p2c': 905}\n",
      "1823 {'p1c': 1821, 'p2c': 911}\n",
      "1831 {'p1c': 1829, 'p2c': 915}\n",
      "1847 {'p1c': 1845, 'p2c': 923}\n",
      "1861 {'p1c': 1859, 'p2c': 930}\n",
      "1867 {'p1c': 1865, 'p2c': 933}\n",
      "1871 {'p1c': 1869, 'p2c': 935}\n",
      "1873 {'p1c': 1871, 'p2c': 936}\n",
      "1877 {'p1c': 1875, 'p2c': 938}\n",
      "1879 {'p1c': 1877, 'p2c': 939}\n",
      "1889 {'p1c': 1887, 'p2c': 944}\n",
      "1901 {'p1c': 1899, 'p2c': 950}\n",
      "1907 {'p1c': 1905, 'p2c': 953}\n",
      "1913 {'p1c': 1911, 'p2c': 956}\n",
      "1931 {'p1c': 1929, 'p2c': 965}\n",
      "1933 {'p1c': 1931, 'p2c': 966}\n",
      "1949 {'p1c': 1947, 'p2c': 974}\n",
      "1951 {'p1c': 1949, 'p2c': 975}\n",
      "1973 {'p1c': 1971, 'p2c': 986}\n",
      "1979 {'p1c': 1977, 'p2c': 989}\n",
      "1987 {'p1c': 1985, 'p2c': 993}\n",
      "1993 {'p1c': 1991, 'p2c': 996}\n",
      "1997 {'p1c': 1995, 'p2c': 998}\n",
      "1999 {'p1c': 1997, 'p2c': 999}\n",
      "2003 {'p1c': 2001, 'p2c': 1001}\n",
      "2011 {'p1c': 2009, 'p2c': 1005}\n",
      "2017 {'p1c': 2015, 'p2c': 1008}\n",
      "2027 {'p1c': 2025, 'p2c': 1013}\n",
      "2029 {'p1c': 2027, 'p2c': 1014}\n",
      "2039 {'p1c': 2037, 'p2c': 1019}\n",
      "2053 {'p1c': 2051, 'p2c': 1026}\n",
      "2063 {'p1c': 2061, 'p2c': 1031}\n",
      "2069 {'p1c': 2067, 'p2c': 1034}\n",
      "2081 {'p1c': 2079, 'p2c': 1040}\n",
      "2083 {'p1c': 2081, 'p2c': 1041}\n",
      "2087 {'p1c': 2085, 'p2c': 1043}\n",
      "2089 {'p1c': 2087, 'p2c': 1044}\n",
      "2099 {'p1c': 2097, 'p2c': 1049}\n",
      "2111 {'p1c': 2109, 'p2c': 1055}\n",
      "2113 {'p1c': 2111, 'p2c': 1056}\n",
      "2129 {'p1c': 2127, 'p2c': 1064}\n",
      "2131 {'p1c': 2129, 'p2c': 1065}\n",
      "2137 {'p1c': 2135, 'p2c': 1068}\n",
      "2141 {'p1c': 2139, 'p2c': 1070}\n",
      "2143 {'p1c': 2141, 'p2c': 1071}\n",
      "2153 {'p1c': 2151, 'p2c': 1076}\n",
      "2161 {'p1c': 2159, 'p2c': 1080}\n",
      "2179 {'p1c': 2177, 'p2c': 1089}\n",
      "2203 {'p1c': 2201, 'p2c': 1101}\n",
      "2207 {'p1c': 2205, 'p2c': 1103}\n",
      "2213 {'p1c': 2211, 'p2c': 1106}\n",
      "2221 {'p1c': 2219, 'p2c': 1110}\n",
      "2237 {'p1c': 2235, 'p2c': 1118}\n",
      "2239 {'p1c': 2237, 'p2c': 1119}\n",
      "2243 {'p1c': 2241, 'p2c': 1121}\n",
      "2251 {'p1c': 2249, 'p2c': 1125}\n",
      "2267 {'p1c': 2265, 'p2c': 1133}\n",
      "2269 {'p1c': 2267, 'p2c': 1134}\n",
      "2273 {'p1c': 2271, 'p2c': 1136}\n",
      "2281 {'p1c': 2279, 'p2c': 1140}\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "2287 {'p1c': 2285, 'p2c': 1143}\n",
      "2293 {'p1c': 2291, 'p2c': 1146}\n",
      "2297 {'p1c': 2295, 'p2c': 1148}\n",
      "2309 {'p1c': 2307, 'p2c': 1154}\n",
      "2311 {'p1c': 2309, 'p2c': 1155}\n",
      "2333 {'p1c': 2331, 'p2c': 1166}\n",
      "2339 {'p1c': 2337, 'p2c': 1169}\n",
      "2341 {'p1c': 2339, 'p2c': 1170}\n",
      "2347 {'p1c': 2345, 'p2c': 1173}\n",
      "2351 {'p1c': 2349, 'p2c': 1175}\n",
      "2357 {'p1c': 2355, 'p2c': 1178}\n",
      "2371 {'p1c': 2369, 'p2c': 1185}\n",
      "2377 {'p1c': 2375, 'p2c': 1188}\n",
      "2381 {'p1c': 2379, 'p2c': 1190}\n",
      "2383 {'p1c': 2381, 'p2c': 1191}\n",
      "2389 {'p1c': 2387, 'p2c': 1194}\n",
      "2393 {'p1c': 2391, 'p2c': 1196}\n",
      "2399 {'p1c': 2397, 'p2c': 1199}\n",
      "2411 {'p1c': 2409, 'p2c': 1205}\n",
      "2417 {'p1c': 2415, 'p2c': 1208}\n",
      "2423 {'p1c': 2421, 'p2c': 1211}\n",
      "2437 {'p1c': 2435, 'p2c': 1218}\n",
      "2441 {'p1c': 2439, 'p2c': 1220}\n",
      "2447 {'p1c': 2445, 'p2c': 1223}\n",
      "2459 {'p1c': 2457, 'p2c': 1229}\n",
      "2467 {'p1c': 2465, 'p2c': 1233}\n",
      "2473 {'p1c': 2471, 'p2c': 1236}\n",
      "2477 {'p1c': 2475, 'p2c': 1238}\n",
      "2503 {'p1c': 2501, 'p2c': 1251}\n",
      "2521 {'p1c': 2519, 'p2c': 1260}\n",
      "2531 {'p1c': 2529, 'p2c': 1265}\n",
      "2539 {'p1c': 2537, 'p2c': 1269}\n",
      "2543 {'p1c': 2541, 'p2c': 1271}\n",
      "2549 {'p1c': 2547, 'p2c': 1274}\n",
      "2551 {'p1c': 2549, 'p2c': 1275}\n",
      "2557 {'p1c': 2555, 'p2c': 1278}\n",
      "2579 {'p1c': 2577, 'p2c': 1289}\n",
      "2591 {'p1c': 2589, 'p2c': 1295}\n",
      "2593 {'p1c': 2591, 'p2c': 1296}\n",
      "2609 {'p1c': 2607, 'p2c': 1304}\n",
      "2617 {'p1c': 2615, 'p2c': 1308}\n",
      "2621 {'p1c': 2619, 'p2c': 1310}\n",
      "2633 {'p1c': 2631, 'p2c': 1316}\n",
      "2647 {'p1c': 2645, 'p2c': 1323}\n",
      "2657 {'p1c': 2655, 'p2c': 1328}\n",
      "2659 {'p1c': 2657, 'p2c': 1329}\n",
      "2663 {'p1c': 2661, 'p2c': 1331}\n",
      "2671 {'p1c': 2669, 'p2c': 1335}\n",
      "2677 {'p1c': 2675, 'p2c': 1338}\n",
      "2683 {'p1c': 2681, 'p2c': 1341}\n",
      "2687 {'p1c': 2685, 'p2c': 1343}\n",
      "2689 {'p1c': 2687, 'p2c': 1344}\n",
      "2693 {'p1c': 2691, 'p2c': 1346}\n",
      "2699 {'p1c': 2697, 'p2c': 1349}\n",
      "2707 {'p1c': 2705, 'p2c': 1353}\n",
      "2711 {'p1c': 2709, 'p2c': 1355}\n",
      "2713 {'p1c': 2711, 'p2c': 1356}\n",
      "2719 {'p1c': 2717, 'p2c': 1359}\n",
      "2729 {'p1c': 2727, 'p2c': 1364}\n",
      "2731 {'p1c': 2729, 'p2c': 1365}\n",
      "2741 {'p1c': 2739, 'p2c': 1370}\n",
      "2749 {'p1c': 2747, 'p2c': 1374}\n",
      "2753 {'p1c': 2751, 'p2c': 1376}\n",
      "2767 {'p1c': 2765, 'p2c': 1383}\n",
      "2777 {'p1c': 2775, 'p2c': 1388}\n",
      "2789 {'p1c': 2787, 'p2c': 1394}\n",
      "2791 {'p1c': 2789, 'p2c': 1395}\n",
      "2797 {'p1c': 2795, 'p2c': 1398}\n",
      "2801 {'p1c': 2799, 'p2c': 1400}\n",
      "2803 {'p1c': 2801, 'p2c': 1401}\n",
      "2819 {'p1c': 2817, 'p2c': 1409}\n",
      "2833 {'p1c': 2831, 'p2c': 1416}\n",
      "2837 {'p1c': 2835, 'p2c': 1418}\n",
      "2843 {'p1c': 2841, 'p2c': 1421}\n",
      "2851 {'p1c': 2849, 'p2c': 1425}\n",
      "2857 {'p1c': 2855, 'p2c': 1428}\n",
      "2861 {'p1c': 2859, 'p2c': 1430}\n",
      "2879 {'p1c': 2877, 'p2c': 1439}\n",
      "2887 {'p1c': 2885, 'p2c': 1443}\n",
      "2897 {'p1c': 2895, 'p2c': 1448}\n",
      "2903 {'p1c': 2901, 'p2c': 1451}\n",
      "2909 {'p1c': 2907, 'p2c': 1454}\n",
      "2917 {'p1c': 2915, 'p2c': 1458}\n",
      "2927 {'p1c': 2925, 'p2c': 1463}\n",
      "2939 {'p1c': 2937, 'p2c': 1469}\n",
      "2953 {'p1c': 2951, 'p2c': 1476}\n",
      "2957 {'p1c': 2955, 'p2c': 1478}\n",
      "2963 {'p1c': 2961, 'p2c': 1481}\n",
      "2969 {'p1c': 2967, 'p2c': 1484}\n",
      "2971 {'p1c': 2969, 'p2c': 1485}\n",
      "2999 {'p1c': 2997, 'p2c': 1499}\n",
      "3001 {'p1c': 2999, 'p2c': 1500}\n",
      "3011 {'p1c': 3009, 'p2c': 1505}\n",
      "3019 {'p1c': 3017, 'p2c': 1509}\n",
      "3023 {'p1c': 3021, 'p2c': 1511}\n",
      "3037 {'p1c': 3035, 'p2c': 1518}\n",
      "3041 {'p1c': 3039, 'p2c': 1520}\n",
      "3049 {'p1c': 3047, 'p2c': 1524}\n",
      "3061 {'p1c': 3059, 'p2c': 1530}\n",
      "3067 {'p1c': 3065, 'p2c': 1533}\n",
      "3079 {'p1c': 3077, 'p2c': 1539}\n",
      "3083 {'p1c': 3081, 'p2c': 1541}\n",
      "3089 {'p1c': 3087, 'p2c': 1544}\n",
      "3109 {'p1c': 3107, 'p2c': 1554}\n",
      "3119 {'p1c': 3117, 'p2c': 1559}\n",
      "3121 {'p1c': 3119, 'p2c': 1560}\n",
      "3137 {'p1c': 3135, 'p2c': 1568}\n",
      "3163 {'p1c': 3161, 'p2c': 1581}\n",
      "3167 {'p1c': 3165, 'p2c': 1583}\n",
      "3169 {'p1c': 3167, 'p2c': 1584}\n",
      "3181 {'p1c': 3179, 'p2c': 1590}\n",
      "3187 {'p1c': 3185, 'p2c': 1593}\n",
      "3191 {'p1c': 3189, 'p2c': 1595}\n",
      "3203 {'p1c': 3201, 'p2c': 1601}\n",
      "3209 {'p1c': 3207, 'p2c': 1604}\n",
      "3217 {'p1c': 3215, 'p2c': 1608}\n",
      "3221 {'p1c': 3219, 'p2c': 1610}\n",
      "3229 {'p1c': 3227, 'p2c': 1614}\n",
      "3251 {'p1c': 3249, 'p2c': 1625}\n",
      "3253 {'p1c': 3251, 'p2c': 1626}\n",
      "3257 {'p1c': 3255, 'p2c': 1628}\n",
      "3259 {'p1c': 3257, 'p2c': 1629}\n",
      "3271 {'p1c': 3269, 'p2c': 1635}\n",
      "3299 {'p1c': 3297, 'p2c': 1649}\n",
      "3301 {'p1c': 3299, 'p2c': 1650}\n",
      "3307 {'p1c': 3305, 'p2c': 1653}\n",
      "3313 {'p1c': 3311, 'p2c': 1656}\n",
      "3319 {'p1c': 3317, 'p2c': 1659}\n",
      "3323 {'p1c': 3321, 'p2c': 1661}\n",
      "3329 {'p1c': 3327, 'p2c': 1664}\n",
      "3331 {'p1c': 3329, 'p2c': 1665}\n",
      "3343 {'p1c': 3341, 'p2c': 1671}\n",
      "3347 {'p1c': 3345, 'p2c': 1673}\n",
      "3359 {'p1c': 3357, 'p2c': 1679}\n",
      "3361 {'p1c': 3359, 'p2c': 1680}\n",
      "3371 {'p1c': 3369, 'p2c': 1685}\n",
      "3373 {'p1c': 3371, 'p2c': 1686}\n",
      "3389 {'p1c': 3387, 'p2c': 1694}\n",
      "3391 {'p1c': 3389, 'p2c': 1695}\n",
      "3407 {'p1c': 3405, 'p2c': 1703}\n",
      "3413 {'p1c': 3411, 'p2c': 1706}\n",
      "3433 {'p1c': 3431, 'p2c': 1716}\n",
      "3449 {'p1c': 3447, 'p2c': 1724}\n",
      "3457 {'p1c': 3455, 'p2c': 1728}\n",
      "3461 {'p1c': 3459, 'p2c': 1730}\n",
      "3463 {'p1c': 3461, 'p2c': 1731}\n",
      "3467 {'p1c': 3465, 'p2c': 1733}\n",
      "3469 {'p1c': 3467, 'p2c': 1734}\n",
      "3491 {'p1c': 3489, 'p2c': 1745}\n",
      "3499 {'p1c': 3497, 'p2c': 1749}\n",
      "3511 {'p1c': 3509, 'p2c': 1755}\n",
      "3517 {'p1c': 3515, 'p2c': 1758}\n",
      "3527 {'p1c': 3525, 'p2c': 1763}\n",
      "3529 {'p1c': 3527, 'p2c': 1764}\n",
      "3533 {'p1c': 3531, 'p2c': 1766}\n",
      "3539 {'p1c': 3537, 'p2c': 1769}\n",
      "3541 {'p1c': 3539, 'p2c': 1770}\n",
      "3547 {'p1c': 3545, 'p2c': 1773}\n",
      "3557 {'p1c': 3555, 'p2c': 1778}\n",
      "3559 {'p1c': 3557, 'p2c': 1779}\n",
      "3571 {'p1c': 3569, 'p2c': 1785}\n",
      "3581 {'p1c': 3579, 'p2c': 1790}\n",
      "3583 {'p1c': 3581, 'p2c': 1791}\n",
      "3593 {'p1c': 3591, 'p2c': 1796}\n",
      "3607 {'p1c': 3605, 'p2c': 1803}\n",
      "3613 {'p1c': 3611, 'p2c': 1806}\n",
      "3617 {'p1c': 3615, 'p2c': 1808}\n",
      "3623 {'p1c': 3621, 'p2c': 1811}\n",
      "3631 {'p1c': 3629, 'p2c': 1815}\n",
      "3637 {'p1c': 3635, 'p2c': 1818}\n",
      "3643 {'p1c': 3641, 'p2c': 1821}\n",
      "3659 {'p1c': 3657, 'p2c': 1829}\n",
      "3671 {'p1c': 3669, 'p2c': 1835}\n",
      "3673 {'p1c': 3671, 'p2c': 1836}\n",
      "3677 {'p1c': 3675, 'p2c': 1838}\n",
      "3691 {'p1c': 3689, 'p2c': 1845}\n",
      "3697 {'p1c': 3695, 'p2c': 1848}\n",
      "3701 {'p1c': 3699, 'p2c': 1850}\n",
      "3709 {'p1c': 3707, 'p2c': 1854}\n",
      "3719 {'p1c': 3717, 'p2c': 1859}\n",
      "3727 {'p1c': 3725, 'p2c': 1863}\n",
      "3733 {'p1c': 3731, 'p2c': 1866}\n",
      "3739 {'p1c': 3737, 'p2c': 1869}\n",
      "3761 {'p1c': 3759, 'p2c': 1880}\n",
      "3767 {'p1c': 3765, 'p2c': 1883}\n",
      "3769 {'p1c': 3767, 'p2c': 1884}\n",
      "3779 {'p1c': 3777, 'p2c': 1889}\n",
      "3793 {'p1c': 3791, 'p2c': 1896}\n",
      "3797 {'p1c': 3795, 'p2c': 1898}\n",
      "3803 {'p1c': 3801, 'p2c': 1901}\n",
      "3821 {'p1c': 3819, 'p2c': 1910}\n",
      "3823 {'p1c': 3821, 'p2c': 1911}\n",
      "3833 {'p1c': 3831, 'p2c': 1916}\n",
      "3847 {'p1c': 3845, 'p2c': 1923}\n",
      "3851 {'p1c': 3849, 'p2c': 1925}\n",
      "3853 {'p1c': 3851, 'p2c': 1926}\n",
      "3863 {'p1c': 3861, 'p2c': 1931}\n",
      "3877 {'p1c': 3875, 'p2c': 1938}\n",
      "3881 {'p1c': 3879, 'p2c': 1940}\n",
      "3889 {'p1c': 3887, 'p2c': 1944}\n",
      "3907 {'p1c': 3905, 'p2c': 1953}\n",
      "3911 {'p1c': 3909, 'p2c': 1955}\n",
      "3917 {'p1c': 3915, 'p2c': 1958}\n",
      "3919 {'p1c': 3917, 'p2c': 1959}\n",
      "3923 {'p1c': 3921, 'p2c': 1961}\n",
      "3929 {'p1c': 3927, 'p2c': 1964}\n",
      "3931 {'p1c': 3929, 'p2c': 1965}\n",
      "3943 {'p1c': 3941, 'p2c': 1971}\n",
      "3947 {'p1c': 3945, 'p2c': 1973}\n",
      "3967 {'p1c': 3965, 'p2c': 1983}\n",
      "3989 {'p1c': 3987, 'p2c': 1994}\n",
      "4001 {'p1c': 3999, 'p2c': 2000}\n",
      "4003 {'p1c': 4001, 'p2c': 2001}\n",
      "4007 {'p1c': 4005, 'p2c': 2003}\n",
      "4013 {'p1c': 4011, 'p2c': 2006}\n",
      "4019 {'p1c': 4017, 'p2c': 2009}\n",
      "4021 {'p1c': 4019, 'p2c': 2010}\n",
      "4027 {'p1c': 4025, 'p2c': 2013}\n",
      "4049 {'p1c': 4047, 'p2c': 2024}\n",
      "4051 {'p1c': 4049, 'p2c': 2025}\n",
      "4057 {'p1c': 4055, 'p2c': 2028}\n",
      "4073 {'p1c': 4071, 'p2c': 2036}\n",
      "4079 {'p1c': 4077, 'p2c': 2039}\n",
      "4091 {'p1c': 4089, 'p2c': 2045}\n",
      "4093 {'p1c': 4091, 'p2c': 2046}\n",
      "4099 {'p1c': 4097, 'p2c': 2049}\n",
      "4111 {'p1c': 4109, 'p2c': 2055}\n",
      "4127 {'p1c': 4125, 'p2c': 2063}\n",
      "4129 {'p1c': 4127, 'p2c': 2064}\n",
      "4133 {'p1c': 4131, 'p2c': 2066}\n",
      "4139 {'p1c': 4137, 'p2c': 2069}\n",
      "4153 {'p1c': 4151, 'p2c': 2076}\n",
      "4157 {'p1c': 4155, 'p2c': 2078}\n",
      "4159 {'p1c': 4157, 'p2c': 2079}\n",
      "4177 {'p1c': 4175, 'p2c': 2088}\n",
      "4201 {'p1c': 4199, 'p2c': 2100}\n",
      "4211 {'p1c': 4209, 'p2c': 2105}\n",
      "4217 {'p1c': 4215, 'p2c': 2108}\n",
      "4219 {'p1c': 4217, 'p2c': 2109}\n",
      "4229 {'p1c': 4227, 'p2c': 2114}\n",
      "4231 {'p1c': 4229, 'p2c': 2115}\n",
      "4241 {'p1c': 4239, 'p2c': 2120}\n",
      "4243 {'p1c': 4241, 'p2c': 2121}\n",
      "4253 {'p1c': 4251, 'p2c': 2126}\n",
      "4259 {'p1c': 4257, 'p2c': 2129}\n",
      "4261 {'p1c': 4259, 'p2c': 2130}\n",
      "4271 {'p1c': 4269, 'p2c': 2135}\n",
      "4273 {'p1c': 4271, 'p2c': 2136}\n",
      "4283 {'p1c': 4281, 'p2c': 2141}\n",
      "4289 {'p1c': 4287, 'p2c': 2144}\n",
      "4297 {'p1c': 4295, 'p2c': 2148}\n",
      "4327 {'p1c': 4325, 'p2c': 2163}\n",
      "4337 {'p1c': 4335, 'p2c': 2168}\n",
      "4339 {'p1c': 4337, 'p2c': 2169}\n",
      "4349 {'p1c': 4347, 'p2c': 2174}\n",
      "4357 {'p1c': 4355, 'p2c': 2178}\n",
      "4363 {'p1c': 4361, 'p2c': 2181}\n",
      "4373 {'p1c': 4371, 'p2c': 2186}\n",
      "4391 {'p1c': 4389, 'p2c': 2195}\n",
      "4397 {'p1c': 4395, 'p2c': 2198}\n",
      "4409 {'p1c': 4407, 'p2c': 2204}\n",
      "4421 {'p1c': 4419, 'p2c': 2210}\n",
      "4423 {'p1c': 4421, 'p2c': 2211}\n",
      "4441 {'p1c': 4439, 'p2c': 2220}\n",
      "4447 {'p1c': 4445, 'p2c': 2223}\n",
      "4451 {'p1c': 4449, 'p2c': 2225}\n",
      "4457 {'p1c': 4455, 'p2c': 2228}\n",
      "4463 {'p1c': 4461, 'p2c': 2231}\n",
      "4481 {'p1c': 4479, 'p2c': 2240}\n",
      "4483 {'p1c': 4481, 'p2c': 2241}\n",
      "4493 {'p1c': 4491, 'p2c': 2246}\n",
      "4507 {'p1c': 4505, 'p2c': 2253}\n",
      "4513 {'p1c': 4511, 'p2c': 2256}\n",
      "4517 {'p1c': 4515, 'p2c': 2258}\n",
      "4519 {'p1c': 4517, 'p2c': 2259}\n",
      "4523 {'p1c': 4521, 'p2c': 2261}\n",
      "4547 {'p1c': 4545, 'p2c': 2273}\n",
      "4549 {'p1c': 4547, 'p2c': 2274}\n",
      "4561 {'p1c': 4559, 'p2c': 2280}\n",
      "4567 {'p1c': 4565, 'p2c': 2283}\n",
      "4583 {'p1c': 4581, 'p2c': 2291}\n",
      "4591 {'p1c': 4589, 'p2c': 2295}\n",
      "4597 {'p1c': 4595, 'p2c': 2298}\n",
      "4603 {'p1c': 4601, 'p2c': 2301}\n",
      "4621 {'p1c': 4619, 'p2c': 2310}\n",
      "4637 {'p1c': 4635, 'p2c': 2318}\n",
      "4639 {'p1c': 4637, 'p2c': 2319}\n",
      "4643 {'p1c': 4641, 'p2c': 2321}\n",
      "4649 {'p1c': 4647, 'p2c': 2324}\n",
      "4651 {'p1c': 4649, 'p2c': 2325}\n",
      "4657 {'p1c': 4655, 'p2c': 2328}\n",
      "4663 {'p1c': 4661, 'p2c': 2331}\n",
      "4673 {'p1c': 4671, 'p2c': 2336}\n",
      "4679 {'p1c': 4677, 'p2c': 2339}\n",
      "4691 {'p1c': 4689, 'p2c': 2345}\n",
      "4703 {'p1c': 4701, 'p2c': 2351}\n",
      "4721 {'p1c': 4719, 'p2c': 2360}\n",
      "4723 {'p1c': 4721, 'p2c': 2361}\n",
      "4729 {'p1c': 4727, 'p2c': 2364}\n",
      "4733 {'p1c': 4731, 'p2c': 2366}\n",
      "4751 {'p1c': 4749, 'p2c': 2375}\n",
      "4759 {'p1c': 4757, 'p2c': 2379}\n",
      "4783 {'p1c': 4781, 'p2c': 2391}\n",
      "4787 {'p1c': 4785, 'p2c': 2393}\n",
      "4789 {'p1c': 4787, 'p2c': 2394}\n",
      "4793 {'p1c': 4791, 'p2c': 2396}\n",
      "4799 {'p1c': 4797, 'p2c': 2399}\n",
      "4801 {'p1c': 4799, 'p2c': 2400}\n",
      "4813 {'p1c': 4811, 'p2c': 2406}\n",
      "4817 {'p1c': 4815, 'p2c': 2408}\n",
      "4831 {'p1c': 4829, 'p2c': 2415}\n",
      "4861 {'p1c': 4859, 'p2c': 2430}\n",
      "4871 {'p1c': 4869, 'p2c': 2435}\n",
      "4877 {'p1c': 4875, 'p2c': 2438}\n",
      "4889 {'p1c': 4887, 'p2c': 2444}\n",
      "4903 {'p1c': 4901, 'p2c': 2451}\n",
      "4909 {'p1c': 4907, 'p2c': 2454}\n",
      "4919 {'p1c': 4917, 'p2c': 2459}\n",
      "4931 {'p1c': 4929, 'p2c': 2465}\n",
      "4933 {'p1c': 4931, 'p2c': 2466}\n",
      "4937 {'p1c': 4935, 'p2c': 2468}\n",
      "4943 {'p1c': 4941, 'p2c': 2471}\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "4951 {'p1c': 4949, 'p2c': 2475}\n",
      "4957 {'p1c': 4955, 'p2c': 2478}\n",
      "4967 {'p1c': 4965, 'p2c': 2483}\n",
      "4969 {'p1c': 4967, 'p2c': 2484}\n",
      "4973 {'p1c': 4971, 'p2c': 2486}\n",
      "4987 {'p1c': 4985, 'p2c': 2493}\n",
      "4993 {'p1c': 4991, 'p2c': 2496}\n",
      "4999 {'p1c': 4997, 'p2c': 2499}\n",
      "5003 {'p1c': 5001, 'p2c': 2501}\n",
      "5009 {'p1c': 5007, 'p2c': 2504}\n",
      "5011 {'p1c': 5009, 'p2c': 2505}\n",
      "5021 {'p1c': 5019, 'p2c': 2510}\n",
      "5023 {'p1c': 5021, 'p2c': 2511}\n",
      "5039 {'p1c': 5037, 'p2c': 2519}\n",
      "5051 {'p1c': 5049, 'p2c': 2525}\n",
      "5059 {'p1c': 5057, 'p2c': 2529}\n",
      "5077 {'p1c': 5075, 'p2c': 2538}\n",
      "5081 {'p1c': 5079, 'p2c': 2540}\n",
      "5087 {'p1c': 5085, 'p2c': 2543}\n",
      "5099 {'p1c': 5097, 'p2c': 2549}\n",
      "5101 {'p1c': 5099, 'p2c': 2550}\n",
      "5107 {'p1c': 5105, 'p2c': 2553}\n",
      "5113 {'p1c': 5111, 'p2c': 2556}\n",
      "5119 {'p1c': 5117, 'p2c': 2559}\n",
      "5147 {'p1c': 5145, 'p2c': 2573}\n",
      "5153 {'p1c': 5151, 'p2c': 2576}\n",
      "5167 {'p1c': 5165, 'p2c': 2583}\n",
      "5171 {'p1c': 5169, 'p2c': 2585}\n",
      "5179 {'p1c': 5177, 'p2c': 2589}\n",
      "5189 {'p1c': 5187, 'p2c': 2594}\n",
      "5197 {'p1c': 5195, 'p2c': 2598}\n",
      "5209 {'p1c': 5207, 'p2c': 2604}\n",
      "5227 {'p1c': 5225, 'p2c': 2613}\n",
      "5231 {'p1c': 5229, 'p2c': 2615}\n",
      "5233 {'p1c': 5231, 'p2c': 2616}\n",
      "5237 {'p1c': 5235, 'p2c': 2618}\n",
      "5261 {'p1c': 5259, 'p2c': 2630}\n",
      "5273 {'p1c': 5271, 'p2c': 2636}\n",
      "5279 {'p1c': 5277, 'p2c': 2639}\n",
      "5281 {'p1c': 5279, 'p2c': 2640}\n",
      "5297 {'p1c': 5295, 'p2c': 2648}\n",
      "5303 {'p1c': 5301, 'p2c': 2651}\n",
      "5309 {'p1c': 5307, 'p2c': 2654}\n",
      "5323 {'p1c': 5321, 'p2c': 2661}\n",
      "5333 {'p1c': 5331, 'p2c': 2666}\n",
      "5347 {'p1c': 5345, 'p2c': 2673}\n",
      "5351 {'p1c': 5349, 'p2c': 2675}\n",
      "5381 {'p1c': 5379, 'p2c': 2690}\n",
      "5387 {'p1c': 5385, 'p2c': 2693}\n",
      "5393 {'p1c': 5391, 'p2c': 2696}\n",
      "5399 {'p1c': 5397, 'p2c': 2699}\n",
      "5407 {'p1c': 5405, 'p2c': 2703}\n",
      "5413 {'p1c': 5411, 'p2c': 2706}\n",
      "5417 {'p1c': 5415, 'p2c': 2708}\n",
      "5419 {'p1c': 5417, 'p2c': 2709}\n",
      "5431 {'p1c': 5429, 'p2c': 2715}\n",
      "5437 {'p1c': 5435, 'p2c': 2718}\n",
      "5441 {'p1c': 5439, 'p2c': 2720}\n",
      "5443 {'p1c': 5441, 'p2c': 2721}\n",
      "5449 {'p1c': 5447, 'p2c': 2724}\n",
      "5471 {'p1c': 5469, 'p2c': 2735}\n",
      "5477 {'p1c': 5475, 'p2c': 2738}\n",
      "5479 {'p1c': 5477, 'p2c': 2739}\n",
      "5483 {'p1c': 5481, 'p2c': 2741}\n",
      "5501 {'p1c': 5499, 'p2c': 2750}\n",
      "5503 {'p1c': 5501, 'p2c': 2751}\n",
      "5507 {'p1c': 5505, 'p2c': 2753}\n",
      "5519 {'p1c': 5517, 'p2c': 2759}\n",
      "5521 {'p1c': 5519, 'p2c': 2760}\n",
      "5527 {'p1c': 5525, 'p2c': 2763}\n",
      "5531 {'p1c': 5529, 'p2c': 2765}\n",
      "5557 {'p1c': 5555, 'p2c': 2778}\n",
      "5563 {'p1c': 5561, 'p2c': 2781}\n",
      "5569 {'p1c': 5567, 'p2c': 2784}\n",
      "5573 {'p1c': 5571, 'p2c': 2786}\n",
      "5581 {'p1c': 5579, 'p2c': 2790}\n",
      "5591 {'p1c': 5589, 'p2c': 2795}\n",
      "5623 {'p1c': 5621, 'p2c': 2811}\n",
      "5639 {'p1c': 5637, 'p2c': 2819}\n",
      "5641 {'p1c': 5639, 'p2c': 2820}\n",
      "5647 {'p1c': 5645, 'p2c': 2823}\n",
      "5651 {'p1c': 5649, 'p2c': 2825}\n",
      "5653 {'p1c': 5651, 'p2c': 2826}\n",
      "5657 {'p1c': 5655, 'p2c': 2828}\n",
      "5659 {'p1c': 5657, 'p2c': 2829}\n",
      "5669 {'p1c': 5667, 'p2c': 2834}\n",
      "5683 {'p1c': 5681, 'p2c': 2841}\n",
      "5689 {'p1c': 5687, 'p2c': 2844}\n",
      "5693 {'p1c': 5691, 'p2c': 2846}\n",
      "5701 {'p1c': 5699, 'p2c': 2850}\n",
      "5711 {'p1c': 5709, 'p2c': 2855}\n",
      "5717 {'p1c': 5715, 'p2c': 2858}\n",
      "5737 {'p1c': 5735, 'p2c': 2868}\n",
      "5741 {'p1c': 5739, 'p2c': 2870}\n",
      "5743 {'p1c': 5741, 'p2c': 2871}\n",
      "5749 {'p1c': 5747, 'p2c': 2874}\n",
      "5779 {'p1c': 5777, 'p2c': 2889}\n",
      "5783 {'p1c': 5781, 'p2c': 2891}\n",
      "5791 {'p1c': 5789, 'p2c': 2895}\n",
      "5801 {'p1c': 5799, 'p2c': 2900}\n",
      "5807 {'p1c': 5805, 'p2c': 2903}\n",
      "5813 {'p1c': 5811, 'p2c': 2906}\n",
      "5821 {'p1c': 5819, 'p2c': 2910}\n",
      "5827 {'p1c': 5825, 'p2c': 2913}\n",
      "5839 {'p1c': 5837, 'p2c': 2919}\n",
      "5843 {'p1c': 5841, 'p2c': 2921}\n",
      "5849 {'p1c': 5847, 'p2c': 2924}\n",
      "5851 {'p1c': 5849, 'p2c': 2925}\n",
      "5857 {'p1c': 5855, 'p2c': 2928}\n",
      "5861 {'p1c': 5859, 'p2c': 2930}\n",
      "5867 {'p1c': 5865, 'p2c': 2933}\n",
      "5869 {'p1c': 5867, 'p2c': 2934}\n",
      "5879 {'p1c': 5877, 'p2c': 2939}\n",
      "5881 {'p1c': 5879, 'p2c': 2940}\n",
      "5897 {'p1c': 5895, 'p2c': 2948}\n",
      "5903 {'p1c': 5901, 'p2c': 2951}\n",
      "5923 {'p1c': 5921, 'p2c': 2961}\n",
      "5927 {'p1c': 5925, 'p2c': 2963}\n",
      "5939 {'p1c': 5937, 'p2c': 2969}\n",
      "5953 {'p1c': 5951, 'p2c': 2976}\n",
      "5981 {'p1c': 5979, 'p2c': 2990}\n",
      "5987 {'p1c': 5985, 'p2c': 2993}\n",
      "6007 {'p1c': 6005, 'p2c': 3003}\n",
      "6011 {'p1c': 6009, 'p2c': 3005}\n",
      "6029 {'p1c': 6027, 'p2c': 3014}\n",
      "6037 {'p1c': 6035, 'p2c': 3018}\n",
      "6043 {'p1c': 6041, 'p2c': 3021}\n",
      "6047 {'p1c': 6045, 'p2c': 3023}\n",
      "6053 {'p1c': 6051, 'p2c': 3026}\n",
      "6067 {'p1c': 6065, 'p2c': 3033}\n",
      "6073 {'p1c': 6071, 'p2c': 3036}\n",
      "6079 {'p1c': 6077, 'p2c': 3039}\n",
      "6089 {'p1c': 6087, 'p2c': 3044}\n",
      "6091 {'p1c': 6089, 'p2c': 3045}\n",
      "6101 {'p1c': 6099, 'p2c': 3050}\n",
      "6113 {'p1c': 6111, 'p2c': 3056}\n",
      "6121 {'p1c': 6119, 'p2c': 3060}\n",
      "6131 {'p1c': 6129, 'p2c': 3065}\n",
      "6133 {'p1c': 6131, 'p2c': 3066}\n",
      "6143 {'p1c': 6141, 'p2c': 3071}\n",
      "6151 {'p1c': 6149, 'p2c': 3075}\n",
      "6163 {'p1c': 6161, 'p2c': 3081}\n",
      "6173 {'p1c': 6171, 'p2c': 3086}\n",
      "6197 {'p1c': 6195, 'p2c': 3098}\n",
      "6199 {'p1c': 6197, 'p2c': 3099}\n",
      "6203 {'p1c': 6201, 'p2c': 3101}\n",
      "6211 {'p1c': 6209, 'p2c': 3105}\n",
      "6217 {'p1c': 6215, 'p2c': 3108}\n",
      "6221 {'p1c': 6219, 'p2c': 3110}\n",
      "6229 {'p1c': 6227, 'p2c': 3114}\n",
      "6247 {'p1c': 6245, 'p2c': 3123}\n",
      "6257 {'p1c': 6255, 'p2c': 3128}\n",
      "6263 {'p1c': 6261, 'p2c': 3131}\n",
      "6269 {'p1c': 6267, 'p2c': 3134}\n",
      "6271 {'p1c': 6269, 'p2c': 3135}\n",
      "6277 {'p1c': 6275, 'p2c': 3138}\n",
      "6287 {'p1c': 6285, 'p2c': 3143}\n",
      "6299 {'p1c': 6297, 'p2c': 3149}\n",
      "6301 {'p1c': 6299, 'p2c': 3150}\n",
      "6311 {'p1c': 6309, 'p2c': 3155}\n",
      "6317 {'p1c': 6315, 'p2c': 3158}\n",
      "6323 {'p1c': 6321, 'p2c': 3161}\n",
      "6329 {'p1c': 6327, 'p2c': 3164}\n",
      "6337 {'p1c': 6335, 'p2c': 3168}\n",
      "6343 {'p1c': 6341, 'p2c': 3171}\n",
      "6353 {'p1c': 6351, 'p2c': 3176}\n",
      "6359 {'p1c': 6357, 'p2c': 3179}\n",
      "6361 {'p1c': 6359, 'p2c': 3180}\n",
      "6367 {'p1c': 6365, 'p2c': 3183}\n",
      "6373 {'p1c': 6371, 'p2c': 3186}\n",
      "6379 {'p1c': 6377, 'p2c': 3189}\n",
      "6389 {'p1c': 6387, 'p2c': 3194}\n",
      "6397 {'p1c': 6395, 'p2c': 3198}\n",
      "6421 {'p1c': 6419, 'p2c': 3210}\n",
      "6427 {'p1c': 6425, 'p2c': 3213}\n",
      "6449 {'p1c': 6447, 'p2c': 3224}\n",
      "6451 {'p1c': 6449, 'p2c': 3225}\n",
      "6469 {'p1c': 6467, 'p2c': 3234}\n",
      "6473 {'p1c': 6471, 'p2c': 3236}\n",
      "6481 {'p1c': 6479, 'p2c': 3240}\n",
      "6491 {'p1c': 6489, 'p2c': 3245}\n",
      "6521 {'p1c': 6519, 'p2c': 3260}\n",
      "6529 {'p1c': 6527, 'p2c': 3264}\n",
      "6547 {'p1c': 6545, 'p2c': 3273}\n",
      "6551 {'p1c': 6549, 'p2c': 3275}\n",
      "6553 {'p1c': 6551, 'p2c': 3276}\n",
      "6563 {'p1c': 6561, 'p2c': 3281}\n",
      "6569 {'p1c': 6567, 'p2c': 3284}\n",
      "6571 {'p1c': 6569, 'p2c': 3285}\n",
      "6577 {'p1c': 6575, 'p2c': 3288}\n",
      "6581 {'p1c': 6579, 'p2c': 3290}\n",
      "6599 {'p1c': 6597, 'p2c': 3299}\n",
      "6607 {'p1c': 6605, 'p2c': 3303}\n",
      "6619 {'p1c': 6617, 'p2c': 3309}\n",
      "6637 {'p1c': 6635, 'p2c': 3318}\n",
      "6653 {'p1c': 6651, 'p2c': 3326}\n",
      "6659 {'p1c': 6657, 'p2c': 3329}\n",
      "6661 {'p1c': 6659, 'p2c': 3330}\n",
      "6673 {'p1c': 6671, 'p2c': 3336}\n",
      "6679 {'p1c': 6677, 'p2c': 3339}\n",
      "6689 {'p1c': 6687, 'p2c': 3344}\n",
      "6691 {'p1c': 6689, 'p2c': 3345}\n",
      "6701 {'p1c': 6699, 'p2c': 3350}\n",
      "6703 {'p1c': 6701, 'p2c': 3351}\n",
      "6709 {'p1c': 6707, 'p2c': 3354}\n",
      "6719 {'p1c': 6717, 'p2c': 3359}\n",
      "6733 {'p1c': 6731, 'p2c': 3366}\n",
      "6737 {'p1c': 6735, 'p2c': 3368}\n",
      "6761 {'p1c': 6759, 'p2c': 3380}\n",
      "6763 {'p1c': 6761, 'p2c': 3381}\n",
      "6779 {'p1c': 6777, 'p2c': 3389}\n",
      "6781 {'p1c': 6779, 'p2c': 3390}\n",
      "6791 {'p1c': 6789, 'p2c': 3395}\n",
      "6793 {'p1c': 6791, 'p2c': 3396}\n",
      "6803 {'p1c': 6801, 'p2c': 3401}\n",
      "6823 {'p1c': 6821, 'p2c': 3411}\n",
      "6827 {'p1c': 6825, 'p2c': 3413}\n",
      "6829 {'p1c': 6827, 'p2c': 3414}\n",
      "6833 {'p1c': 6831, 'p2c': 3416}\n",
      "6841 {'p1c': 6839, 'p2c': 3420}\n",
      "6857 {'p1c': 6855, 'p2c': 3428}\n",
      "6863 {'p1c': 6861, 'p2c': 3431}\n",
      "6869 {'p1c': 6867, 'p2c': 3434}\n",
      "6871 {'p1c': 6869, 'p2c': 3435}\n",
      "6883 {'p1c': 6881, 'p2c': 3441}\n",
      "6899 {'p1c': 6897, 'p2c': 3449}\n",
      "6907 {'p1c': 6905, 'p2c': 3453}\n",
      "6911 {'p1c': 6909, 'p2c': 3455}\n",
      "6917 {'p1c': 6915, 'p2c': 3458}\n",
      "6947 {'p1c': 6945, 'p2c': 3473}\n",
      "6949 {'p1c': 6947, 'p2c': 3474}\n",
      "6959 {'p1c': 6957, 'p2c': 3479}\n",
      "6961 {'p1c': 6959, 'p2c': 3480}\n",
      "6967 {'p1c': 6965, 'p2c': 3483}\n",
      "6971 {'p1c': 6969, 'p2c': 3485}\n",
      "6977 {'p1c': 6975, 'p2c': 3488}\n",
      "6983 {'p1c': 6981, 'p2c': 3491}\n",
      "6991 {'p1c': 6989, 'p2c': 3495}\n",
      "6997 {'p1c': 6995, 'p2c': 3498}\n",
      "7001 {'p1c': 6999, 'p2c': 3500}\n",
      "7013 {'p1c': 7011, 'p2c': 3506}\n",
      "7019 {'p1c': 7017, 'p2c': 3509}\n",
      "7027 {'p1c': 7025, 'p2c': 3513}\n",
      "7039 {'p1c': 7037, 'p2c': 3519}\n",
      "7043 {'p1c': 7041, 'p2c': 3521}\n",
      "7057 {'p1c': 7055, 'p2c': 3528}\n",
      "7069 {'p1c': 7067, 'p2c': 3534}\n",
      "7079 {'p1c': 7077, 'p2c': 3539}\n",
      "7103 {'p1c': 7101, 'p2c': 3551}\n",
      "7109 {'p1c': 7107, 'p2c': 3554}\n",
      "7121 {'p1c': 7119, 'p2c': 3560}\n",
      "7127 {'p1c': 7125, 'p2c': 3563}\n",
      "7129 {'p1c': 7127, 'p2c': 3564}\n",
      "7151 {'p1c': 7149, 'p2c': 3575}\n",
      "7159 {'p1c': 7157, 'p2c': 3579}\n",
      "7177 {'p1c': 7175, 'p2c': 3588}\n",
      "7187 {'p1c': 7185, 'p2c': 3593}\n",
      "7193 {'p1c': 7191, 'p2c': 3596}\n",
      "7207 {'p1c': 7205, 'p2c': 3603}\n",
      "7211 {'p1c': 7209, 'p2c': 3605}\n",
      "7213 {'p1c': 7211, 'p2c': 3606}\n",
      "7219 {'p1c': 7217, 'p2c': 3609}\n",
      "7229 {'p1c': 7227, 'p2c': 3614}\n",
      "7237 {'p1c': 7235, 'p2c': 3618}\n",
      "7243 {'p1c': 7241, 'p2c': 3621}\n",
      "7247 {'p1c': 7245, 'p2c': 3623}\n",
      "7253 {'p1c': 7251, 'p2c': 3626}\n",
      "7283 {'p1c': 7281, 'p2c': 3641}\n",
      "7297 {'p1c': 7295, 'p2c': 3648}\n",
      "7307 {'p1c': 7305, 'p2c': 3653}\n",
      "7309 {'p1c': 7307, 'p2c': 3654}\n",
      "7321 {'p1c': 7319, 'p2c': 3660}\n",
      "7331 {'p1c': 7329, 'p2c': 3665}\n",
      "7333 {'p1c': 7331, 'p2c': 3666}\n",
      "7349 {'p1c': 7347, 'p2c': 3674}\n",
      "7351 {'p1c': 7349, 'p2c': 3675}\n",
      "7369 {'p1c': 7367, 'p2c': 3684}\n",
      "7393 {'p1c': 7391, 'p2c': 3696}\n",
      "7411 {'p1c': 7409, 'p2c': 3705}\n",
      "7417 {'p1c': 7415, 'p2c': 3708}\n",
      "7433 {'p1c': 7431, 'p2c': 3716}\n",
      "7451 {'p1c': 7449, 'p2c': 3725}\n",
      "7457 {'p1c': 7455, 'p2c': 3728}\n",
      "7459 {'p1c': 7457, 'p2c': 3729}\n",
      "7477 {'p1c': 7475, 'p2c': 3738}\n",
      "7481 {'p1c': 7479, 'p2c': 3740}\n",
      "7487 {'p1c': 7485, 'p2c': 3743}\n",
      "7489 {'p1c': 7487, 'p2c': 3744}\n",
      "7499 {'p1c': 7497, 'p2c': 3749}\n",
      "7507 {'p1c': 7505, 'p2c': 3753}\n",
      "7517 {'p1c': 7515, 'p2c': 3758}\n",
      "7523 {'p1c': 7521, 'p2c': 3761}\n",
      "7529 {'p1c': 7527, 'p2c': 3764}\n",
      "7537 {'p1c': 7535, 'p2c': 3768}\n",
      "7541 {'p1c': 7539, 'p2c': 3770}\n",
      "7547 {'p1c': 7545, 'p2c': 3773}\n",
      "7549 {'p1c': 7547, 'p2c': 3774}\n",
      "7559 {'p1c': 7557, 'p2c': 3779}\n",
      "7561 {'p1c': 7559, 'p2c': 3780}\n",
      "7573 {'p1c': 7571, 'p2c': 3786}\n",
      "7577 {'p1c': 7575, 'p2c': 3788}\n",
      "7583 {'p1c': 7581, 'p2c': 3791}\n",
      "7589 {'p1c': 7587, 'p2c': 3794}\n",
      "7591 {'p1c': 7589, 'p2c': 3795}\n",
      "7603 {'p1c': 7601, 'p2c': 3801}\n",
      "7607 {'p1c': 7605, 'p2c': 3803}\n",
      "7621 {'p1c': 7619, 'p2c': 3810}\n",
      "7639 {'p1c': 7637, 'p2c': 3819}\n",
      "7643 {'p1c': 7641, 'p2c': 3821}\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "7649 {'p1c': 7647, 'p2c': 3824}\n",
      "7669 {'p1c': 7667, 'p2c': 3834}\n",
      "7673 {'p1c': 7671, 'p2c': 3836}\n",
      "7681 {'p1c': 7679, 'p2c': 3840}\n",
      "7687 {'p1c': 7685, 'p2c': 3843}\n",
      "7691 {'p1c': 7689, 'p2c': 3845}\n",
      "7699 {'p1c': 7697, 'p2c': 3849}\n",
      "7703 {'p1c': 7701, 'p2c': 3851}\n",
      "7717 {'p1c': 7715, 'p2c': 3858}\n",
      "7723 {'p1c': 7721, 'p2c': 3861}\n",
      "7727 {'p1c': 7725, 'p2c': 3863}\n",
      "7741 {'p1c': 7739, 'p2c': 3870}\n",
      "7753 {'p1c': 7751, 'p2c': 3876}\n",
      "7757 {'p1c': 7755, 'p2c': 3878}\n",
      "7759 {'p1c': 7757, 'p2c': 3879}\n",
      "7789 {'p1c': 7787, 'p2c': 3894}\n",
      "7793 {'p1c': 7791, 'p2c': 3896}\n",
      "7817 {'p1c': 7815, 'p2c': 3908}\n",
      "7823 {'p1c': 7821, 'p2c': 3911}\n",
      "7829 {'p1c': 7827, 'p2c': 3914}\n",
      "7841 {'p1c': 7839, 'p2c': 3920}\n",
      "7853 {'p1c': 7851, 'p2c': 3926}\n",
      "7867 {'p1c': 7865, 'p2c': 3933}\n",
      "7873 {'p1c': 7871, 'p2c': 3936}\n",
      "7877 {'p1c': 7875, 'p2c': 3938}\n",
      "7879 {'p1c': 7877, 'p2c': 3939}\n",
      "7883 {'p1c': 7881, 'p2c': 3941}\n",
      "7901 {'p1c': 7899, 'p2c': 3950}\n",
      "7907 {'p1c': 7905, 'p2c': 3953}\n",
      "7919 {'p1c': 7917, 'p2c': 3959}\n",
      "7927 {'p1c': 7925, 'p2c': 3963}\n",
      "7933 {'p1c': 7931, 'p2c': 3966}\n",
      "7937 {'p1c': 7935, 'p2c': 3968}\n",
      "7949 {'p1c': 7947, 'p2c': 3974}\n",
      "7951 {'p1c': 7949, 'p2c': 3975}\n",
      "7963 {'p1c': 7961, 'p2c': 3981}\n",
      "7993 {'p1c': 7991, 'p2c': 3996}\n",
      "8009 {'p1c': 8007, 'p2c': 4004}\n",
      "8011 {'p1c': 8009, 'p2c': 4005}\n",
      "8017 {'p1c': 8015, 'p2c': 4008}\n",
      "8039 {'p1c': 8037, 'p2c': 4019}\n",
      "8053 {'p1c': 8051, 'p2c': 4026}\n",
      "8059 {'p1c': 8057, 'p2c': 4029}\n",
      "8069 {'p1c': 8067, 'p2c': 4034}\n",
      "8081 {'p1c': 8079, 'p2c': 4040}\n",
      "8087 {'p1c': 8085, 'p2c': 4043}\n",
      "8089 {'p1c': 8087, 'p2c': 4044}\n",
      "8093 {'p1c': 8091, 'p2c': 4046}\n",
      "8101 {'p1c': 8099, 'p2c': 4050}\n",
      "8111 {'p1c': 8109, 'p2c': 4055}\n",
      "8117 {'p1c': 8115, 'p2c': 4058}\n",
      "8123 {'p1c': 8121, 'p2c': 4061}\n",
      "8147 {'p1c': 8145, 'p2c': 4073}\n",
      "8161 {'p1c': 8159, 'p2c': 4080}\n",
      "8167 {'p1c': 8165, 'p2c': 4083}\n",
      "8171 {'p1c': 8169, 'p2c': 4085}\n",
      "8179 {'p1c': 8177, 'p2c': 4089}\n",
      "8191 {'p1c': 8189, 'p2c': 4095}\n",
      "8209 {'p1c': 8207, 'p2c': 4104}\n",
      "8219 {'p1c': 8217, 'p2c': 4109}\n",
      "8221 {'p1c': 8219, 'p2c': 4110}\n",
      "8231 {'p1c': 8229, 'p2c': 4115}\n",
      "8233 {'p1c': 8231, 'p2c': 4116}\n",
      "8237 {'p1c': 8235, 'p2c': 4118}\n",
      "8243 {'p1c': 8241, 'p2c': 4121}\n",
      "8263 {'p1c': 8261, 'p2c': 4131}\n",
      "8269 {'p1c': 8267, 'p2c': 4134}\n",
      "8273 {'p1c': 8271, 'p2c': 4136}\n",
      "8287 {'p1c': 8285, 'p2c': 4143}\n",
      "8291 {'p1c': 8289, 'p2c': 4145}\n",
      "8293 {'p1c': 8291, 'p2c': 4146}\n",
      "8297 {'p1c': 8295, 'p2c': 4148}\n",
      "8311 {'p1c': 8309, 'p2c': 4155}\n",
      "8317 {'p1c': 8315, 'p2c': 4158}\n",
      "8329 {'p1c': 8327, 'p2c': 4164}\n",
      "8353 {'p1c': 8351, 'p2c': 4176}\n",
      "8363 {'p1c': 8361, 'p2c': 4181}\n",
      "8369 {'p1c': 8367, 'p2c': 4184}\n",
      "8377 {'p1c': 8375, 'p2c': 4188}\n",
      "8387 {'p1c': 8385, 'p2c': 4193}\n",
      "8389 {'p1c': 8387, 'p2c': 4194}\n",
      "8419 {'p1c': 8417, 'p2c': 4209}\n",
      "8423 {'p1c': 8421, 'p2c': 4211}\n",
      "8429 {'p1c': 8427, 'p2c': 4214}\n",
      "8431 {'p1c': 8429, 'p2c': 4215}\n",
      "8443 {'p1c': 8441, 'p2c': 4221}\n",
      "8447 {'p1c': 8445, 'p2c': 4223}\n",
      "8461 {'p1c': 8459, 'p2c': 4230}\n",
      "8467 {'p1c': 8465, 'p2c': 4233}\n",
      "8501 {'p1c': 8499, 'p2c': 4250}\n",
      "8513 {'p1c': 8511, 'p2c': 4256}\n",
      "8521 {'p1c': 8519, 'p2c': 4260}\n",
      "8527 {'p1c': 8525, 'p2c': 4263}\n",
      "8537 {'p1c': 8535, 'p2c': 4268}\n",
      "8539 {'p1c': 8537, 'p2c': 4269}\n",
      "8543 {'p1c': 8541, 'p2c': 4271}\n",
      "8563 {'p1c': 8561, 'p2c': 4281}\n",
      "8573 {'p1c': 8571, 'p2c': 4286}\n",
      "8581 {'p1c': 8579, 'p2c': 4290}\n",
      "8597 {'p1c': 8595, 'p2c': 4298}\n",
      "8599 {'p1c': 8597, 'p2c': 4299}\n",
      "8609 {'p1c': 8607, 'p2c': 4304}\n",
      "8623 {'p1c': 8621, 'p2c': 4311}\n",
      "8627 {'p1c': 8625, 'p2c': 4313}\n",
      "8629 {'p1c': 8627, 'p2c': 4314}\n",
      "8641 {'p1c': 8639, 'p2c': 4320}\n",
      "8647 {'p1c': 8645, 'p2c': 4323}\n",
      "8663 {'p1c': 8661, 'p2c': 4331}\n",
      "8669 {'p1c': 8667, 'p2c': 4334}\n",
      "8677 {'p1c': 8675, 'p2c': 4338}\n",
      "8681 {'p1c': 8679, 'p2c': 4340}\n",
      "8689 {'p1c': 8687, 'p2c': 4344}\n",
      "8693 {'p1c': 8691, 'p2c': 4346}\n",
      "8699 {'p1c': 8697, 'p2c': 4349}\n",
      "8707 {'p1c': 8705, 'p2c': 4353}\n",
      "8713 {'p1c': 8711, 'p2c': 4356}\n",
      "8719 {'p1c': 8717, 'p2c': 4359}\n",
      "8731 {'p1c': 8729, 'p2c': 4365}\n",
      "8737 {'p1c': 8735, 'p2c': 4368}\n",
      "8741 {'p1c': 8739, 'p2c': 4370}\n",
      "8747 {'p1c': 8745, 'p2c': 4373}\n",
      "8753 {'p1c': 8751, 'p2c': 4376}\n",
      "8761 {'p1c': 8759, 'p2c': 4380}\n",
      "8779 {'p1c': 8777, 'p2c': 4389}\n",
      "8783 {'p1c': 8781, 'p2c': 4391}\n",
      "8803 {'p1c': 8801, 'p2c': 4401}\n",
      "8807 {'p1c': 8805, 'p2c': 4403}\n",
      "8819 {'p1c': 8817, 'p2c': 4409}\n",
      "8821 {'p1c': 8819, 'p2c': 4410}\n",
      "8831 {'p1c': 8829, 'p2c': 4415}\n",
      "8837 {'p1c': 8835, 'p2c': 4418}\n",
      "8839 {'p1c': 8837, 'p2c': 4419}\n",
      "8849 {'p1c': 8847, 'p2c': 4424}\n",
      "8861 {'p1c': 8859, 'p2c': 4430}\n",
      "8863 {'p1c': 8861, 'p2c': 4431}\n",
      "8867 {'p1c': 8865, 'p2c': 4433}\n",
      "8887 {'p1c': 8885, 'p2c': 4443}\n",
      "8893 {'p1c': 8891, 'p2c': 4446}\n",
      "8923 {'p1c': 8921, 'p2c': 4461}\n",
      "8929 {'p1c': 8927, 'p2c': 4464}\n",
      "8933 {'p1c': 8931, 'p2c': 4466}\n",
      "8941 {'p1c': 8939, 'p2c': 4470}\n",
      "8951 {'p1c': 8949, 'p2c': 4475}\n",
      "8963 {'p1c': 8961, 'p2c': 4481}\n",
      "8969 {'p1c': 8967, 'p2c': 4484}\n",
      "8971 {'p1c': 8969, 'p2c': 4485}\n",
      "8999 {'p1c': 8997, 'p2c': 4499}\n",
      "9001 {'p1c': 8999, 'p2c': 4500}\n",
      "9007 {'p1c': 9005, 'p2c': 4503}\n",
      "9011 {'p1c': 9009, 'p2c': 4505}\n",
      "9013 {'p1c': 9011, 'p2c': 4506}\n",
      "9029 {'p1c': 9027, 'p2c': 4514}\n",
      "9041 {'p1c': 9039, 'p2c': 4520}\n",
      "9043 {'p1c': 9041, 'p2c': 4521}\n",
      "9049 {'p1c': 9047, 'p2c': 4524}\n",
      "9059 {'p1c': 9057, 'p2c': 4529}\n",
      "9067 {'p1c': 9065, 'p2c': 4533}\n",
      "9091 {'p1c': 9089, 'p2c': 4545}\n",
      "9103 {'p1c': 9101, 'p2c': 4551}\n",
      "9109 {'p1c': 9107, 'p2c': 4554}\n",
      "9127 {'p1c': 9125, 'p2c': 4563}\n",
      "9133 {'p1c': 9131, 'p2c': 4566}\n",
      "9137 {'p1c': 9135, 'p2c': 4568}\n",
      "9151 {'p1c': 9149, 'p2c': 4575}\n",
      "9157 {'p1c': 9155, 'p2c': 4578}\n",
      "9161 {'p1c': 9159, 'p2c': 4580}\n",
      "9173 {'p1c': 9171, 'p2c': 4586}\n",
      "9181 {'p1c': 9179, 'p2c': 4590}\n",
      "9187 {'p1c': 9185, 'p2c': 4593}\n",
      "9199 {'p1c': 9197, 'p2c': 4599}\n",
      "9203 {'p1c': 9201, 'p2c': 4601}\n",
      "9209 {'p1c': 9207, 'p2c': 4604}\n",
      "9221 {'p1c': 9219, 'p2c': 4610}\n",
      "9227 {'p1c': 9225, 'p2c': 4613}\n",
      "9239 {'p1c': 9237, 'p2c': 4619}\n",
      "9241 {'p1c': 9239, 'p2c': 4620}\n",
      "9257 {'p1c': 9255, 'p2c': 4628}\n",
      "9277 {'p1c': 9275, 'p2c': 4638}\n",
      "9281 {'p1c': 9279, 'p2c': 4640}\n",
      "9283 {'p1c': 9281, 'p2c': 4641}\n",
      "9293 {'p1c': 9291, 'p2c': 4646}\n",
      "9311 {'p1c': 9309, 'p2c': 4655}\n",
      "9319 {'p1c': 9317, 'p2c': 4659}\n",
      "9323 {'p1c': 9321, 'p2c': 4661}\n",
      "9337 {'p1c': 9335, 'p2c': 4668}\n",
      "9341 {'p1c': 9339, 'p2c': 4670}\n",
      "9343 {'p1c': 9341, 'p2c': 4671}\n",
      "9349 {'p1c': 9347, 'p2c': 4674}\n",
      "9371 {'p1c': 9369, 'p2c': 4685}\n",
      "9377 {'p1c': 9375, 'p2c': 4688}\n",
      "9391 {'p1c': 9389, 'p2c': 4695}\n",
      "9397 {'p1c': 9395, 'p2c': 4698}\n",
      "9403 {'p1c': 9401, 'p2c': 4701}\n",
      "9413 {'p1c': 9411, 'p2c': 4706}\n",
      "9419 {'p1c': 9417, 'p2c': 4709}\n",
      "9421 {'p1c': 9419, 'p2c': 4710}\n",
      "9431 {'p1c': 9429, 'p2c': 4715}\n",
      "9433 {'p1c': 9431, 'p2c': 4716}\n",
      "9437 {'p1c': 9435, 'p2c': 4718}\n",
      "9439 {'p1c': 9437, 'p2c': 4719}\n",
      "9461 {'p1c': 9459, 'p2c': 4730}\n",
      "9463 {'p1c': 9461, 'p2c': 4731}\n",
      "9467 {'p1c': 9465, 'p2c': 4733}\n",
      "9473 {'p1c': 9471, 'p2c': 4736}\n",
      "9479 {'p1c': 9477, 'p2c': 4739}\n",
      "9491 {'p1c': 9489, 'p2c': 4745}\n",
      "9497 {'p1c': 9495, 'p2c': 4748}\n",
      "9511 {'p1c': 9509, 'p2c': 4755}\n",
      "9521 {'p1c': 9519, 'p2c': 4760}\n",
      "9533 {'p1c': 9531, 'p2c': 4766}\n",
      "9539 {'p1c': 9537, 'p2c': 4769}\n",
      "9547 {'p1c': 9545, 'p2c': 4773}\n",
      "9551 {'p1c': 9549, 'p2c': 4775}\n",
      "9587 {'p1c': 9585, 'p2c': 4793}\n",
      "9601 {'p1c': 9599, 'p2c': 4800}\n",
      "9613 {'p1c': 9611, 'p2c': 4806}\n",
      "9619 {'p1c': 9617, 'p2c': 4809}\n",
      "9623 {'p1c': 9621, 'p2c': 4811}\n",
      "9629 {'p1c': 9627, 'p2c': 4814}\n",
      "9631 {'p1c': 9629, 'p2c': 4815}\n",
      "9643 {'p1c': 9641, 'p2c': 4821}\n",
      "9649 {'p1c': 9647, 'p2c': 4824}\n",
      "9661 {'p1c': 9659, 'p2c': 4830}\n",
      "9677 {'p1c': 9675, 'p2c': 4838}\n",
      "9679 {'p1c': 9677, 'p2c': 4839}\n",
      "9689 {'p1c': 9687, 'p2c': 4844}\n",
      "9697 {'p1c': 9695, 'p2c': 4848}\n",
      "9719 {'p1c': 9717, 'p2c': 4859}\n",
      "9721 {'p1c': 9719, 'p2c': 4860}\n",
      "9733 {'p1c': 9731, 'p2c': 4866}\n",
      "9739 {'p1c': 9737, 'p2c': 4869}\n",
      "9743 {'p1c': 9741, 'p2c': 4871}\n",
      "9749 {'p1c': 9747, 'p2c': 4874}\n",
      "9767 {'p1c': 9765, 'p2c': 4883}\n",
      "9769 {'p1c': 9767, 'p2c': 4884}\n",
      "9781 {'p1c': 9779, 'p2c': 4890}\n",
      "9787 {'p1c': 9785, 'p2c': 4893}\n",
      "9791 {'p1c': 9789, 'p2c': 4895}\n",
      "9803 {'p1c': 9801, 'p2c': 4901}\n",
      "9811 {'p1c': 9809, 'p2c': 4905}\n",
      "9817 {'p1c': 9815, 'p2c': 4908}\n",
      "9829 {'p1c': 9827, 'p2c': 4914}\n",
      "9833 {'p1c': 9831, 'p2c': 4916}\n",
      "9839 {'p1c': 9837, 'p2c': 4919}\n",
      "9851 {'p1c': 9849, 'p2c': 4925}\n",
      "9857 {'p1c': 9855, 'p2c': 4928}\n",
      "9859 {'p1c': 9857, 'p2c': 4929}\n",
      "9871 {'p1c': 9869, 'p2c': 4935}\n",
      "9883 {'p1c': 9881, 'p2c': 4941}\n",
      "9887 {'p1c': 9885, 'p2c': 4943}\n",
      "9901 {'p1c': 9899, 'p2c': 4950}\n",
      "9907 {'p1c': 9905, 'p2c': 4953}\n",
      "9923 {'p1c': 9921, 'p2c': 4961}\n",
      "9929 {'p1c': 9927, 'p2c': 4964}\n",
      "9931 {'p1c': 9929, 'p2c': 4965}\n",
      "9941 {'p1c': 9939, 'p2c': 4970}\n",
      "9949 {'p1c': 9947, 'p2c': 4974}\n",
      "9967 {'p1c': 9965, 'p2c': 4983}\n",
      "9973 {'p1c': 9971, 'p2c': 4986}\n"
     ]
    }
   ],
   "source": [
    "testCases = {};\n",
    "def is_prime(n): # traditional method of finding prime number\n",
    "    if (n <= 1):\n",
    "        return False;\n",
    "    elif (n==2):\n",
    "        return True;\n",
    "    else:\n",
    "        counter = 0;\n",
    "        for x in range(2, n):\n",
    "            counter += 1;\n",
    "            if(n % x == 0):\n",
    "                return False;\n",
    "        \n",
    "        testCases[n]['p1c'] =  counter;\n",
    "        return True;  \n",
    "\n",
    "    \n",
    "def is_prime2(n): # level 1 optimised method we skip even numbers\n",
    "    if (n <= 1):\n",
    "        return False;\n",
    "    elif (n==2):\n",
    "        return True;\n",
    "    else:\n",
    "        counter = 1;\n",
    "        if(n % 2 == 0):\n",
    "            return False;\n",
    "        for x in range(3, n, 2):\n",
    "            counter += 1;\n",
    "            if(n % x == 0):\n",
    "                return False;\n",
    "        \n",
    "        testCases[n]['p2c'] =  counter;\n",
    "        return True;  \n",
    "    \n",
    "\n",
    "for x in range(1, 10000):\n",
    "    testCases[x] = {};\n",
    "    pRes = is_prime(x);\n",
    "    p2Res = is_prime2(x);\n",
    "    if(len(testCases[x]) == 0):\n",
    "        del(testCases[x]);\n",
    "    else:\n",
    "        print(x, testCases[x]);\n",
    "    #if(pRes['res'] or p2Res['res']):\n",
    "        #testCases[x] = {'p1':pRes, 'p2':p2Res};\n",
    "\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.7.4"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}