문제

Farmer John wants to divide his $N$ cows $(N \leq 7500)$, conveniently numbered $1 \ldots N$, into $K$ non-empty groups ($2 \leq K \leq N$) such that no two cows from two different groups can interact with each other without walking some number of miles. Cow $x$ and Cow $y$ (where $1 \leq x < y \leq N$) are willing to walk $(2019201913x + 2019201949y)\text{ mod } 2019201997$ miles to see each other.

Given a division of the $N$ cows into $K$ non-empty groups, let $M$ be the minimum of the number of miles any two cows in two different groups are willing to walk to see each other. To test the cows' devotion to each other, Farmer John wants to optimally divide the $N$ cows into $K$ groups such that $M$ is as large as possible.

The memory limit for this problem is set to 512MB, above the usual 256MB limit.

입력

The input is just one line, containing $N$ and $K$, separated by a space.

출력

Print out $M$ in an optimal solution.

예제 입력 1

3 2

예제 출력 1

2019201769