[model-checking] Подведение итогов по первому заданию