AT_abc062_a [ABC062A] Grouping
Description
[problemUrl]: https://atcoder.jp/contests/abc062/tasks/abc062_a
すぬけ君は、$ 1 $ から $ 12 $ までの整数を下図のようにグループ分けしました。 整数 $ x $, $ y $ ($ 1\
Input Format
入力は以下の形式で標準入力から与えられる。
> $ x $ $ y $
Output Format
$ x $, $ y $ が同一のグループに属しているならば `Yes` を、そうでなければ `No` を出力せよ。
Explanation/Hint
### 制約
- $ x $, $ y $ は整数である。
- $ 1\