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