output_description: If x and y belong to the same group, print `Yes`; otherwise, print `No`.
  
  * * *
input_description: Input is given from Standard Input in the following format:
  
      
      
      x y
attempt: import functools
  
  import os
  
  INF = float("inf")
  
  
  def inp():
      return int(input())
  
  
  def inpf():
      return float(input())
  
  
  def inps():
      return input()
  
  
  def inl():
      return list(map(int, input().split()))
  
  
  def inlf():
      return list(map(float, input().split()))
  
  
  def inls():
      return input().split()
  
  
  def inpm(line):
      return [inp() for _ in range(line)]
  
  
  def inpfm(line):
      return [inpf() for _ in range(line)]
  
  
  def inpsm(line):
      return [inps() for _ in range(line)]
  
  
  def inlm(line):
      return [inl() for _ in range(line)]
  
  
  def inlfm(line):
      return [inlf() for _ in range(line)]
  
  
  def inlsm(line):
      return [inls() for _ in range(line)]
  
  
  def debug(fn):
      if not os.getenv("LOCAL"):
          return fn
  
      @functools.wraps(fn)
      def wrapper(*args, **kwargs):
          print(
              "DEBUG: {}({}) -> ".format(
                  fn.__name__,
                  ", ".join(
                      list(map(str, args))
                      + ["{}={}".format(k, str(v)) for k, v in kwargs.items()]
                  ),
              ),
              end="",
          )
          ret = fn(*args, **kwargs)
          print(ret)
          return ret
  
      return wrapper
  
  
  x, y = inl()
  a = [1, 3, 5, 7, 8, 10, 12]
  b = [4, 6, 9, 11]
  c = [2]
  if x in a and y in a or x in b and y in b or x == 2 and b == 2:
      print("Yes")
  else:
      print("No")
  
problem_description: Statement
  
  Based on some criterion, Snuke divided the integers from 1 through 12 into
  three groups as shown in the figure below. Given two integers x and y (1 ≤ x <
  y ≤ 12), determine whether they belong to the same group.
  
  ![b4ab979900ed647703389d4349eb84ee.png](https://atcoder.jp/img/arc074/b4ab979900ed647703389d4349eb84ee.png)
samples: [{"input": "1 3", "output": "Yes\n    \n\n* * *"}, {"input": "2 4", "output": "No"}]