#include<atcoder/all>
{ll@n,@a[2n];atcoder::two_sat s(n);rep(i,2n)rep(j,2n)if(isPrime(10**Digit(a[j])*a[i]+a[j]))s.add_clause(i/2,~i%2,j/2,j%2);wt(s.satisfiable()?"Yes":"No");}