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