package main

import "fmt"

func main() {
	var a int
	nums := map[int]int{}

	cnt := 0
	for i := 1; i <= 4*4; i++ {
		_, _ = fmt.Scan(&a)
		nums[a] = i % 16
		if a == i%16 {
			cnt++
		}
	}

	// fmt.Println(nums)

	if nums[0] == 0 && cnt != 16 {
		fmt.Println("No")
		return
	}

	for nums[0] != 0 {
		c := nums[0]
		t := nums[nums[0]]
		if c-1 != t && c+1 != t && c-4 == t && c+4 == t {
			fmt.Println("No")
			return
		}

		nums[0], nums[nums[0]] = nums[nums[0]], nums[0]
		// fmt.Println(nums)
	}

	fmt.Println("Yes")
}