Source file archi_code_lexer.ml

# 1 "archi_code_lexer.mll"
 
(* Yoann Padioleau
 *
 * Copyright (C) 2010 Facebook
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public License
 * version 2.1 as published by the Free Software Foundation, with the
 * special exception on linking described in file license.txt.
 * 
 * This library is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the file
 * license.txt for more details.
 *)
open Archi_code

(*****************************************************************************)
(* Prelude *)
(*****************************************************************************)

(* This code assumes we are called with a string enclosed by "/"
 * as in /foo.php/ so it's easy to specify the beginning or
 * end of a string (ocamllex does not handle ^ or $).
 * 
 * It also assumes the string has been lowercased. Note also that
 * the filenames has been reversed, for instance a/b/foo.php becomes
 * /foo.php/b/a/ because we want to return the most specialized category.
 * update: now we first run the lexer on the lowecased basename and
 * then separately on the dirname.
 * 
 * Note that ocamllex will try the longest match and we will return
 * the leftmost match so on "common.mli" for instance the
 * "common" rule will be applied before the .mli rule.
 *)


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

let rec category lexbuf =
   __ocaml_lex_category_rec lexbuf 0
and __ocaml_lex_category_rec lexbuf __ocaml_lex_state =
  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
# 44 "archi_code_lexer.mll"
               ( Building )
# 895 "archi_code_lexer.ml"

  | 1 ->
# 45 "archi_code_lexer.mll"
               ( Ffi )
# 900 "archi_code_lexer.ml"

  | 2 ->
# 49 "archi_code_lexer.mll"
      ( Doc )
# 905 "archi_code_lexer.ml"

  | 3 ->
# 52 "archi_code_lexer.mll"
      ( Doc )
# 910 "archi_code_lexer.ml"

  | 4 ->
# 56 "archi_code_lexer.mll"
      ( Doc )
# 915 "archi_code_lexer.ml"

  | 5 ->
# 59 "archi_code_lexer.mll"
      ( Storage )
# 920 "archi_code_lexer.ml"

  | 6 ->
# 65 "archi_code_lexer.mll"
      ( Interface )
# 925 "archi_code_lexer.ml"

  | 7 ->
# 68 "archi_code_lexer.mll"
              ( Building )
# 930 "archi_code_lexer.ml"

  | 8 ->
# 69 "archi_code_lexer.mll"
                    ( BoilerPlate )
# 935 "archi_code_lexer.ml"

  | 9 ->
# 71 "archi_code_lexer.mll"
               ( BoilerPlate )
# 940 "archi_code_lexer.ml"

  | 10 ->
# 73 "archi_code_lexer.mll"
              ( BoilerPlate )
# 945 "archi_code_lexer.ml"

  | 11 ->
# 77 "archi_code_lexer.mll"
      ( Building )
# 950 "archi_code_lexer.ml"

  | 12 ->
# 80 "archi_code_lexer.mll"
              ( Building )
# 955 "archi_code_lexer.ml"

  | 13 ->
# 82 "archi_code_lexer.mll"
               ( Doc )
# 960 "archi_code_lexer.ml"

  | 14 ->
# 83 "archi_code_lexer.mll"
               ( Doc )
# 965 "archi_code_lexer.ml"

  | 15 ->
# 88 "archi_code_lexer.mll"
      ( BoilerPlate )
# 970 "archi_code_lexer.ml"

  | 16 ->
# 96 "archi_code_lexer.mll"
      ( BoilerPlate )
# 975 "archi_code_lexer.ml"

  | 17 ->
# 101 "archi_code_lexer.mll"
             ( Main )
# 980 "archi_code_lexer.ml"

  | 18 ->
# 102 "archi_code_lexer.mll"
             ( Configuration )
# 985 "archi_code_lexer.ml"

  | 19 ->
# 103 "archi_code_lexer.mll"
             ( Test )
# 990 "archi_code_lexer.ml"

  | 20 ->
# 104 "archi_code_lexer.mll"
             ( Test )
# 995 "archi_code_lexer.ml"

  | 21 ->
# 105 "archi_code_lexer.mll"
                ( AutoGenerated )
# 1000 "archi_code_lexer.ml"

  | 22 ->
# 106 "archi_code_lexer.mll"
                 ( AutoGenerated )
# 1005 "archi_code_lexer.ml"

  | 23 ->
# 107 "archi_code_lexer.mll"
                ( AutoGenerated )
# 1010 "archi_code_lexer.ml"

  | 24 ->
# 110 "archi_code_lexer.mll"
                    ( AutoGenerated )
# 1015 "archi_code_lexer.ml"

  | 25 ->
# 113 "archi_code_lexer.mll"
             ( Main )
# 1020 "archi_code_lexer.ml"

  | 26 ->
# 114 "archi_code_lexer.mll"
             ( Init )
# 1025 "archi_code_lexer.ml"

  | 27 ->
