#include <stdio.h>
int main()
{
	int num[3],max = 0,min = 100,middle = 0;
	char letter[3];
	for(int i = 0;i < 3;i++)
	{
		scanf("%d",&num[i]);
	} 
		scanf("%s",letter);
	for(int j = 0;j < 3;j++)
	{
		if(num[j] >= max)
		{
			max = num[j];
		}
		if(num[j] <= min)
		{
			min = num[j];
		}
	}
	printf("%d %d\n",max,min);
	for(int n = 0;n < 3;n++)
	{
		if(num[n] > min && num[n] < max)
		{
			middle = num[n];
		}
	}
	
	printf("%d %d %d\n",max,middle,min);
	if(letter[0] == 'A')
	{
		if(letter[1] == 'B')
		{
			printf("%d %d %d",min,middle,max);
		}
		else
		{
			printf("%d %d %d",min,max,middle);
		}
	}
	if(letter[0] == 'B')
	{
		if(letter[1] == 'A')
		{
			printf("%d %d %d",middle,min,max);
		}
		else
		{
			printf("%d %d %d",middle,max,min);
		}	
	}
	if (letter[0] == 'C')
	{
		if(letter[1] == 'B')
		{
			printf("%d %d %d",max,middle,min);
		}
		else
		{
			printf("%d %d %d",max,min,middle);
		}
	}
	return 0;
}