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