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