5*( 80 + 5*2^84 + 5*2^(5*2^84+4) + 5*2^(5*2^(5*2^84+4) + 4)) +15*5*2^(5*2^(5*2^84+4) + 4) + 35