Problem:
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.

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

Solution in Scala (2.13.1) (judge verdict: Accepted)

object Main extends App {
  val inputs: Seq[String] = scala.io.Source.stdin.getLines().toList
  val nums = inputs.head.split(" ").map(_.toInt)
  val x = nums(0)
  val y = nums(1)

  println(solve(x, y))

  private def solve(x: Int, y: Int): String = {
    val ga = Seq(1, 3, 5, 7, 8, 10, 12)
    val gb = Seq(4, 6, 9, 11)
    val yes = (ga.contains(x) && ga.contains(y)) || (gb.contains(x) && gb.contains(y))

    if (x == 2 || y == 2) {
      "No"
    } else if (yes) {
      "Yes"
    } else {
      "No"
    }
  }
}