Preliminaries:
a) 30(4) r12c34 = {6789}
b) 17(2) r89c1 = {89} not elsewhere in c1/N7 -> 10(2) r78c3 = {37/46}
c) 4(2) r89c9 = {13} not elsewhere in c9/N9
d) 8(3) r8c4+r9c34 = {125/134} Must have 1 -> r9c56 <> 1
e) 12(4) r12c67 = {1236/1245} Must have 1 and 2
f) 20(3) N3, no 1,2
g) 11(3) N1, no 9
h) 15(2) N9 = {69/78}
i) 18(5) at r3c6 = {12348/12357/12456} Must have 1 and 2
1. Outies c1234: r6c5 = 5
2. Innies c5: r45c5 = 5 = {14/23} -> r3c6+r4c67 = 13 (must have 1 or 2, can’t have both 3,4) = {148/157/238/256}
3. Innies N3: r12c7+r3c9 = 8 = {125/134} Must have 1, not elsewhere in N3
-> 1 locked to r12c7, not elsewhere in c7; r12c6 <> 1
No 3 in r3c9 -> r12c7 <> 4
4. Innies N9: r7c9+r9c7 = 11 = {29/47/56}
5. Outies c12: r35c3 = 10 = {19/28/37/46}
6. Outies c89: r35c7 = 10 = {28/37/46}
7. Outies – Innies r12: r3c5 – r2c28 = 1
-> r2c28 max 8, min 3 -> r3c5 = (46789), r2c2 = (1…6), r2c8 = (2…7)
Options: [412]/[614]/6{23}/[715]/7{24}/[816]/8{25/34}/[917]/9{26/35}
8. Innies r123: r3c1469 = 11 = {1235} not elsewhere in r3
-> r5c3 <> 7,8,9; r5c7 <> 7,8
-> split 8(3) N3 = {125}
-> 20(3) N3 = {389/479} Must have 9; If {389}, r1c8 = 3 -> r1c3 <> 8
-> 17(3) N3 = {368/467} Must have 6
-> 3 locked to r12c8, not elsewhere in c8 -> 3 locked to r456c7
-> r3c5 <> 4 (step 7)
9. Innies N7: r7c1+r9c3 = 6 = {15/24}
10. Grouped x-wing (1): 8(3) and 4(2) both in r89, 1 not elsewhere in r89
11. 12(3) N7 = {156/246/237} {147} blocked by 10(2) and {345} blocked by r7c1+r9c3 -> r7c2 <> 5
12. 15(3) N9 = {249/258/456} {267} blocked by 15(2)
13. 17(4) r6c345+r7c4 = 5{129/138/147/237/246} Must have at least one of 1,2
14. Innies N1: r12c3+r3c1 = 18 = {189/279/369/378/567}
15. Outies r6789: r5c1678 = 14 (no 9) = {1238/1247/1256/1346/2345}
16. 22(4) r349c9+r4c8 = 2{479/569/578}, 5{179/269/278/467}
17. O-I N8: r7c46 – r9c37 = 4
-> r7c46 min 7, max 17; r9c37 min 3, max 13
18. Grouped x-wing (5): in c34 5 locked within 20(4) and 8(3)
-> 8(3) = {125} -> r7c1 <> 2
-> r9c56 <>2, r9c6 <> 5 (cells see all of 8(3))
19. Grouped x-wing (9): in r12 both 30(4) and 20(3) must have 9
-> r12c5 <> 9
20. 16(3) N1, min from r3c23 = {46} = 10 but can’t repeat so r2c2 <> 6, r3c23 not {46}
Options: {169/178/268/349/367/457}
If {349/457} r2c2 = 3/5 -> r2c2 <> 4
21. Pointing cells: 6 locked to r4567c9 -> r5c78, r6c8 <> 6 -> r3c7 <> 4
22. Pointing cells: 1 locked to r45c5+r34c6 of 18(5) -> r56c6 <> 1
23. r3c9 = (25)
a) r3c9 = 2 -> r12c7 = {15} -> r12c6 = {24}
-> in N2 5 locked to r3c46 -> r3c1 <> 5
b) r3c9 = 5 -> r3c1 <> 5
Either case r3c1 <> 5
Further, if r3c9 = 5, r12c7 = {12}, then 5 locked to r12c6, so in either case 12(4) = {1245}
-> 4 locked to r12c6 not elsewhere in N2/c6
-> 18(3) N2 options: {189/279/369/378} -> r3c5 <> 6
24. 16(3) r8c6+r9c67 = {259/268/349/358/367/457}
If {259} r9c6 = 9; if {349} r9c7 = 4 -> r9c7 <> 9 -> r7c9 <> 2
25. r3c9 = (25)
a) r3c9 = 2 -> r4c8 <> 2
b) r3c9 = 5 -> r12c7 = {12} -> 2 locked to r789c8 -> r4c8 <> 2
Either case, r4c8 <> 2
26. 30(4) N12 = {6789}
a) if 9 within r12c3 -> r6c3 <> 9
b) if 9 within r12c4 -> r6c6 = 9 -> r6c3 <> 9
Either case r6c3 <> 9
27. r3c9 = (25)
a) r3c9 = 2 -> r12c7 = {15} -> r4c7 <> 5
b) r3c9 = 5 -> r3c4 <> 5 -> r89c4 must have 5 -> r9c3 <> 5 -> r4c3 = 5 -> r4c7 <> 5
Either case r4c7 <> 5
28. 18(5) = {12348/12357/12456}
Because r45c5 must be {14} or {23}, if 18(5) = {12357}, r45c5 = {23}, r3c6 = 5, r4c6 = 1, r4c7 = 7 -> r4c6 <> 7
29. 18(3) N2 = {189/279/369/378} Must have one of 7,9
-> 17(3) N8 not {179} -> r7c5 <> 1
-> 17(3) N8 = {269/278/368/467}
30. Split 18(3) N1 = {189/279/369/378} Must have one of 3,9
-> 16(3) N1 not {349}
-> 16(3) N1 = {169/178/268/367/457}
31. 16(3) N1 must have at least one of 6,7 within r3c23
17(3) N3 must have at least one of 6,7
If r2c8 = 6, r3c78 = [74]; else 6 in r3c78
-> r3c5 <> 7
-> 18(3) N2 = {18/27/36}9/{37}8
32. 1 locked to r45c5+r34c6 of 18(5)
a) if r3c6 = 1 -> 1 locked to r789c4 -> r456c4 <> 1
b) if r45c5 or r4c6 = 1 -> r456c4 <> 1
Either case r456c4 <> 1
-> 1 locked to r45c5+r4c6 of 18(5) -> r3c6 <> 1
33. In r3, 1 in r3c1 or r3c4
a) r3c1 = 1 -> r7c1 <> 1
b) r3c4 = 1 -> r7c6 = 1 -> r7c1 <> 1
Either case r7c1 <> 1
-> r9c3 <> 5
-> 5 locked to r89c4, not elsewhere in c4/N8
-> HS r4c3 = 5
-> r345c4 = 15 = {168/249/267/348} -> r45c4 <> 2,3
34. 9 locked tor123c3 -> r3c2 <> 9
35. Pointing pair: 5 locked to r5c89 -> r7c9 <> 5 -> r9c7 <> 6
36. 16(3) r8c6+r9c67 = {259/268/349/358/367}
If {367} r9c7 = 7 -> r89c6 <> 7
37. 7 locked to r567c6 -> 24(4) = {7…}-> r6c7 <> 7
24(4) = {2679/3678} Must also have 6
38. 1 locked to r789c4 -> r3c4 <> 1
-> r3c1 = 1 -> r12c3 = {89} not elsewhere in c3/N1 -> r12c4 = {67} not elsewhere in c4/N2
-> 11(3) N1 = {236/245}
-> 16(3) N1 = {367/457}, 7 not elsewhere in r3
-> HS r3c5 = 9 -> r12c5 = {18} not elsewhere in c5
-> r45c5 = {23} not elsewhere in c5/N5/18(5) -> r3c6 = 5
-> r3c9 = 2, r3c4 = 3
-> r45c4 = {48} not elsewhere in c4/N5 -> r6c4 = 9 -> r789c4 = {125} not elsewhere in N8
-> 8 locked to r3c78 -> 17(3) = 3{68} -> 20(3) = {479}
… Straightforward cage combinations and singles from here
2 3 8 6 1 4 5 7 9
6 5 9 7 8 2 1 3 4
1 7 4 3 9 5 8 6 2
3 8 5 4 2 1 7 9 6
4 9 6 8 3 7 2 1 5
7 1 2 9 5 6 3 4 8
5 4 3 1 6 8 9 2 7
9 2 7 5 4 3 6 8 1
8 6 1 2 7 9 4 5 3
