Prelims
a) 17(5) cage at R1C1= {12347/12356}, no 8,9
b) 31(5) = {16789/25789/34789/35689/45679}
c) 17(5) cage at R7C7= {12347/12356}, no 8,9
Steps resulting from Prelims
1a. 17(5) cage at R1C1= {12347/12356}, 1,2,3 locked for N1
1b. 31(5) = {16789/25789/34789/35689/45679}, 9 locked for N7
1c. 17(5) cage at R7C7= {12347/12356}, 1,2,3 locked for N9
1d. 8,9 on D\ only in R4C4 + R5C5 + R6C6, locked for N5
2. 45 rule on N2 3 innies R123C6 = 11 = {128/137/146/236/245}, no 9
2a. {245} can only be [425/524] because of NC -> no 5 in R2C6
3. 45 rule on N8 3 innies R789C4 = 11 = {128/137/146/236/245}, no 9
3a. {245} can only be [425/524] because of NC -> no 5 in R8C4
4. 45 rule on C5 3 innies R456C5= 11 = {128/137/146/236/245}, no 9
4a. {245} can only be [425/524] because of NC -> no 5 in R5C5
4b. 45 rule on R5 3 innies R5C456 = 13 {157/247/256/346} (cannot be {148/238} which clash with R456C5 = {128} because 8 in each combination only in common cell R5C5), no 8
5. R4C4 + R6C6 = {89} (hidden pair in N5)
5a. R4C4 = {89} -> no 8,9 in R3C4 + R4C3 (NC)
5b. R6C6 = {89} -> no 8,9 in R6C7 + R7C6 (NC)
5c. Min R6C6 = 8 -> max R6C45 = 6, no 6,7 in R6C45
6. 45 rule on N5 (using R5C456 = 13) 3 innies R4C456 = 18 = {279/369/378/468} (cannot be {189} because 8,9 only in R4C4, cannot be {459} because of NC, cannot be {567} because R4C4 only contains 8,9), no 1,5
7. 45 rule on C4 (using R789C4 = 11) 3 innies R456C4 = 18 = {279/369/468} (cannot be {189} because 8,9 only in R4C4, cannot be {378/459} because of NC, cannot be {567} because R4C4 only contains 8,9), no 1,5
7a. R6C4 = {234} -> no 2,3,4 in R5C4
7b. Min R6C46 = 10 -> max R6C5 = 4
7c. R5C6 = 5 (hidden single in N5)
7d. R5C456 (step 4b) = {157/256} -> R5C5 = {12}
7e. R5C6 = 5 -> no 4,6 in R4C6 + R5C7 (NC)
7f. R5C5 = {12} -> no 1,2 in R46C5 (NC)
7g. R5C5 = 1 (hidden single in N5), placed for both diagonals
8. 14(3) cage at R6C4 = {239/248} -> R6C4 = 2, placed for D/
8a. R456C4 (step 7) = 18, R6C4 = 2 -> R45C4 = 16 = [97], R4C6 = 3, placed for D/, R6C56 = [48], R4C5 = 6
8b. R4C5 = 6 -> no 5,7 in R3C5 (NC)
8c. R4C6 = 3 -> no 2,4 in R3C6 + R4C7 (NC)
8d. R5C4 = 7 -> no 6,8 in R5C3 (NC)
8e. R6C4 = 2 -> no 1,3 in R6C3 + R7C4 (NC)
8f. R6C5 = 4 -> no 3,5 in R7C5 (NC)
8g. R6C6 = 8 -> no 7 in R6C7 + R7C6 (NC)
9. R123C6 (step 2) = {146} (only remaining combination), locked for C6 and N2 -> R7C6 = 2, R89C6 = {79}, locked for N8, R7C5 = 8
9a. Naked triple {358} in 16(3) cage at R1C4, locked for C4 and N2
9b. R7C6 = 2 -> no 3 in R7C7 (NC)
9c. R3C4 = {35} -> no 4 in R3C3 (NC)
9d. R7C4 = {46} -> no 5 in R7C3 (NC)
9e. R8C5 = {35} -> no 4 in R8C4 (NC)
9f. R8C6 = {79} -> no 8 in R8C7 (NC)
9g. R9C5 = {35} -> no 4 in R9C4 (NC)
9h. 8 in N9 only in R8C9 + R9C8 -> no 7 in R8C8 + R9C9 (NC)
10. 18(3) cage at R5C7 = {369/468}, no 2, 6 locked for R5 and N6
10a. 14(3) cage at R5C1 = {239/248}, 2 locked for N4
10b. {239} must be [293/392] because of NC -> no 9 in R5C13
10c. 2 in N6 only in 14(3) cage at R4C7 = {248/257}, no 1
11. 45 rule on R4 3 remaining innies R4C123 = 13 = {148/157}, 1 locked for N4
11a. 45 rule on N4 (using R4C123 = 13) 3 innies R6C123 = 18 = {369} (only possible combination, cannot be {567} because of NC), locked for R6 and N4
11b. Naked triple {248} in 14(3) cage at R5C1, locked for R5 and N4
11c. Naked triple {157} in R4C123, locked for R4 -> R4C7 = 8
11d. R4C7 = 8 -> no 7,9 in R35C7 (NC) -> R5C7 = 3
11e. R4C8 = {24} -> no 3 in R3C8 (NC)
11f. R4C9 = {24} -> no 3 in R3C9 (NC)
12. 45 rule on D\ 4(2+2) outies R1C3 + R3C1 + R7C9 + R9C7 = 7 -> R1C3 + R3C1 = 3,4 = {12/13}, R7C9 + R9C7 = 3,4 = {12/13}
13. Consider placement for 8 in N2
R1C4 = 8 => no 7,9 in R1C5 (NC) => R1C5 = 2 => R3C5 = 9
or R2C4 = 8 => no 7,9 in R2C5 (NC) => R2C5 = 2 => R3C5 = 9
-> R3C5 = 9
14. Consider placement for 6 in N6
R5C8 = 6 => no 5,7 in R6C8 (NC) => R6C8 = 1 => R6C7 = 5
or R5C9 = 6 => no 5,7 in R6C9 (NC) => R6C9 = 1 => R6C7 = 5
-> R6C7 = 5
14a. R6C7 = 5 -> no 4,6 in R7C7 (NC)
14b. R7C7 = 7, placed for D/
14c. R7C7 = 7 -> 17(5) cage at R7C7 = {12347}, 4 locked for N9
14d. R7C7 = 7 -> no 6 in R7C8 + R8C7 (NC)
14e. R8C7 = 9, R7C8 = 5, R89C6 = [79]
14f. R7C8 = 5 -> no 4 in R8C8 (NC)
14g. R9C9 = 4 (hidden single in N9), placed for D\ -> R4C89 = [42]
14h. R4C9 = 2 -> no 1 in R3C9 (NC)
14i. 6 in C7 only in R123C7, locked for N3
15. Naked quint {12356} in 17(5) cage at R1C1, 5,6 locked for N1
16. R7C4 = 4 (hidden single in C4)
16a. 6 in R7 only in R7C123, locked for N7
16b. Naked pair {69} in R67C3, locked for C3
17. 45 rule on N7 4 innies R79C2 + R8C13 = 14 = {1238/1247/1256/1346/2345} -> no 4 in R8C2 (locked in R79C2 + R8C13 or NC)
17a. 4 in N7 only in R79C2 + R8C13 = {1247/1346/2345} -> no 5 in R8C2 (NC)
17b. R8C2 = 8, placed for D/, R8C9 = 6, R89C4 = [16]
17c. R9C4 = 6 -> no 5,7 in R9C35
17d. R89C5 = [53]
17e. R8C2 = 8 -> no 7 in R9C2 (NC)
18. R9C1 = 7 (hidden single in N7), placed for D/, R2C8 = 9, placed for D/, R7C3 = 6, placed for D/
18a. R7C1 = 9 (hidden single in N7), R7C3 + R8C2 + R9C1 = [687] = 21 -> R9C3 = 1 (cage sum), R9C7 = 2
19.R1C9 + R2C8 + R3C7 = [594] = 18 -> R1C7 + R3C9 = 9 = [18]
and the rest is naked singles, without using the diagonals or NC.