# 19 "pretty.mll" open Printf open Output open Lexing (*s Global variables and functions used by the lexer. *) (* [comment_depth] indicates how many opening-braces we saw, so we know how many closing-braces we have to look for, in order to respect caml's-specifications concerning comments imbrication. *) let comment_depth = ref 0 (* Accounts for braket-depth in order to imbricate them. *) let bracket_depth = ref 0 (* Set a reference on the starting character when we see [\verb]. *) let verb_delim = ref (Char.chr 0) (* counts occurences of "%%" in yacc files *) let yaccdoublepercentcounter = ref 0 (* This function returns the first char of a lexbuf. *) let first_char lexbuf = lexeme_char lexbuf 0 (* The [count_spaces] function acccounts for spaces in order to respect alignment (in the \LaTeX{}-outputed file) concerning left margins. *) let count_spaces s = let c = ref 0 in for i = 0 to String.length s - 1 do if s.[i] = '\t' then c := !c + (8 - (!c mod 8)) else incr c done; !c (* This boolean value is true if we enter in math mode, false otherwise. *) let user_math_mode = ref false (* [user_math] function does everything is needed to set the math mode when it is called, particularly it checks/sets the [user_math_mode] value as needed. *) let user_math () = if not !user_math_mode then begin user_math_mode := true; enter_math () end else begin user_math_mode := false; leave_math () end (* Checks if we are in maths mode and prints char c considering the case. *) let check_user_math c = if !user_math_mode then output_char c else output_escaped_char c (* This function sets values in order to reset the lexer, so we could call it on an another file. *) let reset_pretty () = reset_output (); yaccdoublepercentcounter := 0; user_math_mode := false # 76 "pretty.ml" let __ocaml_lex_tables = { Lexing.lex_base = "\000\000\254\255\001\000\002\000\003\000\004\000\005\000\038\000\ \243\255\057\000\185\000\246\255\002\001\225\001\255\001\216\002\ \248\255\044\000\183\003\220\003\195\000\249\255\073\000\250\003\ \107\000\255\255\212\004\078\000\008\005\216\005\168\006\253\255\ \077\001\087\001\004\000\251\255\232\006\193\007\154\008\102\001\ \116\001\071\000\092\000\074\002\035\003\102\000\073\000\126\001\ \225\001\145\009\244\255\107\010\081\000\003\001\127\000\252\255\ \059\011\011\012\085\000\097\002\107\002\011\000\247\255\064\012\ \026\013\085\000\128\000\250\255\236\013\014\000\000\002\097\000\ \094\000\096\000\147\009\194\000\234\000\185\000\212\000\236\000\ \131\005\240\011\236\014\074\003\127\015\200\015\167\016\167\016\ \119\017\186\000\086\018\123\018\153\018\238\000\197\000\115\019\ \209\000\167\019\119\020\071\021\129\002\058\003\023\022\231\022\ \242\003\069\004\201\000\138\001\079\004\083\005\096\003\213\000\ \183\003\102\004\057\001\020\003\151\000\158\000\149\000\167\000\ \011\000\166\000\166\000\162\000\151\000\157\000\176\000\165\000\ \182\000\184\000\166\000\179\000\178\000\164\000\217\002\035\000\ \004\001\191\000\183\000\195\000\176\000\182\000\200\000\188\000\ \205\000\219\000\201\000\213\000\211\000\197\000"; Lexing.lex_backtrk = "\000\000\255\255\000\000\000\000\000\000\000\000\000\000\255\255\ \255\255\010\000\010\000\255\255\008\000\007\000\008\000\008\000\ \255\255\007\000\007\000\007\000\007\000\255\255\007\000\012\000\ \001\000\255\255\255\255\255\255\003\000\003\000\002\000\255\255\ \255\255\255\255\005\000\255\255\255\255\007\000\008\000\255\255\ \011\000\255\255\255\255\255\255\010\000\010\000\010\000\011\000\ \255\255\255\255\255\255\010\000\012\000\012\000\005\000\255\255\ \000\000\255\255\255\255\255\255\255\255\007\000\255\255\255\255\ \010\000\011\000\007\000\255\255\011\000\009\000\255\255\007\000\ \007\000\007\000\255\255\006\000\006\000\006\000\255\255\255\255\ \255\255\008\000\255\255\009\000\009\000\007\000\006\000\007\000\ \007\000\006\000\006\000\006\000\011\000\003\000\000\000\255\255\ \255\255\005\000\005\000\004\000\255\255\255\255\006\000\007\000\ \255\255\010\000\255\255\255\255\255\255\009\000\009\000\009\000\ \010\000\255\255\255\255\006\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\002\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255"; Lexing.lex_default = "\255\255\000\000\255\255\255\255\255\255\255\255\255\255\012\000\ \000\000\255\255\255\255\000\000\255\255\255\255\255\255\255\255\ \000\000\255\255\255\255\255\255\255\255\000\000\255\255\027\000\ \255\255\000\000\255\255\255\255\255\255\255\255\255\255\000\000\ \255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\008\000\000\000\255\255\255\255\058\000\255\255\000\000\ \255\255\255\255\255\255\255\255\255\255\255\255\000\000\050\000\ \255\255\255\255\255\255\000\000\255\255\255\255\016\000\255\255\ \255\255\255\255\021\000\255\255\255\255\255\255\255\255\255\255\ \062\000\255\255\085\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\096\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\021\000\255\255\255\255\255\255\255\255\255\255\ \055\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\055\000\001\000\ \031\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255"; Lexing.lex_trans = "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\002\000\002\000\004\000\004\000\006\000\006\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \002\000\002\000\004\000\004\000\006\000\006\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\008\000\024\000\ \025\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\024\000\013\000\ \021\000\008\000\013\000\013\000\013\000\023\000\022\000\016\000\ \013\000\013\000\008\000\013\000\013\000\013\000\010\000\009\000\ \009\000\009\000\009\000\009\000\009\000\009\000\009\000\009\000\ \013\000\008\000\013\000\013\000\018\000\013\000\013\000\040\000\ \016\000\009\000\009\000\009\000\009\000\009\000\009\000\009\000\ \009\000\009\000\009\000\034\000\024\000\031\000\035\000\046\000\ \046\000\046\000\046\000\061\000\021\000\062\000\039\000\069\000\ \062\000\020\000\008\000\016\000\013\000\067\000\008\000\001\000\ \054\000\066\000\025\000\024\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\045\000\014\000\015\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\039\000\054\000\ \066\000\017\000\019\000\016\000\013\000\008\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\ \008\000\008\000\008\000\008\000\008\000\008\000\035\000\040\000\ \025\000\009\000\009\000\009\000\009\000\009\000\009\000\009\000\ \009\000\009\000\009\000\079\000\001\000\079\000\021\000\093\000\ \035\000\111\000\111\000\041\000\121\000\008\000\039\000\016\000\ \001\000\021\000\001\000\118\000\001\000\111\000\111\000\119\000\ \042\000\120\000\079\000\255\255\079\000\122\000\093\000\123\000\ \124\000\043\000\125\000\126\000\078\000\127\000\078\000\128\000\ \129\000\130\000\131\000\041\000\132\000\008\000\039\000\133\000\ \016\000\035\000\021\000\025\000\138\000\139\000\011\000\140\000\ \042\000\012\000\255\255\141\000\142\000\143\000\144\000\145\000\ \036\000\043\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\146\000\147\000\148\000\016\000\ \149\000\021\000\025\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\031\000\000\000\057\000\ \137\000\012\000\000\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\027\000\ \027\000\027\000\027\000\027\000\027\000\027\000\027\000\027\000\ \027\000\048\000\000\000\048\000\025\000\115\000\047\000\047\000\ \047\000\047\000\047\000\047\000\047\000\047\000\047\000\047\000\ \000\000\000\000\000\000\000\000\040\000\040\000\040\000\040\000\ \040\000\040\000\040\000\040\000\040\000\040\000\047\000\047\000\ \047\000\047\000\047\000\047\000\047\000\047\000\047\000\047\000\ \000\000\039\000\110\000\110\000\110\000\110\000\110\000\110\000\ \110\000\110\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\039\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\000\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\013\000\255\255\001\000\013\000\013\000\013\000\ \000\000\000\000\000\000\013\000\013\000\000\000\013\000\013\000\ \013\000\047\000\047\000\047\000\047\000\047\000\047\000\047\000\ \047\000\047\000\047\000\013\000\000\000\013\000\013\000\013\000\ \013\000\013\000\031\000\000\000\021\000\000\000\012\000\000\000\ \073\000\000\000\072\000\000\000\000\000\036\000\000\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\067\000\000\000\000\000\000\000\000\000\000\000\013\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\000\000\055\000\071\000\013\000\012\000\013\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\038\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\044\000\044\000\044\000\044\000\044\000\044\000\ \044\000\044\000\044\000\044\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\044\000\044\000\044\000\044\000\044\000\ \044\000\060\000\060\000\060\000\060\000\060\000\060\000\060\000\ \060\000\060\000\060\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\000\000\000\000\000\000\ \000\000\000\000\000\000\044\000\044\000\044\000\044\000\044\000\ \044\000\101\000\101\000\101\000\101\000\101\000\101\000\101\000\ \101\000\101\000\101\000\000\000\000\000\000\000\000\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\000\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\000\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \035\000\000\000\000\000\000\000\000\000\000\000\036\000\001\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\000\000\025\000\000\000\000\000\012\000\ \001\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\037\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\044\000\044\000\044\000\044\000\044\000\ \044\000\044\000\044\000\044\000\044\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\044\000\044\000\044\000\044\000\ \044\000\044\000\096\000\096\000\096\000\096\000\096\000\096\000\ \096\000\096\000\096\000\096\000\000\000\000\000\116\000\000\000\ \105\000\000\000\083\000\083\000\083\000\083\000\083\000\083\000\ \083\000\083\000\083\000\083\000\044\000\044\000\044\000\044\000\ \044\000\044\000\117\000\000\000\000\000\000\000\000\000\104\000\ \110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\104\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\000\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \013\000\031\000\000\000\013\000\013\000\013\000\000\000\000\000\ \000\000\013\000\013\000\000\000\013\000\013\000\013\000\112\000\ \112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\ \112\000\013\000\000\000\013\000\013\000\013\000\013\000\013\000\ \000\000\000\000\000\000\000\000\000\000\013\000\000\000\000\000\ \013\000\013\000\013\000\000\000\000\000\000\000\013\000\013\000\ \000\000\013\000\013\000\013\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\016\000\013\000\013\000\000\000\ \013\000\013\000\013\000\013\000\013\000\113\000\000\000\113\000\ \000\000\255\255\112\000\112\000\112\000\112\000\112\000\112\000\ \112\000\112\000\112\000\112\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\013\000\016\000\013\000\000\000\000\000\ \000\000\016\000\013\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\000\000\026\000\000\000\ \013\000\028\000\013\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\105\000\105\000\105\000\ \105\000\105\000\105\000\105\000\105\000\105\000\105\000\109\000\ \109\000\109\000\109\000\109\000\109\000\109\000\109\000\109\000\ \109\000\000\000\104\000\000\000\000\000\000\000\000\000\000\000\ \109\000\109\000\109\000\109\000\109\000\109\000\112\000\112\000\ \112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\104\000\000\000\000\000\000\000\000\000\000\000\ \109\000\109\000\109\000\109\000\109\000\109\000\000\000\000\000\ \000\000\000\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\000\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\000\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\255\255\027\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\030\000\ \027\000\000\000\000\000\000\000\000\000\000\000\027\000\000\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\027\000\000\000\000\000\000\000\027\000\000\000\ \027\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\000\000\000\000\000\000\000\000\029\000\ \000\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\109\000\109\000\109\000\109\000\109\000\ \109\000\109\000\109\000\109\000\109\000\001\000\000\000\000\000\ \000\000\000\000\000\000\000\000\109\000\109\000\109\000\109\000\ \109\000\109\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\031\000\000\000\025\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \016\000\000\000\000\000\000\000\109\000\109\000\109\000\109\000\ \109\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\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\081\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\000\000\000\000\000\000\000\000\029\000\ \000\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\021\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\000\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\000\000\000\000\000\000\000\000\029\000\ \000\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\000\000\000\000\000\000\000\000\000\000\ \000\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\000\000\000\000\000\000\000\000\012\000\ \000\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\000\000\000\000\000\000\000\000\000\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\000\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\000\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\000\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\000\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\000\000\000\000\000\000\000\000\000\000\000\000\036\000\ \000\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\000\000\000\000\000\000\000\000\ \012\000\000\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \000\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \000\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\000\000\000\000\000\000\000\000\000\000\000\000\ \036\000\000\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\000\000\000\000\000\000\ \000\000\012\000\000\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\037\000\012\000\ \012\000\012\000\012\000\012\000\012\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\000\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\000\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\054\000\035\000\000\000\076\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\054\000\000\000\011\000\000\000\000\000\000\000\067\000\ \053\000\052\000\000\000\001\000\031\000\077\000\055\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\000\000\000\000\031\000\075\000\ \056\000\000\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \000\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \000\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\050\000\051\000\055\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\000\000\000\000\ \000\000\000\000\051\000\000\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\000\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\000\000\000\000\ \000\000\000\000\051\000\000\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\035\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\055\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\058\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\059\000\059\000\059\000\059\000\059\000\ \059\000\059\000\059\000\059\000\059\000\000\000\000\000\000\000\ \000\000\066\000\021\000\000\000\067\000\000\000\000\000\000\000\ \000\000\000\000\055\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \066\000\000\000\055\000\000\000\055\000\068\000\000\000\058\000\ \000\000\000\000\000\000\000\000\000\000\058\000\000\000\065\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\058\000\055\000\035\000\000\000\058\000\000\000\058\000\ \000\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\000\000\000\000\000\000\000\000\064\000\ \000\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\000\000\067\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\000\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\000\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \008\000\064\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\000\000\000\000\000\000\ \000\000\064\000\000\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\000\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\025\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\000\000\ \000\000\000\000\000\000\064\000\000\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\001\000\ \000\000\031\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\000\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\000\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\093\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\093\000\086\000\031\000\050\000\ \086\000\086\000\086\000\092\000\021\000\021\000\086\000\086\000\ \050\000\086\000\086\000\086\000\084\000\083\000\083\000\083\000\ \083\000\083\000\083\000\083\000\083\000\083\000\086\000\050\000\ \086\000\086\000\090\000\086\000\086\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\094\000\ \050\000\001\000\086\000\000\000\050\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\087\000\088\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\089\000\ \091\000\021\000\086\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\000\000\105\000\000\000\083\000\ \083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\ \083\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\106\000\000\000\050\000\104\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\107\000\000\000\ \000\000\000\000\000\000\000\000\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\106\000\000\000\050\000\104\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\062\000\000\000\107\000\085\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\108\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\000\000\000\000\000\000\000\000\085\000\ \000\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\000\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\000\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \086\000\000\000\000\000\086\000\086\000\086\000\085\000\000\000\ \000\000\086\000\086\000\000\000\086\000\086\000\086\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\086\000\000\000\086\000\086\000\086\000\086\000\086\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\000\000\000\000\000\000\086\000\085\000\000\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\103\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\000\000\086\000\000\000\086\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\000\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\000\000\000\000\000\000\000\000\085\000\000\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\102\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\000\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\000\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\086\000\ \000\000\000\000\086\000\086\000\086\000\000\000\000\000\000\000\ \086\000\086\000\000\000\086\000\086\000\086\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \086\000\000\000\086\000\086\000\086\000\086\000\086\000\000\000\ \000\000\000\000\000\000\000\000\086\000\000\000\000\000\086\000\ \086\000\086\000\000\000\000\000\000\000\086\000\086\000\000\000\ \086\000\086\000\086\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\021\000\086\000\086\000\000\000\086\000\ \086\000\086\000\086\000\086\000\000\000\000\000\000\000\000\000\ \255\255\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\086\000\021\000\086\000\000\000\000\000\000\000\ \021\000\086\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\000\000\095\000\000\000\086\000\ \097\000\086\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \000\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \000\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\255\255\096\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\100\000\100\000\100\000\100\000\100\000\ \100\000\100\000\100\000\100\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\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\099\000\096\000\ \000\000\000\000\000\000\000\000\000\000\096\000\000\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\096\000\000\000\000\000\000\000\096\000\000\000\096\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\000\000\000\000\000\000\000\000\098\000\000\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\000\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\000\000\000\000\000\000\000\000\098\000\000\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\000\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\000\000\000\000\000\000\000\000\098\000\000\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\000\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\085\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\000\000\000\000\000\000\000\000\085\000\000\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\000\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\000\000\000\000\000\000\000\000\085\000\000\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\102\000\085\000\085\000\085\000\085\000\ \085\000\085\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\000\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\000\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\000\000\ "; Lexing.lex_check = "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\000\000\002\000\003\000\004\000\005\000\006\000\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \000\000\002\000\003\000\004\000\005\000\006\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\009\000\ \017\000\009\000\009\000\009\000\009\000\009\000\009\000\009\000\ \009\000\009\000\009\000\022\000\024\000\027\000\034\000\041\000\ \041\000\046\000\046\000\052\000\058\000\061\000\009\000\065\000\ \069\000\007\000\007\000\007\000\007\000\071\000\007\000\072\000\ \054\000\066\000\073\000\024\000\042\000\042\000\042\000\042\000\ \042\000\042\000\042\000\042\000\007\000\007\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\009\000\054\000\ \066\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\ \007\000\007\000\007\000\007\000\007\000\007\000\075\000\010\000\ \077\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\076\000\078\000\079\000\089\000\093\000\ \096\000\106\000\106\000\010\000\116\000\007\000\010\000\020\000\ \000\000\094\000\003\000\117\000\005\000\111\000\111\000\118\000\ \010\000\119\000\076\000\120\000\079\000\121\000\093\000\122\000\ \123\000\010\000\124\000\125\000\076\000\126\000\079\000\127\000\ \128\000\129\000\130\000\010\000\131\000\007\000\010\000\132\000\ \020\000\133\000\094\000\135\000\137\000\138\000\007\000\139\000\ \010\000\012\000\053\000\140\000\141\000\142\000\143\000\144\000\ \012\000\010\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\145\000\146\000\147\000\020\000\ \148\000\094\000\149\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\114\000\255\255\053\000\ \136\000\012\000\255\255\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\039\000\255\255\039\000\114\000\114\000\039\000\039\000\ \039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\ \255\255\255\255\255\255\255\255\040\000\040\000\040\000\040\000\ \040\000\040\000\040\000\040\000\040\000\040\000\047\000\047\000\ \047\000\047\000\047\000\047\000\047\000\047\000\047\000\047\000\ \255\255\040\000\107\000\107\000\107\000\107\000\107\000\107\000\ \107\000\107\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\040\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\255\255\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\013\000\053\000\136\000\013\000\013\000\013\000\ \255\255\255\255\255\255\013\000\013\000\255\255\013\000\013\000\ \013\000\048\000\048\000\048\000\048\000\048\000\048\000\048\000\ \048\000\048\000\048\000\013\000\255\255\013\000\013\000\013\000\ \013\000\013\000\070\000\255\255\070\000\255\255\014\000\255\255\ \070\000\255\255\070\000\255\255\255\255\014\000\255\255\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\114\000\255\255\255\255\255\255\255\255\255\255\013\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\255\255\070\000\070\000\013\000\014\000\013\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\043\000\043\000\043\000\043\000\043\000\043\000\ \043\000\043\000\043\000\043\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\043\000\043\000\043\000\043\000\043\000\ \043\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\ \059\000\059\000\059\000\060\000\060\000\060\000\060\000\060\000\ \060\000\060\000\060\000\060\000\060\000\255\255\255\255\255\255\ \255\255\255\255\255\255\043\000\043\000\043\000\043\000\043\000\ \043\000\100\000\100\000\100\000\100\000\100\000\100\000\100\000\ \100\000\100\000\100\000\255\255\255\255\255\255\255\255\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\255\255\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\255\255\014\000\ \014\000\014\000\014\000\014\000\014\000\014\000\014\000\015\000\ \070\000\255\255\255\255\255\255\255\255\255\255\015\000\134\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\255\255\134\000\255\255\255\255\015\000\ \115\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\044\000\044\000\044\000\044\000\044\000\ \044\000\044\000\044\000\044\000\044\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\044\000\044\000\044\000\044\000\ \044\000\044\000\101\000\101\000\101\000\101\000\101\000\101\000\ \101\000\101\000\101\000\101\000\255\255\255\255\115\000\255\255\ \083\000\255\255\083\000\083\000\083\000\083\000\083\000\083\000\ \083\000\083\000\083\000\083\000\044\000\044\000\044\000\044\000\ \044\000\044\000\115\000\255\255\255\255\255\255\255\255\083\000\ \110\000\110\000\110\000\110\000\110\000\110\000\110\000\110\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\083\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\255\255\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \018\000\134\000\255\255\018\000\018\000\018\000\255\255\255\255\ \255\255\018\000\018\000\255\255\018\000\018\000\018\000\112\000\ \112\000\112\000\112\000\112\000\112\000\112\000\112\000\112\000\ \112\000\018\000\255\255\018\000\018\000\018\000\018\000\018\000\ \255\255\255\255\255\255\255\255\255\255\019\000\255\255\255\255\ \019\000\019\000\019\000\255\255\255\255\255\255\019\000\019\000\ \255\255\019\000\019\000\019\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\018\000\018\000\019\000\255\255\ \019\000\019\000\019\000\019\000\019\000\104\000\255\255\104\000\ \255\255\023\000\104\000\104\000\104\000\104\000\104\000\104\000\ \104\000\104\000\104\000\104\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\018\000\018\000\018\000\255\255\255\255\ \255\255\019\000\019\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\255\255\023\000\255\255\ \019\000\023\000\019\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\105\000\105\000\105\000\ \105\000\105\000\105\000\105\000\105\000\105\000\105\000\108\000\ \108\000\108\000\108\000\108\000\108\000\108\000\108\000\108\000\ \108\000\255\255\105\000\255\255\255\255\255\255\255\255\255\255\ \108\000\108\000\108\000\108\000\108\000\108\000\113\000\113\000\ \113\000\113\000\113\000\113\000\113\000\113\000\113\000\113\000\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\105\000\255\255\255\255\255\255\255\255\255\255\ \108\000\108\000\108\000\108\000\108\000\108\000\255\255\255\255\ \255\255\255\255\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\255\255\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\255\255\023\000\023\000\023\000\023\000\023\000\023\000\ \023\000\023\000\023\000\026\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\026\000\026\000\026\000\026\000\ \026\000\026\000\026\000\026\000\026\000\026\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\028\000\ \026\000\255\255\255\255\255\255\255\255\255\255\026\000\255\255\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\026\000\255\255\255\255\255\255\026\000\255\255\ \026\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\255\255\255\255\255\255\255\255\028\000\ \255\255\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\109\000\109\000\109\000\109\000\109\000\ \109\000\109\000\109\000\109\000\109\000\080\000\255\255\255\255\ \255\255\255\255\255\255\255\255\109\000\109\000\109\000\109\000\ \109\000\109\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\080\000\255\255\080\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \080\000\255\255\255\255\255\255\109\000\109\000\109\000\109\000\ \109\000\109\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\080\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\029\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\255\255\255\255\255\255\255\255\029\000\ \255\255\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\080\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\255\255\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\030\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\255\255\255\255\255\255\255\255\030\000\ \255\255\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\255\255\255\255\255\255\255\255\255\255\ \255\255\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\255\255\255\255\255\255\255\255\036\000\ \255\255\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\255\255\255\255\255\255\255\255\255\255\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\255\255\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\255\255\ \030\000\030\000\030\000\030\000\030\000\030\000\030\000\030\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\255\255\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\255\255\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \037\000\255\255\255\255\255\255\255\255\255\255\255\255\037\000\ \255\255\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\255\255\255\255\255\255\255\255\ \037\000\255\255\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \255\255\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \255\255\037\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\038\000\255\255\255\255\255\255\255\255\255\255\255\255\ \038\000\255\255\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\255\255\255\255\255\255\ \255\255\038\000\255\255\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\255\255\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\255\255\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\038\000\049\000\049\000\255\255\074\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\049\000\255\255\049\000\255\255\255\255\255\255\074\000\ \049\000\049\000\255\255\049\000\049\000\074\000\049\000\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\255\255\255\255\074\000\074\000\ \049\000\255\255\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \255\255\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \255\255\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\051\000\074\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\255\255\255\255\ \255\255\255\255\051\000\255\255\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\255\255\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\056\000\051\000\051\000\051\000\051\000\051\000\ \051\000\051\000\051\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\255\255\255\255\ \255\255\255\255\056\000\255\255\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\081\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\081\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\057\000\056\000\056\000\056\000\056\000\056\000\ \056\000\056\000\056\000\057\000\057\000\057\000\057\000\057\000\ \057\000\057\000\057\000\057\000\057\000\255\255\255\255\255\255\ \255\255\063\000\063\000\255\255\081\000\255\255\255\255\255\255\ \255\255\255\255\081\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \063\000\255\255\081\000\255\255\081\000\063\000\255\255\057\000\ \255\255\255\255\255\255\255\255\255\255\057\000\255\255\063\000\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\057\000\063\000\063\000\255\255\057\000\255\255\057\000\ \255\255\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\255\255\255\255\255\255\255\255\063\000\ \255\255\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\255\255\063\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\255\255\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\255\255\ \063\000\063\000\063\000\063\000\063\000\063\000\063\000\063\000\ \063\000\064\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\255\255\255\255\255\255\ \255\255\064\000\255\255\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\255\255\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\068\000\064\000\064\000\064\000\064\000\064\000\064\000\ \064\000\064\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\255\255\ \255\255\255\255\255\255\068\000\255\255\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\ \255\255\068\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\255\255\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\255\255\068\000\068\000\068\000\068\000\ \068\000\068\000\068\000\068\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\082\000\ \082\000\082\000\082\000\255\255\082\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\082\000\082\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\ \082\000\082\000\082\000\082\000\255\255\084\000\255\255\084\000\ \084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\ \084\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\084\000\255\255\082\000\084\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\084\000\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\084\000\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\084\000\255\255\082\000\084\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\082\000\255\255\084\000\085\000\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\084\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\255\255\255\255\255\255\255\255\085\000\ \255\255\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\255\255\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\255\255\ \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\ \086\000\255\255\255\255\086\000\086\000\086\000\087\000\255\255\ \255\255\086\000\086\000\255\255\086\000\086\000\086\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\086\000\255\255\086\000\086\000\086\000\086\000\086\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\255\255\255\255\255\255\086\000\087\000\255\255\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\255\255\086\000\255\255\086\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\255\255\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\088\000\087\000\ \087\000\087\000\087\000\087\000\087\000\087\000\087\000\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\255\255\255\255\255\255\255\255\088\000\255\255\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\255\255\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\255\255\088\000\ \088\000\088\000\088\000\088\000\088\000\088\000\088\000\090\000\ \255\255\255\255\090\000\090\000\090\000\255\255\255\255\255\255\ \090\000\090\000\255\255\090\000\090\000\090\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \090\000\255\255\090\000\090\000\090\000\090\000\090\000\255\255\ \255\255\255\255\255\255\255\255\091\000\255\255\255\255\091\000\ \091\000\091\000\255\255\255\255\255\255\091\000\091\000\255\255\ \091\000\091\000\091\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\090\000\090\000\091\000\255\255\091\000\ \091\000\091\000\091\000\091\000\255\255\255\255\255\255\255\255\ \092\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\090\000\090\000\090\000\255\255\255\255\255\255\ \091\000\091\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\255\255\092\000\255\255\091\000\ \092\000\091\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \255\255\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \255\255\092\000\092\000\092\000\092\000\092\000\092\000\092\000\ \092\000\092\000\095\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\095\000\095\000\095\000\095\000\095\000\ \095\000\095\000\095\000\095\000\095\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\097\000\095\000\ \255\255\255\255\255\255\255\255\255\255\095\000\255\255\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\095\000\255\255\255\255\255\255\095\000\255\255\095\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\255\255\255\255\255\255\255\255\097\000\255\255\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\255\255\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\098\000\097\000\ \097\000\097\000\097\000\097\000\097\000\097\000\097\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\255\255\255\255\255\255\255\255\098\000\255\255\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\255\255\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\099\000\098\000\ \098\000\098\000\098\000\098\000\098\000\098\000\098\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\255\255\255\255\255\255\255\255\099\000\255\255\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\255\255\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\102\000\099\000\ \099\000\099\000\099\000\099\000\099\000\099\000\099\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\255\255\255\255\255\255\255\255\102\000\255\255\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\255\255\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\103\000\102\000\ \102\000\102\000\102\000\102\000\102\000\102\000\102\000\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\255\255\255\255\255\255\255\255\103\000\255\255\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\255\255\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\255\255\103\000\ \103\000\103\000\103\000\103\000\103\000\103\000\103\000\255\255\ "; Lexing.lex_base_code = ""; Lexing.lex_backtrk_code = ""; Lexing.lex_default_code = ""; Lexing.lex_trans_code = ""; Lexing.lex_check_code = ""; Lexing.lex_code = ""; } let rec pr_camlcode lexbuf = __ocaml_lex_pr_camlcode_rec lexbuf 0 and __ocaml_lex_pr_camlcode_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 127 "pretty.mll" ( let n = count_spaces (lexeme lexbuf) in indentation n; pr_camlcode_inside lexbuf; pr_camlcode lexbuf ) # 1694 "pretty.ml" | 1 -> # 129 "pretty.mll" ( leave_math () ) # 1699 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_camlcode_rec lexbuf __ocaml_lex_state and pr_lexcode lexbuf = __ocaml_lex_pr_lexcode_rec lexbuf 3 and __ocaml_lex_pr_lexcode_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 132 "pretty.mll" ( let n = count_spaces (lexeme lexbuf) in indentation n; pr_lexcode_inside lexbuf; pr_lexcode lexbuf ) # 1711 "pretty.ml" | 1 -> # 134 "pretty.mll" ( leave_math () ) # 1716 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_lexcode_rec lexbuf __ocaml_lex_state and pr_yacccode lexbuf = __ocaml_lex_pr_yacccode_rec lexbuf 5 and __ocaml_lex_pr_yacccode_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 137 "pretty.mll" ( let n = count_spaces (lexeme lexbuf) in indentation n; pr_yacccode_inside lexbuf; pr_yacccode lexbuf ) # 1728 "pretty.ml" | 1 -> # 139 "pretty.mll" ( leave_math () ) # 1733 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_yacccode_rec lexbuf __ocaml_lex_state and pr_camlcode_inside lexbuf = __ocaml_lex_pr_camlcode_inside_rec lexbuf 7 and __ocaml_lex_pr_camlcode_inside_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 146 "pretty.mll" ( end_line () ) # 1744 "pretty.ml" | 1 -> # 148 "pretty.mll" ( output_char '~'; pr_camlcode_inside lexbuf ) # 1749 "pretty.ml" | 2 -> # 150 "pretty.mll" ( output_verbatim (lexeme lexbuf); pr_camlcode_inside lexbuf ) # 1754 "pretty.ml" | 3 -> # 152 "pretty.mll" ( let id = lexeme lexbuf in output_type_variable (String.sub id 1 (pred (String.length id))); pr_camlcode_inside lexbuf ) # 1761 "pretty.ml" | 4 -> # 156 "pretty.mll" ( output_hfill (); output_bc (); comment_depth := 1; pr_comment lexbuf; pr_camlcode_inside lexbuf ) # 1767 "pretty.ml" | 5 -> # 159 "pretty.mll" ( output_bc (); comment_depth := 1; pr_comment lexbuf; pr_camlcode_inside lexbuf ) # 1773 "pretty.ml" | 6 -> # 162 "pretty.mll" ( output_bs (); pr_code_string lexbuf; pr_camlcode_inside lexbuf ) # 1778 "pretty.ml" | 7 -> # 164 "pretty.mll" ( output_symbol (lexeme lexbuf); pr_camlcode_inside lexbuf ) # 1783 "pretty.ml" | 8 -> # 166 "pretty.mll" ( output_ident (lexeme lexbuf); pr_camlcode_inside lexbuf ) # 1788 "pretty.ml" | 9 -> # 168 "pretty.mll" ( () (*i end_line() supprime par dorland-muller i*) ) # 1793 "pretty.ml" | 10 -> # 170 "pretty.mll" ( output_integer (lexeme lexbuf); pr_camlcode_inside lexbuf ) # 1798 "pretty.ml" | 11 -> # 172 "pretty.mll" ( output_float (lexeme lexbuf); pr_camlcode_inside lexbuf ) # 1803 "pretty.ml" | 12 -> # 174 "pretty.mll" ( output_escaped_char (first_char lexbuf); pr_camlcode_inside lexbuf ) # 1808 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_camlcode_inside_rec lexbuf __ocaml_lex_state and pr_lexcode_inside lexbuf = __ocaml_lex_pr_lexcode_inside_rec lexbuf 49 and __ocaml_lex_pr_lexcode_inside_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 181 "pretty.mll" ( output_string "\\ocwlexwc"; pr_lexcode_inside lexbuf ) # 1819 "pretty.ml" | 1 -> # 183 "pretty.mll" ( enter_math (); output_string "^\\star{}"; pr_lexcode_inside lexbuf ) # 1826 "pretty.ml" | 2 -> # 187 "pretty.mll" ( enter_math (); output_string "^{\\scriptscriptstyle +}"; pr_lexcode_inside lexbuf ) # 1833 "pretty.ml" | 3 -> # 191 "pretty.mll" ( leave_math (); output_string "--"; pr_lexcode_inside lexbuf ) # 1840 "pretty.ml" | 4 -> # 195 "pretty.mll" ( end_line () ) # 1845 "pretty.ml" | 5 -> # 197 "pretty.mll" ( output_char '~'; pr_lexcode_inside lexbuf ) # 1850 "pretty.ml" | 6 -> # 199 "pretty.mll" ( output_verbatim (lexeme lexbuf); pr_lexcode_inside lexbuf ) # 1855 "pretty.ml" | 7 -> # 200 "pretty.mll" ( output_bc (); comment_depth := 1; pr_comment lexbuf; pr_lexcode_inside lexbuf ) # 1861 "pretty.ml" | 8 -> # 203 "pretty.mll" ( output_hfill (); output_bc (); comment_depth := 1; pr_comment lexbuf; pr_lexcode_inside lexbuf ) # 1867 "pretty.ml" | 9 -> # 205 "pretty.mll" ( output_bs (); pr_code_string lexbuf; pr_lexcode_inside lexbuf ) # 1872 "pretty.ml" | 10 -> # 207 "pretty.mll" ( output_lex_ident (lexeme lexbuf); pr_lexcode_inside lexbuf ) # 1877 "pretty.ml" | 11 -> # 208 "pretty.mll" ( () ) # 1882 "pretty.ml" | 12 -> # 210 "pretty.mll" ( output_escaped_char (first_char lexbuf); pr_lexcode_inside lexbuf ) # 1887 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_lexcode_inside_rec lexbuf __ocaml_lex_state and pr_yacccode_inside lexbuf = __ocaml_lex_pr_yacccode_inside_rec lexbuf 63 and __ocaml_lex_pr_yacccode_inside_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 215 "pretty.mll" ( incr yaccdoublepercentcounter; output_string (if !yaccdoublepercentcounter = 1 then "\\ocwyaccrules" else "\\ocwyacctrailer"); pr_yacccode_inside lexbuf ) # 1905 "pretty.ml" | 1 -> # 224 "pretty.mll" ( output_string "\\ocwyaccopercentbrace"; pr_yacccode_inside lexbuf ) # 1913 "pretty.ml" | 2 -> # 229 "pretty.mll" ( output_string "\\ocwyacccpercentbrace"; pr_yacccode_inside lexbuf ) # 1921 "pretty.ml" | 3 -> # 234 "pretty.mll" ( output_string "\\ocwyacccolon"; pr_yacccode_inside lexbuf ) # 1929 "pretty.ml" | 4 -> # 239 "pretty.mll" ( output_string "\\ocwyaccendrule"; pr_yacccode_inside lexbuf ) # 1937 "pretty.ml" | 5 -> # 244 "pretty.mll" ( output_string "\\ocwyaccpipe"; pr_yacccode_inside lexbuf ) # 1945 "pretty.ml" | 6 -> # 249 "pretty.mll" ( end_line (); ) # 1950 "pretty.ml" | 7 -> # 251 "pretty.mll" ( output_char '~'; pr_yacccode_inside lexbuf ) # 1955 "pretty.ml" | 8 -> # 253 "pretty.mll" ( output_hfill (); output_byc (); pr_yacc_comment lexbuf; pr_yacccode_inside lexbuf ) # 1961 "pretty.ml" | 9 -> # 256 "pretty.mll" ( output_byc (); pr_yacc_comment lexbuf; pr_yacccode_inside lexbuf ) # 1966 "pretty.ml" | 10 -> # 258 "pretty.mll" ( output_yacc_ident (lexeme lexbuf); pr_yacccode_inside lexbuf ) # 1971 "pretty.ml" | 11 -> # 260 "pretty.mll" ( output_escaped_char (first_char lexbuf); pr_yacccode_inside lexbuf ) # 1976 "pretty.ml" | 12 -> # 262 "pretty.mll" ( () ) # 1981 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_yacccode_inside_rec lexbuf __ocaml_lex_state and pr_comment lexbuf = __ocaml_lex_pr_comment_rec lexbuf 70 and __ocaml_lex_pr_comment_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 269 "pretty.mll" ( output_bc (); incr comment_depth; pr_comment lexbuf ) # 1994 "pretty.ml" | 1 -> # 273 "pretty.mll" ( output_ec (); decr comment_depth; if !comment_depth > 0 then pr_comment lexbuf ) # 2001 "pretty.ml" | 2 -> # 280 "pretty.mll" ( output_bs (); pr_code_string lexbuf; pr_comment lexbuf; ) # 2008 "pretty.ml" | 3 -> # 284 "pretty.mll" ( if !user_math_mode then output_char '[' else begin bracket_depth := 1; begin_dcode (); escaped_code lexbuf; end_dcode () end; pr_comment lexbuf ) # 2019 "pretty.ml" | 4 -> # 292 "pretty.mll" ( () ) # 2024 "pretty.ml" | 5 -> # 294 "pretty.mll" ( output_string (lexeme lexbuf); pr_comment lexbuf ) # 2029 "pretty.ml" | 6 -> # 296 "pretty.mll" ( user_math(); pr_comment lexbuf ) # 2034 "pretty.ml" | 7 -> # 298 "pretty.mll" ( output_char (first_char lexbuf); pr_comment lexbuf ) # 2039 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_comment_rec lexbuf __ocaml_lex_state and pr_yacc_comment lexbuf = __ocaml_lex_pr_yacc_comment_rec lexbuf 74 and __ocaml_lex_pr_yacc_comment_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 303 "pretty.mll" ( output_eyc (); ) # 2050 "pretty.ml" | 1 -> # 305 "pretty.mll" ( output_string "\n "; pr_yacc_comment lexbuf ) # 2055 "pretty.ml" | 2 -> # 306 "pretty.mll" ( if !user_math_mode then output_char '[' else begin bracket_depth := 1; begin_dcode (); escaped_code lexbuf; end_dcode () end; pr_yacc_comment lexbuf ) # 2066 "pretty.ml" | 3 -> # 313 "pretty.mll" ( () ) # 2071 "pretty.ml" | 4 -> # 314 "pretty.mll" ( output_string (lexeme lexbuf); pr_yacc_comment lexbuf ) # 2076 "pretty.ml" | 5 -> # 315 "pretty.mll" ( user_math(); pr_yacc_comment lexbuf ) # 2081 "pretty.ml" | 6 -> # 316 "pretty.mll" ( output_char (first_char lexbuf); pr_yacc_comment lexbuf ) # 2086 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_yacc_comment_rec lexbuf __ocaml_lex_state and pr_code_string lexbuf = __ocaml_lex_pr_code_string_rec lexbuf 80 and __ocaml_lex_pr_code_string_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 322 "pretty.mll" ( output_es () ) # 2097 "pretty.ml" | 1 -> # 323 "pretty.mll" ( end_line_string (); pr_code_string lexbuf ) # 2102 "pretty.ml" | 2 -> # 324 "pretty.mll" ( output_vspace (); pr_code_string lexbuf ) # 2107 "pretty.ml" | 3 -> # 326 "pretty.mll" ( output_escaped_char '\\'; output_char (lexeme_char lexbuf 1); pr_code_string lexbuf ) # 2114 "pretty.ml" | 4 -> # 330 "pretty.mll" ( output_escaped_char '\\'; end_line_string (); pr_code_string lexbuf ) # 2120 "pretty.ml" | 5 -> # 333 "pretty.mll" ( output_escaped_char '\\'; output_escaped_char '\\'; pr_code_string lexbuf ) # 2126 "pretty.ml" | 6 -> # 335 "pretty.mll" ( () ) # 2131 "pretty.ml" | 7 -> # 336 "pretty.mll" ( output_ascii_char 45; pr_code_string lexbuf ) # 2136 "pretty.ml" | 8 -> # 337 "pretty.mll" ( output_escaped_char (first_char lexbuf); pr_code_string lexbuf ) # 2141 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_code_string_rec lexbuf __ocaml_lex_state and escaped_code lexbuf = __ocaml_lex_escaped_code_rec lexbuf 82 and __ocaml_lex_escaped_code_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 343 "pretty.mll" ( output_char '['; incr bracket_depth; escaped_code lexbuf ) # 2152 "pretty.ml" | 1 -> # 344 "pretty.mll" ( decr bracket_depth; if !bracket_depth > 0 then begin output_char ']'; escaped_code lexbuf end else if not !user_math_mode then leave_math () ) # 2161 "pretty.ml" | 2 -> # 349 "pretty.mll" ( output_bs (); pr_code_string lexbuf; escaped_code lexbuf ) # 2166 "pretty.ml" | 3 -> # 351 "pretty.mll" ( output_char '~'; escaped_code lexbuf ) # 2171 "pretty.ml" | 4 -> # 353 "pretty.mll" ( output_verbatim (lexeme lexbuf); escaped_code lexbuf ) # 2176 "pretty.ml" | 5 -> # 355 "pretty.mll" ( let id = lexeme lexbuf in output_type_variable (String.sub id 1 (pred (String.length id))); escaped_code lexbuf ) # 2183 "pretty.ml" | 6 -> # 359 "pretty.mll" ( output_symbol (lexeme lexbuf); escaped_code lexbuf ) # 2188 "pretty.ml" | 7 -> # 361 "pretty.mll" ( output_ident (lexeme lexbuf); escaped_code lexbuf ) # 2193 "pretty.ml" | 8 -> # 362 "pretty.mll" ( if not !user_math_mode then leave_math () ) # 2198 "pretty.ml" | 9 -> # 364 "pretty.mll" ( output_integer (lexeme lexbuf); escaped_code lexbuf ) # 2203 "pretty.ml" | 10 -> # 366 "pretty.mll" ( output_float (lexeme lexbuf); escaped_code lexbuf ) # 2208 "pretty.ml" | 11 -> # 367 "pretty.mll" ( output_escaped_char (first_char lexbuf); escaped_code lexbuf ) # 2213 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_escaped_code_rec lexbuf __ocaml_lex_state and pr_doc lexbuf = __ocaml_lex_pr_doc_rec lexbuf 114 and __ocaml_lex_pr_doc_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 375 "pretty.mll" ( if !user_math_mode then output_char '[' else begin bracket_depth := 1; begin_dcode (); escaped_code lexbuf; end_dcode () end; pr_doc lexbuf ) # 2230 "pretty.ml" | 1 -> # 383 "pretty.mll" ( output_string (lexeme lexbuf); pr_doc lexbuf ) # 2235 "pretty.ml" | 2 -> # 385 "pretty.mll" ( user_math(); pr_doc lexbuf ) # 2240 "pretty.ml" | 3 -> # 387 "pretty.mll" ( verb_delim := lexeme_char lexbuf 5; output_string (lexeme lexbuf); pr_verb lexbuf; pr_doc lexbuf ) # 2247 "pretty.ml" | 4 -> # 391 "pretty.mll" ( output_string (lexeme lexbuf); pr_verbatim lexbuf; pr_doc lexbuf ) # 2253 "pretty.ml" | 5 -> # 394 "pretty.mll" ( () ) # 2258 "pretty.ml" | 6 -> # 396 "pretty.mll" ( output_char (first_char lexbuf); pr_doc lexbuf ) # 2263 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_doc_rec lexbuf __ocaml_lex_state and pr_doc_title lexbuf = __ocaml_lex_pr_doc_title_rec lexbuf 134 and __ocaml_lex_pr_doc_title_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 400 "pretty.mll" ( if !user_math_mode then output_char '[' else begin bracket_depth := 1; begin_dcode (); escaped_code lexbuf; end_dcode () end; pr_doc_title lexbuf ) # 2280 "pretty.ml" | 1 -> # 408 "pretty.mll" ( output_string ".}\\quad{}" ) # 2285 "pretty.ml" | 2 -> # 410 "pretty.mll" ( () ) # 2290 "pretty.ml" | 3 -> # 412 "pretty.mll" ( output_char (first_char lexbuf); pr_doc_title lexbuf ) # 2295 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_doc_title_rec lexbuf __ocaml_lex_state and pr_verb lexbuf = __ocaml_lex_pr_verb_rec lexbuf 135 and __ocaml_lex_pr_verb_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 415 "pretty.mll" ( () ) # 2306 "pretty.ml" | 1 -> # 416 "pretty.mll" ( let c = lexeme_char lexbuf 0 in output_char c; if c == !verb_delim then () else pr_verb lexbuf ) # 2313 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_verb_rec lexbuf __ocaml_lex_state and pr_verbatim lexbuf = __ocaml_lex_pr_verbatim_rec lexbuf 136 and __ocaml_lex_pr_verbatim_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 422 "pretty.mll" ( output_string (lexeme lexbuf) ) # 2324 "pretty.ml" | 1 -> # 423 "pretty.mll" ( () ) # 2329 "pretty.ml" | 2 -> # 424 "pretty.mll" ( output_char (lexeme_char lexbuf 0); pr_verbatim lexbuf ) # 2334 "pretty.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_pr_verbatim_rec lexbuf __ocaml_lex_state ;; # 426 "pretty.mll" (*s pretty-printing subparagraphs *) let pretty_print_caml_subpar s = pr_camlcode (Lexing.from_string s) let pretty_print_lex_subpar s = pr_lexcode (Lexing.from_string s) let pretty_print_yacc_subpar s = pr_yacccode (Lexing.from_string s) (*s Then we can introduce two functions [pretty_print_code] and [pretty_print_doc], which pretty-print respectively code and documentation parts. *) let pretty_print_code is_last_paragraph s = pr_camlcode (Lexing.from_string s); end_code_paragraph is_last_paragraph let pretty_print_doc is_first_paragraph (big,n,s) = begin_doc_paragraph is_first_paragraph n; let lb = Lexing.from_string s in if big then begin output_string "\\textbf{"; pr_doc_title lb end; pr_doc lb; end_doc_paragraph () # 2371 "pretty.ml"