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