reduction.v 928 Bytes