[POI2009] FIB-Words 2

## 题目描述 下面的任务是第16届波兰语竞赛第三阶段的任务“单词”的一个明显的难度增强版本。它并没有在比赛中使用，但对于那些解决了“单词”的人来说，它是一个扩展 :) 。 函数 $h$ 作用于由数字 $0$ 和 $1$ 组成的字符串，其通过将每一个数字 $0$ 替换为 $1$，将每一个数字 $1$ 替换为字符串 $10$ 来独立且同时地变换字符串 $w$。 例如： $$h(``1001")=``101110"$$ $$h(``\ ")=``\ "$$ 其中例二即把空字符串赋值给空字符串。 注意， $h$ 是一个一对一的函数。 我们用 $h^k$ 表示函数 $h$ 使用 $k$ 次。 特别的， $h^0(w)=w$。 我们对 $k = 0, 1, 2, ...$ 的 $h^k(``0")$ 形式的字符串感兴趣，这个序列为: $$ ``0", ``1", ``10", ``101", ``10110", ``10110101", \ldots $$ 如果字符串 $x$ 在 $y$ 中以一个连续的（即一个块）子串出现，我们就称 $x$ 为字符串 $y$ 的子串。给出整数 $k_1, k_2, k_3, ..., k_n $ 的序列。你的任务是检查对于一些 $m$ 来说， $h^{k_1}(``0") \cdot h^{k_2}(``0") \cdot \ldots \cdot h^{k_n}(``0") $ 形式的字符串是否是 $h^m(``0")$ 的子串，如果有，你应该找到最小的 $m$。 ## 输入内容 输入的第一行包含一个整数 $n$， $1 \leq n \leq 1000000$。输入的第二行包含 $n$ 个非负整数 $k_1, k_2, k_3, ..., k_n $，用单个空格分隔。 ## 输出内容 您的程序应该输出 $t$ 行，每个测试输出一行。你的程序应该输出的最小非负整数 $m$，使 $h^{k_1}(``0") \cdot h^{k_2}(``0") \cdot \ldots \cdot h^{k_n}(``0") $ 是 $h^m(``0")$ 的子串。如果不存在 $m$，则输出 `NIE`（波兰语中的 _no_ ）。 _Translated By in\_young\_ren_

The following task is a significantly harder version of task Words from the third stage of 16th Polish OI. It wasn't used in the contest itself, but is an extension for those who solved "Words" and want more. :-) Let  be a function acting on strings composed of the digits 0 and 1. The function  transforms the string  by replacing (independently and concurrently) every digit 0 with 1 and every digit 1 with the string . For example ,  (i.e.  assigns an empty string to the empty string). Note that  is an injection, or a one-to-one function. By  we denote the function  composed with itself  times. In particular,  is the identity function . We are interested in the strings of the form  for  This sequence begins with the following strings: , , , , , . We call the string  a substring of the string  if it occurs in  as a contiguous (i.e. one-block) subsequence. A sequence of integers  is given. Your task is to check whether a string of the form  is a substring of  for some , and if it is, you shuold find minimal such .

The first line of the standard input contains a single integer , . The second line of standard input holds  non-negative integers (), separated by single spaces.

Your programme should print out  lines to the standard output, one for each test unit. Your programm should print to standard output minimal non-negative integer , such that  is a substring of , or NIE (no in Polish) if such  doesn't exist.

2
1 2

4