A - Grouping Editorial /

Time Limit: 2 sec / Memory Limit: 256 MB

配点 : 100 点

問題文

すぬけ君は、1 から 12 までの整数を下図のようにグループ分けしました。 整数 x, y (1 ≤ x < y ≤ 12) が与えられるので、x, y が同一のグループに属しているか判定してください。

b4ab979900ed647703389d4349eb84ee.png

制約

  • x, y は整数である。
  • 1 ≤ x < y ≤ 12

入力

入力は以下の形式で標準入力から与えられる。

x y

出力

x, y が同一のグループに属しているならば Yes を、そうでなければ No を出力せよ。

入力例 1

1 3

出力例 1

Yes

入力例 2

2 4

出力例 2

No

Score : 100 points

Problem 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

Constraints

  • x and y are integers.
  • 1 ≤ x < y ≤ 12

Input

Input is given from Standard Input in the following format:

x y

Output

If x and y belong to the same group, print Yes; otherwise, print No.

Sample Input 1

1 3

Sample Output 1

Yes

Sample Input 2

2 4

Sample Output 2

No