2^64-2*(62+sum (n*2^(61-n)) from 11 to 61)+18437736874454810628