Prelims
a) R1C34 = {13}
b) R12C6 = {15/24}
c) R23C1 = {19/28/37/46}, no 5
d) R3C67 = {18/27/36/45}, no 9
e) R4C12 = {14/23}
f) R4C78 = {19/28/37/46}, no 5
g) R7C89 = {16/25/34}, no 7,8,9
h) R89C4 = {29/38/47/56}, no 1
i) 10(3) cage at R5C9 = {127/136/145/235}, no 8,9
j) 19(3) cage at R6C3 = {289/379/469/478/568}, no 1
1. Naked pair {13} in R1C34, locked for R1, clean-up: no 5 in R2C6
2. 45 rule on C1234 2 innies R5C34 = 11 = {29/38/47/56}, no 1
3. 45 rule on C6789 2 innies R9C67 = 8 = {17/26/35}, no 4,8,9
4. 45 rule on N3 1 outie R4C9 = 1 innie R3C7 + 6, R3C7 = {123}, R4C9 = {789}, clean-up: R3C6 = {678}
5. 45 rule on R1234 3 outies R5C345 = 1 innie R4C6 + 5, R5C34 = 11 (step 2) -> R4C6 = R5C5 + 6, R4C6 = {789}, R5C5 = {123}
6. 24(6) cage at R6C5 = {123459/123468/123567}
6a. R9C67 can only contain one of 1,2,3 (step 3) -> R6789C5 must contain two of 1,2,3
6b. Killer triple 1,2,3 in R5C5 and R6789C5, locked for C5
6c. 3 in N2 only in R123C4, locked for C4, clean-up: no 8 in R5C3 (step 2), no 8 in R89C4
7. 45 rule on N3 2(1+1) outies R3C6 + R4C9 = 15 = [69/78/87]
7a. R3C6 + R4C9 = [69]
or R3C6 + R4C9 = [78/87] => R4C6 = 9
-> 9 must be in R4C6 + R4C9, locked for R4, clean-up: no 1 in R4C78
7b. 9 in R4 only in R4C69, CPE no 9 in R5C78
7c. R4C69 = {789} both “see” R5C78 -> R5C78 cannot contain both of 7,8
7d. Max R4C6 + R5C78 = 9 + {68} = 23 -> no 1 in R5C6
8. 24(6) cage at R6C5 = {123459/123468/123567}, 4,8,9 can only be in C5
8a. 40(7) cage at R1C5 = {1456789/2356789} can only contain both of 8,9 in C5 if it also contains 4 in C5 -> R5C34 (step 2) cannot be {47} -> R5C34 = {29/56}/[38], no 4,7
8b. 7 in 40(7) cage only in R1234C5, locked for C5
9. 40(7) cage at R1C5 = {1456789/2356789}
9a. 2,3 of {2356789} must be in R5C45 (cannot be in R5C35 because R5C345 = [293/382] clashes with R4C6 + R5C5 = [93/82], step 5), no 2,3 in R5C3, clean-up: no 8,9 in R5C4 (step 8a)
[With hindsight I missed no 2 in R5C5 but this didn’t make much difference.]
10. 5 in R4 only in R4C345
10a. R4C69 contains 9 (step 7a) = {79/89} = 16,17
10b. 45 rule on R4 3 innies R4C345 = 13,14 = {157/256/158/257/356}, no 4
[Alternatively R4C12 = {14/23} + R4C78 = {28/37/46} must contain 4.]
10c. Locking hidden killer pair 1,6 in R4C12 + R4C78 and R4C345 for R4, 4 in R4 only in R4C12 + R4C78 -> R4C12 + R4C78 contains one of {14/46} -> R4C345 must contain one of 1,6 -> R4C345 = {157/256/158/356} (cannot be {257} which doesn’t contain either of 1,6)
[I could have written step 10b as 13(3) or 14(3) cage containing 5 cannot also contain 4, but then I wouldn’t have been able to follow up with step 10c.]
[At this stage I found a contradiction move to reduce 40(7) cage at R1C5 to one combination. Then I managed to find a more satisfying forcing chain; I hope that Ed found something better.]
11. 40(7) cage at R1C5 = {1456789/2356789}
11a. Consider combinations for R12C6 = {24}/[51]
R12C6 = {24}, locked for N2 => 40(7) cage = {2356789}
or R12C6 = [51] => R4C4 = 1 (hidden single in C4) => 40(7) cage = {2356789}
-> 40(7) cage = {2356789}, no 1,4, clean-up: no 7 in R4C6 (step 5)
11b. R5C45 = [23] (only places for 2,3 in 40(7) cage), R4C6 = 9 (step 5), R5C3 = 9 (step 2), clean-up: no 6 in R3C6 (step 7), no 3 in R3C7, no 9 in R89C4
11c. Naked quad {5678} in R1234C5, locked for C5
11d. Naked pair {78} in R3C6 + R4C9 (step 7), CPE no 7,8 in R3C9
12. R6C7 = 9 (hidden single in N6)
13. 24(6) cage at R6C5 = {123459} (only remaining combination) -> R9C67 = {35}, locked for R9, 2,9 locked for N8, clean-up: no 6 in R8C4
14. 19(3) cage at R6C3 = {478/568}, no 2,3
15. R4C6 = 9 -> 25(4) cage at R4C6 = {1789/4579}, no 6, 7 locked for R5
16. 45 rule on N6 1 remaining outie R5C6 = 1 remaining innie R4C9 -> R5C6 = {78}
[With hindsight there’s now naked pair {78} in R35C6, locked for C6.]
17. 45 rule on N6 3 remaining innies R4C9 + R5C78 = 16 = {178/457}, 7 locked for N6, clean-up: no 3 in R4C78
17a. Killer pair 2,4 in R4C12 and R4C78, locked for R4
18. 3 in N6 only in R6C89, locked for R6
18a. 10(3) cage at R5C9 contains 3 = {136/235}, no 4
19. 45 rule on N47 2 remaining innies R46C3 = 6 = [15], R1C34 = [31], clean-up: no 5 in R1C6, no 7 in R23C1, no 4 in R4C12
20. Naked pair {24} in R12C6, locked for C6 and N2
21. Naked pair {23} in R4C12, locked for R4 and N4, clean-up: no 8 in R4C78
21a. Naked pair {46} in R4C78, locked for R4 and N6
22. 10(3) cage at R5C9 (step 18a) = {235} (only remaining combination) -> R5C9 = 5, R6C89 = {23}, clean-up: no 2 in R7C8
23. R5C12 = {46} (hidden pair in R5), locked for N4, CPE no 4,6 in R8C2
23a. Naked pair {78} in R6C12, locked for R6, CPE no 7,8 in R8C2
24. 19(3) cage at R6C3 (step 14) = {568} (only remaining combination) -> R67C4 = [68], R6C6 = 1, R6C5 = 4, clean-up: no 5 in R8C4
24a. Naked pair {47} in R89C4, locked for C4 and N8 -> R4C4 = 5
25. Naked pair {39} in R23C4, locked for 35(7) cage at R1C2, no 9 in R1C2
25a. 35(7) cage contains 1,3,5,9 = {1235789/1345679}, 7 locked for N1
26. 6 in C6 only in R78C6, locked for 36(7) cage at R6C6, no 6 in R78C7 + R9C8
26a. 36(7) cage contains 1,6,9 and at least one of 3,5 = {1236789/1345689}, 8 locked for N9
27. 9 in N9 only in 18(3) cage at R8C8 = {279/369/459}, no 1
28. 1 in N9 only in R7C89 = {16}, locked for R7 and N9
28a. 18(3) cage at R8C8 (step 27) = {279/459}, no 3
28b. 3 in N9 only in R789C7, locked for C7
28c. R8C6 = 6 (hidden single in N8)
29. 20(4) cage at R5C2 = {2468/2567/3467} (cannot be {2369/2459} because R6C2 only contains 7,8, cannot be {2378} because R5C2 only contains 4,6, cannot be {3458} because 3,5 only in R7C2) -> R5C2 = 6, R5C1 = 4, clean-up: no 6 in R23C1
29a. R6C2 = {78} -> R7C23 = [25/34/42/52], no 7,9
30. R5C1 = 4 -> 31(5) cage at R5C1 = {34789} (only remaining combination), 7,8 locked for C1, clean-up: no 2 in R23C1
31. Naked pair {19} in R23C1, locked for C1 and N1
32. Naked triple {378} in R678C1, locked for C1 and 31(5) cage at R5C1 -> R8C2 = 9, R4C12 = [23], R9C1 = 6, R1C1 = 5
32a. R9C2 = 1 (hidden single in N7), R9C9 = 9 (hidden single in N9), R9C5 = 2, R78C5 = [91]
33. R1C1 = 5 -> R23C2 = 10 = {28}, locked for C2 and N1 -> R6C2 = 7, R6C1 = 8, R1C2 = 4, R12C6 = [24], R7C2 = 5, R7C3 = 2 (step 29a), R7C6 = 3, R78C1 = [73], R7C7 = 4, R4C78 = [64]
34. 18(3) cage at R8C8 (step 28a) = {279} (only remaining combination), 2,7 locked for R8 and N9 -> R9C8 = 8, R8C7 = 5,
34a. 2 in C7 only in R23C7, locked for N3
35. 30(5) cage at R1C8 = {34689} (only remaining combination), no 1,7 -> R4C9 = 8
and the rest is naked singles.