R0509 Zveřejnění výsledků formální kontroly
Vyhodnocení splnění podmínek VS provedeno