Prelims
a) R12C1 = {29/38/47/56}, no 1
b) R12C2 = {16/25/34}, no 7,8,9
c) R1C78 = {79}
d) R23C8 = {18/27/36/45}, no 9
e) R3C23 = {49/58/67}, no 1,2,3
f) R5C67 = {14/23}
g) R5C89 = {19/28/37/46}, no 5
h) R7C23 = {18/27/36/45}, no 9
i) R78C8 = {29/38/47/56}, no 1
j) R8C12 = {14/23}
k) R9C12 = {18/27/36/45}, no 9
l) R9C78 = {18/27/36/45}, no 9
m) 30(4) cage at R2C3 = {6789}
1. Naked pair {79} in R1C78, locked for R1 and N3, clean-up: no 2,4 in R2C1, no 2 in R23C8
2. 45 rule on N3 2 innies R23C7 = 7, no 8 in R23C7
3. 45 rule on N9 2 innies R78C7 = 9, no 9 in R78C7
4. 45 rule on C789 3 innies R258C7 = 8 = {125/134}, 1 locked for C7, clean-up: no 8 in R9C8
4a. R2C7 = 1 (R25C7 and R28C7 cannot total 7, which would clash with R23C7 = 7, CCC), R3C7 = 6 (step 2), clean-up: no 6 in R1C2, no 3,8 in R23C8, no 7 in R3C23, no 4 in R5C6, no 2,3,8 in R7C7, no 3 in R8C7 (both step 3), no 3 in R9C8
4b. Naked pair {45} in R23C8, locked for C8 and N3, clean-up: no 6 in R5C9, no 6,7 in R78C8, no 4,5 in R9C7
4c. Naked triple {238} in 13(3) cage at R1C9, locked for C9, clean-up: no 2,7,8 in R5C8
4d. Killer pair {45} in R3C23 and R3C8, locked for R3
4e. R2C7 = 1 -> R12C6 = 11 = [29/47]/{38/56}, no 2,4 in R2C6
4f. Max R8C7 = 5 -> min R78C6 = 12, no 1,2 in R89C6
4g. 4 in N2 only in R1C456 + R2C5, CPE no 4 in R1C3
[Note. 45 rule on C1 2 outies R46C2 = 2 innies R89C1.
If these don’t total 11, then they must be the same pair of numbers. However if they total 11 then R46C2 must contain either the pair of numbers in R12C1 or the pair of numbers in R89C1. At this stage I can’t see how to use this, so it’s only a note.]
5. 45 rule on C12 3 innies R357C2 = 24 = {789}, locked for C2, clean-up: no 8,9 in R3C3, R7C3 = {12}, no 1,2 in R9C1
5a. Killer pair 1,2 in R7C3 and R8C12, locked for N7, clean-up: no 7,8 in R9C1
5b. Killer pair 3,4 in R8C12 and R9C12, locked for N7
[Now to follow up on the earlier note …]
6. 45 rule on C1 2 outies R46C2 = 2 innies R89C1
6a. 34(7) cage is missing two numbers totalling 11, these must be in R12C1 (since R89C1 cannot total 11), no other numbers are missing from the 34(7) cage -> R46C2 and R89C1 must contain the same pair of numbers
6b. 3,4 in N7 only in R89C12 -> 3,4 must be in R4689C2, locked for C2
6c. R12C1 = [29/38/47/83] (cannot be {56} which clashes with R12C2), no 5,6 in R12C1
[Note. An alternative way to eliminate 5,6 from R12C1, without using step 6a, is
R12C1 cannot be {56} which clashes with R12C2 + R3C3, killer ALS block,
but this doesn’t make any eliminations from R12C2.]
7. 45 rule on N1 3 innies R12C3 + R3C1 = 14
7a. Min R2C3 = 6 -> max R1C3 + R3C1 = 8, no 8,9 in R1C3 + R3C1
7b. R12C3 + R3C1 = 14 = {149/167/239/257/347} (cannot be {158/356} which clash with R12C2, cannot be {248} which clashes with R3C23), no 8 in R2C3
7c. Naked quad {6789} in 30(4) cage at R2C3, 8 locked for C4
8. 45 rule on C9 2 innies R46C9 = 1 outie R5C8, IOU no 6 in R6C9
9. 6 in C9 only in 16(3) cage at R7C9 = {169} (only remaining combination), locked for C9 and N9, clean-up: no 1,9 in R5C8, no 2 in R78C8, no 3,8 in R9C7
9a. Naked pair {38} in R78C8, locked for C8 -> R5C8 = 6, R5C9 = 4, clean-up: no 1 in R5C6
9b. Naked pair {23} in R5C67, locked for R5
9c. Naked pair {27} in R9C78, locked for R9 and N9
9d. Naked pair {57} in R46C9, locked for N6
9e. 8 in R9 only in R9C356, CPE no 8 in R7C6 + R8C5
10. R3C7 = 6 -> R4C789 = 16 = {178/259} (cannot be {358} because 3,8 only in R4C7), no 3 in R4C7
10a. 21(4) cage at R6C7 = {1578/3459} (cannot be {1389/2379} because R7C7 only contains 4,5, cannot be {1479/2478} which clash with R4C789), no 2
10b. 3,8 only in R6C7 -> R6C7 = {38}
11. 45 rule on N4 3(2+1) outies R37C1 + R5C4 = 13
11a. Min R37C1 = 6 -> max R5C4 = 7
[Alternatively 45 rule on C123 4 innies R1289C3 = 1 outie R5C4 + 23, max R1289C3 = 30 -> max R5C7 = 7.]
11b. R3C1 + R5C4 cannot total 5 -> no 8 in R7C1
12. 30(5) cage at R7C6 = {15789/24789/25689/34689/35679/45678}
12a. 17(3) cage at R8C6 = {359/458} (cannot be {368} because R8C7 only contains 4,5, cannot be {467} which clashes with 30(5) cage), no 6,7
12b. 17(3) cage = {359/458}, CPE no 5 in R8C45
12c. R12C6 (step 4e) = [29/47/56/65] (cannot be {38} which clashes with 17(3) cage), no 3,8 in R12C6
13. Killer quad 6,7,8,9 in R12C6, R23C4 and 21(5) cage at R1C3 (must contain at least one of 7,8,9 in N2 and may contain 6 in R1C3), locked for N2
13a. 21(5) cage at R1C3 = {12459/12468/13458/13467/23457} (cannot be {12369} = 6{1239} which clashes with R3C5, cannot be {12378} which contains both of 7,8 in N2, cannot be {12567} = 6{1257} which clashes with R12C6)
13b. 6 in R1 only in R1C3 or in R12C6 (step 12c) = [65] (locking-out cages) -> 5 of 21(5) cage can only be in R1C3, no 5 in R1C45 + R2C5
13c. 5,6 of 21(5) cage only in R1C3 -> R1C3 = {56}
14. 5 in N2 only in R12C6 (step 12c) = {56}, locked for C6 and N2
14a. 17(3) cage at R8C6 (step 12a) = {359/458} -> R8C7 = 5, R7C7 = 4
14b. 21(4) cage at R6C7 (step 10a) = {3459} (only remaining combination) -> R6C789 = [395], R5C67 = [32], R4C789 = [817]
14b. 17(3) cage = {458} (only remaining combination), 4,8 locked for C6 and N8
14c. Naked pair {56} in R1C36, locked for R1, clean-up: no 2 in R2C2
15. Naked pair {56} in R1C3 + R2C2, locked for N1 -> R3C3 = 4, R3C2 = 9, R23C8 = [45], R2C3 = 7, R234C4 = [986], clean-up: no 2 in R1C1
15a. Naked pair {38} in R12C1, locked for C1, clean-up: no 2 in R8C2, no 6 in R9C2
15b. R3C6 = 7 (hidden single in R3) -> 21(5) cage at R1C3 (step 13a) = {13467/23457}, 3 locked for N2
15c. R3C9 = 3 (hidden single in R3)
15d. R4C3 = 3 (hidden single in C3)
16. R37C1 + R5C4 = 13 (step 11)
16a. Max R37C1 = 11 -> no 1 in R5C4
16b. R5C4 = {57} -> R37C1 = 6,8 = [15/17/26]
16c. 7 in N7 only in R7C12, locked for R7
16d. 9 in N7 only in R89C3, locked for C3
17. R6C6 = {12} -> 16(3) cage at R6C5 = {268} (only remaining combination, cannot be {169/259} because 6,9 only in R7C5, cannot be {178} because 7,8 only in R6C5) -> R6C6 = 2, R67C5 = [86], R4C6 = 9, R7C6 = 1, R7C3 = 2, R7C2 = 7, clean-up: no 3 in R8C2
17a. Naked pair {14} in R8C12, locked for R8 and N7 -> R89C6 = [84], clean-up: no 5 in R9C12
17b. R9C12 = [63], R7C1 = 5, R89C3 = [98]
18. R46C2 and R89C1 must contain the same pair of numbers (step 6a), R9C1 = 6, R8C1 = {14} -> R6C2 = 6, R4C2 = 4
and the rest is naked singles.