通知

如果方程显示不正确，我们建议查看新的AtCoder系统。

问题设定

问题 C 的任务与问题 A 几乎相同。因此，有关任务的详细信息，请参考 问题设定 A。问题 C 的唯一区别是作为输入的高阶伪布尔函数的形状。该输入现在最多包含度数为 6 的项（$d=6$），并提供了函数的所有可能项的系数。有关输入问题的详细信息，请参见下面的部分。

输入格式

对输入问题应满足以下要求。

• $3 \leq N \leq 10$
• $1 \leq K \leq 2^N$
• $0 \leq d_i \leq 6$
• $1 \leq |c_i| \leq 100$
• $1 \leq v_{i, j} \leq N$
• 对于所有的 $j$ $(1 \leq j < d_i)$，我们要求 $v_{i, j} < v_{i, j+1}$
• 对于两行 $i,j$，其中 $i \neq j$，我们要求 $\left[ v_{i, 1}, \dots , v_{i, d_i} \right] \neq \left[ v_{j, 1}, \dots, v_{j, d_j} \right]$，即两行不能编码相同类型的单项式。
• 第 $d_i = 0$ 行不能超过系数部分。
• 所有变量 $k$ $(1 \leq k \leq N)$ 应至少出现在某一项中，即存在至少一个 $v_{i,j}$，使得 $k = v_{i, j}$。