196.28/50.12	MAYBE
196.28/50.12	
196.28/50.12	Problem:
196.28/50.12	 a(a(a(b(x1)))) -> b(a(b(a(a(a(x1))))))
196.28/50.12	 b(a(x1)) -> x1
196.28/50.12	
196.28/50.12	Proof:
196.28/50.12	 Open
196.28/50.13	EOF