195.45/49.96	MAYBE
195.45/49.96	
195.45/49.96	Problem:
195.45/49.96	 a(x1) -> x1
195.45/49.96	 a(a(b(x1))) -> a(b(b(a(x1))))
195.45/49.96	 b(b(b(x1))) -> a(x1)
195.45/49.96	
195.45/49.96	Proof:
195.45/49.96	 Open
195.45/49.97	EOF