module Main; import CPLib.Bits::bit_set; import CPLib.IO; main : IO () = ( let n = *read_i; let dp = fill(1.shift_left(6), fill(n+1, 0.0)); let dp = dp[0][0].iset(1.0); let dp = range(0, n).fold(dp, |n, dp| range(0, 1.shift_left(6)).fold(dp, |flag, dp| let v = dp.@(flag).@(n); range(0, 6).fold(dp, |dice, dp| let flag = flag.bit_set(dice); dp[flag][n+1].imod(add(v / 6.0)) ) ) ); dp.@(1.shift_left(6) - 1).@(n).to_string.println;; pure() );