World Cup Draws

A button football World Cup is being played with teams from all over the world. Teams are ranked by the points they have earned, and points are awarded the usual way. A team that wins a game gets 3 points, a game that ends in a draw gives 1 point to each of the two teams, and the losing team gets nothing.

You are given the current standings and the number of participating teams. Determine how many games have ended in a draw so far.

The input contains several test cases. The first line of a test case has two integers $T$ and $N$, the number of participating teams ($2 \le T \le 200$) and the number of games played so far ($0 \le N \le 10000$). Each of the next $T$ lines has the name of a team (a string of at most 10 letters and digits), one space, and the number of points that team has earned so far. The point total is always a value that the $N$ games could actually have produced.

The last line of the input starts with $T = 0$ and is not a test case.

For each test case, print one line with a single integer, the number of games that have ended in a draw so far.