slice_over_2_5

by SPARK