Prelims
a) R12C1 = {18/27/36/45}, no 1
b) R12C9 = {89}
c) R5C12 = {29/38/47/56}, no 1
d) R5C89 = {17/26/35}, no 4,8,9
e) R89C1 = {14/23}
f) R89C9 = {16/25/34}, no 7,8,9
g) 10(3) cage at R1C8 = {127/136/145/235}, no 8,9
h) 19(3) cage at R3C1 = {289/379/469/478/568}, no 1
i) 8(3) cage at R3C3 = {125/134}
j) 9(3) cage at R4C5 = {126/135/234}, no 7,8,9
k) 10(3) cage at R6C1 = {127/136/145/235}, no 8,9
l) 9(3) cage at R6C7 = {126/135/234}, no 7,8,9
m) 20(3) cage at R7C2 = {389/479/569/578}, no 1,2
n) 35(5) cage at R7C5 = {56789}
1a. Naked pair {89} in R12C9, locked for C9 and N3
1b. Naked quint {56789} in 35(5) cage at R7C5, locked for N8
1c. Max R9C6 = 4 -> min R89C7 = 12, no 1,2 in R89C7
2a. 45 rule on R12 3 outies R3C258 = 22 = {589/679}, 9 locked for R3
2b. 5 of {589} must be in R3C8 -> no 5 in R3C25
2c. 10(3) cage at R1C8 = {127/136/145/235}
2d. R3C8 = {567} -> no 5,6,7 in R12C8
2e. 45 rule on R89 3 outies R7C258 = 22 = {589/679}, 9 locked for R7
2f. 9 in C1 only in R45C1, locked for N4, clean-up: no 2 in R5C1
3a. Hidden killer pair 8,9 in 15(3) cage at R7C8 and 16(3) cage at R8C7 for N9, neither can hold both of 8,9 -> they must each contain one of 8,9
3b. 15(3) cage = {168/249/258/348} (cannot be {159} which clashes with 10(3) cage at R1C8), no 7
3c. 10(3) cage at R1C8 = {127/136/235} (cannot be {145} which clashes with 15(3) cage), no 4
3d. 45 rule on C8 3 innies R456C8 = 20 = {479/569/578} (cannot be {389} which clashes with 15(3) cage), no 1,2,3, clean-up: no 5,6,7 in R5C9
3e. 45 rule on C2 3 innies R456C2 = 9 = {126/135/234}, no 7,8,9, clean-up: no 3,4 in R5C1
3f. 1 of {126/135} must be in R6C2 -> no 5,6 in R6C2
3g. 19(3) cage at R3C1 = {289/379/469/478/568}
3h. 2,3 of {289/379} must be in R4C2 -> no 2,3 in R34C1
3i. 10(3) cage at R6C1 = {127/136/145/235}
3j. R6C2 = {1234}, 10(3) cage contains two of 1,2,3,4 -> R67C1 must contain one of 1,2,3,4
3k. Killer quad 1,2,3,4 in R12C1, R67C1 and R89C1, locked for C1
4a. 45 rule on C34 2 innies R28C4 = 15 = {69/78}
4b. 45 rule on C67 2 innies R28C6 = 11 = [29/38/47/56/65]
5a. 45 rule on R1234 3 innies R4C456 = 11 = {128/137/146/236/245}, no 9
5b. 45 rule on R6789 3 innies R6C456 = 19 = {289/379/469/478/568}, no 1
5c. 2,3 of {289/379} must be in R6C5 -> no 2,3 in R6C46
5d. R4C456 = 11, R6C456 = 19 -> R5C456 = 15
5e. 45 rule on N5 2 outies R5C37 = 11 = [29]/{38/47/56}, no 1, no 2 in R5C7
5f. 9(3) cage at R4C5 = {126/135/234}
5g. 1 in R5 only in R5C456 = 15 = {159/168} or R5C89 = [71] -> R5C456 = 15 = {159/168/249/258/348/456} (cannot be {267/357}, blocking cages), no 7
5h. 1 in N5 only in R4C456 or in R5C456 = 15 = {159/168}
5i. R4C456 = 11 = {128/137/146/245} (cannot be {236} which clashes with 9(3) cage = {126/234} CCC (combination crossover clash) while after R4C456 = {236}, R5C456 = {159} clashes with 9(3) cage = {135}, CCC)
5j. R5C456 = {168/249/258/456} (cannot be {159/348} which clash with R4C456), no 3
5k. R6C456 = 19 = {289/379/469/568} (cannot be {478} which clashes with R4C456)
5l. 3 in R5 only in R5C12 = {38} or R5C37 = {38} or R5C89 = [53] -> R5C456 = {168/249/456} (cannot be {258} blocking cages)
5m. R4C456 = {128/137/245} (cannot be {146} which clashes with R5C456), no 6
5n. R6C456 = {289/379/568} (cannot be {469} which clashes with R5C456), no 4
5o. 1 in R5 only in R5C456 = 15 = {168} or R5C89 = [71] -> R5C89 = [53/71] (cannot be [62], blocking cages), no 2,6
5p. Consider combinations for 9(3) cage = {126/135/234}
9(3) cage = {126/135}, 1 locked for N5
or 9(3) cage = {234} => R5C456 = {456} (cannot be {249} which clashes with {234}, CCC), 5 locked for R5 => R5C89 = [71]
-> no 1 in R5C46
5q. Consider combinations for R4C456 = {128/137/245}
R4C456 = {128/137}
or R4C456 = {245} => R5C456 = {168} => R5C5 = 1 => 9(3) cage = [513] (cannot be [216] which clashes with R5C456, CCC)
-> no 5 in R4C46, no 4 in R4C5
[Taking this a bit further …]
5r. R4C456 = {128/137}, 1 locked for N5 => R5C456 = {249/456}
or R4C456 = {245} => 9(3) cage = [513] => R5C46 = {68}, R6C46 = {79}, R5C89 = [53], R45C6 both even, R6C6 odd => R5C7 odd = {79}, R5C7 + R6C6 = {79} = 16 => R45C6 = 8 = [26]
-> no 4 in R4C6, no 8 in R5C6
6a. 45 rule on N1 2 innies R3C13 = 1 outie R1C4 + 3
6b. Min R3C13 = 6 -> min R1C4 = 3
6c. 10(3) cage at R1C8 (step 3c) = {127/136/235}
6d. 45 rule on N3 2 innies R3C79 = 1 outie R1C6 + 2
6e. Min R3C79 = 6 = {24} (cannot be {12/13/15/23} which clash with 10(3) cage, cannot be {14} which combined with 10(3) cage = {23}5 clash with 8(3) cage at R3C3) -> min R1C6 = 4
6f. 45 rule on N9 2 innies R7C79 = 1 outie R9C6 + 7
6g. Min R7C79 = 8 -> no 1 in R7C9
7a. 15(3) cage at R7C8 (step 3b) = {168/249/258/348}, 10(3) cage at R1C8 (step 3c) = {127/136/235}, R5C37 = 11 (step 5e)
7b. Consider combinations for R456C8 (step 3d) = {479/569/578}
R456C8 = {479/578} contains 7
or R456C8 = {569), locked for C8 => R5C89 = [53], no 8 in R5C7, 15(3) cage = {348}, locked for N9, 9 in N9 only in 16(3) cage at R8C7 = {169/259} (cannot be {349} because 3,4 only in R9C6) => R7C9 = 7 (hidden single in N9) => R45C7 = [87] (hidden pair in N6)
-> 7 in N6 only in R456C8 + R5C7, locked for N6
[Just spotted.]
7c. 4 in N5 only in R4C4 + R5C456, CPE no 4 in R5C3, clean-up: no 7 in R5C7
7d. 7 in N6 only in R456C8 = {479/578}, no 6, 7 locked for C8
7e. 10(3) cage at R1C8 = {136/235}, 3 locked for C8 and N3
7f. R3C258 (step 2a) = {589/679}
7g. R3C8 = {56} -> no 6 in R3C25
[Now unexpected progress, thanks to the hard work in step 5.]
8a. R4C456 (step 5m) = {128/137/245}, R5C456 (step 5l) = {168/249/456}, R28C6 = 11 (step 4b)
8b. Consider placement for 5 in 35(5) cage at R7C5
5 in R789C5, locked for C5 => R4C456 = {128/137}
or R8C6 = 5 => R2C6 = 6 => R5C456 = {249/456} (cannot be {168} = [816]), 4 locked for N5
-> R4C456 = {128/137}, no 4,5, 1 locked for R4 and N5
[Cracked. The rest is fairly straightforward.]
8c. R5C456 = {249/456}, no 8, 4 locked for R5
8d. R5C9 = 1 (hidden single in R5) -> R5C8 = 7, clean-up: no 6 in R89C9
8e. 8(3) cage at R3C3 = {125/134}, 1 locked for R3
8f. 15(3) cage at R7C8 (step 3b) = {168/258} (cannot be {249} which clashes with R89C9), no 4,9, 8 locked for C8 and N9
8g. R46C8 = {49} (hidden pair in C8), locked for N6, clean-up: no 2 in R5C3 (step 5e)
8h. 9 in N9 only in 16(3) cage at R8C7 = {169/259/349}, no 7
8i. R7C9 = 7 (hidden single in N9) -> R6C89 = 10 = [46], R4C8 = 9, clean-up: no 5 in R5C3 (step 5e)
8j. R7C258 (step 2e) = {589}, no 6, 5,8 locked for R7
8k. 45 rule on N9 1 remaining innie R7C7 = 1 outie R9C6 = {1234}
8l. 6 in R7 only in R7C13, locked for N7
8m. 20(3) cage at R7C2 = {389/479/578}
8n. Killer triple 7,8,9 in R3C2 and 20(3) cage, locked for C2
8o. 9 in R6 only in R6C46, locked for N5
8p. R5C456 = {456}, 5,6 locked for R5, 5 locked for N5
8q. R5C12 = [92] (hidden pair in R5)
8r. Max R7C34 = 10 -> min R6C3 = 3
8s. 1 in R6 only in R6C12, locked for 10(3) cage at R6C1
8t. 10(3) cage = {127/136/145}
8u. 6 of {136} only in R7C1 -> no 3 in R7C1
8v. R456C2 (step 3e) = 9, R5C2 = 2 -> R46C2 = 7 = [43/61]
8w. 19(3) cage at R3C1 = {478/568}
8x. 6 of {568} must be in R4C2 -> no 6 in R34C1
8y. R4C2 = 6 (hidden single in N4) -> R6C2 = 1, R34C1 = {58}, locked for C1, clean-up: no 1,4 in R12C1
8z. 1 in C1 only in R89C1 = {14}, locked for N7
9a. R4C3 = 4 (hidden single in N4) -> R3C34 = 4 = {13}, 3 locked for R3
9b. 20(3) cage at R7C2 (step 8m) = {389/578}, 8 locked for C2 and N7
9c. R3C258 (step 2a) = {679} (cannot be {589} which clashes with R3C1) -> R3C8 = 6, R3C25 = {79}, 7 locked for R3
9d. R3C8 = 6 -> R12C8 = 4 = {13}, 1 locked for C8 and N3
9e. Naked triple {258} in 15(3) cage at R7C8, 2,5 locked for N9
9f. Naked pair {34} in R89C9, locked for C9 and N9
9g. R89C7 = {69} -> R9C6 = 1 (cage sum), R89C1 = [14], R89C9 = [43]
9h. R9C4 = 2 -> R89C3 = 12 = [39/57/75], no 9 in R8C3
9i. 7 in R4 only in R4C456 (step 8b) = {137}, 3,7 locked for N5, 3 locked for R4
9j. R7C7 = 1 -> R6C7 + R7C6 = 8 = [53], R34C9 = [52], R34C1 = [85], R4C67 = [78], clean-up: no 4 in R2C6, no 8 in R8C6 (both step 4b)
9k. R6C5 = 2 -> R45C5 = 7 = [16/34]
9l. R4C6 = 7, R5C7 = 3 -> R56C6 = 14 = [59/68]
9m. R28C6 (step 4b) = [29] (cannot be {56} which clashes with R56C6) -> R56C6 = [68], R3C67 = [42], R1C6 = 5, R45C5 = [34]
9n. R6C4 = 9, clean-up: no 6 in R28C4 (step 4a)
9o. R1C4 = 6 (hidden single in C4) -> R12C3 = 11 = [29]
and the rest is naked singles.