slice_over_3_1

by SPARK