public override int GetHashCode() { return(17 + 31 * currentState.GetHashCode() + 31 * command.GetHashCode()); }