en_tn/isa/56/12.md