196.62/50.34	MAYBE
196.62/50.34	
196.62/50.34	Problem:
196.62/50.34	 b(a(b(a(b(a(a(x1))))))) -> a(a(a(a(a(b(a(b(a(b(a(b(a(x1)))))))))))))
196.62/50.34	
196.62/50.34	Proof:
196.62/50.34	 Open
196.62/50.35	EOF