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