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