2022 APC는 출제진들의 생각보다 어려웠다고 한다. 난이도의 조절을 위해 2023 APC의 출제자 현빈이는 문제 난이도에 대한 가이드라인을 만들었다. 2023 APC에는 N개의 문제가 출제될 예정이다. 각 문제는 순서대로 1번부터 N번까지의 번호를 가진다.
현빈이가 만든 난이도 가이드라인에는 두 가지 규칙이 있다.
현빈이를 위해 난이도 가이드라인의 규칙을 준수하면서 N개 문제의 난이도를 결정하는 방법의 수를 구해주자.
첫째 줄에 N과 K가 주어진다. (1≤N≤3,000;0≤K≤3,000)
둘째 줄부터 N줄에 걸쳐 a_i와 b_i가 공백으로 구분되어 주어진다. (1≤a_i≤b_i≤3,000)
입력으로 주어지는 모든 값은 정수다.
문제의 조건에 맞게 N개 문제의 난이도를 결정하는 방법의 수를 109+7로 나눈 나머지를 출력하시오.
죄성함다.