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