#include <iostream>
using namespace std;
int main() {
int matrix[3][3] = {
{1, 2, 3},
{4, 5, 6},
{7, 8, 9}
};
int val1, val2;
cin >> val1 >> val2;
int row1, row2;
for(int i=0; i<3; i++){
for(int j=0; j<3; j++){
if(matrix[i][j] == val1)
row1 = i;
if(matrix[i][j] == val2)
row2 = i;
}
}
if(row1 == row2)
cout << "Yes";
else
cout << "No";
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7CglpbnQgbWF0cml4WzNdWzNdID0gewoJCXsxLCAyLCAzfSwKCQl7NCwgNSwgNn0sCgkJezcsIDgsIDl9Cgl9OwoJaW50IHZhbDEsIHZhbDI7CgljaW4gPj4gdmFsMSA+PiB2YWwyOwoJCglpbnQgcm93MSwgcm93MjsKCQoJZm9yKGludCBpPTA7IGk8MzsgaSsrKXsKCQlmb3IoaW50IGo9MDsgajwzOyBqKyspewoJCQlpZihtYXRyaXhbaV1bal0gPT0gdmFsMSkKCQkJCXJvdzEgPSBpOwoJCQlpZihtYXRyaXhbaV1bal0gPT0gdmFsMikKCQkJCXJvdzIgPSBpOwoJCX0KCX0KCWlmKHJvdzEgPT0gcm93MikKCQljb3V0IDw8ICJZZXMiOwoJZWxzZQoJCWNvdXQgPDwgIk5vIjsKCQoJcmV0dXJuIDA7Cn0=