#include<stdio.h>
#include<string.h>
int main()
{
    int a,b,c;
    while(scanf("%d %d %d",&a,&b,&c)==3)
    {
        if(a==0&&b==0&&c==0)
        {
            break;
        }
        char s[100];
        char a1[100];
        char b1[100];
        char c1[100];
        char aa1[100];
        char bb1[100];
        char cc1[100];
        int id1=0;
        int id2=0;
        int id3=0;
        scanf("%s&...