logic.v 40.6 KB