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