7+3^(2^1+2^2+2^3) mod 2^7