#agc047d. [agc047_d]Twin Binary Trees

[agc047_d]Twin Binary Trees

给定两棵完全相同的 nn 层完全二叉树,其中第 ii 层编号依次为 2i1,2i1+1,,2i12^{i-1},2^{i-1}+1,\dots, 2^i−1

给定一个 112n12^{n-1} 的排列 pp,将第一棵树的第 ii 个叶子节点连向第二棵树的第 pip_i 个叶子节点。

求此图中合法的环的权值和。

称一个环合法当且仅当它恰好经过 22 条非树边,定义一个环的权值为环上点的编号乘积。

答案对 109+710^9 + 7 取模。

2n182 \le n \le 18