logic.v 43.5 KB