A11519 | Too Easy Problems

You are preparing for an exam on scheduling theory. The exam will last for exactly $T$ milliseconds and will consist of $n$ problems. You can either solve problem $i$ in exactly $t_{i}$ milliseconds or ignore it and spend no time. You don't need time to rest after solving a problem, either.

Unfortunately, your teacher considers some of the problems too easy for you. Thus, he assigned an integer $a_{i}$ to every problem $i$ meaning that the problem $i$ can bring you a point to the final score only in case you have solved no more than $a_{i}$ problems overall (including problem $i$ ).

Formally, suppose you solve problems $p_{1},p_{2},...,p_{k}$ during the exam. Then, your final score $s$ will be equal to the number of values of $j$ between 1 and $k$ such that $k<=a_{pj}$ .

You have guessed that the real first problem of the exam is already in front of you. Therefore, you want to choose a set of problems to solve during the exam maximizing your final score in advance. Don't forget that the exam is limited in time, and you must have enough time to solve all chosen problems. If there exist different sets of problems leading to the maximum final score, any of them will do.

The first line contains two integers $n$ and $T$ ( $1<=n<=2·10^{5}$ ; $1<=T<=10^{9}$ ) — the number of problems in the exam and the length of the exam in milliseconds, respectively.

Each of the next $n$ lines contains two integers $a_{i}$ and $t_{i}$ ( $1<=a_{i}<=n$ ; $1<=t_{i}<=10^{4}$ ). The problems are numbered from 1 to $n$ .

In the first line, output a single integer $s$ — your maximum possible final score.

In the second line, output a single integer $k$ ( $0<=k<=n$ ) — the number of problems you should solve.

In the third line, output $k$ distinct integers $p_{1},p_{2},...,p_{k}$ ( $1<=p_{i}<=n$ ) — the indexes of problems you should solve, in any order.

If there are several optimal sets of problems, you may output any of them.