Prelims
a) R1C23 = {15/24}
b) R1C78 = {18/27/36/45}, no 9
c) 17(2) cage at R3C3 = {89}
d) 9(2) cage at R3C7 = {18/27/36/45}
e) R5C34 = {49/58/67}, no 1,2,3
f) R5C67 = {16/25/34}, no 7,8,9
g) 3(2) cage at R6C4 = {12}
h) 9(2) cage at R6C6 = {18/27/36/45}, no 9
i) R9C23 = {39/48/57}, no 1,2,6
j) R9C78 = {29/38/47/56}, no 1
k) 11(3) cage at R3C4 = {128/137/146/236/245}, no 9
l) 19(3) cage at R6C7 = {289/379/469/478/568}, no 1
m) 21(3) cage at R7C4 = {489/579/678}, no 1,2,3
n) 13(4) cage at R3C8 = {1237/1246/1345}, no 8,9
Steps resulting from Prelims
1. R1C78 = {18/27/36} (cannot be {45} which clash with R1C23), no 4,5
1a. Naked pair {89} in 17(2) cage at R3C3, locked for D\, CPE no 8,9 in R3C4 + R4C3, clean-up: no 1 in 9(2) cage at R6C6
1b. Naked pair {12} in 3(2) cage at R6C4, locked for D/, CPE no 1,2 in R6C3, clean-up: no 7,8 in 9(2) cage at R3C7
2. 45 rule on R1 2 innies R1C19 = 12 = [39/48/57/75], no 1,2,6 in R1C1, no 3,4,6 in R1C9
3. 45 rule on R2 2 innies R2C19 = 9 = {18/27/36/45}, no 9
4. 45 rule on R12 2 outies R3C19 = 9 = {18/27/36/45}, no 9
4a. 9 in R3 only in R3C23, locked for N1
5. Min R1C9 = 5 -> max R23C9 = 7, no 7,8 in R23C9, clean-up: no 1,2 in R23C1 (steps 3 and 4)
6. 45 rule on R89 2 outies R7C19 = 8 = {17/26/35}, no 4,8,9
7. 45 rule on R8 2 innies R8C19 = 11 = {29/38/47/56}, no 1
8. 45 rule on R9 2 innies R9C19 = 8 = [35/53/62/71], no 4,8,9 in R9C1, no 4,6,7 in R9C9
9. Min R79C1 = 4 -> max R8C1 = 8, clean-up: no 2 in R8C9 (step 7)
10. 9 in C1 only in 15(3) cage at R4C1, locked for N4, clean-up: no 4 in R5C4
10a. Hidden killer pair 1,2 in 15(3) cage and 12(3) cage at R7C1 for C1, neither cage can contain both of 1,2 -> each must contain one of 1,2 -> 15(3) cage = {159/249}, no 3,6,7,8
10b. 12(3) cage = {138/156/237/246} (cannot be {147} which clashes with 15(4) cage)
10c. 1 of {156} must be in R7C1, 6 of {246} must be in R9C1 -> no 5,6 in R7C1, clean-up: no 2,3 in R7C9 (step 6)
10d. Killer pair 1,2 in 12(3) cage and R7C3, locked for N7
10e. 1 in N7 only in R7C13, locked for R7, clean-up: no 7 in R7C1 (step 6)
11. 45 rule on N8 3 innies R8C456 = 10 = {127/136/145/235}, no 8,9
12. 9 in R3 only in R3C23
12a. 45 rule on R123 4 innies R3C2378 = 25 = {2689/3589/3679/4579} (cannot be {1789} because R3C7 only contains 3,4,5,6), no 1
12b. Max R3C78 = 13 -> min R3C23 = 12, no 2 in R3C2
13. 13(4) cage at R3C8 = {1237/1246/1345}, 1 locked for N6, clean-up: no 6 in R5C6
14. 18(3) cage at R1C1 = {378/468/567}
14a. 4 of {468} must be in R1C1 -> no 4 in R23C1, clean-up: no 5 in R23C9 (steps 3 and 4)
15. 3(2) cage at R6C4 and 9(2) cage at R6C6 cannot both contain 2 in R6C46 -> R7C37 cannot be [17]
15a. 45 rule on R789 4 innies R7C2378 = 16 = {1249/1267/1348/1357/2356} (cannot be {1258/2347} which clash with R7C19, cannot be {1456} which clashes with 21(3) cage at R7C4)
15b. 1 of {1267/1357} must be in R7C3 -> no 7 in R7C7, clean-up: no 2 in R6C6
16. 18(3) cage at R4C9 = {279/369/378/459/468} (cannot be {567} which clashes with R7C9)
16a. Hidden killer pair 8,9 in 18(3) cage and R6C78 for N6, 18(3) cage contains one of 8,9 -> R6C78 must contain one of 8,9
16b. Max R6C78 = 16 -> min R7C8 = 3
17. 15(3) cage at R7C9 = {159/168/258/267/357/456} (cannot be {249/348} because R7C9 only contains 5,6,7)
17a. 12(3) cage at R1C9 = {129/138/147/237/345} (cannot be {246} because R1C9 only contains 5,7,8,9, cannot be {156} which clashes with 15(3) cage), no 6, clean-up: no 3 in R23C1 (steps 3 and 4)
18. 8 in N4 only in 15(3) cage at R3C2, 23(4) cage at R5C2 or R5C34, 8 in R7C2 “see” all 8s in N4 except for R5C3
18a. 45 rule on N4 3(2+1) outies R37C2 + R5C4 = 21
18b. 8 in 15(3) cage or 23(4) cage within N5 => no 8 in R7C2
or R5C34 = [85] => R37C2 = 16 = {79}
-> no 8 in R7C2
[This step doesn’t seem to work for 8 in R3C2 or for 3,6,7 because R4C3 contains 3,6,7 and R6C3 contains 3,6,7,8.]
[Just spotted interactions between R1C19 and R9C19 for 3,5,7 …
With hindsight it was available after step 8, but if I’d spotted it then I wouldn’t have found the interesting steps 15 and 18.]
19. 18(3) cage at R1C1 (step 14) = {378/468} (cannot be {567} which clashes with R9C19 using C1, {57} pair in R1 and both diagonals), no 5, 8 locked for C1 and N1 -> R3C3 = 9, R4C4 = 8, clean-up: no 7 in R1C9 (step 2), no 4 in R23C9 (steps 3 and 4), no 5 in R5C3, no 3 in R8C9 (step 7), no 3 in R9C2
19a. 3,4 of {378/468} only in R1C1 -> R1C1 = {34}, clean-up: no 5 in R1C9 (step 2)
20. Killer pair 8,9 in R1C9 and 18(3) cage at R4C9, locked for C9, clean-up: no 2,3 in R8C1 (step 7)
21. 12(3) cage at R1C9 (step 17a) = {129/138}, 1 locked for C9 and N3, clean-up: no 8 in R1C78, no 7 in R9C1 (step 8)
22. 18(3) cage at R1C4 = {279/369/468} (cannot be {189} which clashes with R1C9, cannot be {378/567} which clash with R1C78, cannot be {459} which clashes with R1C23), no 1,5
23. 1 in N1 only in R1C23 = {15}, locked for N1
23a. 2 in N1 only in R2C23, locked for R2, clean-up: no 7 in R2C1 (step 3)
23b. R8C8 = 1 (hidden single on D\)
23c. R4C7 = 1 (hidden single in N6)
24. R7C13 = {12} (hidden pair in N7), locked for R7, clean-up: no 7 in R6C6
25. Killer pair 3,4 in R1C1 and 9(2) cage at R6C6, locked for D\, clean-up: no 5 in R9C1 (step 8)
26. 7 on D\ only in R2C2 + R5C5, CPE no 7 in R2C58 + R58C2
[Earlier I’d spotted
1 in R9 only in R9C19 = [71] or in 14(3) cage at R9C4 -> 14(3) cage can only contain 7 if it also contains 1 -> 14(3) cage = {149/167/239/248/356} (cannot be {257/347} which contain 7 but not 1, locking-out cages, cannot be {158} which clashes with R8C456)
However this is no longer needed …]
27. R8C456 (step 11) = {235} (only remaining combination), locked for R8 and N8, clean-up: no 6 in R8C19 (step 7)
27a. Naked pair {47} in R8C19, locked for R8
27b. 21(3) cage at R7C4 = {489/678}, 8 locked for R7 and N8
28. 12(3) cage (step 10b) = {237/246} -> R7C1 = 2, R7C3 = 1, R6C4 = 2, R1C23 = [15], clean-up: no 5 in R5C7, no 7 in R9C2
29. 15(3) cage at R4C1 (step 10a) = {159} (only remaining combination, or hidden triple for C1), locked for N4
30. 9(2) cage at R3C7 = {45} (only remaining combination, cannot be {36} which clashes with R9C1 using D/), locked for D/, CPE no 4,5 in R3C6
31. R5C5 = 7 (hidden single on D/), placed for D\, clean-up: no 6 in R5C34
31a. 15(3) cage at R4C5 = {357} (only remaining combination), 3,5 locked for C5 and N5 -> R4C6 = 4, R3C7 = 5, R5C4 = 9, R5C3 = 4, R5C6 = 1, R5C7 = 6, R6C6 = 6, R7C7 = 3 (both placed for D\), R1C1 = 4, R2C2 = 2, placed for D\, R9C9 = 5, R8C19 = [74], R9C1 = 3 (step 8), R7C9 = 6 (step 6), 15(3) cage at R4C1 = [951], R9C3 = 8, R8C23 = [96], R9C2 = 4, R7C2 = 5, R8C5 = 2, R8C7 = 8
[I’ve now stopped doing routine clean-ups.]
32. 21(3) cage at R7C4 (step 27b) = {489} (only remaining combination) -> R7C4 = 4, R7C56 = {89}, locked for R7 and N8 -> R7C8 = 7, R9C6 = 7
33. R4C23 = [62] (hidden pair in N4), R3C2 = 7 (cage sum), R2C3 = 3, R2C9 = 1, R6C3 = 7
34. 4 in N6 only in 19(3) cage at R6C7, which also contains 7 = {478} (only remaining combination) -> R6C78 = [48]
35. R1C78 = {27} (only remaining combination, cannot be {36} because 3,6 only in R1C8) -> R1C78 = [72], R2C78 = [96], R23C1 = [86], R3C9 = 3 (step 4)
and the rest is naked singles without using diagonals.