$M konečně všechna tps hotova