1if (2 * (63 * t1 % 64) + t1 <= 134)
2  S(-(2 * ((t1 - 1) % 64)) + t1 + 126);
3