s * 2 s - 13