int main()
{
int arr[3],min,max;
char ch[4];
scanf("%d%d%d",&arr[0],&arr[1],&arr[2]);
min=arr[0];
if(min>arr[1]) min=arr[1];
if(min>arr[2]) min=arr[2];
max=arr[0];
if(max<arr[1]) max=arr[1];
if(max<arr[2]) max=arr[2];
arr[1]=arr[1]+arr[0]+arr[2]-max-min;
for(int i=0;i<4;i++){
scanf("%c",&ch[i]);}
for(int i=0;i<4;i++){
if(ch[i]=='A')printf("%d ",min);
if(ch[i]=='B')printf("%d ",arr[1]);
if(ch[i]=='C')printf("%d ",max);
}
return 0;
}```