{"raw_statement":[{"iden":"problem statement","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)"},{"iden":"constraints","content":"*   $x$ and $y$ are integers.\n*   $1 ≤ x < y ≤ 12$"},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$x$ $y$"},{"iden":"sample input 1","content":"1 3"},{"iden":"sample output 1","content":"Yes"},{"iden":"sample input 2","content":"2 4"},{"iden":"sample output 2","content":"No"}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}