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