slice_over_1_2

by SPARK