• 256 57 + 31 / 2.