public static void main ( String [ ] args ) {
  FastReader fs = new FastReader ( ) ;
  StringBuilder sb = new StringBuilder ( ) ;
  int t = fs . nextInt ( ) ;
  int side1 = fs . nextInt ( ) ;
  int side2 = 7 - side1 ;
  for ( int tt = 0 ;
  tt < t ;
  tt ++ ) {
    int curr1 = fs . nextInt ( ) ;
    int curr2 = fs . nextInt ( ) ;
    if ( curr1 == side1 || curr2 == side2 || curr1 == side2 || curr2 == side1 ) {
      System . out . println ( "NO" ) ;
      return ;
    }
  }
  System . out . println ( "YES" ) ;
}

public static void main ( String [ ] args ) { FastReader fs = new FastReader ( ) ; StringBuilder sb = new StringBuilder ( ) ; int t = fs . nextInt ( ) ; int side1 = fs . nextInt ( ) ; int side2 = 7 - side1 ; for ( int tt = 0 ; tt < t ; tt ++ ) { int curr1 = fs . nextInt ( ) ; int curr2 = fs . nextInt ( ) ; if ( curr1 == side1 || curr2 == side2 || curr1 == side2 || curr2 == side1 ) { System . out . println ( " NO " ) ; return ; } } System . out . println ( " YES " ) ; }
(method_declaration (modifiers) type: (void_type) name: (identifier) parameters: (formal_parameters (formal_parameter type: (array_type element: (type_identifier) dimensions: (dimensions)) name: (identifier))) body: (block (local_variable_declaration type: (type_identifier) declarator: (variable_declarator name: (identifier) value: (object_creation_expression type: (type_identifier) arguments: (argument_list)))) (local_variable_declaration type: (type_identifier) declarator: (variable_declarator name: (identifier) value: (object_creation_expression type: (type_identifier) arguments: (argument_list)))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (binary_expression left: (decimal_integer_literal) right: (identifier)))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) condition: (binary_expression left: (identifier) right: (identifier)) update: (update_expression (identifier)) body: (block (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (binary_expression left: (identifier) right: (identifier))) right: (binary_expression left: (identifier) right: (identifier))) right: (binary_expression left: (identifier) right: (identifier)))) consequence: (block (expression_statement (method_invocation object: (field_access object: (identifier) field: (identifier)) name: (identifier) arguments: (argument_list (string_literal)))) (return_statement))))) (expression_statement (method_invocation object: (field_access object: (identifier) field: (identifier)) name: (identifier) arguments: (argument_list (string_literal))))))