EQUATIONS: 
car(cons(x,y)) = x
cdr(cons(x,y)) = y
cons(car(x),cdr(x)) = x
atom(cons(x,y)) = false_()

COMPLETE TRS:
RULES:
car(cons(x,y)) -> x
cdr(cons(x,y)) -> y
cons(car(x),cdr(x)) -> x
atom(x) -> false_()

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds