template times*(n:int,body) = (for _ in 0.." .} proc scan(): int = while true: let k = getchar_unlocked() if k < '0': break result = 10 * result + k.ord - '0'.ord let n = scan() if n >= 32 : quit "0 0",0 if n == 0 : quit "1 0",0 var ans = 0 let count = (31-1).combination(n-1) for i in 0..<31: ans += count * (1 shl i) echo 31.combination(n)," ",ans