import math
import sys
from typing import List, Tuple

int1 = lambda x: int(x) - 1
input = lambda: sys.stdin.readline().rstrip('\n')
ii = lambda: int(input())
vi = lambda: list(map(int, input().split()))
vi1 = lambda: list(map(int1, input().split()))


def dbg(*args, **kwargs):
    print(*(repr(arg) for arg in args), *(f'{k}: {repr(v)}' for k, v in kwargs.items()),
          sep='; ', file=sys.stderr, flush=True)


def main():
    a = vi() + vi() + vi() + vi()
    md = list(range(1, 16)) + [0]
    mv = [False] * 16
    while a != md:
        zpos = a.index(0)
        if zpos == 15:
            return 'No'
        want = zpos + 1
        if mv[want]:
            return 'No'
        mv[want] = True
        wantpos = a.index(want)
        if abs(wantpos - zpos) not in [1, 4]:
            return 'No'
        a[wantpos], a[zpos] = a[zpos], a[wantpos]

    return 'Yes'


def _start():
    if (ret := main()) is not None:
        print(*ret) if isinstance(ret, List) or isinstance(ret, Tuple) else print(ret)


if __name__ == '__main__':
    _start()