File ‹trac_parser/trac_protocol.lex.sml›

 (***** GENERATED FILE -- DO NOT EDIT ****)
functor TracTransactionLexFun(structure Tokens: TracTransaction_TOKENS)=
   struct
    structure UserDeclarations =
      struct
(* SPDX-License-Identifier: BSD-3-Clause *)
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 (* end of user routines *)
exception LexError (* raised if illegal leaf action tried *)
structure Internal =
	struct

datatype yyfinstate = N of int
type statedata = {fin : yyfinstate list, trans: string}
(* transition & final state table *)
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

(* start state definitions *)

val INITIAL = STARTSTATE 1;

end
type result = UserDeclarations.lexresult
	exception LexerError (* raised if illegal leaf action tried *)
end

fun makeLexer yyinput =
let	val yygone0=1
	val yyb = Unsynchronized.ref "\n" 		(* buffer *)
	val yybl = Unsynchronized.ref 1		(*buffer length *)
	val yybufpos = Unsynchronized.ref 1		(* location of next character to use *)
	val yygone = Unsynchronized.ref yygone0	(* position in file of beginning of buffer *)
	val yydone = Unsynchronized.ref false		(* eof found yet? *)
	val yybegin = Unsynchronized.ref 1		(*Current 'start state' for lexer *)

	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 

			(* Application actions *)

  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
(*
	val start= if String.substring(!yyb,!yybufpos-1,1)="\n"
then !yybegin+1 else !yybegin
*)
	in scan(!yybegin (* start *),nil,!yybufpos,!yybufpos)
    end
end
  in lex
  end
end