; @author Yusuke Oi
; @cops 1128
; secret problem 2019
; category: INF
(format TRS :problem infeasibility)
(fun - 2)
(fun 0 0)
(fun s 1)
(rule (- 0 x) 0)
(rule (- x 0) x)
(rule (- (s x) (s y)) (- x y))
(infeasible? (= (- x x) (s x)))