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