n = gets.chomp.to_i r = {} c = 0 (0..(2 ** (n - 1))).each do |j| r[j] = sprintf("%0b", j) r[j] = r[j].split('').unshift('0').join while r[j].length < n chars = r[j].split('') is_sucess = true is_sucess = false if chars[0] == '1' chars.each_with_index do |_, i| break unless is_sucess break if i > chars.length - 1 is_sucess = false if chars[i + 1] == '1' && chars[i] == '1' break if i > chars.length - 2 is_sucess = false if (chars[i + 2] == '0') && (chars[i + 1] == '0') && (chars[i] == '0') end c += 1 if is_sucess end puts c