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