File ‹trac_parser/trac_protocol.lex.sml›
functor TracTransactionLexFun(structure Tokens: TracTransaction_TOKENS)=
struct
structure UserDeclarations =
struct
structure Tokens = Tokens
open TracProtocol
type pos = int * int * int
type svalue = Tokens.svalue
type ('a,'b) token = ('a,'b) Tokens.token
type lexresult= (svalue,pos) token
val pos = Unsynchronized.ref (0,0,0)
fun eof () = Tokens.EOF((!pos,!pos))
fun error' (e,p : (int * int * int),_) = error (
String.concat[
"Line ", (Int.toString (#1 p)), "/",
(Int.toString (#2 p - #3 p)),": ", e, "\n"
])
fun inputPos yypos = ((#1 (!pos), yypos - (#3(!pos)), (#3 (!pos))),
(#1 (!pos), yypos - (#3(!pos)), (#3 (!pos))))
fun inputPos_half yypos = (#1 (!pos), yypos - (#3(!pos)), (#3 (!pos)))
end
exception LexError
structure Internal =
struct
datatype yyfinstate = N of int
type statedata = {fin : yyfinstate list, trans: string}
val tab = let
val s = [
(0,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(1,
"\003\003\003\003\003\003\003\003\003\248\250\003\003\003\003\003\
\\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\
\\248\246\003\243\003\242\003\238\237\236\235\233\232\230\229\218\
\\216\216\216\216\216\216\216\216\216\216\215\214\003\212\003\211\
\\003\176\100\100\100\164\155\150\100\100\100\141\100\100\100\100\
\\123\100\100\119\103\100\100\100\100\100\100\099\003\098\003\097\
\\003\079\072\012\066\012\060\012\012\054\012\012\051\012\044\040\
\\012\012\033\025\012\012\012\015\012\012\012\007\005\004\003\003\
\\003"
),
(5,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\000\
\\000"
),
(7,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\009\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\008\000\000\000\
\\000"
),
(9,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(10,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\000\
\\000"
),
(12,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(14,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(15,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\020\013\013\016\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(16,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\017\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(17,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\018\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(18,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\019\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(20,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\021\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(21,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\022\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(22,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\023\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(23,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\024\013\000\000\000\000\000\
\\000"
),
(25,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\026\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(26,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\029\013\013\013\013\013\013\013\013\013\013\027\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(27,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\028\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(29,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\030\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(30,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\031\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(31,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\032\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(33,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\034\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(34,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\035\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(35,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\036\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(36,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\037\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(37,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\038\013\013\013\013\000\000\000\000\000\
\\000"
),
(38,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\039\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(40,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\043\013\013\013\013\013\013\013\042\013\
\\013\013\041\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(44,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\049\013\013\013\013\013\013\013\013\013\045\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(45,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\046\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(46,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\047\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(47,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\048\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(49,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\050\013\013\013\000\000\000\000\000\
\\000"
),
(51,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\052\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(52,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\053\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(54,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\055\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(55,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\056\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(56,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\057\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(57,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\058\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(58,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\059\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(60,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\061\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(61,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\062\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(62,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\063\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(63,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\064\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(64,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\065\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(66,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\067\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(67,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\068\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(68,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\069\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(69,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\070\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(70,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\071\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(72,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\073\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(73,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\074\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(74,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\075\013\013\013\000\000\000\000\000\
\\000"
),
(75,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\076\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(76,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\077\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(77,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\078\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(79,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\092\080\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(80,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\081\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(81,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\082\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(82,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\083\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(83,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\084\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(84,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\085\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(85,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\086\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(86,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\087\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(87,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\088\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(88,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\089\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(89,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\090\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(90,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\091\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(92,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\093\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(93,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\094\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(94,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\095\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(95,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\014\000\000\000\000\000\000\000\000\
\\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\000\
\\000\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\013\
\\000\013\013\013\013\013\013\013\013\013\013\096\013\013\013\013\
\\013\013\013\013\013\013\013\013\013\013\013\000\000\000\000\000\
\\000"
),
(100,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(102,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(103,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\108\101\101\101\101\101\101\104\101\000\000\000\000\000\
\\000"
),
(104,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\105\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(105,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\106\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(106,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\107\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(108,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\109\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(109,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\110\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(110,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\111\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(111,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\112\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(112,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\113\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(113,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\114\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(114,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\115\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(115,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\116\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(116,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\117\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(117,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\118\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(119,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\120\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(120,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\121\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(121,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\122\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(123,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\129\101\101\124\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(124,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\125\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(125,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\126\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(126,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\127\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(127,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\128\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(129,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\136\101\101\101\101\101\130\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(130,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\131\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(131,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\132\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(132,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\133\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(133,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\134\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(134,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\135\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(136,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\137\101\101\101\101\000\000\000\000\000\
\\000"
),
(137,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\138\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(138,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\139\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(139,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\140\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(141,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\142\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(142,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\143\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(143,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\144\101\101\101\000\000\000\000\000\
\\000"
),
(144,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\145\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(145,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\146\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(146,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\147\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(147,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\148\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(148,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\149\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(150,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\151\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(151,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\152\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(152,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\153\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(153,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\154\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(155,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\156\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(156,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\157\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(157,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\158\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(158,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\159\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(159,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\160\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(160,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\161\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(161,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\162\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(162,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\163\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(164,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\165\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(165,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\166\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(166,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\167\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\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\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\168\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(168,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\169\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(169,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\170\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(170,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\171\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(171,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\172\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(172,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\173\
\\101\101\101\101\101\101\101\101\101\101\101\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\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\174\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\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\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\175\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(176,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\190\184\101\101\101\101\101\101\101\101\101\101\177\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(177,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\178\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(178,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\179\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(179,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\180\101\000\000\000\000\000\
\\000"
),
(180,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\181\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(181,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\182\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(182,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\183\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(184,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\185\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(185,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\186\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(186,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\187\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(187,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\188\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(188,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\189\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(190,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\200\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\191\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(191,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\192\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(192,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\193\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(193,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\194\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(194,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\195\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(195,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\196\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(196,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\197\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(197,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\198\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(198,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\199\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(200,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\201\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(201,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\202\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\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\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\203\101\101\101\101\000\000\000\000\000\
\\000"
),
(203,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\204\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(204,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\205\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(205,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\206\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(206,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\207\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(207,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\208\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(208,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\209\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(209,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\102\000\000\000\000\000\000\000\000\
\\101\101\101\101\101\101\101\101\101\101\000\000\000\000\000\000\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\101\101\101\101\101\101\101\101\000\000\000\000\101\
\\000\101\101\101\101\101\101\101\101\101\101\101\101\101\101\101\
\\101\101\101\210\101\101\101\101\101\101\101\000\000\000\000\000\
\\000"
),
(212,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\213\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(216,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\217\217\217\217\217\217\217\217\217\217\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(218,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\220\000\000\000\000\219\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(220,
"\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\222\221\221\221\221\228\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221"
),
(221,
"\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\222\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221"
),
(222,
"\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\
\\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\
\\223\223\223\223\223\223\223\223\223\223\226\223\223\223\223\225\
\\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\
\\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\
\\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\
\\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\
\\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\223\
\\223"
),
(223,
"\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\222\221\221\221\221\224\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221"
),
(224,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\223\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(226,
"\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\222\221\221\221\221\227\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\221\
\\221"
),
(230,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\231\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(233,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\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\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(238,
"\000\000\000\000\000\000\000\000\000\239\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\239\000\000\000\000\000\000\241\000\000\000\000\000\240\240\240\
\\239\239\239\239\239\239\239\239\239\239\000\000\000\000\000\000\
\\000\239\239\239\239\239\239\239\239\239\239\239\239\239\239\239\
\\239\239\239\239\239\239\239\239\239\239\239\000\000\000\000\239\
\\000\239\239\239\239\239\239\239\239\239\239\239\239\239\239\239\
\\239\239\239\239\239\239\239\239\239\239\239\000\000\000\000\000\
\\000"
),
(240,
"\000\000\000\000\000\000\000\000\000\240\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\240\000\000\000\000\000\000\241\000\000\000\000\000\240\240\240\
\\240\240\240\240\240\240\240\240\240\240\000\000\000\000\000\000\
\\000\240\240\240\240\240\240\240\240\240\240\240\240\240\240\240\
\\240\240\240\240\240\240\240\240\240\240\240\000\000\000\000\240\
\\000\240\240\240\240\240\240\240\240\240\240\240\240\240\240\240\
\\240\240\240\240\240\240\240\240\240\240\240\000\000\000\000\000\
\\000"
),
(243,
"\244\244\244\244\244\244\244\244\244\244\245\244\244\244\244\244\
\\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\
\\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\
\\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\
\\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\
\\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\
\\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\
\\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\
\\244"
),
(246,
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\247\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(248,
"\000\000\000\000\000\000\000\000\000\249\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\249\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(0, "")]
fun f x = x
val s = List.map f (List.rev (tl (List.rev s)))
exception LexHackingError
fun look ((j,x)::r, i: int) = if i = j then x else look(r, i)
| look ([], i) = raise LexHackingError
fun g {fin=x, trans=i} = {fin=x, trans=look(s,i)}
in Vector.fromList(List.map g
[{fin = [], trans = 0},
{fin = [], trans = 1},
{fin = [], trans = 1},
{fin = [(N 347)], trans = 0},
{fin = [(N 28),(N 347)], trans = 0},
{fin = [(N 347)], trans = 5},
{fin = [(N 34)], trans = 0},
{fin = [(N 26),(N 347)], trans = 7},
{fin = [(N 31)], trans = 0},
{fin = [], trans = 9},
{fin = [], trans = 10},
{fin = [(N 64)], trans = 0},
{fin = [(N 340),(N 347)], trans = 12},
{fin = [(N 340)], trans = 12},
{fin = [(N 340)], trans = 14},
{fin = [(N 340),(N 347)], trans = 15},
{fin = [(N 340)], trans = 16},
{fin = [(N 340)], trans = 17},
{fin = [(N 340)], trans = 18},
{fin = [(N 89),(N 340)], trans = 12},
{fin = [(N 340)], trans = 20},
{fin = [(N 340)], trans = 21},
{fin = [(N 340)], trans = 22},
{fin = [(N 340)], trans = 23},
{fin = [(N 155),(N 340)], trans = 12},
{fin = [(N 340),(N 347)], trans = 25},
{fin = [(N 340)], trans = 26},
{fin = [(N 340)], trans = 27},
{fin = [(N 252),(N 340)], trans = 12},
{fin = [(N 340)], trans = 29},
{fin = [(N 340)], trans = 30},
{fin = [(N 340)], trans = 31},
{fin = [(N 165),(N 340)], trans = 12},
{fin = [(N 340),(N 347)], trans = 33},
{fin = [(N 340)], trans = 34},
{fin = [(N 340)], trans = 35},
{fin = [(N 340)], trans = 36},
{fin = [(N 340)], trans = 37},
{fin = [(N 340)], trans = 38},
{fin = [(N 247),(N 340)], trans = 12},
{fin = [(N 340),(N 347)], trans = 40},
{fin = [(N 312),(N 340)], trans = 12},
{fin = [(N 158),(N 340)], trans = 12},
{fin = [(N 309),(N 340)], trans = 12},
{fin = [(N 340),(N 347)], trans = 44},
{fin = [(N 340)], trans = 45},
{fin = [(N 340)], trans = 46},
{fin = [(N 340)], trans = 47},
{fin = [(N 265),(N 340)], trans = 12},
{fin = [(N 340)], trans = 49},
{fin = [(N 283),(N 340)], trans = 12},
{fin = [(N 340),(N 347)], trans = 51},
{fin = [(N 340)], trans = 52},
{fin = [(N 256),(N 340)], trans = 12},
{fin = [(N 340),(N 347)], trans = 54},
{fin = [(N 259),(N 340)], trans = 55},
{fin = [(N 340)], trans = 56},
{fin = [(N 340)], trans = 57},
{fin = [(N 340)], trans = 58},
{fin = [(N 272),(N 340)], trans = 12},
{fin = [(N 340),(N 347)], trans = 60},
{fin = [(N 340)], trans = 61},
{fin = [(N 340)], trans = 62},
{fin = [(N 340)], trans = 63},
{fin = [(N 340)], trans = 64},
{fin = [(N 319),(N 340)], trans = 12},
{fin = [(N 340),(N 347)], trans = 66},
{fin = [(N 340)], trans = 67},
{fin = [(N 340)], trans = 68},
{fin = [(N 340)], trans = 69},
{fin = [(N 340)], trans = 70},
{fin = [(N 279),(N 340)], trans = 12},
{fin = [(N 340),(N 347)], trans = 72},
{fin = [(N 340)], trans = 73},
{fin = [(N 340)], trans = 74},
{fin = [(N 340)], trans = 75},
{fin = [(N 340)], trans = 76},
{fin = [(N 340)], trans = 77},
{fin = [(N 173),(N 340)], trans = 12},
{fin = [(N 340),(N 347)], trans = 79},
{fin = [(N 340)], trans = 80},
{fin = [(N 340)], trans = 81},
{fin = [(N 340)], trans = 82},
{fin = [(N 340)], trans = 83},
{fin = [(N 340)], trans = 84},
{fin = [(N 340)], trans = 85},
{fin = [(N 340)], trans = 86},
{fin = [(N 340)], trans = 87},
{fin = [(N 340)], trans = 88},
{fin = [(N 340)], trans = 89},
{fin = [(N 340)], trans = 90},
{fin = [(N 148),(N 340)], trans = 12},
{fin = [(N 340)], trans = 92},
{fin = [(N 340)], trans = 93},
{fin = [(N 340)], trans = 94},
{fin = [(N 340)], trans = 95},
{fin = [(N 290),(N 340)], trans = 12},
{fin = [(N 304),(N 347)], trans = 0},
{fin = [(N 56),(N 347)], trans = 0},
{fin = [(N 54),(N 347)], trans = 0},
{fin = [(N 345),(N 347)], trans = 100},
{fin = [(N 345)], trans = 100},
{fin = [(N 345)], trans = 102},
{fin = [(N 345),(N 347)], trans = 103},
{fin = [(N 345)], trans = 104},
{fin = [(N 345)], trans = 105},
{fin = [(N 345)], trans = 106},
{fin = [(N 95),(N 345)], trans = 100},
{fin = [(N 345)], trans = 108},
{fin = [(N 345)], trans = 109},
{fin = [(N 345)], trans = 110},
{fin = [(N 345)], trans = 111},
{fin = [(N 345)], trans = 112},
{fin = [(N 345)], trans = 113},
{fin = [(N 345)], trans = 114},
{fin = [(N 345)], trans = 115},
{fin = [(N 345)], trans = 116},
{fin = [(N 345)], trans = 117},
{fin = [(N 225),(N 345)], trans = 100},
{fin = [(N 345),(N 347)], trans = 119},
{fin = [(N 345)], trans = 120},
{fin = [(N 345)], trans = 121},
{fin = [(N 178),(N 345)], trans = 100},
{fin = [(N 345),(N 347)], trans = 123},
{fin = [(N 345)], trans = 124},
{fin = [(N 345)], trans = 125},
{fin = [(N 345)], trans = 126},
{fin = [(N 345)], trans = 127},
{fin = [(N 195),(N 345)], trans = 100},
{fin = [(N 345)], trans = 129},
{fin = [(N 345)], trans = 130},
{fin = [(N 345)], trans = 131},
{fin = [(N 345)], trans = 132},
{fin = [(N 345)], trans = 133},
{fin = [(N 345)], trans = 134},
{fin = [(N 73),(N 345)], trans = 100},
{fin = [(N 345)], trans = 136},
{fin = [(N 345)], trans = 137},
{fin = [(N 345)], trans = 138},
{fin = [(N 345)], trans = 139},
{fin = [(N 203),(N 345)], trans = 100},
{fin = [(N 345),(N 347)], trans = 141},
{fin = [(N 345)], trans = 142},
{fin = [(N 345)], trans = 143},
{fin = [(N 345)], trans = 144},
{fin = [(N 345)], trans = 145},
{fin = [(N 345)], trans = 146},
{fin = [(N 345)], trans = 147},
{fin = [(N 345)], trans = 148},
{fin = [(N 83),(N 345)], trans = 100},
{fin = [(N 345),(N 347)], trans = 150},
{fin = [(N 345)], trans = 151},
{fin = [(N 345)], trans = 152},
{fin = [(N 345)], trans = 153},
{fin = [(N 134),(N 345)], trans = 100},
{fin = [(N 345),(N 347)], trans = 155},
{fin = [(N 345)], trans = 156},
{fin = [(N 345)], trans = 157},
{fin = [(N 345)], trans = 158},
{fin = [(N 345)], trans = 159},
{fin = [(N 345)], trans = 160},
{fin = [(N 345)], trans = 161},
{fin = [(N 345)], trans = 162},
{fin = [(N 188),(N 345)], trans = 100},
{fin = [(N 345),(N 347)], trans = 164},
{fin = [(N 345)], trans = 165},
{fin = [(N 345)], trans = 166},
{fin = [(N 345)], trans = 167},
{fin = [(N 345)], trans = 168},
{fin = [(N 345)], trans = 169},
{fin = [(N 345)], trans = 170},
{fin = [(N 345)], trans = 171},
{fin = [(N 345)], trans = 172},
{fin = [(N 345)], trans = 173},
{fin = [(N 345)], trans = 174},
{fin = [(N 108),(N 345)], trans = 100},
{fin = [(N 345),(N 347)], trans = 176},
{fin = [(N 345)], trans = 177},
{fin = [(N 345)], trans = 178},
{fin = [(N 345)], trans = 179},
{fin = [(N 345)], trans = 180},
{fin = [(N 345)], trans = 181},
{fin = [(N 345)], trans = 182},
{fin = [(N 212),(N 345)], trans = 100},
{fin = [(N 345)], trans = 184},
{fin = [(N 345)], trans = 185},
{fin = [(N 345)], trans = 186},
{fin = [(N 345)], trans = 187},
{fin = [(N 345)], trans = 188},
{fin = [(N 116),(N 345)], trans = 100},
{fin = [(N 345)], trans = 190},
{fin = [(N 345)], trans = 191},
{fin = [(N 345)], trans = 192},
{fin = [(N 345)], trans = 193},
{fin = [(N 345)], trans = 194},
{fin = [(N 345)], trans = 195},
{fin = [(N 345)], trans = 196},
{fin = [(N 345)], trans = 197},
{fin = [(N 345)], trans = 198},
{fin = [(N 128),(N 345)], trans = 100},
{fin = [(N 345)], trans = 200},
{fin = [(N 345)], trans = 201},
{fin = [(N 345)], trans = 202},
{fin = [(N 345)], trans = 203},
{fin = [(N 345)], trans = 204},
{fin = [(N 345)], trans = 205},
{fin = [(N 345)], trans = 206},
{fin = [(N 345)], trans = 207},
{fin = [(N 345)], trans = 208},
{fin = [(N 345)], trans = 209},
{fin = [(N 239),(N 345)], trans = 100},
{fin = [(N 297),(N 347)], trans = 0},
{fin = [(N 299),(N 347)], trans = 212},
{fin = [(N 302)], trans = 0},
{fin = [(N 38),(N 347)], trans = 0},
{fin = [(N 36),(N 347)], trans = 0},
{fin = [(N 322),(N 347)], trans = 216},
{fin = [(N 322)], trans = 216},
{fin = [(N 292),(N 347)], trans = 218},
{fin = [(N 295)], trans = 0},
{fin = [], trans = 220},
{fin = [], trans = 221},
{fin = [], trans = 222},
{fin = [], trans = 223},
{fin = [], trans = 224},
{fin = [(N 20)], trans = 0},
{fin = [], trans = 226},
{fin = [(N 20)], trans = 224},
{fin = [], trans = 220},
{fin = [(N 50),(N 347)], trans = 0},
{fin = [(N 347)], trans = 230},
{fin = [(N 41)], trans = 0},
{fin = [(N 52),(N 347)], trans = 0},
{fin = [(N 347)], trans = 233},
{fin = [(N 59)], trans = 0},
{fin = [(N 306),(N 347)], trans = 0},
{fin = [(N 24),(N 347)], trans = 0},
{fin = [(N 22),(N 347)], trans = 0},
{fin = [(N 347)], trans = 238},
{fin = [], trans = 238},
{fin = [], trans = 240},
{fin = [(N 335)], trans = 0},
{fin = [(N 43),(N 347)], trans = 0},
{fin = [(N 347)], trans = 243},
{fin = [], trans = 243},
{fin = [(N 8)], trans = 0},
{fin = [(N 48),(N 347)], trans = 246},
{fin = [(N 46)], trans = 0},
{fin = [(N 4),(N 347)], trans = 248},
{fin = [(N 4)], trans = 248},
{fin = [(N 1)], trans = 0}])
end
structure StartStates =
struct
datatype yystartstate = STARTSTATE of int
val INITIAL = STARTSTATE 1;
end
type result = UserDeclarations.lexresult
exception LexerError
end
fun makeLexer yyinput =
let val yygone0=1
val yyb = Unsynchronized.ref "\n"
val yybl = Unsynchronized.ref 1
val yybufpos = Unsynchronized.ref 1
val yygone = Unsynchronized.ref yygone0
val yydone = Unsynchronized.ref false
val yybegin = Unsynchronized.ref 1
val YYBEGIN = fn (Internal.StartStates.STARTSTATE x) =>
yybegin := x
fun lex () : Internal.result =
let fun continue() = lex() in
let fun scan (s,AcceptingLeaves : Internal.yyfinstate list list,l,i0) =
let fun action (i,nil) = raise LexError
| action (i,nil::l) = action (i-1,l)
| action (i,(node::acts)::l) =
case node of
Internal.N yyk =>
(let fun yymktext() = String.substring(!yyb,i0,i-i0)
val yypos = i0+ !yygone
open UserDeclarations Internal.StartStates
in (yybufpos := i; case yyk of
1 => (pos := ((#1 (!pos)) + 1, yypos - (#3(!pos)),yypos ); lex())
| 108 => let val yytext=yymktext() in Tokens.ENUMERATIONS(yytext,inputPos_half yypos,inputPos_half yypos) end
| 116 => let val yytext=yymktext() in Tokens.ACTIONS(yytext,inputPos_half yypos,inputPos_half yypos) end
| 128 => let val yytext=yymktext() in Tokens.ABSTRACTION(yytext,inputPos_half yypos,inputPos_half yypos) end
| 134 => let val yytext=yymktext() in Tokens.GOALS(yytext,inputPos_half yypos,inputPos_half yypos) end
| 148 => let val yytext=yymktext() in Tokens.AUTHENTICATES(yytext,inputPos_half yypos,inputPos_half yypos) end
| 155 => let val yytext=yymktext() in Tokens.WEAKLY(yytext,inputPos_half yypos,inputPos_half yypos) end
| 158 => let val yytext=yymktext() in Tokens.ON(yytext,inputPos_half yypos,inputPos_half yypos) end
| 165 => let val yytext=yymktext() in Tokens.TSECRET(yytext,inputPos_half yypos,inputPos_half yypos) end
| 173 => let val yytext=yymktext() in Tokens.TBETWEEN(yytext,inputPos_half yypos,inputPos_half yypos) end
| 178 => let val yytext=yymktext() in Tokens.SETS(yytext,inputPos_half yypos,inputPos_half yypos) end
| 188 => let val yytext=yymktext() in Tokens.FUNCTIONS(yytext,inputPos_half yypos,inputPos_half yypos) end
| 195 => let val yytext=yymktext() in Tokens.PUBLIC(yytext,inputPos_half yypos,inputPos_half yypos) end
| 20 => (lex())
| 203 => let val yytext=yymktext() in Tokens.PRIVATE(yytext,inputPos_half yypos,inputPos_half yypos) end
| 212 => let val yytext=yymktext() in Tokens.ANALYSIS(yytext,inputPos_half yypos,inputPos_half yypos) end
| 22 => let val yytext=yymktext() in Tokens.OPENP(yytext,inputPos_half yypos,inputPos_half yypos) end
| 225 => let val yytext=yymktext() in Tokens.TRANSACTIONS(yytext,inputPos_half yypos,inputPos_half yypos) end
| 239 => let val yytext=yymktext() in Tokens.ABBREVIATIONS(yytext,inputPos_half yypos,inputPos_half yypos) end
| 24 => let val yytext=yymktext() in Tokens.CLOSEP(yytext,inputPos_half yypos,inputPos_half yypos) end
| 247 => let val yytext=yymktext() in Tokens.RECEIVE(yytext,inputPos_half yypos,inputPos_half yypos) end
| 252 => let val yytext=yymktext() in Tokens.SEND(yytext,inputPos_half yypos,inputPos_half yypos) end
| 256 => let val yytext=yymktext() in Tokens.LET(yytext,inputPos_half yypos,inputPos_half yypos) end
| 259 => let val yytext=yymktext() in Tokens.IN(yytext,inputPos_half yypos,inputPos_half yypos) end
| 26 => let val yytext=yymktext() in Tokens.OPENB(yytext,inputPos_half yypos,inputPos_half yypos) end
| 265 => let val yytext=yymktext() in Tokens.NOTIN(yytext,inputPos_half yypos,inputPos_half yypos) end
| 272 => let val yytext=yymktext() in Tokens.INSERT(yytext,inputPos_half yypos,inputPos_half yypos) end
| 279 => let val yytext=yymktext() in Tokens.DELETE(yytext,inputPos_half yypos,inputPos_half yypos) end
| 28 => let val yytext=yymktext() in Tokens.CLOSEB(yytext,inputPos_half yypos,inputPos_half yypos) end
| 283 => let val yytext=yymktext() in Tokens.NEW(yytext,inputPos_half yypos,inputPos_half yypos) end
| 290 => let val yytext=yymktext() in Tokens.ATTACK(yytext,inputPos_half yypos,inputPos_half yypos) end
| 292 => let val yytext=yymktext() in Tokens.SLASH(yytext,inputPos_half yypos,inputPos_half yypos) end
| 295 => let val yytext=yymktext() in Tokens.DOUBLESLASH(yytext,inputPos_half yypos,inputPos_half yypos) end
| 297 => let val yytext=yymktext() in Tokens.QUESTION(yytext,inputPos_half yypos,inputPos_half yypos) end
| 299 => let val yytext=yymktext() in Tokens.EQUAL(yytext,inputPos_half yypos,inputPos_half yypos) end
| 302 => let val yytext=yymktext() in Tokens.DOUBLEEQUAL(yytext,inputPos_half yypos,inputPos_half yypos) end
| 304 => let val yytext=yymktext() in Tokens.UNDERSCORE(yytext,inputPos_half yypos,inputPos_half yypos) end
| 306 => let val yytext=yymktext() in Tokens.STAR(yytext,inputPos_half yypos,inputPos_half yypos) end
| 309 => let val yytext=yymktext() in Tokens.OF(yytext,inputPos_half yypos,inputPos_half yypos) end
| 31 => let val yytext=yymktext() in Tokens.OPENSCRYPT(yytext,inputPos_half yypos,inputPos_half yypos) end
| 312 => let val yytext=yymktext() in Tokens.OR(yytext,inputPos_half yypos,inputPos_half yypos) end
| 319 => let val yytext=yymktext() in Tokens.FORALL(yytext,inputPos_half yypos,inputPos_half yypos) end
| 322 => let val yytext=yymktext() in Tokens.INTEGER_LITERAL(yytext,inputPos_half yypos,inputPos_half yypos) end
| 335 => let val yytext=yymktext() in Tokens.STRING_LITERAL(yytext,inputPos_half yypos,inputPos_half yypos) end
| 34 => let val yytext=yymktext() in Tokens.CLOSESCRYPT(yytext,inputPos_half yypos,inputPos_half yypos) end
| 340 => let val yytext=yymktext() in Tokens.LOWER_STRING_LITERAL(yytext,inputPos_half yypos,inputPos_half yypos) end
| 345 => let val yytext=yymktext() in Tokens.UPPER_STRING_LITERAL(yytext,inputPos_half yypos,inputPos_half yypos) end
| 347 => let val yytext=yymktext() in error' ("Bad character: "^yytext,
((#1 (!pos), yypos - (#3(!pos)), (#3 (!pos)))),
((#1 (!pos), yypos - (#3(!pos)), (#3 (!pos))))) end
| 36 => let val yytext=yymktext() in Tokens.COLON(yytext,inputPos_half yypos,inputPos_half yypos) end
| 38 => let val yytext=yymktext() in Tokens.SEMICOLON(yytext,inputPos_half yypos,inputPos_half yypos) end
| 4 => (pos := (#1 (!pos), yypos - (#3(!pos)), (#3 (!pos))); lex())
| 41 => let val yytext=yymktext() in Tokens.ARROW(yytext,inputPos_half yypos,inputPos_half yypos) end
| 43 => let val yytext=yymktext() in Tokens.PERCENT(yytext,inputPos_half yypos,inputPos_half yypos) end
| 46 => let val yytext=yymktext() in Tokens.UNEQUAL(yytext,inputPos_half yypos,inputPos_half yypos) end
| 48 => let val yytext=yymktext() in Tokens.EXCLAM (yytext,inputPos_half yypos,inputPos_half yypos) end
| 50 => let val yytext=yymktext() in Tokens.DOT(yytext,inputPos_half yypos,inputPos_half yypos) end
| 52 => let val yytext=yymktext() in Tokens.COMMA(yytext,inputPos_half yypos,inputPos_half yypos) end
| 54 => let val yytext=yymktext() in Tokens.OPENSQB(yytext,inputPos_half yypos,inputPos_half yypos) end
| 56 => let val yytext=yymktext() in Tokens.CLOSESQB(yytext,inputPos_half yypos,inputPos_half yypos) end
| 59 => let val yytext=yymktext() in Tokens.UNION(yytext,inputPos_half yypos,inputPos_half yypos) end
| 64 => let val yytext=yymktext() in Tokens.INFINITESET(yytext,inputPos_half yypos,inputPos_half yypos) end
| 73 => let val yytext=yymktext() in Tokens.PROTOCOL(yytext,inputPos_half yypos,inputPos_half yypos) end
| 8 => (pos := ((#1 (!pos)) + 1, yypos - (#3(!pos)),yypos ); lex())
| 83 => let val yytext=yymktext() in Tokens.KNOWLEDGE(yytext,inputPos_half yypos,inputPos_half yypos) end
| 89 => let val yytext=yymktext() in Tokens.WHERE(yytext,inputPos_half yypos,inputPos_half yypos) end
| 95 => let val yytext=yymktext() in Tokens.TYPES(yytext,inputPos_half yypos,inputPos_half yypos) end
| _ => raise Internal.LexerError
) end )
val {fin,trans} = Vector.sub(Internal.tab, s)
val NewAcceptingLeaves = fin::AcceptingLeaves
in if l = !yybl then
if trans = #trans(Vector.sub(Internal.tab,0))
then action(l,NewAcceptingLeaves
) else let val newchars= if !yydone then "" else yyinput 1024
in if (String.size newchars)=0
then (yydone := true;
if (l=i0) then UserDeclarations.eof ()
else action(l,NewAcceptingLeaves))
else (if i0=l then yyb := newchars
else yyb := String.substring(!yyb,i0,l-i0)^newchars;
yygone := !yygone+i0;
yybl := String.size (!yyb);
scan (s,AcceptingLeaves,l-i0,0))
end
else let val NewChar = Char.ord(CharVector.sub(!yyb,l))
val NewChar = if NewChar<128 then NewChar else 128
val NewState = Char.ord(CharVector.sub(trans,NewChar))
in if NewState=0 then action(l,NewAcceptingLeaves)
else scan(NewState,NewAcceptingLeaves,l+1,i0)
end
end
in scan(!yybegin ,nil,!yybufpos,!yybufpos)
end
end
in lex
end
end