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