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: from functools import reduce
  import math
  
  
  def main():
      # 文字列の2進数を数値にする
      # '101' → '5'
      # 文字列の頭に'0b'をつけてint()にわたす
      # binary = int('0b'+'101',0)
  
      # 2進数で立っているbitを数える
      # 101(0x5) → 2
      # cnt_bit = bin(5).count('1')
  
      # N! を求める
      # f = math.factorial(N)
  
      # 切り捨て
      # 4 // 3
      # 切り上げ
      # -(-4 // 3)
  
      # 初期値用:十分大きい数(100億)
      INF = float("inf")
  
      # 1文字のみを読み込み
      # 入力:2
      # a = input().rstrip()
      # 変数:a='2'
  
      # スペース区切りで標準入力を配列として読み込み
      # 入力:2 4 5 7
      # a, b, c, d = (int(_) for _ in input().split())
      # 変数:a=2 b=4 c=5 d =7
  
      # 1文字ずつ標準入力を配列として読み込み
      # 入力:2 4 5 7
      # a = list(int(_) for _ in input().split())
      # 変数:a = [2, 4, 5, 7]
  
      # 1文字ずつ標準入力を配列として読み込み
      # 入力:2457
      # a = list(int(_) for _ in input())
      # 変数:a = [2, 4, 5, 7]
      a, b = (int(_) for _ in input().split())
      l1 = [1, 3, 5, 7, 8, 10, 12]
      l2 = [4, 6, 9, 11]
      if (a in l1 and b in l1) or (a in l2 and b in l2) or (a == 2 and b == 2):
          print("Yes")
      else:
          print("No")
  
  
  if __name__ == "__main__":
      main()
  
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"}]