YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 4 5 6 7 8 9 10 11 12 14 3 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 7 8 9 10 12 6 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 3 4 5 6 7 8 9 10 11 12 13 14 1
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 5 6 7 8 9 14 4 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 4 5 6 7 8 9 13 3 10 11 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
2 13 1 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 3 4 5 6 7 8 14 2 9 10 11 12 13
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 3 4 5 6 7 9 2 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 6 7 8 9 10 11 12 13 5
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 5 6 7 8 12 4 9 10 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 5 6 7 8 9 10 11 12 13 14
1 2 3 4 6 7 8 9 10 14 5 11 12 13
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 4 5 6 11 3 7 8 9 10
YES
1 2 3 4 5 6 7 8 9 10 11
1 3 11 2 4 5 6 7 8 9 10
NO
NO
NO
NO
NO
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 9 10 11 12 14 8 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 3 4 5 6 7 8 9 12 2 10 11
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 6 7 8 9 10 11 5
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 6 12 5 7 8 9 10 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 7 8 9 10 13 6 11 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 3 4 5 6 14 2 7 8 9 10 11 12 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 3 4 5 6 7 8 9 10 14 1 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 5 6 12 4 7 8 9 10 11
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 6 7 10 8 9
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 3 4 5 6 7 8 12 2 9 10 11
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
2 3 4 5 6 7 8 9 13 1 10 11 12
YES
1 2 3 4 5 6 7 8 9
1 3 9 2 4 5 6 7 8
NO
YES
1 2 3 4 5 6 7 8 9 10
1 3 4 5 6 7 8 9 10 2
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 6 14 5 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 6 7 8 9 10 11 12 14 5 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 4 5 6 7 8 9 10 11 13 3 12
YES
1 2 3 4 5 6 7 8 9
2 1 3 4 5 6 7 8 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 10 11 12 9
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 3 4 14 2 5 6 7 8 9 10 11 12 13
NO
NO
YES
1 2 3 4 5 6 7 8 9
4 3 2 1 5 6 7 8 9
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 3 4 5 10 2 6 7 8 9
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 8 13 7 9 10 11 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 5 12 4 6 7 8 9 10 11
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 4 5 12 3 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 5 6 14 4 7 8 9 10 11 12 13
NO
YES
1 2 3 4 5 6 7 8 9
1 2 4 5 6 7 9 3 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
2 11 1 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
2 3 4 5 6 7 13 1 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 8 9 11 12 10
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 3 4 12 2 5 6 7 8 9 10 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 9 10 11 14 8 12 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
2 3 4 5 6 7 8 9 10 12 1 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
12 11 10 9 8 7 6 5 4 3 2 1 13 14
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
10 9 8 7 6 5 4 3 2 1
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 6 7 8 11 5 9 10
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 6 7 11 5 8 9 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 3 4 14 1 5 6 7 8 9 10 11 12 13
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 4 5 6 7 8 10 3 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
6 5 4 3 2 1 7 8 9 10
NO
YES
1 2 3 4 5 6 7 8 9
2 3 4 9 1 5 6 7 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 2 3 4 5 6 7 8 9 10 11 12
1 3 4 5 6 7 12 2 8 9 10 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 2 3 4 5 6 7 8 9 10 11 12 13
1 3 4 5 6 7 8 13 2 9 10 11 12
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9
2 3 9 1 4 5 6 7 8
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
2 3 4 5 6 13 1 7 8 9 10 11 12
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 12 13 11
NO
YES
1 2 3 4 5 6 7 8 9
1 2 3 5 6 7 8 9 4
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 3 4 5 6 14 1 7 8 9 10 11 12 13
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 2 3 5 6 7 9 4 8
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 3 4 5 6 7 8 9 14 1 10 11 12 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 4 13 3 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 8 11 7 9 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 7 13 6 8 9 10 11 12
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 8 9 10 11 13 7 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 9 10 11 12 8
NO
YES
1 2 3 4 5 6 7 8 9 10 11
2 1 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
2 1 3 4 5 6 7 8 9 10 11 12 13
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 7 11 6 8 9 10
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 14 1 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 14
6 5 4 3 2 1 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 7 8 13 6 9 10 11 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 7 8 9 10 11 12 13
1 2 3 4 5 6 8 9 10 11 12 13 7
YES
1 2 3 4 5 6 7 8 9
2 3 4 5 6 7 8 9 1
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 1 3 4 5 6 7 8 9 10 11 12 13 14
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 5 6 10 4 7 8 9
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 4 5 11 3 6 7 8 9 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
2 3 4 13 1 5 6 7 8 9 10 11 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 10 11 12 13
1 2 3 4 5 6 7 8 9 11 12 13 10
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 3 4 5 6 7 8 9 10 11 12 13 2
YES
1 2 3 4 5 6 7 8 9 10 11 12
10 9 8 7 6 5 4 3 2 1 11 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 6 7 8 9 10 12 5 11
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 11 12 14 10 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 4 5 6 7 8 9 10 14 3 11 12 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
8 7 6 5 4 3 2 1 9 10
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 9 10 11 8
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
2 3 10 1 4 5 6 7 8 9
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 5 6 7 8 9 10 11 12 4
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 6 10 5 7 8 9
YES
1 2 3 4 5 6 7 8 9
2 3 4 5 9 1 6 7 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 5 13 4 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
8 7 6 5 4 3 2 1 9 10 11 12 13
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 2 3 4 5 6 7 8 9 10
1 3 4 5 6 7 10 2 8 9
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 5 7 8 9 6
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 7 8 9 10 6
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 11 12 13 14
1 2 3 4 5 6 7 8 9 10 12 13 14 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 6 7 12 5 8 9 10 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 8 9 10 13 7 11 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 2 3 4 5 6 7 8 9 10 11 12 13
1 3 4 5 6 7 8 9 13 2 10 11 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 8 9 10 12 7 11
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 5 11 4 6 7 8 9 10
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 3 14 2 4 5 6 7 8 9 10 11 12 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
4 3 2 1 5 6 7 8 9 10 11
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 3 4 5 6 7 8 9 10 14 2 11 12 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
2 3 4 5 6 7 8 9 10 11 12 13 1
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 4 5 6 7 8 9 10
1 2 3 5 6 7 8 9 10 4
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 3 4 5 6 7 14 2 8 9 10 11 12 13
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
2 3 4 12 1 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 13
4 3 2 1 5 6 7 8 9 10 11 12 13
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
10 9 8 7 6 5 4 3 2 1 11 12 13
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
2 3 4 5 12 1 6 7 8 9 10 11
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 8 9 7
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 8 9 14 7 10 11 12 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 4 14 3 5 6 7 8 9 10 11 12 13
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 10 11 12 13 9
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
2 3 4 5 6 7 8 9 10 1
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 4 5 6 7 14 3 8 9 10 11 12 13
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 7 8 9 10 11 12 6
NO
YES
1 2 3 4 5 6 7 8 9 10
2 1 3 4 5 6 7 8 9 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 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
2 3 13 1 4 5 6 7 8 9 10 11 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 3 4 5 6 7 8 9 10 11 12 13
1 2 4 5 6 7 8 9 10 13 3 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 6 7 8 9 13 5 10 11 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
2 3 4 5 6 7 8 9 11 1 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 7 8 9 10 11 12 13 14 6
YES
1 2 3 4 5 6 7 8 9 10 11 12
4 3 2 1 5 6 7 8 9 10 11 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 5 14 4 6 7 8 9 10 11 12 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 4 5 13 3 6 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 3 4 5 6 7 8 9 10 11 12 14 2 13
YES
1 2 3 4 5 6 7 8 9 10
1 2 4 5 6 7 10 3 8 9
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 4 5 6 7 8 9 14 3 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 3 4 5 6 7 8 9 10 11 13 2 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
14 13 12 11 10 9 8 7 6 5 4 3 2 1
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 8 9 10 11 12 7
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 6 7 9 10 12 8 11
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 5 6 7 8 9 10 11 12 13 4
YES
1 2 3 4 5 6 7 8 9 10
4 3 2 1 5 6 7 8 9 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 7 8 9 10 11 12 13 6
YES
1 2 3 4 5 6 7 8 9 10 11 12
12 11 10 9 8 7 6 5 4 3 2 1
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 3 4 5 6 7 8 9 10 11
1 2 4 5 6 7 8 9 10 11 3
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
6 5 4 3 2 1 7 8 9 10 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 3 4 5 6 7 8 9 10 11 12 14 1 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
2 12 1 3 4 5 6 7 8 9 10 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 3 4 13 2 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 5 6 7 9 10 11 12 13 14 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 8 10 13 9 11 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
2 3 4 5 6 7 12 1 8 9 10 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 6 7 8 9 12 5 10 11
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 6 8 9 10 7
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 8 9 10 11 12 13 14 7
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 10 11 12 13 14 9
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
1 2 3 4 5 6 7 8 9 10 11
2 3 4 5 6 7 8 11 1 9 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 6 7 8 9 10 11 12 13 14 5
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 3 4 5 6 7 8 9 10 11 12
1 2 4 5 6 7 8 9 10 12 3 11
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 7 8 9 11 6 10
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 6 7 8 14 5 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 4 5 6 7 8 9 10 11 12 3
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 8 9 11 7 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 10 11 12 13 14
1 2 3 4 5 6 7 8 9 11 12 13 14 10
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
4 3 2 1 5 6 7 8 9 10 11 12 13 14
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 9 10 14 8 11 12 13
YES
1 2 3 4 5 6 7 8 9 10
2 3 4 10 1 5 6 7 8 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 5 6 7 8 14 4 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9
1 2 4 5 9 3 6 7 8
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 5 6 7 8 9 10 12 4 11
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 5 6 7 12 4 8 9 10 11
YES
1 2 3 4 5 6 7 8 9 10
2 10 1 3 4 5 6 7 8 9
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 4 5 6 7 8 9 12 3 10 11
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 10 11 9
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 3 4 5 6 7 8 9 10 11 12 13 14
1 2 4 5 6 7 8 9 10 11 14 3 12 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 3 14 1 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 4 5 6 13 3 7 8 9 10 11 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
10 9 8 7 6 5 4 3 2 1 11 12 13 14
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 3 4 5 6 7 8 9 14 2 10 11 12 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11
10 9 8 7 6 5 4 3 2 1 11
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 5 10 4 6 7 8 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
12 11 10 9 8 7 6 5 4 3 2 1 13
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 4 9 3 5 6 7 8
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 5 6 7 8 9 10 11 14 4 12 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 3 4 5 6 13 2 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 7 12 6 8 9 10 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 7 8 9 10 11 6
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
2 3 4 5 6 7 8 9 10 11 12 1
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 4 12 3 5 6 7 8 9 10 11
YES
1 2 3 4 5 6 7 8 9 10 11
2 3 4 5 11 1 6 7 8 9 10
YES
1 2 3 4 5 6 7 8 9 10 11 12
2 1 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 5 7 8 9 10 11 12 14 6 13
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 5 6 7 8 9 10 11 12 14 4 13
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 3 4 5 6 9 2 7 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
8 7 6 5 4 3 2 1 9 10 11 12 13 14
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 5 6 7 8 9 11 4 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 5 6 11 4 7 8 9 10
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
2 3 4 5 6 7 11 1 8 9 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 4 5 6 7 8 9 10 11 12 13
1 2 3 5 6 7 8 9 13 4 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 4 5 6 7 8 9 10 11 12 13 14 3
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 5 6 7 8 9
1 2 3 4 6 7 8 9 5
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 4 5 6 12 3 7 8 9 10 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 9 10 11 12 13
1 2 3 4 5 6 7 8 10 11 13 9 12
NO
YES
1 2 3 4 5 6 7 8 9
6 5 4 3 2 1 7 8 9
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 7 8 9 10 14 6 11 12 13
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 3 4 11 2 5 6 7 8 9 10
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 6 7 8 9 10 5
YES
1 2 3 4 5 6 7 8 9
2 3 4 5 6 9 1 7 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 5 6 7 8 9 10 11 12
1 2 3 4 6 7 8 9 10 11 12 5
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
2 3 4 5 6 7 8 9 10 13 1 11 12
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 4 5 6 7 8 11 3 9 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
6 5 4 3 2 1 7 8 9 10 11 12 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 6 7 8 9 10 11 14 5 12 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 3 4 5 13 2 6 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9
1 2 4 5 6 9 3 7 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 5 6 7 8 9 10 11 12 13 14 4
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 3 4 5 14 1 6 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
2 3 4 5 13 1 6 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 6 11 5 7 8 9 10
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 4 5 6 7 11 3 8 9 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 6 13 5 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 3 4 5 6 7 8 9 10 13 2 11 12
NO
YES
1 2 3 4 5 6 7 8 9 10
1 3 4 5 6 10 2 7 8 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11
2 3 11 1 4 5 6 7 8 9 10
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
2 3 4 5 6 7 8 9 12 1 10 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 9 10 11 13 8 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 4 11 3 5 6 7 8 9 10
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
2 3 12 1 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 2 3 4 6 7 8 13 5 9 10 11 12
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 3 4 5 6 12 2 7 8 9 10 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 5 6 7 8 9 10 11 13 4 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
8 7 6 5 4 3 2 1 9
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
6 5 4 3 2 1 7 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 6 7 13 5 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11
2 3 4 5 6 7 8 9 10 11 1
NO
NO
NO
NO
NO
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 10 11 13 14 12
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 3 4 5 6 7 8 9 10 11 12 13 14 2
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 11 14 10 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 6 7 8 9 10 13 5 11 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 9 10 11 12 13 14
1 2 3 4 5 6 7 8 10 11 12 14 9 13
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 2 4 5 6 7 8 9 3
YES
1 2 3 4 5 6 7 8 9
1 2 3 5 9 4 6 7 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
1 2 3 4 5 6 7 8 9 10 11 12 13
2 3 4 5 6 7 8 9 10 11 13 1 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 7 8 9 10 11 14 6 12 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 3 4 5 6 7 8 9 10
1 2 4 5 6 7 8 9 10 3
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 3 4 5 6 7 8 9 2
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 5 6 7 8 9 10 11 4
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 4 5 10 3 6 7 8 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 3 4 5 11 2 6 7 8 9 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 7 8 9 14 6 10 11 12 13
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 3 4 5 6 7 8 10 2 9
NO
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 3 4 5 12 2 6 7 8 9 10 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 6 7 14 5 8 9 10 11 12 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 4 5 6 14 3 7 8 9 10 11 12 13
NO
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
2 3 4 5 6 7 8 13 1 9 10 11 12
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 4 5 14 3 6 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9
2 9 1 3 4 5 6 7 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
1 2 3 4 5 6 7 8 9 10
2 3 4 5 6 7 10 1 8 9
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 3 13 2 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 2 3 4 5 6 8 12 7 9 10 11
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 4 5 6 7 8 9 11 3 10
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 6 7 8 9 11 5 10
YES
1 2 3 4 5 6 7 8 9 10 11
1 3 4 5 6 7 8 11 2 9 10
YES
1 2 3 4 5 6 7 8 9 10 11
1 3 4 5 6 7 8 9 10 11 2
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 3 4 5 6 7 8 14 1 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10
1 3 10 2 4 5 6 7 8 9
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 5 9 6 7 8
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 4 5 6 7 8 12 3 9 10 11
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 6 7 8 9 10 11 13 5 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 4 5 6 7 8 9 10 11
1 2 3 5 6 7 8 11 4 9 10
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 6 7 8 10 5 9
YES
1 2 3 4 5 6 7 8 9 10
1 3 4 10 2 5 6 7 8 9
YES
1 2 3 4 5 6 7 8 9 10 11 12
2 3 4 5 6 7 8 12 1 9 10 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 7 8 9 10 11 13 6 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 5 6 7 13 4 8 9 10 11 12
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 3 4 5 14 2 6 7 8 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 4 5 6 7 8 9 10 11 12 13 3
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 8 9 10
1 2 3 4 5 6 7 9 10 8
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 8 9 10 11 14 7 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 5 6 7 8 9 10 13 4 11 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 7 8 12 6 9 10 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 8 9 13 7 10 11 12
NO
YES
1 2 3 4 5 6 7 8 9
2 3 4 5 6 7 9 1 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
1 2 3 4 5 6 7 8 9 10 11
2 3 4 5 6 11 1 7 8 9 10
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 5 6 7 8 9 12 4 10 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 4 5 6 7 8 9 10
1 2 3 5 6 7 8 10 4 9
YES
1 2 3 4 5 6 7 8 9 10 11
2 3 4 11 1 5 6 7 8 9 10
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 5 6 7 8 9 10 14 4 11 12 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 8 9 10 11 12 14 7 13
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
2 3 4 5 6 7 8 9 10 11 14 1 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 3 4 5 6 7 8 9 10 11 14 2 12 13
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 8 9 10 11 7
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 7 14 6 8 9 10 11 12 13
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 3 12 2 4 5 6 7 8 9 10 11
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 4 5 6 7 13 3 8 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 8 10 14 9 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 7 9 14 8 10 11 12 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 9 13 8 10 11 12
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 5 6 13 4 7 8 9 10 11 12
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13
1 2 3 4 5 6 7 9 10 11 12 13 8
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 5 6 7 14 4 8 9 10 11 12 13
NO
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 6 7 9 5 8
NO
YES
1 2 3 4 5 6 7 8 9 10
2 3 4 5 6 10 1 7 8 9
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 2 3 4 5 7 8 9 12 6 10 11
YES
1 2 3 4 5 6 7 8 9 10
2 3 4 5 6 7 8 10 1 9
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 3 4 9 2 5 6 7 8
NO
NO
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12
8 7 6 5 4 3 2 1 9 10 11 12
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 7 8 14 6 9 10 11 12 13
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 7 10 6 8 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11
1 3 4 5 6 7 11 2 8 9 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 3 4 5 6 7 8 9 10 11 12 13
1 2 4 5 6 7 8 13 3 9 10 11 12
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 5 6 7 10 4 8 9
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 3 4 5 6 7 8 9 10 12 2 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 9 12 8 10 11
YES
1 2 3 4 5 6 7 8 9 10 11
1 3 4 5 6 7 8 9 11 2 10
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 3 4 5 7 8 10 6 9
NO
YES
1 2 3 4 5 6 7 8 9 10 11
8 7 6 5 4 3 2 1 9 10 11
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9
1 2 3 4 6 9 5 7 8
NO
NO
NO
YES
1 2 3 4 5 6 7 8 9 10
1 2 4 10 3 5 6 7 8 9
NO
NO
YES
1 2 3 4 5 6 7 8 9 10 11 12 13 14
1 2 3 4 5 6 8 14 7 9 10 11 12 13
YES
1 2 3 4 5 6 7 8 9 10 11 12
1 3 4 5 6 7 8 9 10 11 12 2
NO