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