In the past I would have written such ALS chain like this:[256]r1c46 -56- [123568]r12348c5 =>-2r1c8.r12c5, -13r6c5; stteI need help to write it in Eureka...The clearest demo of the eliminations is the PM (Pigeonhole Matrix).

Note that as the candidates in PM column #1 are also a weak inference set, the PM is a symmetric PM, i.e. any other column can be the first one. Any candidate in sight of the WIS of any PM column is eliminated =>-2r1c8.r12c5, -13r6c5; stte