题目描述

给定一个边长为 $M$ 的正方形，其四个顶点分别为 $(0,0)$、$(M,0)$、$(M,M)$、$(0,M)$。正方形边界上的所有整点均为红点。

正方形内部有 $K$ 个互不相同的黑色整点，第 $i$ 个黑点坐标为 $(x_i,y_i)$。

你需要从所有红点中选择三个不同的点作为三角形的三个顶点，并要求所有黑点都位于该三角形内部或边界上。

求满足条件的三角形数量。

输入格式

第一行输入两个整数 $K,M$。

接下来 $K$ 行，每行输入两个整数 $x_i,y_i$，表示一个黑点的坐标。

输出格式

输出一个整数，表示合法三角形的数量。

数据范围

• $2\le M\le 58585$；
• $1\le K\le 20$；
• $1\le x_i,y_i\le M-1$；
• 所有黑点互不相同。

样例

3 4
1 1
2 3
3 2

19