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