mit txt