P15768 [JAG 2025 Summer Camp #2] Triangles

Description

You are given $N$ distinct points on a 2D plane. The $i$-th point is located at $(x_i, y_i)$. For each integer $k \geq 1$, let $f(k)$ be the maximum number of non-degenerate triangles you can place under the following conditions: - You add $k$ new points on the plane such that all $N + k$ points are distinct. - Each triangle has its vertices among the $N + k$ points. - No two triangles have an intersection with a positive area. Compute $\left(\sum \limits_{k=1}^{K} f(k)\right) \mod 998244353$.

Input Format

The input consists of a single test case in the following format. $$ \begin{aligned} & N \ K \\ & x_1 \ y_1 \\ & \vdots \\ & x_N \ y_N \end{aligned} $$ The first line contains two integers $N$ and $K$ ($1 \leq N \leq 200\,000$, $1 \leq K \leq 10^9$), representing the number of points and the maximum value of $k$. Each of the next $N$ lines contains two integers $x_i$ and $y_i$ ($0 \leq x_i, y_i \leq 10^9$), representing the coordinates of the $i$-th point. It is guaranteed that all $N$ points are distinct.

Output Format

Print the answer.