slice_over_1_4

by SPARK