static boolean valid ( int n , int k ) {
  for ( int d = 0 ;
  d < 7 ;
  d ++ ) used [ d ] = false ;
  for ( int i = 0 ;
  i < k ;
  i ++ ) {
    int d = n % 7 ;
    if ( used [ d ] ) return false ;
    used [ d ] = true ;
    n /= 7 ;
  }
  return true ;
}

static boolean valid ( int n , int k ) { for ( int d = 0 ; d < 7 ; d ++ ) used [ d ] = false ; for ( int i = 0 ; i < k ; i ++ ) { int d = n % 7 ; if ( used [ d ] ) return false ; used [ d ] = true ; n /= 7 ; } return true ; }
(method_declaration (modifiers) type: (boolean_type) name: (identifier) parameters: (formal_parameters (formal_parameter type: (integral_type) name: (identifier)) (formal_parameter type: (integral_type) name: (identifier))) body: (block (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) condition: (binary_expression left: (identifier) right: (decimal_integer_literal)) update: (update_expression (identifier)) body: (expression_statement (assignment_expression left: (array_access array: (identifier) index: (identifier)) right: (false)))) (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: (binary_expression left: (identifier) right: (decimal_integer_literal)))) (if_statement condition: (parenthesized_expression (array_access array: (identifier) index: (identifier))) consequence: (return_statement (false))) (expression_statement (assignment_expression left: (array_access array: (identifier) index: (identifier)) right: (true))) (expression_statement (assignment_expression left: (identifier) right: (decimal_integer_literal))))) (return_statement (true))))