minus x x 0 minus x y cond min x y x y cond y x y s minus x s y min 0 v 0 min u 0 0 min s u s v s min u v minus 2 0 0 cond 3 min 2 s 1 INNERMOST ./TRS/SchneiderKamp/inn/cade04.trs