slice_over_4_2

by SPARK