pridane vypisovanie minNFA