#L6363. 「地底蔷薇」

「地底蔷薇」


题目描述

由于内部原因,题目背景没了。

给定集合 SS,请你求出 nn 个点的「所有极大点双连通分量的大小都在 SS 内」的不同简单无向连通图的个数对 998244353998244353 取模的结果。

  • 点双连通分量:删去任意一个点后剩下的点依然保持连通的连通子图。
  • 极大点双连通分量:一个点双连通分量,且不存在更大的点双连通分量包含自己。
  • 极大点双连通分量的大小:指连通分量包含的点数。

两个简单无向图不同,当且仅当存在某条边 (u,v)(u,v) 出现在了其中一个无向图,而没有出现在另一个无向图。


输入格式

第一行包含两个整数 n,Sn,|S|,表示图的点数以及集合 SS 的大小。
第二行包含 S|S| 个整数,表示集合 SS 的元素。


输出格式

包含一个整数,表示答案对 998244353998244353 取模的结果。


样例

输入

5 1
2

输出

125

解释:S={2}S=\{2\},可以证明这等价于图中不存在环。55 个点的有标号无根树共有 53=1255^3=125 种。


数据范围与提示

  • 对于 10%10\% 的数据,n6n\leq6
  • 对于 30%30\% 的数据,n12n\leq12
  • 对于 50%50\% 的数据,n1000n\leq1000
  • 对于 100%100\% 的数据,n105n\leq10^5(xSx)105(\sum_{x\in S}x)\leq10^5