[model-checking] Обработка присланных решений задания 1