196.11/50.10	MAYBE
196.11/50.10	
196.11/50.10	Problem:
196.11/50.10	 a(a(x1)) -> x1
196.11/50.10	 a(b(b(b(x1)))) -> b(b(b(a(b(a(x1))))))
196.11/50.10	
196.11/50.10	Proof:
196.11/50.10	 Open
196.11/50.10	EOF