0
1
mirror of https://git.sb/baoshuo/OI-codes.git synced 2024-12-24 17:32:00 +00:00
Baoshuo Ren 2023-07-08 20:03:34 +08:00
parent 7a7ec4debe
commit aae32840c4
Signed by: baoshuo
GPG Key ID: 00CB9680AB29F51A

18
AtCoder/ABC309/A/A.cpp Normal file
View File

@ -0,0 +1,18 @@
#include <iostream>
using std::cin;
using std::cout;
const char endl = '\n';
int main() {
std::ios::sync_with_stdio(false);
cin.tie(nullptr);
int a, b;
cin >> a >> b;
cout << (b - a == 1 && a != 3 && a != 6 && a != 9 && b != 1 && b != 4 && b != 7 ? "Yes" : "No") << endl;
return 0;
}