#include<bits/stdc++.h>
using namespace std;
const int SIZE=100010;
const int MOD=998786493;
string s;

int main(){
	freopen("expr.in","r",stdin);
	freopen("expr.out","w",stdout);
	cin>>s;
	if(s=="0&0")cout<<"0\n1 0\n";
	if(s=="0&1")cout<<"0\n1 0\n";
	if(s=="1&0")cout<<"0\n0 0\n";
	if(s=="1&1")cout<<"1\n0 0\n";
	if(s=="0|0")cout<<"0\n0 0\n";
	if(s=="0|1")cout<<"1\n0 0\n";
	if(s=="1|0")cout<<"1\n0 1\n";
	if(s=="1|1")cout<<"1\n0 1\n";
	
	if(s=="(0&0)")cout<<"0\n1 0\n";
	if(s=="(0&1)")cout<<"0\n1 0\n";
	if(s=="(1&0)")cout<<"0\n0 0\n";
	if(s=="(1&1)")cout<<"1\n0 0\n";
	if(s=="(0|0)")cout<<"0\n0 0\n";
	if(s=="(0|1)")cout<<"1\n0 0\n";
	if(s=="(1|0)")cout<<"1\n0 1\n";
	if(s=="(1|1)")cout<<"1\n0 1\n";
	
	if(s=="0&0&0")cout<<"0\n2 0\n";
	if(s=="0&0&1")cout<<"0\n2 0\n";
	if(s=="0&0|1")cout<<"1\n1 0\n";
	if(s=="0&0|0")cout<<"0\n1 0\n";
	
	if(s=="0&1&0")cout<<"0\n2 0\n";
	if(s=="0&1&1")cout<<"0\n2 0\n";
	if(s=="0&1|1")cout<<"1\n1 0\n";
	if(s=="0&1|0")cout<<"0\n1 0\n";
	
	if(s=="1&0&0")cout<<"0\n1 0\n";
	if(s=="1&0&1")cout<<"0\n1 0\n";
	if(s=="1&0|1")cout<<"1\n0 0\n";
	if(s=="1&0|0")cout<<"0\n0 0\n";
	
	if(s=="1&1&0")cout<<"0\n0 0\n";
	if(s=="1&1&1")cout<<"1\n0 0\n";
	if(s=="1&1|1")cout<<"1\n0 1\n";
	if(s=="1&1|0")cout<<"1\n0 1\n";
	

	if(s=="0|0|0")cout<<"0\n0 0\n";
	if(s=="0|0|1")cout<<"1\n0 0\n";
	if(s=="0|0&1")cout<<"0\n1 0\n";
	if(s=="0|0&0")cout<<"0\n1 0\n";

	if(s=="0|1|0")cout<<"0\n0 1\n";
	if(s=="0|1|1")cout<<"1\n0 1\n";
	if(s=="0|1&1")cout<<"1\n0 0\n";
	if(s=="0|1&0")cout<<"0\n0 0\n";

	if(s=="1|0|0")cout<<"1\n0 2\n";
	if(s=="1|0|1")cout<<"1\n0 2\n";
	if(s=="1|0&1")cout<<"1\n1 1\n";
	if(s=="1|0&0")cout<<"1\n1 1\n";
	
	if(s=="1|1|0")cout<<"1\n0 2\n";
	if(s=="1|1|1")cout<<"1\n0 2\n";
	if(s=="1|1&1")cout<<"1\n0 1\n";
	if(s=="1|1&0")cout<<"1\n0 1\n";

	fclose(stdin);
	fclose(stdout);
	return 0;
}