lifting.v 13.3 KB