[janzfevh] 8192 bit safe primes

2 ^ 8192 - X is a safe prime for X = {43644929, 49930517, 71186057}. Still doublechecking whether they are the largest. (Update: now confirmed 43644929).

Back of the envelope suggests 150 days for 2^16384 (pari gp).