slice_over_2_1

by SPARK