# 1 "scanner.mll"
 
  open Parser

  
  (** The general lexographic scanner for Gamma *)


  
  (** Build a string from a list of characters from: http://caml.inria.fr/mantis/view.php?id=5367 @param l The list to be glued @return A string of the characters in the list glued together *)

  let implode l =
    let res = String.create (List.length l) in
    let rec imp i = function
    | [] -> res
    | c :: l -> res.[i] <- c; imp (i + 1) l in
    imp 0 l

  
  (** Explode a string into a list of characters @param s The string to be exploded @return A list of the characters in the string in order *)

  let explode s =
    let rec exploder idx l =
      if idx < 0
        then l
        else exploder (idx-1) (s.[idx] :: l) in
    exploder (String.length s - 1) []

  
  (** A generic function to count the character-spaces of a character. (I.e. weight tabs more heavily) *)

  let spacecounter = function
    | '\t' -> 8
    | _    -> 1

  
  (** Count the space width of a string using the spacecounter function @param s The string to be evaluated @return The effective width of the string when rendered *)

  let spacecount s =
    let spaces = List.map spacecounter (explode s) in
    List.fold_left (+) 0 spaces

  
  (**/**)

  let line_number = ref 1
  
  (**/**)


  
  (** Count the lines in a series of vertical spacing characters. Please note that as of now, it is not intelligent enough to understand that \n\r should be counted as one. It seems like an oversized-amount of work for something we will never effectively need. @param v The vertical spacing series string *)

  let count_lines v = (line_number := !line_number + String.length v)

  
  (** Gracefully tell the programmer that they done goofed @param msg The descriptive error message to convey to the programmer *)

  let lexfail msg =
    raise (Failure("Line " ^ string_of_int !line_number ^ ": " ^ msg))

# 69 "scanner.ml"
let __ocaml_lex_tables = {
  Lexing.lex_base = 
   "\000\000\186\255\187\255\188\255\078\000\088\000\163\000\189\000\008\001\196\255\083\001\158\001\233\001\052\002\127\002\202\002\021\003\002\000\003\000\031\000\035\000\085\000\227\255\228\255\229\255\230\255\231\255\232\255\233\255\054\000\087\000\088\000\104\000\096\003\171\003\246\003\065\004\140\004\215\004\034\005\115\005\004\000\149\005\154\005\193\255\008\000\155\005\217\255\252\255\146\005\221\005\040\006\115\006\190\006\009\007\084\007\159\007\234\007\053\008\128\008\203\008\022\009\097\009\172\009\247\009\066\010\141\010\216\010\035\011\110\011\185\011\004\012\079\012\154\012\229\012\048\013\123\013\198\013\017\014\092\014\167\014\242\014\061\015\136\015\211\015\030\016\105\016\180\016\255\016\074\017\149\017\224\017\043\018\091\000\240\255\238\255\241\255\236\255\235\255\220\255\219\255\218\255\216\255\215\255\118\018\193\018\012\019\087\019\162\019\237\019\056\020\131\020\206\020\025\021\100\021\175\021\250\021\069\022\144\022\219\022\038\023\113\023\188\023\007\024\082\024\157\024\232\024\051\025\126\025\201\025\020\026\095\026\170\026\245\026\064\027\139\027\214\027\033\028\108\028\183\028\002\029\077\029\152\029\227\029\046\030\121\030\196\030\015\031\090\031\165\031\240\031\059\032\134\032\209\032\028\033\103\033\113\033\189\004\251\255\012\000\253\255\132\000\138\000\255\255\254\255\161\033\251\255\252\255\253\255\254\255\255\255\141\033\253\255\254\255\255\255";
  Lexing.lex_backtrk = 
   "\255\255\255\255\255\255\255\255\065\000\064\000\063\000\069\000\063\000\255\255\063\000\063\000\063\000\063\000\063\000\063\000\063\000\034\000\033\000\031\000\030\000\029\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\021\000\018\000\016\000\013\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\032\000\002\000\069\000\000\000\255\255\001\000\255\255\255\255\255\255\063\000\063\000\063\000\063\000\063\000\053\000\063\000\063\000\063\000\004\000\063\000\063\000\063\000\054\000\063\000\063\000\045\000\063\000\005\000\006\000\063\000\007\000\063\000\063\000\063\000\063\000\063\000\008\000\010\000\009\000\063\000\050\000\061\000\055\000\063\000\063\000\063\000\011\000\063\000\052\000\063\000\063\000\063\000\012\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\063\000\041\000\063\000\049\000\063\000\063\000\063\000\063\000\042\000\043\000\063\000\063\000\063\000\063\000\047\000\063\000\063\000\063\000\044\000\063\000\063\000\063\000\046\000\063\000\063\000\063\000\048\000\063\000\063\000\051\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\056\000\063\000\063\000\063\000\063\000\063\000\058\000\063\000\063\000\063\000\057\000\063\000\063\000\060\000\255\255\066\000\255\255\255\255\003\000\255\255\004\000\004\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255";
  Lexing.lex_default = 
   "\001\000\000\000\000\000\000\000\255\255\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\000\000\000\000\000\000\000\000\000\000\000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\255\255\255\255\000\000\000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\158\000\000\000\255\255\000\000\255\255\255\255\000\000\000\000\166\000\000\000\000\000\000\000\000\000\000\000\172\000\000\000\000\000\000\000";
  Lexing.lex_trans = 
   "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\043\000\041\000\041\000\041\000\041\000\041\000\041\000\041\000\041\000\045\000\045\000\045\000\045\000\159\000\159\000\159\000\159\000\000\000\000\000\000\000\000\000\000\000\000\000\043\000\000\000\003\000\000\000\000\000\018\000\000\000\000\000\027\000\026\000\019\000\021\000\022\000\020\000\009\000\040\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\042\000\023\000\031\000\032\000\030\000\103\000\102\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\029\000\101\000\028\000\017\000\007\000\100\000\038\000\006\000\013\000\006\000\015\000\033\000\006\000\006\000\016\000\006\000\006\000\006\000\008\000\035\000\037\000\010\000\006\000\039\000\012\000\034\000\006\000\011\000\014\000\036\000\006\000\006\000\025\000\155\000\024\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\099\000\098\000\097\000\095\000\096\000\093\000\094\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\164\000\163\000\000\000\000\000\005\000\000\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\002\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\152\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\135\000\006\000\006\000\134\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\131\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\127\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\123\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\119\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\109\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\108\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\105\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\104\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\089\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\083\000\006\000\006\000\006\000\006\000\006\000\006\000\082\000\006\000\006\000\084\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\074\000\006\000\006\000\006\000\071\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\073\000\006\000\006\000\006\000\006\000\006\000\072\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\069\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\159\000\159\000\159\000\159\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\161\000\000\000\000\000\000\000\006\000\162\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\068\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\066\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\049\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\048\000\046\000\045\000\045\000\045\000\045\000\043\000\046\000\045\000\045\000\045\000\045\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\047\000\000\000\000\000\000\000\000\000\046\000\000\000\000\000\000\000\000\000\043\000\046\000\000\000\160\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\044\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\051\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\050\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\063\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\052\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\053\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\055\000\006\000\006\000\006\000\054\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\059\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\056\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\057\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\058\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\060\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\061\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\062\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\064\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\065\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\067\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\070\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\081\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\079\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\078\000\006\000\077\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\075\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\076\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\080\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\087\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\085\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\086\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\088\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\090\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\091\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\092\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\106\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\107\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\114\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\110\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\112\000\006\000\006\000\006\000\111\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\113\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\115\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\116\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\117\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\118\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\120\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\121\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\122\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\124\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\125\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\126\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\128\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\129\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\130\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\132\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\133\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\148\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\137\000\006\000\006\000\006\000\006\000\006\000\136\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\142\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\138\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\139\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\140\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\141\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\143\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\144\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\145\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\146\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\147\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\149\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\150\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\151\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\153\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\154\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\168\000\168\000\168\000\168\000\174\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\174\000\000\000\000\000\000\000\000\000\000\000\167\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\174\000\000\000\000\000\000\000\000\000\174\000\174\000\000\000\000\000\000\000\174\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\174\000\000\000\170\000\000\000\174\000\000\000\174\000\000\000\174\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\173\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\169\000";
  Lexing.lex_check = 
   "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\000\000\000\000\000\000\000\000\041\000\041\000\041\000\041\000\045\000\045\000\045\000\045\000\159\000\159\000\159\000\159\000\255\255\255\255\255\255\255\255\255\255\255\255\000\000\255\255\000\000\255\255\255\255\000\000\255\255\255\255\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\017\000\018\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\019\000\000\000\000\000\000\000\020\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\004\000\000\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\021\000\029\000\030\000\031\000\031\000\032\000\093\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\161\000\162\000\255\255\255\255\005\000\255\255\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\255\255\255\255\000\000\255\255\006\000\255\255\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\006\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\255\255\255\255\255\255\255\255\008\000\255\255\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\255\255\255\255\255\255\255\255\010\000\255\255\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\255\255\255\255\255\255\255\255\011\000\255\255\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\255\255\255\255\255\255\255\255\012\000\255\255\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\255\255\255\255\255\255\255\255\013\000\255\255\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\013\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\255\255\255\255\255\255\255\255\014\000\255\255\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\255\255\255\255\255\255\255\255\015\000\255\255\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\255\255\255\255\255\255\255\255\016\000\255\255\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\016\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\255\255\255\255\255\255\255\255\033\000\255\255\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\255\255\255\255\255\255\255\255\034\000\255\255\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\255\255\255\255\255\255\255\255\035\000\255\255\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\255\255\255\255\255\255\255\255\036\000\255\255\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\255\255\157\000\157\000\157\000\157\000\255\255\255\255\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\157\000\255\255\255\255\255\255\037\000\157\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\255\255\255\255\255\255\255\255\038\000\255\255\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\255\255\255\255\255\255\255\255\039\000\255\255\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\040\000\042\000\042\000\042\000\042\000\042\000\043\000\046\000\046\000\046\000\046\000\046\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\040\000\255\255\255\255\255\255\255\255\042\000\255\255\255\255\255\255\255\255\043\000\046\000\255\255\157\000\255\255\255\255\255\255\255\255\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\255\255\255\255\255\255\255\255\255\255\255\255\042\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\255\255\255\255\255\255\255\255\049\000\255\255\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\255\255\255\255\255\255\255\255\050\000\255\255\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\255\255\255\255\255\255\255\255\051\000\255\255\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\255\255\255\255\255\255\255\255\052\000\255\255\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\052\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\255\255\255\255\255\255\255\255\053\000\255\255\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\053\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\255\255\255\255\255\255\255\255\054\000\255\255\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\054\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\255\255\255\255\255\255\255\255\055\000\255\255\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\055\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\255\255\255\255\255\255\255\255\056\000\255\255\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\255\255\255\255\255\255\255\255\057\000\255\255\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\057\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\255\255\255\255\255\255\255\255\058\000\255\255\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\255\255\255\255\255\255\255\255\059\000\255\255\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\255\255\255\255\255\255\255\255\060\000\255\255\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\255\255\255\255\255\255\255\255\061\000\255\255\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\061\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\255\255\255\255\255\255\255\255\062\000\255\255\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\062\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\255\255\255\255\255\255\255\255\063\000\255\255\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\255\255\255\255\255\255\255\255\064\000\255\255\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\255\255\255\255\255\255\255\255\065\000\255\255\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\065\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\255\255\255\255\255\255\255\255\066\000\255\255\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\066\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\255\255\255\255\255\255\255\255\067\000\255\255\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\067\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\255\255\255\255\255\255\255\255\068\000\255\255\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\255\255\255\255\255\255\255\255\069\000\255\255\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\255\255\255\255\255\255\255\255\070\000\255\255\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\255\255\255\255\255\255\255\255\071\000\255\255\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\071\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\255\255\255\255\255\255\255\255\072\000\255\255\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\255\255\255\255\255\255\255\255\073\000\255\255\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\073\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\255\255\255\255\255\255\255\255\074\000\255\255\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\255\255\255\255\255\255\255\255\075\000\255\255\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\255\255\255\255\255\255\255\255\076\000\255\255\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\255\255\255\255\255\255\255\255\077\000\255\255\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\255\255\255\255\255\255\255\255\078\000\255\255\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\255\255\255\255\255\255\255\255\079\000\255\255\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\255\255\255\255\255\255\255\255\080\000\255\255\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\255\255\255\255\255\255\255\255\081\000\255\255\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\255\255\255\255\255\255\255\255\082\000\255\255\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\255\255\255\255\255\255\255\255\083\000\255\255\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\255\255\255\255\255\255\255\255\084\000\255\255\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\255\255\255\255\255\255\255\255\085\000\255\255\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\255\255\255\255\255\255\255\255\086\000\255\255\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\255\255\255\255\255\255\255\255\087\000\255\255\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\255\255\255\255\255\255\255\255\088\000\255\255\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\255\255\255\255\255\255\255\255\089\000\255\255\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\089\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\255\255\255\255\255\255\255\255\090\000\255\255\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\090\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\255\255\255\255\255\255\255\255\091\000\255\255\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\091\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\255\255\255\255\255\255\255\255\092\000\255\255\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\255\255\255\255\255\255\255\255\104\000\255\255\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\104\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\255\255\255\255\255\255\255\255\105\000\255\255\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\105\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\255\255\255\255\255\255\255\255\106\000\255\255\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\106\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\255\255\255\255\255\255\255\255\107\000\255\255\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\107\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\255\255\255\255\255\255\255\255\108\000\255\255\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\255\255\255\255\255\255\255\255\109\000\255\255\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\255\255\255\255\255\255\255\255\110\000\255\255\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\255\255\255\255\255\255\255\255\111\000\255\255\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\111\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\255\255\255\255\255\255\255\255\112\000\255\255\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\255\255\255\255\255\255\255\255\113\000\255\255\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\255\255\255\255\255\255\255\255\114\000\255\255\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\114\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\255\255\255\255\255\255\255\255\115\000\255\255\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\115\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\255\255\255\255\255\255\255\255\116\000\255\255\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\116\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\255\255\255\255\255\255\255\255\117\000\255\255\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\117\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\255\255\255\255\255\255\255\255\118\000\255\255\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\118\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\255\255\255\255\255\255\255\255\119\000\255\255\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\119\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\255\255\255\255\255\255\255\255\120\000\255\255\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\120\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\255\255\255\255\255\255\255\255\121\000\255\255\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\121\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\255\255\255\255\255\255\255\255\122\000\255\255\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\122\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\255\255\255\255\255\255\255\255\123\000\255\255\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\123\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\255\255\255\255\255\255\255\255\124\000\255\255\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\124\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\255\255\255\255\255\255\255\255\125\000\255\255\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\125\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\255\255\255\255\255\255\255\255\126\000\255\255\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\126\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\255\255\255\255\255\255\255\255\127\000\255\255\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\127\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\255\255\255\255\255\255\255\255\128\000\255\255\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\128\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\255\255\255\255\255\255\255\255\129\000\255\255\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\129\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\255\255\255\255\255\255\255\255\130\000\255\255\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\130\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\255\255\255\255\255\255\255\255\131\000\255\255\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\131\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\255\255\255\255\255\255\255\255\132\000\255\255\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\132\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\255\255\255\255\255\255\255\255\133\000\255\255\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\133\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\255\255\255\255\255\255\255\255\134\000\255\255\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\134\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\255\255\255\255\255\255\255\255\135\000\255\255\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\135\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\255\255\255\255\255\255\255\255\136\000\255\255\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\136\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\255\255\255\255\255\255\255\255\137\000\255\255\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\137\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\255\255\255\255\255\255\255\255\138\000\255\255\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\138\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\255\255\255\255\255\255\255\255\139\000\255\255\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\139\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\255\255\255\255\255\255\255\255\140\000\255\255\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\140\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\255\255\255\255\255\255\255\255\141\000\255\255\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\141\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\255\255\255\255\255\255\255\255\142\000\255\255\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\142\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\255\255\255\255\255\255\255\255\143\000\255\255\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\143\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\255\255\255\255\255\255\255\255\144\000\255\255\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\144\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\255\255\255\255\255\255\255\255\145\000\255\255\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\145\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\255\255\255\255\255\255\255\255\146\000\255\255\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\146\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\255\255\255\255\255\255\255\255\147\000\255\255\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\147\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\255\255\255\255\255\255\255\255\148\000\255\255\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\148\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\255\255\255\255\255\255\255\255\149\000\255\255\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\149\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\255\255\255\255\255\255\255\255\150\000\255\255\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\150\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\255\255\255\255\255\255\255\255\151\000\255\255\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\151\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\255\255\255\255\255\255\255\255\152\000\255\255\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\152\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\255\255\255\255\255\255\255\255\153\000\255\255\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\153\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\255\255\255\255\255\255\255\255\154\000\255\255\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\154\000\155\000\155\000\155\000\155\000\155\000\155\000\155\000\155\000\155\000\155\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\156\000\165\000\165\000\165\000\165\000\171\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\171\000\255\255\255\255\255\255\255\255\255\255\165\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\171\000\255\255\255\255\255\255\255\255\171\000\171\000\255\255\255\255\255\255\171\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\171\000\255\255\165\000\255\255\171\000\255\255\171\000\255\255\171\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\171\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\165\000";
  Lexing.lex_base_code = 
   "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000";
  Lexing.lex_backtrk_code = 
   "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000";
  Lexing.lex_default_code = 
   "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000";
  Lexing.lex_trans_code = 
   "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000";
  Lexing.lex_check_code = 
   "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\042\000\046\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\042\000\046\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255";
  Lexing.lex_code = 
   "\255\001\255\255\000\001\255";
}

let rec token lexbuf =
  lexbuf.Lexing.lex_mem <- Array.create 2 (-1) ;   __ocaml_lex_token_rec lexbuf 0
and __ocaml_lex_token_rec lexbuf __ocaml_lex_state =
  match Lexing.new_engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
let
# 83 "scanner.mll"
               s
# 2509 "scanner.ml"
Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
# 83 "scanner.mll"
                                 ( SPACE(spacecount s) )
# 2513 "scanner.ml"

  | 1 ->
let
# 84 "scanner.mll"
                            v
# 2519 "scanner.ml"
Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_mem.(0) lexbuf.Lexing.lex_curr_pos in
# 84 "scanner.mll"
                                 ( count_lines v; COLON )
# 2523 "scanner.ml"

  | 2 ->
let
# 85 "scanner.mll"
               v
# 2529 "scanner.ml"
Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
# 85 "scanner.mll"
                                 ( count_lines v; NEWLINE )
# 2533 "scanner.ml"

  | 3 ->
# 88 "scanner.mll"
                               ( comment 0 lexbuf )
# 2538 "scanner.ml"

  | 4 ->
# 91 "scanner.mll"
                               ( REFINABLE )
# 2543 "scanner.ml"

  | 5 ->
# 92 "scanner.mll"
                               ( AND )
# 2548 "scanner.ml"

  | 6 ->
# 93 "scanner.mll"
                               ( OR )
# 2553 "scanner.ml"

  | 7 ->
# 94 "scanner.mll"
                               ( XOR )
# 2558 "scanner.ml"

  | 8 ->
# 95 "scanner.mll"
                               ( NAND )
# 2563 "scanner.ml"

  | 9 ->
# 96 "scanner.mll"
                               ( NOR )
# 2568 "scanner.ml"

  | 10 ->
# 97 "scanner.mll"
                               ( NOT )
# 2573 "scanner.ml"

  | 11 ->
# 98 "scanner.mll"
                               ( BLIT(true) )
# 2578 "scanner.ml"

  | 12 ->
# 99 "scanner.mll"
                               ( BLIT(false) )
# 2583 "scanner.ml"

  | 13 ->
# 100 "scanner.mll"
                               ( EQ )
# 2588 "scanner.ml"

  | 14 ->
# 101 "scanner.mll"
                               ( NEQ )
# 2593 "scanner.ml"

  | 15 ->
# 102 "scanner.mll"
                               ( NEQ )
# 2598 "scanner.ml"

  | 16 ->
# 103 "scanner.mll"
                               ( LT )
# 2603 "scanner.ml"

  | 17 ->
# 104 "scanner.mll"
                               ( LEQ )
# 2608 "scanner.ml"

  | 18 ->
# 105 "scanner.mll"
                               ( GT )
# 2613 "scanner.ml"

  | 19 ->
# 106 "scanner.mll"
                               ( GEQ )
# 2618 "scanner.ml"

  | 20 ->
# 109 "scanner.mll"
                               ( ARRAY )
# 2623 "scanner.ml"

  | 21 ->
# 110 "scanner.mll"
                               ( LBRACKET )
# 2628 "scanner.ml"

  | 22 ->
# 111 "scanner.mll"
                               ( RBRACKET )
# 2633 "scanner.ml"

  | 23 ->
# 112 "scanner.mll"
                               ( LPAREN )
# 2638 "scanner.ml"

  | 24 ->
# 113 "scanner.mll"
                               ( RPAREN )
# 2643 "scanner.ml"

  | 25 ->
# 114 "scanner.mll"
                               ( LBRACE )
# 2648 "scanner.ml"

  | 26 ->
# 115 "scanner.mll"
                               ( RBRACE )
# 2653 "scanner.ml"

  | 27 ->
# 118 "scanner.mll"
                               ( SEMI )
# 2658 "scanner.ml"

  | 28 ->
# 119 "scanner.mll"
                               ( COMMA )
# 2663 "scanner.ml"

  | 29 ->
# 122 "scanner.mll"
                               ( PLUS )
# 2668 "scanner.ml"

  | 30 ->
# 123 "scanner.mll"
                               ( MINUS )
# 2673 "scanner.ml"

  | 31 ->
# 124 "scanner.mll"
                               ( TIMES )
# 2678 "scanner.ml"

  | 32 ->
# 125 "scanner.mll"
                               ( DIVIDE )
# 2683 "scanner.ml"

  | 33 ->
# 126 "scanner.mll"
                               ( MOD )
# 2688 "scanner.ml"

  | 34 ->
# 127 "scanner.mll"
                               ( POWER )
# 2693 "scanner.ml"

  | 35 ->
# 130 "scanner.mll"
                               ( PLUSA )
# 2698 "scanner.ml"

  | 36 ->
# 131 "scanner.mll"
                               ( MINUSA )
# 2703 "scanner.ml"

  | 37 ->
# 132 "scanner.mll"
                               ( TIMESA )
# 2708 "scanner.ml"

  | 38 ->
# 133 "scanner.mll"
                               ( DIVIDEA )
# 2713 "scanner.ml"

  | 39 ->
# 134 "scanner.mll"
                               ( MODA )
# 2718 "scanner.ml"

  | 40 ->
# 135 "scanner.mll"
                               ( POWERA )
# 2723 "scanner.ml"

  | 41 ->
# 138 "scanner.mll"
                               ( IF )
# 2728 "scanner.ml"

  | 42 ->
# 139 "scanner.mll"
                               ( ELSE )
# 2733 "scanner.ml"

  | 43 ->
# 140 "scanner.mll"
                               ( ELSIF )
# 2738 "scanner.ml"

  | 44 ->
# 141 "scanner.mll"
                               ( WHILE )
# 2743 "scanner.ml"

  | 45 ->
# 142 "scanner.mll"
                               ( RETURN )
# 2748 "scanner.ml"

  | 46 ->
# 145 "scanner.mll"
                               ( CLASS )
# 2753 "scanner.ml"

  | 47 ->
# 146 "scanner.mll"
                               ( EXTEND )
# 2758 "scanner.ml"

  | 48 ->
# 147 "scanner.mll"
                               ( SUPER )
# 2763 "scanner.ml"

  | 49 ->
# 148 "scanner.mll"
                               ( INIT )
# 2768 "scanner.ml"

  | 50 ->
# 151 "scanner.mll"
                               ( NULL )
# 2773 "scanner.ml"

  | 51 ->
# 152 "scanner.mll"
                               ( VOID )
# 2778 "scanner.ml"

  | 52 ->
# 153 "scanner.mll"
                               ( THIS )
# 2783 "scanner.ml"

  | 53 ->
# 156 "scanner.mll"
                               ( REFINE )
# 2788 "scanner.ml"

  | 54 ->
# 157 "scanner.mll"
                               ( REFINES )
# 2793 "scanner.ml"

  | 55 ->
# 158 "scanner.mll"
                               ( TO )
# 2798 "scanner.ml"

  | 56 ->
# 161 "scanner.mll"
                               ( PRIVATE )
# 2803 "scanner.ml"

  | 57 ->
# 162 "scanner.mll"
                               ( PUBLIC )
# 2808 "scanner.ml"

  | 58 ->
# 163 "scanner.mll"
                               ( PROTECTED )
# 2813 "scanner.ml"

  | 59 ->
# 166 "scanner.mll"
                               ( DOT )
# 2818 "scanner.ml"

  | 60 ->
# 167 "scanner.mll"
                               ( MAIN )
# 2823 "scanner.ml"

  | 61 ->
# 168 "scanner.mll"
                               ( NEW )
# 2828 "scanner.ml"

  | 62 ->
# 169 "scanner.mll"
                               ( ASSIGN )
# 2833 "scanner.ml"

  | 63 ->
let
# 172 "scanner.mll"
                             vid
# 2839 "scanner.ml"
Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
# 172 "scanner.mll"
                                    ( ID(vid) )
# 2843 "scanner.ml"

  | 64 ->
let
# 173 "scanner.mll"
                        tid
# 2849 "scanner.ml"
Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
# 173 "scanner.mll"
                                    ( TYPE(tid) )
# 2853 "scanner.ml"

  | 65 ->
let
# 176 "scanner.mll"
              inum
# 2859 "scanner.ml"
Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
# 176 "scanner.mll"
                               ( ILIT(int_of_string inum) )
# 2863 "scanner.ml"

  | 66 ->
let
# 177 "scanner.mll"
                         fnum
# 2869 "scanner.ml"
Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
# 177 "scanner.mll"
                               ( FLIT(float_of_string fnum) )
# 2873 "scanner.ml"

  | 67 ->
# 178 "scanner.mll"
                               ( stringlit [] lexbuf )
# 2878 "scanner.ml"

  | 68 ->
# 181 "scanner.mll"
                               ( EOF )
# 2883 "scanner.ml"

  | 69 ->
let
# 182 "scanner.mll"
         char
# 2889 "scanner.ml"
Lexing.sub_lexeme_char lexbuf lexbuf.Lexing.lex_start_pos in
# 182 "scanner.mll"
              ( lexfail("Illegal character " ^ Char.escaped char) )
# 2893 "scanner.ml"

  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_token_rec lexbuf __ocaml_lex_state

and comment level lexbuf =
    __ocaml_lex_comment_rec level lexbuf 157
and __ocaml_lex_comment_rec level lexbuf __ocaml_lex_state =
  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
# 186 "scanner.mll"
                  ( comment (level+1) lexbuf )
# 2904 "scanner.ml"

  | 1 ->
# 187 "scanner.mll"
                  ( if level = 0 then token lexbuf else comment (level-1) lexbuf )
# 2909 "scanner.ml"

  | 2 ->
# 188 "scanner.mll"
                  ( lexfail("File ended inside comment.") )
# 2914 "scanner.ml"

  | 3 ->
let
# 189 "scanner.mll"
               v
# 2920 "scanner.ml"
Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
# 189 "scanner.mll"
                  ( count_lines v; comment level lexbuf )
# 2924 "scanner.ml"

  | 4 ->
# 190 "scanner.mll"
                  ( comment level lexbuf )
# 2929 "scanner.ml"

  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_comment_rec level lexbuf __ocaml_lex_state

and stringlit chars lexbuf =
    __ocaml_lex_stringlit_rec chars lexbuf 165
and __ocaml_lex_stringlit_rec chars lexbuf __ocaml_lex_state =
  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
# 194 "scanner.mll"
                   ( escapechar chars lexbuf )
# 2940 "scanner.ml"

  | 1 ->
# 195 "scanner.mll"
                   ( lexfail("File ended inside string literal") )
# 2945 "scanner.ml"

  | 2 ->
let
# 196 "scanner.mll"
              char
# 2951 "scanner.ml"
Lexing.sub_lexeme_char lexbuf lexbuf.Lexing.lex_start_pos in
# 196 "scanner.mll"
                   ( lexfail("Line ended inside string literal (" ^ Char.escaped char ^ " used): " ^ implode(List.rev chars)) )
# 2955 "scanner.ml"

  | 3 ->
# 197 "scanner.mll"
                   ( SLIT(implode(List.rev chars)) )
# 2960 "scanner.ml"

  | 4 ->
let
# 198 "scanner.mll"
         char
# 2966 "scanner.ml"
Lexing.sub_lexeme_char lexbuf lexbuf.Lexing.lex_start_pos in
# 198 "scanner.mll"
                   ( stringlit (char::chars) lexbuf )
# 2970 "scanner.ml"

  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_stringlit_rec chars lexbuf __ocaml_lex_state

and escapechar chars lexbuf =
    __ocaml_lex_escapechar_rec chars lexbuf 171
and __ocaml_lex_escapechar_rec chars lexbuf __ocaml_lex_state =
  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
let
# 202 "scanner.mll"
                                                  char
# 2982 "scanner.ml"
Lexing.sub_lexeme_char lexbuf lexbuf.Lexing.lex_start_pos in
# 202 "scanner.mll"
                                                       (
      stringlit (char :: '\\' :: chars) lexbuf
    )
# 2988 "scanner.ml"

  | 1 ->
# 205 "scanner.mll"
              ( lexfail("File ended while seeking escape character") )
# 2993 "scanner.ml"

  | 2 ->
let
# 206 "scanner.mll"
         char
# 2999 "scanner.ml"
Lexing.sub_lexeme_char lexbuf lexbuf.Lexing.lex_start_pos in
# 206 "scanner.mll"
              ( lexfail("Illegal escape character:  \\" ^ Char.escaped(char)) )
# 3003 "scanner.ml"

  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_escapechar_rec chars lexbuf __ocaml_lex_state

;;