chk=set([*'0123456789ABCDEF'])
r,g,b=[input() for _ in range(3)]
if r=='NONE': r=set()^chk
else: r=set(r.split(','))^chk
if g=='NONE': g=set()^chk
else: g=set(g.split(','))^chk
if b=='NONE': b=set()^chk
else: b=set(b.split(','))^chk
print(len(r)**2*len(g)**2*len(b)**2)