saved_prop.v 2.07 KB