#!/bin/python3

# assumes the .ctd passes
# checks that there are at most MAXC lunch time calls,
# that the last call is lunch, and no two consecutive calls
# are lunch

import sys

MAXC = 20

n, m, l = map(int, input().split())

if l%2 != 0: sys.exit(43)

for _ in range(n): input()

calls = [int(input()) for _ in range(m)]

if sum(1 for x in calls if x == 12) > MAXC: sys.exit(43)
if calls[-1] != 12: sys.exit(43)

sys.exit(42)