Version applying symmetry reduction.