18 Metamotif III: overlapping motifs in a given taxonomy

What are the FT lines (i.e. ft motif) that overlap with the hits by the pattern pat:THIOREDOXIN_1 in mouse sequences?

Hint: use the wildcard ’?’ and the overlap ’/o/’ operators.

Hint 2: there is more than one mouse species, and plenty of subspecies in the Mus genus.