YES
1 2 12 3 4 5 6 7 8 9 10 11 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
YES
1 2 3 4 5 10 6 7 8 9 11 12
1 2 3 4 5 6 7 8 9 10 12 11
NO
YES
14 1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
NO
NO
YES
1 2 3 6 4 5 7 8 9 10 11 12 13 14
1 2 3 4 5 6 8 7 10 9 12 11 14 13
YES
1 2 7 3 4 5 6 8 9 10 11 12 13
1 2 3 4 5 6 7 9 8 11 10 13 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 13 4 5 6 7 8 9 10 11 12
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
11 1 2 3 4 5 6 7 8 9 10 13 12
NO
NO
YES
1 4 2 3 5 6 7 8 9 10 11 12 13 14
1 2 3 4 6 5 8 7 10 9 12 11 14 13
NO
NO
YES
1 7 2 3 4 5 6 8 9
1 2 3 4 5 6 7 9 8
YES
1 2 3 4 13 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
YES
1 2 3 6 4 5 7 8 9 10 11 12
1 2 3 4 5 6 8 7 10 9 12 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 13 10 11 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 12 5 6 7 8 9 10 11
NO
NO
NO
YES
1 2 3 4 8 5 6 7 9 10 11 12 13 14
1 2 3 4 5 6 7 8 10 9 12 11 14 13
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 5 3 4 7 6 9 8 11 10
YES
1 2 3 4 5 6 7 8 9 10 11
1 9 2 3 4 5 6 7 8 11 10
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 12 8 9 10 11 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
YES
1 8 2 3 4 5 6 7 9 10 11 12
1 2 3 4 5 6 7 8 10 9 12 11
NO
NO
NO
YES
1 2 3 4 11 5 6 7 8 9 10
1 2 3 4 5 6 7 8 9 10 11
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 10 5 6 7 8 9 12 11
YES
1 2 3 4 5 9 6 7 8 10 11 12 13
1 2 3 4 5 6 7 8 9 11 10 13 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 6 2 3 4 5 8 7 10 9 12 11 14 13
NO
NO
NO
YES
8 1 2 3 4 5 6 7 9 10 11 12 13 14
1 2 3 4 5 6 7 8 10 9 12 11 14 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 8 4 5 6 7 10 9 12 11
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 6 7 10 8 9
YES
1 6 2 3 4 5 7 8 9 10 11 12
1 2 3 4 5 6 8 7 10 9 12 11
NO
NO
YES
7 1 2 3 4 5 6 8 9 10 11 12 13
1 2 3 4 5 6 7 9 8 11 10 13 12
YES
1 2 3 4 5 6 7 8 9
1 7 2 3 4 5 6 9 8
NO
YES
1 10 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9 10
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 12 5 6 7 8 9 10 11 14 13
YES
1 2 3 4 12 5 6 7 8 9 10 11 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
YES
1 2 11 3 4 5 6 7 8 9 10 12 13
1 2 3 4 5 6 7 8 9 10 11 13 12
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 9 8
NO
YES
1 2 3 4 5 6 7 8 12 9 10 11
1 2 3 4 5 6 7 8 9 10 11 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 10 2 3 4 5 6 7 8 9 12 11 14 13
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 5 7 6 9 8
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 4 2 3 6 5 8 7 10 9
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 11 7 8 9 10 13 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 10 4 5 6 7 8 9 12 11
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 8 3 4 5 6 7 10 9 12 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 10 4 5 6 7 8 9 12 11 14 13
NO
YES
1 2 7 3 4 5 6 8 9
1 2 3 4 5 6 7 9 8
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 11 5 6 7 8 9 10
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
9 1 2 3 4 5 6 7 8 11 10
NO
NO
NO
NO
YES
3 1 2 4 5 6 7 8 9 10 11 12 13
1 2 3 5 4 7 6 9 8 11 10 13 12
YES
1 2 3 4 5 6 7 8 9 12 10 11
1 2 3 4 5 6 7 8 9 10 11 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 8 2 3 4 5 6 7 10 9 12 11
YES
1 2 3 4 5 6 7 10 8 9 11 12 13 14
1 2 3 4 5 6 7 8 9 10 12 11 14 13
NO
YES
10 1 2 3 4 5 6 7 8 9 11 12
1 2 3 4 5 6 7 8 9 10 12 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 4 3 6 5 8 7 10 9 12 11 14 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11
11 1 2 3 4 5 6 7 8 9 10
NO
YES
1 2 3 4 5 6 7 8 9 10
2 1 4 3 6 5 8 7 10 9
NO
NO
NO
YES
1 2 3 4 7 5 6 8 9 10 11
1 2 3 4 5 6 7 9 8 11 10
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 7 5 6 9 8 11 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
8 1 2 3 4 5 6 7 10 9 12 11 14 13
NO
NO
YES
1 2 8 3 4 5 6 7 9 10
1 2 3 4 5 6 7 8 10 9
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 14 4 5 6 7 8 9 10 11 12 13
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 6 5 8 7 10 9
NO
YES
1 2 3 4 5 6 7 8 9
3 1 2 5 4 7 6 9 8
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 9 2 3 4 5 6 7 8
NO
NO
YES
1 4 2 3 5 6 7 8 9 10 11 12
1 2 3 4 6 5 8 7 10 9 12 11
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 6 7 8 9 10
YES
1 5 2 3 4 6 7 8 9 10 11 12 13
1 2 3 4 5 7 6 9 8 11 10 13 12
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9
5 1 2 3 4 7 6 9 8
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
3 1 2 5 4 7 6 9 8 11 10 13 12
NO
YES
1 2 3 4 5 6 7 8 9 10 13 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
NO
YES
1 2 3 9 4 5 6 7 8
1 2 3 4 5 6 7 8 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
4 1 2 3 6 5 8 7 10 9 12 11 14 13
NO
NO
NO
NO
NO
NO
YES
1 2 3 7 4 5 6 8 9
1 2 3 4 5 6 7 9 8
NO
YES
6 1 2 3 4 5 7 8 9 10 11 12 13 14
1 2 3 4 5 6 8 7 10 9 12 11 14 13
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 2 3 9 4 5 6 7 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 11 3 4 5 6 7 8 9 10 13 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 9 7 8 11 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 9 10 11 14 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 11 6 7 8 9 10 13 12
NO
NO
NO
YES
1 2 3 4 5 6 11 7 8 9 10 12 13
1 2 3 4 5 6 7 8 9 10 11 13 12
NO
NO
YES
1 2 3 4 5 6 7 12 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 9 11 10
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 13 12
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 11 6 7 8 9 10
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 9 6 7 8 11 10
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
12 1 2 3 4 5 6 7 8 9 10 11 14 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 10 9 12 11 14 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 9 6 7 8 11 10 13 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 14 2 3 4 5 6 7 8 9 10 11 12 13
NO
NO
YES
1 2 3 4 5 6 13 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
YES
9 1 2 3 4 5 6 7 8
1 2 3 4 5 6 7 8 9
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 6 4 5 8 7 10 9
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 7 3 4 5 6 9 8 11 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
7 1 2 3 4 5 6 9 8 11 10 13 12
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 11 8 9 10
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 13 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
NO
NO
NO
YES
1 13 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 4 3 6 5 8 7 10 9 12 11
NO
NO
NO
NO
YES
1 2 3 4 10 5 6 7 8 9 11 12
1 2 3 4 5 6 7 8 9 10 12 11
NO
YES
1 2 3 4 5 6 7 8 9 12 10 11 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
NO
NO
NO
YES
1 2 8 3 4 5 6 7 9 10 11 12 13 14
1 2 3 4 5 6 7 8 10 9 12 11 14 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 4 3 6 5 8 7 10 9
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 11 8 9 10
1 2 3 4 5 6 7 8 9 10 11
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
6 1 2 3 4 5 8 7 10 9
NO
NO
NO
NO
YES
1 2 3 12 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 8 5 6 7 10 9
YES
3 1 2 4 5 6 7 8 9
1 2 3 5 4 7 6 9 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 11 4 5 6 7 8 9 10 13 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 7 6 9 8 11 10 13 12
NO
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 11 7 8 9 10
YES
1 6 2 3 4 5 7 8 9 10
1 2 3 4 5 6 8 7 10 9
YES
1 2 3 4 5 9 6 7 8
1 2 3 4 5 6 7 8 9
YES
1 2 3 4 5 10 6 7 8 9
1 2 3 4 5 6 7 8 9 10
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
NO
YES
1 2 3 4 5 6 7 8 9 10 14 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 8 5 6 7 10 9 12 11
YES
1 2 3 4 5 6 9 7 8 10 11 12 13
1 2 3 4 5 6 7 8 9 11 10 13 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 14 6 7 8 9 10 11 12 13
NO
YES
1 7 2 3 4 5 6 8 9 10 11 12 13
1 2 3 4 5 6 7 9 8 11 10 13 12
NO
YES
1 2 3 4 5 6 10 7 8 9 11 12
1 2 3 4 5 6 7 8 9 10 12 11
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 9 4 5 6 7 8 11 10
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 12 2 3 4 5 6 7 8 9 10 11 14 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 9 8 11 10
NO
NO
NO
NO
YES
1 8 2 3 4 5 6 7 9 10 11 12 13 14
1 2 3 4 5 6 7 8 10 9 12 11 14 13
NO
NO
NO
YES
13 1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
NO
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 9 5 6 7 8
NO
YES
1 2 3 10 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9 10
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 4 2 3 6 5 8 7 10 9 12 11 14 13
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
6 1 2 3 4 5 8 7 10 9 12 11
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 11 10 13 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 5 4 7 6 9 8 11 10 13 12
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
4 1 2 3 6 5 8 7 10 9 12 11
YES
1 2 3 4 5 6 9 7 8
1 2 3 4 5 6 7 8 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 10 7 8 9 12 11 14 13
YES
1 2 3 4 5 6 7 8 9
9 1 2 3 4 5 6 7 8
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 12 3 4 5 6 7 8 9 10 11 14 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 13 9 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
NO
NO
YES
10 1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9 10
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 6 3 4 5 8 7 10 9 12 11 14 13
NO
NO
YES
1 2 3 4 5 12 6 7 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11 12
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 6 7 8 10 9
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 9 10 11 12 13 14
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
9 1 2 3 4 5 6 7 8 11 10 13 12
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 12 4 5 6 7 8 9 10 11
NO
YES
1 2 9 3 4 5 6 7 8 10 11 12 13
1 2 3 4 5 6 7 8 9 11 10 13 12
YES
1 2 3 4 7 5 6 8 9 10 11 12 13
1 2 3 4 5 6 7 9 8 11 10 13 12
NO
NO
NO
NO
YES
9 1 2 3 4 5 6 7 8 10 11
1 2 3 4 5 6 7 8 9 11 10
YES
1 2 3 4 5 14 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 10 9 12 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 12 4 5 6 7 8 9 10 11 14 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 14 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 13 2 3 4 5 6 7 8 9 10 11 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 9 3 4 5 6 7 8 11 10 13 12
YES
1 12 2 3 4 5 6 7 8 9 10 11 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
YES
1 2 6 3 4 5 7 8 9 10
1 2 3 4 5 6 8 7 10 9
YES
1 2 6 3 4 5 7 8 9 10 11 12 13 14
1 2 3 4 5 6 8 7 10 9 12 11 14 13
YES
1 11 2 3 4 5 6 7 8 9 10 12 13
1 2 3 4 5 6 7 8 9 10 11 13 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 1 4 3 6 5 8 7 10 9 12 11 14 13
NO
YES
1 2 3 4 5 6 12 7 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 10 8 9 11 12
1 2 3 4 5 6 7 8 9 10 12 11
NO
NO
NO
YES
1 2 3 13 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 6 8 7 10 9
YES
1 2 3 4 5 13 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
2 1 4 3 6 5 8 7 10 9 12 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11
YES
1 2 11 3 4 5 6 7 8 9 10
1 2 3 4 5 6 7 8 9 10 11
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 7 6 9 8 11 10
NO
YES
12 1 2 3 4 5 6 7 8 9 10 11 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
10 1 2 3 4 5 6 7 8 9 12 11
YES
1 2 3 4 5 6 7 8 9 10 11 12
12 1 2 3 4 5 6 7 8 9 10 11
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 9 2 3 4 5 6 7 8 11 10 13 12
YES
1 2 3 4 5 6 7 14 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 11 9 10 13 12
NO
YES
4 1 2 3 5 6 7 8 9 10 11 12
1 2 3 4 6 5 8 7 10 9 12 11
NO
YES
1 2 3 4 8 5 6 7 9 10 11 12
1 2 3 4 5 6 7 8 10 9 12 11
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 10 7 8 9
1 2 3 4 5 6 7 8 9 10
YES
1 2 3 4 5 6 14 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
NO
YES
1 2 3 4 5 6 7 8 14 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 12 6 7 8 9 10 11
YES
7 1 2 3 4 5 6 8 9 10 11
1 2 3 4 5 6 7 9 8 11 10
YES
1 2 3 4 14 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 11 9 10
NO
NO
NO
NO
YES
1 2 10 3 4 5 6 7 8 9 11 12
1 2 3 4 5 6 7 8 9 10 12 11
NO
NO
NO
YES
1 2 3 4 5 9 6 7 8 10 11
1 2 3 4 5 6 7 8 9 11 10
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 8 5 6 7 10 9 12 11 14 13
YES
1 2 12 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11 12
YES
1 2 3 4 5 6 9 7 8 10 11
1 2 3 4 5 6 7 8 9 11 10
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 6 10 7 8 9
NO
YES
1 2 3 4 5 6 7 8 9 14 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 9 10 12 11 14 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 12 7 8 9 10 11
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 12 10 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 10 8 9 12 11 14 13
YES
1 2 3 4 5 6 7 8 9 10
4 1 2 3 6 5 8 7 10 9
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 11 4 5 6 7 8 9 10
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 10 4 5 6 7 8 9
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 6 4 5 8 7 10 9 12 11 14 13
YES
1 2 3 4 5 6 7 8 9
1 2 5 3 4 7 6 9 8
NO
YES
1 2 3 10 4 5 6 7 8 9 11 12
1 2 3 4 5 6 7 8 9 10 12 11
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 6 4 5 8 7 10 9 12 11
YES
1 2 3 4 5 6 7 8 9 10
8 1 2 3 4 5 6 7 10 9
YES
1 2 8 3 4 5 6 7 9 10 11 12
1 2 3 4 5 6 7 8 10 9 12 11
YES
1 2 3 4 5 6 7 8 11 9 10
1 2 3 4 5 6 7 8 9 10 11
NO
YES
1 2 3 4 5 6 7 8 9
1 2 9 3 4 5 6 7 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13
YES
1 2 10 3 4 5 6 7 8 9 11 12 13 14
1 2 3 4 5 6 7 8 9 10 12 11 14 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
10 1 2 3 4 5 6 7 8 9 12 11 14 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 7 3 4 5 6 9 8 11 10 13 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 6 5 8 7 10 9 12 11 14 13
NO
NO
YES
1 6 2 3 4 5 7 8 9 10 11 12 13 14
1 2 3 4 5 6 8 7 10 9 12 11 14 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 3 2 5 4 7 6 9 8 11 10
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 8 4 5 6 7 10 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 3 2 5 4 7 6 9 8 11 10 13 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 14 9 10 11 12 13
NO
YES
1 2 3 4 5 6 7 8 9
1 2 7 3 4 5 6 9 8
NO
YES
1 2 3 10 4 5 6 7 8 9 11 12 13 14
1 2 3 4 5 6 7 8 9 10 12 11 14 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 5 2 3 4 7 6 9 8 11 10 13 12
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 10 6 7 8 9 12 11
NO
YES
1 2 3 4 5 11 6 7 8 9 10
1 2 3 4 5 6 7 8 9 10 11
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
12 1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 14 5 6 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 10 3 4 5 6 7 8 9 12 11
YES
1 2 3 4 5 6 7 8 9 10 11
3 1 2 5 4 7 6 9 8 11 10
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 10 12 11
YES
1 2 3 4 5 12 6 7 8 9 10 11 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
NO
NO
NO
NO
NO
NO
YES
1 2 3 12 4 5 6 7 8 9 10 11 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
NO
NO
NO
NO
NO
NO
YES
1 5 2 3 4 6 7 8 9
1 2 3 4 5 7 6 9 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 8 7 10 9 12 11 14 13
NO
YES
1 2 3 9 4 5 6 7 8 10 11
1 2 3 4 5 6 7 8 9 11 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 9 14 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 7 4 5 6 9 8 11 10
NO
NO
YES
5 1 2 3 4 6 7 8 9 10 11
1 2 3 4 5 7 6 9 8 11 10
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 12 2 3 4 5 6 7 8 9 10 11
YES
1 2 3 7 4 5 6 8 9 10 11 12 13
1 2 3 4 5 6 7 9 8 11 10 13 12
YES
1 2 14 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 13 8 9 10 11 12
NO
NO
NO
YES
1 2 3 4 9 5 6 7 8
1 2 3 4 5 6 7 8 9
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 6 3 4 5 8 7 10 9 12 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 9 10 14 11 12 13
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 11 9 10 12 13
1 2 3 4 5 6 7 8 9 10 11 13 12
NO
YES
1 2 3 4 5 6 7 8 9
1 2 3 5 4 7 6 9 8
YES
1 2 3 4 5 8 6 7 9 10 11 12 13 14
1 2 3 4 5 6 7 8 10 9 12 11 14 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 7 2 3 4 5 6 9 8 11 10
NO
YES
1 2 3 4 10 5 6 7 8 9
1 2 3 4 5 6 7 8 9 10
YES
5 1 2 3 4 6 7 8 9
1 2 3 4 5 7 6 9 8
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 13 6 7 8 9 10 11 12
NO
YES
1 2 3 4 12 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11 12
YES
9 1 2 3 4 5 6 7 8 10 11 12 13
1 2 3 4 5 6 7 8 9 11 10 13 12
NO
NO
NO
YES
1 2 7 3 4 5 6 8 9 10 11
1 2 3 4 5 6 7 9 8 11 10
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 10 6 7 8 9
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 9 8 11 10 13 12
NO
NO
NO
YES
1 2 3 4 10 5 6 7 8 9 11 12 13 14
1 2 3 4 5 6 7 8 9 10 12 11 14 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 7 2 3 4 5 6 9 8 11 10 13 12
YES
1 2 5 3 4 6 7 8 9
1 2 3 4 5 7 6 9 8
YES
1 2 3 14 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
6 1 2 3 4 5 8 7 10 9 12 11 14 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
5 1 2 3 4 7 6 9 8 11 10 13 12
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 9 5 6 7 8 11 10
NO
NO
YES
1 2 5 3 4 6 7 8 9 10 11
1 2 3 4 5 7 6 9 8 11 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 14 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 11 5 6 7 8 9 10 13 12
YES
1 9 2 3 4 5 6 7 8 10 11 12 13
1 2 3 4 5 6 7 8 9 11 10 13 12
NO
YES
1 4 2 3 5 6 7 8 9 10
1 2 3 4 6 5 8 7 10 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11
7 1 2 3 4 5 6 9 8 11 10
NO
YES
8 1 2 3 4 5 6 7 9 10 11 12
1 2 3 4 5 6 7 8 10 9 12 11
NO
YES
1 2 3 4 5 6 7 11 8 9 10 12 13
1 2 3 4 5 6 7 8 9 10 11 13 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 9 3 4 5 6 7 8 11 10
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
8 1 2 3 4 5 6 7 10 9 12 11
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 7 5 6 9 8 11 10 13 12
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 4 2 3 6 5 8 7 10 9 12 11
NO
YES
1 2 3 11 4 5 6 7 8 9 10 12 13
1 2 3 4 5 6 7 8 9 10 11 13 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 11 3 4 5 6 7 8 9 10
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 12 8 9 10 11
NO
YES
1 2 3 4 5 6 7 8 9
1 3 2 5 4 7 6 9 8
YES
1 2 3 4 5 6 7 8 9 10
1 10 2 3 4 5 6 7 8 9
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 8 7 10 9 12 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 9 5 6 7 8 11 10 13 12
YES
11 1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 6 7 8 9 10 11
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 14 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
NO
NO
NO
NO
YES
1 14 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 11 12 13 14
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 9 12 10 11 14 13
YES
1 2 3 4 9 5 6 7 8 10 11 12 13
1 2 3 4 5 6 7 8 9 11 10 13 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 10 3 4 5 6 7 8 9
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 13 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 12 9 10 11 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
NO
NO
NO
NO
YES
1 2 9 3 4 5 6 7 8
1 2 3 4 5 6 7 8 9
YES
1 2 3 4 5 6 7 8 9
1 2 3 7 4 5 6 9 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 14 3 4 5 6 7 8 9 10 11 12 13
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
10 1 2 3 4 5 6 7 8 9
NO
NO
YES
11 1 2 3 4 5 6 7 8 9 10 12 13
1 2 3 4 5 6 7 8 9 10 11 13 12
YES
1 2 3 4 5 10 6 7 8 9 11 12 13 14
1 2 3 4 5 6 7 8 9 10 12 11 14 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 12 9 10 11
YES
1 2 10 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9 10
NO
NO
NO
YES
1 9 2 3 4 5 6 7 8
1 2 3 4 5 6 7 8 9
YES
1 2 3 11 4 5 6 7 8 9 10
1 2 3 4 5 6 7 8 9 10 11
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 6 3 4 5 8 7 10 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 5 2 3 4 7 6 9 8 11 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 8 6 7 10 9 12 11 14 13
NO
NO
YES
1 8 2 3 4 5 6 7 9 10
1 2 3 4 5 6 7 8 10 9
NO
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 6 2 3 4 5 8 7 10 9 12 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 10 5 6 7 8 9 12 11 14 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 8 3 4 5 6 7 10 9 12 11 14 13
NO
NO
NO
NO
NO
NO
NO
YES
5 1 2 3 4 6 7 8 9 10 11 12 13
1 2 3 4 5 7 6 9 8 11 10 13 12
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 10 3 4 5 6 7 8 9 12 11 14 13
YES
1 2 3 4 5 6 7 8 9
7 1 2 3 4 5 6 9 8
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 13 3 4 5 6 7 8 9 10 11 12
NO
YES
6 1 2 3 4 5 7 8 9 10
1 2 3 4 5 6 8 7 10 9
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 11 2 3 4 5 6 7 8 9 10 13 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 10 7 8 9 12 11
NO
YES
1 2 9 3 4 5 6 7 8 10 11
1 2 3 4 5 6 7 8 9 11 10
NO
NO
YES
1 2 3 4 9 5 6 7 8 10 11
1 2 3 4 5 6 7 8 9 11 10
YES
1 7 2 3 4 5 6 8 9 10 11
1 2 3 4 5 6 7 9 8 11 10
YES
1 11 2 3 4 5 6 7 8 9 10
1 2 3 4 5 6 7 8 9 10 11
NO
NO
YES
4 1 2 3 5 6 7 8 9 10 11 12 13 14
1 2 3 4 6 5 8 7 10 9 12 11 14 13
YES
1 2 3 4 5 6 7 8 9 10
1 8 2 3 4 5 6 7 10 9
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 5 9 6 7 8
YES
1 2 6 3 4 5 7 8 9 10 11 12
1 2 3 4 5 6 8 7 10 9 12 11
YES
1 2 3 4 11 5 6 7 8 9 10 12 13
1 2 3 4 5 6 7 8 9 10 11 13 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 10 5 6 7 8 9
NO
YES
1 2 3 7 4 5 6 8 9 10 11
1 2 3 4 5 6 7 9 8 11 10
NO
NO
NO
NO
NO
YES
1 2 3 4 8 5 6 7 9 10
1 2 3 4 5 6 7 8 10 9
YES
1 2 3 4 5 6 7 8 9 10
1 6 2 3 4 5 8 7 10 9
YES
6 1 2 3 4 5 7 8 9 10 11 12
1 2 3 4 5 6 8 7 10 9 12 11
NO
NO
NO
NO
NO
YES
1 2 3 4 5 11 6 7 8 9 10 12 13
1 2 3 4 5 6 7 8 9 10 11 13 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 13 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 9 10 13 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 7 4 5 6 9 8 11 10 13 12
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 8 2 3 4 5 6 7 10 9 12 11 14 13
YES
1 2 13 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 13 5 6 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 10 8 9
1 2 3 4 5 6 7 8 9 10
YES
1 2 3 4 5 6 10 7 8 9 11 12 13 14
1 2 3 4 5 6 7 8 9 10 12 11 14 13
YES
1 2 3 9 4 5 6 7 8 10 11 12 13
1 2 3 4 5 6 7 8 9 11 10 13 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 8 6 7 10 9 12 11
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
13 1 2 3 4 5 6 7 8 9 10 11 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 9 7 8 11 10 13 12
NO
YES
7 1 2 3 4 5 6 8 9
1 2 3 4 5 6 7 9 8
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 12 3 4 5 6 7 8 9 10 11
YES
3 1 2 4 5 6 7 8 9 10 11
1 2 3 5 4 7 6 9 8 11 10
NO
YES
1 2 3 8 4 5 6 7 9 10 11 12
1 2 3 4 5 6 7 8 10 9 12 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
14 1 2 3 4 5 6 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 9 7 8
YES
1 2 3 8 4 5 6 7 9 10
1 2 3 4 5 6 7 8 10 9
YES
1 2 3 4 5 6 7 8 9 10 11
5 1 2 3 4 7 6 9 8 11 10
YES
1 2 3 8 4 5 6 7 9 10 11 12 13 14
1 2 3 4 5 6 7 8 10 9 12 11 14 13
NO
NO
NO
YES
1 2 3 4 5 6 12 7 8 9 10 11 13 14
1 2 3 4 5 6 7 8 9 10 11 12 14 13
NO
NO
NO
YES
10 1 2 3 4 5 6 7 8 9 11 12 13 14
1 2 3 4 5 6 7 8 9 10 12 11 14 13
YES
1 10 2 3 4 5 6 7 8 9 11 12 13 14
1 2 3 4 5 6 7 8 9 10 12 11 14 13
NO
NO
YES
1 2 3 4 5 6 11 7 8 9 10
1 2 3 4 5 6 7 8 9 10 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 12 6 7 8 9 10 11 14 13
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 10 2 3 4 5 6 7 8 9 12 11
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 5 3 4 7 6 9 8 11 10 13 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 12 9 10 11 14 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 12 8 9 10 11 14 13
NO
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 11 8 9 10 13 12
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 9 4 5 6 7 8 11 10 13 12
NO
NO
YES
1 2 3 4 5 6 7 13 8 9 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 8 4 5 6 7 10 9 12 11 14 13
NO
YES
1 2 3 4 7 5 6 8 9
1 2 3 4 5 6 7 9 8
NO
YES
4 1 2 3 5 6 7 8 9 10
1 2 3 4 6 5 8 7 10 9
NO
NO
NO
NO
YES
1 2 3 4 5 8 6 7 9 10 11 12
1 2 3 4 5 6 7 8 10 9 12 11
YES
8 1 2 3 4 5 6 7 9 10
1 2 3 4 5 6 7 8 10 9
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 5 2 3 4 7 6 9 8
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 6 5 8 7 10 9 12 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 10 6 7 8 9 12 11 14 13
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 8 6 7 10 9
NO
YES
1 5 2 3 4 6 7 8 9 10 11
1 2 3 4 5 7 6 9 8 11 10
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 11 2 3 4 5 6 7 8 9 10
NO
NO
NO
YES
1 2 5 3 4 6 7 8 9 10 11 12 13
1 2 3 4 5 7 6 9 8 11 10 13 12
YES
1 2 3 6 4 5 7 8 9 10
1 2 3 4 5 6 8 7 10 9
YES
1 10 2 3 4 5 6 7 8 9 11 12
1 2 3 4 5 6 7 8 9 10 12 11
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 10 8 9 12 11
YES
1 9 2 3 4 5 6 7 8 10 11
1 2 3 4 5 6 7 8 9 11 10
NO
YES
1 2 3 4 5 8 6 7 9 10
1 2 3 4 5 6 7 8 10 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 5 4 7 6 9 8 11 10
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 7 5 6 9 8
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 8 3 4 5 6 7 10 9
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 12 7 8 9 10 11 14 13
YES
1 12 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11 12
NO