输入描述:

每个测试文件均包含多组测试数据。第一行输入一个整数  代表数据组数，每组测试数据描述如下：

第一行输入两个正整数 ，表示数组长度、初始区间个数。
此后  行，第  行输入两个正整数 ，表示 Bob 手中的第  个区间。保证区间互不相同也互不重叠。

除此之外，保证单个测试文件的  之和、 之和不超过 。

输出描述:

对于每一组测试数据，新起一行。若无法唯一确定数组，输出 ，否则，输出 Alice 停止询问时的询问次数  的数学期望  对  取模的结果。