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