(ln(ln(2^64)) - ln(ln(5.14 * 10^18))) * 2001