logic.v 42.8 KB