1. 3x3 at (11): (1,1) = 4 inconsistent with (3,3) = 4, (1,1) now [1,3,7,8,9] 2. 3x3 at (11): (1,1) = 7 inconsistent with (3,2) = 7, (1,1) now [3,1,8,9] 3. 3x3 at (11): (1,3) = 7 inconsistent with (3,2) = 7, (1,3) now [5,6,1,3,8,9] 4. 3x3 at (14): (1,4) = 8 inconsistent with (3,5) = 8, (1,4) now [4,7,9,3,1] 5. 3x3 at (14): (1,5) = 6 inconsistent with (2,4) = 6, (1,5) now [5,7,3,9] 6. 3x3 at (14): (1,6) = 6 inconsistent with (2,4) = 6, (1,6) now [8,4,1,5,7] 7. 3x3 at (14): (1,6) = 8 inconsistent with (3,5) = 8, (1,6) now [4,1,5,7] 8. 3x3 at (17): (1,7) = 3 inconsistent with (2,9) = 3, (1,7) now [6,8,9,4,1,5] 9. 3x3 at (17): (1,8) = 3 inconsistent with (2,9) = 3, (1,8) now [7,6,9,5] 10. 3x3 at (11): (2,1) = 2 inconsistent with (1,2) = 2, (2,1) now [4,7,8,9,1] 11. 3x3 at (11): (2,1) = 4 inconsistent with (3,3) = 4, (2,1) now [7,8,1,9] 12. 3x3 at (11): (2,1) = 7 inconsistent with (3,2) = 7, (2,1) now [8,1,9] 13. 3x3 at (11): (2,2) = 4 inconsistent with (3,3) = 4, (2,2) now [5,1,9] 14. 3x3 at (11): (2,3) = 2 inconsistent with (1,2) = 2, (2,3) now [7,8,5,1,9] 15. 3x3 at (11): (2,3) = 7 inconsistent with (3,2) = 7, (2,3) now [8,5,1,9] 16. 3x3 at (14): (2,6) = 8 inconsistent with (3,5) = 8, (2,6) now [4,1,2,7,5] 17. 3x3 at (11): (3,1) = 2 inconsistent with (1,2) = 2, (3,1) now [3,1,9] 18. 3x3 at (14): (3,6) = 6 inconsistent with (2,4) = 6, (3,6) now [5,2,1] 19. 3x3 at (17): (3,7) = 3 inconsistent with (2,9) = 3, (3,7) now [6,9,5,2,1] 20. 3x3 at (17): (3,8) = 3 inconsistent with (2,9) = 3, (3,8) now [6,9,5,2] 21. 3x3 at (41): (4,1) = 8 inconsistent with (5,2) = 8, (4,1) now [4,7,1,9] 22. 3x3 at (41): (4,2) = 6 inconsistent with (6,1) = 6, (4,2) now [5,4,1,9] 23. 3x3 at (41): (4,3) = 6 inconsistent with (6,1) = 6, (4,3) now [8,7,5,1,9] 24. 3x3 at (41): (4,3) = 8 inconsistent with (5,2) = 8, (4,3) now [7,5,1,9] 25. 3x3 at (44): (4,4) = 4 inconsistent with (5,5) = 4, (4,4) now [8,7,1,9] 26. 3x3 at (44): (4,5) = 5 inconsistent with (6,4) = 5, (4,5) now [6,7,9] 27. 3x3 at (47): (4,7) = 1 inconsistent with (5,8) = 1, (4,7) now [4,5,8,6,9] 28. 3x3 at (41): (5,3) = 6 inconsistent with (6,1) = 6, (5,3) now [5,2,3,7,9] 29. 3x3 at (44): (5,4) = 3 inconsistent with (4,6) = 3, (5,4) now [2,7,9] 30. 3x3 at (44): (5,6) = 5 inconsistent with (6,4) = 5, (5,6) now [6,2,7] 31. 3x3 at (47): (5,7) = 2 inconsistent with (4,9) = 2, (5,7) now [5,3,9,6] 32. 3x3 at (41): (6,3) = 8 inconsistent with (5,2) = 8, (6,3) now [2,7,1,3,9] 33. 3x3 at (44): (6,5) = 3 inconsistent with (4,6) = 3, (6,5) now [2,7,9] 34. 3x3 at (44): (6,6) = 4 inconsistent with (5,5) = 4, (6,6) now [8,1,2,7] 35. 3x3 at (47): (6,7) = 1 inconsistent with (5,8) = 1, (6,7) now [4,3,9,8,2] 36. 3x3 at (47): (6,7) = 2 inconsistent with (4,9) = 2, (6,7) now [4,3,9,8] 37. 3x3 at (47): (6,8) = 2 inconsistent with (4,9) = 2, (6,8) now [7,3,9] 38. 3x3 at (47): (6,9) = 1 inconsistent with (5,8) = 1, (6,9) now [4,8,7,9] 39. 3x3 at (71): (7,2) = 5 inconsistent with (8,1) = 5, (7,2) now [6,4,3,9] 40. 3x3 at (71): (7,3) = 5 inconsistent with (8,1) = 5, (7,3) now [2,6,3,9] 41. 3x3 at (74): (7,4) = 9 inconsistent with (8,6) = 9, (7,4) now [4,2,3] 42. 3x3 at (77): (7,9) = 4 inconsistent with (9,8) = 4, (7,9) now [9,5,6] 43. 3x3 at (74): (8,4) = 1 inconsistent with (7,5) = 1, (8,4) now [4,8,7,2,3] 44. 3x3 at (77): (8,7) = 4 inconsistent with (9,8) = 4, (8,7) now [1,8,6,2,3] 45. 3x3 at (77): (8,7) = 8 inconsistent with (7,8) = 8, (8,7) now [1,6,2,3] 46. 3x3 at (77): (8,8) = 7 inconsistent with (7,7) = 7, (8,8) now [6,2,3] 47. 3x3 at (77): (8,9) = 4 inconsistent with (9,8) = 4, (8,9) now [8,7,1,6] 48. 3x3 at (77): (8,9) = 8 inconsistent with (7,8) = 8, (8,9) now [7,1,6] 49. 3x3 at (77): (8,9) = 7 inconsistent with (7,7) = 7, (8,9) now [1,6] 50. 3x3 at (71): (9,2) = 5 inconsistent with (8,1) = 5, (9,2) now [6,9,1,3] 51. 3x3 at (71): (9,3) = 5 inconsistent with (8,1) = 5, (9,3) now [8,7,2,6,9,1,3] 52. 3x3 at (74): (9,4) = 9 inconsistent with (8,6) = 9, (9,4) now [8,7,2,1,3] 53. 3x3 at (74): (9,4) = 1 inconsistent with (7,5) = 1, (9,4) now [8,7,2,3] 54. 3x3 at (74): (9,5) = 9 inconsistent with (8,6) = 9, (9,5) now [5,6,7,2,3] 55. 3x3 at (74): (9,6) = 1 inconsistent with (7,5) = 1, (9,6) now [8,5,6,7,2] 56. 3x3 at (77): (9,7) = 8 inconsistent with (7,8) = 8, (9,7) now [9,1,3,5,6,2] 57. 3x3 at (77): (9,9) = 8 inconsistent with (7,8) = 8, (9,9) now [7,9,1,5,6] 58. (1,9) = 1, column insufficiency for [(3,[6,9,5]),(5,[7,9,5,6]),(7,[9,5,6]),(8,[6]),(9,[7,9,5,6])] wrt [6], (1,9) now [8,4,7,6,9,5] 59. 3x3 at (77): (9,9) = 7 inconsistent with (7,7) = 7, (9,9) now [9,1,5,6] 60. 3x3 at (11): [(3,1,[9,1,3]),(2,3,[5,8,9,1]),(2,2,[5,9,1]),(2,1,[9,8,1]),(1,1,[9,8,1,3])] cover values [8,5,3,1,9], must truncate [(1,3,[5,8,6,9,1,3])] 61. column 9: [(9,[6,5,1,9]),(8,[1,6]),(7,[9,5,6]),(3,[9,1,5,6])] cover values [9,1,5,6], must truncate [(1,[4,8,7,9,5,6]),(5,[7,9,5,6]),(6,[7,8,4,9])] 62. (1,7) = 6 inconsistent with (1,3) = 6, (1,7) now [8,9,4,1,5] 63. (1,8) = 6 inconsistent with (1,3) = 6, (1,8) now [7,9,5] 64. (1,9) = 7 inconsistent with (5,9) = 7, (1,9) now [8,4] 65. 3x3 at (47): (4,8) = 7 inconsistent with (5,9) = 7, (4,8) now [5,6,9] 66. (5,1) = 7 inconsistent with (5,9) = 7, (5,1) now [2,3,9] 67. (5,3) = 7 inconsistent with (5,9) = 7, (5,3) now [5,2,3,9] 68. (5,4) = 7 inconsistent with (5,9) = 7, (5,4) now [2,9] 69. (5,6) = 7 inconsistent with (5,9) = 7, (5,6) now [6,2] 70. 3x3 at (47): (6,8) = 7 inconsistent with (5,9) = 7, (6,8) now [3,9] 71. (6,9) = 7 inconsistent with (5,9) = 7, (6,9) now [4,8] 72. (7,3) = 6 inconsistent with (1,3) = 6, (7,3) now [2,3,9] 73. (8,3) = 6 inconsistent with (1,3) = 6, (8,3) now [8,7,2,1,3] 74. (9,3) = 6 inconsistent with (1,3) = 6, (9,3) now [8,7,2,9,1,3] 75. (4,4) = 9 results in inconsistency (4,5) = 7 = (6,5) ... in 3x3 at (41): 2 occurs uniquely, (6,3) = [2,3,7,9,1] now 2 76. (6,6) = 2 results in inconsistency (4,5) = 7 = (6,5) ... in 3x3 at (44): 8 occurs uniquely, (4,4) = [8,1,7] now 8 77. (6,3) = 9 results in inconsistency (4,5) = 6 = (5,6) ... row 6: 2 occurs uniquely, (6,5) = [2,7] now 2 ... row 6: 7 occurs uniquely, (6,6) = [8,7,1] now 7 78. (6,5) = 9 results in inconsistency (4,5) = 6 = (5,6) ... row 6: 2 occurs uniquely, (6,3) = [1,2,7] now 2 ... row 6: 7 occurs uniquely, (6,6) = [8,1,7] now 7 79. (1,5) = 7 results in inconsistency (4,5) = 6 = (5,6) ... in 3x3 at (17): 7 occurs uniquely, (2,8) = [7,5,9,2] now 7 80. (2,5) = 7 results in inconsistency (4,5) = 6 = (5,6) ... in 3x3 at (17): 7 occurs uniquely, (1,8) = [5,9,7] now 7 81. (4,4) = 7 results in inconsistency (4,5) = 6 = (5,6) ... in 3x3 at (41): 7 occurs uniquely, (6,3) = [3,7,1] now 7 82. (6,6) = 7 results in inconsistency (4,5) = 6 = (5,6) ... in 3x3 at (14): 7 occurs uniquely, (1,4) = [7,3,4,9,1] now 7 83. row 6: [(9,[8,4]),(8,[9,3]),(7,[4,8,9,3]),(6,[1,8]),(2,[4,9,1,3])] cover values [1,3,9,4,8], must truncate [(3,[7,2,1,3])] 84. Contradiction: (9,5) = 7 leads to no possible value for (6,3) ... in 3x3 at (71): 7 occurs uniquely, (8,3) = [8,2,7,3,1] now 7 ... in 3x3 at (41): 2 occurs uniquely, (6,3) = [2,7] now 2 ... in 3x3 at (44): 9 occurs uniquely, (4,5) = [9,6,7] now 9 ... row 3: 3 occurs uniquely, (3,4) = [3,1,9] now 3 ... in 3x3 at (14): 9 occurs uniquely, (1,4) = [1,4,9,7] now 9 ... column 4: 1 occurs uniquely, (4,4) = [8,1] now 1 ... in 3x3 at (41): 1 occurs uniquely, (6,2) = [4,1] now 1 ... in 3x3 at (71): 4 occurs uniquely, (8,2) = [6,4] now 4 ... in 3x3 at (41): 4 occurs uniquely, (4,1) = [4,7] now 4 ... in 3x3 at (41): 7 occurs uniquely, (4,3) = [7,5] now 7 ... in 3x3 at (71): 7 occurs uniquely, (9,1) = [7,2,1,8,9] now 7 85. (5,3) = 9, results in column insufficiency for [(2,[9]),(7,[6,9]),(9,[6,9])] wrt [9] in column 2 ... in 3x3 at (41): 2 occurs uniquely, (6,3) = [2,7] now 2 ... in 3x3 at (44): 9 occurs uniquely, (4,5) = [6,9,7] now 9 ... in 3x3 at (41): 9 occurs uniquely, (6,2) = [4,1,9] now 9 ... row 3: 3 occurs uniquely, (3,4) = [3,1,9] now 3 ... in 3x3 at (14): 9 occurs uniquely, (1,4) = [1,4,7,9] now 9 ... in 3x3 at (11): 5 occurs uniquely, (2,2) = [5,1] now 5 ... in 3x3 at (71): 4 occurs uniquely, (8,2) = [6,1,4,3] now 4 ... in 3x3 at (41): 4 occurs uniquely, (4,1) = [1,4,7] now 4 ... in 3x3 at (41): 7 occurs uniquely, (4,3) = [1,7] now 7 86. (5,7) = 9, results in column insufficiency for [(4,[8]),(8,[7,8]),(9,[8,7])] wrt [8] in column 4 87. (8,5) = 7 results in inconsistency (4,5) = 6 = (5,6) ... column 4: 7 occurs uniquely, (1,4) = [1,4,7,9,3] now 7 ... in 3x3 at (17): 7 occurs uniquely, (2,8) = [7,2,9,5] now 7 88. (8,2) = 1, row insufficiency for [(5,[3,6,2]),(7,[2,3,6]),(8,[2,3,6]),(9,[6])] wrt [6], (8,2) now [6,4,3] 89. (8,3) = 1, row insufficiency for [(2,[3,4,6]),(5,[2,6,3]),(7,[2,6,3]),(8,[2,6,3]),(9,[6])] wrt [6], (8,3) now [8,7,2,3] 90. row 8: [(9,[1,6]),(8,[3,2,6]),(7,[3,2,1,6]),(5,[3,6,2])] cover values [2,3,6,1], must truncate [(2,[4,6,3]),(3,[8,7,2,3]),(4,[4,3,8,7,2])] 91. (4,2) = 4 inconsistent with (8,2) = 4, (4,2) now [5,1,9] 92. (6,2) = 4 inconsistent with (8,2) = 4, (6,2) now [1,9,3] 93. 3x3 at (71): (7,1) = 4 inconsistent with (8,2) = 4, (7,1) now [2,3,9] 94. (7,2) = 4 inconsistent with (8,2) = 4, (7,2) now [6,3,9] 95. (8,4) = 4 inconsistent with (8,2) = 4, (8,4) now [8,7] 96. 3x3 at (41): [(6,3,[2,7]),(6,2,[1,3,9]),(5,3,[5,2,3]),(5,1,[2,3,9]),(4,3,[5,7,1,9]),(4,2,[5,1,9])] cover values [5,9,3,1,7,2], must truncate [(4,1,[4,1,9,7])] 97. (4,7) = 4 inconsistent with (4,1) = 4, (4,7) now [5,8,6,9] 98. column 1: 7 occurs uniquely, (9,1) = [8,7,3,2,1,9] now 7 99. (2,3) = 8 inconsistent with (8,3) = 8, (2,3) now [5,1,9] 100. (8,4) = 8 inconsistent with (8,3) = 8, (8,4) now [7] 101. (1,4) = 7 inconsistent with (8,4) = 7, (1,4) now [4,1,3,9] 102. (9,3) = 8 inconsistent with (8,3) = 8, (9,3) now [2,1,3,9] 103. (5,7) = 6 results in inconsistency (2,1) = 1 = (3,1) ... in 3x3 at (41): 2 occurs uniquely, (6,3) = [2,7] now 2 ... in 3x3 at (41): 7 occurs uniquely, (4,3) = [7,1,5,9] now 7 ... in 3x3 at (71): 2 occurs uniquely, (7,1) = [2,9] now 2 ... row 3: 3 occurs uniquely, (3,4) = [3,1,2] now 3 ... in 3x3 at (11): 5 occurs uniquely, (2,2) = [5,1,9] now 5 ... in 3x3 at (14): 2 occurs uniquely, (2,5) = [2,9] now 2 ... in 3x3 at (14): 9 occurs uniquely, (1,5) = [5,9] now 9 ... in 3x3 at (44): 1 occurs uniquely, (6,6) = [1,8] now 1 ... in 3x3 at (41): 1 occurs uniquely, (4,2) = [1,9] now 1 ... in 3x3 at (71): 1 occurs uniquely, (9,3) = [9,1,3] now 1 ... in 3x3 at (17): 8 occurs uniquely, (2,7) = [4,1,8,9] now 8 ... in 3x3 at (47): 8 occurs uniquely, (6,9) = [4,8] now 8 ... row/column uniqueness of 8 means (9,6) must be 8 ... in 3x3 at (47): 4 occurs uniquely, (6,7) = [4,3] now 4 ... 3 must be in (9,7), other possibilities [(1,3),(1,7),(9,3),(9,7)] are not possible 104. row 5: [(7,[3,5]),(4,[9,2]),(3,[5,2,3]),(1,[2,3,9])] cover values [2,9,5,3], must truncate [(6,[6,2])] 105. 3x3 at (44): (4,5) = 6 inconsistent with (5,6) = 6, (4,5) now [7,9] 106. (7,6) = 6 inconsistent with (5,6) = 6, (7,6) now [5,4,2] 107. (9,6) = 6 inconsistent with (5,6) = 6, (9,6) now [8,5,2] 108. (1,7) = 5 results in inconsistency (5,1) = 2 = (7,1) ... in 3x3 at (41): 3 occurs uniquely, (6,2) = [3,9,1] now 3 ... in 3x3 at (47): 5 occurs uniquely, (4,8) = [6,5] now 5 ... in 3x3 at (14): 7 occurs uniquely, (2,6) = [4,7,1,2,5] now 7 ... in 3x3 at (41): 5 occurs uniquely, (5,3) = [2,5] now 5 ... in 3x3 at (11): 5 occurs uniquely, (2,2) = [1,9,5] now 5 ... in 3x3 at (14): 5 occurs uniquely, (3,6) = [2,5,1] now 5 ... row/column uniqueness of 7 means (6,3) must be 7 ... in 3x3 at (14): 2 occurs uniquely, (3,4) = [2,3,1] now 2 ... in 3x3 at (11): 3 occurs uniquely, (3,1) = [3,9] now 3 ... in 3x3 at (11): 9 occurs uniquely, (1,1) = [9,8] now 9 109. (1,6) = 1 results in inconsistency (5,1) = 2 = (7,1) ... in 3x3 at (14): 7 occurs uniquely, (2,6) = [7,4,2,5] now 7 ... in 3x3 at (14): 4 occurs uniquely, (1,4) = [3,9,4] now 4 ... in 3x3 at (17): 7 occurs uniquely, (1,8) = [5,9,7] now 7 ... in 3x3 at (11): 8 occurs uniquely, (2,1) = [8,1,9] now 8 ... in 3x3 at (17): 4 occurs uniquely, (2,7) = [4,1,2,5] now 4 ... row/column uniqueness of 4 means (7,6) must be 4 ... in 3x3 at (14): 3 occurs uniquely, (3,4) = [2,3,9] now 3 ... in 3x3 at (14): 9 occurs uniquely, (2,5) = [9,2] now 9 ... row/column uniqueness of 7 means (6,3) must be 7 ... in 3x3 at (11): 9 occurs uniquely, (3,1) = [1,9] now 9 ... in 3x3 at (41): 3 occurs uniquely, (6,2) = [3,9,1] now 3 ... in 3x3 at (47): 5 occurs uniquely, (4,8) = [6,5] now 5 ... in 3x3 at (14): 7 occurs uniquely, (2,6) = [7,4,1,2] now 7 110. (2,7) = 5, results in row insufficiency for [(1,[1,8,9]),(2,[1,9]),(3,[1,9]),(5,[9])] wrt [9] in row 2 ... in 3x3 at (17): 7 occurs uniquely, (1,8) = [7,5] now 7 ... in 3x3 at (14): 7 occurs uniquely, (2,6) = [4,1,2,7,5] now 7 ... row 2: 4 occurs uniquely, (2,7) = [2,8,1,4] now 4 ... in 3x3 at (17): 2 occurs uniquely, (3,7) = [6,1,2] now 2 ... in 3x3 at (11): 8 occurs uniquely, (2,1) = [1,8] now 8 ... in 3x3 at (14): 2 occurs uniquely, (2,5) = [2,5] now 2 ... row/column uniqueness of 7 means (4,3) must be 7 111. (2,8) = 9, results in column insufficiency for [(1,[3,9]),(3,[3,9]),(5,[2,9,3]),(7,[2,9,3])] wrt [3,9] in column 1 ... in 3x3 at (41): 3 occurs uniquely, (6,2) = [1,3,9] now 3 ... in 3x3 at (47): 5 occurs uniquely, (4,8) = [6,5] now 5 ... in 3x3 at (14): 7 occurs uniquely, (2,6) = [4,7,5,2,1] now 7 ... in 3x3 at (41): 5 occurs uniquely, (5,3) = [5,2] now 5 ... in 3x3 at (11): 5 occurs uniquely, (2,2) = [5,9,1] now 5 ... in 3x3 at (47): 6 occurs uniquely, (4,7) = [8,6] now 6 ... row/column uniqueness of 7 means (6,3) must be 7 ... in 3x3 at (41): 1 occurs uniquely, (4,2) = [9,1] now 1 ... in 3x3 at (41): 2 occurs uniquely, (5,1) = [9,2] now 2 112. (3,7) = 5, results in column insufficiency for [(1,[9,3]),(3,[3,9]),(7,[9,3])] wrt [9,3] in column 1 ... in 3x3 at (41): 7 occurs uniquely, (6,3) = [2,7] now 7 ... in 3x3 at (44): 7 occurs uniquely, (4,5) = [9,7] now 7 ... in 3x3 at (71): 1 occurs uniquely, (9,2) = [3,6,9,1] now 1 113. (4,3) = 1, results in row insufficiency for [(2,[5,9]),(3,[5,9]),(5,[5,9])] wrt [5,9] in row 2 114. Contradiction: (4,2) = 9 leads to no possible value for (2,3) ... in 3x3 at (41): 1 occurs uniquely, (6,2) = [1,3] now 1 ... in 3x3 at (41): 7 occurs uniquely, (6,3) = [2,7] now 7 ... in 3x3 at (44): 1 occurs uniquely, (4,4) = [1,8] now 1 ... in 3x3 at (47): 8 occurs uniquely, (4,7) = [8,6] now 8 ... in 3x3 at (17): 8 occurs uniquely, (1,9) = [8,4] now 8 ... in 3x3 at (11): 8 occurs uniquely, (2,1) = [8,1,9] now 8 ... row/column uniqueness of 8 means (9,4) must be 8 ... in 3x3 at (47): 5 occurs uniquely, (5,7) = [5,3] now 5 ... in 3x3 at (71): 1 occurs uniquely, (9,3) = [3,1,9,2] now 1 115. (2,2) = 5 results in inconsistency (5,1) = 9 = (7,1) ... in 3x3 at (44): 1 occurs uniquely, (6,6) = [1,8] now 1 ... in 3x3 at (71): 1 occurs uniquely, (9,3) = [3,1,9,2] now 1 ... in 3x3 at (74): 8 occurs uniquely, (9,6) = [8,2,5] now 8 ... in 3x3 at (44): 2 occurs uniquely, (5,4) = [9,2] now 2 ... in 3x3 at (14): 7 occurs uniquely, (1,6) = [7,4,5] now 7 ... row/column uniqueness of 7 means (4,3) must be 7 ... in 3x3 at (17): 5 occurs uniquely, (1,8) = [9,5] now 5 ... in 3x3 at (14): 3 occurs uniquely, (1,5) = [9,3] now 3 ... in 3x3 at (11): 3 occurs uniquely, (3,1) = [3,1] now 3 ... in 3x3 at (41): 5 occurs uniquely, (5,3) = [3,5] now 5 ... in 3x3 at (41): 3 occurs uniquely, (6,2) = [9,3] now 3 ... row/column uniqueness of 3 means (8,8) must be 3 116. (4,2) = 1, column insufficiency for [(2,[9]),(6,[3,9]),(7,[6,3,9]),(9,[6,3,9])] wrt [9], (4,2) now [5] 117. (4,3) = 5 inconsistent with (4,2) = 5, (4,3) now [7,9] 118. (4,7) = 5 inconsistent with (4,2) = 5, (4,7) now [6,8,9] 119. (4,7) = 9, row insufficiency (4,3) = (4,5) = 7, (4,7) now [6,8] 120. (4,8) = 5 inconsistent with (4,2) = 5, (4,8) now [9,6] 121. (4,7) = 6, row insufficiency for [(3,[7,9]),(5,[9,7]),(8,[9])] wrt [9], (4,7) now [8] 122. (1,7) = 8 inconsistent with (4,7) = 8, (1,7) now [1,9,4] 123. (2,7) = 8 inconsistent with (4,7) = 8, (2,7) now [9,4,1,2] 124. (4,4) = 8 inconsistent with (4,7) = 8, (4,4) now [1] 125. (1,4) = 1 inconsistent with (4,4) = 1, (1,4) now [4,3,9] 126. (3,4) = 1 inconsistent with (4,4) = 1, (3,4) now [2,3,9] 127. (4,8) = 9, row insufficiency (4,3) = (4,5) = 7, (4,8) now [6] 128. (3,8) = 6 inconsistent with (4,8) = 6, (3,8) now [5,9,2] 129. 3x3 at (41): (5,3) = 5 inconsistent with (4,2) = 5, (5,3) now [2,3] 130. (5,7) = 3, row insufficiency for [(1,[9,2]),(3,[2]),(4,[2,9])] wrt [2], (5,7) now [5] 131. 3x3 at (44): (6,6) = 1 inconsistent with (4,4) = 1, (6,6) now [8] 132. (6,7) = 8 inconsistent with (6,6) = 8, (6,7) now [4,9,3] 133. (6,7) = 4, row insufficiency (6,6) = (6,9) = 8, (6,7) now [9,3] 134. (6,2) = 9, row insufficiency (6,7) = (6,8) = 3, (6,2) now [1,3] 135. (6,2) = 3, row insufficiency (6,7) = (6,8) = 9, (6,2) now [1] 136. (2,2) = 1 inconsistent with (6,2) = 1, (2,2) now [9] 137. 3x3 at (11): (1,1) = 9 inconsistent with (2,2) = 9, (1,1) now [3,8,1] 138. (2,1) = 9 inconsistent with (2,2) = 9, (2,1) now [8,1] 139. (2,3) = 9 inconsistent with (2,2) = 9, (2,3) now [5,1] 140. (2,5) = 9 inconsistent with (2,2) = 9, (2,5) now [2,5] 141. (2,7) = 9 inconsistent with (2,2) = 9, (2,7) now [4,1,2] 142. 3x3 at (11): (3,1) = 9 inconsistent with (2,2) = 9, (3,1) now [3,1] 143. (5,1) = 3, column insufficiency for [(1,[8,1]),(2,[8,1]),(3,[1])] wrt [1], (5,1) now [2,9] 144. (5,3) = 2, row insufficiency (5,1) = (5,4) = 9, (5,3) now [3] 145. (6,9) = 8 inconsistent with (6,6) = 8, (6,9) now [4] 146. (1,9) = 4 inconsistent with (6,9) = 4, (1,9) now [8] 147. (1,1) = 8 inconsistent with (1,9) = 8, (1,1) now [3,1] 148. (2,1) = 1, column insufficiency (1,1) = (3,1) = 3, (2,1) now [8] 149. 3x3 at (11): (2,3) = 1, insufficiency [(1,1,[3]),(3,1,[3])] wrt [3], (2,3) now [5] 150. (2,5) = 5 inconsistent with (2,3) = 5, (2,5) now [2] 151. (2,6) = 2 inconsistent with (2,5) = 2, (2,6) now [1,7,4,5] 152. (2,6) = 5 inconsistent with (2,3) = 5, (2,6) now [1,7,4] 153. (2,7) = 2 inconsistent with (2,5) = 2, (2,7) now [1,4] 154. (2,8) = 2 inconsistent with (2,5) = 2, (2,8) now [5,7] 155. (2,6) = 7, row insufficiency (2,3) = (2,8) = 5, (2,6) now [1,4] 156. (2,8) = 5 inconsistent with (2,3) = 5, (2,8) now [7] 157. (1,8) = 7 inconsistent with (2,8) = 7, (1,8) now [5,9] 158. 3x3 at (14): (3,4) = 2 inconsistent with (2,5) = 2, (3,4) now [9,3] 159. 3x3 at (14): (3,6) = 2 inconsistent with (2,5) = 2, (3,6) now [5,1] 160. (4,5) = 7, column insufficiency (2,5) = (6,5) = 2, (4,5) now [9] 161. (1,5) = 9 inconsistent with (4,5) = 9, (1,5) now [5,3] 162. (4,3) = 9 inconsistent with (4,5) = 9, (4,3) now [7] 163. 3x3 at (41): (5,1) = 2, insufficiency [(4,3,[7]),(6,3,[7])] wrt [7], (5,1) now [9] 164. (5,4) = 9 inconsistent with (5,1) = 9, (5,4) now [2] 165. (6,3) = 7 inconsistent with (4,3) = 7, (6,3) now [2] 166. (6,5) = 2 inconsistent with (6,3) = 2, (6,5) now [7] 167. (7,1) = 9 inconsistent with (5,1) = 9, (7,1) now [2,3] 168. (7,1) = 3, column insufficiency (1,1) = (3,1) = 1, (7,1) now [2] 169. (7,2) = 9 inconsistent with (2,2) = 9, (7,2) now [6,3] 170. (7,3) = 2 inconsistent with (7,1) = 2, (7,3) now [9,3] 171. (7,3) = 3 inconsistent with (5,3) = 3, (7,3) now [9] 172. (7,4) = 2 inconsistent with (7,1) = 2, (7,4) now [4,3] 173. (7,6) = 2 inconsistent with (7,1) = 2, (7,6) now [5,4] 174. (7,9) = 9 inconsistent with (7,3) = 9, (7,9) now [6,5] 175. (8,5) = 2 inconsistent with (2,5) = 2, (8,5) now [6,3] 176. (8,8) = 6 inconsistent with (4,8) = 6, (8,8) now [2,3] 177. (9,2) = 1 inconsistent with (6,2) = 1, (9,2) now [9,3,6] 178. (9,2) = 9 inconsistent with (2,2) = 9, (9,2) now [3,6] 179. (9,3) = 2 inconsistent with (6,3) = 2, (9,3) now [1,9,3] 180. (9,3) = 9 inconsistent with (7,3) = 9, (9,3) now [1,3] 181. (9,3) = 3 inconsistent with (5,3) = 3, (9,3) now [1] 182. (9,4) = 2 inconsistent with (5,4) = 2, (9,4) now [8,3] 183. (9,5) = 2 inconsistent with (2,5) = 2, (9,5) now [5,6,3] 184. (9,6) = 8 inconsistent with (6,6) = 8, (9,6) now [2,5] 185. (9,7) = 1 inconsistent with (9,3) = 1, (9,7) now [9,6,3,2,5] 186. (9,7) = 5 inconsistent with (5,7) = 5, (9,7) now [9,6,3,2] 187. (9,9) = 1 inconsistent with (9,3) = 1, (9,9) now [5,9,6] 188. 3x3 at (14): [(3,6,[1,5]),(3,4,[9,3]),(2,6,[1,4]),(1,5,[5,3]),(1,4,[9,4,3])] cover values [4,3,9,5,1], must truncate [(1,6,[7,4,5])] 189. 3x3 at (74): [(9,6,[2,5]),(9,5,[3,5,6]),(8,5,[6,3]),(7,6,[4,5]),(7,4,[4,3])] cover values [4,6,3,5,2], must truncate [(9,4,[8,3])] 190. in 3x3 at (74): 2 occurs uniquely, (9,6) = [2,5] now 2 191. (1,1) = 3 results in inconsistency (3,1) = 1 = (3,6) 192. (1,7) = 1 inconsistent with (1,1) = 1, (1,7) now [4,9] 193. (3,1) = 1 inconsistent with (1,1) = 1, (3,1) now [3] 194. (3,4) = 3 inconsistent with (3,1) = 3, (3,4) now [9] 195. (1,4) = 9 inconsistent with (3,4) = 9, (1,4) now [4,3] 196. (3,7) = 9 inconsistent with (3,4) = 9, (3,7) now [2,6,1] 197. (3,8) = 9 inconsistent with (3,4) = 9, (3,8) now [5,2] 198. (3,9) = 9 inconsistent with (3,4) = 9, (3,9) now [6,1,5] 199. (9,9) = 5, column insufficiency for [(3,[1,6]),(7,[6]),(8,[1,6])] wrt [6], (9,9) now [9,6] 200. (9,5) = 3, row insufficiency for [(2,[6]),(7,[9,6]),(9,[9,6])] wrt [6], (9,5) now [5,6] 201. 3x3 at (77): [(9,9,[6,9]),(9,7,[3,9,6]),(8,9,[1,6]),(8,8,[2,3]),(8,7,[2,1,3,6])] cover values [2,1,3,9,6], must truncate [(7,9,[5,6])] 202. row 9: [(9,[6,9]),(7,[3,9,6]),(2,[3,6])] cover values [3,9,6], must truncate [(5,[5,6])] 203. (1,5) = 5 inconsistent with (9,5) = 5, (1,5) now [3] 204. (1,4) = 3 inconsistent with (1,5) = 3, (1,4) now [4] 205. (1,7) = 4 inconsistent with (1,4) = 4, (1,7) now [9] 206. (1,8) = 9 inconsistent with (1,7) = 9, (1,8) now [5] 207. 3x3 at (14): (2,6) = 4 inconsistent with (1,4) = 4, (2,6) now [1] 208. (2,7) = 1 inconsistent with (2,6) = 1, (2,7) now [4] 209. (3,6) = 1 inconsistent with (2,6) = 1, (3,6) now [5] 210. (3,7) = 2, row insufficiency (3,6) = (3,8) = 5, (3,7) now [6,1] 211. (3,7) = 6, column insufficiency for [(1,[9]),(6,[3,9]),(9,[3,9])] wrt [9], (3,7) now [1] 212. (3,8) = 5 inconsistent with (3,6) = 5, (3,8) now [2] 213. (3,9) = 1 inconsistent with (3,7) = 1, (3,9) now [6,5] 214. (3,9) = 5 inconsistent with (3,6) = 5, (3,9) now [6] 215. (6,7) = 9 inconsistent with (1,7) = 9, (6,7) now [3] 216. (6,8) = 3 inconsistent with (6,7) = 3, (6,8) now [9] 217. (7,4) = 4 inconsistent with (1,4) = 4, (7,4) now [3] 218. (7,2) = 3 inconsistent with (7,4) = 3, (7,2) now [6] 219. (7,6) = 5 inconsistent with (7,9) = 5, (7,6) now [4] 220. (8,5) = 3 inconsistent with (1,5) = 3, (8,5) now [6] 221. (8,7) = 1 inconsistent with (3,7) = 1, (8,7) now [2,6,3] 222. (8,7) = 6 inconsistent with (8,5) = 6, (8,7) now [2,3] 223. (8,7) = 3 inconsistent with (6,7) = 3, (8,7) now [2] 224. (8,8) = 2 inconsistent with (8,7) = 2, (8,8) now [3] 225. (8,9) = 6 inconsistent with (8,5) = 6, (8,9) now [1] 226. (9,2) = 6 inconsistent with (7,2) = 6, (9,2) now [3] 227. (9,7) = 9 inconsistent with (1,7) = 9, (9,7) now [3,6] 228. (9,7) = 3 inconsistent with (9,2) = 3, (9,7) now [6] 229. (9,9) = 6 inconsistent with (9,7) = 6, (9,9) now [9]