f=open("F:\\3int.txt","r")
count=0
for boolean in f:
    terms=[]
    k=0
    isa=1
    if (count != 4):
        boolean=boolean[:len(boolean)-1]

    while(boolean.find('+')!=-1):
         isa=0
         terms.append(boolean[0:boolean.find('+')])
         boolean=boolean[boolean.find('+')+1:]
         k=k+1

    terms.append(boolean)
    bigarr=[[0,0,0,0],[0,0,0,0],[0,0,0,0],[0,0,0,0]]

    for term in terms:
        temparr=[[0,0,0,0],[0,0,0,0],[0,0,0,0],[0,0,0,0]]
        length=len(term)
        termcount=0
        while len(term)>0:
            if(term[0]=='~'):
                termcount=termcount+1
                if(term[1]=='A'):
                    term=term[2:]
                    temparr[0][2]=temparr[0][2]+1
                    temparr[0][3]=temparr[0][3]+1
                    temparr[1][2]=temparr[1][2]+1
                    temparr[1][3]=temparr[1][3]+1
                    temparr[2][2]=temparr[2][2]+1
                    temparr[2][3]=temparr[2][3]+1
                    temparr[3][2]=temparr[3][2]+1
                    temparr[3][3]=temparr[3][3]+1
                elif(term[1]=='B'):
                    term=term[2:]
                    temparr[2][0]=temparr[2][0]+1
                    temparr[2][1]=temparr[2][1]+1
                    temparr[2][2]=temparr[2][2]+1
                    temparr[2][3]=temparr[2][3]+1
                    temparr[3][0]=temparr[3][0]+1
                    temparr[3][1]=temparr[3][1]+1
                    temparr[3][2]=temparr[3][2]+1
                    temparr[3][3]=temparr[3][3]+1
                    
                elif(term[1]=='C'):
                    term=term[2:]
                    temparr[0][0]=temparr[0][0]+1
                    temparr[1][0]=temparr[1][0]+1
                    temparr[2][0]=temparr[2][0]+1
                    temparr[3][0]=temparr[3][0]+1
                    temparr[0][3]=temparr[0][3]+1
                    temparr[1][3]=temparr[1][3]+1
                    temparr[2][3]=temparr[2][3]+1
                    temparr[3][3]=temparr[3][3]+1
                elif(term[1]=='D'):
                    term=term[2:]
                    temparr[0][0]=temparr[0][0]+1
                    temparr[0][1]=temparr[0][1]+1
                    temparr[0][2]=temparr[0][2]+1
                    temparr[0][3]=temparr[0][3]+1
                    temparr[3][0]=temparr[3][0]+1
                    temparr[3][1]=temparr[3][1]+1
                    temparr[3][2]=temparr[3][2]+1
                    temparr[3][3]=temparr[3][3]+1
            elif(term[0]=='A'):
                termcount=termcount+1
                term=term[1:]
                temparr[0][0]=temparr[0][0]+1
                temparr[1][0]=temparr[1][0]+1
                temparr[2][0]=temparr[2][0]+1
                temparr[3][0]=temparr[3][0]+1
                temparr[0][1]=temparr[0][1]+1
                temparr[1][1]=temparr[1][1]+1
                temparr[2][1]=temparr[2][1]+1
                temparr[3][1]=temparr[3][1]+1
            elif(term[0]=='B'):
                term=term[1:]
                termcount=termcount+1
                temparr[0][0]=temparr[0][0]+1
                temparr[0][1]=temparr[0][1]+1
                temparr[0][2]=temparr[0][2]+1
                temparr[0][3]=temparr[0][3]+1
                temparr[1][0]=temparr[1][0]+1
                temparr[1][1]=temparr[1][1]+1
                temparr[1][2]=temparr[1][2]+1
                temparr[1][3]=temparr[1][3]+1
            elif(term[0]=='C'):
                term=term[1:]
                termcount=termcount+1
                temparr[0][1]=temparr[0][1]+1
                temparr[1][1]=temparr[1][1]+1
                temparr[2][1]=temparr[2][1]+1
                temparr[3][1]=temparr[3][1]+1
                temparr[0][2]=temparr[0][2]+1
                temparr[1][2]=temparr[1][2]+1
                temparr[2][2]=temparr[2][2]+1
                temparr[3][2]=temparr[3][2]+1
            elif(term[0]=='D'):
                term=term[1:]
                termcount=termcount+1
                temparr[1][0]=temparr[1][0]+1
                temparr[1][1]=temparr[1][1]+1
                temparr[1][2]=temparr[1][2]+1
                temparr[1][3]=temparr[1][3]+1
                temparr[2][0]=temparr[2][0]+1
                temparr[2][1]=temparr[2][1]+1
                temparr[2][2]=temparr[2][2]+1
                temparr[2][3]=temparr[2][3]+1
        if (termcount==1):
            for i in range(len(temparr)) :  
                for j in range(len(temparr[i])) :  
                    if(temparr[i][j]==1):
                        bigarr[i][j]=1
        if (termcount==2):
            for i in range(len(temparr)) :  
                for j in range(len(temparr[i])) :  
                    if(temparr[i][j]==2):
                        bigarr[i][j]=1
        if (termcount==3):
            for i in range(len(temparr)) :  
                for j in range(len(temparr[i])) :  
                    if(temparr[i][j]==3):
                        bigarr[i][j]=1
        if (termcount==4):
            for i in range(len(temparr)) :  
                for j in range(len(temparr[i])) :  
                    if(temparr[i][j]==4):
                        bigarr[i][j]=1
    row1=''
    row2=''
    row3=''
    row4=''
    for i in range(len(bigarr)) :  
        for j in range(len(bigarr[i])) :  
            if (i==0):
                row1=row1+str(bigarr[i][j])
            elif (i==1):
                row2=row2+str(bigarr[i][j])
            elif (i==2):
                row3=row3+str(bigarr[i][j])
            elif(i==3):
                row4=row4+str(bigarr[i][j])
        
    print (hex(int(row1,2))[2].upper(),hex(int(row2,2))[2].upper(),hex(int(row3,2))[2].upper(),hex(int(row4,2))[2].upper())
    count=count+1