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