Prelims
a) R1C12 = {39/48/57}, no 1,2,6
b) R1C67 = {17/26/35}, no 4,8,9
c) R12C8 = {49/58/67}, no 1,2,3
d) R12C9 = {17/26/35}, no 4,8,9
e) R2C67 = {17/26/35}, no 4,8,9
f) R3C67 = {49/58/67}, no 1,2,3
g) R45C3 = {19/28/37/46}, no 5
h) R4C56 = {29/38/47/56}, no 1
i) R67C3 = {59/68}
j) R6C45 = {14/23}
k) R89C1 = {14/23}
l) R89C9 = {17/26/35}, no 4,8,9
m) R9C67 = {29/38/47/56}, no 1
n) 22(3) cage at R3C2 = {589/679}
o) 14(4) cage at R3C8 = {1238/1247/1256/1346/2345}, no 9
p) 42(7) cage at R4C9 = {3456789}, no 1,2
q) 40(8) cage at R1C3 = {12346789}, no 5
r) And, of course, both 45(9) cages = {123456789}
Steps resulting from Prelims
1a. 22(3) cage at R3C2 = {589/679}, CPE no 9 in R12C2, clean-up: no 3 in R1C1
1b. 9 in C9 only in R4567C9, locked for 42(7) cage at R4C9, no 9 in R567C8
2. 45 rule on C1 3 outies R156C2 = 9 = {135/234} (cannot be {126} because no 1,2,6 in R1C2), no 6,7,8,9, 3 locked for C2, clean-up: no 4,5 in R1C1
3. 13(3) cage at R2C1 and 5(2) cage at R8C1 form combined 18(5) cage which must contain 1,2, both locked for C1
4. Hidden killer pair 1,2 in 13(3) cage at R2C1 and 5(2) cage at R8C1 for C1, 5(2) cage must contain one of 1,2 -> 13(3) cage must contain one of 1,2 = {148/157/238/256} (cannot be {139/247} which clash with 5(2) cage), no 9
5. 45 rule on R12 1 innie R2C1 = 1 outie R3C5 + 1, no 1,6 in R2C1, no 8,9 in R3C5
6. 45 rule on N5 2 outies R3C4 + R7C6 = 5 = {14/23}
7. 9 in N3 only in R12C8 = {49} or R3C7 => R3C67 = [49] -> no 4 in R3C89 (locking cages)
7a. 4 in C9 only in R4567C9, locked for 42(7) cage at R4C9, no 4 in R567C8
8. 34(7) cage at R3C4 contains all except the pair in R4C56 -> 34(7) cage and R4C56 form a hidden 45(9) cage
8a. R3C4 “sees” all cells of the hidden 45(9) cage except for R6C5 -> R3C4 = R6C5 -> R36C4 form a hidden 5(2) cage
8b. Similarly R7C6 “sees” all cells of the hidden 45(9) cage except for R6C45 but from step 8a it cannot equal R6C5 -> R7C6 = R6C4 -> R6C5 + R7C6 form a hidden 5(2) cage
8c. These two hidden 5(2) cages must contain the same pair
[At this stage I don’t know how to use these “clones” and hidden cages, but they might be useful later.]
9. Just spotted a bit more for step 7, R12C8 = {49} or R3C7 => R3C67 = [49] -> no 4 in R3C7 (locking-out cages), clean-up: no 9 in R3C6
9a. 4 in N3 only in R12C8 = {49}, locked for C8 and N3, clean-up: no 4 in R3C6
9b. 8 in N3 only in R3C789, locked for R3, CPE no 8 in R4C7, clean-up: no 5 in R3C7
9c. 14(4) cage at R3C8 = {1238/1247/1256/1346/2345}
9d. 4 of {1247} must be in R4C7 -> no 7 in R4C7
10. 9 in R3 only in R3C23, locked for N1 and 22(3) cage at R2C2, no 9 in R4C2, clean-up: no 3 in R1C2
10a. 22(3) cage at R3C2 = {589/679}
10b. 8 of {589} must be in R4C2 -> no 5 in R4C2
11. R156C2 (step 2) = {135/234}
11a. R1C2 = {45} -> no 4,5 in R56C2
11b. R156C2 = {135/234}, 3 locked for N4 and 24(5) cage at R5C1, no 3 in R7C1, clean-up: no 7 in R45C3
12. 1,2,3 in C1 only in combined 18(5) cage (step 3) = {12348/12357}, no 6 -> 13(3) cage at R2C1 (step 4) = {148/157/238}
12a. Killer pair 7,8 in R1C1 and 13(3) cage, locked for C1
13. R45C3 = {19/28/46}, R67C3 = {59/68} -> combined cage R4567C3 = {19}{68}/{28}{59}/{46}{59}, 9 locked for C3
13a. R3C2 = 9 (hidden single in N1)
13b. 9 in N7 only in R7C13, locked for R7
13c. 9 in C9 only in R456C9, locked for N6
14. 9 in 45(9) cage at R5C7 only in R8C567, locked for R8
14a. 9 in 45(9) cage at R7C2 only in R9C45, locked for R9 and N8, clean-up no 2 in R9C67
14b. R8C7 = 9 (hidden single in R8)
15. 5 in N2 only in R123C6, locked for C6, clean-up: no 6 in R4C5, no 6 in R9C7
16. 9 in C6 only in R456C6, locked for N5, clean-up: no 2 in R4C6
17. 7 in N4 only in R4C12, locked for R4, clean-up: no 4 in R4C56
[Possibly a bit OTT but I now spotted …]
18. Consider the combinations for 22(3) cage at R3C2 = {589/679}
18a. 22(3) cage = {589} => R3C3 = 5 => R67C3 = {68}, locked for C3
or 22(3) cage = {679} => R3C3 + R4C2 = {67}, CPE no 6 in R456C3
-> no 6 in R45C3 -> R45C3 = {19/28}, no 4,6
18b. Killer pair 1,2 in R45C3 + R56C2, locked for N4
18c. Killer pair 8,9 in R45C3 and R67C3, locked for C3
[At this stage I saw a contradiction move to eliminate the {589} combination from the 22(3) cage but decided not to use it.]
19. R2C1 (step 12) = {148/157/238}
19a. 1 of {148/157} must be in R3C1, 8 of {238} must be in R4C1 -> no 4,5,7 in R3C1
20. Variable combined cage R3C3 + R3C67 = 5{67}/6[58]/7[58], 5 locked for R3
21. 4 in R3 only in R3C45, locked for N2
21a. R3C4 = R6C5 (step 8a) -> 4 must be in R36C5, locked for C5
22. 8,9 in N2 only in R12C45, locked for 40(8) cage at R1C3, no 8 in R2C2
22a. 8 in N1 only in R12C1, locked for C1
23. R2C1 (step 12) = {148/157} (cannot be {238} because R4C1 only contains 4,5,7) -> R3C1 = 1, clean-up: no 4 in R7C6 (step 6), no 4 in R89C1
[The puzzle is now cracked.]
23a. Naked pair {23} in R89C1, locked for C1 and N1
23b. 2,3 in N1 only in R1C3 + R2C23, locked for 40(8) cage at R1C3, no 2,3 in R12C45 + R3C5
24. 2,3 in 45(9) cage at R7C2 only in R789C4 + R9C5, locked for N8 -> R7C6 = 1, R3C4 = 4 (step 6), clean-up: no 7 in R12C7, no 1 in R6C5, no 8 in R9C7
25. R6C45 = [14] (hidden pair in N5)
26. R3C67 = [58] (cannot be {67} which clashes with R3C5), clean-up: no 8 in R4C2, no 3 in R12C7
26a. Naked pair {67} in R3C3 + R4C2, no 6,7 in R2C2 + R6C3, clean-up: no 8 in R7C3
27. R3C89 = {23} (hidden pair in R3), locked for N3 and 14(4) cage at R3C8, no 2,3 in R4C78, clean-up: no 6 in R12C6, no 5,6 in R12C9
27a. 14(4) cage at R3C8 = {1238/2345} -> R4C78 = [18/45]
28. Naked pair {17} in R12C9, locked for C9 and N3, clean-up: no 7 in R12C6
28a. Naked pair {23} in R12C6, locked for C6, clean-up: no 8 in R4C5
28b. 7 in 42(7) cage at R4C9 only in R567C8, locked for C8
28c. Naked pair {56} in R12C7, locked for C7, clean-up: no 6 in R9C6
29. Killer pair 2,3 in R3C9 and R89C9, locked for C9
29a. 3 in 42(7) cage at R4C9 only in R567C8, locked for C8 -> R3C89 = [23], clean-up: no 5 in R89C9
29b. Naked pair {26} in R89C9, locked for C9 and N9
30. 1 in N9 only in R89C8, locked for 45(9) cage at R5C7, no 1 in R5C7
30a. R4C7 = 1 (hidden single in N6), R4C8 = 8 (step 27a), clean-up: no 3 in R4C5, no 2,9 in R5C3
30b. Naked pair {15} in R89C8, locked for C8, N9 and 45(9) cage at R5C7, no 5 in R78C5
31. R4C56 = [56] (cannot be [29] which clashes with R4C3), R4C2 = 7, R4C1 = 4, R2C1 = 8 (step 23), R1C1 = 7, R1C2 = 5, R1C7 = 6, R1C6 = 2
and the rest is naked singles.
[Some of the later steps could have been a bit quicker if I’d remembered to make clean-ups using step 5.]