Day 176-Q3 — 2026-10-12 | Mock Turtles（3 枚まで裏返すコインゲームの勝ち手を、10^18 枚の盤で数える）

📋 コピーimport sys


def odd_below(M):
    """[0, M) のうち立っているビット数が奇数（odious）の整数の個数"""
    if M <= 0:
        return 0
    if M % 2 == 0:
        return M >> 1
    return (M >> 1) + (bin(M - 1).count('1') & 1)


def pairs_count(L, t):
    """odious な u のうち u < L かつ (u ^ t) < L を満たす個数（t は 0 でなく偶数ビット）"""
    h = t.bit_length() - 1
    res = (L >> (h + 1) << (h + 1)) >> 1          # u が L から離れるビット k が h より上
    if L >> h & 1:
        low = L & ((1 << h) - 1)
        res += low >> 1                           # h より下の k >= 1: 下位の自由なビットで偶奇が半々
        if low & 1 and bin(L >> 1).count('1') & 1:
            res += 1                              # k = 0: 偶奇は固定
        # k = h: u_h = 0、v_h = 1 = L_h。下位 h ビットで v < L かつ u が奇数ビット
        need = (1 - bin(L >> (h + 1)).count('1') - bin(t & ((1 << h) - 1)).count('1')) & 1
        o = odd_below(low)
        res += o if need else low - o
    return res


def grundy(x):
    """位置 x（1 始まり）の表のコイン 1 枚の Grundy 数 = (x-1) 番目の odious 数"""
    p = x - 1
    return 2 * p + (1 - (bin(p).count('1') & 1))


def main():
    data = sys.stdin.buffer.read().split()
    n = int(data[0])
    xs = [int(v) for v in data[1:n + 1]]
    gs = [grundy(x) for x in xs]
    X = 0
    for g in gs:
        X ^= g
    if X == 0:
        print("Second")
        return
    total = 0
    for g in gs:
        t = X ^ g                                  # 残りのコインで作るべき XOR
        if t == 0:
            total += 1                             # 右端の 1 枚だけ裏返す
        elif bin(t).count('1') & 1:
            total += 1 if t < g else 0             # もう 1 枚: Grundy 数 t の位置 (t>>1)+1 < x
        else:
            total += pairs_count(g, t) >> 1        # もう 2 枚: 順序なしの組
    print("First")
    print(total)


main()