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