NO
YES
2 1 2 3 4 5
1 2 3 4 5
YES
6 1 2 3 4 5 7
1 2 3 4 5 6 7
NO
YES
6 3 1 2 4 5
1 2 3 4 5 6
NO
YES
6 3 4 1 2 5
1 2 3 4 5 6
YES
4 3 1 2
1 2 3 4
NO
YES
2 3 1
1 2 3
YES
3 3 4 4 5
1 2 3 4 5
NO
NO
NO
NO
NO
NO
NO
NO
YES
2 3 4 1 5 6
1 2 3 4 5 6
YES
3 1 2 2 4 5 6 7
1 2 3 4 5 6 7
NO
NO
NO
YES
2 3 4 5 1 6 7 8
1 2 3 4 5 6 7 8
NO
NO
NO
NO
NO
NO
NO
YES
3 1 2 2 4 5
1 2 3 4 5
NO
YES
3 3 4 4 5 6
1 2 3 4 5 6
YES
6 3 1 2 4 5 7
1 2 3 4 5 6 7
YES
0 1 2 3 4 5 6 7
1 2 3 4 5 6 7
YES
7 3 4 5 6 7 8 8
1 2 3 4 5 6 7 8
YES
7 3 4 5 1 2 6
1 2 3 4 5 6 7
YES
6 3 1 2 4 5 7 8
1 2 3 4 5 6 7 8
NO
NO
YES
3 1 2 2 4
1 2 3 4
YES
2 3 1 4 5
1 2 3 4 5
YES
4 3 1 2 5 6 7 8
1 2 3 4 5 6 7 8
NO
YES
2 3 3 4 5 6 7
1 2 3 4 5 6 7
NO
YES
6 1 2 2 3 4 5 7 8
1 2 3 4 5 6 7 8
YES
4 3 4 5 5 6 7
1 2 3 4 5 6 7
YES
3 1 2
1 2 3
YES
4 3 4 5 5 6 7 8
1 2 3 4 5 6 7 8
NO
NO
NO
NO
NO
YES
3 1 2 4 5
1 2 3 4 5
YES
4 1 2 3 5 6 7 8
1 2 3 4 5 6 7 8
NO
NO
YES
7 3 4 1 2 5 6 8
1 2 3 4 5 6 7 8
YES
4 1 2 3 5 6 7
1 2 3 4 5 6 7
YES
3 1 2 4 5 6
1 2 3 4 5 6
YES
3 1 2 4 5 6 7 8
1 2 3 4 5 6 7 8
NO
YES
3 3 4 4
1 2 3 4
YES
8 3 4 5 6 7 1 2
1 2 3 4 5 6 7 8
YES
2 3 4 1
1 2 3 4
YES
2 1 2 3 4 5 6 7
1 2 3 4 5 6 7
NO
NO
YES
6 3 4 1 2 5 7 8
1 2 3 4 5 6 7 8
NO
YES
5 3 4 1 2 6 7
1 2 3 4 5 6 7
NO
NO
YES
8 3 4 1 2 5 6 7
1 2 3 4 5 6 7 8
YES
4 1 2 3
1 2 3 4
YES
6 1 2 2 3 4 5 7
1 2 3 4 5 6 7
YES
5 3 4 5 6 6
1 2 3 4 5 6
YES
2 3 4 5 6 1 7
1 2 3 4 5 6 7
YES
8 3 1 2 4 5 6 7
1 2 3 4 5 6 7 8
NO
YES
4 1 2 2 3 5
1 2 3 4 5
NO
YES
4 3 1 2 5
1 2 3 4 5
NO
YES
4 3 1 2 5 6
1 2 3 4 5 6
YES
0 1 2 3
1 2 3
YES
4 1 2 3 5 6
1 2 3 4 5 6
NO
NO
NO
YES
6 3 4 5 1 2 7
1 2 3 4 5 6 7
YES
2 3 4 5 1 6
1 2 3 4 5 6
NO
NO
YES
2 3 1 4 5 6
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
NO
YES
5 1 2 3 4 6 7 8
1 2 3 4 5 6 7 8
NO
NO
NO
NO
NO
YES
3 3 4 4 5 6 7
1 2 3 4 5 6 7
YES
5 1 2 2 3 4 6
1 2 3 4 5 6
NO
NO
YES
2 1 3 4 5 6
1 2 3 4 5 6
YES
2 3 1 4 5 6 7
1 2 3 4 5 6 7
YES
0 1 2 3 4
1 2 3 4
NO
YES
2 1 3 4 5 6 7 8
1 2 3 4 5 6 7 8
NO
YES
4 3 1 2 5 6 7
1 2 3 4 5 6 7
YES
7 3 4 5 6 1 2 8
1 2 3 4 5 6 7 8
YES
2 1 3 4 5 6 7
1 2 3 4 5 6 7
NO
YES
2 3 1 4 5 6 7 8
1 2 3 4 5 6 7 8
YES
7 1 2 3 4 5 6 8
1 2 3 4 5 6 7 8
NO
YES
7 3 4 5 1 2 6 8
1 2 3 4 5 6 7 8
NO
YES
2 1 2 3 4
1 2 3 4
NO
NO
YES
2 1 3 4
1 2 3 4
NO
NO
NO
NO
NO
YES
2 3 3
1 2 3
NO
YES
7 3 4 1 2 5 6
1 2 3 4 5 6 7
NO
YES
0 1
1
YES
4 3 4 5 5 6
1 2 3 4 5 6
YES
6 1 2 3 4 5 7 8
1 2 3 4 5 6 7 8
YES
5 3 4 1 2 6
1 2 3 4 5 6
NO
NO
NO
NO
NO
NO
YES
0 1 2
1 2
YES
4 1 2 2 3 5 6 7
1 2 3 4 5 6 7
NO
NO
YES
5 1 2 2 3 4 6 7
1 2 3 4 5 6 7
YES
7 3 1 2 4 5 6
1 2 3 4 5 6 7
YES
6 3 4 5 1 2 7 8
1 2 3 4 5 6 7 8
NO
NO
NO
YES
4 1 2 2 3 5 6 7 8
1 2 3 4 5 6 7 8
NO
YES
4 1 2 2 3 5 6
1 2 3 4 5 6
NO
NO
NO
YES
2 1 2 3
1 2 3
YES
6 3 4 1 2 5 7
1 2 3 4 5 6 7
YES
5 3 4 5 6 6 7 8
1 2 3 4 5 6 7 8
NO
NO
NO
YES
2 3 3 4 5 6 7 8
1 2 3 4 5 6 7 8
NO
NO
NO
NO
YES
0 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
2 1 3
1 2 3
YES
6 3 4 5 6 7 7
1 2 3 4 5 6 7
YES
2 3 1 4
1 2 3 4
NO
YES
2 1 3 4 5
1 2 3 4 5
YES
3 1 2 2 4 5 6 7 8
1 2 3 4 5 6 7 8
NO
YES
8 3 4 5 6 1 2 7
1 2 3 4 5 6 7 8
YES
7 1 2 2 3 4 5 6 8
1 2 3 4 5 6 7 8
NO
YES
5 3 4 5 6 6 7
1 2 3 4 5 6 7
NO
NO
NO
YES
2 3 4 5 6 7 1 8
1 2 3 4 5 6 7 8
NO
NO
NO
NO
NO
YES
5 1 2 3 4 6
1 2 3 4 5 6
NO
YES
2 1
1 2
NO
YES
5 1 2 3 4 6 7
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
NO
NO
YES
8 1 2 3 4 5 6 7
1 2 3 4 5 6 7 8
YES
6 3 4 5 6 7 7 8
1 2 3 4 5 6 7 8
YES
2 3 3 4
1 2 3 4
NO
NO
YES
3 3 4 4 5 6 7 8
1 2 3 4 5 6 7 8
YES
2 3 4 1 5
1 2 3 4 5
YES
2 3 4 1 5 6 7 8
1 2 3 4 5 6 7 8
YES
5 1 2 2 3 4 6 7 8
1 2 3 4 5 6 7 8
NO
YES
2 3 4 5 1
1 2 3 4 5
YES
2 3 4 5 6 1 7 8
1 2 3 4 5 6 7 8
NO
YES
2 1 2 3 4 5 6 7 8
1 2 3 4 5 6 7 8
NO
YES
6 3 4 5 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
3 1 2 4
1 2 3 4
YES
2 3 3 4 5
1 2 3 4 5
NO
NO
NO
NO
NO
YES
5 3 1 2 4 6 7 8
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
NO
YES
2 3 4 1 5 6 7
1 2 3 4 5 6 7
YES
0 1 2 3 4 5 6
1 2 3 4 5 6
NO
NO
YES
5 3 4 1 2 6 7 8
1 2 3 4 5 6 7 8
YES
5 3 1 2 4
1 2 3 4 5
YES
7 3 4 5 6 1 2
1 2 3 4 5 6 7
NO
YES
0 1 2 3 4 5 6 7 8
1 2 3 4 5 6 7 8
NO
YES
7 3 1 2 4 5 6 8
1 2 3 4 5 6 7 8
YES
5 3 1 2 4 6
1 2 3 4 5 6
NO
YES
3 1 2 2 4 5 6
1 2 3 4 5 6
NO
NO
YES
4 1 2 3 5
1 2 3 4 5
YES
5 3 1 2 4 6 7
1 2 3 4 5 6 7
NO
YES
2 3 4 5 1 6 7
1 2 3 4 5 6 7
YES
2 1 2 3 4 5 6
1 2 3 4 5 6
YES
5 3 4 1 2
1 2 3 4 5
YES
5 1 2 3 4
1 2 3 4 5
NO
YES
2 3 3 4 5 6
1 2 3 4 5 6
YES
3 1 2 4 5 6 7
1 2 3 4 5 6 7
NO
NO
YES
4 3 4 5 5
1 2 3 4 5
NO
NO
NO
YES
8 3 4 5 1 2 6 7
1 2 3 4 5 6 7 8
NO