bobo 在平面上找到了 $n$ 个点。他随机选取一个点集(每个子集被选中的概率相等),并想知道凸包大小的期望。
注意,凸包不应包含两个重复的点或三个共线的点。
输入格式
第一行包含一个整数 $n$ ($1 \le n \le 2000$)。 接下来 $n$ 行,每行包含两个整数 $x_i, y_i$,表示一个点 $(x_i, y_i)$ ($0 \le x_i, y_i \le 10^9$)。
输出格式
若期望为 $E$,输出一个整数,表示 $E \cdot 2^n \pmod{10^9 + 7}$。
样例
样例输入 1
3 0 0 0 1 1 0
样例输出 1
12
样例输入 2
3 0 0 0 1 0 2
样例输出 2
11