# 116 "archi_code_lexer.mll"
             ( Init )
# 1030 "archi_code_lexer.ml"

  | 28 ->
# 119 "archi_code_lexer.mll"
                ( Main )
# 1035 "archi_code_lexer.ml"

  | 29 ->
# 120 "archi_code_lexer.mll"
                   ( Main )
# 1040 "archi_code_lexer.ml"

  | 30 ->
# 122 "archi_code_lexer.mll"
              ( Init )
# 1045 "archi_code_lexer.ml"

  | 31 ->
# 123 "archi_code_lexer.mll"
                ( Init )
# 1050 "archi_code_lexer.ml"

  | 32 ->
# 126 "archi_code_lexer.mll"
           ( Core )
# 1055 "archi_code_lexer.ml"

  | 33 ->
# 131 "archi_code_lexer.mll"
      ( Storage )
# 1060 "archi_code_lexer.ml"

  | 34 ->
# 133 "archi_code_lexer.mll"
               ( Storage )
# 1065 "archi_code_lexer.ml"

  | 35 ->
# 135 "archi_code_lexer.mll"
               ( Security )
# 1070 "archi_code_lexer.ml"

  | 36 ->
# 150 "archi_code_lexer.mll"
      ( Test )
# 1075 "archi_code_lexer.ml"

  | 37 ->
# 153 "archi_code_lexer.mll"
      ( Test )
# 1080 "archi_code_lexer.ml"

  | 38 ->
# 156 "archi_code_lexer.mll"
      ( Test )
# 1085 "archi_code_lexer.ml"

  | 39 ->
# 158 "archi_code_lexer.mll"
      ( Test )
# 1090 "archi_code_lexer.ml"

  | 40 ->
# 160 "archi_code_lexer.mll"
      ( Test )
# 1095 "archi_code_lexer.ml"

  | 41 ->
# 163 "archi_code_lexer.mll"
                  ( Test )
# 1100 "archi_code_lexer.ml"

  | 42 ->
# 166 "archi_code_lexer.mll"
            ( Test )
# 1105 "archi_code_lexer.ml"

  | 43 ->
# 170 "archi_code_lexer.mll"
      ( Doc )
# 1110 "archi_code_lexer.ml"

  | 44 ->
# 172 "archi_code_lexer.mll"
                 ( Unittester )
# 1115 "archi_code_lexer.ml"

  | 45 ->
# 176 "archi_code_lexer.mll"
                ( Profiler )
# 1120 "archi_code_lexer.ml"

  | 46 ->
# 184 "archi_code_lexer.mll"
      ( Regular )
# 1125 "archi_code_lexer.ml"

  | 47 ->
# 187 "archi_code_lexer.mll"
           ( Utils )
# 1130 "archi_code_lexer.ml"

  | 48 ->
# 189 "archi_code_lexer.mll"
             ( Utils )
# 1135 "archi_code_lexer.ml"

  | 49 ->
# 192 "archi_code_lexer.mll"
                  ( AutoGenerated )
# 1140 "archi_code_lexer.ml"

  | 50 ->
# 201 "archi_code_lexer.mll"
                       ( AutoGenerated )
# 1145 "archi_code_lexer.ml"

  | 51 ->
# 203 "archi_code_lexer.mll"
                 ( AutoGenerated )
# 1150 "archi_code_lexer.ml"

  | 52 ->
# 206 "archi_code_lexer.mll"
           ( AutoGenerated )
# 1155 "archi_code_lexer.ml"

  | 53 ->
# 208 "archi_code_lexer.mll"
           ( AutoGenerated )
# 1160 "archi_code_lexer.ml"

  | 54 ->
# 210 "archi_code_lexer.mll"
           ( AutoGenerated )
# 1165 "archi_code_lexer.ml"

  | 55 ->
# 220 "archi_code_lexer.mll"
      ( Storage )
# 1170 "archi_code_lexer.ml"

  | 56 ->
# 223 "archi_code_lexer.mll"
                ( Constants )
# 1175 "archi_code_lexer.ml"

  | 57 ->
# 226 "archi_code_lexer.mll"
      ( GetSet )
# 1180 "archi_code_lexer.ml"

  | 58 ->
# 228 "archi_code_lexer.mll"
              ( Logging )
# 1185 "archi_code_lexer.ml"

  | 59 ->
# 234 "archi_code_lexer.mll"
      ( ThirdParty )
# 1190 "archi_code_lexer.ml"

  | 60 ->
# 236 "archi_code_lexer.mll"
               ( ThirdParty )
# 1195 "archi_code_lexer.ml"

  | 61 ->
# 237 "archi_code_lexer.mll"
             ( ThirdParty )
# 1200 "archi_code_lexer.ml"

  | 62 ->
# 239 "archi_code_lexer.mll"
              ( ThirdParty )
# 1205 "archi_code_lexer.ml"

  | 63 ->
