diff --git a/doc/DocGF.pdf b/doc/DocGF.pdf index a7d3dff02..938dbe89e 100644 Binary files a/doc/DocGF.pdf and b/doc/DocGF.pdf differ diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 3b3e9eaa6..33db87e37 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -512,6 +512,10 @@ inferLType gr trm = case trm of PString _ -> True PInt _ -> True PFloat _ -> True + PSeq p q -> isConstPatt p && isConstPatt q + PAlt p q -> isConstPatt p && isConstPatt q + PRep p -> isConstPatt p + PAs _ p -> isConstPatt p _ -> False inferPatt p = case p of @@ -664,7 +668,7 @@ checkLType env trm typ0 = do pattContext :: LTEnv -> Type -> Patt -> Check Context pattContext env typ p = case p of PV x -> return [(x,typ)] - PP q c ps | q /= cPredef || prt c == "CC" -> do ---- why this /=? AR 6/1/2006 + PP q c ps | q /= cPredef -> do ---- why this /=? AR 6/1/2006 t <- checkErr $ lookupResType cnc q c (cont,v) <- checkErr $ typeFormCnc t checkCond ("wrong number of arguments for constructor in" +++ prt p) @@ -683,7 +687,21 @@ pattContext env typ p = case p of checkEqLType env typ t (patt2term p') pattContext env typ p' - _ -> return [] ---- + PAs x p -> do + g <- pattContext env typ p + return $ (x,typ):g + + PAlt p q -> do + g1 <- pattContext env typ p + g2 <- pattContext env typ q + return $ filter (flip elem g1) g2 -- must be in both + PSeq p q -> do + g1 <- pattContext env typ p + g2 <- pattContext env typ q + return $ g1 ++ g2 + PRep p -> pattContext env typeStr p + + _ -> return [] ---- check types! where cnc = env diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs index c3369e9ef..61f26b89e 100644 --- a/src/GF/Compile/Rename.hs +++ b/src/GF/Compile/Rename.hs @@ -241,6 +241,24 @@ renamePattern env patt = case patt of let (ps',vs') = unzip psvss return (PR (zip ls ps'), concat vs') + PAlt p q -> do + (p',vs) <- renp p + (q',ws) <- renp q + return (PAlt p' q', vs ++ ws) + + PSeq p q -> do + (p',vs) <- renp p + (q',ws) <- renp q + return (PSeq p' q', vs ++ ws) + + PRep p -> do + (p',vs) <- renp p + return (PRep p', vs) + + PAs x p -> do + (p',vs) <- renp p + return (PAs x p', x:vs) + _ -> return (patt,[]) where diff --git a/src/GF/Grammar/Compute.hs b/src/GF/Grammar/Compute.hs index 26409ce27..a25f6f98f 100644 --- a/src/GF/Grammar/Compute.hs +++ b/src/GF/Grammar/Compute.hs @@ -304,6 +304,13 @@ computeTermOpt rec gr = comp where PP _ _ ps -> concatMap contP ps PT _ p -> contP p PR rs -> concatMap (contP . snd) rs + + PAs x p -> (x,Vr x) : contP p + + PSeq p q -> concatMap contP [p,q] + PAlt p q -> concatMap contP [p,q] + PRep p -> contP p + _ -> [] prawitz g i f cs e = do diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs index 4a983abcc..7be13a0d9 100644 --- a/src/GF/Grammar/Grammar.hs +++ b/src/GF/Grammar/Grammar.hs @@ -171,6 +171,14 @@ data Patt = | PInt Integer -- ^ integer literal pattern: @12@ -- only abstract | PFloat Double -- ^ float literal pattern: @1.2@ -- only abstract | PT Type Patt -- ^ type-annotated pattern + + | PAs Ident Patt -- ^ as-pattern: x@p + + -- regular expression patterns + | PAlt Patt Patt -- ^ disjunctive pattern: p1 | p2 + | PSeq Patt Patt -- ^ sequence of token parts + | PRep Patt -- ^ repetition of token part + deriving (Read, Show, Eq, Ord) -- | to guide computation and type checking of tables diff --git a/src/GF/Grammar/Macros.hs b/src/GF/Grammar/Macros.hs index dc4f790fd..bc394b143 100644 --- a/src/GF/Grammar/Macros.hs +++ b/src/GF/Grammar/Macros.hs @@ -504,6 +504,24 @@ term2patt trm = case termForm trm of Ok ([],EInt i,[]) -> return $ PInt i Ok ([],EFloat i,[]) -> return $ PFloat i Ok ([],K s, []) -> return $ PString s + +--- encodings due to excessive use of term-patt convs. AR 7/1/2005 + Ok ([], Cn (IC "@"), [Vr a,b]) -> do + b' <- term2patt b + return (PAs a b') + Ok ([], Cn (IC "*"), [a]) -> do + a' <- term2patt a + return (PRep a') + Ok ([], Cn (IC "+"), [a,b]) -> do + a' <- term2patt a + b' <- term2patt b + return (PSeq a' b') + Ok ([], Cn (IC "|"), [a,b]) -> do + a' <- term2patt a + b' <- term2patt b + return (PAlt a' b') + + _ -> prtBad "no pattern corresponds to term" trm patt2term :: Patt -> Term @@ -513,11 +531,17 @@ patt2term pt = case pt of PC c pp -> mkApp (Con c) (map patt2term pp) PP p c pp -> mkApp (QC p c) (map patt2term pp) PR r -> R [assign l (patt2term p) | (l,p) <- r] - PT _ p -> patt2term p + PT _ p -> patt2term p PInt i -> EInt i PFloat i -> EFloat i PString s -> K s + PAs x p -> appc "@" [Vr x, patt2term p] --- an encoding + PSeq a b -> appc "+" [(patt2term a), (patt2term b)] --- an encoding + PAlt a b -> appc "|" [(patt2term a), (patt2term b)] --- an encoding + PRep a -> appc "*" [(patt2term a)] --- an encoding + + redirectTerm :: Ident -> Term -> Term redirectTerm n t = case t of QC _ f -> QC n f diff --git a/src/GF/Grammar/PatternMatch.hs b/src/GF/Grammar/PatternMatch.hs index b996efa0a..4e3feb5dc 100644 --- a/src/GF/Grammar/PatternMatch.hs +++ b/src/GF/Grammar/PatternMatch.hs @@ -67,11 +67,6 @@ tryMatch (p,t) = do do matches <- mapM tryMatch (zip pp tt) return (concat matches) - (PP (IC "Predef") (IC "CC") [p1,p2], ([],K s, [])) -> do - let cuts = [splitAt n s | n <- [0 .. length s]] - matches <- checks [mapM tryMatch [(p1,K s1),(p2,K s2)] | (s1,s2) <- cuts] - return (concat matches) - (PP q p pp, ([], QC r f, tt)) | -- q `eqStrIdent` r && --- not for inherited AR 10/10/2005 p `eqStrIdent` f && length pp == length tt -> @@ -91,6 +86,24 @@ tryMatch (p,t) = do return (concat matches) (PT _ p',_) -> trym p' t' (_, ([],Alias _ _ d,[])) -> tryMatch (p,d) + +-- (PP (IC "Predef") (IC "CC") [p1,p2], ([],K s, [])) -> do + + (PAs x p',_) -> do + subst <- trym p' t' + return $ (x,t) : subst + + (PAlt p1 p2,_) -> checks [trym p1 t', trym p2 t'] + + (PSeq p1 p2, ([],K s, [])) -> do + let cuts = [splitAt n s | n <- [0 .. length s]] + matches <- checks [mapM tryMatch [(p1,K s1),(p2,K s2)] | (s1,s2) <- cuts] + return (concat matches) + + (PRep p1, ([],K s, [])) -> checks [ + trym (foldr (const (PSeq p1)) (PString "") [0..n]) t' | n <- [1 .. length s] + ] + _ -> prtBad "no match in case expr for" t isInConstantForm :: Term -> Bool diff --git a/src/GF/Grammar/Refresh.hs b/src/GF/Grammar/Refresh.hs index a9bccbb1d..045fccfc0 100644 --- a/src/GF/Grammar/Refresh.hs +++ b/src/GF/Grammar/Refresh.hs @@ -71,6 +71,13 @@ refreshPatt p = case p of PP q c ps -> liftM (PP q c) (mapM refreshPatt ps) PR r -> liftM PR (mapPairsM refreshPatt r) PT t p' -> liftM2 PT (refresh t) (refreshPatt p') + + PAs x p' -> liftM2 PAs (refVar x) (refreshPatt p') + + PSeq p' q' -> liftM2 PSeq (refreshPatt p') (refreshPatt q') + PAlt p' q' -> liftM2 PAlt (refreshPatt p') (refreshPatt q') + PRep p' -> liftM PRep (refreshPatt p') + _ -> return p refreshRecord r = case r of diff --git a/src/GF/Source/AbsGF.hs b/src/GF/Source/AbsGF.hs index 5e00b938a..503a0ac97 100644 --- a/src/GF/Source/AbsGF.hs +++ b/src/GF/Source/AbsGF.hs @@ -221,6 +221,9 @@ data Patt = | PC Ident [Patt] | PQC Ident Ident [Patt] | PDisj Patt Patt + | PSeq Patt Patt + | PRep Patt + | PAs Ident Patt deriving (Eq,Ord,Show) data PattAss = diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index cdfb59d25..a84d37d5b 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -200,7 +200,7 @@ EEqs. Exp ::= "fn" "{" [Equation] "}" ; EExample. Exp ::= "in" Exp5 String ; -coercions Exp 4 ; +coercions Exp 6 ; separator Exp ";" ; -- in variants @@ -222,6 +222,9 @@ PTup. Patt2 ::= "<" [PattTupleComp] ">" ; PC. Patt1 ::= Ident [Patt] ; PQC. Patt1 ::= Ident "." Ident [Patt] ; PDisj. Patt ::= Patt "|" Patt1 ; +PSeq. Patt ::= Patt "+" Patt1 ; +PRep. Patt1 ::= Patt2 "*" ; +PAs. Patt1 ::= Ident "@" Patt2 ; coercions Patt 2 ; diff --git a/src/GF/Source/GrammarToSource.hs b/src/GF/Source/GrammarToSource.hs index c5ecf6b19..3303a6487 100644 --- a/src/GF/Source/GrammarToSource.hs +++ b/src/GF/Source/GrammarToSource.hs @@ -197,6 +197,12 @@ trp p = case p of PFloat i -> P.PFloat i PT t p -> trp p ---- prParenth (prt p +++ ":" +++ prt t) + PAs x p -> P.PAs (tri x) (trp p) + + PAlt p q -> P.PDisj (trp p) (trp q) + PSeq p q -> P.PSeq (trp p) (trp q) + PRep p -> P.PRep (trp p) + trAssign (lab, (mty, t)) = maybe (P.LDDef x t') (\ty -> P.LDFull x (trt ty) t') mty where diff --git a/src/GF/Source/LexGF.x b/src/GF/Source/LexGF.x index e50eca8b7..7ea768e75 100644 --- a/src/GF/Source/LexGF.x +++ b/src/GF/Source/LexGF.x @@ -1,10 +1,10 @@ -- -*- haskell -*- -- This Alex file was machine-generated by the BNF converter { -module GF.Source.LexGF where -- H +module LexGF where -import GF.Data.ErrM -- H -import GF.Data.SharedString -- H +import ErrM +import SharedString } @@ -16,7 +16,7 @@ $i = [$l $d _ '] -- identifier character $u = [\0-\255] -- universal: any character @rsyms = -- reserved words consisting of special symbols - \; | \= | \{ | \} | \( | \) | \: | \- \> | \* \* | \, | \[ | \] | \. | \| | \% | \? | \< | \> | \@ | \! | \* | \\ | \= \> | \+ \+ | \+ | \_ | \$ | \/ | \- + \; | \= | \{ | \} | \( | \) | \: | \- \> | \* \* | \, | \[ | \] | \- | \. | \| | \% | \? | \< | \> | \@ | \! | \* | \+ | \+ \+ | \\ | \= \> | \_ | \$ | \/ :- "--" [.]* ; -- Toss single line comments @@ -30,7 +30,7 @@ $l $i* { tok (\p s -> PT p (eitherResIdent (TV . share) s)) } \" ([$u # [\" \\ \n]] | (\\ (\" | \\ | \' | n | t)))* \"{ tok (\p s -> PT p (TL $ share $ unescapeInitTail s)) } $d+ { tok (\p s -> PT p (TI $ share s)) } - +$d+ \. $d+ (e (\-)? $d+)? { tok (\p s -> PT p (TD $ share s)) } { diff --git a/src/GF/Source/ParGF.hs b/src/GF/Source/ParGF.hs index d75c29977..8f6f1f330 100644 --- a/src/GF/Source/ParGF.hs +++ b/src/GF/Source/ParGF.hs @@ -526,21 +526,21 @@ happyOutTok x = unsafeCoerce# x {-# INLINE happyOutTok #-} happyActOffsets :: HappyAddr -happyActOffsets = HappyA# "\x00\x00\x98\x01\xf3\x04\x48\x01\xc9\x04\x00\x00\xff\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x05\xb2\x01\x89\x00\xf9\x04\xbe\x04\xf8\x04\x00\x00\x0a\x05\xc1\x04\x5e\x00\x27\x00\xc1\x04\x00\x00\x48\x01\x74\x00\xc1\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x48\x01\x00\x00\x09\x05\xb2\x02\x16\x00\x08\x05\x07\x05\x99\x02\x05\x05\x00\x00\x00\x00\x00\x00\x00\x00\xb5\x04\x00\x00\x28\x00\x0e\x00\x90\x04\xae\x04\x00\x00\xa7\x04\x86\x01\xf7\x04\xf5\x04\xf4\x04\xa9\x04\xa9\x04\xa9\x04\xa9\x04\xa9\x04\xa9\x04\x00\x00\x28\x00\x00\x00\xef\x04\x00\x00\x28\x00\x28\x00\x28\x00\x7f\x07\x48\x01\x00\x00\x15\x00\x75\x00\xfa\x00\xa8\x04\xac\x00\xac\x00\xe9\x04\xeb\x00\xee\x04\xc0\x04\xa5\x04\x1d\x00\x75\x00\xa6\x04\x00\x00\x00\x00\xe2\x04\xe3\x04\x2f\x00\x00\x00\xd6\x04\xd2\x04\xc7\x04\x97\x02\x80\x02\xcf\x04\x00\x00\x2e\x03\xd3\x04\xce\x04\x4b\x02\x7c\x04\xd4\x04\xac\x00\x7d\x01\xac\x00\x7d\x01\x7d\x01\x7d\x01\xac\x00\xd1\x04\xc5\x04\xfa\xff\x32\x02\x00\x00\x84\x04\x00\x00\x00\x00\x76\x04\x74\x04\x00\x00\x19\x02\x19\x02\x19\x02\x00\x00\x19\x02\x7f\x02\x00\x00\x00\x00\x00\x00\x00\x00\x74\x04\x74\x04\xb9\x04\xac\x00\x00\x00\x00\x00\xe4\x01\xb2\x04\x70\x04\x00\x00\x00\x00\xac\x00\xac\x00\xa3\x04\xac\x00\x2f\x00\xb7\x04\xab\x04\x00\x00\x00\x00\x00\x00\x75\x00\xb0\x04\xa4\x04\xb1\x04\x58\x04\x75\x00\x75\x00\x00\x00\x00\x00\xa2\x04\xac\x00\x57\x04\xac\x00\xac\x00\xa1\x04\xa0\x04\x9b\x04\x8e\x04\x00\x03\x00\x00\x00\x00\x0d\x00\x9c\x04\x98\x04\x75\x00\xac\x00\x88\x04\x00\x00\x8d\x00\x3c\x04\x8c\x00\x3c\x04\x3c\x04\x8c\x00\x8c\x00\x8c\x00\x8c\x00\x8c\x00\x3c\x04\x3c\x04\x8c\x00\x7a\x00\x3c\x04\x8c\x00\x8c\x00\x00\x00\x00\x00\x00\x00\x28\x00\x00\x00\x7e\x04\x00\x00\x00\x00\x51\x04\x4f\x04\x00\x00\xfc\xff\x80\x04\x5e\x04\x37\x00\x00\x00\x48\x04\x66\x04\x64\x04\x1b\x04\x1b\x04\x1b\x04\x1b\x04\x21\x00\x00\x00\x00\x00\x65\x04\x00\x00\xb5\x00\x4e\x00\x19\x04\x00\x00\x63\x04\x53\x04\x00\x00\x49\x04\x50\x04\x8c\x00\x8c\x00\x00\x00\x46\x04\x37\x04\x00\x00\x44\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x36\x04\x00\x00\x28\x04\x2f\x04\x2d\x04\x00\x00\x00\x00\x88\x01\x2b\x04\x00\x00\x00\x00\x00\x00\x29\x04\x00\x00\xe1\x03\x00\x00\x0e\x04\x97\x00\x17\x04\x00\x00\x75\x00\x75\x00\xac\x00\x00\x00\xcd\x03\x00\x00\xac\x00\xac\x00\x16\x04\x00\x00\x00\x00\x00\x00\xe9\x03\xf0\x03\x0b\x04\xea\x03\x95\x00\xf1\x02\xfc\x03\xfb\x03\xe0\x03\x00\x00\x75\x00\xac\x00\x00\x00\xa7\x03\x75\x00\x00\x00\x00\x00\xac\x00\xd2\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf5\x03\x00\x00\xdf\x03\x00\x00\xd6\x03\x00\x00\x79\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd5\x03\x00\x00\x00\x00\x00\x00\x00\x00\x8b\x03\x75\x00\x00\x00\x00\x00\x00\x00\x75\x00\xac\x00\xac\x00\xb9\x03\xc8\x03\xc4\x03\x00\x00\x75\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4d\x00\xcb\x01\x7b\x03\x7b\x03\x7b\x03\x7b\x03\xac\x00\x7b\x03\xbe\x03\x74\x03\x20\x00\x00\x00\x00\x00\xac\x00\x3c\x00\x3c\x00\x00\x00\xaf\x03\xac\x00\xac\x00\x9e\x03\x3c\x00\x00\x00\xac\x03\x0e\x02\x00\x00\x00\x00\xcc\x01\x00\x00\x00\x00\x53\x03\x53\x03\x8d\x03\xfd\xff\x41\x03\x7c\x03\xfd\xff\x83\x03\x31\x03\x00\x00\x72\x03\x2d\x03\x6f\x03\x49\x03\x00\x00\x22\x03\x00\x00\x24\x03\x00\x00\x00\x00\xfd\xff\x00\x00\xac\x00\x68\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5a\x03\x00\x00\x33\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x46\x03\x58\x03\x00\x00\x51\x03\x00\x00\x00\x00\x00\x00\x5e\x00\x00\x00\x18\x00\x00\x00\x00\x00\xac\x00\xac\x00\x00\x00\x00\x00\x00\x00\x3a\x03\x00\x00\x00\x00\x00\x00\x00\x00\x45\x03\x39\x03\xf5\x02\xf5\x02\x6d\x03\xf5\x02\xf5\x02\xcb\x01\xac\x00\x00\x00\x00\x00\xa4\x01\xfd\xff\x4c\x03\x00\x00\x00\x00\x32\x03\xfd\xff\x36\x03\xef\x02\x00\x00\x00\x00\x00\x00\x00\x00\xef\x02\x00\x00\x00\x00\x00\x00\x27\x03\x18\x03\x00\x00\x00\x00\xac\x00\xc4\x02\x0c\x03\x21\x03\x00\x00\x00\x00\x12\x03\x0a\x03\xfc\x02\xf8\x02\x00\x00\xc1\x02\xc1\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf2\x02\x00\x00\xb0\x02\xf3\xff\xfd\xff\xfd\xff\xf4\x02\xe8\x02\x00\x00\x00\x00\x00\x00"# +happyActOffsets = HappyA# "\x00\x00\x0f\x00\xfb\x04\x48\x01\xdc\x04\x00\x00\x13\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x07\x05\xb2\x01\x9f\x00\x0e\x05\xd1\x04\xfd\x04\x00\x00\x0b\x05\xc6\x04\x5e\x00\x44\x00\xc6\x04\x00\x00\x48\x01\xd8\x00\xc6\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x48\x01\x00\x00\x0c\x05\xb2\x02\x16\x00\x0a\x05\x09\x05\x99\x02\x08\x05\x00\x00\x00\x00\x00\x00\x00\x00\xb5\x04\x00\x00\xc8\x00\x0e\x00\xfe\x04\xad\x04\x00\x00\xa6\x04\x47\x01\xf6\x04\xf4\x04\xf3\x04\xa8\x04\xa8\x04\xa8\x04\xa8\x04\xa8\x04\xa8\x04\x00\x00\xc8\x00\x00\x00\xef\x04\x00\x00\xc8\x00\xc8\x00\xc8\x00\x86\x07\x48\x01\x00\x00\xdd\x01\x73\x00\xfa\x00\xa7\x04\xac\x00\xac\x00\xe7\x04\x2f\x00\xeb\x04\xb0\x04\x91\x04\x0a\x00\x73\x00\xa4\x04\x00\x00\x00\x00\xd0\x04\xd3\x04\xfb\xff\x00\x00\xd2\x04\xce\x04\xc3\x04\x85\x02\x80\x02\xc5\x04\x00\x00\x3e\x03\xcf\x04\xbb\x04\x4b\x02\x41\x02\xbf\x04\xac\x00\x7d\x01\xac\x00\x7d\x01\x7d\x01\x7d\x01\xac\x00\xbe\x04\xb1\x04\x09\x00\x32\x02\x00\x00\x72\x04\x00\x00\x00\x00\x6f\x04\x71\x04\x00\x00\x19\x02\x19\x02\x19\x02\x00\x00\x19\x02\x4e\x02\x00\x00\x00\x00\x00\x00\x00\x00\x71\x04\x71\x04\xb4\x04\xac\x00\x00\x00\x00\x00\xe4\x01\xa9\x04\x6d\x04\x00\x00\x00\x00\xac\x00\xac\x00\x8c\x04\xac\x00\xfb\xff\xa1\x04\x95\x04\x00\x00\x00\x00\x00\x00\x73\x00\x9a\x04\xa0\x04\x9b\x04\x52\x04\x73\x00\x73\x00\x00\x00\x00\x00\x99\x04\xac\x00\x50\x04\xac\x00\xac\x00\x8b\x04\x87\x04\x86\x04\x77\x04\x00\x03\x70\x04\x00\x00\xdd\x00\x84\x04\x7f\x04\x73\x00\xac\x00\x7e\x04\x00\x00\x94\x00\x35\x04\x8c\x00\x35\x04\x35\x04\x8c\x00\x8c\x00\x8c\x00\x8c\x00\x8c\x00\x35\x04\x35\x04\x8c\x00\xbb\x00\x35\x04\x8c\x00\x8c\x00\x00\x00\x00\x00\x00\x00\xc8\x00\x00\x00\x67\x04\x00\x00\x00\x00\x48\x04\x37\x04\x00\x00\xfc\xff\x64\x04\x42\x04\x37\x00\x00\x00\x2c\x04\x5b\x04\x4a\x04\x07\x04\x07\x04\x07\x04\x07\x04\x27\x00\x00\x00\x00\x00\x51\x04\x00\x00\x03\x01\x20\x00\xfc\x03\x00\x00\x45\x04\x36\x04\x00\x00\x2e\x04\x2f\x04\x8c\x00\x8c\x00\x00\x00\x2d\x04\x1a\x04\x00\x00\x2a\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x04\x00\x00\x11\x04\x17\x04\x16\x04\x00\x00\x00\x00\x4c\x01\x14\x04\x00\x00\x00\x00\x00\x00\xfd\x03\x00\x00\xb1\x03\x00\x00\xf0\x03\xb5\x00\xef\x03\x00\x00\x73\x00\x73\x00\x73\x00\xac\x00\x00\x00\x00\x00\x99\x03\x73\x00\x00\x00\xac\x00\xac\x00\xe2\x03\x00\x00\x00\x00\x00\x00\xcd\x03\x25\x01\xd9\x03\xc7\x03\x89\x00\x22\x02\xd7\x03\xd6\x03\xc5\x03\x00\x00\x73\x00\xac\x00\x00\x00\x8a\x03\x73\x00\x00\x00\x00\x00\xac\x00\xb5\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xba\x03\x00\x00\xc3\x03\x00\x00\xbd\x03\x00\x00\xae\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xb7\x03\x00\x00\x00\x00\x00\x00\x00\x00\x68\x03\x73\x00\x00\x00\x00\x00\x00\x00\x73\x00\xac\x00\xac\x00\x94\x03\xae\x03\xa2\x03\x00\x00\x00\x00\x73\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x6a\x00\xcb\x01\x64\x03\x64\x03\x64\x03\x64\x03\xac\x00\x64\x03\xab\x03\x60\x03\x26\x00\x00\x00\x00\x00\xac\x00\x25\x00\x25\x00\x00\x00\x9c\x03\xac\x00\xac\x00\xa3\x03\x25\x00\x00\x00\x98\x03\x95\x01\x00\x00\x00\x00\x74\x01\x00\x00\x00\x00\x53\x03\x53\x03\x8b\x03\xfd\xff\x41\x03\x7a\x03\xfd\xff\x7d\x03\x3b\x03\x00\x00\x74\x03\x31\x03\x67\x03\x4e\x03\x00\x00\x22\x03\x00\x00\x1e\x03\x00\x00\x00\x00\xfd\xff\x00\x00\xac\x00\x52\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5a\x03\x00\x00\x39\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x45\x03\x42\x03\x00\x00\x47\x03\x00\x00\x00\x00\x00\x00\x5e\x00\x00\x00\x18\x00\x00\x00\x00\x00\xac\x00\xac\x00\x00\x00\x00\x00\x00\x00\x25\x01\x00\x00\x00\x00\x00\x00\x00\x00\x33\x03\x34\x03\xe9\x02\xe9\x02\x6d\x03\xe9\x02\xe9\x02\xcb\x01\xac\x00\x00\x00\x00\x00\xf0\x00\xfd\xff\x4c\x03\x00\x00\x00\x00\x21\x03\xfd\xff\x26\x03\xcc\x02\x00\x00\x00\x00\x00\x00\x00\x00\xcc\x02\x00\x00\x00\x00\x00\x00\x0f\x03\x12\x03\x00\x00\x00\x00\xac\x00\xc4\x02\x08\x03\x0a\x03\x00\x00\x00\x00\x07\x03\x09\x03\xfc\x02\xf7\x02\x00\x00\xaa\x02\xaa\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf5\x02\x00\x00\xb6\x02\xf3\xff\xfd\xff\xfd\xff\xf1\x02\xef\x02\x00\x00\x00\x00\x00\x00"# happyGotoOffsets :: HappyAddr -happyGotoOffsets = HappyA# "\x58\x01\x3e\x01\xe3\x00\xf1\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x35\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x60\x03\xb6\x03\x32\x00\xeb\x02\x00\x00\x28\x03\x30\x00\xe4\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd5\x06\x00\x00\x00\x00\x2a\x07\x34\x03\x00\x00\x00\x00\x32\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xcc\x02\x04\x00\x00\x00\xa5\x02\xd9\x02\x00\x00\x00\x00\x28\x01\x00\x00\x00\x00\x00\x00\xd7\x02\xd6\x02\xcb\x02\xc6\x02\xb6\x02\xb4\x02\x00\x00\x0c\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x08\x00\x07\x00\x9a\x02\x25\x04\x00\x00\x00\x00\x1c\x03\xba\x06\xb1\x02\x09\x04\x9e\x06\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x03\xa4\x02\xe7\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xde\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x69\x04\x00\x00\x00\x00\x83\x06\x0c\x07\x67\x06\x1b\x07\x13\x03\xdf\x01\x4c\x06\x00\x00\x00\x00\x2d\x00\xf8\x01\x00\x00\x90\x01\x00\x00\x00\x00\x95\x02\x56\x01\x00\x00\x4d\x04\x4d\x04\x4d\x04\x00\x00\x4d\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd5\x00\x93\x02\x00\x00\x30\x06\x00\x00\x00\x00\xc2\x03\x00\x00\x75\x02\x00\x00\x00\x00\x46\x02\x15\x06\x00\x00\xf9\x05\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x2f\x03\x00\x00\x00\x00\x00\x00\x30\x01\x10\x04\x12\x02\x00\x00\x00\x00\x00\x00\xde\x05\x26\x01\xc2\x05\xa7\x05\x00\x00\x00\x00\x00\x00\x00\x00\x06\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x29\x01\xed\x03\x00\x00\x00\x00\x09\x02\x7e\x01\x77\x07\x2e\x01\x29\x07\x70\x07\x5e\x07\x57\x07\x55\x07\x51\x07\x70\x02\x08\x02\x4f\x07\x19\x07\x64\x02\x49\x07\x30\x07\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x98\x03\x00\x00\x00\x00\x00\x00\x00\x00\x51\x02\x00\x00\x00\x00\x60\x02\xf7\x01\x4f\x02\x45\x02\x2c\x02\x00\x00\x00\x00\x00\x00\x00\x00\x1f\x02\x00\x00\x2e\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x84\x03\x52\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd7\x01\x00\x00\x00\x00\x25\x02\x00\x00\x00\x00\x35\x01\x00\x00\x00\x00\x06\x01\xbc\x03\x8b\x05\x00\x00\x16\x02\x00\x00\xd1\x03\xf0\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4b\x00\x70\x05\x00\x00\x0b\x02\xdb\x00\x00\x00\x00\x00\x54\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe2\x00\x77\x01\x00\x00\x00\x00\x00\x00\xab\x01\x39\x05\x1d\x05\x00\x00\x00\x00\x00\x00\x00\x00\xb3\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xbb\x01\x65\x01\x11\x00\x93\x01\x42\x01\xee\x00\xfd\x01\x02\x05\x62\x02\x00\x00\xa8\x01\x5c\x01\x00\x00\x00\x00\xe6\x04\x0e\x01\x9d\x02\x00\x00\x00\x00\xcb\x04\xaf\x04\x00\x00\xc0\x02\x00\x00\x00\x00\xd3\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe0\x00\xa7\x01\x00\x00\x61\x02\xc9\x00\x00\x00\x5e\x02\x00\x00\x74\x01\x00\x00\x00\x00\x8e\x00\x00\x00\x00\x00\xa9\x01\x00\x00\x00\x00\x4c\x01\x00\x00\x00\x00\xde\x01\x00\x00\x94\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf5\x00\x00\x00\x00\x00\x00\x00\x00\x00\x03\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9a\x03\x00\x00\x11\x00\x00\x00\x00\x00\xac\x02\x78\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1f\x00\xf1\x00\xc8\x00\xd6\x00\xa8\x00\x11\x00\x5d\x04\x00\x00\x00\x00\x00\x00\xfe\x00\xfe\xff\x00\x00\x00\x00\x00\x00\x1e\x00\x00\x00\xbf\x02\x00\x00\x00\x00\x00\x00\x00\x00\xbb\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x41\x04\xaf\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x86\x02\x8a\x00\x00\x00\x00\x00\x00\x00\x17\x00\x00\x00\x00\x00\x87\x00\x00\x00\x00\x00\x00\x00\xa1\x01\x2c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# +happyGotoOffsets = HappyA# "\x89\x02\x76\x01\x20\x02\xf1\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x35\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x04\xb6\x03\x7c\x01\xee\x02\x00\x00\x28\x03\x46\x00\xeb\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd5\x06\x00\x00\x00\x00\x69\x04\xa5\x04\x00\x00\x00\x00\x32\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd5\x02\x04\x00\x00\x00\xce\x02\xd9\x02\x00\x00\x00\x00\xb4\x00\x00\x00\x00\x00\x00\x00\xd7\x02\xd6\x02\xcb\x02\xc8\x02\xc7\x02\xbf\x02\x00\x00\x0c\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x08\x00\x07\x00\xad\x02\x25\x04\x00\x00\x00\x00\x1c\x03\xba\x06\xb4\x02\x09\x04\x9e\x06\x00\x00\x00\x00\x00\x00\x00\x00\x89\x04\xb0\x02\x99\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xde\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4d\x04\x00\x00\x00\x00\x83\x06\x0c\x07\x67\x06\x2a\x07\x1b\x07\x0e\x02\x4c\x06\x00\x00\x00\x00\x2d\x00\xf8\x01\x00\x00\xff\x03\x00\x00\x00\x00\xb5\x02\x90\x01\x00\x00\x2e\x01\x2e\x01\x2e\x01\x00\x00\x2e\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe6\x00\xb3\x02\x00\x00\x30\x06\x00\x00\x00\x00\xc2\x03\x00\x00\xb1\x02\x00\x00\x00\x00\x46\x02\x15\x06\x00\x00\xf9\x05\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x37\x03\x00\x00\x00\x00\x00\x00\x21\x01\x10\x04\x3f\x01\x00\x00\x00\x00\x00\x00\xde\x05\x85\x01\xc2\x05\xa7\x05\x00\x00\x00\x00\x00\x00\x00\x00\x2f\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa8\x01\xed\x03\x00\x00\x00\x00\x0b\x02\x80\x07\x7d\x07\x33\x01\x19\x03\x77\x07\x6a\x07\x67\x07\x64\x07\x61\x07\xa7\x02\x92\x01\x55\x07\x4e\x07\xa6\x02\x48\x07\x31\x07\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfa\x04\x00\x00\x00\x00\x00\x00\x00\x00\xd2\x01\x00\x00\x00\x00\xa5\x02\xfd\x01\x96\x02\x94\x02\xa3\x01\x00\x00\x00\x00\x00\x00\x00\x00\x06\x03\x00\x00\x6f\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x07\x63\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0a\x02\x00\x00\x00\x00\x2e\x02\x00\x00\x00\x00\x1f\x02\x00\x00\x00\x00\x29\x01\xbc\x03\xac\x01\x8b\x05\x00\x00\x00\x00\x27\x02\x5f\x03\x00\x00\xd1\x03\xf0\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4b\x00\x70\x05\x00\x00\xf2\x01\x32\x00\x00\x00\x00\x00\x54\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd3\x00\x40\x03\x00\x00\x00\x00\x00\x00\xa3\x00\x39\x05\x1d\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x35\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xce\x01\x09\x02\x11\x00\x8d\x00\x89\x01\xee\x00\xd9\x01\x02\x05\x62\x02\x00\x00\x1e\x00\x45\x01\x00\x00\x00\x00\xe6\x04\x0e\x01\x9d\x02\x00\x00\x00\x00\xcb\x04\xaf\x04\x00\x00\xc0\x02\x00\x00\x00\x00\x8c\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc8\x01\x83\x01\x00\x00\x75\x02\xb0\x00\x00\x00\x61\x02\x00\x00\x5b\x01\x00\x00\x00\x00\x1f\x00\x00\x00\x00\x00\x84\x01\x00\x00\x00\x00\x54\x01\x00\x00\x00\x00\x44\x01\x00\x00\x94\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd4\x00\x00\x00\x00\x00\x00\x00\x00\x00\x11\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9a\x03\x00\x00\x11\x00\x00\x00\x00\x00\xac\x02\x78\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x09\x01\xe2\x00\xab\x00\xb2\x00\x74\x00\x11\x00\x5d\x04\x00\x00\x00\x00\x00\x00\x4d\x02\x71\x00\x00\x00\x00\x00\x00\x00\xf7\x01\x00\x00\x0d\x02\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x41\x04\x92\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xcf\x01\x9a\x01\x00\x00\x00\x00\x00\x00\x1b\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\xed\x00\x1c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# happyDefActions :: HappyAddr -happyDefActions = HappyA# "\xf5\xff\xd0\xff\x0d\xff\x00\x00\x00\x00\xfb\xff\x80\xff\x7b\xff\x7c\xff\x7a\xff\x6f\xff\x6b\xff\x61\xff\x5c\xff\x4e\xff\x4f\xff\x00\x00\x5a\xff\x7d\xff\x00\x00\x83\xff\x2a\xff\x00\x00\x00\x00\x79\xff\x23\xff\x2a\xff\x00\x00\x35\xff\x33\xff\x32\xff\x34\xff\x36\xff\x00\x00\x77\xff\x00\x00\x00\x00\x83\xff\x00\x00\x00\x00\x00\x00\x00\x00\xfa\xff\xf9\xff\xf8\xff\xf7\xff\x00\x00\xdc\xff\x00\x00\x00\x00\x00\x00\x00\x00\xcf\xff\x00\x00\xd0\xff\xf4\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf3\xff\x0a\xff\x0b\xff\x00\x00\x0c\xff\x00\x00\x00\x00\x00\x00\x0e\xff\x4d\xff\x80\xff\x00\x00\x83\xff\x00\x00\x00\x00\x4d\xff\x00\x00\x8c\xff\x00\x00\x82\xff\x00\x00\x83\xff\x00\x00\x19\xff\x00\x00\x60\xff\x2c\xff\x29\xff\x00\x00\x2a\xff\x2b\xff\x25\xff\x22\xff\x00\x00\x00\x00\x4a\xff\x00\x00\x78\xff\x80\xff\x00\x00\x00\x00\x00\x00\x8c\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x6a\xff\x00\x00\x00\x00\x62\xff\x83\xff\x38\xff\x6e\xff\x00\x00\x83\xff\x55\xff\x5e\xff\x5f\xff\x5d\xff\x59\xff\x5c\xff\x4e\xff\x5b\xff\x56\xff\x74\xff\x7f\xff\x00\x00\x00\x00\x80\xff\x00\x00\x70\xff\x75\xff\x4a\xff\x00\x00\x00\x00\x7e\xff\x73\xff\x23\xff\x00\x00\x00\x00\x00\x00\x2a\xff\x00\x00\x47\xff\x44\xff\x42\xff\x43\xff\x2e\xff\x00\x00\x18\xff\x00\x00\x31\xff\x00\x00\x20\xff\x48\xff\x50\xff\x00\x00\x00\x00\x83\xff\x00\x00\x00\x00\x00\x00\x4c\xff\x00\x00\x00\x00\x8c\xff\x3c\xff\x3a\xff\x00\x00\x1c\xff\x00\x00\x00\x00\x4d\xff\x00\x00\xdb\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x09\xff\x08\xff\x07\xff\x05\xff\x06\xff\x00\x00\xe6\xff\xe5\xff\x00\x00\x00\x00\xe7\xff\xd9\xff\x00\x00\x00\x00\xc8\xff\xf1\xff\xd5\xff\x00\x00\xca\xff\x00\x00\xcb\xff\x00\x00\x00\x00\x00\x00\x04\xff\x8a\xff\x00\x00\xaf\xff\x88\xff\x00\x00\x00\x00\xbc\xff\x00\x00\x00\x00\xb3\xff\x88\xff\x00\x00\x00\x00\x00\x00\xb1\xff\xa1\xff\x00\x00\xbb\xff\x00\x00\xba\xff\xb2\xff\xb8\xff\xb9\xff\xb7\xff\x00\x00\xc0\xff\x00\x00\x00\x00\x00\x00\xb4\xff\xbe\xff\x8c\xff\x00\x00\xbf\xff\xbd\xff\x10\xff\x00\x00\xc1\xff\x00\x00\x65\xff\x00\x00\x47\xff\x00\x00\x69\xff\x00\x00\x00\x00\x00\x00\x3e\xff\x00\x00\x63\xff\x4d\xff\x15\xff\x86\xff\x85\xff\x81\xff\x53\xff\x00\x00\x24\xff\x1f\xff\x00\x00\x00\x00\x8c\xff\x00\x00\x30\xff\x00\x00\x51\xff\x19\xff\x00\x00\x2d\xff\x00\x00\x00\x00\x28\xff\x58\xff\x00\x00\x00\x00\x25\xff\x21\xff\x6c\xff\x76\xff\x49\xff\x00\x00\x72\xff\x00\x00\x8b\xff\x00\x00\x37\xff\x8c\xff\x52\xff\x6d\xff\x27\xff\x71\xff\x57\xff\x00\x00\x45\xff\x1a\xff\x17\xff\x41\xff\x31\xff\x00\x00\x46\xff\x3f\xff\x40\xff\x20\xff\x00\x00\x00\x00\x00\x00\x14\xff\x00\x00\x4b\xff\x45\xff\x1d\xff\x3b\xff\x1b\xff\x68\xff\x67\xff\x10\xff\x9b\xff\xad\xff\x97\xff\xa6\xff\x91\xff\x00\x00\x00\x00\x99\xff\x00\x00\x95\xff\x8f\xff\xb5\xff\xb6\xff\x00\x00\x00\x00\x93\xff\xae\xff\x00\x00\x00\x00\x00\x00\x00\x00\x9d\xff\xd3\xff\x00\x00\xce\xff\xe3\xff\xe4\xff\xc8\xff\xdd\xff\xde\xff\xcb\xff\xda\xff\x00\x00\xd8\xff\x00\x00\x00\x00\xd8\xff\x00\x00\x00\x00\xe0\xff\xd7\xff\x00\x00\x00\x00\x00\x00\xdc\xff\x00\x00\xc9\xff\x00\x00\xcd\xff\xcc\xff\x00\x00\x9c\xff\x00\x00\xc5\xff\xc4\xff\x89\xff\x92\xff\x87\xff\x9f\xff\x10\xff\x8e\xff\xa3\xff\x00\x00\x94\xff\xdc\xff\x98\xff\xaa\xff\x9e\xff\x90\xff\xa8\xff\xa5\xff\xa9\xff\x00\x00\x96\xff\x11\xff\x0f\xff\x2a\xff\x9a\xff\x00\x00\x3d\xff\x64\xff\x15\xff\x00\x00\x84\xff\x54\xff\x1e\xff\x39\xff\x2f\xff\x66\xff\x16\xff\x13\xff\xac\xff\x00\x00\xa6\xff\x00\x00\x00\x00\x00\x00\x8f\xff\xa0\xff\x00\x00\xc3\xff\xe2\xff\x00\x00\xd8\xff\x00\x00\xd4\xff\xc7\xff\x00\x00\xd8\xff\x00\x00\xef\xff\xd6\xff\xc6\xff\xe1\xff\xdf\xff\x00\x00\xd2\xff\xc2\xff\x8d\xff\x00\x00\x00\x00\xa7\xff\xa4\xff\x00\x00\x00\x00\x00\x00\x00\x00\xb0\xff\xa2\xff\x00\x00\x00\x00\xee\xff\x00\x00\xf2\xff\xef\xff\x00\x00\xd1\xff\x12\xff\xab\xff\xeb\xff\xf0\xff\xed\xff\xec\xff\xea\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe9\xff\xe8\xff"# +happyDefActions = HappyA# "\xf5\xff\xd0\xff\x0a\xff\x00\x00\x00\x00\xfb\xff\x80\xff\x7b\xff\x7c\xff\x7a\xff\x6f\xff\x6b\xff\x61\xff\x5c\xff\x4e\xff\x4f\xff\x00\x00\x5a\xff\x7d\xff\x00\x00\x83\xff\x27\xff\x00\x00\x00\x00\x79\xff\x20\xff\x27\xff\x00\x00\x32\xff\x30\xff\x2f\xff\x31\xff\x33\xff\x00\x00\x77\xff\x00\x00\x00\x00\x83\xff\x00\x00\x00\x00\x00\x00\x00\x00\xfa\xff\xf9\xff\xf8\xff\xf7\xff\x00\x00\xdc\xff\x00\x00\x00\x00\x00\x00\x00\x00\xcf\xff\x00\x00\xd0\xff\xf4\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf3\xff\x07\xff\x08\xff\x00\x00\x09\xff\x00\x00\x00\x00\x00\x00\x0b\xff\x4d\xff\x80\xff\x00\x00\x83\xff\x00\x00\x00\x00\x4d\xff\x00\x00\x8c\xff\x00\x00\x82\xff\x00\x00\x83\xff\x00\x00\x16\xff\x00\x00\x60\xff\x29\xff\x26\xff\x00\x00\x27\xff\x28\xff\x22\xff\x1f\xff\x00\x00\x00\x00\x4a\xff\x00\x00\x78\xff\x80\xff\x00\x00\x00\x00\x00\x00\x8c\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x6a\xff\x00\x00\x00\x00\x62\xff\x83\xff\x35\xff\x6e\xff\x00\x00\x83\xff\x55\xff\x5e\xff\x5f\xff\x5d\xff\x59\xff\x5c\xff\x4e\xff\x5b\xff\x56\xff\x74\xff\x7f\xff\x00\x00\x00\x00\x80\xff\x00\x00\x70\xff\x75\xff\x4a\xff\x00\x00\x00\x00\x7e\xff\x73\xff\x20\xff\x00\x00\x00\x00\x00\x00\x27\xff\x00\x00\x47\xff\x44\xff\x42\xff\x43\xff\x2b\xff\x00\x00\x15\xff\x00\x00\x2e\xff\x00\x00\x1d\xff\x48\xff\x50\xff\x00\x00\x00\x00\x83\xff\x00\x00\x00\x00\x00\x00\x4c\xff\x00\x00\x00\x00\x8c\xff\x3a\xff\x37\xff\x00\x00\x19\xff\x00\x00\x00\x00\x4d\xff\x00\x00\xdb\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\xff\x05\xff\x04\xff\x02\xff\x03\xff\x00\x00\xe6\xff\xe5\xff\x00\x00\x00\x00\xe7\xff\xd9\xff\x00\x00\x00\x00\xc8\xff\xf1\xff\xd5\xff\x00\x00\xca\xff\x00\x00\xcb\xff\x00\x00\x00\x00\x00\x00\x01\xff\x8a\xff\x00\x00\xaf\xff\x88\xff\x00\x00\x00\x00\xbc\xff\x00\x00\x00\x00\xb3\xff\x88\xff\x00\x00\x00\x00\x00\x00\xb1\xff\xa1\xff\x00\x00\xbb\xff\x00\x00\xba\xff\xb2\xff\xb8\xff\xb9\xff\xb7\xff\x00\x00\xc0\xff\x00\x00\x00\x00\x00\x00\xb4\xff\xbe\xff\x8c\xff\x00\x00\xbf\xff\xbd\xff\x0d\xff\x00\x00\xc1\xff\x00\x00\x65\xff\x00\x00\x47\xff\x00\x00\x69\xff\x00\x00\x00\x00\x00\x00\x00\x00\x3c\xff\x3e\xff\x00\x00\x00\x00\x63\xff\x4d\xff\x12\xff\x86\xff\x85\xff\x81\xff\x53\xff\x00\x00\x21\xff\x1c\xff\x00\x00\x00\x00\x8c\xff\x00\x00\x2d\xff\x00\x00\x51\xff\x16\xff\x00\x00\x2a\xff\x00\x00\x00\x00\x25\xff\x58\xff\x00\x00\x00\x00\x22\xff\x1e\xff\x6c\xff\x76\xff\x49\xff\x00\x00\x72\xff\x00\x00\x8b\xff\x00\x00\x34\xff\x8c\xff\x52\xff\x6d\xff\x24\xff\x71\xff\x57\xff\x00\x00\x45\xff\x17\xff\x14\xff\x41\xff\x2e\xff\x00\x00\x46\xff\x3f\xff\x40\xff\x1d\xff\x00\x00\x00\x00\x00\x00\x11\xff\x00\x00\x4b\xff\x3b\xff\x45\xff\x1a\xff\x38\xff\x39\xff\x18\xff\x68\xff\x67\xff\x0d\xff\x9b\xff\xad\xff\x97\xff\xa6\xff\x91\xff\x00\x00\x00\x00\x99\xff\x00\x00\x95\xff\x8f\xff\xb5\xff\xb6\xff\x00\x00\x00\x00\x93\xff\xae\xff\x00\x00\x00\x00\x00\x00\x00\x00\x9d\xff\xd3\xff\x00\x00\xce\xff\xe3\xff\xe4\xff\xc8\xff\xdd\xff\xde\xff\xcb\xff\xda\xff\x00\x00\xd8\xff\x00\x00\x00\x00\xd8\xff\x00\x00\x00\x00\xe0\xff\xd7\xff\x00\x00\x00\x00\x00\x00\xdc\xff\x00\x00\xc9\xff\x00\x00\xcd\xff\xcc\xff\x00\x00\x9c\xff\x00\x00\xc5\xff\xc4\xff\x89\xff\x92\xff\x87\xff\x9f\xff\x0d\xff\x8e\xff\xa3\xff\x00\x00\x94\xff\xdc\xff\x98\xff\xaa\xff\x9e\xff\x90\xff\xa8\xff\xa5\xff\xa9\xff\x00\x00\x96\xff\x0e\xff\x0c\xff\x27\xff\x9a\xff\x00\x00\x3d\xff\x64\xff\x12\xff\x00\x00\x84\xff\x54\xff\x1b\xff\x36\xff\x2c\xff\x66\xff\x13\xff\x10\xff\xac\xff\x00\x00\xa6\xff\x00\x00\x00\x00\x00\x00\x8f\xff\xa0\xff\x00\x00\xc3\xff\xe2\xff\x00\x00\xd8\xff\x00\x00\xd4\xff\xc7\xff\x00\x00\xd8\xff\x00\x00\xef\xff\xd6\xff\xc6\xff\xe1\xff\xdf\xff\x00\x00\xd2\xff\xc2\xff\x8d\xff\x00\x00\x00\x00\xa7\xff\xa4\xff\x00\x00\x00\x00\x00\x00\x00\x00\xb0\xff\xa2\xff\x00\x00\x00\x00\xee\xff\x00\x00\xf2\xff\xef\xff\x00\x00\xd1\xff\x0f\xff\xab\xff\xeb\xff\xf0\xff\xed\xff\xec\xff\xea\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe9\xff\xe8\xff"# happyCheck :: HappyAddr -happyCheck = HappyA# "\xff\xff\x00\x00\x05\x00\x02\x00\x00\x00\x09\x00\x02\x00\x00\x00\x00\x00\x02\x00\x02\x00\x00\x00\x00\x00\x02\x00\x02\x00\x01\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x1c\x00\x19\x00\x03\x00\x03\x00\x00\x00\x03\x00\x0f\x00\x05\x00\x00\x00\x00\x00\x0b\x00\x2e\x00\x0b\x00\x0b\x00\x0c\x00\x05\x00\x05\x00\x1a\x00\x10\x00\x11\x00\x12\x00\x0e\x00\x00\x00\x00\x00\x3b\x00\x11\x00\x00\x00\x13\x00\x00\x00\x0c\x00\x02\x00\x0d\x00\x0e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1d\x00\x1e\x00\x42\x00\x13\x00\x28\x00\x30\x00\x0b\x00\x47\x00\x0d\x00\x1d\x00\x4c\x00\x0b\x00\x4c\x00\x4c\x00\x1b\x00\x00\x00\x01\x00\x02\x00\x03\x00\x3e\x00\x02\x00\x41\x00\x42\x00\x52\x00\x53\x00\x07\x00\x52\x00\x53\x00\x0b\x00\x52\x00\x52\x00\x41\x00\x42\x00\x52\x00\x52\x00\x4e\x00\x52\x00\x03\x00\x4c\x00\x05\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x0b\x00\x3d\x00\x4e\x00\x4c\x00\x4c\x00\x10\x00\x11\x00\x12\x00\x41\x00\x42\x00\x4c\x00\x4c\x00\x4e\x00\x4e\x00\x19\x00\x03\x00\x1b\x00\x05\x00\x4c\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x4b\x00\x25\x00\x39\x00\x0b\x00\x28\x00\x12\x00\x4c\x00\x2b\x00\x00\x00\x40\x00\x2e\x00\x19\x00\x00\x00\x1b\x00\x1b\x00\x33\x00\x09\x00\x0c\x00\x0a\x00\x4a\x00\x4b\x00\x0b\x00\x0b\x00\x4c\x00\x03\x00\x06\x00\x05\x00\x3f\x00\x15\x00\x16\x00\x26\x00\x43\x00\x44\x00\x1a\x00\x0f\x00\x0e\x00\x2c\x00\x49\x00\x00\x00\x12\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x01\x00\x05\x00\x1b\x00\x00\x00\x01\x00\x02\x00\x03\x00\x0b\x00\x03\x00\x2b\x00\x05\x00\x00\x00\x10\x00\x11\x00\x12\x00\x0a\x00\x4c\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x19\x00\x4c\x00\x12\x00\x20\x00\x00\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1b\x00\x25\x00\x2a\x00\x4a\x00\x28\x00\x00\x00\x00\x00\x2b\x00\x4c\x00\x4c\x00\x2e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x33\x00\x00\x00\x19\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x00\x00\x01\x00\x02\x00\x03\x00\x3f\x00\x39\x00\x02\x00\x00\x00\x43\x00\x44\x00\x00\x00\x07\x00\x40\x00\x2b\x00\x49\x00\x16\x00\x17\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x00\x00\x05\x00\x2b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x0b\x00\x00\x00\x01\x00\x02\x00\x03\x00\x10\x00\x11\x00\x12\x00\x2b\x00\x00\x00\x11\x00\x22\x00\x13\x00\x0f\x00\x19\x00\x39\x00\x3a\x00\x3b\x00\x29\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x3c\x00\x25\x00\x39\x00\x3f\x00\x28\x00\x48\x00\x49\x00\x2b\x00\x00\x00\x40\x00\x2e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x33\x00\x00\x00\x07\x00\x00\x00\x4a\x00\x4b\x00\x50\x00\x51\x00\x00\x00\x01\x00\x02\x00\x03\x00\x3f\x00\x2c\x00\x2d\x00\x14\x00\x43\x00\x44\x00\x39\x00\x3a\x00\x3b\x00\x00\x00\x49\x00\x4f\x00\x07\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x00\x00\x05\x00\x48\x00\x49\x00\x22\x00\x2b\x00\x14\x00\x0b\x00\x2e\x00\x2f\x00\x00\x00\x29\x00\x10\x00\x11\x00\x12\x00\x2b\x00\x00\x00\x05\x00\x06\x00\x1d\x00\x1e\x00\x19\x00\x39\x00\x3a\x00\x3b\x00\x00\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x3c\x00\x25\x00\x39\x00\x3f\x00\x28\x00\x48\x00\x49\x00\x2b\x00\x00\x00\x40\x00\x2e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x33\x00\x20\x00\x04\x00\x00\x00\x1a\x00\x03\x00\x2b\x00\x05\x00\x0a\x00\x2e\x00\x2f\x00\x2a\x00\x3f\x00\x0b\x00\x24\x00\x02\x00\x43\x00\x44\x00\x10\x00\x11\x00\x12\x00\x00\x00\x49\x00\x0a\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x1b\x00\x1c\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x25\x00\x25\x00\x26\x00\x28\x00\x02\x00\x00\x00\x00\x00\x2b\x00\x06\x00\x00\x00\x01\x00\x02\x00\x03\x00\x1c\x00\x39\x00\x3a\x00\x3b\x00\x2d\x00\x13\x00\x03\x00\x30\x00\x05\x00\x0f\x00\x26\x00\x08\x00\x2b\x00\x3f\x00\x0b\x00\x2e\x00\x2f\x00\x43\x00\x44\x00\x10\x00\x11\x00\x12\x00\x2d\x00\x49\x00\x1f\x00\x30\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x27\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x0b\x00\x52\x00\x0d\x00\x28\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x39\x00\x3a\x00\x3b\x00\x03\x00\x15\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x45\x00\x13\x00\x47\x00\x28\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x00\x00\x4f\x00\x00\x00\x28\x00\x16\x00\x17\x00\x30\x00\x31\x00\x32\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x3e\x00\x05\x00\x00\x00\x01\x00\x02\x00\x03\x00\x1a\x00\x0b\x00\x00\x00\x4f\x00\x1f\x00\x30\x00\x10\x00\x11\x00\x12\x00\x00\x00\x24\x00\x00\x00\x27\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x3e\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x30\x00\x13\x00\x32\x00\x28\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x39\x00\x3a\x00\x3b\x00\x03\x00\x00\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x45\x00\x39\x00\x47\x00\x28\x00\x10\x00\x11\x00\x12\x00\x00\x00\x40\x00\x00\x00\x00\x00\x00\x00\x12\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x11\x00\x00\x00\x13\x00\x11\x00\x28\x00\x13\x00\x00\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x1b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x3e\x00\x05\x00\x00\x00\x25\x00\x09\x00\x43\x00\x44\x00\x0b\x00\x46\x00\x2b\x00\x08\x00\x09\x00\x10\x00\x11\x00\x12\x00\x00\x00\x15\x00\x16\x00\x01\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x00\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x0e\x00\x02\x00\x10\x00\x28\x00\x10\x00\x11\x00\x12\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x00\x00\x0d\x00\x19\x00\x00\x00\x03\x00\x00\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x21\x00\x00\x00\x00\x00\x28\x00\x10\x00\x11\x00\x12\x00\x28\x00\x00\x00\x08\x00\x09\x00\x2c\x00\x2d\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x00\x00\x18\x00\x00\x00\x28\x00\x0f\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x23\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x3e\x00\x00\x00\x2c\x00\x2d\x00\x06\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x04\x00\x46\x00\x05\x00\x4c\x00\x4d\x00\x06\x00\x0a\x00\x04\x00\x01\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x04\x00\x05\x00\x00\x00\x01\x00\x02\x00\x03\x00\x0a\x00\x00\x00\x02\x00\x4c\x00\x0e\x00\x0f\x00\x04\x00\x4d\x00\x12\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x06\x00\x01\x00\x1a\x00\x1b\x00\x00\x00\x01\x00\x02\x00\x03\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x06\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x06\x00\x3e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x43\x00\x00\x00\x07\x00\x2b\x00\x01\x00\x0a\x00\x2e\x00\x2f\x00\x4c\x00\x4c\x00\x4d\x00\x0c\x00\x39\x00\x07\x00\x4c\x00\x14\x00\x30\x00\x31\x00\x32\x00\x40\x00\x2b\x00\x03\x00\x0f\x00\x2e\x00\x2f\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x04\x00\x3e\x00\x00\x00\x02\x00\x0e\x00\x39\x00\x3a\x00\x3b\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x2b\x00\x00\x00\x2e\x00\x2e\x00\x2f\x00\x48\x00\x49\x00\x3e\x00\x0f\x00\x39\x00\x0f\x00\x02\x00\x43\x00\x44\x00\x4b\x00\x46\x00\x40\x00\x4c\x00\x04\x00\x26\x00\x21\x00\x28\x00\x29\x00\x2a\x00\x2e\x00\x2c\x00\x4c\x00\x28\x00\x0c\x00\x0a\x00\x4c\x00\x2c\x00\x2d\x00\x34\x00\x35\x00\x36\x00\x37\x00\x00\x00\x02\x00\x3a\x00\x0b\x00\x3c\x00\x3d\x00\x3e\x00\x2b\x00\x40\x00\x4c\x00\x2e\x00\x2f\x00\x03\x00\x45\x00\x46\x00\x26\x00\x48\x00\x28\x00\x29\x00\x2a\x00\x00\x00\x2c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x4c\x00\x02\x00\x34\x00\x35\x00\x36\x00\x37\x00\x21\x00\x0e\x00\x3a\x00\x10\x00\x3c\x00\x3d\x00\x3e\x00\x28\x00\x40\x00\x16\x00\x17\x00\x2c\x00\x2d\x00\x45\x00\x46\x00\x08\x00\x48\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x4c\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x4c\x00\x04\x00\x01\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x1d\x00\x4c\x00\x3e\x00\x04\x00\x04\x00\x41\x00\x42\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x04\x00\x04\x00\x13\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x30\x00\x4c\x00\x3e\x00\x39\x00\x3a\x00\x41\x00\x42\x00\x43\x00\x38\x00\x06\x00\x01\x00\x13\x00\x02\x00\x0f\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x30\x00\x3e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x43\x00\x0a\x00\x38\x00\x2e\x00\x02\x00\x4c\x00\x0c\x00\x04\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x01\x00\x3e\x00\x01\x00\x4c\x00\x01\x00\x07\x00\x43\x00\x02\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x01\x00\x01\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x3e\x00\x02\x00\x39\x00\x3a\x00\x3b\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x0a\x00\x01\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x30\x00\x3e\x00\x01\x00\x4c\x00\x01\x00\x4c\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0a\x00\x09\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x30\x00\x31\x00\x3e\x00\x04\x00\x39\x00\x24\x00\x03\x00\x43\x00\x07\x00\x0a\x00\x38\x00\x4c\x00\x38\x00\x0e\x00\x3e\x00\x04\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x30\x00\x31\x00\x3e\x00\x04\x00\x01\x00\x10\x00\x04\x00\x43\x00\x01\x00\x01\x00\x4c\x00\x4c\x00\x01\x00\x04\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x24\x00\x04\x00\x3e\x00\x27\x00\x08\x00\x0e\x00\x03\x00\x43\x00\x4c\x00\x1a\x00\x0c\x00\x06\x00\x4c\x00\x31\x00\x32\x00\x4d\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x4c\x00\x41\x00\x3e\x00\x0e\x00\x03\x00\x07\x00\x46\x00\x43\x00\x04\x00\x06\x00\x13\x00\x0c\x00\x0a\x00\x07\x00\x38\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x08\x00\x0a\x00\x3e\x00\x2e\x00\x01\x00\x01\x00\x4c\x00\x43\x00\x0a\x00\x4c\x00\x4c\x00\x02\x00\x02\x00\x01\x00\x52\x00\x4c\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x52\x00\x03\x00\x3e\x00\x03\x00\x03\x00\x03\x00\x4c\x00\x43\x00\x17\x00\x52\x00\x18\x00\x08\x00\x14\x00\x0e\x00\x4c\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x2f\x00\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\x00\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\xff\xff\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x3e\x00\x00\x00\xff\xff\xff\xff\xff\xff\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x21\x00\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x28\x00\x36\x00\xff\xff\x1b\x00\x2c\x00\x2d\x00\xff\xff\x18\x00\x00\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x25\x00\x00\x00\xff\xff\x00\x00\xff\xff\x23\x00\x2b\x00\x00\x00\xff\xff\x00\x00\xff\xff\x3e\x00\x30\x00\x31\x00\x2c\x00\x2d\x00\x00\x00\xff\xff\xff\xff\x18\x00\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x18\x00\x3e\x00\x18\x00\xff\xff\xff\xff\x23\x00\x18\x00\xff\xff\x18\x00\x00\x00\xff\xff\x23\x00\x3e\x00\x23\x00\x2c\x00\x2d\x00\x00\x00\x23\x00\xff\xff\x23\x00\x2c\x00\x2d\x00\x2c\x00\x2d\x00\x21\x00\xff\xff\x2c\x00\x2d\x00\x2c\x00\x2d\x00\xff\xff\x28\x00\xff\xff\x18\x00\xff\xff\x2c\x00\x2d\x00\xff\xff\xff\xff\xff\xff\x18\x00\xff\xff\xff\xff\xff\xff\x23\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x23\x00\xff\xff\x2c\x00\x2d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x2c\x00\x2d\x00\x26\x00\xff\xff\x28\x00\x29\x00\x2a\x00\xff\xff\x2c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x34\x00\x35\x00\x36\x00\x37\x00\xff\xff\xff\xff\x3a\x00\xff\xff\x3c\x00\x3d\x00\x3e\x00\xff\xff\x40\x00\xff\xff\xff\xff\xff\xff\xff\xff\x45\x00\x46\x00\xff\xff\x48\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"# +happyCheck = HappyA# "\xff\xff\x00\x00\x05\x00\x02\x00\x00\x00\x09\x00\x02\x00\x00\x00\x00\x00\x02\x00\x02\x00\x00\x00\x00\x00\x02\x00\x02\x00\x01\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x1b\x00\x00\x00\x0e\x00\x03\x00\x00\x00\x03\x00\x00\x00\x05\x00\x00\x00\x00\x00\x0c\x00\x2e\x00\x02\x00\x0b\x00\x0c\x00\x1c\x00\x0b\x00\x07\x00\x10\x00\x11\x00\x12\x00\x05\x00\x05\x00\x00\x00\x3b\x00\x13\x00\x0b\x00\x02\x00\x00\x00\x01\x00\x02\x00\x03\x00\x07\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x2d\x00\x1f\x00\x42\x00\x30\x00\x28\x00\x30\x00\x0b\x00\x47\x00\x0d\x00\x27\x00\x00\x00\x4c\x00\x4c\x00\x4c\x00\x2b\x00\x00\x00\x01\x00\x02\x00\x03\x00\x3e\x00\x0c\x00\x41\x00\x42\x00\x52\x00\x53\x00\x4c\x00\x52\x00\x53\x00\x4e\x00\x52\x00\x52\x00\x41\x00\x42\x00\x52\x00\x52\x00\x4e\x00\x52\x00\x03\x00\x4c\x00\x05\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x0b\x00\x3d\x00\x39\x00\x3a\x00\x3b\x00\x10\x00\x11\x00\x12\x00\x4c\x00\x4c\x00\x4c\x00\x00\x00\x0b\x00\x03\x00\x19\x00\x05\x00\x1b\x00\x48\x00\x49\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x4b\x00\x25\x00\x39\x00\x12\x00\x28\x00\x41\x00\x42\x00\x2b\x00\x19\x00\x40\x00\x2e\x00\x00\x00\x1b\x00\x06\x00\x4c\x00\x33\x00\x4e\x00\x01\x00\x20\x00\x4a\x00\x4b\x00\x0b\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x03\x00\x3f\x00\x2a\x00\x0b\x00\x17\x00\x43\x00\x44\x00\x00\x00\x01\x00\x02\x00\x03\x00\x49\x00\x09\x00\x1c\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x00\x00\x05\x00\x00\x00\x26\x00\x15\x00\x16\x00\x4c\x00\x0b\x00\x03\x00\x1a\x00\x05\x00\x07\x00\x10\x00\x11\x00\x12\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x0e\x00\x19\x00\x19\x00\x0b\x00\x12\x00\x14\x00\x14\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1b\x00\x25\x00\x39\x00\x00\x00\x28\x00\x0d\x00\x0e\x00\x2b\x00\x4c\x00\x40\x00\x2e\x00\x2b\x00\x39\x00\x3a\x00\x3b\x00\x33\x00\x4c\x00\x26\x00\x00\x00\x4a\x00\x4b\x00\x1d\x00\x00\x00\x2c\x00\x45\x00\x4a\x00\x47\x00\x3f\x00\x0f\x00\x00\x00\x00\x00\x43\x00\x44\x00\x19\x00\x02\x00\x1b\x00\x17\x00\x49\x00\x06\x00\x1a\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x2b\x00\x05\x00\x13\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x0b\x00\x03\x00\x4c\x00\x05\x00\x00\x00\x10\x00\x11\x00\x12\x00\x0a\x00\x00\x00\x3c\x00\x22\x00\x2b\x00\x3f\x00\x19\x00\x4c\x00\x12\x00\x4e\x00\x29\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1b\x00\x25\x00\x0f\x00\x00\x00\x28\x00\x4f\x00\x4c\x00\x2b\x00\x1d\x00\x1e\x00\x2e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x33\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x00\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x03\x00\x3f\x00\x2c\x00\x2d\x00\x17\x00\x43\x00\x44\x00\x00\x00\x01\x00\x02\x00\x03\x00\x49\x00\x00\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x2b\x00\x05\x00\x02\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x0b\x00\x00\x00\x22\x00\x0a\x00\x13\x00\x10\x00\x11\x00\x12\x00\x00\x00\x29\x00\x3c\x00\x30\x00\x31\x00\x3f\x00\x19\x00\x39\x00\x3a\x00\x3b\x00\x20\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x3e\x00\x25\x00\x39\x00\x2a\x00\x28\x00\x48\x00\x49\x00\x2b\x00\x2d\x00\x40\x00\x2e\x00\x30\x00\x39\x00\x3a\x00\x3b\x00\x33\x00\x00\x00\x07\x00\x02\x00\x0b\x00\x03\x00\x0d\x00\x05\x00\x00\x00\x45\x00\x00\x00\x47\x00\x3f\x00\x0b\x00\x00\x00\x14\x00\x43\x00\x44\x00\x10\x00\x11\x00\x12\x00\x00\x00\x49\x00\x00\x00\x0f\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x52\x00\x00\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x15\x00\x25\x00\x00\x00\x0a\x00\x28\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2b\x00\x1f\x00\x04\x00\x2e\x00\x2f\x00\x03\x00\x13\x00\x05\x00\x0a\x00\x27\x00\x08\x00\x2b\x00\x3f\x00\x0b\x00\x2e\x00\x2f\x00\x43\x00\x44\x00\x10\x00\x11\x00\x12\x00\x30\x00\x49\x00\x32\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x00\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x08\x00\x09\x00\x00\x00\x28\x00\x10\x00\x11\x00\x12\x00\x16\x00\x17\x00\x03\x00\x39\x00\x3a\x00\x3b\x00\x12\x00\x39\x00\x3a\x00\x03\x00\x0b\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x48\x00\x49\x00\x00\x00\x28\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x11\x00\x00\x00\x13\x00\x00\x00\x28\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x16\x00\x17\x00\x08\x00\x09\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x4f\x00\x05\x00\x00\x00\x01\x00\x02\x00\x03\x00\x1a\x00\x0b\x00\x1a\x00\x04\x00\x00\x00\x30\x00\x10\x00\x11\x00\x12\x00\x0a\x00\x24\x00\x00\x00\x24\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x3e\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x30\x00\x31\x00\x32\x00\x28\x00\x10\x00\x11\x00\x12\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0a\x00\x3e\x00\x00\x00\x03\x00\x0e\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x09\x00\x39\x00\x4f\x00\x28\x00\x10\x00\x11\x00\x12\x00\x11\x00\x40\x00\x13\x00\x00\x00\x00\x00\x15\x00\x16\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x50\x00\x51\x00\x11\x00\x28\x00\x13\x00\x00\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x1b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x3e\x00\x05\x00\x11\x00\x25\x00\x13\x00\x43\x00\x44\x00\x0b\x00\x46\x00\x2b\x00\x05\x00\x06\x00\x10\x00\x11\x00\x12\x00\x0e\x00\x00\x00\x10\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x00\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x28\x00\x10\x00\x11\x00\x12\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x00\x00\x02\x00\x00\x00\x00\x00\x03\x00\x01\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x21\x00\x00\x00\x00\x00\x28\x00\x10\x00\x11\x00\x12\x00\x28\x00\x19\x00\x00\x00\x00\x00\x2c\x00\x2d\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x00\x00\x18\x00\x00\x00\x28\x00\x0d\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x23\x00\x0f\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x3e\x00\x00\x00\x2c\x00\x2d\x00\x00\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x06\x00\x4c\x00\x06\x00\x4c\x00\x4d\x00\x05\x00\x04\x00\x46\x00\x01\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x04\x00\x05\x00\x00\x00\x01\x00\x02\x00\x03\x00\x0a\x00\x02\x00\x04\x00\x06\x00\x0e\x00\x0f\x00\x06\x00\x4d\x00\x12\x00\x01\x00\x14\x00\x06\x00\x16\x00\x17\x00\x4c\x00\x00\x00\x1a\x00\x1b\x00\x00\x00\x01\x00\x02\x00\x03\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x01\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0c\x00\x3e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x43\x00\x1b\x00\x4c\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x07\x00\x4c\x00\x4d\x00\x25\x00\x39\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2b\x00\x07\x00\x40\x00\x2b\x00\x0a\x00\x02\x00\x2e\x00\x2f\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x04\x00\x0f\x00\x14\x00\x0e\x00\x02\x00\x39\x00\x3a\x00\x3b\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x48\x00\x49\x00\x3e\x00\x2e\x00\x39\x00\x0f\x00\x4c\x00\x43\x00\x44\x00\x4b\x00\x46\x00\x40\x00\x39\x00\x04\x00\x26\x00\x0c\x00\x28\x00\x29\x00\x2a\x00\x40\x00\x2c\x00\x39\x00\x3a\x00\x3b\x00\x2e\x00\x4c\x00\x0a\x00\x02\x00\x34\x00\x35\x00\x36\x00\x37\x00\x21\x00\x0b\x00\x3a\x00\x4c\x00\x3c\x00\x3d\x00\x3e\x00\x28\x00\x40\x00\x4c\x00\x03\x00\x2c\x00\x2d\x00\x45\x00\x46\x00\x26\x00\x48\x00\x28\x00\x29\x00\x2a\x00\x39\x00\x2c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x4c\x00\x08\x00\x34\x00\x35\x00\x36\x00\x37\x00\x02\x00\x04\x00\x3a\x00\x0c\x00\x3c\x00\x3d\x00\x3e\x00\x4c\x00\x40\x00\x03\x00\x01\x00\x4c\x00\x1d\x00\x45\x00\x46\x00\x4c\x00\x48\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x06\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x04\x00\x13\x00\x04\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x4c\x00\x01\x00\x3e\x00\x02\x00\x13\x00\x41\x00\x42\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0a\x00\x02\x00\x4c\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x30\x00\x04\x00\x3e\x00\x39\x00\x3a\x00\x41\x00\x42\x00\x43\x00\x38\x00\x2e\x00\x0c\x00\x4c\x00\x01\x00\x00\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x30\x00\x3e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x43\x00\x01\x00\x38\x00\x01\x00\x07\x00\x02\x00\x01\x00\x01\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x2b\x00\x3e\x00\x02\x00\x2e\x00\x2f\x00\x02\x00\x43\x00\x02\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x01\x00\x0a\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x01\x00\x3e\x00\x4c\x00\x39\x00\x3a\x00\x3b\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x01\x00\x4c\x00\x0a\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x30\x00\x3e\x00\x09\x00\x39\x00\x24\x00\x03\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x07\x00\x38\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x30\x00\x31\x00\x3e\x00\x38\x00\x4c\x00\x04\x00\x04\x00\x43\x00\x01\x00\x16\x00\x10\x00\x01\x00\x00\x00\x04\x00\x3e\x00\x01\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x30\x00\x31\x00\x3e\x00\x4c\x00\x04\x00\x4c\x00\x04\x00\x43\x00\x01\x00\x08\x00\x0e\x00\x03\x00\x00\x00\x1a\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x2b\x00\x0c\x00\x3e\x00\x2e\x00\x2f\x00\x4c\x00\x06\x00\x43\x00\x4d\x00\x4c\x00\x4c\x00\x0e\x00\x00\x00\x03\x00\x07\x00\x04\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x2b\x00\x0c\x00\x3e\x00\x2e\x00\x2f\x00\x06\x00\x13\x00\x43\x00\x0a\x00\x07\x00\x0a\x00\x08\x00\x38\x00\x4c\x00\x2e\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x2b\x00\x01\x00\x3e\x00\x2e\x00\x2f\x00\x01\x00\x0a\x00\x43\x00\x4c\x00\x4c\x00\x02\x00\x02\x00\x01\x00\x52\x00\x4c\x00\x00\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x52\x00\x0e\x00\x3e\x00\x10\x00\x03\x00\x03\x00\x03\x00\x43\x00\x03\x00\x16\x00\x17\x00\x4c\x00\x08\x00\x17\x00\x0e\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x24\x00\x52\x00\x3e\x00\x27\x00\x18\x00\x14\x00\x4c\x00\x43\x00\x2f\x00\xff\xff\xff\xff\xff\xff\xff\xff\x31\x00\x32\x00\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x41\x00\x3e\x00\xff\xff\xff\xff\xff\xff\x46\x00\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x43\x00\x00\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x3e\x00\xff\xff\x00\x00\xff\xff\xff\xff\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x21\x00\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x28\x00\x36\x00\xff\xff\xff\xff\x2c\x00\x2d\x00\xff\xff\x00\x00\x18\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x00\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x23\x00\x00\x00\xff\xff\xff\xff\xff\xff\x3e\x00\x30\x00\x31\x00\x32\x00\x2c\x00\x2d\x00\xff\xff\x18\x00\x00\x00\xff\xff\xff\xff\x00\x00\x30\x00\x31\x00\x00\x00\x3e\x00\xff\xff\x00\x00\x23\x00\xff\xff\x18\x00\xff\xff\x21\x00\xff\xff\xff\xff\xff\xff\x3e\x00\x2c\x00\x2d\x00\x28\x00\x00\x00\x23\x00\x18\x00\x2c\x00\x2d\x00\x18\x00\x00\x00\xff\xff\x18\x00\x00\x00\x2c\x00\x2d\x00\xff\xff\x23\x00\xff\xff\xff\xff\x23\x00\xff\xff\xff\xff\x23\x00\x21\x00\xff\xff\x2c\x00\x2d\x00\x18\x00\x2c\x00\x2d\x00\x28\x00\x2c\x00\x2d\x00\x18\x00\x2c\x00\x2d\x00\xff\xff\xff\xff\x23\x00\x1b\x00\x1c\x00\xff\xff\xff\xff\xff\xff\x23\x00\xff\xff\xff\xff\x2c\x00\x2d\x00\x25\x00\x26\x00\xff\xff\xff\xff\x2c\x00\x2d\x00\x2b\x00\x26\x00\xff\xff\x28\x00\x29\x00\x2a\x00\xff\xff\x2c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x34\x00\x35\x00\x36\x00\x37\x00\xff\xff\xff\xff\x3a\x00\xff\xff\x3c\x00\x3d\x00\x3e\x00\xff\xff\x40\x00\xff\xff\xff\xff\xff\xff\xff\xff\x45\x00\x46\x00\xff\xff\x48\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"# happyTable :: HappyAddr -happyTable = HappyA# "\x00\x00\x41\x00\x70\x01\x42\x00\x41\x00\xcb\xff\x42\x00\x41\x00\x41\x00\x42\x00\x42\x00\x41\x00\x41\x00\x42\x00\x42\x00\x41\x00\x5a\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x7c\x00\xb8\x00\xb6\x00\x56\x00\x5a\x00\x79\x00\x11\x01\xa4\x01\x6d\x01\x9c\x01\xb7\x00\xea\x01\xe5\x01\x17\x00\xb3\x01\x96\x01\x70\x01\x12\x01\x4f\x00\x19\x00\x1a\x00\x76\x00\x6d\x01\x79\x00\xeb\x01\xc6\x01\x5a\x00\x7f\x01\x63\x00\x66\x00\x64\x00\x46\x00\x47\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x9d\x01\xd1\x01\xde\x00\xeb\x01\x23\x00\xa1\x01\x7a\x01\xdf\x00\x7b\x01\x48\x00\x06\x00\xe9\x00\x06\x00\x06\x00\x5f\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x12\x00\x6a\x01\x5b\x00\x2a\x01\x43\x00\xe2\x00\x6b\x01\x43\x00\x44\x00\x0a\x01\xca\x00\xcb\x00\x5b\x00\x95\x00\xcc\x00\xce\x00\xa2\x01\xff\xff\x15\x00\x06\x00\x16\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x17\x00\x7a\x00\x2c\x00\x06\x00\x06\x00\x18\x00\x19\x00\x1a\x00\x5b\x00\x5c\x00\x06\x00\x06\x00\x2c\x00\x2c\x00\x1b\x00\xa2\x00\x5f\x00\xa3\x00\x06\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x7c\x01\x22\x00\x9d\x00\xe9\x00\x23\x00\xa4\x00\x06\x00\x24\x00\xe2\x01\x9e\x00\x6a\x00\x5e\x00\x51\x00\x5f\x00\xa5\x00\x26\x00\x70\x00\xe6\x01\xe3\x01\x9f\x00\x42\x01\xe9\x00\x0a\x01\x06\x00\xa2\x00\x48\x01\xa3\x00\x27\x00\x71\x00\x72\x00\xf0\x00\x28\x00\x29\x00\x73\x00\x11\x01\x14\x01\xf1\x00\x2a\x00\x92\x01\xa4\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\xd4\x01\x16\x00\xa5\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x17\x00\xa2\x00\xc2\x01\xa3\x00\xd8\x01\x18\x00\x19\x00\x1a\x00\x66\x01\x06\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x1b\x00\x06\x00\xa4\x00\x93\x01\x51\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xa5\x00\x22\x00\xcd\x01\x74\x00\x23\x00\x51\x00\xce\x01\x24\x00\x06\x00\x06\x00\x25\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x26\x00\x72\x01\xb8\x00\x51\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x27\x00\x9d\x00\xaa\x00\xfe\x00\x28\x00\x29\x00\xd0\x01\xab\x00\xa6\x01\x81\x01\x2a\x00\x85\x01\xdc\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\x6d\x01\x16\x00\x36\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x17\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x18\x00\x19\x00\x1a\x00\x21\x01\xe3\x00\xc9\x01\xff\x00\x7f\x01\xb6\x01\x1b\x00\xb0\x00\xb1\x00\xb2\x00\x9b\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x01\x22\x00\x9d\x00\xae\x01\x23\x00\xb3\x00\x3f\x01\x24\x00\x51\x00\x9e\x00\x6a\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x26\x00\xfe\x00\x37\x00\x20\x01\x9f\x00\xa0\x00\x2e\x00\x2f\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x27\x00\xed\x00\x90\x01\x32\x00\x28\x00\x29\x00\xb0\x00\xb1\x00\xb2\x00\x9c\x01\x2a\x00\xb9\x01\x31\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\xbd\x01\x16\x00\xb3\x00\x53\x01\xff\x00\x52\x00\x32\x00\x17\x00\x53\x00\x19\x01\x51\x00\x00\x01\x18\x00\x19\x00\x1a\x00\x21\x01\x92\x01\x35\x00\x36\x00\x9d\x01\x9e\x01\x1b\x00\xb0\x00\xb1\x00\xb2\x00\x06\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x01\x22\x00\x9d\x00\x23\x01\x23\x00\xb3\x00\x0d\x01\x24\x00\xc4\x01\x12\x01\x25\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x26\x00\x93\x01\x88\x00\x02\x01\x07\x01\x15\x00\x52\x00\x4e\x00\x89\x00\x53\x00\x37\x01\x94\x01\x27\x00\x17\x00\xa4\x01\x5b\x01\x28\x00\x29\x00\x18\x00\x19\x00\x1a\x00\x39\x01\x2a\x00\x89\x00\x9f\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\xfb\x00\x03\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x6d\x01\x22\x00\x04\x01\x05\x01\x23\x00\xcb\x01\x84\x01\xf2\x00\xfd\x00\xcc\x01\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x03\x01\xb0\x00\xb1\x00\xad\x01\x34\x00\xec\x01\x15\x00\x35\x00\x4e\x00\xbf\x01\xa0\x01\x26\xff\x52\x00\x27\x00\x17\x00\x53\x00\x6b\x00\x28\x00\x29\x00\x18\x00\x19\x00\x1a\x00\x34\x00\x2a\x00\xf3\x00\x35\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x79\x00\x96\x01\xa4\x01\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x7a\x01\xf6\xff\x7b\x01\x23\x00\x4f\x00\x19\x00\x1a\x00\x6d\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xb0\x00\xb1\x00\x1c\x01\x79\x00\x86\x01\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x1d\x01\xbc\x01\xac\x01\x23\x00\x4f\x00\x19\x00\x1a\x00\x72\x01\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x9a\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xf2\x00\x06\x01\xa5\x01\x40\x01\x23\x00\x73\x01\xdc\x00\x0b\x00\x0c\x00\x7e\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x50\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\x12\x00\x4e\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x07\x01\x17\x00\x56\x01\x58\x01\xf3\x00\x77\x00\x18\x00\x19\x00\x1a\x00\x6d\x01\x08\x01\x68\x01\xf4\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x79\x00\x12\x00\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x88\x01\x6e\x01\x89\x01\x23\x00\x4f\x00\x19\x00\x1a\x00\x70\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xb0\x00\xb1\x00\x1c\x01\x15\x00\x71\x01\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x1d\x01\x9d\x00\x1e\x01\x23\x00\x18\x00\x19\x00\x1a\x00\x6d\x01\x6b\x01\x74\x01\x6d\x01\x51\x00\x77\x01\xea\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x7e\x01\xf5\x00\x7f\x01\x82\x01\x23\x00\x7f\x01\x30\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x2e\x01\x11\x00\xfb\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x79\x00\x12\x00\x4e\x00\xd9\x01\x98\x01\x70\x00\x13\x00\x60\x00\x17\x00\x2f\x01\xfd\x00\xda\x01\xe4\x01\x4f\x00\x19\x00\x1a\x00\x35\x01\x71\x00\x72\x00\x38\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x4d\x00\xe3\x00\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x91\x00\xa5\x00\x92\x00\x23\x00\x4f\x00\x19\x00\x1a\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xae\x00\x39\x00\xb8\x00\xcf\x00\x15\x00\xd0\x00\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\xeb\x00\xd9\x01\xe3\x00\x23\x00\x18\x00\x19\x00\x1a\x00\x8f\x01\xd1\x00\xda\x01\xdb\x01\xed\x00\xee\x00\xd2\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xd3\x00\xd4\x00\xe4\x00\x38\x00\x23\x00\x48\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x4c\x01\x11\x00\x8a\x01\x59\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x12\x00\x62\x00\xe6\x00\xe7\x00\xee\x01\x13\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x47\x01\xe9\x01\xe8\x01\x4d\x01\xb1\x01\xef\x01\x89\x00\xdd\x01\xde\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\xa2\x00\x88\x00\xa3\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x89\x00\x51\x00\xdf\x01\x06\x00\x14\x01\x47\xff\xe2\x01\x2b\x00\xa4\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xe0\x01\xd7\x01\x47\xff\xa5\x00\xaf\x00\x9a\x00\x9b\x00\x9c\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x4c\x01\x11\x00\xe1\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xd8\x01\x12\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x13\x00\x51\x00\x2c\xff\x52\x00\xc6\x01\x2c\xff\x53\x00\xa6\x00\x06\x00\x4d\x01\x4e\x01\xc8\x01\x9d\x00\xd3\x01\x06\x00\x77\x00\x0b\x00\x0c\x00\x7f\x00\x12\x01\x52\x00\xd4\x01\x11\x01\x53\x00\x6b\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\xc9\x01\x12\x00\xe3\x00\x5b\x01\xb6\x01\xb0\x00\xb1\x00\xb2\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x5f\x00\x11\x00\x52\x00\x6a\x00\xb8\x01\x53\x00\x54\x00\xb3\x00\xb4\x00\x12\x00\xb5\x01\x9d\x00\xb9\x01\xbb\x01\x13\x00\x60\x00\xbf\x01\x61\x00\x27\x01\x06\x00\xd0\x01\xba\x00\xeb\x00\xbb\x00\xbc\x00\xbd\x00\xc1\x01\xbe\x00\x06\x00\x62\x01\xc2\x01\xc4\x01\x06\x00\xed\x00\xee\x00\xbf\x00\xc0\x00\xc1\x00\xc2\x00\xe3\x00\x7e\x01\xc3\x00\x81\x01\xc4\x00\xc5\x00\xc6\x00\x52\x00\xc7\x00\x06\x00\x53\x00\x6b\x00\x84\x01\xc8\x00\xc9\x00\xba\x00\xca\x00\xbb\x00\xbc\x00\xbd\x00\xd8\x00\xbe\x00\x66\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x06\x00\x8c\x01\xbf\x00\xc0\x00\xc1\x00\xc2\x00\xeb\x00\xd9\x00\xc3\x00\xda\x00\xc4\x00\xc5\x00\xc6\x00\x63\x01\xc7\x00\xdb\x00\xdc\x00\xed\x00\xee\x00\xc8\x00\xc9\x00\x8a\x01\xca\x00\x66\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x8f\x01\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x06\x00\x98\x01\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x06\x00\xa8\x01\xa9\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x67\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xaa\x01\x06\x00\x12\x00\xb0\x01\x3b\x01\x5b\x00\xb3\x01\x13\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x3c\x01\x44\x01\x3e\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x67\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x8e\x00\x06\x00\x12\x00\xb0\x00\x52\x01\x5b\x00\x68\x00\x13\x00\x32\x01\x3d\x01\x45\x01\x49\x01\x46\x01\x11\x01\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\x4f\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x8e\x00\x12\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x13\x00\x4a\x01\x8f\x00\x4b\x01\x4c\x01\x06\x00\x56\x01\x55\x01\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\x0b\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x58\x01\x12\x00\x5a\x01\x06\x00\x5c\x01\x5e\x01\x13\x00\x5d\x01\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x5f\x01\x61\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\xad\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x60\x01\x12\x00\x62\x01\xb0\x00\xb1\x00\x1f\x01\x13\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x65\x01\x66\x01\x67\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\xb7\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x4b\x00\x12\x00\x68\x01\x06\x00\x6d\x01\x06\x00\x13\x00\x8a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x76\x01\x77\x01\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xd5\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x74\x00\x12\x00\x88\x00\x79\x01\x7d\x01\xd8\x00\x13\x00\xe2\x00\x89\x00\xe0\x00\x06\x00\xe1\x00\x8a\x00\x12\x00\x0b\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xcc\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x56\x00\x12\x00\x0f\x01\x10\x01\x92\x00\x15\x01\x13\x00\x16\x01\x17\x01\x06\x00\x06\x00\x26\x01\x1c\x01\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xb0\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x3b\x00\x25\x01\x12\x00\x3c\x00\x27\x01\x29\x01\x2a\x01\x13\x00\x06\x00\x2d\x01\x32\x01\x35\x01\x06\x00\x3d\x00\x3e\x00\x2b\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xbb\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x06\x00\x3f\x00\x12\x00\x76\x00\x7d\x00\x8c\x00\x40\x00\x13\x00\x87\x00\x8d\x00\x93\x00\x8e\x00\x94\x00\x95\x00\x99\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x8c\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x97\x00\x98\x00\x12\x00\xa8\x00\xa9\x00\xce\x00\x06\x00\x13\x00\x89\x00\x06\x00\x06\x00\xd6\x00\xd7\x00\x41\x00\xff\xff\x06\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x8d\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xff\xff\x4a\x00\x12\x00\x50\x00\x51\x00\x58\x00\x06\x00\x13\x00\x6e\x00\xff\xff\x6f\x00\x6d\x00\x77\x00\x76\x00\x06\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x91\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x31\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x99\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xaa\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xab\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x3e\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x41\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x51\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x17\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x18\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x1a\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x2b\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x2d\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x33\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x7d\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x81\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x85\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xab\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x67\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x58\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\xe3\x00\x00\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x00\x00\x51\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x12\x00\xe3\x00\x00\x00\x00\x00\x00\x00\x13\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xeb\x00\x00\x00\x0b\x00\x0c\x00\x82\x00\x83\x00\x84\x00\xec\x00\x11\x00\x00\x00\xfb\x00\xed\x00\xee\x00\x00\x00\xe4\x00\xe3\x00\x12\x00\x0b\x00\x0c\x00\x80\x00\xfc\x00\xe3\x00\x00\x00\xe3\x00\x00\x00\xe5\x00\xfd\x00\xe3\x00\x00\x00\xe3\x00\x00\x00\x12\x00\x0b\x00\x56\x00\xe6\x00\xe7\x00\xe3\x00\x00\x00\x00\x00\xe4\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x74\x00\xe4\x00\x12\x00\xe4\x00\x00\x00\x00\x00\xe9\x00\xe4\x00\x00\x00\xe4\x00\xe3\x00\x00\x00\xf1\x00\x12\x00\xf6\x00\xe6\x00\xe7\x00\xe3\x00\xf7\x00\x00\x00\xf8\x00\xe6\x00\xe7\x00\xe6\x00\xe7\x00\xeb\x00\x00\x00\xe6\x00\xe7\x00\xe6\x00\xe7\x00\x00\x00\xf9\x00\x00\x00\xe4\x00\x00\x00\xed\x00\xee\x00\x00\x00\x00\x00\x00\x00\xe4\x00\x00\x00\x00\x00\x00\x00\xfa\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x01\x00\x00\xe6\x00\xe7\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe6\x00\xe7\x00\xba\x00\x00\x00\xbb\x00\xbc\x00\xbd\x00\x00\x00\xbe\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xbf\x00\xc0\x00\xc1\x00\xc2\x00\x00\x00\x00\x00\xc3\x00\x00\x00\xc4\x00\xc5\x00\xc6\x00\x00\x00\xc7\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc8\x00\xc9\x00\x00\x00\xca\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# +happyTable = HappyA# "\x00\x00\x41\x00\x75\x01\x42\x00\x41\x00\xcb\xff\x42\x00\x41\x00\x41\x00\x42\x00\x42\x00\x41\x00\x41\x00\x42\x00\x42\x00\x41\x00\x5a\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x5f\x00\xdd\x01\x76\x00\x56\x00\x5a\x00\x79\x00\x72\x01\xa9\x01\xf2\x00\x51\x00\xeb\x01\xef\x01\x6f\x01\x17\x00\xb8\x01\x7c\x00\xea\x01\x70\x01\x4f\x00\x19\x00\x1a\x00\x9b\x01\x75\x01\x79\x00\xf0\x01\xf0\x01\xe9\x00\xaa\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\xab\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x34\x00\xf3\x00\xde\x00\x35\x00\x23\x00\xa6\x01\x7f\x01\xdf\x00\x80\x01\x9b\x01\x5a\x00\x06\x00\x06\x00\x06\x00\xc7\x01\x99\x00\x9a\x00\x9b\x00\x9c\x00\x12\x00\x66\x00\x5b\x00\x2d\x01\x43\x00\xe2\x00\x06\x00\x43\x00\x44\x00\x2c\x00\xca\x00\xcb\x00\x5b\x00\x95\x00\xcc\x00\xce\x00\xa7\x01\xff\xff\x15\x00\x06\x00\x16\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x17\x00\x7a\x00\xb0\x00\xb1\x00\xb2\x00\x18\x00\x19\x00\x1a\x00\x06\x00\x06\x00\x06\x00\x97\x01\x0a\x01\xa2\x00\x1b\x00\xa3\x00\x5f\x00\xb3\x00\x42\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x81\x01\x22\x00\x9d\x00\xa4\x00\x23\x00\x5b\x00\x5c\x00\x24\x00\xb8\x00\x9e\x00\x6a\x00\xa4\x01\xa5\x00\x4b\x01\x06\x00\x26\x00\x2c\x00\xd9\x01\x98\x01\x9f\x00\x45\x01\xe9\x00\x11\x01\x99\x00\x9a\x00\x9b\x00\x9c\x00\x27\x00\xd2\x01\x0a\x01\x12\x01\x28\x00\x29\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x2a\x00\x70\x00\x03\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\x51\x00\x16\x00\xd3\x01\xa5\x01\x71\x00\x72\x00\x06\x00\x17\x00\xa2\x00\x73\x00\xa3\x00\x37\x00\x18\x00\x19\x00\x1a\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x16\x01\xb8\x00\x1b\x00\xe9\x00\xa4\x00\x32\x00\x17\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xa5\x00\x22\x00\x9d\x00\x51\x00\x23\x00\x46\x00\x47\x00\x24\x00\x06\x00\x9e\x00\x25\x00\x86\x01\xb0\x00\xb1\x00\x1f\x01\x26\x00\x06\x00\xf0\x00\xd5\x01\x9f\x00\xa0\x00\x48\x00\x51\x00\xf1\x00\x20\x01\x74\x00\xb1\x01\x27\x00\x11\x01\x72\x01\xfe\x00\x28\x00\x29\x00\x5e\x00\xd0\x01\x5f\x00\x12\x01\x2a\x00\xd1\x01\x13\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\x24\x01\x16\x00\xf1\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x17\x00\xa2\x00\x06\x00\xa3\x00\xa1\x01\x18\x00\x19\x00\x1a\x00\x6b\x01\xe3\x00\x25\x01\xff\x00\x39\x01\xb3\x01\x1b\x00\x06\x00\xa4\x00\x2c\x00\xa0\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xa5\x00\x22\x00\xbb\x01\x23\x01\x23\x00\xbe\x01\x06\x00\x24\x00\xa2\x01\xd6\x01\x6a\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x26\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xfe\x00\x11\x01\x99\x00\x9a\x00\x9b\x00\x9c\x00\x27\x00\xed\x00\x95\x01\x12\x01\x28\x00\x29\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x2a\x00\x72\x01\x97\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\x24\x01\x16\x00\x60\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x17\x00\xc2\x01\xff\x00\x89\x00\xc1\x01\x18\x00\x19\x00\x1a\x00\xc9\x01\x00\x01\x25\x01\x0b\x00\x74\x00\x26\x01\x1b\x00\xb0\x00\xb1\x00\xb2\x00\x98\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x12\x00\x22\x00\x9d\x00\x99\x01\x23\x00\xb3\x00\x58\x01\x24\x00\x34\x00\xab\x01\x25\x00\x35\x00\xb0\x00\xb1\x00\x1f\x01\x26\x00\x63\x00\x31\x00\x64\x00\x7f\x01\x15\x00\x80\x01\x4e\x00\x89\x01\x20\x01\x51\x00\x21\x01\x27\x00\x17\x00\xa1\x01\x32\x00\x28\x00\x29\x00\x18\x00\x19\x00\x1a\x00\x51\x00\x2a\x00\xf2\x00\xc4\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\xf6\xff\xe7\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x8b\x01\x22\x00\x72\x01\xe8\x01\x23\x00\xa2\x01\xa3\x01\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x52\x00\xf3\x00\x88\x00\x53\x00\x1c\x01\x15\x00\x73\x01\x4e\x00\x89\x00\xf4\x00\x23\xff\x52\x00\x27\x00\x17\x00\x53\x00\x3a\x01\x28\x00\x29\x00\x18\x00\x19\x00\x1a\x00\x8d\x01\x2a\x00\x8e\x01\x77\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x79\x00\xde\x01\xa9\x01\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\xdf\x01\xe9\x01\x9f\x01\x23\x00\x4f\x00\x19\x00\x1a\x00\x8a\x01\xdc\x00\xb6\x00\xb0\x00\xb1\x00\xb2\x00\x7c\x01\xb0\x00\x56\x01\x79\x00\xb7\x00\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\xb3\x00\x0d\x01\x43\x01\x23\x00\x4f\x00\x19\x00\x1a\x00\x72\x01\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x77\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xcb\x01\x06\x01\x84\x01\x06\x01\x23\x00\xde\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x78\x01\xdc\x00\xdf\x01\xe0\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\xaa\x01\x4e\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x07\x01\x17\x00\x07\x01\x4a\x01\x54\x01\x77\x00\x18\x00\x19\x00\x1a\x00\x89\x00\xa9\x01\x5b\x01\x08\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x79\x00\x12\x00\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x0b\x00\x0c\x00\x7e\x00\x23\x00\x4f\x00\x19\x00\x1a\x00\x88\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x89\x00\x12\x00\x72\x01\x15\x00\x8a\x00\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x70\x00\x9d\x00\x5d\x01\x23\x00\x18\x00\x19\x00\x1a\x00\xce\x01\x14\x01\x84\x01\x72\x01\x51\x00\x71\x00\x72\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x6d\x01\x2e\x00\x2f\x00\x83\x01\x23\x00\x84\x01\x72\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x31\x01\x11\x00\xfb\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x79\x00\x12\x00\x4e\x00\x87\x01\x9d\x01\x84\x01\x13\x00\x60\x00\x17\x00\x32\x01\xfd\x00\x35\x00\x36\x00\x4f\x00\x19\x00\x1a\x00\x91\x00\x75\x01\x92\x00\x76\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x4d\x00\xe3\x00\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x79\x01\xea\x00\xf5\x00\x23\x00\x4f\x00\x19\x00\x1a\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x33\x01\xa5\x00\x38\x01\xae\x00\x15\x00\x3b\x01\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\xeb\x00\xcf\x00\xe3\x00\x23\x00\x18\x00\x19\x00\x1a\x00\x94\x01\xb8\x00\xd0\x00\xd1\x00\xed\x00\xee\x00\xd2\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xd3\x00\xd4\x00\xe4\x00\x38\x00\x23\x00\x39\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x4f\x01\x11\x00\x8f\x01\x48\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x12\x00\x59\x00\xe6\x00\xe7\x00\x62\x00\x13\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xf3\x01\x06\x00\xf4\x01\x50\x01\xb6\x01\xed\x01\xe2\x01\xee\x01\xe3\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\xa2\x00\x88\x00\xa3\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x89\x00\xe4\x01\xe7\x01\xe5\x01\x16\x01\x47\xff\xe6\x01\x2b\x00\xa4\x00\xdc\x01\x17\x01\xdd\x01\x47\xff\x47\xff\x06\x00\x51\x00\x47\xff\xa5\x00\xaf\x00\x9a\x00\x9b\x00\x9c\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x4f\x01\x11\x00\xcb\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xcd\x01\x12\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x13\x00\xfb\x00\x06\x00\xd9\x01\x99\x00\x9a\x00\x9b\x00\x9c\x00\xd8\x01\x50\x01\x51\x01\xfc\x00\x9d\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\xfd\x00\x29\xff\x70\x01\x52\x00\x29\xff\x60\x01\x53\x00\x6b\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\xce\x01\xba\x01\x77\x00\xbb\x01\xc0\x01\xb0\x00\xb1\x00\xb2\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x5f\x00\x11\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\xe3\x00\xb3\x00\xb4\x00\x12\x00\xbd\x01\x9d\x00\xbe\x01\x06\x00\x13\x00\x60\x00\xc4\x01\x61\x00\x14\x01\x9d\x00\xd5\x01\xba\x00\xc7\x01\xbb\x00\xbc\x00\xbd\x00\x2a\x01\xbe\x00\xb0\x00\xb1\x00\xb2\x01\xc6\x01\x06\x00\xc9\x01\x83\x01\xbf\x00\xc0\x00\xc1\x00\xc2\x00\xeb\x00\x86\x01\xc3\x00\x06\x00\xc4\x00\xc5\x00\xc6\x00\x67\x01\xc7\x00\x06\x00\x89\x01\xed\x00\xee\x00\xc8\x00\xc9\x00\xba\x00\xca\x00\xbb\x00\xbc\x00\xbd\x00\x53\x01\xbe\x00\x66\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x06\x00\x8f\x01\xbf\x00\xc0\x00\xc1\x00\xc2\x00\x91\x01\xad\x01\xc3\x00\x94\x01\xc4\x00\xc5\x00\xc6\x00\x06\x00\xc7\x00\x9d\x01\xae\x01\x06\x00\xaf\x01\xc8\x00\xc9\x00\x06\x00\xca\x00\x66\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xb5\x01\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x40\x01\x3e\x01\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x3f\x01\x41\x01\x47\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x67\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x06\x00\x48\x01\x12\x00\x49\x01\x4c\x01\x5b\x00\xb8\x01\x13\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x4d\x01\x4f\x01\x06\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x67\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x8e\x00\x5a\x01\x12\x00\xb0\x00\x57\x01\x5b\x00\x68\x00\x13\x00\x35\x01\x4e\x01\x5b\x01\x06\x00\x5d\x01\x3c\x01\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\x52\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x8e\x00\x12\x00\x0c\x01\x9a\x00\x9b\x00\x9c\x00\x13\x00\x5f\x01\x8f\x00\x61\x01\x63\x01\x62\x01\x64\x01\x66\x01\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\x0b\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x52\x00\x12\x00\x65\x01\x53\x00\x6b\x00\x67\x01\x13\x00\x6a\x01\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x6c\x01\x6b\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\xad\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x6d\x01\x12\x00\x06\x00\xb0\x00\xb1\x00\x22\x01\x13\x00\x8a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x72\x01\x06\x00\x7b\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\xb7\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x4b\x00\x12\x00\x7c\x01\x7e\x01\x82\x01\xd8\x00\x13\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xe2\x00\xe0\x00\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xda\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x56\x00\x12\x00\xe1\x00\x06\x00\x0b\x01\x0f\x01\x13\x00\x10\x01\x14\x01\x92\x00\x19\x01\x51\x00\x18\x01\x12\x00\x1a\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xd1\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x56\x00\x12\x00\x06\x00\x1f\x01\x06\x00\x28\x01\x13\x00\x29\x01\x2a\x01\x2c\x01\x2d\x01\x51\x00\x30\x01\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xb5\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x52\x00\x35\x01\x12\x00\x53\x00\xa6\x00\x06\x00\x38\x01\x13\x00\x2b\x00\x06\x00\x06\x00\x76\x00\x6a\x00\x7d\x00\x8c\x00\x87\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xc0\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x52\x00\x8e\x00\x12\x00\x53\x00\x54\x00\x8d\x00\x93\x00\x13\x00\x94\x00\x95\x00\x98\x00\x97\x00\x99\x00\x06\x00\xa8\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x91\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x52\x00\xa9\x00\x12\x00\x53\x00\x6b\x00\xce\x00\x89\x00\x13\x00\x06\x00\x06\x00\xd6\x00\xd7\x00\x41\x00\xff\xff\x06\x00\xd8\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x92\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xff\xff\xd9\x00\x12\x00\xda\x00\x4a\x00\x50\x00\x51\x00\x13\x00\x58\x00\xdb\x00\xdc\x00\x06\x00\x6d\x00\x6e\x00\x76\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x96\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x3b\x00\xff\xff\x12\x00\x3c\x00\x6f\x00\x77\x00\x06\x00\x13\x00\x31\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3d\x00\x3e\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x9e\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x3f\x00\x12\x00\x00\x00\x00\x00\x00\x00\x40\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xaf\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xb0\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x41\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x44\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x55\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x1a\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x1b\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x1d\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x2e\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x30\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x36\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x7d\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x81\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x85\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xab\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x67\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x58\x00\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\xe3\x00\x00\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x00\x00\x00\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x12\x00\x00\x00\xe3\x00\x00\x00\x00\x00\x13\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xeb\x00\x00\x00\x0b\x00\x0c\x00\x82\x00\x83\x00\x84\x00\x68\x01\x11\x00\x00\x00\x00\x00\xed\x00\xee\x00\x00\x00\xe3\x00\xe4\x00\x12\x00\x0b\x00\x0c\x00\x7f\x00\xe3\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe5\x00\xe3\x00\x00\x00\x00\x00\x00\x00\x12\x00\x0b\x00\x0c\x00\x80\x00\xe6\x00\xe7\x00\x00\x00\xe4\x00\xe3\x00\x00\x00\x00\x00\xe3\x00\x0b\x00\x74\x00\xe3\x00\x12\x00\x00\x00\xe3\x00\xe9\x00\x00\x00\xe4\x00\x00\x00\xeb\x00\x00\x00\x00\x00\x00\x00\x12\x00\xe6\x00\xe7\x00\xec\x00\xe3\x00\xf1\x00\xe4\x00\xed\x00\xee\x00\xe4\x00\xe3\x00\x00\x00\xe4\x00\x02\x01\xe6\x00\xe7\x00\x00\x00\xf6\x00\x00\x00\x00\x00\xf7\x00\x00\x00\x00\x00\xf8\x00\xeb\x00\x00\x00\xe6\x00\xe7\x00\xe4\x00\xe6\x00\xe7\x00\xf9\x00\xe6\x00\xe7\x00\xe4\x00\xed\x00\xee\x00\x00\x00\x00\x00\xfa\x00\xfb\x00\x03\x01\x00\x00\x00\x00\x00\x00\x01\x01\x00\x00\x00\x00\xe6\x00\xe7\x00\x04\x01\x05\x01\x00\x00\x00\x00\xe6\x00\xe7\x00\xfd\x00\xba\x00\x00\x00\xbb\x00\xbc\x00\xbd\x00\x00\x00\xbe\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xbf\x00\xc0\x00\xc1\x00\xc2\x00\x00\x00\x00\x00\xc3\x00\x00\x00\xc4\x00\xc5\x00\xc6\x00\x00\x00\xc7\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc8\x00\xc9\x00\x00\x00\xca\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# -happyReduceArr = array (4, 251) [ +happyReduceArr = array (4, 254) [ (4 , happyReduce_4), (5 , happyReduce_5), (6 , happyReduce_6), @@ -788,7 +788,10 @@ happyReduceArr = array (4, 251) [ (248 , happyReduce_248), (249 , happyReduce_249), (250 , happyReduce_250), - (251 , happyReduce_251) + (251 , happyReduce_251), + (252 , happyReduce_252), + (253 , happyReduce_253), + (254 , happyReduce_254) ] happy_n_terms = 83 :: Int @@ -2527,15 +2530,33 @@ happyReduction_194 (happy_x_4 `HappyStk` (PQC happy_var_1 happy_var_3 happy_var_4 ) `HappyStk` happyRest}}} -happyReduce_195 = happySpecReduce_1 58# happyReduction_195 -happyReduction_195 happy_x_1 +happyReduce_195 = happySpecReduce_2 58# happyReduction_195 +happyReduction_195 happy_x_2 + happy_x_1 + = case happyOut64 happy_x_1 of { happy_var_1 -> + happyIn65 + (PRep happy_var_1 + )} + +happyReduce_196 = happySpecReduce_3 58# happyReduction_196 +happyReduction_196 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut7 happy_x_1 of { happy_var_1 -> + case happyOut64 happy_x_3 of { happy_var_3 -> + happyIn65 + (PAs happy_var_1 happy_var_3 + )}} + +happyReduce_197 = happySpecReduce_1 58# happyReduction_197 +happyReduction_197 happy_x_1 = case happyOut64 happy_x_1 of { happy_var_1 -> happyIn65 (happy_var_1 )} -happyReduce_196 = happySpecReduce_3 59# happyReduction_196 -happyReduction_196 happy_x_3 +happyReduce_198 = happySpecReduce_3 59# happyReduction_198 +happyReduction_198 happy_x_3 happy_x_2 happy_x_1 = case happyOut66 happy_x_1 of { happy_var_1 -> @@ -2544,15 +2565,25 @@ happyReduction_196 happy_x_3 (PDisj happy_var_1 happy_var_3 )}} -happyReduce_197 = happySpecReduce_1 59# happyReduction_197 -happyReduction_197 happy_x_1 +happyReduce_199 = happySpecReduce_3 59# happyReduction_199 +happyReduction_199 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut66 happy_x_1 of { happy_var_1 -> + case happyOut65 happy_x_3 of { happy_var_3 -> + happyIn66 + (PSeq happy_var_1 happy_var_3 + )}} + +happyReduce_200 = happySpecReduce_1 59# happyReduction_200 +happyReduction_200 happy_x_1 = case happyOut65 happy_x_1 of { happy_var_1 -> happyIn66 (happy_var_1 )} -happyReduce_198 = happySpecReduce_3 60# happyReduction_198 -happyReduction_198 happy_x_3 +happyReduce_201 = happySpecReduce_3 60# happyReduction_201 +happyReduction_201 happy_x_3 happy_x_2 happy_x_1 = case happyOut50 happy_x_1 of { happy_var_1 -> @@ -2561,65 +2592,65 @@ happyReduction_198 happy_x_3 (PA happy_var_1 happy_var_3 )}} -happyReduce_199 = happySpecReduce_1 61# happyReduction_199 -happyReduction_199 happy_x_1 +happyReduce_202 = happySpecReduce_1 61# happyReduction_202 +happyReduction_202 happy_x_1 = case happyOut7 happy_x_1 of { happy_var_1 -> happyIn68 (LIdent happy_var_1 )} -happyReduce_200 = happySpecReduce_2 61# happyReduction_200 -happyReduction_200 happy_x_2 +happyReduce_203 = happySpecReduce_2 61# happyReduction_203 +happyReduction_203 happy_x_2 happy_x_1 = case happyOut8 happy_x_2 of { happy_var_2 -> happyIn68 (LVar happy_var_2 )} -happyReduce_201 = happySpecReduce_1 62# happyReduction_201 -happyReduction_201 happy_x_1 - = happyIn69 - (Sort_Type - ) - -happyReduce_202 = happySpecReduce_1 62# happyReduction_202 -happyReduction_202 happy_x_1 - = happyIn69 - (Sort_PType - ) - -happyReduce_203 = happySpecReduce_1 62# happyReduction_203 -happyReduction_203 happy_x_1 - = happyIn69 - (Sort_Tok - ) - happyReduce_204 = happySpecReduce_1 62# happyReduction_204 happyReduction_204 happy_x_1 = happyIn69 - (Sort_Str + (Sort_Type ) happyReduce_205 = happySpecReduce_1 62# happyReduction_205 happyReduction_205 happy_x_1 + = happyIn69 + (Sort_PType + ) + +happyReduce_206 = happySpecReduce_1 62# happyReduction_206 +happyReduction_206 happy_x_1 + = happyIn69 + (Sort_Tok + ) + +happyReduce_207 = happySpecReduce_1 62# happyReduction_207 +happyReduction_207 happy_x_1 + = happyIn69 + (Sort_Str + ) + +happyReduce_208 = happySpecReduce_1 62# happyReduction_208 +happyReduction_208 happy_x_1 = happyIn69 (Sort_Strs ) -happyReduce_206 = happySpecReduce_0 63# happyReduction_206 -happyReduction_206 = happyIn70 +happyReduce_209 = happySpecReduce_0 63# happyReduction_209 +happyReduction_209 = happyIn70 ([] ) -happyReduce_207 = happySpecReduce_1 63# happyReduction_207 -happyReduction_207 happy_x_1 +happyReduce_210 = happySpecReduce_1 63# happyReduction_210 +happyReduction_210 happy_x_1 = case happyOut67 happy_x_1 of { happy_var_1 -> happyIn70 ((:[]) happy_var_1 )} -happyReduce_208 = happySpecReduce_3 63# happyReduction_208 -happyReduction_208 happy_x_3 +happyReduce_211 = happySpecReduce_3 63# happyReduction_211 +happyReduction_211 happy_x_3 happy_x_2 happy_x_1 = case happyOut67 happy_x_1 of { happy_var_1 -> @@ -2628,15 +2659,15 @@ happyReduction_208 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_209 = happySpecReduce_1 64# happyReduction_209 -happyReduction_209 happy_x_1 +happyReduce_212 = happySpecReduce_1 64# happyReduction_212 +happyReduction_212 happy_x_1 = case happyOut64 happy_x_1 of { happy_var_1 -> happyIn71 ((:[]) happy_var_1 )} -happyReduce_210 = happySpecReduce_2 64# happyReduction_210 -happyReduction_210 happy_x_2 +happyReduce_213 = happySpecReduce_2 64# happyReduction_213 +happyReduction_213 happy_x_2 happy_x_1 = case happyOut64 happy_x_1 of { happy_var_1 -> case happyOut71 happy_x_2 of { happy_var_2 -> @@ -2644,33 +2675,33 @@ happyReduction_210 happy_x_2 ((:) happy_var_1 happy_var_2 )}} -happyReduce_211 = happySpecReduce_1 65# happyReduction_211 -happyReduction_211 happy_x_1 +happyReduce_214 = happySpecReduce_1 65# happyReduction_214 +happyReduction_214 happy_x_1 = case happyOut7 happy_x_1 of { happy_var_1 -> happyIn72 (BIdent happy_var_1 )} -happyReduce_212 = happySpecReduce_1 65# happyReduction_212 -happyReduction_212 happy_x_1 +happyReduce_215 = happySpecReduce_1 65# happyReduction_215 +happyReduction_215 happy_x_1 = happyIn72 (BWild ) -happyReduce_213 = happySpecReduce_0 66# happyReduction_213 -happyReduction_213 = happyIn73 +happyReduce_216 = happySpecReduce_0 66# happyReduction_216 +happyReduction_216 = happyIn73 ([] ) -happyReduce_214 = happySpecReduce_1 66# happyReduction_214 -happyReduction_214 happy_x_1 +happyReduce_217 = happySpecReduce_1 66# happyReduction_217 +happyReduction_217 happy_x_1 = case happyOut72 happy_x_1 of { happy_var_1 -> happyIn73 ((:[]) happy_var_1 )} -happyReduce_215 = happySpecReduce_3 66# happyReduction_215 -happyReduction_215 happy_x_3 +happyReduce_218 = happySpecReduce_3 66# happyReduction_218 +happyReduction_218 happy_x_3 happy_x_2 happy_x_1 = case happyOut72 happy_x_1 of { happy_var_1 -> @@ -2679,8 +2710,8 @@ happyReduction_215 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_216 = happyReduce 5# 67# happyReduction_216 -happyReduction_216 (happy_x_5 `HappyStk` +happyReduce_219 = happyReduce 5# 67# happyReduction_219 +happyReduction_219 (happy_x_5 `HappyStk` happy_x_4 `HappyStk` happy_x_3 `HappyStk` happy_x_2 `HappyStk` @@ -2692,41 +2723,41 @@ happyReduction_216 (happy_x_5 `HappyStk` (DDec happy_var_2 happy_var_4 ) `HappyStk` happyRest}} -happyReduce_217 = happySpecReduce_1 67# happyReduction_217 -happyReduction_217 happy_x_1 +happyReduce_220 = happySpecReduce_1 67# happyReduction_220 +happyReduction_220 happy_x_1 = case happyOut57 happy_x_1 of { happy_var_1 -> happyIn74 (DExp happy_var_1 )} -happyReduce_218 = happySpecReduce_1 68# happyReduction_218 -happyReduction_218 happy_x_1 +happyReduce_221 = happySpecReduce_1 68# happyReduction_221 +happyReduction_221 happy_x_1 = case happyOut60 happy_x_1 of { happy_var_1 -> happyIn75 (TComp happy_var_1 )} -happyReduce_219 = happySpecReduce_1 69# happyReduction_219 -happyReduction_219 happy_x_1 +happyReduce_222 = happySpecReduce_1 69# happyReduction_222 +happyReduction_222 happy_x_1 = case happyOut66 happy_x_1 of { happy_var_1 -> happyIn76 (PTComp happy_var_1 )} -happyReduce_220 = happySpecReduce_0 70# happyReduction_220 -happyReduction_220 = happyIn77 +happyReduce_223 = happySpecReduce_0 70# happyReduction_223 +happyReduction_223 = happyIn77 ([] ) -happyReduce_221 = happySpecReduce_1 70# happyReduction_221 -happyReduction_221 happy_x_1 +happyReduce_224 = happySpecReduce_1 70# happyReduction_224 +happyReduction_224 happy_x_1 = case happyOut75 happy_x_1 of { happy_var_1 -> happyIn77 ((:[]) happy_var_1 )} -happyReduce_222 = happySpecReduce_3 70# happyReduction_222 -happyReduction_222 happy_x_3 +happyReduce_225 = happySpecReduce_3 70# happyReduction_225 +happyReduction_225 happy_x_3 happy_x_2 happy_x_1 = case happyOut75 happy_x_1 of { happy_var_1 -> @@ -2735,20 +2766,20 @@ happyReduction_222 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_223 = happySpecReduce_0 71# happyReduction_223 -happyReduction_223 = happyIn78 +happyReduce_226 = happySpecReduce_0 71# happyReduction_226 +happyReduction_226 = happyIn78 ([] ) -happyReduce_224 = happySpecReduce_1 71# happyReduction_224 -happyReduction_224 happy_x_1 +happyReduce_227 = happySpecReduce_1 71# happyReduction_227 +happyReduction_227 happy_x_1 = case happyOut76 happy_x_1 of { happy_var_1 -> happyIn78 ((:[]) happy_var_1 )} -happyReduce_225 = happySpecReduce_3 71# happyReduction_225 -happyReduction_225 happy_x_3 +happyReduce_228 = happySpecReduce_3 71# happyReduction_228 +happyReduction_228 happy_x_3 happy_x_2 happy_x_1 = case happyOut76 happy_x_1 of { happy_var_1 -> @@ -2757,8 +2788,8 @@ happyReduction_225 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_226 = happySpecReduce_3 72# happyReduction_226 -happyReduction_226 happy_x_3 +happyReduce_229 = happySpecReduce_3 72# happyReduction_229 +happyReduction_229 happy_x_3 happy_x_2 happy_x_1 = case happyOut66 happy_x_1 of { happy_var_1 -> @@ -2767,15 +2798,15 @@ happyReduction_226 happy_x_3 (Case happy_var_1 happy_var_3 )}} -happyReduce_227 = happySpecReduce_1 73# happyReduction_227 -happyReduction_227 happy_x_1 +happyReduce_230 = happySpecReduce_1 73# happyReduction_230 +happyReduction_230 happy_x_1 = case happyOut79 happy_x_1 of { happy_var_1 -> happyIn80 ((:[]) happy_var_1 )} -happyReduce_228 = happySpecReduce_3 73# happyReduction_228 -happyReduction_228 happy_x_3 +happyReduce_231 = happySpecReduce_3 73# happyReduction_231 +happyReduction_231 happy_x_3 happy_x_2 happy_x_1 = case happyOut79 happy_x_1 of { happy_var_1 -> @@ -2784,8 +2815,8 @@ happyReduction_228 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_229 = happySpecReduce_3 74# happyReduction_229 -happyReduction_229 happy_x_3 +happyReduce_232 = happySpecReduce_3 74# happyReduction_232 +happyReduction_232 happy_x_3 happy_x_2 happy_x_1 = case happyOut71 happy_x_1 of { happy_var_1 -> @@ -2794,20 +2825,20 @@ happyReduction_229 happy_x_3 (Equ happy_var_1 happy_var_3 )}} -happyReduce_230 = happySpecReduce_0 75# happyReduction_230 -happyReduction_230 = happyIn82 +happyReduce_233 = happySpecReduce_0 75# happyReduction_233 +happyReduction_233 = happyIn82 ([] ) -happyReduce_231 = happySpecReduce_1 75# happyReduction_231 -happyReduction_231 happy_x_1 +happyReduce_234 = happySpecReduce_1 75# happyReduction_234 +happyReduction_234 happy_x_1 = case happyOut81 happy_x_1 of { happy_var_1 -> happyIn82 ((:[]) happy_var_1 )} -happyReduce_232 = happySpecReduce_3 75# happyReduction_232 -happyReduction_232 happy_x_3 +happyReduce_235 = happySpecReduce_3 75# happyReduction_235 +happyReduction_235 happy_x_3 happy_x_2 happy_x_1 = case happyOut81 happy_x_1 of { happy_var_1 -> @@ -2816,8 +2847,8 @@ happyReduction_232 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_233 = happySpecReduce_3 76# happyReduction_233 -happyReduction_233 happy_x_3 +happyReduce_236 = happySpecReduce_3 76# happyReduction_236 +happyReduction_236 happy_x_3 happy_x_2 happy_x_1 = case happyOut60 happy_x_1 of { happy_var_1 -> @@ -2826,20 +2857,20 @@ happyReduction_233 happy_x_3 (Alt happy_var_1 happy_var_3 )}} -happyReduce_234 = happySpecReduce_0 77# happyReduction_234 -happyReduction_234 = happyIn84 +happyReduce_237 = happySpecReduce_0 77# happyReduction_237 +happyReduction_237 = happyIn84 ([] ) -happyReduce_235 = happySpecReduce_1 77# happyReduction_235 -happyReduction_235 happy_x_1 +happyReduce_238 = happySpecReduce_1 77# happyReduction_238 +happyReduction_238 happy_x_1 = case happyOut83 happy_x_1 of { happy_var_1 -> happyIn84 ((:[]) happy_var_1 )} -happyReduce_236 = happySpecReduce_3 77# happyReduction_236 -happyReduction_236 happy_x_3 +happyReduce_239 = happySpecReduce_3 77# happyReduction_239 +happyReduction_239 happy_x_3 happy_x_2 happy_x_1 = case happyOut83 happy_x_1 of { happy_var_1 -> @@ -2848,8 +2879,8 @@ happyReduction_236 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_237 = happyReduce 5# 78# happyReduction_237 -happyReduction_237 (happy_x_5 `HappyStk` +happyReduce_240 = happyReduce 5# 78# happyReduction_240 +happyReduction_240 (happy_x_5 `HappyStk` happy_x_4 `HappyStk` happy_x_3 `HappyStk` happy_x_2 `HappyStk` @@ -2861,20 +2892,20 @@ happyReduction_237 (happy_x_5 `HappyStk` (DDDec happy_var_2 happy_var_4 ) `HappyStk` happyRest}} -happyReduce_238 = happySpecReduce_1 78# happyReduction_238 -happyReduction_238 happy_x_1 +happyReduce_241 = happySpecReduce_1 78# happyReduction_241 +happyReduction_241 happy_x_1 = case happyOut55 happy_x_1 of { happy_var_1 -> happyIn85 (DDExp happy_var_1 )} -happyReduce_239 = happySpecReduce_0 79# happyReduction_239 -happyReduction_239 = happyIn86 +happyReduce_242 = happySpecReduce_0 79# happyReduction_242 +happyReduction_242 = happyIn86 ([] ) -happyReduce_240 = happySpecReduce_2 79# happyReduction_240 -happyReduction_240 happy_x_2 +happyReduce_243 = happySpecReduce_2 79# happyReduction_243 +happyReduction_243 happy_x_2 happy_x_1 = case happyOut86 happy_x_1 of { happy_var_1 -> case happyOut85 happy_x_2 of { happy_var_2 -> @@ -2882,8 +2913,8 @@ happyReduction_240 happy_x_2 (flip (:) happy_var_1 happy_var_2 )}} -happyReduce_241 = happySpecReduce_2 80# happyReduction_241 -happyReduction_241 happy_x_2 +happyReduce_244 = happySpecReduce_2 80# happyReduction_244 +happyReduction_244 happy_x_2 happy_x_1 = case happyOut88 happy_x_1 of { happy_var_1 -> case happyOut22 happy_x_2 of { happy_var_2 -> @@ -2891,59 +2922,59 @@ happyReduction_241 happy_x_2 (OldGr happy_var_1 (reverse happy_var_2) )}} -happyReduce_242 = happySpecReduce_0 81# happyReduction_242 -happyReduction_242 = happyIn88 +happyReduce_245 = happySpecReduce_0 81# happyReduction_245 +happyReduction_245 = happyIn88 (NoIncl ) -happyReduce_243 = happySpecReduce_2 81# happyReduction_243 -happyReduction_243 happy_x_2 +happyReduce_246 = happySpecReduce_2 81# happyReduction_246 +happyReduction_246 happy_x_2 happy_x_1 = case happyOut90 happy_x_2 of { happy_var_2 -> happyIn88 (Incl happy_var_2 )} -happyReduce_244 = happySpecReduce_1 82# happyReduction_244 -happyReduction_244 happy_x_1 +happyReduce_247 = happySpecReduce_1 82# happyReduction_247 +happyReduction_247 happy_x_1 = case happyOut9 happy_x_1 of { happy_var_1 -> happyIn89 (FString happy_var_1 )} -happyReduce_245 = happySpecReduce_1 82# happyReduction_245 -happyReduction_245 happy_x_1 +happyReduce_248 = happySpecReduce_1 82# happyReduction_248 +happyReduction_248 happy_x_1 = case happyOut7 happy_x_1 of { happy_var_1 -> happyIn89 (FIdent happy_var_1 )} -happyReduce_246 = happySpecReduce_2 82# happyReduction_246 -happyReduction_246 happy_x_2 +happyReduce_249 = happySpecReduce_2 82# happyReduction_249 +happyReduction_249 happy_x_2 happy_x_1 = case happyOut89 happy_x_2 of { happy_var_2 -> happyIn89 (FSlash happy_var_2 )} -happyReduce_247 = happySpecReduce_2 82# happyReduction_247 -happyReduction_247 happy_x_2 +happyReduce_250 = happySpecReduce_2 82# happyReduction_250 +happyReduction_250 happy_x_2 happy_x_1 = case happyOut89 happy_x_2 of { happy_var_2 -> happyIn89 (FDot happy_var_2 )} -happyReduce_248 = happySpecReduce_2 82# happyReduction_248 -happyReduction_248 happy_x_2 +happyReduce_251 = happySpecReduce_2 82# happyReduction_251 +happyReduction_251 happy_x_2 happy_x_1 = case happyOut89 happy_x_2 of { happy_var_2 -> happyIn89 (FMinus happy_var_2 )} -happyReduce_249 = happySpecReduce_2 82# happyReduction_249 -happyReduction_249 happy_x_2 +happyReduce_252 = happySpecReduce_2 82# happyReduction_252 +happyReduction_252 happy_x_2 happy_x_1 = case happyOut7 happy_x_1 of { happy_var_1 -> case happyOut89 happy_x_2 of { happy_var_2 -> @@ -2951,16 +2982,16 @@ happyReduction_249 happy_x_2 (FAddId happy_var_1 happy_var_2 )}} -happyReduce_250 = happySpecReduce_2 83# happyReduction_250 -happyReduction_250 happy_x_2 +happyReduce_253 = happySpecReduce_2 83# happyReduction_253 +happyReduction_253 happy_x_2 happy_x_1 = case happyOut89 happy_x_1 of { happy_var_1 -> happyIn90 ((:[]) happy_var_1 )} -happyReduce_251 = happySpecReduce_3 83# happyReduction_251 -happyReduction_251 happy_x_3 +happyReduce_254 = happySpecReduce_3 83# happyReduction_254 +happyReduction_254 happy_x_3 happy_x_2 happy_x_1 = case happyOut89 happy_x_1 of { happy_var_1 -> diff --git a/src/GF/Source/ParGF.y b/src/GF/Source/ParGF.y index 5fb0194eb..3399c0862 100644 --- a/src/GF/Source/ParGF.y +++ b/src/GF/Source/ParGF.y @@ -1,10 +1,9 @@ -- This Happy file was machine-generated by the BNF converter { -module GF.Source.ParGF where -- H -import GF.Source.AbsGF -- H -import GF.Source.LexGF -- H -import GF.Infra.Ident -- H -import GF.Data.ErrM -- H +module ParGF where +import AbsGF +import LexGF +import ErrM } %name pGrammar Grammar @@ -29,6 +28,7 @@ import GF.Data.ErrM -- H ',' { PT _ (TS ",") } '[' { PT _ (TS "[") } ']' { PT _ (TS "]") } + '-' { PT _ (TS "-") } '.' { PT _ (TS ".") } '|' { PT _ (TS "|") } '%' { PT _ (TS "%") } @@ -38,14 +38,13 @@ import GF.Data.ErrM -- H '@' { PT _ (TS "@") } '!' { PT _ (TS "!") } '*' { PT _ (TS "*") } + '+' { PT _ (TS "+") } + '++' { PT _ (TS "++") } '\\' { PT _ (TS "\\") } '=>' { PT _ (TS "=>") } - '++' { PT _ (TS "++") } - '+' { PT _ (TS "+") } '_' { PT _ (TS "_") } '$' { PT _ (TS "$") } '/' { PT _ (TS "/") } - '-' { PT _ (TS "-") } 'Lin' { PT _ (TS "Lin") } 'PType' { PT _ (TS "PType") } 'Str' { PT _ (TS "Str") } @@ -96,15 +95,17 @@ import GF.Data.ErrM -- H L_ident { PT _ (TV $$) } L_integ { PT _ (TI $$) } L_quoted { PT _ (TL $$) } +L_doubl { PT _ (TD $$) } L_LString { PT _ (T_LString $$) } L_err { _ } %% -Ident :: { Ident } : L_ident { identC $1 } -- H +Ident :: { Ident } : L_ident { Ident $1 } Integer :: { Integer } : L_integ { (read $1) :: Integer } String :: { String } : L_quoted { $1 } +Double :: { Double } : L_doubl { (read $1) :: Double } LString :: { LString} : L_LString { LString ($1)} Grammar :: { Grammar } @@ -158,7 +159,7 @@ ModType : 'abstract' Ident { MTAbstract $2 } ModBody :: { ModBody } ModBody : Extend Opens '{' ListTopDef '}' { MBody $1 $2 (reverse $4) } | Ident 'with' ListOpen { MWith $1 $3 } - | ListIdent '**' Ident 'with' ListOpen { MWithE $1 $3 $5 } + | ListIncluded '**' Ident 'with' ListOpen { MWithE $1 $3 $5 } | 'reuse' Ident { MReuse $2 } | 'union' ListIncluded { MUnion $2 } @@ -169,7 +170,7 @@ ListTopDef : {- empty -} { [] } Extend :: { Extend } -Extend : ListIdent '**' { Ext $1 } +Extend : ListIncluded '**' { Ext $1 } | {- empty -} { NoExt } @@ -210,6 +211,7 @@ ListIncluded : {- empty -} { [] } Included :: { Included } Included : Ident { IAll $1 } | Ident '[' ListIdent ']' { ISome $1 $3 } + | Ident '-' '[' ListIdent ']' { IMinus $1 $4 } Def :: { Def } @@ -353,13 +355,14 @@ ListLocDef : {- empty -} { [] } | LocDef ';' ListLocDef { (:) $1 $3 } -Exp4 :: { Exp } -Exp4 : Ident { EIdent $1 } +Exp6 :: { Exp } +Exp6 : Ident { EIdent $1 } | '{' Ident '}' { EConstr $2 } | '%' Ident '%' { ECons $2 } | Sort { ESort $1 } | String { EString $1 } | Integer { EInt $1 } + | Double { EFloat $1 } | '?' { EMeta } | '[' ']' { EEmpty } | 'data' { EData } @@ -373,48 +376,57 @@ Exp4 : Ident { EIdent $1 } | LString { ELString $1 } -Exp3 :: { Exp } -Exp3 : Exp3 '.' Label { EProj $1 $3 } +Exp5 :: { Exp } +Exp5 : Exp5 '.' Label { EProj $1 $3 } | '{' Ident '.' Ident '}' { EQConstr $2 $4 } - | '%' Ident '.' Ident '%' { EQCons $2 $4 } - | Exp4 { $1 } + | '%' Ident '.' Ident { EQCons $2 $4 } + | Exp6 { $1 } -Exp2 :: { Exp } -Exp2 : Exp2 Exp3 { EApp $1 $2 } +Exp4 :: { Exp } +Exp4 : Exp4 Exp5 { EApp $1 $2 } | 'table' '{' ListCase '}' { ETable $3 } - | 'table' Exp4 '{' ListCase '}' { ETTable $2 $4 } - | 'table' Exp4 '[' ListExp ']' { EVTable $2 $4 } + | 'table' Exp6 '{' ListCase '}' { ETTable $2 $4 } + | 'table' Exp6 '[' ListExp ']' { EVTable $2 $4 } | 'case' Exp 'of' '{' ListCase '}' { ECase $2 $5 } | 'variants' '{' ListExp '}' { EVariants $3 } | 'pre' '{' Exp ';' ListAltern '}' { EPre $3 $5 } | 'strs' '{' ListExp '}' { EStrs $3 } - | Ident '@' Exp4 { EConAt $1 $3 } - | Exp3 { $1 } + | Ident '@' Exp6 { EConAt $1 $3 } + | Exp5 { $1 } | 'Lin' Ident { ELin $2 } +Exp3 :: { Exp } +Exp3 : Exp3 '!' Exp4 { ESelect $1 $3 } + | Exp3 '*' Exp4 { ETupTyp $1 $3 } + | Exp3 '**' Exp4 { EExtend $1 $3 } + | Exp4 { $1 } + + Exp1 :: { Exp } -Exp1 : Exp1 '!' Exp2 { ESelect $1 $3 } - | Exp1 '*' Exp2 { ETupTyp $1 $3 } - | Exp1 '**' Exp2 { EExtend $1 $3 } +Exp1 : Exp2 '+' Exp1 { EGlue $1 $3 } | Exp2 { $1 } Exp :: { Exp } -Exp : '\\' ListBind '->' Exp { EAbstr $2 $4 } +Exp : Exp1 '++' Exp { EConcat $1 $3 } + | '\\' ListBind '->' Exp { EAbstr $2 $4 } | '\\' '\\' ListBind '=>' Exp { ECTable $3 $5 } | Decl '->' Exp { EProd $1 $3 } - | Exp1 '=>' Exp { ETType $1 $3 } - | Exp1 '++' Exp { EConcat $1 $3 } - | Exp1 '+' Exp { EGlue $1 $3 } + | Exp3 '=>' Exp { ETType $1 $3 } | 'let' '{' ListLocDef '}' 'in' Exp { ELet $3 $6 } | 'let' ListLocDef 'in' Exp { ELetb $2 $4 } - | Exp1 'where' '{' ListLocDef '}' { EWhere $1 $4 } + | Exp3 'where' '{' ListLocDef '}' { EWhere $1 $4 } | 'fn' '{' ListEquation '}' { EEqs $3 } + | 'in' Exp5 String { EExample $2 $3 } | Exp1 { $1 } +Exp2 :: { Exp } +Exp2 : Exp3 { $1 } + + ListExp :: { [Exp] } ListExp : {- empty -} { [] } | Exp { (:[]) $1 } @@ -423,24 +435,33 @@ ListExp : {- empty -} { [] } Exps :: { Exps } Exps : {- empty -} { NilExp } - | Exp4 Exps { ConsExp $1 $2 } + | Exp6 Exps { ConsExp $1 $2 } -Patt1 :: { Patt } -Patt1 : '_' { PW } +Patt2 :: { Patt } +Patt2 : '_' { PW } | Ident { PV $1 } | '{' Ident '}' { PCon $2 } | Ident '.' Ident { PQ $1 $3 } | Integer { PInt $1 } + | Double { PFloat $1 } | String { PStr $1 } | '{' ListPattAss '}' { PR $2 } | '<' ListPattTupleComp '>' { PTup $2 } | '(' Patt ')' { $2 } -Patt :: { Patt } -Patt : Ident ListPatt { PC $1 $2 } +Patt1 :: { Patt } +Patt1 : Ident ListPatt { PC $1 $2 } | Ident '.' Ident ListPatt { PQC $1 $3 $4 } + | Patt2 '*' { PRep $1 } + | Ident '@' Patt2 { PAs $1 $3 } + | Patt2 { $1 } + + +Patt :: { Patt } +Patt : Patt '|' Patt1 { PDisj $1 $3 } + | Patt '+' Patt1 { PSeq $1 $3 } | Patt1 { $1 } @@ -467,18 +488,9 @@ ListPattAss : {- empty -} { [] } | PattAss ';' ListPattAss { (:) $1 $3 } -PattAlt :: { PattAlt } -PattAlt : Patt { AltP $1 } - - ListPatt :: { [Patt] } -ListPatt : Patt1 { (:[]) $1 } - | Patt1 ListPatt { (:) $1 $2 } - - -ListPattAlt :: { [PattAlt] } -ListPattAlt : PattAlt { (:[]) $1 } - | PattAlt '|' ListPattAlt { (:) $1 $3 } +ListPatt : Patt2 { (:[]) $1 } + | Patt2 ListPatt { (:) $1 $2 } Bind :: { Bind } @@ -494,7 +506,7 @@ ListBind : {- empty -} { [] } Decl :: { Decl } Decl : '(' ListBind ':' Exp ')' { DDec $2 $4 } - | Exp2 { DExp $1 } + | Exp4 { DExp $1 } TupleComp :: { TupleComp } @@ -518,7 +530,7 @@ ListPattTupleComp : {- empty -} { [] } Case :: { Case } -Case : ListPattAlt '=>' Exp { Case $1 $3 } +Case : Patt '=>' Exp { Case $1 $3 } ListCase :: { [Case] } @@ -548,7 +560,7 @@ ListAltern : {- empty -} { [] } DDecl :: { DDecl } DDecl : '(' ListBind ':' Exp ')' { DDDec $2 $4 } - | Exp4 { DDExp $1 } + | Exp6 { DDExp $1 } ListDDecl :: { [DDecl] } diff --git a/src/GF/Source/PrintGF.hs b/src/GF/Source/PrintGF.hs index c01329227..ad9dd46c0 100644 --- a/src/GF/Source/PrintGF.hs +++ b/src/GF/Source/PrintGF.hs @@ -399,6 +399,9 @@ instance Print Patt where PC id patts -> prPrec i 1 (concatD [prt 0 id , prt 0 patts]) PQC id0 id patts -> prPrec i 1 (concatD [prt 0 id0 , doc (showString ".") , prt 0 id , prt 0 patts]) PDisj patt0 patt -> prPrec i 0 (concatD [prt 0 patt0 , doc (showString "|") , prt 1 patt]) + PSeq patt0 patt -> prPrec i 0 (concatD [prt 0 patt0 , doc (showString "+") , prt 1 patt]) + PRep patt -> prPrec i 1 (concatD [prt 2 patt , doc (showString "*")]) + PAs id patt -> prPrec i 1 (concatD [prt 0 id , doc (showString "@") , prt 2 patt]) prtList es = case es of [x] -> (concatD [prt 2 x]) diff --git a/src/GF/Source/SourceToGrammar.hs b/src/GF/Source/SourceToGrammar.hs index 97f8fbc75..6465b6fc9 100644 --- a/src/GF/Source/SourceToGrammar.hs +++ b/src/GF/Source/SourceToGrammar.hs @@ -517,6 +517,7 @@ transSort :: Sort -> Err String transSort x = case x of _ -> return $ printTree x +--- no more used 7/1/2006 AR transPatts :: Patt -> Err [G.Patt] transPatts p = case p of PDisj p1 p2 -> liftM2 (++) (transPatts p1) (transPatts p2) @@ -555,7 +556,12 @@ transPatt x = case x of PQ id0 id -> liftM3 G.PP (transIdent id0) (transIdent id) (return []) PQC id0 id patts -> liftM3 G.PP (transIdent id0) (transIdent id) (mapM transPatt patts) - PDisj _ _ -> Bad $ "not allowed pattern" +++ printTree x + PDisj p1 p2 -> liftM2 G.PAlt (transPatt p1) (transPatt p2) + PSeq p1 p2 -> liftM2 G.PSeq (transPatt p1) (transPatt p2) + PRep p -> liftM G.PRep (transPatt p) + PAs x p -> liftM2 G.PAs (transIdent x) (transPatt p) + + transBind :: Bind -> Err Ident transBind x = case x of @@ -571,13 +577,13 @@ transDecl x = case x of DExp exp -> liftM (return . M.mkDecl) $ transExp exp transCases :: [Case] -> Err [G.Case] -transCases = liftM concat . mapM transCase +transCases = mapM transCase -transCase :: Case -> Err [G.Case] +transCase :: Case -> Err G.Case transCase (Case p exp) = do - patts <- transPatts p + patt <- transPatt p exp' <- transExp exp - return [(p,exp') | p <- patts] + return (patt,exp') transEquation :: Equation -> Err G.Equation transEquation x = case x of