길이가 $n$인 배열 $a$가 주어지며, 처음에 모든 원소는 0으로 채워져 있습니다. 또한 길이가 $n$인 또 다른 배열 $b$가 주어집니다. 당신의 목표는 배열 $a$를 배열 $b$로 변환하는 것입니다. 다음 두 가지 유형의 연산을 수행할 수 있습니다.

• $1 \ x$: 배열 $a$에서 값이 $x$인 모든 원소에 1을 더합니다.
• $2 \ x$: 배열 $a$의 인덱스 $x$에 있는 원소에 1을 더합니다.

최대 20,000번의 연산까지 수행할 수 있습니다.

입력

첫 번째 줄에는 양의 정수 $n$ ($1 \le n \le 1000$)이 주어집니다. 두 번째 줄에는 배열 $b$를 나타내는 $n$개의 음이 아닌 정수 ($0 \le b_i \le n$)가 주어집니다.

출력

첫 번째 줄에는 연산 횟수를 나타내는 정수 $k$를 출력합니다. 이어지는 $k$개의 줄에는 각 연산을 나타내는 두 정수 $1 \ x$ 또는 $2 \ x$를 출력합니다. 연산 유형 $1 \ x$의 경우, $0 \le x \le n$을 만족해야 합니다. 연산 유형 $2 \ x$의 경우, $1 \le x \le n$을 만족해야 합니다.

예제

입력 1

4
2 4 3 1

출력 1

8
2 1
2 2
2 3
1 1
2 4
2 2
2 3
2 2