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