logic.v 33.1 KB