1. 3x3 at (11): (1,2) = 6 inconsistent with (2,3) = 6, (1,2) now [3,7]
2. 3x3 at (11): (1,3) = 2 inconsistent with (2,1) = 2, (1,3) now [5,3,7]
3. 3x3 at (14): (1,4) = 9 inconsistent with (2,5) = 9, (1,4) now [6,2,7,3]
4. 3x3 at (14): (1,4) = 6 inconsistent with (3,6) = 6, (1,4) now [2,7,3]
5. 3x3 at (14): (1,5) = 6 inconsistent with (3,6) = 6, (1,5) now [5,2,3]
6. (1,7) = 7, row insufficiency for [(2,[3]),(3,[5,3]),(4,[2,3]),(5,[3,2,5]),(9,[2,3,6])] wrt [3], (1,7) now [9,6,5,3]
7. 3x3 at (17): (1,7) = 3, insufficiency [(2,9,[8]),(3,8,[8])] wrt [8], (1,7) now [6,9,5]
8. 3x3 at (17): (1,9) = 3, insufficiency [(2,9,[8]),(3,8,[8])] wrt [8], (1,9) now [2,6]
9. 3x3 at (17): (2,7) = 4 inconsistent with (1,8) = 4, (2,7) now [5,7,3]
10. 3x3 at (17): (2,7) = 3, insufficiency [(2,9,[8]),(3,8,[8])] wrt [8], (2,7) now [5,7]
11. 3x3 at (17): (2,9) = 8 inconsistent with (3,8) = 8, (2,9) now [3]
12. (2,2) = 3 inconsistent with (2,9) = 3, (2,2) now [4,7]
13. (2,4) = 3 inconsistent with (2,9) = 3, (2,4) now [8,7]
14. (2,6) = 3 inconsistent with (2,9) = 3, (2,6) now [5,4,8,7]
15. 3x3 at (14): (3,4) = 1 inconsistent with (1,6) = 1, (3,4) now [2,3,7]
16. 3x3 at (14): (3,5) = 1 inconsistent with (1,6) = 1, (3,5) now [5,4,2,3]
17. 3x3 at (17): (3,7) = 4 inconsistent with (1,8) = 4, (3,7) now [7,5,3]
18. 3x3 at (17): (3,7) = 3 inconsistent with (2,9) = 3, (3,7) now [7,5]
19. (1,7) = 5, column insufficiency (2,7) = (3,7) = 7, (1,7) now [9,6]
20. 3x3 at (17): (3,9) = 1 inconsistent with (2,8) = 1, (3,9) now [2,3]
21. (1,9) = 2, column insufficiency (2,9) = (3,9) = 3, (1,9) now [6]
22. (1,7) = 6 inconsistent with (1,9) = 6, (1,7) now [9]
23. (3,9) = 3 inconsistent with (2,9) = 3, (3,9) now [2]
24. (3,4) = 2 inconsistent with (3,9) = 2, (3,4) now [3,7]
25. (3,5) = 2 inconsistent with (3,9) = 2, (3,5) now [5,4,3]
26. (4,7) = 7, column insufficiency (2,7) = (3,7) = 5, (4,7) now [6,5,3]
27. (4,7) = 5, column insufficiency (2,7) = (3,7) = 7, (4,7) now [6,3]
28. 3x3 at (41): (5,1) = 4 inconsistent with (4,3) = 4, (5,1) now [6,5,3,7]
29. 3x3 at (41): (5,2) = 1 inconsistent with (4,1) = 1, (5,2) now [4,6,3,7]
30. 3x3 at (41): (5,2) = 4 inconsistent with (4,3) = 4, (5,2) now [6,3,7]
31. 3x3 at (41): (5,3) = 2 inconsistent with (4,2) = 2, (5,3) now [8,1,5,3,7]
32. 3x3 at (41): (5,3) = 1 inconsistent with (4,1) = 1, (5,3) now [8,5,3,7]
33. (5,7) = 9 inconsistent with (1,7) = 9, (5,7) now [6,7,4,5,3]
34. (5,7) = 7, column insufficiency (2,7) = (3,7) = 5, (5,7) now [6,4,5,3]
35. 3x3 at (47): (5,7) = 4 inconsistent with (6,9) = 4, (5,7) now [6,5,3]
36. (5,7) = 5, column insufficiency (2,7) = (3,7) = 7, (5,7) now [6,3]
37. 3x3 at (47): (4,8) = 6, insufficiency [(4,7,[3]),(5,7,[3])] wrt [3], (4,8) now [7,5,3]
38. 3x3 at (47): (4,8) = 3, insufficiency [(4,7,[6]),(5,7,[6])] wrt [6], (4,8) now [7,5]
39. 3x3 at (47): (5,8) = 9 inconsistent with (4,9) = 9, (5,8) now [7,5,6,3]
40. 3x3 at (47): (5,8) = 6, insufficiency [(4,7,[3]),(5,7,[3])] wrt [3], (5,8) now [7,5,3]
41. 3x3 at (47): (5,8) = 3, insufficiency [(4,7,[6]),(5,7,[6])] wrt [6], (5,8) now [7,5]
42. (5,9) = 2 inconsistent with (3,9) = 2, (5,9) now [1,8,6,3]
43. 3x3 at (47): (5,9) = 8 inconsistent with (6,7) = 8, (5,9) now [1,6,3]
44. (5,9) = 6 inconsistent with (1,9) = 6, (5,9) now [1,3]
45. (5,9) = 3 inconsistent with (2,9) = 3, (5,9) now [1]
46. (5,4) = 1 inconsistent with (5,9) = 1, (5,4) now [9,2,6,8,3,7]
47. (5,5) = 1 inconsistent with (5,9) = 1, (5,5) now [4,5,2,6,8,3]
48. 3x3 at (41): (6,2) = 1 inconsistent with (4,1) = 1, (6,2) now [6,3,7]
49. (3,2) = 3, column insufficiency for [(1,[7]),(2,[4,7]),(5,[6,7]),(6,[6,7])] wrt [7], (3,2) now [1,4,7]
50. (2,2) = 7, column insufficiency for [(1,[3]),(5,[6,3]),(6,[6,3])] wrt [3], (2,2) now [4]
51. (2,6) = 4 inconsistent with (2,2) = 4, (2,6) now [5,8,7]
52. 3x3 at (11): (3,1) = 4 inconsistent with (2,2) = 4, (3,1) now [5,7,3]
53. (3,2) = 4 inconsistent with (2,2) = 4, (3,2) now [1,7]
54. (3,2) = 7, column insufficiency for [(1,[3]),(5,[6,3]),(6,[6,3])] wrt [3], (3,2) now [1]
55. (3,5) = 5, row insufficiency for [(1,[3,7]),(4,[7,3]),(7,[7])] wrt [7], (3,5) now [4,3]
56. (3,5) = 3, row insufficiency for [(1,[5,7]),(4,[7]),(7,[5,7])] wrt [7], (3,5) now [4]
57. (5,5) = 4 inconsistent with (3,5) = 4, (5,5) now [5,2,6,8,3]
58. 3x3 at (41): (6,3) = 1 inconsistent with (4,1) = 1, (6,3) now [5,3,7]
59. 3x3 at (71): (7,3) = 8 inconsistent with (8,2) = 8, (7,3) now [2,3,7]
60. 3x3 at (74): (7,6) = 7 inconsistent with (8,5) = 7, (7,6) now [9,8,2,3]
61. (7,8) = 7, column insufficiency (4,8) = (5,8) = 5, (7,8) now [6,9,3]
62. (7,9) = 2 inconsistent with (3,9) = 2, (7,9) now [8,6,3]
63. (7,9) = 6 inconsistent with (1,9) = 6, (7,9) now [8,3]
64. (7,9) = 3 inconsistent with (2,9) = 3, (7,9) now [8]
65. (7,5) = 8 inconsistent with (7,9) = 8, (7,5) now [6,2,3]
66. (7,6) = 8 inconsistent with (7,9) = 8, (7,6) now [9,2,3]
67. 3x3 at (74): (8,6) = 4 inconsistent with (7,4) = 4, (8,6) now [9,3]
68. 3x3 at (71): (9,3) = 8 inconsistent with (8,2) = 8, (9,3) now [2,1,3]
69. (9,5) = 4 inconsistent with (3,5) = 4, (9,5) now [8,6,2,1,3]
70. (9,5) = 3, row insufficiency for [(1,[4,6]),(7,[4,6]),(8,[6])] wrt [6], (9,5) now [8,6,2,1]
71. (9,6) = 4, row insufficiency for [(1,[3,6]),(7,[3,6]),(8,[3,6])] wrt [3,6], (9,6) now [3,8,2]
72. (9,7) = 6, column insufficiency (4,7) = (5,7) = 3, (9,7) now [4,3]
73. (9,7) = 3, column insufficiency (4,7) = (5,7) = 6, (9,7) now [4]
74. (9,1) = 4 inconsistent with (9,7) = 4, (9,1) now [6,3]
75. (8,1) = 6, column insufficiency for [(3,[5,3,7]),(5,[5,3,7]),(7,[7,3]),(9,[3])] wrt [3], (8,1) now [4,3]
76. (9,3) = 3, row insufficiency (9,1) = (9,8) = 6, (9,3) now [2,1]
77. (9,5) = 6, row insufficiency (9,1) = (9,8) = 3, (9,5) now [8,2,1]
78. (9,6) = 3, row insufficiency (9,1) = (9,8) = 6, (9,6) now [8,2]
79. 3x3 at (41): [(6,3,[5,7,3]),(6,2,[6,7,3]),(5,2,[6,3,7]),(5,1,[5,7,6,3])] cover values [6,3,7,5], must truncate [(5,3,[8,5,7,3])]
80. 3x3 at (44): [(6,6,[5,7,3]),(6,5,[5,6,3,1]),(6,4,[7,6,1,3]),(4,6,[7,5,3,8]),(4,5,[5,6,3,8]),(4,4,[8,7,6,3])] cover values [8,1,6,3,7,5], must truncate [(5,4,[2,8,7,6,9,3]),(5,5,[5,6,3,8,2]),(5,6,[4,7,5,9,3,8,2])]
81. 3x3 at (71): [(9,3,[1,2]),(9,1,[6,3]),(8,3,[3,1]),(7,3,[7,3,2]),(7,1,[7,6,3])] cover values [7,3,6,2,1], must truncate [(8,1,[4,3])]
82. column 6: [(9,[2,8]),(8,[9,3]),(7,[9,3,2]),(6,[5,7,3]),(4,[7,5,3,8]),(2,[7,5,8])] cover values [7,5,3,9,8,2], must truncate [(5,[4,9,2])]
83. (1,5) = 2 inconsistent with (5,5) = 2, (1,5) now [5,3]
84. (1,4) = 7, row insufficiency for [(2,[3]),(3,[5,3]),(5,[5,3])] wrt [3], (1,4) now [2,3]
85. (5,4) = 2 inconsistent with (5,5) = 2, (5,4) now [9]
86. (7,5) = 2 inconsistent with (5,5) = 2, (7,5) now [6,3]
87. (8,4) = 9 inconsistent with (5,4) = 9, (8,4) now [6,1,3]
88. (9,5) = 2 inconsistent with (5,5) = 2, (9,5) now [8,1]
89. 3x3 at (14): [(3,4,[7,3]),(2,6,[7,5,8]),(2,4,[8,7]),(1,5,[5,3])] cover values [8,5,3,7], must truncate [(1,4,[2,3])]
90. Contradiction: (3,1) = 7 leads to no possible value for (1,5)
... in 3x3 at (11): 5 occurs uniquely, (1,3) = [3,5] now 5
91. (5,1) = 6, results in column insufficiency for [(1,[7,3]),(5,[7]),(6,[3,7])] wrt [7] in column 2
92. (6,3) = 3 results in inconsistency (5,2) = 6 = (6,2)
... row/column uniqueness of 2 means (7,6) must be 2
... in 3x3 at (11): 7 occurs uniquely, (1,2) = [7,3] now 7
93. (6,2) = 7, results in row insufficiency for [(1,[3]),(2,[6,3]),(7,[3,6])] wrt [3] in row 5
94. (6,5) = 3 results in inconsistency (7,5) = 6 = (8,4)
... in 3x3 at (14): 3 occurs uniquely, (3,4) = [3,7] now 3
... in 3x3 at (44): 1 occurs uniquely, (6,4) = [7,1] now 1
95. (7,6) = 9 results in inconsistency (7,5) = 6 = (8,4)
... row/column uniqueness of 9 means (8,8) must be 9
96. (7,8) = 6, row insufficiency for [(1,[7,3]),(3,[7,2,3]),(5,[3]),(6,[3,2])] wrt [3], (7,8) now [9,3]
97. 3x3 at (74): [(9,6,[8,2]),(9,5,[1,8]),(8,4,[6,3,1]),(7,6,[3,2]),(7,5,[6,3])] cover values [3,6,1,2,8], must truncate [(8,6,[9,3])]
98. (8,8) = 9 inconsistent with (8,6) = 9, (8,8) now [6,3]
99. (7,8) = 3, column insufficiency (8,8) = (9,8) = 6, (7,8) now [9]
100. (4,5) = 5 results in inconsistency (5,1) = 7 = (6,3)
... in 3x3 at (14): 5 occurs uniquely, (2,6) = [7,8,5] now 5
... in 3x3 at (11): 3 occurs uniquely, (3,1) = [5,3] now 3
... in 3x3 at (11): 5 occurs uniquely, (1,3) = [7,5] now 5
... in 3x3 at (14): 3 occurs uniquely, (1,5) = [5,3] now 3
... row/column uniqueness of 8 means (9,6) must be 8
101. (4,4) = 3, results in column insufficiency for [(2,[5]),(4,[7,5]),(6,[7,5])] wrt [5] in column 6
... in 3x3 at (14): 7 occurs uniquely, (2,6) = [8,7,5] now 7
... in 3x3 at (17): 7 occurs uniquely, (3,7) = [7,5] now 7
... in 3x3 at (41): 7 occurs uniquely, (6,3) = [7,5] now 7
102. (4,4) = 7, results in row insufficiency for [(1,[3]),(2,[3,6]),(7,[6,3])] wrt [3] in row 5
103. (4,6) = 3, row insufficiency for [(4,[6,8]),(5,[8,6]),(7,[6])] wrt [6], (4,6) now [5,7,8]
104. (4,6) = 8, row insufficiency for [(4,[6]),(5,[6,3]),(7,[3,6])] wrt [6], (4,6) now [5,7]
105. (4,5) = 6 results in inconsistency (7,5) = 3 = (7,6)
... in 3x3 at (14): 8 occurs uniquely, (2,6) = [5,7,8] now 8
... row/column uniqueness of 2 means (7,3) must be 2
... in 3x3 at (14): 3 occurs uniquely, (1,5) = [5,3] now 3
... row/column uniqueness of 8 means (9,6) must be 8
106. (6,4) = 3, results in column insufficiency for [(2,[5]),(4,[7,5]),(6,[7,5])] wrt [5] in column 6
107. (6,5) = 6 results in inconsistency (4,4) = 8 = (4,5)
... in 3x3 at (41): 6 occurs uniquely, (5,2) = [6,7] now 6
108. column 5: [(9,[1,8]),(6,[5,1]),(4,[3,8]),(1,[5,3])] cover values [3,5,8,1], must truncate [(7,[6,3])]
109. (7,1) = 6 inconsistent with (7,5) = 6, (7,1) now [7,3]
110. 3x3 at (74): (8,4) = 6 inconsistent with (7,5) = 6, (8,4) now [1,3]
111. (8,8) = 3, row insufficiency (8,3) = (8,4) = 1, (8,8) now [6]
112. (9,8) = 6 inconsistent with (8,8) = 6, (9,8) now [3]
113. (9,1) = 3 inconsistent with (9,8) = 3, (9,1) now [6]
114. (1,3) = 3 results in inconsistency (8,3) = 1 = (8,4)
... in 3x3 at (14): 3 occurs uniquely, (3,4) = [3,7] now 3
115. (7,3) = 7, column insufficiency (1,3) = (6,3) = 5, (7,3) now [2,3]
116. (7,1) = 3, row insufficiency (7,3) = (7,6) = 2, (7,1) now [7]
117. (5,1) = 7 inconsistent with (7,1) = 7, (5,1) now [3,5]
118. (4,5) = 3 results in inconsistency (3,1) = 5 = (5,1)
... in 3x3 at (14): 3 occurs uniquely, (3,4) = [3,7] now 3
... row/column uniqueness of 1 means (9,3) must be 1
... row/column uniqueness of 8 means (2,6) must be 8
119. (4,4) = 8 inconsistent with (4,5) = 8, (4,4) now [6]
120. (4,7) = 6 inconsistent with (4,4) = 6, (4,7) now [3]
121. (5,7) = 3 inconsistent with (4,7) = 3, (5,7) now [6]
122. (5,2) = 6 inconsistent with (5,7) = 6, (5,2) now [7,3]
123. (6,2) = 3, column insufficiency (1,2) = (5,2) = 7, (6,2) now [6]
124. (6,4) = 6 inconsistent with (6,2) = 6, (6,4) now [1,7]
125. (6,5) = 1, column insufficiency (4,5) = (9,5) = 8, (6,5) now [5]
126. (1,5) = 5 inconsistent with (6,5) = 5, (1,5) now [3]
127. (1,2) = 3 inconsistent with (1,5) = 3, (1,2) now [7]
128. (1,3) = 7 inconsistent with (1,2) = 7, (1,3) now [5]
129. 3x3 at (14): (2,4) = 7, insufficiency [(1,5,[3]),(3,4,[3])] wrt [3], (2,4) now [8]
130. (2,6) = 8 inconsistent with (2,4) = 8, (2,6) now [5,7]
131. 3x3 at (14): (2,6) = 7, insufficiency [(1,5,[3]),(3,4,[3])] wrt [3], (2,6) now [5]
132. (2,7) = 5 inconsistent with (2,6) = 5, (2,7) now [7]
133. 3x3 at (11): (3,1) = 5 inconsistent with (1,3) = 5, (3,1) now [3]
134. (3,4) = 3 inconsistent with (3,1) = 3, (3,4) now [7]
135. (3,7) = 7 inconsistent with (3,4) = 7, (3,7) now [5]
136. (4,6) = 5 inconsistent with (2,6) = 5, (4,6) now [7]
137. (4,8) = 7 inconsistent with (4,6) = 7, (4,8) now [5]
138. (5,1) = 3 inconsistent with (3,1) = 3, (5,1) now [5]
139. (5,2) = 7 inconsistent with (1,2) = 7, (5,2) now [3]
140. (5,8) = 5 inconsistent with (5,1) = 5, (5,8) now [7]
141. (6,3) = 5 inconsistent with (6,5) = 5, (6,3) now [7]
142. (6,4) = 7 inconsistent with (6,3) = 7, (6,4) now [1]
143. (6,6) = 5 inconsistent with (6,5) = 5, (6,6) now [3,7]
144. (6,6) = 7 inconsistent with (6,3) = 7, (6,6) now [3]
145. (7,6) = 3 inconsistent with (6,6) = 3, (7,6) now [2]
146. (7,3) = 2 inconsistent with (7,6) = 2, (7,3) now [3]
147. (8,3) = 3 inconsistent with (7,3) = 3, (8,3) now [1]
148. (8,4) = 1 inconsistent with (8,3) = 1, (8,4) now [3]
149. (9,3) = 1 inconsistent with (8,3) = 1, (9,3) now [2]
150. (9,5) = 8 inconsistent with (4,5) = 8, (9,5) now [1]
151. (9,6) = 2 inconsistent with (9,3) = 2, (9,6) now [8]