Initializer có quá nhiều phần tử

Nguồn: Phước Hưng OJ

Phiên bản: Phước Hưng OJ Extended

Đề bài

Một khai báo mảng có capacity cố định $N$ được mô tả bởi

int a[N] = {v0, v1, ..., v(K-1)};

Trong bài này, $N$ biểu diễn một hằng số nguyên dương của khai báo và danh sách initializer có đúng $K$ phần tử.

Theo quy tắc khởi tạo mảng của C:

• nếu $K\le N$, khai báo hợp lệ; nếu $K<N$, các phần tử còn thiếu được zero-initialize;
• nếu $K>N$, danh sách có initializer vượt quá số phần tử của mảng và khai báo không hợp lệ.

Hãy xác định khai báo được mô tả là hợp lệ hay không.

Input

Dòng đầu chứa hai số nguyên $N,K$. Dòng thứ hai chứa đúng $K$ số nguyên $v_0,v_1,\ldots,v_{K-1}$.

Output

In VALID nếu $K\le N$; ngược lại in INVALID.

Subtask

Subtask 1 (20 điểm): $1\le N,K\le10$.

Subtask 2 (30 điểm): $1\le N,K\le100$.

Subtask 3 (50 điểm): $1\le N,K\le1000$.

Ví dụ

Input

3 4
1 2 3 4

Output

INVALID

Giải thích

Ở đây $K=4>N=3$, nên có quá nhiều initializer cho mảng gồm 3 phần tử.