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