Prelims
a) R1C89 = {18/27/36/45}, no 9
b) R23C5 = {18/27/36/45}, no 9
c) R45C8 = {69/78}
d) R7C23 = {16/25/34}, no 7,8,9
e) R8C12 = {17/26/35}, no 4,8,9
f) R9C12 = {18/27/36/45}, no 9
g) R9C89 = {49/58/67}, no 1,2,3
h) 21(3) cage at R1C1 = {489/579/678}, no 1,2,3
i) 11(3) cage at R3C1 = {128/137/146/236/245}, no 9
j) 22(3) cage at R6C5 = {589/679}
k) 18(5) cage at R1C3 = {12348/12357/12456}, no 9
l) 37(8) cage at R8C3 = {12345679}, no 8
[Only one “step resulting from Prelims”.]
1. 22(3) cage at R6C5 = {589/679}, CPE no 9 in R45C6
2. 45 rule on N14 1 outie R7C1 = 1 innie R1C3 + 5, R1C3 = {1234}, R7C1 = {6789}
3. 9 in N7 only in R7C1 + R89C3
3a. 45 rule on N7 3 innies R7C1 + R89C3 = 21 = {489/579}, no 1,2,3,6,clean-up: no 1 in R1C3 (step 2)
3b. R9C12 = {18/27/36} (cannot be {45} which clashes with R7C1 + R89C3), no 4,5
4. 18(5) cage at R1C3 = {12348/12357/12456}, 1 locked for C4
5. 45 rule on N1 2 outies R4C23 = 1 innie R1C3 + 6, IOU no 6 in R4C2
6. 45 rule on R6789 2 outies R5C67 = 9 = {18/27/36/45}, no 9
7. 45 rule on R1 2 innies R1C34 = 1 outie R2C1 + 2
7a. Min R2C1 = 4 -> min R1C34 = 6, no 1 in R1C4
[Don’t know whether this step can be described as locking-out cages; it’s more complex than what is usually considered by that description.]
8. Hidden killer pair 4,9 in R9C34567 and R9C89 for R9, R9C89 must have both or neither of 4,9 -> R9C34567 must have both or neither of 4,9 -> R7C1 + R89C3 (step 3a) = {579} (only remaining combination, cannot be {489} because R89C3 = {49} prevents both of 4,9 in R9C34567), locked for N7, 5 also locked for C3 and 37(8) cage at R8C3, no 5 in R8C56 + R9C4567, clean-up: no 3 in R1C3 (step 2), no 2 in R7C23, no 1,3 in R8C12, no 2 in R9C12
8a. Naked pair {26} in R8C12, locked for R8 and N7, clean-up: no 1 in R7C23, no 3 in R9C12
8b. Naked pair {34} in R7C23, locked for R7
8c. Naked pair {18} in R9C12, locked for R9, clean-up: no 5 in R9C89
9. R9C3 = 5 (hidden single in R9)
9a. 37(8) cage at R8C3 = {12345679}, 6 locked for R9, clean-up: no 7 in R9C89
9b. Naked pair {49} in R9C89, locked for R9 and N9
9c. Naked triple {2367} in R9C4567, locked for 37(8) cage -> R8C3 = 9, R7C1 = 7, R1C3 = 2 (step 2), R8C56 = {14}, locked for R8 and N8, clean-up: no 7 in R1C89
9d. R1C3 = 2 -> R4C23 (step 5) = 8 = [17/26/53/71], no 4,8, no 3 in R4C2
10. 15(4) cage at R6C9 = {1257/1347/1356} (cannot be {1239/1248/2346} because R8C89 only contain 3,5,7,8), no 8,9
10a. R8C89 = {357} -> R67C9 = {12/14/16}, 1 locked for C9, clean-up: no 8 in R1C8
10b. 13(3) cage at R3C9 = {238/247/256/346}, no 9
11. 8 in N9 only in R7C78 + R8C7, locked for 33(7) cage at R5C6, no 8 in R5C67 + R6C78, clean-up: no 1 in R5C67 (step 6)
11a. 33(7) cage = {1234689/1245678}, CPE no 4 in R5C9
12. R1C34 = R2C1 + 2 (step 7), R1C3 = 2 -> R1C4 = R2C1, no 3,7 in R1C4, no 9 in R2C1
12a. 21(3) cage at R1C1 = {489/579/678}
12b. 5 of {579} must be in R2C1 -> no 5 in R1C12
12c. 7 of {678} must be in R1C2 -> no 6 in R1C2
12d. 21(3) cage at R1C1, R1C4 = R2C1 -> R1C124 = 21 = {489/579/678}
13. 5,8,9 in N8 only in R7C456 + R8C4, 22(4) cage at R6C4 cannot contain all of 5,8,9 -> R7C6 = {589}, no 5,8,9 in R6C4
14. 45 rule on N8 2(1+1) remaining outies R6C4 + R9C7 = 1 innie R7C6
14a. R7C6 = {589} -> R6C4 + R9C7 = {23/26/27/36}, no 4 in R6C4
15. 45 rule on C1234 2 remaining innies R59C4 = 1 outie R7C5 + 7, IOU no 7 in R5C4
[I ought to have taken this step further, but only did so in step 22.]
16. 11(3) cage at R3C1 = {128/137/146/236/245}
16a. 2 of {245} must be in R4C2 -> no 5 in R4C2, clean-up: no 3 in R4C3 (step 9d)
17. 23(4) cage at R6C1 contains 7 = {2678/3479/3578} (cannot be {1679} which clashes with R4C23, cannot be {2579} because no 2,5,9 in R6C3), no 1
17a. 1 in R6 only in R6C789, locked for N6
17b. 22(3) cage at R6C5 = {589/679}
17c. 5 of {589} must be in R6C56 (R6C56 cannot be {89} which clashes with 23(4) cage), no 5 in R7C6
18. 45 rule on N2 4(2+2) remaining outies R12C7 + R4C46 = 13
18a. Min R4C46 = 4 (cannot be {12} which clashes with R4C23) -> max R12C7 = 9, no 9
19. 45 rule on C9 3 outies R189C8 = 1 innie R2C9 + 5
19a. Min R189C8 = 8 -> min R2C9 = 3
19b. 9 in C9 only in R29C9
19c. R189C8 cannot total 14 with 9 in R9C8 -> no 9 in R2C9
[Maybe this step is better expressed as R18C8 cannot total 5 -> R9C8 not equal to R2C9, 9 in R9C89 -> no 9 in R2C9. I don’t know whether this is one of Ed’s IOE steps.]
20. R9C9 = 9 (hidden single in C9), R9C8 = 4, clean-up: no 5 in R1C9
20a. 45 rule on C9 2 outies R18C8 = 1 innie R2C9 + 1
20b. R18C8 cannot total 5,7 -> no 4,6 in R2C9
20c. 9 in N3 only in R2C8 + R3C78, locked for 29(5) cage at R2C8, no 9 in R4C7
21. 19(4) cage at R2C2 = {1369/1378/1468/1567} (cannot be {1459} because 5,9 only in R2C2, cannot be {3457} which clashes with R7C3)
[Please feel free to ignore steps 21a and 21b; the same result is obtained in step 28.]
21a. Variable hidden killer triple 3,4,5 in 21(3) cage at R1C1, 19(4) cage and R3C12 for N1, 21(3) cage cannot contain both of 4,5, 19(4) cage contains one of 3,4,5 -> R3C12 must contain at least one of 3,4,5
21b. 11(3) cage at R3C1 = {137/146/236/245} (cannot be {128} which doesn’t contain any of 3,4,5), no 8
22. R59C4 = R7C5 + 7 (step 15)
22a. R7C5 = {25689} -> R59C4 = 9,12,13,15,16 = [27/57/93/67/87/96/97] (cannot be {36} which clash with 18(5) cage at R1C3), no 3,4 in R5C4, no 2 in R9C4
[Thanks Ed for pointing out that I’d overlooked [93]; maybe I got distracted when I eliminated {36}.]
23. 4 in C4 only in 18(5) cage at R1C3 = {12348/12456}, no 7
23a. 5 in N8 only in R7C45 + R8C4 -> 22(4) cage at R6C4 = {2569/2578} (cannot be {3568} which clashes with 18(5) cage, ALS block), no 3
23b. 3 in N8 only in R9C456, locked for R9
[The rest of step 23 and the next few steps don’t work until 3 has been eliminated from R9C4. I’ve now gone directly to my original step 28, which is now step 24; then re-worked using several of my original steps.]
24. 45 rule on N5 4 innies R4C46 + R5C6 + R6C4 = 1 outie R7C6 + 5
24a. R7C6 = {89} -> R4C46 + R5C6 + R6C4 = 13,14 must either contain 1 in R4C46, locked for R4 => R4C23 (step 9d) = [26] or R4C46 + R5C6 + R6C4 = {2345} => R6C4 = 2
-> 23(4) cage at R6C1 (step 17) = {3479/3578}, no 2,6, 3 locked for R6 and N4
[I tried to find a simpler way but once I’d spotted this step it was so powerful that I couldn’t resist it. The rest is fairly straightforward.]
25. 22(3) cage at R6C5 = {589/679}
25a. 9 of {589/679} must be in R7C6 (R6C56 cannot be {59} which clashes with 23(4) cage at R6C1) -> R7C6 = 9
25b. 22(4) cage at R6C4 (step 23a) = {2578} (only remaining combination), no 6, 7 locked for C4
25c. 6 in N8 only in R9C456, locked for R9
26. R5C4 = 9 (hidden single in C4), clean-up: no 6 in R4C8
27. R1C5 = 9 (hidden single in C5), R1C67 = 4 = {13}, locked for R1, clean-up: no 6,8 in R1C89, no 4,5 in R2C1 (step 12)
28. Naked pair {68} in R12C1, locked for C1 and N1 -> R1C2 = 7, R9C12 = [18]
[Clean-ups omitted, unless required]
29. R2C2 = 9 (hidden single in N1) -> R234C3 = 10 = {136} (only remaining combination) -> R4C3 = 6, R23C3 = {13}, locked for C3 -> R7C23 = [34], R56C3 = [78]
29a. Naked pair {45} in R3C12, locked for R3, R4C2 = 2 (cage sum)
30. R6C1 = 3 (hidden single in N4), R6C2 = 5 (cage sum), R5C12 = [41], R4C1 = 9
30a. Naked pair {67} in R6C56, locked for R6 and N5 -> R6C4 = 2, R6C789 = [491]
30b. Naked pair {58} in R7C45, locked for R7 and N8 -> R8C4 = 7, R8C89 = [35], R7C9 = 6 (cage sum), R8C7 = 8
31. R45C8 = {78} (only remaining combination) -> R4C8 = 7, R5C8 = 8, R45C9 = [32], R3C9 = 8 (cage sum), R4C7 = 5, R5C7 = 6, R5C6 = 3 (cage sum), R5C5 = 5, R4C5 = 4 (cage sum)
32. R7C45 = [58] -> 18(5) cage at R1C3 (step 23) = {12348} (only remaining combination), 3 locked for C4 -> R9C4 = 6, R1C4 = 8, R234C4 = [431]
33. R23C5 = {27} (only remaining combination), locked for C5 and N2
and the rest is naked singles.