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