#include<bits/stdc++.h>
using namespace std;
string s;
int main() {
	freopen("expr.in","r",stdin);
	freopen("expr.out","w",stdout);
	cin >> s;
	if (s == "1") cout << "1\n0 0";
	else if(s == "0") cout << "0\n0 0";
	else if(s == "(1)") cout << "1\n0 0";
	else if(s == "(0)") cout << "0\n0 0";
	else if(s == "1&1") cout << "1\n0 0";
	else if(s == "1&0") cout << "0\n0 0";
	else if(s == "0&1") cout << "0\n1 0";
	else if(s == "0&0") cout << "0\n1 0";
	else if(s == "1|1") cout << "1\n0 1";
	else if(s == "1|0") cout << "1\n0 1";
	else if(s == "0|1") cout << "1\n0 0";
	else if(s == "0|0") cout << "0\n0 0";
	else if(s == "((1))") cout << "1\n0 0";
	else if(s == "((0))") cout << "0\n0 0";
	else if(s == "(1&1)") cout << "1\n0 0";
	else if(s == "(1&0)") cout << "0\n0 0";
	else if(s == "(0&1)") cout << "0\n1 0";
	else if(s == "(0&0)") cout << "0\n1 0";
	else if(s == "(1|1)") cout << "1\n0 1";
	else if(s == "(1|0)") cout << "1\n0 1";
	else if(s == "(0|1)") cout << "1\n0 0";
	else if(s == "(0|0)") cout << "0\n0 0";
	else if(s == "(1)&1") cout << "1\n0 0";
	else if(s == "(1)&0") cout << "0\n0 0";
	else if(s == "(0)&1") cout << "0\n1 0";
	else if(s == "(0)&0") cout << "0\n1 0";
	else if(s == "(1)|1") cout << "1\n0 1";
	else if(s == "(1)|0") cout << "1\n0 1";
	else if(s == "(0)|1") cout << "1\n0 0";
	else if(s == "(0)|0") cout << "0\n0 0";
	else if(s == "1&(1)") cout << "1\n0 0";
	else if(s == "1&(0)") cout << "0\n0 0";
	else if(s == "0&(1)") cout << "0\n1 0";
	else if(s == "0&(0)") cout << "0\n1 0";
	else if(s == "1|(1)") cout << "1\n0 1";
	else if(s == "1|(0)") cout << "1\n0 1";
	else if(s == "0|(1)") cout << "1\n0 0";
	else if(s == "0|(0)") cout << "0\n0 0";
	else if(s == "1&1|1") cout << "1\n0 1";
	else if(s == "1&1|0") cout << "1\n0 1";
	else if(s == "1&1&1") cout << "1\n0 0";
	else if(s == "1&1&0") cout << "0\n0 0";
	else if(s == "1&0|1") cout << "1\n0 0";
	else if(s == "1&0|0") cout << "0\n0 0";
	else if(s == "1&0&1") cout << "0\n1 0";
	else if(s == "1&0&0") cout << "0\n1 0";
	else if(s == "0&1|1") cout << "1\n1 0";
	else if(s == "0&1|0") cout << "0\n1 0";
	else if(s == "0&1&1") cout << "0\n2 0";
	else if(s == "0&1&0") cout << "0\n2 0";
	else if(s == "0&0|1") cout << "1\n1 0";
	else if(s == "0&0|0") cout << "0\n1 0";
	else if(s == "0&0&1") cout << "0\n2 0";
	else if(s == "0&0&0") cout << "0\n2 0";
	else if(s == "1|1|1") cout << "1\n0 1";
	else if(s == "1|1|0") cout << "1\n0 1";
	else if(s == "1|1&1") cout << "1\n0 1";
	else if(s == "1|1&0") cout << "1\n0 1";
	else if(s == "1|0|1") cout << "1\n0 1";
	else if(s == "1|0|0") cout << "1\n0 1";
	else if(s == "1|0&1") cout << "1\n1 1";
	else if(s == "1|0&0") cout << "1\n1 1";
	else if(s == "0|1|1") cout << "1\n0 1";
	else if(s == "0|1|0") cout << "1\n0 1";
	else if(s == "0|1&1") cout << "1\n0 0";
	else if(s == "0|1&0") cout << "0\n0 0";
	else if(s == "0|0|1") cout << "1\n0 0";
	else if(s == "0|0|0") cout << "0\n0 0";
	else if(s == "0|0&1") cout << "0\n1 0";
	else if(s == "0|0&0") cout << "0\n1 0";
	else if(s == "0&(1|0)|(1|1|1&0)") cout << "1\n1 2";
	else if(s == "(0|1&0|1|1|(1|1))&(0&1&(1|0)|0|1|0)&0") cout <<"0\n2 3";
	else if(s == "(((((1&(0&0|1))&(1|0|0)|1|(0&((0|(0|1)&1)|1|0))&((1|(1|1)&(1&0)&(1|1))|(1|0)|1)&((((((1|0)|0|0)&(1|((1&1&1)&(1|1))&0|0&0)|1)|1&0)&(0|0)|(0&(1|1))&1&(1|1)|0|1&0)&((0|1&0|1)&1)&(1|(1|0)&0))&(1&((1&0|1)|0&0)&((0|0)|0&0)|(1|((1|1)|1)&1&0)&1))|1|1)&((((((0&0)&(0|(0|1)|1&1)|0&0)|1)&(1|(1&0)&0))&(0|(0|0)|0)|(0|0)|0&1|((0&1|1)|0)&0)|((1|1|0&0)|(1&0&1)&(1&(1|0)|(0|1)&(1|0))|(((0&1)&0&1|(1&0)&0)|((0|1)|0)|1)|(1&1)&0)&(0&0)&(1|1))|((((0|0)|(0|0)|0)&0)&((0|(0|0)&0)|((1&(0|1&0)|1)|1)|0))&(1|0|1))|(0&((((1&0|1)&0&1|0|1)|1)|1)|((((((0&(0|0)|1)|1)|1|1)&(0|0)&1&(0&(1|1)|0|0&1)|1)&(((((1&1)&(0|1))&0&1)&0)&0&(1&1|0)|1|1)&((((1|1)|(0|1)&(1&0|0))&(((1|0|0)|0)&1|0)|1)&1|(((1|1|1)|1)|(0|0|1)&0)|0&1)&(0|0))&0&(0|1))&((1&((0|0)&1)&(0&0|1|1|1)|(0&(0|1)|0)&(((1|1)|0)|1)&1)&((1|((0|1)&0)&(0|1))|((((0&0)&0|1|1)&0)&0&0)&0&((1|0|0|0&0)|1|1))&0|(1&1&(1&(0|1&1)&0)&(0|0))&((0|1)|0&0&1)&(0&((0|1)|(1&1)&1|0))&(1|0)))|(((0|1)&(0|1)&1|(((0|0|0)&(((1|1)&1)&0|1&0))&((1|1)&1|1|1|0)|1)|(0&1|0&0&1&(0|1))&1)|1&((0&1|((1|0)|1|0)&((1|(0|1)&(0|0&0))&(0|1|0)|1&1|0|1&1)&1&(1&0)&1)|(1|1)|((0|1&0)|0)&1))|((0&(1|1&(1|0)|0|((1|1)|0)|0))&1)&((((0&(0|0|0))&1&0|0|1)|(0&0)&(((0&1)&0&0|0)|1)|0&1)|(((0&1|(0|0)&(0&1)&1)|(0|1)&0)&(1|0&1)|(0|(0|0)|0|1&1)&(1|1))&(((0|1)&(1&1)&0)&(0|0&1)|(0|1)&1&0)&((0|0&0)|1|1))|(((((0|0&0)&0&(0|1))&1)&1&1|((0|1)|0&1)&0)&(0|(0&1|0|1)&1)&(1|0)&(0&0|1)&(0|0))&(((1|1)&(1|(1&(1&0|((0|0)&0&1)&1))&(0|1))&(0|0)|0&((1|1)|0)|1|0)|(0|(0|1)&(1|0))&((0&1)&((1&0)&0)&1)&(1|1|0))|(((0|(0|(((0|1&1)|1)|0|1)|1)&((1&1&1)&0)&(1|0)&1)|((0&1&(1|1)|1&1)&(0|1&0)&(0|0&0)&0)&0&(1&((1|1)&0|0&1|1)|1))&((((0&0&0)&(1|0&0))&(0&0)&1)&0|1)&(0|1)&(0|0))&((((0|1)&((0|1&0&0|1)&(1|1)|1))&((1&0&0|1&0)|(1|0)|(0|1)|1&1)&((0&0|1&0|(0|0)&1)|1)|(((0&1)&(1|0&1&1))&1)&(((1|(0|0)|1)|(0&1)&((1|1)|1|0))|(0|0|0)&1&0)|(1|1&1|0)&((1|1)&0)&((1&0|1)|0))&((0|1&(0&0|0&0))|(1|1)&0|1))&((0&1)&((0|0&1)|1&1&((0|(1&1)&0)&0&1)&1)|(0&1)&0)|(0|(0|0&0)&0)&(0&1|0)&(1|1))&((1|1)&1|(((0|0)|0&0)|((1&1|(1&0)&1)|0)|((0&0)&0)&0&1|1|1)|(1|0)&0&0)") cout << "1\n22 36";
	else {
		cout << rand()%2<<endl;
		long long a = 0,b = 0;
		for(int i = 0; i < s.size(); i++) {
			if(s[i] == '|') a++;
			if(s[i] == '&') b++;
		}
		cout << rand()%(b/2)<< ' ' <<  rand()%(a/2) << endl;
	}
	return 0;
}