let __ocaml_lex_tables = {
  Lexing.lex_base = 
   "\000\000\226\255\227\255\001\000\229\255\002\000\012\000\001\000\000\000\000\000\000\000\001\000\004\000\008\000\007\000\010\000\022\000\007\000\012\000\027\000\254\255\255\255\025\000\019\000\018\000\018\000\030\000\253\255\031\000\035\000\019\000\241\255\237\255\024\000\020\000\022\000\252\255\243\255\023\000\028\000\024\000\026\000\251\255\027\000\036\000\045\000\250\255\246\255\037\000\045\000\041\000\049\000\249\255\041\000\053\000\056\000\038\000\248\255\039\000\242\255\045\000\055\000\247\255\038\000\232\255\059\000\060\000\245\255\238\255\047\000\244\255\240\255\239\255\054\000\235\255\236\255\064\000\233\255\230\255\003\000\004\000\228\255\005\000";
  Lexing.lex_backtrk = 
   "\255\255\255\255\255\255\029\000\255\255\029\000\024\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\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\021\000\255\255\255\255\255\255\255\255\255\255\255\255";
  Lexing.lex_default = 
   "\001\000\000\000\000\000\082\000\000\000\080\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\000\000\000\000\255\255\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\000\000\000\000\255\255\255\255\255\255\000\000\000\000\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\000\000\000\000\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\000\000\255\255\000\000\255\255\255\255\000\000\255\255\000\000\255\255\255\255\000\000\000\000\255\255\000\000\000\000\000\000\255\255\000\000\000\000\255\255\000\000\000\000\080\000\080\000\000\000\082\000";
  Lexing.lex_trans = 
   "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\002\000\002\000\081\000\000\000\002\000\000\000\081\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\002\000\000\000\005\000\000\000\078\000\000\000\078\000\000\000\021\000\020\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\000\000\003\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\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\079\000\000\000\079\000\012\000\013\000\014\000\015\000\010\000\007\000\076\000\065\000\018\000\060\000\048\000\009\000\008\000\016\000\017\000\069\000\071\000\066\000\019\000\072\000\073\000\053\000\044\000\011\000\037\000\033\000\032\000\038\000\061\000\024\000\028\000\023\000\025\000\026\000\027\000\029\000\043\000\030\000\031\000\034\000\035\000\036\000\039\000\040\000\041\000\042\000\047\000\022\000\045\000\046\000\049\000\050\000\051\000\052\000\054\000\055\000\058\000\057\000\059\000\063\000\062\000\064\000\068\000\067\000\070\000\075\000\077\000\000\000\000\000\000\000\000\000\056\000\000\000\000\000\000\000\000\000\000\000\074\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\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\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\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\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 = 
   "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\000\000\003\000\255\255\000\000\255\255\082\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\000\000\255\255\000\000\255\255\005\000\255\255\080\000\255\255\000\000\000\000\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\000\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\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\005\000\255\255\080\000\000\000\000\000\000\000\000\000\000\000\000\000\007\000\012\000\000\000\013\000\015\000\000\000\000\000\000\000\000\000\011\000\010\000\012\000\000\000\009\000\008\000\014\000\016\000\000\000\017\000\018\000\022\000\017\000\013\000\019\000\023\000\019\000\024\000\025\000\026\000\028\000\016\000\029\000\030\000\033\000\034\000\035\000\038\000\039\000\040\000\041\000\043\000\019\000\044\000\045\000\048\000\049\000\050\000\051\000\053\000\054\000\055\000\056\000\058\000\060\000\061\000\063\000\065\000\066\000\069\000\073\000\076\000\255\255\255\255\255\255\255\255\054\000\255\255\255\255\255\255\255\255\255\255\073\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\000\000\003\000\005\000\079\000\080\000\082\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";
  Lexing.lex_base_code = 
   "";
  Lexing.lex_backtrk_code = 
   "";
  Lexing.lex_default_code = 
   "";
  Lexing.lex_trans_code = 
   "";
  Lexing.lex_check_code = 
   "";
  Lexing.lex_code = 
   "";
}