# 240 "archi_code_lexer.mll"
                 ( Legacy )
# 1210 "archi_code_lexer.ml"

  | 64 ->
# 241 "archi_code_lexer.mll"
              ( Legacy )
# 1215 "archi_code_lexer.ml"

  | 65 ->
# 243 "archi_code_lexer.mll"
            ( Legacy )
# 1220 "archi_code_lexer.ml"

  | 66 ->
# 246 "archi_code_lexer.mll"
                 ( ThirdParty )
# 1225 "archi_code_lexer.ml"

  | 67 ->
# 247 "archi_code_lexer.mll"
                     ( Data )
# 1230 "archi_code_lexer.ml"

  | 68 ->
# 248 "archi_code_lexer.mll"
                   ( Data )
# 1235 "archi_code_lexer.ml"

  | 69 ->
# 249 "archi_code_lexer.mll"
                   ( Data )
# 1240 "archi_code_lexer.ml"

  | 70 ->
# 252 "archi_code_lexer.mll"
               ( Data )
# 1245 "archi_code_lexer.ml"

  | 71 ->
# 253 "archi_code_lexer.mll"
                ( Data )
# 1250 "archi_code_lexer.ml"

  | 72 ->
# 254 "archi_code_lexer.mll"
                  ( AutoGenerated )
# 1255 "archi_code_lexer.ml"

  | 73 ->
# 255 "archi_code_lexer.mll"
            ( Data )
# 1260 "archi_code_lexer.ml"

  | 74 ->
# 257 "archi_code_lexer.mll"
             ( Data )
# 1265 "archi_code_lexer.ml"

  | 75 ->
# 266 "archi_code_lexer.mll"
      ( Security )
# 1270 "archi_code_lexer.ml"

  | 76 ->
# 269 "archi_code_lexer.mll"
      ( Security )
# 1275 "archi_code_lexer.ml"

  | 77 ->
# 316 "archi_code_lexer.mll"
      ( Architecture )
# 1280 "archi_code_lexer.ml"

  | 78 ->
# 321 "archi_code_lexer.mll"
      ( Architecture )
# 1285 "archi_code_lexer.ml"

  | 79 ->
# 324 "archi_code_lexer.mll"
      ( Architecture )
# 1290 "archi_code_lexer.ml"

  | 80 ->
# 353 "archi_code_lexer.mll"
      ( OS )
# 1295 "archi_code_lexer.ml"

  | 81 ->
# 374 "archi_code_lexer.mll"
      ( Network )
# 1300 "archi_code_lexer.ml"

  | 82 ->
# 388 "archi_code_lexer.mll"
      ( Parsing )
# 1305 "archi_code_lexer.ml"

  | 83 ->
# 407 "archi_code_lexer.mll"
      ( Ui )
# 1310 "archi_code_lexer.ml"

  | 84 ->
# 411 "archi_code_lexer.mll"
      ( Ui )
# 1315 "archi_code_lexer.ml"

  | 85 ->
# 419 "archi_code_lexer.mll"
      ( Ui )
# 1320 "archi_code_lexer.ml"

  | 86 ->
# 421 "archi_code_lexer.mll"
               ( Intern )
# 1325 "archi_code_lexer.ml"

  | 87 ->
# 424 "archi_code_lexer.mll"
                 ( Intern )
# 1330 "archi_code_lexer.ml"

  | 88 ->
# 426 "archi_code_lexer.mll"
                             ( AutoGenerated )
# 1335 "archi_code_lexer.ml"

  | 89 ->
# 427 "archi_code_lexer.mll"
                                     ( AutoGenerated )
# 1340 "archi_code_lexer.ml"

  | 90 ->
# 428 "archi_code_lexer.mll"
                                   ( AutoGenerated )
# 1345 "archi_code_lexer.ml"

  | 91 ->
# 431 "archi_code_lexer.mll"
                    ( Doc )
# 1350 "archi_code_lexer.ml"

  | 92 ->
# 433 "archi_code_lexer.mll"
            ( Network )
# 1355 "archi_code_lexer.ml"

  | 93 ->
# 437 "archi_code_lexer.mll"
      ( Legacy )
# 1360 "archi_code_lexer.ml"

  | 94 ->
# 440 "archi_code_lexer.mll"
      ( Legacy )
# 1365 "archi_code_lexer.ml"

  | 95 ->
# 506 "archi_code_lexer.mll"
      ( I18n )
# 1370 "archi_code_lexer.ml"

  | 96 ->
# 512 "archi_code_lexer.mll"
      ( I18n )
# 1375 "archi_code_lexer.ml"

  | 97 ->
# 515 "archi_code_lexer.mll"
      ( 
      category lexbuf
    )
# 1382 "archi_code_lexer.ml"

  | 98 ->
# 518 "archi_code_lexer.mll"
        ( Regular )
# 1387 "archi_code_lexer.ml"

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

;;