[model-checking] Результаты проверки первого задания