195.62/50.02	MAYBE
195.62/50.02	
195.62/50.02	Problem:
195.62/50.02	 a(x1) -> x1
195.62/50.02	 a(a(b(x1))) -> b(a(b(a(x1))))
195.62/50.02	 b(b(b(x1))) -> a(x1)
195.62/50.02	
195.62/50.02	Proof:
195.62/50.02	 Open
195.62/50.02	EOF