fttxfisNatxssxisNatsxisNatxisNat0ttf2tt0isNat1s100FULLenger-nonloop-isDNat.trs