#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define MAXN 1000
int a,b,n,m,p,k;
int arr[MAXN];

int main() {
    //cout << 5*5*7*7 << endl;
   // freopen("C:\\in.txt", "r", stdin);
    int r;
    cin >> n >> r;
    int groups = n/4;
    printf("((1");
    for(int i = groups+1; i<=n; ++i){
        printf("*%d", i);
    }
    printf(")/(24^%d))^%d", groups, r);
    return 0;
}