#include<bits/stdc++.h>
#define lint long long
using namespace std;
int n,hd,yd;
string s;
int dfs(int l,int r){
	int x = 0,y = 0,z = 0,q = 0;
	for(int i = l;i <= r;i++){
		if(s[i] == '(') x++;
		else if(s[i] == ')') x--;
		else if(x == 0){
			if(s[i] == '&') y = i;
			else if(s[i] == '|') z = i;
		}
	}
	if(z){
		q = dfs(l,z - 1);
		if(q){
			hd++;
			return true;
		}
		return (q | dfs(z + 1,r));
	}else if(y){
		q = dfs(l,y - 1);
		if(!q){
			yd++;
			return false;
		}
		return (q & dfs(y + 1,r));
	}else if(s[l] == '(' && s[r] == ')') return dfs(l + 1,r - 1);
	else return s[l] - '0';
	return 0;
}
int main(){
	freopen("expr.in","r",stdin);
	freopen("expr.out","w",stdout);
	cin >> s;
	n = s.length();
	cout << dfs(0,n - 1) << endl << yd << " " << hd;
	return 0;
}