Saidas JFLAPS + TEX