题号：NC214726
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
题目描述
Amadeus System 是基于 Makise Kurisu 的大脑所设计的人工智能系统……当然，这只是预想中的计划，现在的 Amadeus System 只是一台仅可以识别 01 字符串（仅包含0，1的字符串，如111，000，1010...）的计算机。
奇怪的是，Amadeus System 现在出现了一些奇妙的 bug ，不是所有 01 字符串都可以被正确识别。当输入的字符串中包含形如"10"的子串（或者说，当"1"的后一个字符是"0"）时，Amadeus System 就会宕机。
请问，对于长度不超过n的01字符串有多少可以被识别？
奇怪的是，Amadeus System 现在出现了一些奇妙的 bug ，不是所有 01 字符串都可以被正确识别。当输入的字符串中包含形如"10"的子串（或者说，当"1"的后一个字符是"0"）时，Amadeus System 就会宕机。
请问，对于长度不超过n的01字符串有多少可以被识别？
输入描述:
输入只有一个整数,含义如上。
输出描述:
输出一个整数表示答案。