min 0 y 0 min x 0 0 min s x s y s min x y max 0 y y max x 0 x max s x s y s max x y p s x x f s x s y s z f max s x max s y s z p min s x max s y s z min s x min s y s z f 0 y z max y z f x 0 z max x z f x y 0 max x y min 2 0 0 s 1 max 2 p 1 f 3 FULL ./TRS/secret06/tpa06.trs