Differential characteristics are satisfiable. Not valid.
Fix duplicate label.
I got new performance data and the implementation of AL and SE works.