MAYBE
190.45/57.85	MAYBE
190.45/57.85	
190.45/57.85	Problem:
190.45/57.85	 sq(0(x1)) -> p(s(p(s(p(p(p(p(s(s(s(s(0(p(s(p(s(x1)))))))))))))))))
190.45/57.85	 sq(s(x1)) ->
190.45/57.85	 s(p(s(p(s(p(p(s(s(twice(p(s(p(s(p(p(p(s(s(s(sq(p(p(p(p(p(p(s(s(s(s(s(s(x1)))))))))))))))))))))))))))))))))
190.45/57.85	 twice(0(x1)) ->
190.45/57.85	 p(p(p(p(s(s(p(s(s(s(0(p(p(p(s(s(s(p(p(s(s(p(s(p(s(p(s(x1)))))))))))))))))))))))))))
190.45/57.85	 twice(s(x1)) -> p(p(s(s(s(p(p(s(s(s(twice(p(s(p(s(x1)))))))))))))))
190.45/57.85	 p(p(s(x1))) -> p(x1)
190.45/57.85	 p(s(x1)) -> x1
190.45/57.85	 p(0(x1)) -> 0(s(s(s(s(s(s(s(s(s(s(s(x1))))))))))))
190.45/57.85	 0(x1) -> x1
190.45/57.85	
190.45/57.85	Proof:
190.45/57.85	 Open
190.45/57.86	EOF