[ [ 2241, 913 ], [ 2247, 535 ], [ 2253, 253 ], [ 2255, 95 ], [ 2255, 143 ], 
  [ 2255, 287 ], [ 2265, 25 ], [ 2265, 105 ], [ 2265, 265 ], [ 2271, 255 ], 
  [ 2277, 117 ], [ 2289, 257 ], [ 2289, 273 ], [ 2289, 545 ], [ 2301, 413 ], 
  [ 2305, 97 ], [ 2307, 259 ], [ 2325, 85 ], [ 2325, 165 ], [ 2325, 261 ], 
  [ 2325, 325 ], [ 2325, 341 ], [ 2329, 25 ], [ 2331, 43 ], [ 2331, 75 ], 
  [ 2331, 91 ], [ 2331, 267 ], [ 2331, 315 ], [ 2331, 555 ], [ 2337, 369 ], 
  [ 2361, 265 ], [ 2365, 301 ], [ 2373, 69 ], [ 2373, 565 ], [ 2375, 551 ], 
  [ 2379, 267 ], [ 2379, 299 ], [ 2379, 427 ], [ 2401, 97 ], [ 2401, 385 ], 
  [ 2403, 979 ], [ 2409, 297 ], [ 2415, 575 ], [ 2433, 273 ], [ 2439, 39 ], 
  [ 2439, 279 ], [ 2445, 285 ], [ 2451, 275 ], [ 2451, 323 ], [ 2451, 387 ], 
  [ 2455, 103 ], [ 2469, 277 ], [ 2475, 315 ], [ 2475, 363 ], [ 2485, 37 ], 
  [ 2485, 85 ], [ 2485, 133 ], [ 2487, 279 ], [ 2493, 285 ], [ 2499, 323 ], 
  [ 2499, 595 ], [ 2847, 319 ], [ 2847, 351 ], [ 2847, 511 ], [ 2855, 119 ], 
  [ 2865, 129 ], [ 2875, 667 ], [ 2877, 685 ], [ 2883, 323 ], [ 2883, 403 ], 
  [ 2889, 1177 ], [ 2895, 335 ], [ 2901, 325 ], [ 2907, 187 ], [ 2907, 459 ], 
  [ 2915, 371 ], [ 2919, 327 ], [ 2919, 343 ], [ 2919, 695 ], [ 2925, 77 ], 
  [ 2925, 333 ], [ 2925, 429 ], [ 2925, 525 ], [ 2937, 57 ], [ 2943, 31 ], 
  [ 2943, 63 ], [ 2943, 335 ], [ 2943, 351 ], [ 2943, 1199 ], [ 2945, 209 ], 
  [ 2947, 67 ], [ 2961, 705 ], [ 2967, 391 ], [ 2973, 333 ], [ 2979, 339 ], 
  [ 2985, 345 ], [ 3237, 581 ], [ 3241, 73 ], [ 3243, 75 ], [ 3245, 413 ], 
  [ 3249, 49 ], [ 3249, 65 ], [ 3249, 81 ], [ 3249, 209 ], [ 3249, 369 ], 
  [ 3249, 513 ], [ 3255, 39 ], [ 3255, 55 ], [ 3255, 119 ], [ 3255, 231 ], 
  [ 3255, 375 ], [ 3255, 455 ], [ 3255, 775 ], [ 3261, 365 ], [ 3275, 155 ], 
  [ 3279, 367 ], [ 3285, 85 ], [ 3285, 405 ], [ 3289, 169 ], [ 3297, 369 ], 
  [ 3297, 385 ], [ 3297, 785 ], [ 3303, 375 ], [ 3305, 137 ], [ 3311, 143 ], 
  [ 3315, 595 ], [ 3321, 697 ], [ 3321, 1353 ], [ 3339, 795 ], [ 3345, 385 ], 
  [ 3351, 375 ], [ 3355, 139 ], [ 3355, 187 ], [ 3355, 427 ], [ 3357, 381 ], 
  [ 3363, 531 ], [ 3369, 377 ], [ 3381, 437 ], [ 3381, 805 ], [ 3387, 379 ], 
  [ 3505, 145 ], [ 3507, 835 ], [ 3513, 393 ], [ 3525, 517 ], [ 3535, 175 ], 
  [ 3537, 1441 ], [ 3549, 29 ], [ 3549, 93 ], [ 3549, 397 ], [ 3549, 413 ], 
  [ 3549, 429 ], [ 3549, 637 ], [ 3549, 845 ], [ 3555, 435 ], [ 3565, 253 ], 
  [ 3573, 53 ], [ 3573, 405 ], [ 3575, 455 ], [ 3597, 429 ], [ 3603, 403 ], 
  [ 3615, 31 ], [ 3615, 159 ], [ 3615, 415 ], [ 3625, 841 ], [ 3627, 91 ], 
  [ 3627, 411 ], [ 3627, 507 ], [ 3627, 651 ], [ 3629, 29 ], [ 3633, 865 ], 
  [ 3639, 407 ], [ 3641, 41 ], [ 3645, 61 ], [ 3645, 93 ], [ 3645, 189 ], 
  [ 3645, 205 ], [ 3645, 285 ], [ 3645, 365 ], [ 3645, 445 ], [ 3645, 525 ], 
  [ 3645, 605 ], [ 3645, 765 ], [ 3645, 1245 ], [ 3645, 1485 ], 
  [ 3663, 143 ], [ 3663, 495 ], [ 3675, 411 ], [ 3675, 427 ], [ 3675, 475 ], 
  [ 3675, 539 ], [ 3675, 875 ], [ 3681, 417 ], [ 3685, 85 ], [ 3685, 469 ], 
  [ 3693, 413 ], [ 3699, 1507 ], [ 3705, 425 ], [ 3705, 585 ], [ 3705, 665 ], 
  [ 3711, 415 ], [ 3717, 885 ], [ 4161, 465 ], [ 4161, 513 ], [ 4161, 657 ], 
  [ 4167, 471 ], [ 4173, 749 ], [ 4179, 467 ], [ 4179, 483 ], [ 4179, 995 ], 
  [ 4191, 495 ], [ 4197, 469 ], [ 4205, 173 ], [ 4209, 529 ], [ 4215, 183 ], 
  [ 4221, 125 ], [ 4221, 477 ], [ 4221, 525 ], [ 4221, 1005 ], [ 4235, 203 ], 
  [ 4235, 539 ], [ 4239, 479 ], [ 4239, 495 ], [ 4239, 1727 ], [ 4245, 485 ], 
  [ 4251, 475 ], [ 4251, 507 ], [ 4251, 763 ], [ 4257, 561 ], [ 4263, 55 ], 
  [ 4263, 231 ], [ 4263, 551 ], [ 4263, 1015 ], [ 4269, 477 ], [ 4275, 83 ], 
  [ 4275, 99 ], [ 4275, 275 ], [ 4275, 483 ], [ 4275, 627 ], [ 4275, 675 ], 
  [ 4287, 479 ], [ 4293, 901 ], [ 4293, 1749 ], [ 4301, 221 ], [ 4305, 65 ], 
  [ 4305, 273 ], [ 4305, 1025 ], [ 4319, 95 ], [ 4329, 73 ], [ 4329, 105 ], 
  [ 4329, 169 ], [ 4329, 489 ], [ 4329, 585 ], [ 4329, 777 ], [ 4335, 495 ], 
  [ 4341, 485 ], [ 4345, 553 ], [ 4351, 31 ], [ 4359, 487 ], [ 4599, 71 ], 
  [ 4599, 119 ], [ 4599, 135 ], [ 4599, 519 ], [ 4599, 567 ], [ 4599, 1095 ], 
  [ 4605, 525 ], [ 4609, 49 ], [ 4613, 101 ], [ 4615, 247 ], [ 4617, 73 ], 
  [ 4617, 89 ], [ 4617, 105 ], [ 4617, 121 ], [ 4617, 137 ], [ 4617, 153 ], 
  [ 4617, 217 ], [ 4617, 233 ], [ 4617, 249 ], [ 4617, 281 ], [ 4617, 297 ], 
  [ 4617, 361 ], [ 4617, 521 ], [ 4617, 537 ], [ 4617, 585 ], [ 4617, 665 ], 
  [ 4617, 729 ], [ 4617, 969 ], [ 4617, 1577 ], [ 4617, 1881 ], 
  [ 4623, 575 ], [ 4625, 1073 ], [ 4629, 517 ], [ 4635, 555 ], [ 4641, 561 ], 
  [ 4641, 833 ], [ 4641, 1105 ], [ 4647, 519 ], [ 4665, 201 ], [ 4669, 253 ], 
  [ 4671, 1903 ], [ 4675, 595 ], [ 4683, 523 ], [ 4683, 539 ], 
  [ 4683, 1115 ], [ 4695, 535 ], [ 4701, 525 ], [ 4705, 193 ], [ 4707, 67 ], 
  [ 4707, 531 ], [ 4711, 103 ], [ 4715, 299 ], [ 4719, 527 ], [ 4719, 559 ], 
  [ 4719, 847 ], [ 4731, 747 ], [ 4737, 529 ], [ 4743, 663 ], [ 4761, 537 ], 
  [ 4767, 1135 ], [ 4773, 533 ], [ 4773, 629 ], [ 4773, 645 ], [ 4775, 215 ], 
  [ 4779, 1003 ], [ 4779, 1947 ], [ 4785, 609 ], [ 4791, 535 ], 
  [ 4797, 861 ], [ 4805, 197 ], [ 4805, 341 ], [ 4807, 247 ], [ 4809, 537 ], 
  [ 4809, 553 ], [ 4809, 1145 ], [ 4823, 119 ], [ 4827, 539 ], 
  [ 4833, 1969 ], [ 4845, 765 ], [ 4851, 275 ], [ 4851, 627 ], 
  [ 4851, 1155 ], [ 4855, 199 ], [ 4863, 543 ], [ 4869, 69 ], [ 4869, 549 ], 
  [ 4881, 545 ], [ 4887, 87 ], [ 4887, 551 ], [ 4887, 567 ], [ 4887, 1991 ], 
  [ 4893, 1165 ], [ 4895, 95 ], [ 4895, 623 ], [ 4905, 105 ], [ 4905, 585 ], 
  [ 4907, 107 ], [ 4913, 305 ], [ 4923, 555 ], [ 4929, 689 ], [ 4935, 1175 ], 
  [ 4941, 237 ], [ 4941, 253 ], [ 4941, 557 ], [ 4941, 573 ], [ 4941, 621 ], 
  [ 4941, 1037 ], [ 4941, 2013 ], [ 4947, 595 ], [ 4953, 553 ], 
  [ 4953, 585 ], [ 4953, 889 ], [ 4955, 203 ], [ 4959, 319 ], [ 4959, 783 ], 
  [ 4965, 37 ], [ 4965, 213 ], [ 4965, 565 ], [ 4971, 555 ], [ 4977, 145 ], 
  [ 4977, 561 ], [ 4977, 609 ], [ 4977, 1185 ], [ 4983, 583 ], [ 4989, 557 ], 
  [ 5005, 637 ], [ 5007, 559 ], [ 5019, 123 ], [ 5019, 1195 ], [ 5025, 561 ], 
  [ 5025, 625 ], [ 5025, 737 ], [ 6723, 1411 ], [ 6723, 2739 ], 
  [ 6741, 1605 ], [ 6745, 361 ], [ 6747, 1211 ], [ 6753, 753 ], [ 6757, 37 ], 
  [ 6759, 759 ], [ 6765, 285 ], [ 6765, 429 ], [ 6765, 861 ], [ 6769, 145 ], 
  [ 6771, 755 ], [ 6771, 851 ], [ 6771, 915 ], [ 6773, 53 ], [ 6775, 295 ], 
  [ 6777, 2761 ], [ 6783, 799 ], [ 6783, 1071 ], [ 6783, 1615 ], 
  [ 6787, 67 ], [ 6789, 757 ], [ 6789, 837 ], [ 6789, 949 ], [ 6795, 75 ], 
  [ 6795, 315 ], [ 6795, 795 ], [ 6805, 277 ], [ 6807, 759 ], [ 6813, 93 ], 
  [ 6813, 765 ], [ 6825, 761 ], [ 6825, 777 ], [ 6825, 793 ], [ 6825, 825 ], 
  [ 6825, 1001 ], [ 6825, 1225 ], [ 6825, 1625 ], [ 6837, 901 ], 
  [ 6843, 763 ], [ 6853, 133 ], [ 6855, 775 ], [ 6859, 379 ], [ 6861, 765 ], 
  [ 6867, 99 ], [ 6867, 147 ], [ 6867, 195 ], [ 6867, 771 ], [ 6867, 819 ], 
  [ 6867, 1635 ], [ 6873, 841 ], [ 6875, 107 ], [ 6875, 203 ], [ 6875, 299 ], 
  [ 6875, 395 ], [ 6875, 539 ], [ 6875, 875 ], [ 6875, 1595 ], [ 6879, 767 ], 
  [ 6895, 175 ], [ 6897, 769 ], [ 6897, 817 ], [ 6897, 1089 ], 
  [ 6903, 1239 ], [ 6905, 281 ], [ 6909, 893 ], [ 6909, 1645 ], 
  [ 6915, 291 ], [ 6921, 777 ], [ 6923, 299 ], [ 6933, 773 ], [ 6939, 2827 ], 
  [ 6945, 785 ], [ 6951, 775 ], [ 6951, 791 ], [ 6951, 1655 ], [ 6953, 41 ], 
  [ 6963, 803 ], [ 6975, 143 ], [ 6975, 255 ], [ 6975, 495 ], [ 6975, 783 ], 
  [ 6975, 975 ], [ 6975, 1023 ], [ 6981, 1253 ], [ 6985, 889 ], [ 6987, 75 ], 
  [ 7011, 451 ], [ 7011, 1107 ], [ 7015, 391 ], [ 7023, 783 ], [ 7025, 305 ], 
  [ 7035, 795 ], [ 7035, 875 ], [ 7035, 1675 ], [ 7041, 785 ], [ 7047, 551 ], 
  [ 7047, 1015 ], [ 7047, 1479 ], [ 7047, 2407 ], [ 7047, 2871 ], 
  [ 7059, 787 ], [ 7059, 819 ], [ 7059, 1267 ], [ 7063, 151 ], [ 7065, 825 ], 
  [ 7077, 37 ], [ 7077, 165 ], [ 7077, 789 ], [ 7077, 805 ], [ 7077, 1685 ], 
  [ 7083, 795 ], [ 7089, 833 ], [ 7095, 119 ], [ 7095, 903 ], [ 7095, 935 ], 
  [ 7101, 2893 ], [ 7105, 385 ], [ 7107, 851 ], [ 7111, 55 ], [ 7113, 793 ], 
  [ 7119, 207 ], [ 7119, 1695 ], [ 7131, 795 ], [ 7137, 161 ], [ 7137, 801 ], 
  [ 7137, 897 ], [ 7137, 1281 ], [ 7149, 797 ], [ 7161, 825 ], 
  [ 7161, 1001 ], [ 7161, 1705 ], [ 7167, 799 ], [ 7175, 455 ], 
  [ 7189, 133 ], [ 7203, 51 ], [ 7203, 131 ], [ 7203, 147 ], [ 7203, 259 ], 
  [ 7203, 275 ], [ 7203, 291 ], [ 7203, 803 ], [ 7203, 819 ], [ 7203, 931 ], 
  [ 7203, 1155 ], [ 7203, 1715 ], [ 7205, 293 ], [ 7205, 341 ], 
  [ 7205, 917 ], [ 7209, 1513 ], [ 7209, 2937 ], [ 7215, 815 ], 
  [ 7215, 975 ], [ 7215, 1295 ], [ 7227, 187 ], [ 7227, 891 ], [ 7239, 807 ], 
  [ 7239, 855 ], [ 7239, 1143 ], [ 7245, 1725 ], [ 9711, 1743 ], 
  [ 9717, 1189 ], [ 9723, 43 ], [ 9723, 219 ], [ 9723, 1083 ], 
  [ 9723, 1099 ], [ 9723, 2315 ], [ 9729, 225 ], [ 9735, 1239 ], 
  [ 9755, 395 ], [ 9759, 1087 ], [ 9765, 85 ], [ 9765, 117 ], [ 9765, 165 ], 
  [ 9765, 325 ], [ 9765, 357 ], [ 9765, 693 ], [ 9765, 1125 ], 
  [ 9765, 1365 ], [ 9765, 2325 ], [ 9777, 1089 ], [ 9779, 275 ], 
  [ 9783, 1095 ], [ 9789, 1757 ], [ 9807, 2335 ], [ 9813, 1093 ], 
  [ 9815, 455 ], [ 9825, 465 ], [ 9825, 1441 ], [ 9835, 43 ], [ 9835, 235 ], 
  [ 9835, 427 ], [ 9837, 1101 ], [ 9843, 1139 ], [ 9845, 1253 ], 
  [ 9849, 1097 ], [ 9849, 1113 ], [ 9849, 1225 ], [ 9849, 1273 ], 
  [ 9849, 2345 ], [ 9861, 1557 ], [ 9867, 91 ], [ 9867, 507 ], 
  [ 9867, 1771 ], [ 9875, 2291 ], [ 9879, 1335 ], [ 9891, 275 ], 
  [ 9891, 1107 ], [ 9891, 1155 ], [ 9891, 2355 ], [ 9903, 1103 ], 
  [ 9909, 1109 ], [ 9909, 1125 ], [ 9909, 4037 ], [ 9915, 59 ], 
  [ 9915, 411 ], [ 9915, 1115 ], [ 9921, 1105 ], [ 9933, 253 ], 
  [ 9933, 429 ], [ 9933, 1133 ], [ 9933, 1309 ], [ 9933, 2365 ], 
  [ 9939, 1107 ], [ 9945, 1785 ], [ 9947, 251 ], [ 9947, 539 ], 
  [ 9947, 1595 ], [ 9951, 1391 ], [ 9955, 403 ], [ 9955, 451 ], 
  [ 9955, 1267 ], [ 9957, 1109 ], [ 9963, 779 ], [ 9963, 1435 ], 
  [ 9963, 2091 ], [ 9963, 3403 ], [ 9963, 4059 ], [ 9975, 1111 ], 
  [ 9975, 1127 ], [ 9975, 1159 ], [ 9975, 1175 ], [ 9975, 1463 ], 
  [ 9975, 1575 ], [ 9975, 2375 ], [ 9993, 1113 ], [ 10003, 211 ], 
  [ 10023, 1799 ], [ 10025, 41 ], [ 10025, 425 ], [ 10029, 1117 ], 
  [ 10035, 1155 ], [ 10045, 637 ], [ 10053, 133 ], [ 10053, 1125 ], 
  [ 10055, 407 ], [ 10059, 2395 ], [ 10065, 65 ], [ 10065, 161 ], 
  [ 10065, 209 ], [ 10065, 417 ], [ 10065, 561 ], [ 10065, 1265 ], 
  [ 10065, 1281 ], [ 10071, 1127 ], [ 10071, 1143 ], [ 10071, 4103 ], 
  [ 10075, 715 ], [ 10083, 1123 ], [ 10089, 649 ], [ 10089, 1593 ], 
  [ 10095, 1135 ], [ 10101, 1125 ], [ 10101, 1141 ], [ 10101, 1157 ], 
  [ 10101, 1221 ], [ 10101, 1365 ], [ 10101, 1813 ], [ 10101, 2405 ], 
  [ 10107, 1131 ], [ 10119, 1127 ], [ 10121, 41 ], [ 10131, 1155 ], 
  [ 10137, 1129 ], [ 10137, 1209 ], [ 10137, 1417 ], [ 10143, 575 ], 
  [ 10143, 1311 ], [ 10143, 2415 ], [ 10149, 1173 ], [ 10161, 1137 ], 
  [ 12483, 163 ], [ 12483, 179 ], [ 12483, 227 ], [ 12483, 243 ], 
  [ 12483, 323 ], [ 12483, 803 ], [ 12483, 1395 ], [ 12483, 1539 ], 
  [ 12483, 1971 ], [ 12485, 1589 ], [ 12489, 1449 ], [ 12495, 1615 ], 
  [ 12495, 2975 ], [ 12501, 1397 ], [ 12501, 1413 ], [ 12501, 5093 ], 
  [ 12505, 505 ], [ 12505, 697 ], [ 12505, 793 ], [ 12507, 1419 ], 
  [ 12513, 1393 ], [ 12513, 1505 ], [ 12513, 1649 ], [ 12519, 2247 ], 
  [ 12525, 1837 ], [ 12529, 289 ], [ 12531, 1395 ], [ 12537, 169 ], 
  [ 12537, 217 ], [ 12537, 345 ], [ 12537, 1401 ], [ 12537, 1449 ], 
  [ 12537, 2985 ], [ 12543, 1695 ], [ 12561, 1537 ], [ 12573, 253 ], 
  [ 12573, 1485 ], [ 12579, 2995 ], [ 12591, 1407 ], [ 12595, 1603 ], 
  [ 12597, 1445 ], [ 12597, 1989 ], [ 12597, 2261 ], [ 12603, 1403 ], 
  [ 12605, 509 ], [ 12609, 5137 ], [ 12615, 71 ], [ 12615, 519 ], 
  [ 12615, 1415 ], [ 12621, 1405 ], [ 12621, 1421 ], [ 12621, 3005 ], 
  [ 12625, 145 ], [ 12625, 529 ], [ 12625, 625 ], [ 12625, 2929 ], 
  [ 12627, 1587 ], [ 12635, 539 ], [ 12645, 549 ], [ 12655, 511 ], 
  [ 12657, 1409 ], [ 12669, 1517 ], [ 12675, 1411 ], [ 12675, 1443 ], 
  [ 12675, 1475 ], [ 12675, 1859 ], [ 12675, 2275 ], [ 12691, 2035 ], 
  [ 12693, 1413 ], [ 12705, 81 ], [ 12705, 145 ], [ 12705, 161 ], 
  [ 12705, 385 ], [ 12705, 609 ], [ 12705, 1425 ], [ 12705, 1505 ], 
  [ 12705, 1617 ], [ 12705, 3025 ], [ 12711, 1415 ], [ 12711, 1463 ], 
  [ 12711, 2007 ], [ 12717, 589 ], [ 12717, 605 ], [ 12717, 1421 ], 
  [ 12717, 1437 ], [ 12717, 1485 ], [ 12717, 2669 ], [ 12717, 5181 ], 
  [ 12727, 247 ], [ 12729, 1417 ], [ 12735, 1455 ], [ 12741, 1781 ], 
  [ 12747, 1419 ], [ 12747, 1435 ], [ 12747, 3035 ], [ 12753, 177 ], 
  [ 12753, 273 ], [ 12753, 1425 ], [ 12753, 1521 ], [ 12753, 2289 ], 
  [ 12755, 515 ], [ 12765, 1725 ], [ 12783, 1423 ], [ 12789, 165 ], 
  [ 12789, 693 ], [ 12789, 725 ], [ 12789, 1653 ], [ 12789, 3045 ], 
  [ 12795, 1435 ], [ 12807, 167 ], [ 12807, 1431 ], [ 12815, 1631 ], 
  [ 12819, 1427 ], [ 12831, 1551 ], [ 12831, 2303 ], [ 12831, 3055 ], 
  [ 12835, 595 ], [ 12861, 1437 ], [ 12865, 913 ], [ 12873, 1433 ], 
  [ 12873, 1449 ], [ 12873, 3065 ], [ 12875, 2987 ], [ 12879, 1007 ], 
  [ 12879, 1855 ], [ 12879, 2703 ], [ 12879, 4399 ], [ 12879, 5247 ], 
  [ 12885, 1445 ], [ 12891, 1435 ], [ 12903, 663 ], [ 12909, 1437 ], 
  [ 12909, 1469 ], [ 12909, 2317 ], [ 12915, 195 ], [ 12915, 819 ], 
  [ 12915, 3075 ], [ 12921, 1593 ], [ 12925, 1645 ], [ 12927, 1439 ], 
  [ 12927, 1519 ], [ 12927, 1807 ], [ 12933, 5269 ], [ 12939, 2043 ], 
  [ 12943, 271 ], [ 12943, 559 ], [ 12955, 523 ], [ 12957, 285 ], 
  [ 12957, 3085 ], [ 12975, 1903 ], [ 12981, 1445 ], [ 12993, 1633 ], 
  [ 12999, 1447 ], [ 12999, 1463 ], [ 12999, 3095 ], [ 13005, 205 ], 
  [ 13005, 1485 ], [ 13013, 341 ], [ 13017, 1449 ], [ 13023, 1455 ], 
  [ 13025, 545 ], [ 13029, 1717 ], [ 13035, 203 ], [ 13035, 1595 ], 
  [ 13035, 1659 ], [ 13053, 61 ], [ 13053, 93 ], [ 13053, 1453 ], 
  [ 13053, 1501 ], [ 13053, 2061 ], [ 13065, 1465 ], [ 13065, 1625 ], 
  [ 13065, 2345 ], [ 13071, 1455 ], [ 13077, 1461 ], [ 13083, 1691 ], 
  [ 13083, 3115 ], [ 13089, 1457 ], [ 13091, 323 ], [ 13101, 45 ], 
  [ 13101, 141 ], [ 13101, 1485 ], [ 13105, 529 ], [ 13113, 1833 ], 
  [ 13115, 731 ], [ 13131, 171 ], [ 13131, 1467 ], [ 13135, 703 ], 
  [ 13137, 1537 ], [ 13139, 275 ], [ 13143, 1463 ], [ 13143, 1495 ], 
  [ 13143, 2359 ], [ 13145, 1673 ], [ 13149, 45 ], [ 13149, 189 ], 
  [ 13149, 1469 ], [ 13149, 1485 ], [ 13149, 5357 ], [ 13155, 1475 ], 
  [ 13167, 319 ], [ 13167, 495 ], [ 13167, 847 ], [ 13167, 1551 ], 
  [ 13167, 2079 ], [ 13167, 3135 ], [ 13175, 935 ], [ 13195, 715 ], 
  [ 13203, 83 ], [ 13203, 99 ], [ 13203, 195 ], [ 13203, 243 ], 
  [ 13203, 611 ], [ 13203, 627 ], [ 13203, 1475 ], [ 13203, 1491 ], 
  [ 13203, 1539 ], [ 13203, 2771 ], [ 13203, 5379 ], [ 13209, 1513 ], 
  [ 13209, 1785 ], [ 13209, 3145 ], [ 13215, 543 ], [ 13221, 2373 ], 
  [ 13239, 1479 ], [ 13245, 1485 ], [ 13251, 51 ], [ 13251, 291 ], 
  [ 13251, 1475 ], [ 13251, 1491 ], [ 13251, 3155 ], [ 13255, 535 ], 
  [ 13255, 583 ], [ 13255, 1687 ], [ 13257, 5401 ], [ 13265, 305 ], 
  [ 13269, 1477 ], [ 13275, 1947 ], [ 13281, 2097 ], [ 13287, 1479 ], 
  [ 13287, 1591 ], [ 13287, 1751 ], [ 13293, 93 ], [ 13293, 333 ], 
  [ 13293, 365 ], [ 13293, 1485 ], [ 13293, 1533 ], [ 13293, 3165 ], 
  [ 13299, 1507 ], [ 13299, 1859 ], [ 13299, 2387 ], [ 13301, 53 ], 
  [ 13317, 1541 ], [ 13323, 1483 ], [ 13325, 845 ], [ 13335, 135 ], 
  [ 13335, 375 ], [ 13335, 1495 ], [ 13335, 1575 ], [ 13335, 3175 ], 
  [ 13341, 1485 ], [ 13347, 1491 ], [ 13351, 247 ], [ 13355, 539 ], 
  [ 13359, 1487 ], [ 13359, 1647 ], [ 13359, 1679 ], [ 13375, 3103 ], 
  [ 13395, 2115 ], [ 13401, 1497 ], [ 13407, 1599 ], [ 13409, 689 ], 
  [ 13425, 1969 ], [ 13431, 1495 ], [ 13431, 1591 ], [ 13431, 1815 ], 
  [ 13447, 391 ], [ 13449, 1497 ], [ 13455, 2415 ], [ 13461, 3205 ], 
  [ 13467, 1499 ], [ 13467, 1675 ], [ 13473, 1505 ], [ 13473, 1521 ], 
  [ 13473, 5489 ], [ 13475, 1715 ], [ 13485, 493 ], [ 13485, 957 ], 
  [ 13485, 1885 ], [ 13497, 1529 ], [ 13503, 1503 ], [ 13503, 1519 ], 
  [ 13503, 3215 ], [ 13509, 245 ], [ 13509, 261 ], [ 13509, 869 ], 
  [ 13509, 1509 ], [ 13509, 1653 ], [ 13509, 2133 ], [ 13521, 1505 ], 
  [ 13525, 565 ], [ 13527, 2839 ], [ 13527, 5511 ], [ 13531, 283 ], 
  [ 13533, 2429 ], [ 13539, 1507 ], [ 13545, 345 ], [ 13545, 425 ], 
  [ 13545, 585 ], [ 13545, 1545 ], [ 13545, 1785 ], [ 13545, 3225 ], 
  [ 13555, 547 ], [ 13557, 1509 ], [ 13575, 135 ], [ 13575, 615 ], 
  [ 13575, 1511 ], [ 13575, 1575 ], [ 13575, 1991 ], [ 13581, 5533 ], 
  [ 13585, 1729 ], [ 13587, 3235 ], [ 13601, 737 ], [ 13605, 1525 ], 
  [ 13611, 1515 ], [ 13611, 1547 ], [ 13611, 2443 ], [ 13623, 2151 ], 
  [ 13625, 3161 ], [ 13629, 3245 ], [ 13647, 1519 ], [ 13653, 533 ], 
  [ 13653, 1845 ], [ 13655, 551 ], [ 13659, 1595 ], [ 13665, 561 ], 
  [ 13671, 215 ], [ 13671, 247 ], [ 13671, 375 ], [ 13671, 455 ], 
  [ 13671, 775 ], [ 13671, 1527 ], [ 13671, 1575 ], [ 13671, 1767 ], 
  [ 13671, 1911 ], [ 13671, 3255 ], [ 13677, 1645 ], [ 13683, 1523 ], 
  [ 13695, 1743 ], [ 13701, 1525 ], [ 13705, 553 ], [ 13713, 3265 ], 
  [ 13715, 611 ], [ 13725, 253 ], [ 13725, 285 ], [ 13725, 765 ], 
  [ 13725, 1533 ], [ 13725, 1725 ], [ 13725, 2013 ], [ 13731, 1587 ], 
  [ 13735, 871 ], [ 13737, 1529 ], [ 13737, 1577 ], [ 13737, 2169 ], 
  [ 13743, 5599 ], [ 13755, 155 ], [ 13755, 651 ], [ 13755, 3275 ], 
  [ 13761, 1617 ], [ 13767, 2471 ], [ 13769, 329 ], [ 13773, 1533 ], 
  [ 13777, 49 ], [ 13779, 179 ], [ 13779, 1539 ], [ 13785, 1545 ], 
  [ 13791, 1535 ], [ 13795, 979 ], [ 13803, 1819 ], [ 13805, 557 ], 
  [ 13805, 605 ], [ 13805, 1757 ], [ 13809, 1537 ], [ 13815, 215 ], 
  [ 13815, 1575 ], [ 13821, 1581 ] ]
