YES
6 1 2 3 4
5
YES
4 3 1 2
5 4
YES
7 5 4 3 2 1
6 6 5 4 3 2
NO
YES
6 5 3 2 1 0
5 4 4 3 2 1
NO
YES
6 5 4 2 1 0
5 4 3 3 2 1
YES
4 3 1 0
3 2 2 1
NO
YES
3 2 0
2 1 1
YES
5 4 3 1
4 3 2
NO
NO
NO
YES
2 1
3
NO
NO
NO
NO
YES
6 5 4 2 1
5 4 3 3
YES
6 5 4 1 2 3
7 6 5
YES
7 1 2 3 4 5
6
YES
7 6 5 4 3 2 1 0
8 7 6 5 4 3 2 1
NO
YES
8 7 6 5 3 1 2
7 6 5 4 4
NO
NO
NO
NO
NO
NO
YES
4 3 2 1 0
5 4 3 2 1
YES
4 3 2 1
5 4 3
NO
YES
6 5 4 1 2
5 4 3
YES
7 6 4 3 2 1
6 5 5 4 3 2
YES
1 2 3 4 5 6 7

YES
8 7 6 5 4 3 2
7 6 5 4 3 2 1
YES
7 6 5 4 2 1 0
6 5 4 3 3 2 1
YES
8 7 5 4 3 2 1
7 6 6 5 4 3
NO
NO
YES
3 2 1
4 3 2
YES
5 4 2 1
4 3 3
YES
8 7 5 4 1 2 3
7 6 6 5
NO
YES
7 6 1 2 3 4
6 5
NO
YES
7 6 5 4 3 2 1
8 7 6 5 4 3
YES
7 6 5 4 1 2
6 5 4 3
YES
3 1 0
2 2 1
YES
8 7 6 5 1 2 3
7 6 5 4
NO
YES
8 7 6 5 4 3 2 1
7 6 5 4 3 2 1 0
YES
1
2
NO
YES
8 1 2 3 4 5 6
7
YES
5 3 2 1
4 4 3
YES
8 6 5 4 1 2 3
7 7 6 5
NO
YES
3 2 1
2 1 0
YES
8 7 6 4 3 2 1
7 6 5 5 4 3 2
YES
7 5 4 3 1 2
6 6 5 4
YES
6 4 3 1 2
5 5 4
YES
8 6 5 1 2 3 4
7 7 6
YES
3 1
2
YES
4 3 2
3 2 1
YES
8 7 6 5 4 3 1 0
7 6 5 4 3 2 2 1
YES
4 3 2 0
3 2 1 1
YES
6 5 1 2 3 4
7 6
YES
6 5 4 3 2 1
5 4 3 2 1 0
NO
YES
8 7 6 4 3 2 1
7 6 5 5 4 3
NO
YES
7 6 5 3 2 1
6 5 4 4 3
NO
NO
YES
8 7 6 4 3 2 1 0
7 6 5 5 4 3 2 1
YES
4 2 1 0
3 3 2 1
YES
6 5 4 3 2 1
7 6 5 4 3 2
YES
6 5 4 3 2
5 4 3 2 1
YES
7 6 5 4 3 1
6 5 4 3 2 2
YES
8 7 5 4 3 2 1 0
7 6 6 5 4 3 2 1
YES
4 1 2 3
5
YES
4 3 2 1
5 4 3 2
NO
YES
5 4 2 1
4 3 3 2
NO
YES
6 5 3 2 1
5 4 4 3
YES
1 2 3

YES
6 4 3 2 1
5 5 4 3
NO
NO
NO
YES
7 6 5 4 2 1
6 5 4 3 3 2
YES
6 5 4 3 1
5 4 3 2 2
YES
0
1
YES
4 3 2 1
3 2 1 0
YES
6 5 3 1 2
5 4 4
YES
8 7 6 5 4 3 2 0
7 6 5 4 3 2 1 1
NO
NO
NO
NO
NO
YES
5 4 3 2 1 0
6 5 4 3 2 1
YES
8 6 5 4 3 1 2
7 7 6 5 4
NO
NO
NO
NO
NO
YES
7 6 5 1 2 3
6 5 4
YES
5 4 3 2 1
6 5 4 3 2
YES
1 0
2 1
YES
6 5 4 3 2 1 0
7 6 5 4 3 2 1
YES
6 4 1 2 3
5 5
YES
7 6 4 1 2 3
6 5 5
YES
1 2 3 4

YES
2 1
1 0
YES
8 6 1 2 3 4 5
7 7
NO
YES
7 6 4 3 1 2
6 5 5 4
YES
8 7 6 5 4 2 1
7 6 5 4 3 3 2
YES
7 5 1 2 3 4
6 6
NO
YES
8 7 5 1 2 3 4
7 6 6
YES
8 6 5 4 3 2 1
7 7 6 5 4 3 2
NO
YES
8 7 6 5 3 2 1
7 6 5 4 4 3 2
NO
YES
3 2 1
4 3
NO
NO
YES
4 2 1
3 3
YES
5 1 2 3
4
NO
NO
NO
NO
YES
3 2
2 1
NO
YES
7 6 5 3 2 1 0
6 5 4 4 3 2 1
NO
YES
1

