195.41/49.98	MAYBE
195.41/49.98	
195.41/49.98	Problem:
195.41/49.98	 sq(0(x1)) -> p(s(p(s(p(p(p(p(s(s(s(s(0(p(s(p(s(x1)))))))))))))))))
195.41/49.98	 sq(s(x1)) ->
195.41/49.98	 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)))))))))))))))))))))))))))))))))
195.41/49.98	 twice(0(x1)) ->
195.41/49.98	 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)))))))))))))))))))))))))))
195.41/49.98	 twice(s(x1)) -> p(p(s(s(s(p(p(s(s(s(twice(p(s(p(s(x1)))))))))))))))
195.41/49.98	 p(p(s(x1))) -> p(x1)
195.41/49.98	 p(s(x1)) -> x1
195.41/49.98	 p(0(x1)) -> 0(s(s(s(s(s(s(s(s(s(s(s(x1))))))))))))
195.41/49.98	 0(x1) -> x1
195.41/49.98	
195.41/49.98	Proof:
195.41/49.98	 Open
195.41/49.98	EOF