reduction_properties.v 35.9 KB