#include <cstdio>
#include <iostream>
#include <sstream>
#include <fstream>
#include <iomanip>
#include <algorithm>
#include <cmath>
#include <string>
#include <vector>
#include <list>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <bitset>
#include <numeric>
#include <climits>
#include <cfloat>
#include <functional>
using namespace std;

class Node{
public:
    char ope;
    string s;
    Node *left, *right;
    Node(){
        ope = '\0';
        left = right = NULL;
    }
    ~Node(){
        delete left;
        delete right;
    }
};

// 数式の構文木を作成する
class syntacticAnalysis
{
    vector<int> binaryPriority;       // 二項演算子の優先順位（数値が小さいほど優先順位が高い。-1ならば二項演算子ではない）
    vector<bool> binaryAssociativity; // 二項演算子の結合規則（trueならば左から右に結合）
    vector<bool> isUnaryOpe;          // 単項演算子
    stack<pair<Node*, bool> > stk;
    void deleteAllNodes()
    {
        while(!stk.empty()){
            delete stk.top().first;
            stk.pop();
        }
    }
    bool calc(int maxPriority)
    {
        if(!stk.top().second)
            return false;
        pair<Node*, bool> right = stk.top();
        stk.pop();
        while(stk.top().first != NULL){
            pair<Node*, bool> ope = stk.top();
            if(ope.second)
                break;
            stk.pop();
            if(binaryPriority[ope.first->ope] != -1 && stk.top().second){
                if(binaryPriority[ope.first->ope] > maxPriority ||
                        binaryPriority[ope.first->ope] == maxPriority && !binaryAssociativity[ope.first->ope]){
                    stk.push(ope);
                    break;
                }
                ope.first->right = right.first;
                ope.first->left = stk.top().first;
                ope.second = true;
                right = ope;
                stk.pop();
            }else if(isUnaryOpe[ope.first->ope]){
                ope.first->right = right.first;
                ope.second = true;
                right = ope;
            }else{
                stk.push(ope);
                break;
            }
        }
        bool ret = (stk.top().first == NULL);
        stk.push(right);
        return ret;
    }
public:
    // binaryOpe : 二項演算子（優先順位の高い順に並べる。secondは結合規則を表し、trueならば左から右に結合）
    // unaryOpe  : 単項演算子（前置演算子のみ対応）
    syntacticAnalysis(const vector<pair<string, bool> >& binaryOpe, const string& unaryOpe)
    {
        binaryPriority.assign(128, -1);
        binaryAssociativity.resize(128);
        isUnaryOpe.assign(128, false);
        for(unsigned i=0; i<binaryOpe.size(); ++i){
            for(unsigned j=0; j<binaryOpe[i].first.size(); ++j){
                binaryPriority[binaryOpe[i].first[j]] = i;
                binaryAssociativity[binaryOpe[i].first[j]] = binaryOpe[i].second;
            }
        }
        for(unsigned i=0; i<unaryOpe.size(); ++i)
            isUnaryOpe[unaryOpe[i]] = true;
    }
    Node* makeTree(const string& s)
    {
        int n = s.size();
        int i = 0;
        stk.push(make_pair((Node*)NULL, false));
        while(i < n){
            if(s[i] == '('){
                stk.push(make_pair((Node*)NULL, false));
                ++ i;
            }else if(s[i] == ')'){
                if(!calc(INT_MAX) || stk.size() == 2){
                    deleteAllNodes();
                    return NULL;
                }
                pair<Node*, bool> node = stk.top();
                stk.pop();
                stk.pop();
                stk.push(node);
                ++ i;
            }else if(binaryPriority[s[i]] != -1 || isUnaryOpe[s[i]]){
                calc(binaryPriority[s[i]]);
                Node* node = new Node;
                node->ope = s[i];
                stk.push(make_pair(node, false));
                ++ i;
            }else{
                Node* node = new Node;
                while(i < n && s[i] != '(' && s[i] != ')' && binaryPriority[s[i]] == -1 && !isUnaryOpe[s[i]]){
                    node->s += s[i];
                    ++ i;
                }
                stk.push(make_pair(node, true));
            }
        }

        if(!calc(INT_MAX) || stk.size() != 2){
            deleteAllNodes();
            return NULL;
        }else{
            Node* ret = stk.top().first;
            stk.pop();
            stk.pop();
            return ret;
        }
    }
};

pair<string, bool> binaryOpe[5] =
{
    make_pair("*", true), 
    make_pair("+-", true), 
    make_pair("&", true), 
    make_pair("^", true), 
    make_pair("|", true)
};
syntacticAnalysis sa(vector<pair<string, bool> >(binaryOpe, binaryOpe+5), "");

bool check(Node* node)
{
    if(node->ope == '\0')
        return node->s[0] != '0';
    else
        return check(node->left) && check(node->right);
}

int calc(Node* node)
{
    if(node->ope == '\0')
        return atoi(node->s.c_str());

    int a = calc(node->left);
    int b = calc(node->right);
    switch(node->ope){
        case '*':
            return a * b;
        case '+':
            return a + b;
        case '-':
            return a - b;
        case '&':
            return a & b;
        case '^':
            return a ^ b;
        default:
            return a | b;
    }
}

int solve(const string& s, int n, bool isMaximize)
{
    if(n == 0){
        Node* node = sa.makeTree(s);
        int ret = calc(node);
        delete node;
        return ret;
    }

    int ret = INT_MAX;
    if(isMaximize)
        ret = INT_MIN;

    const string add = "*+-&^|0123456789";
    for(unsigned i=0; i<=s.size(); ++i){
        for(unsigned j=0; j<add.size(); ++j){
            string t = s;
            t.insert(t.begin()+i, add[j]);
            Node* node = sa.makeTree(t);
            if(node != NULL && check(node)){
                delete node;
                int tmp = solve(t, n-1, !isMaximize);
                if(isMaximize ^ (tmp < ret))
                    ret = tmp;
            }
        }
    }
    for(unsigned i=0; i<s.size(); ++i){
        string t = s;
        t.erase(t.begin()+i);
        Node* node = sa.makeTree(t);
        if(node != NULL && check(node)){
            delete node;
            int tmp = solve(t, n-1, !isMaximize);
            if(isMaximize ^ (tmp < ret))
                ret = tmp;
        }
    }

    return ret;
}

int main()
{
    for(;;){
        int n;
        string s;
        cin >> n >> s;
        if(n == 0)
            return 0;

        if(n % 2 == 0)
            cout << solve(s, 2, true) << endl;
        else
            cout << solve(s, 1, true) << endl;
    }
}

Measured memory_bytes: 6472