{"problem":{"name":"Grouping","description":{"content":"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 belo","description_type":"Markdown"},"platform":"AtCoder","limit":{"time_limit":2000,"memory_limit":262144},"difficulty":"None","is_remote":true,"is_sync":true,"sync_url":null,"sign":"abc062_a"},"statements":[{"statement_type":"Markdown","content":"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.\n\n![image](https://atcoder.jp/img/arc074/b4ab979900ed647703389d4349eb84ee.png)\n\n## Constraints\n\n*   $x$ and $y$ are integers.\n*   $1 ≤ x < y ≤ 12$\n\n## Input\n\nInput is given from Standard Input in the following format:\n\n$x$ $y$\n\n[samples]","is_translate":false,"language":"English"}],"meta":{"iden":"abc062_a","tags":[],"sample_group":[["1 3","Yes"],["2 4","No"]],"created_at":"2026-03-03 11:01:14"}}