#include<bits/stdc++.h>
using namespace std;
int main() {
	char d,t;
	int a=0,b=0,c=0;
	while(1)
	{
		scanf("%c:=%c;",&d,&t);
		if(d=='\n') break;
		if(t<='9')
		{
			if(d=='a') a=t-'0';
			else if(d=='b') b=t-'0';
			else c=t-'0';
		}
		else
		{
			if(d=='a')
			{
				if(t=='b') a=b;
				else if(t=='c') a=c;
			}
			else if(d=='b')
			{
				if(t=='a') b=a;
				else if(t=='c') b=c;
			}
			else
			{
				if(t=='a') c=a;
				else if(t=='b') c=b;
			}
		}
	}
	cout<<a<<' '<<b<<' '<<c;
	return 0;
}

感谢万分