pi_5_case_slim.stp