lifting.v 9.19 KB