slice_over_1_3

by SPARK