reduction.v 830 Bytes