include

include

include

include

using namespace std; stacknum; stackop; stack<pair<int, int>>ans;

int check(char c) {

int a = 0;
if (c == '&')
	a = 2;
if (c == '|')
	a = 1;
return a;

}

void deal() {

pair<int, int>c1, c2;
int a, b;
char p;
b = num.top();
num.pop();

c2 = ans.top();
ans.pop();

a = num.top();
num.pop();

c1 = ans.top();
ans.pop();

p = op.top();
op.pop();

if (p == '&') {
	num.push(a & b);
	if (a == 0)
		ans.push({c1.first + 1, c1.second});
	else
		ans.push({c1.first + c2.first, c1.second + c2.second});
} else if (p == '|') {
	num.push(a | b);
	if (a == 1)
		ans.push({c1.first, c1.second + 1});
	else
		ans.push({c1.first + c2.first, c1.second + c2.second});
}

}

int main() {

string s;
cin >> s;
int data = 0;
for (int i = 0; i < s.size(); i++) {
	if (s[i] == '0' || s[i] == '1') {
		data = s[i] - '0';
		num.push(data);
		ans.push({0, 0});
	} else if (s[i] == '(' || s[i] == ')') {
		if (s[i] == '(')
			op.push(s[i]);
		else if (s[i] == ')') {
			while (op.top() != '(') {
				deal();
			}
			op.pop();
		}
	} else if (s[i] == '&' || s[i] == '|') {
		while (op.size() > 0 && check(op.top()) >= check(s[i]))
			deal();
		op.push(s[i]);
	}
}
while (!op.empty())
	deal();
cout << num.top() << endl;
cout << ans.top().first << " " << ans.top().second;
return 0;

}