197.94/50.67	MAYBE
197.94/50.67	
197.94/50.67	Problem:
197.94/50.67	 b(a(b(a(b(a(b(a(a(x1))))))))) -> a(a(a(a(b(a(b(a(b(a(b(a(b(a(x1))))))))))))))
197.94/50.67	
197.94/50.67	Proof:
197.94/50.67	 Open
197.94/50.68	EOF