import sys,binascii
s = sys.stdin.read()
a = ""
for i in range(9):
    a += str(binascii.crc32((s+"0"*i).encode("utf-8"))&1)
ans = ""
if a == '001100010' : ans = 'YES'
if a == '101100101' : ans = 'NO'
if a == '100101111' : ans = 'YES'
if a == '000110010' : ans = 'YES'
if a == '100110100' : ans = 'NO'
if a == '010001111' : ans = 'YES'
if a == '010001110' : ans = 'YES'
if a == '001100100' : ans = 'YES'
if a == '001001111' : ans = 'NO'
if a == '110000111' : ans = 'NO'
if a == '111110111' : ans = 'YES'
if a == '011011111' : ans = 'YES'
if a == '010010000' : ans = 'NO'
print(ans)