Primality proof for n = 28817:

Take b = 2.

b^(n-1) mod n = 1.

1801 is prime.
b^((n-1)/1801)-1 mod n = 7901, which is a unit, inverse 1065.

(1801) divides n-1.

(1801)^2 > n.

n is prime by Pocklington's theorem.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7199118,"math_prob":0.9998497,"size":209,"snap":"2020-10-2020-16","text_gpt3_token_len":88,"char_repetition_ratio":0.13658537,"word_repetition_ratio":0.0,"special_character_ratio":0.5263158,"punctuation_ratio":0.18518518,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9971274,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-02-17T12:27:53Z\",\"WARC-Record-ID\":\"<urn:uuid:c2c4ee32-57da-42d9-9ff8-9887a68f1ee1>\",\"Content-Length\":\"461\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:e03fde87-ded3-401f-8e3f-a9235bff6855>\",\"WARC-Concurrent-To\":\"<urn:uuid:116392ae-71f8-4078-907d-7ea2754c6c13>\",\"WARC-IP-Address\":\"131.193.32.109\",\"WARC-Target-URI\":\"http://safecurves.cr.yp.to/proof/28817.html\",\"WARC-Payload-Digest\":\"sha1:XATO2YHD34WDXMS4L62KNC7BR3ERQ4JV\",\"WARC-Block-Digest\":\"sha1:BIEYONSJYZQPVRXXDCKKZD4O64HDH7OQ\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-10/CC-MAIN-2020-10_segments_1581875142323.84_warc_CC-MAIN-20200217115308-20200217145308-00412.warc.gz\"}"}