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