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