Prelims
a) R2C23 = {69/78}
b) R4C12 = {18/27/36/45}, no 9
c) R5C12 = {69/78}
d) R5C46 = {15/24}
e) R5C89 = {29/38/47/56}, no 1
f) R6C89 = {69/78}
g) R89C1 = {18/27/36/45}, no 9
h) 10(3) cage at R1C2 = {127/136/145/235}, no 8,9
i) 8(3) cage at R5C7 = {125/134}
j) 10(4) cage at R1C5 = {1234}
k) 39(6) cage at R2C4 = {456789}, no 1,2,3
l) and of course 45(9) cage at R1C6 = {123456789}
Steps resulting from Prelims
1a. 8(3) cage at R5C7 = {125/134}, 1 locked for C7
1b. 10(4) cage at R1C5 = {1234}, 1 locked for N2, CPE no 4 in R2C4
1c. 1 in N3 only in 45(9) cage -> no 1 in R4C9
[There must be interactions between R2C23 and 39(6) cage at R2C4 but I can’t yet see how to use them.]
2. R2C7 = {234} -> R2C7 + 8(3) cage at R5C7 = 10,11,12 = {1234/1235/1245}, 2 locked for C7
3. 45 rule on R1234 1 innie R4C5 = 1 outie R5C3 + 2 -> R4C5 = {6789}, R5C3 = {4567}
4. R5C3 = {4567} -> either R5C3 = {45}, killer pair 4,5 in R5C3 and R5C46, locked for R5 or R5C3 = {67}, killer pair 6,7 in R5C12 and R5C3, locked for R5 -> R5C89 = {29/38}, no 4,5,6,7
[I later realised that this step is better written as
Hidden killer quad 4,5,6,7 in R5C12, R5C3, R5C46 and R5C89 for R5, R5C12 contains one of 6,7, R5C3 contains one of 4,5,6,7, R5C46 contains one of 4,5 -> R5C89 cannot contain more than one of 4,5,6,7 -> R5C89 = {29/38}, no 4,5,6,7]
5. Killer pair 8,9 in R5C12 and R5C89, locked for R5
5a. Killer pair 8,9 in R5C89 and R6C89, locked for N6
6. 18(3) cage at R3C7 = {279/369/378/459/468/567} (cannot be {189} because 8,9 only in R3C7), no 1
6a. 8,9 of {369/378/459/468} must be in R3C7 -> no 3,4 in R3C7
6b. 5 of {459/567} must be in R4C78 (R4C78 cannot be {67} which clashes with R6C89) -> no 5 in R3C7
7. 1 in N6 only in R56C7, locked for 8(3) cage at R5C7 -> no 1 in R7C7
8. 12(3) cage at R3C5 = {129/138/147/156/237/246/345}
8a. 1 of {129/138/147/156} must be in R4C6, 5,6,7 of {237/246/345} must be in R3C56 (R3C56 cannot be {23/24/34} which clash with 10(4) cage at R1C5, ALS block) -> no 5,6,7,8,9 in R4C6
9. 45 rule on N5 3 innies R4C46 + R6C4 = 16 = {169/178/268/349/358/367} (cannot be {259/457} which clash with R5C46)
9a. 1,2 of {169/179/268} must be in R4C6 -> no 1,2 in R6C4
10. Law of Leftovers for N3, R1C6 + R4C9 must contain exactly the same pair of candidates as R23C7, no 5 in R23C7 -> no 5 in R1C6 + R4C9
11. 45 rule on N1 1 outie R1C4 = 1 innie R3C3, no 2,3 in R1C4, no 8,9 in R3C3
12. 10(3) cage at R1C2 = {127/136/145/235}
12a. 6,7 of {127/136} must be in R1C4 -> no 6,7 in R1C23
13. Hidden killer triple 1,2,3 in R4C12, R4C6 and R4C789 for R4, R4C789 can only contain one of 2,3 (cannot contain both of 2,3 which would clash with R5C89) -> R4C12 and R4C6 must each contain one of 1,2,3 -> R4C6 = {123}, R4C12 = {18/27/36}, no 4,5
13a. Killer pair 2,3 in R4C789 and R5C89, locked for N6
14. 8(3) cage at R5C7 = {125/134}
14a. 2,3 only in R7C7 -> R7C7 = {23}
15. 45 rule on N6 2 outies R37C7 = 1 innie R4C9 + 7
15a. Max R37C7 = 12 -> no 6,7 in R4C9
16. Law of Leftovers for N3, R1C6 + R4C9 must contain exactly the same pair of candidates as R23C7
16a. R2C7 = R4C9 = {234} -> R1C6 = R3C7 = {6789}
17. Consider placements for 3 in N6
3 in R4C789 => R4C12 = {18/27} => R5C12 = {69} (cannot be {78} which clashes with R4C12
3 in R5C89 = {38}, locked for R5 => R5C12 = {69}
17a. -> R5C12 = {69}, locked for R5 and N4, clean-up: no 3 in R4C12, no 8 in R4C5 (step 3), no 2 in R5C89
18. Naked pair {38} in R5C89, locked for R5 and N6, clean-up: no 3 in R2C7 (step 16), no 7 in R6C89
18a. Naked pair {69} in R6C89, locked for R6 and N6
19. 7 in N6 only in R4C78, locked for R4 and 18(3) cage at R3C7, no 7 in R3C7, clean-up: no 7 in R1C6 (step 16), no 2 in R4C12, no 5 in R5C3 (step 3)
19a. Naked pair {18} in R4C12, locked for R4 and N4
19b. R89C1 = {27/36/45} (cannot be {18} which clashes with R4C1), no 1,8
20. R4C6 = 3 (hidden single in R4), R3C56 = 9 = {27/45}, no 6,8,9
20a. Killer pair 2,4 in 10(4) cage at R1C5 and R3C56, locked for N2, clean-up: no 4 in R3C3 (step 11)
20b. 3 in N2 only in R12C5, locked for C5
21. R4C45 = {69} (hidden pair in R4)
22. Killer pair 2,4 in R2C7 and 8(3) cage at R5C7, locked for C7
23. 18(3) cage at R3C7 (step 6) must contain 7 in R4C78 = {279/567}, no 4,8, clean-up: no 8 in R1C6 (step 16)
24. 4 in 39(6) cage at R2C4 only in R45C3, locked for C3 and N4
24a. 8,9 in 39(6) cage at R2C4 only in R234C4, locked for C4
24b. 2 in N6 only in R6C123, locked for R6
25. 10(3) cage at R1C2 = {127/136/145/235}
25a. R1C4 = {567} -> no 5 in R1C23
26. 2 in R4 only in R4C89, CPE no 2 in R123C8
26a. 2 in 45(9) cage at R1C6 only in R1234C9, locked for C9
27. 8 in N5 only in 23(4) cage = {1589/2489/2678} (cannot be {4568} which clashes with R5C46)
27a. 2 of {2489/2678} must be in R5C5 -> no 4,7 in R5C5
28. R5C3 = 7 (hidden single in R5), R4C3 = 4 (hidden single in N4), R4C9 = 2, R2C7 = 2 (hidden single in N3), R7C7 = 3, clean-up: no 8 in R2C2
29. Naked pair {57} in R4C78, locked for N6, R3C7 = 6 (step 23), R1C6 = 6 (step 16), R3C3 = 5, R1C4 = 5 (hidden single in N2), R4C4 = 6 (hidden single in 39(6) cage at R2C4), R4C5 = 9, clean-up: no 4 in R3C56 (step 20), no 1 in R5C6
29a. Killer pair 8,9 in R2C23 and R2C4, locked for R2
30. Naked pair {27} in R3C56, locked for R3
30a. Naked triple {235} in R6C123, locked for R6
31. 23(4) cage in N5 = {1589/2489}, no 7
31a. 2,5 only in R5C5 -> R5C5 = {25}
31b. R6C4 = 7 (hidden single in N5)
32. 28(6) cage at R6C2 must contain 7 = {123679/124579/134578} (cannot be {124678} because R6C23 must contain two of 2,3,5), 1 locked for R7
32a. R6C23 must contain two of 2,3,5 -> no 2,5 in R7C345
32b. 9 of {123679} must be in R7C3 -> no 6 in R7C3
33. 20(4) cage in N1 = {1469/1478/2369/2378} (cannot be {1289/1379/2468/3467} which clash with R2C23
33a. 2 of {2369/2378} must be in R1C1 -> no 3 in R1C1
33b. 6,7 of {2369/2378} must be in R2C1 -> no 3 in R2C1
33c. 9 of {1469/2369} must be in R3C2 (R123C1 cannot contain both of 6,9 which would clash with R5C1) -> no 9 in R13C1
34. 9 in C6 only in R789C6
34a. 45 rule on N9 3 outies R789C6 = 18 = {189/459} (cannot be {279} which clashes with R3C6), no 2,7
34b. Killer pair 1,4 in R2C6 and R789C6, locked for C6 -> R6C6 = 8, clean-up: no 1 in R89C6
35. Naked triple {459} in R789C6, locked for C6 and N8 -> R2C6 = 1, R5C6 = 2, R5C4 = 4, R56C5 = [51], R3C56 = [27], R7C4 = 1
36. 28(6) cage at R6C2 (step 32) = {123679} (only remaining combination) -> R7C3 = 9, R7C5 = 6, R6C23 = {23}, locked for R6 -> R6C1 = 5, clean-up: no 6 in R2C2, no 4 in R89C1
37. R6C1 = 5 -> R7C12 = 11 = {47} (only remaining combination), locked for R7 and N7, R7C6 = 5, R7C9 = 8, R7C8 = 2, R5C89 = [83], clean-up: no 2 in R89C1
37a. R7C89 = [28] = 10 -> R89C9 = 10 = {19/46}, no 5,7
37b. Killer pair 6,9 in R5C9 and R89C9, locked for C9
37c. Killer pair 1,4 in R3C9 and R89C9, locked for C9 -> R1C9 = 7, R2C9 = 5
37d. R1C7 = 8 (hidden single in N3)
38. Naked pair {36} in R89C1, locked for C1 and N7 -> R5C12 = [96]
39. 9 in N3 only in R13C8, locked for C8 -> R6C89 = [69], clean-up: no 1 in R89C9 (step 37a)
39a. Naked pair {46} in R89C9, locked for C9 and N9 -> R3C9 = 1
40. R89C5 = {78} = 15 -> R8C34 = 5 = [23], R6C23 = [23], R1C3 = 1, R1C2 = 4 (step 25)
and the rest is naked singles.