YES
6 5 4 3 1
5 4 3 2
YES
8 6 5 4 3 2 1
7 7 6 5 4 3
YES
6 5 4 2 1
5 4 3 3 2
NO
NO
NO
YES
6 1 2 3 4 5
7
NO
NO
YES
1 2

YES
6 5 4 3 1 2
7 6 5 4
NO
NO
YES
6 5 4 3 2 1
7 6 5 4 3
YES
7 6 4 3 2 1 0
6 5 5 4 3 2 1
YES
8 7 6 5 3 2 1
7 6 5 4 4 3
NO
NO
NO
YES
7 6 5 4 1 2 3
8 7 6 5
NO
YES
5 4 3 2 1
6 5 4 3
NO
NO
YES
3 1 2
4
YES
2 1
3 2
YES
7 6 5 3 2 1
6 5 4 4 3 2
YES
8 7 6 5 4 1 2
7 6 5 4 3
NO
NO
NO
YES
8 7 1 2 3 4 5
7 6
NO
NO
YES
2 1 0
3 2 1
NO
YES
1 2 3 4 5

YES
6 5 4 3 2 0
5 4 3 2 1 1
NO
YES
3 1
2 2
YES
7 6 5 4 3 2
6 5 4 3 2 1
YES
4 3 1
3 2 2
YES
1
0
YES
5 3 1 2
4 4
YES
7 6 5 1 2 3 4
8 7 6
NO
YES
8 7 6 5 4 2 1 0
7 6 5 4 3 3 2 1
YES
7 6 5 4 3 2 1
8 7 6 5 4 3 2
NO
YES
7 6 5 4 3 1
6 5 4 3 2
NO
NO
NO
YES
8 7 6 5 4 3 1
7 6 5 4 3 2 2
NO
NO
NO
NO
NO
YES
6 4 3 2 1
5 5 4 3 2
NO
YES
2 0
1 1
NO
YES
7 5 4 3 2 1
6 6 5 4 3
NO
YES
7 6 5 4 3 2 0
6 5 4 3 2 1 1
NO
NO
YES
2
1
NO
YES
8 6 5 4 3 2 1 0
7 7 6 5 4 3 2 1
YES
8 7 6 5 4 3 1
7 6 5 4 3 2
YES
4 3 1
3 2
NO
YES
7 6 5 4 3 2 1
6 5 4 3 2 1 0
YES
8 7 6 1 2 3 4
7 6 5
YES
5 4 3 1
4 3 2 2
YES
8 7 6 4 1 2 3
7 6 5 5
YES
7 6 5 4 3 1 2
8 7 6 5 4
NO
YES
5 4 3 2 0
4 3 2 1 1
YES
8 7 6 5 4 2 1
7 6 5 4 3 3
NO
YES
7 6 1 2 3 4 5
8 7
YES
5 1 2 3 4
6
YES
6 5 4 3 1 0
5 4 3 2 2 1
YES
6 4 3 2 1 0
5 5 4 3 2 1
NO
NO
NO
YES
4 2 1
3 3 2
YES
5 4 1 2
4 3
YES
3 2 1 0
4 3 2 1
NO
NO
NO
NO
YES
8 7 5 4 3 1 2
7 6 6 5 4
NO
NO
NO
NO
YES
7 5 4 3 2 1 0
6 6 5 4 3 2 1
NO
YES
7 1 2 3 4 5 6
8
YES
7 6 5 3 1 2
6 5 4 4
YES
1 2 3 4 5 6

NO
NO
YES
8 7 6 4 3 1 2
7 6 5 5 4
YES
5 4 2 1 0
4 3 3 2 1
YES
7 6 5 4 3 1 0
6 5 4 3 2 2 1
NO
YES
1 2 3 4 5 6 7 8

NO
YES
8 7 5 4 3 2 1
7 6 6 5 4 3 2
YES
6 5 3 2 1
5 4 4 3 2
NO
YES
5 4 3 1 2
6 5 4
NO
NO
YES
5 3 2 1
4 4 3 2
YES
7 6 4 3 2 1
6 5 5 4 3
NO
YES
7 6 5 4 2 1
6 5 4 3 3
YES
5 4 1 2 3
6 5
YES
5 4 3 1 0
4 3 2 2 1
YES
5 3 2 1 0
4 4 3 2 1
YES
4 1 2
3
YES
6 5 1 2 3
5 4
YES
7 5 4 1 2 3
6 6 5
YES
5 4 3 2 1
4 3 2 1 0
NO
YES
5 4 3 2
4 3 2 1
NO
NO
NO
YES
8 7 6 5 3 2 1 0
7 6 5 4 4 3 2 1
NO