Prelims
a) R1C12 = {18/27/36/45}, no 9
b) R2C12 = {13}
c) R4C45 = {59/68}
d) R4C78 = {18/27/36/45}, no 9
e) R6C45 = {17/26/35}, no 4,8,9
f) R6C78 = {18/27/36/45}, no 9
g) R8C12 = {15/24}
h) R9C12 = {49/58/67}, no 1,2,3
i) 21(3) cage at R1C4 = {489/579/678}, no 1,2,3
j) 21(3) cage at R2C8 = {489/579/678}, no 1,2,3
l) 13(4) cage at R1C6 = {1237/1246/1345}, no 8,9
1. Naked pair {13} in R2C12, locked for R2 and N1, clean-up: no 6,8 in R1C12
2. 45 rule on R1 3 innies R1C345 = 23 = {689}, locked for R1
2a. 45 rule on R1 1 innie R1C3 = 1 outie R2C4 + 2, no 5,8,9 in R2C4
3. 21(3) cage at R1C4 = {489/678}, 8 locked for R1 and N2,
3a. 4,7 only in R2C4 -> R2C4 = {47}
4. 45 rule on C123 2 outies R37C4 = 7 = {16/25/34}, no 7,8,9
5. 45 rule on N6 2 innies R5C78 = 12 = {39/48/57}, no 1,2,6
5a. 45 rule on N6 3 outies R5C456 = 12 = {129/138/147/246} (cannot be {156} which clashes with R4C45, cannot be {237} which clashes with R6C45, cannot be {345} which clashes with R5C78), no 5
6. 45 rule on N56 2 innies R46C6 = 11 = {29/38/47} (cannot be {56} which clashes with R4C45), no 1,5,6
7. 45 rule on R1234 2 innies R4C19 = 8 = {17/26/35}, no 4,8,9
8. 45 rule on R6789 2 innies R6C19 = 13 = {49/58/67}, no 1,2,3
9. 45 rule on N7 2 innies R7C12 = 1 outie R7C4 + 8, IOU no 8 in R7C12
10. 45 rule on N3 2 outies R12C6 = 6 = [15/24/42], R1C6 = {124}, R2C6 = {245}
11. 45 rule on N9 2 outies R89C6 = 11 = {29/38/47/56}, no 1
12. 3 in R1 only in R1C789, locked for N3
12a. 13(4) cage at R1C6 contains 3 = {1237/1345}
12b. 21(3) cage at R2C8 = {489/678} (cannot be {579} which clashes with 13(4) cage), no 5, 8 locked for N3
13. R12C6 (step 10) = [15/24/42]
13a. Hidden killer pair 6,9 in 17(4) cage at R2C6 and 21(3) cage at R2C8 for N3, 21(3) cage contains one of 6,9 -> 17(4) cage must contain one of 6,9 -> 17(4) cage = {1259/2456} (cannot be {1457} which doesn’t contain 6 or 9), no 7
13b. 5 of {1259} must be in R2C6 (otherwise cannot place 1 for 13(4) cage at R2C6 because of permutations for R12C6)
13c. 4 of {2456} must be in R2C6 (17(4) cage cannot be 2{456} which clashes with 21(3) cage at R2C8), no 2 in R2C6, no 4 in R2C7 + R3C78, clean-up: no 4 in R1C6 (step 10)
13d. 17(4) cage = {1259/2456}, 2 locked for N3
[An alternative way to look at step 13b. 13(4) cage at R1C6 contains 1 so if 17(4) cage also contains 1 then the 1 in the 13(4) cage must be in R1C6 and then R2C6 is 5.
Ed showed me an alternative way
13(4) cage at R1C6 contains one of 2,4
2 in R2C6 “sees” all 2s in N3 apart from in 13(4) cage, in which case there can’t be 4 in the 13(4) cage -> R12C6 cannot be [42].]
14. 45 rule on N23 1 innie R3C4 = 1 outie R4C6, no 1,5,6 in R3C4, no 7,8,9 in R4C6, clean-up: no 2,3,4 in R6C6 (step 6), no 1,2,6 in R7C4 (step 4)
15. R7C12 = R7C4 + 8 (step 9), min R7C4 = 3 -> min R7C12 = 11, no 1 in R7C12
15a. 45 rule on N7 3(2+1) outies R6C23 + R7C4 = 11, min R7C4 = 3 -> max R6C23 = 8, no 8,9 in R6C23
16. 45 rule on N1 2 innies R3C12 = 1 outie R3C4 + 10
16a. Min R3C4 = 2 -> min R3C12 = 12, no 2 in R3C12
17. 45 rule on R789 3 outies R6C236 = 15
17a. 15(3) can only contain one of 7,8,9, R6C6 = {789} -> no 7 in R6C23
18. 45 rule on R123 3 outies R4C236 = 14 = {149/239/248/347} (cannot be {158/167} because R4C6 only contains 2,3,4, cannot be {257} which clashes with R4C19, cannot be {356} which clashes with R4C45), no 5,6
19. 15(3) cage at R4C9 = {159/168/249/267/456} (cannot be {258/348/357} which leave only one combination for the pair of 9(2) cages in N6), no 3, clean-up: no 5 in R4C1 (step 7)
20. 22(4) cage at R1C3 = {2389/2479/2569/3469/3568} (cannot be {2578/3478/4567} which clash with R1C12)
[I originally used incorrect logic to eliminate a further combination, so rather than re-work all my later steps I’ll use a short forcing chain.]
20a. 22(4) cage = {2389/2569/3469/3568}, no 7
or 22(4) cage = {2479} = {279}4 (cannot be {479}2 which clashes with R1C12) => R3C4 = 4, R2C4 = 7, R4C6 = 4 (step 14), R6C6 = 7 (step 6), locked for D\ -> no 7 in R23C3
-> 22(4) cage = {2389/2569/3469/3568}, no 7
20b. 3 of {3469} must be in R3C4 -> no 4 in R3C4, clean-up: no 4 in R4C6 (step 14), no 7 in R6C6 (step 6), no 3 in R7C4 (step 4)
20c. Killer pair 8,9 in R4C45 and R6C6, locked for N5
[Ed pointed out that there’s a much simpler way.
3 in N7 only in R7C12 + R789C3, CPE no 3 in R7C4.
That’s actually been there since the Prelims; maybe that’s why I never spotted it, it’s not a particularly obvious CPE unless one uses a certain artificial aid in SudokuSolver.
The only artificial aids I use are the automatic Sum function in Excel, helpful for working out differences when using the 45 rule, and a table of combinations although I normally do two and three cell combinations from memory.]
21. 4 in N5 only in R5C456, locked for R5, clean-up: no 8 in R5C78 (step 5)
21a. R5C456 (step 5a) = {147/246}, no 3
22. R7C12 = R7C4 + 8 (step 9), min R7C4 = 4 -> min R7C12 = 12, no 2 in R7C12
22a. Hidden killer pair 1,2 in 18(4) cage at R7C3 and R8C12 for N7, R8C12 contains one of 1,2 -> 18(4) cage must contain one of 1,2 in C3
22b. 45 rule on C12 3 outies R456C3 = 12 = {138/147/156/237/246/345} (cannot be {129} which clashes with 18(4) cage), no 9 in R45C3
23. R4C236 (step 18) = {239/248/347} (cannot be {149} because R4C6 only contains 2,3), no 1
23a. R4C236 = {239/347} (cannot be {248} = {48}2 because 24(4) cage at R3C1 = {4578} = {57}{48} clashes with R1C12), no 8, 3 locked for R4, clean-up: no 6 in R4C78, no 5 in R4C9 (step 7)
23b. 9 of {239} must be in R4C2, 3 of {347} must be in R4C6 -> no 2,3 in R4C2
23c. R4C78 = {18/45} (cannot be {27} which clashes with R4C236), no 2,7
24. R4C236 (step 23a) = {239/347} = [473/743/923/932]
24a. 24(4) cage at R3C1 = {2589/2679/3489/4578} (cannot be {3579} = {57}[93] which clashes with R1C12, cannot be {3678} = {68}[73] which clashes with R4C236, cannot be {4569} = {56}[94] which clashes with R4C236)
24b. 2,3,9 of {2589/2679/3489} must be in R4C23 (from permutations for R4C236) -> no 9 in R3C12
25. 9 in N1 only in R123C3, locked for C3
25a. 22(4) cage at R1C3 (step 20a) = {2389/2569/3469}
[I hope Ed won’t mind me using a short forcing chain here, and another in the re-work in step 20a.]
25b. 24(4) cage at R3C1 (step 24a) = {2589/2679/3489/4578}
24(4) cage = {2589/3489/4578}, 8 locked for N1
or 24(4) cage = {2679} => R4C3 = 2
-> 22(4) cage at R1C3 = {2569/3469}, no 8, 6 locked for C3 and N1
25c. 8 in N1 only in R3C12, locked for R3
26. R1C12 = {27} (cannot be {45} which clashes with 22(4) cage at R1C3), locked for R1 and N1 -> R1C6 = 1, R2C6 = 5 (step 10), clean-up: no 6 in R89C6 (step 11)
27. Naked triple {345} in R1C789, locked for N3, clean-up: no 9 in 21(3) cage at R2C8
27a. Naked triple {678} in 21(3) cage, locked for N3
28. 15(3) cage at R4C9 (step 19) = {249/456} (cannot be {159} which clashes with R4C78, cannot be {168} which clashes with 21(3) cage at R2C8, ALS block, cannot be {267} which clashes with R3C9), no 1,7,8, clean-up: no 1,7 in R4C1 (step 7), no 5,6 in R6C1 (step 8)
28a. 1 in C9 only in R789C9, locked for N9
29. Naked pair {26} in R4C19, locked for R4 -> R4C6 = 3, placed for D/, R6C6 = 8 (step 6), placed for D\, R3C4 = 3 (step 14), clean-up: no 5 in R6C45, no 1 in R6C78
29a. Naked pair {59} in R4C45, locked for R4
29b. Naked pair {47} in R4C23, locked for R4, N4 and 24(4) cage at R3C1, no 4 in R3C12 -> R6C1 = 9, R6C9 = 4 (step 8), R1C9 = 5, placed for D/, clean-up: no 5 in R6C78, no 1 in R8C1, no 4,8 in R9C2
30. R3C7 = 9 (hidden single on D/), R2C7 = 2, R3C8 = 1, R4C78 = [18], clean-up: no 3 in R5C8 (step 5), no 7 in R6C8
30a. R2C9 = 8 (hidden single in N3)
31. R123C3 = {469} (hidden triple in N1), locked for C3 -> R4C23 = [47], clean-up: no 2 in R8C1
32. R456C3 (step 22b) = {237} (only remaining combination) -> R56C3 = {23}, locked for C3 and N4 -> R4C19 = [62], R5C9 = 9 (step 28), clean-up: no 3 in R5C7 (step 5), no 7 in R6C7, no 7 in R9C2
33. Naked pair {36} in R6C78, locked for R6 -> R6C3 = 2, R5C3 = 3
33a. R6C2 = 5 (hidden single in R6), clean-up: no 8 in R9C1
33b. R7C3 = 8 (hidden single in R7)
34. Naked triple {15} in R89C3, locked for N7 and18(4) cage at R7C3 -> R7C4 = 4, R2C4 = 7, R2C8 = 6, placed for D/, R3C9 = 7, R8C1 = 4, R8C2 = 2, placed for D/, R9C1 = 7, placed for D/, R9C2 = 6, R7C12 = [39], clean-up: no 7 in R8C6 (step 11)
34a. R89C6 = [92]
34b. Naked triple {136} in R789C6, locked for N9
35. 45 rule on R9 3 innies R9C345 = 16 = {358} (only remaining combination) -> R9C5 = 3, R9C34 = [58], R9C9 = 1, placed for D\, R5C5 = 4, placed for D\, R3C3 = 6
and the rest is naked singles without using the diagonals.