NO
NO
else
YES
1 2 3 4 5 6 7 
2 3 4 5 6 1 7 
NO
else
YES
1 2 3 4 5 6 
2 3 4 5 1 5 
NO
YES
6 5 4 3 2 1 
1 2 3 4 5 6 
YES
4 3 2 1 
1 2 3 4 
NO
YES
2 3 1 
1 2 3 
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
2 3 4 1 5 6 
1 2 3 4 5 6 
NO
NO
NO
NO
YES
2 3 4 5 1 6 7 8 
1 2 3 4 5 6 7 8 
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
else
YES
1 2 3 4 5 6 7 
2 3 4 5 1 5 7 
YES
1 2 3 4 5 6 7 
1 2 3 4 5 6 7 
NO
YES
2 3 4 5 1 5 6 
1 2 3 4 5 6 7 
else
YES
1 2 3 4 5 6 7 8 
2 3 4 5 1 5 7 8 
NO
NO
NO
YES
2 3 1 4 5 
1 2 3 4 5 
YES
4 3 2 1 5 6 7 8 
1 2 3 4 5 6 7 8 
NO
NO
NO
NO
NO
else
YES
1 2 3 
2 3 1 
NO
NO
NO
NO
NO
NO
else
YES
1 2 3 4 5 
2 3 1 4 5 
else
YES
1 2 3 4 5 6 7 8 
2 3 4 1 5 6 7 8 
NO
NO
else
YES
1 2 3 4 5 6 7 8 
2 3 4 5 1 5 6 8 
else
YES
1 2 3 4 5 6 7 
2 3 4 1 5 6 7 
else
YES
1 2 3 4 5 6 
2 3 1 4 5 6 
else
YES
1 2 3 4 5 6 7 8 
2 3 1 4 5 6 7 8 
NO
NO
YES
2 3 4 5 6 7 1 7 
1 2 3 4 5 6 7 8 
YES
2 3 4 1 
1 2 3 4 
NO
NO
NO
YES
6 5 4 3 2 1 7 8 
1 2 3 4 5 6 7 8 
NO
YES
2 3 4 1 4 6 7 
1 2 3 4 5 6 7 
NO
NO
else
YES
1 2 3 4 5 6 7 8 
2 3 4 5 6 1 6 7 
else
YES
1 2 3 4 
2 3 4 1 
NO
NO
YES
2 3 4 5 6 1 7 
1 2 3 4 5 6 7 
else
YES
1 2 3 4 5 6 7 8 
2 3 4 5 6 7 1 7 
NO
NO
NO
YES
4 3 2 1 5 
1 2 3 4 5 
NO
YES
4 3 2 1 5 6 
1 2 3 4 5 6 
YES
1 2 3 
1 2 3 
else
YES
1 2 3 4 5 6 
2 3 4 1 5 6 
NO
NO
NO
YES
2 3 4 5 1 5 7 
1 2 3 4 5 6 7 
YES
2 3 4 5 1 6 
1 2 3 4 5 6 
NO
NO
YES
2 3 1 4 5 6 
1 2 3 4 5 6 
YES
2 3 4 5 6 7 8 1 
1 2 3 4 5 6 7 8 
NO
NO
NO
NO
NO
NO
else
YES
1 2 3 4 5 6 7 8 
2 3 4 5 1 6 7 8 
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
2 1 3 4 5 6 
1 2 3 4 5 6 
YES
2 3 1 4 5 6 7 
1 2 3 4 5 6 7 
YES
1 2 3 4 
1 2 3 4 
NO
YES
2 1 3 4 5 6 7 8 
1 2 3 4 5 6 7 8 
NO
YES
4 3 2 1 5 6 7 
1 2 3 4 5 6 7 
YES
2 3 4 5 6 1 6 8 
1 2 3 4 5 6 7 8 
YES
2 1 3 4 5 6 7 
1 2 3 4 5 6 7 
NO
YES
2 3 1 4 5 6 7 8 
1 2 3 4 5 6 7 8 
else
YES
1 2 3 4 5 6 7 8 
2 3 4 5 6 7 1 8 
NO
YES
2 3 4 5 1 5 6 8 
1 2 3 4 5 6 7 8 
NO
NO
NO
NO
YES
2 1 3 4 
1 2 3 4 
NO
NO
NO
NO
NO
NO
NO
else
YES
1 2 3 4 5 6 7 
2 3 4 5 1 5 6 
NO
YES
1 
1 
NO
else
YES
1 2 3 4 5 6 7 8 
2 3 4 5 6 1 7 8 
YES
2 3 4 1 4 6 
1 2 3 4 5 6 
NO
NO
NO
NO
NO
NO
YES
1 2 
1 2 
NO
NO
NO
NO
else
YES
1 2 3 4 5 6 7 
2 3 4 5 6 1 6 
YES
2 3 4 5 1 5 7 8 
1 2 3 4 5 6 7 8 
NO
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
6 5 4 3 2 1 7 
1 2 3 4 5 6 7 
NO
NO
NO
NO
NO
NO
NO
NO
NO
YES
1 2 3 4 5 
1 2 3 4 5 
YES
2 3 4 5 6 1 
1 2 3 4 5 6 
NO
YES
2 1 3 
1 2 3 
NO
YES
2 3 1 4 
1 2 3 4 
NO
YES
2 1 3 4 5 
1 2 3 4 5 
NO
NO
YES
2 3 4 5 6 1 6 7 
1 2 3 4 5 6 7 8 
NO
NO
NO
NO
NO
NO
YES
2 3 4 5 6 7 1 8 
1 2 3 4 5 6 7 8 
NO
NO
NO
NO
NO
else
YES
1 2 3 4 5 6 
2 3 4 5 1 6 
NO
YES
2 1 
1 2 
NO
else
YES
1 2 3 4 5 6 7 
2 3 4 5 1 6 7 
NO
YES
2 3 4 5 6 7 1 
1 2 3 4 5 6 7 
NO
NO
NO
NO
else
YES
1 2 3 4 5 6 7 8 
2 3 4 5 6 7 8 1 
NO
NO
NO
NO
NO
YES
2 3 4 1 5 
1 2 3 4 5 
YES
2 3 4 1 5 6 7 8 
1 2 3 4 5 6 7 8 
NO
NO
YES
2 3 4 5 1 
1 2 3 4 5 
YES
2 3 4 5 6 1 7 8 
1 2 3 4 5 6 7 8 
NO
NO
NO
YES
2 3 4 5 1 5 
1 2 3 4 5 6 
else
YES
1 2 3 4 5 6 
2 3 4 5 6 1 
NO
NO
NO
else
YES
1 2 3 4 
2 3 1 4 
NO
NO
NO
NO
NO
NO
else
YES
1 2 3 4 5 6 7 8 
2 3 4 1 4 6 7 8 
NO
NO
NO
NO
else
YES
1 2 3 4 5 6 7 
2 3 4 5 6 7 1 
NO
NO
YES
2 3 4 1 5 6 7 
1 2 3 4 5 6 7 
YES
1 2 3 4 5 6 
1 2 3 4 5 6 
NO
NO
YES
2 3 4 1 4 6 7 8 
1 2 3 4 5 6 7 8 
else
YES
1 2 3 4 5 
2 3 4 1 4 
YES
2 3 4 5 6 1 6 
1 2 3 4 5 6 7 
NO
YES
1 2 3 4 5 6 7 8 
1 2 3 4 5 6 7 8 
NO
else
YES
1 2 3 4 5 6 7 8 
2 3 4 5 6 1 6 8 
else
YES
1 2 3 4 5 6 
2 3 4 1 4 6 
NO
NO
NO
NO
else
YES
1 2 3 4 5 
2 3 4 1 5 
else
YES
1 2 3 4 5 6 7 
2 3 4 1 4 6 7 
NO
YES
2 3 4 5 1 6 7 
1 2 3 4 5 6 7 
NO
YES
2 3 4 1 4 
1 2 3 4 5 
else
YES
1 2 3 4 5 
2 3 4 5 1 
NO
NO
else
YES
1 2 3 4 5 6 7 
2 3 1 4 5 6 7 
NO
NO
NO
NO
NO
NO
YES
8 7 6 5 4 3 2 1 
1 2 3 4 5 6 7 8 
NO