from math import comb

states = sum(
    comb(64, k) for k in range(9)
)
print(states)