Восстановить до корректного состояния базу схем AIG. Текущий момент - 30807 схем, ошибка bad mincode.