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