#agc047d. [agc047_d]Twin Binary Trees

[agc047_d]Twin Binary Trees

問題文

テレビドラマシリーズ『ストレンジャー・シングス』に触発されたクマのリマクは、現実世界と鏡像世界を歩いて行き来することにしました。

二つの高さ HH の完全二分木があり、それぞれの頂点は 11 から 2H12^H-1 までの標準的な番号付けがなされています。 すなわち、根の番号は 11 で、番号 xx の子の番号は 2cdotx2 \\cdot x2cdotx+12 \\cdot x + 1 です。

一つの木が持つ葉の数を LL とします。すなわち、L=2H1L = 2^{H-1} です。

数列 1,ldots,L1, \\ldots, L の順列 P1,P2,ldots,PLP_1, P_2, \\ldots, P_L が与えられます。これは、二つの木を結ぶ LL 本の 特殊辺 を表します。 すなわち、第一の木の番号 L+i1L+i-1 の頂点と第二の木の番号 L+Pi1L+P_i-1 の頂点が一本の特殊辺で結ばれています。

入力例 1 のグラフ

入力例 1 の図示。P=(2,3,1,4)P = (2, 3, 1, 4) であり、緑の辺が特殊辺

サイクルの を、それに含まれる頂点の番号の積と定義します。ちょうど二本の特殊辺を持つような すべての単純サイクルの積の和を (109+7)(10^9+7) で割った余りを求めてください。

なお、単純サイクルとは、長さが 33 以上であって頂点や辺の重複がないようなサイクルです。

制約

  • 2leqHleq182 \\leq H \\leq 18
  • 1leqPileqL1 \\leq P_i \\leq L (ただし L=2H1L = 2^{H-1})
  • PineqPjP_i \\neq P_j (すなわち、この数列は 1,ldots,L1, \\ldots, L の順列である)

入力

入力は以下の形式で標準入力から与えられる (ここで、L=2H1L = 2^{H-1} である)。

HH P1P_1 P2P_2 cdots\\cdots PLP_L

出力

ちょうど二本の特殊辺を持つようなすべての単純サイクルの積の和を求め、それを (109+7)(10^9+7) で割った余りを出力せよ。


入力例 1

3
2 3 1 4

出力例 1

121788

下図に考慮すべきサイクルを二つ示します (他にも存在します)。一つめのサイクルの積は $2 \\cdot 5 \\cdot 6 \\cdot 3 \\cdot 1 \\cdot 2 \\cdot 5 \\cdot 4 = 7200$、二つめのサイクルの積は $1 \\cdot 3 \\cdot 7 \\cdot 7 \\cdot 3 \\cdot 1 \\cdot 2 \\cdot 5 \\cdot 4 \\cdot 2 = 35280$ です。三つめのサイクルは、特殊辺の数が二本でないため、考慮すべきサイクルではありません。

three cycles


入力例 2

2
1 2

出力例 2

36

グラフ中の唯一のサイクルは確かに特殊辺を二本持ち、その頂点番号の積は $1 \\cdot 3 \\cdot 3 \\cdot 1 \\cdot 2 \\cdot 2 = 36$ です。


入力例 3

5
6 14 15 7 12 16 5 4 11 9 3 10 8 2 13 1

出力例 3

10199246