#include <iostream>
#include <fstream>
#include <cstdlib>
#include <vector>
using namespace std;

int main()
{
    ifstream infile("lotto.in");
    ofstream outfile("lotto.out");
    
    while (true)
    {
          int numTickets;
          infile >> numTickets;
          if (numTickets == 0)
             return 0;
          
          vector<bool> found(50);
          
          int numFound = 0;
          for (int i = 0; i < numTickets; i++)
          for (int j = 0; j < 6; j++)
          {
              int number;
              infile >> number;
              if (!found[number])
              {
                 found[number] = true;
                 numFound++;
              }
          }
          
          if (numFound == 49)
             outfile << "Yes" << endl;
          else
              outfile << "No" << endl;
    }
    return 0;
}