diff --git a/doc/DocGF.pdf b/doc/DocGF.pdf index 938dbe89e..27e4262db 100644 Binary files a/doc/DocGF.pdf and b/doc/DocGF.pdf differ diff --git a/lib/prelude/Predef.gf b/lib/prelude/Predef.gf index 198e9449d..11d094793 100644 --- a/lib/prelude/Predef.gf +++ b/lib/prelude/Predef.gf @@ -10,7 +10,6 @@ resource Predef = { oper Int : Type = variants {} ; -- the type of integers oper Ints : Int -> Type = variants {} ; -- the type of integers from 0 to n - oper CC : Tok -> Tok -> Tok = variants {} ; -- concatenation; used in patterns oper length : Tok -> Int = variants {} ; -- length of string oper drop : Int -> Tok -> Tok = variants {} ; -- drop prefix of length oper take : Int -> Tok -> Tok = variants {} ; -- take prefix of length diff --git a/lib/resource/finnish/MorphoFin.gf b/lib/resource/finnish/MorphoFin.gf index 173d67b57..7565780eb 100644 --- a/lib/resource/finnish/MorphoFin.gf +++ b/lib/resource/finnish/MorphoFin.gf @@ -1355,7 +1355,9 @@ caseTable : Number -> CommonNoun -> Case => Str = \n,cn -> in {s = table { Imper Sg => "älä" ; - Impf n p | Cond n p => ei.s ! Pres n p ; +-- Impf n p | Cond n p => ei.s ! Pres n p ; + Impf n p => ei.s ! Pres n p ; + Cond n p => ei.s ! Pres n p ; v => ei.s ! v } } ; diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 33db87e37..c55873409 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -515,11 +515,17 @@ inferLType gr trm = case trm of PSeq p q -> isConstPatt p && isConstPatt q PAlt p q -> isConstPatt p && isConstPatt q PRep p -> isConstPatt p + PNeg p -> isConstPatt p PAs _ p -> isConstPatt p _ -> False inferPatt p = case p of PP q c ps | q /= cPredef -> checkErr $ lookupResType gr q c >>= valTypeCnc + PAs _ p -> inferPatt p + PNeg p -> inferPatt p + PAlt p q -> checks [inferPatt p, inferPatt q] + PSeq _ _ -> return $ typeTok + PRep _ -> return $ typeTok _ -> infer (patt2term p) >>= return . snd checkLType :: SourceGrammar -> Term -> Type -> Check (Term, Type) @@ -700,6 +706,7 @@ pattContext env typ p = case p of g2 <- pattContext env typ q return $ g1 ++ g2 PRep p -> pattContext env typeStr p + PNeg p -> pattContext env typeStr p _ -> return [] ---- check types! where diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs index 61f26b89e..ecabf03b1 100644 --- a/src/GF/Compile/Rename.hs +++ b/src/GF/Compile/Rename.hs @@ -255,6 +255,10 @@ renamePattern env patt = case patt of (p',vs) <- renp p return (PRep p', vs) + PNeg p -> do + (p',vs) <- renp p + return (PNeg p', vs) + PAs x p -> do (p',vs) <- renp p return (PAs x p', x:vs) diff --git a/src/GF/Grammar/AppPredefined.hs b/src/GF/Grammar/AppPredefined.hs index 442328eb4..c8710f32d 100644 --- a/src/GF/Grammar/AppPredefined.hs +++ b/src/GF/Grammar/AppPredefined.hs @@ -35,7 +35,6 @@ typPredefined c@(IC f) = case f of "PBool" -> return typePType "PFalse" -> return $ cnPredef "PBool" "PTrue" -> return $ cnPredef "PBool" - "CC" -> return $ mkFunType [typeTok,typeTok] typeTok "dp" -> return $ mkFunType [cnPredef "Int",typeTok] typeTok "drop" -> return $ mkFunType [cnPredef "Int",typeTok] typeTok "eqInt" -> return $ mkFunType [cnPredef "Int",cnPredef "Int"] (cnPredef "PBool") @@ -74,7 +73,6 @@ appPredefined t = case t of App (Q (IC "Predef") (IC f)) z0 -> do (z,_) <- appPredefined z0 case (f, norm z, norm x) of - ("CC", K r, K s) -> retb $ K (r ++ s) ("drop", EInt i, K s) -> retb $ K (drop (fi i) s) ("take", EInt i, K s) -> retb $ K (take (fi i) s) ("tk", EInt i, K s) -> retb $ K (take (max 0 (length s - fi i)) s) diff --git a/src/GF/Grammar/Compute.hs b/src/GF/Grammar/Compute.hs index a25f6f98f..4adc38ce6 100644 --- a/src/GF/Grammar/Compute.hs +++ b/src/GF/Grammar/Compute.hs @@ -310,6 +310,7 @@ computeTermOpt rec gr = comp where PSeq p q -> concatMap contP [p,q] PAlt p q -> concatMap contP [p,q] PRep p -> contP p + PNeg p -> contP p _ -> [] diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs index 7be13a0d9..47970c882 100644 --- a/src/GF/Grammar/Grammar.hs +++ b/src/GF/Grammar/Grammar.hs @@ -175,9 +175,10 @@ data Patt = | PAs Ident Patt -- ^ as-pattern: x@p -- regular expression patterns + | PNeg Patt -- ^ negated pattern: -p | PAlt Patt Patt -- ^ disjunctive pattern: p1 | p2 - | PSeq Patt Patt -- ^ sequence of token parts - | PRep Patt -- ^ repetition of token part + | PSeq Patt Patt -- ^ sequence of token parts: p + q + | PRep Patt -- ^ repetition of token part: p* deriving (Read, Show, Eq, Ord) diff --git a/src/GF/Grammar/Macros.hs b/src/GF/Grammar/Macros.hs index bc394b143..8261f7f36 100644 --- a/src/GF/Grammar/Macros.hs +++ b/src/GF/Grammar/Macros.hs @@ -509,6 +509,9 @@ term2patt trm = case termForm trm of Ok ([], Cn (IC "@"), [Vr a,b]) -> do b' <- term2patt b return (PAs a b') + Ok ([], Cn (IC "-"), [a]) -> do + a' <- term2patt a + return (PNeg a') Ok ([], Cn (IC "*"), [a]) -> do a' <- term2patt a return (PRep a') @@ -540,6 +543,7 @@ patt2term pt = case pt of 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 + PNeg a -> appc "-" [(patt2term a)] --- an encoding redirectTerm :: Ident -> Term -> Term diff --git a/src/GF/Grammar/PatternMatch.hs b/src/GF/Grammar/PatternMatch.hs index 4e3feb5dc..f850981f0 100644 --- a/src/GF/Grammar/PatternMatch.hs +++ b/src/GF/Grammar/PatternMatch.hs @@ -95,6 +95,10 @@ tryMatch (p,t) = do (PAlt p1 p2,_) -> checks [trym p1 t', trym p2 t'] + (PNeg p',_) -> case tryMatch (p',t) of + Bad _ -> return [] + _ -> prtBad "no match with negative pattern" p + (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] diff --git a/src/GF/Grammar/Refresh.hs b/src/GF/Grammar/Refresh.hs index 045fccfc0..8be951215 100644 --- a/src/GF/Grammar/Refresh.hs +++ b/src/GF/Grammar/Refresh.hs @@ -77,6 +77,7 @@ refreshPatt p = case p of PSeq p' q' -> liftM2 PSeq (refreshPatt p') (refreshPatt q') PAlt p' q' -> liftM2 PAlt (refreshPatt p') (refreshPatt q') PRep p' -> liftM PRep (refreshPatt p') + PNeg p' -> liftM PNeg (refreshPatt p') _ -> return p diff --git a/src/GF/Source/AbsGF.hs b/src/GF/Source/AbsGF.hs index 503a0ac97..1ffba4267 100644 --- a/src/GF/Source/AbsGF.hs +++ b/src/GF/Source/AbsGF.hs @@ -224,6 +224,7 @@ data Patt = | PSeq Patt Patt | PRep Patt | PAs Ident Patt + | PNeg Patt deriving (Eq,Ord,Show) data PattAss = diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index a84d37d5b..fc68164a9 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -225,6 +225,7 @@ PDisj. Patt ::= Patt "|" Patt1 ; PSeq. Patt ::= Patt "+" Patt1 ; PRep. Patt1 ::= Patt2 "*" ; PAs. Patt1 ::= Ident "@" Patt2 ; +PNeg. Patt1 ::= "-" Patt2 ; coercions Patt 2 ; diff --git a/src/GF/Source/GrammarToSource.hs b/src/GF/Source/GrammarToSource.hs index 3303a6487..526a29f4c 100644 --- a/src/GF/Source/GrammarToSource.hs +++ b/src/GF/Source/GrammarToSource.hs @@ -202,6 +202,7 @@ trp p = case p of PAlt p q -> P.PDisj (trp p) (trp q) PSeq p q -> P.PSeq (trp p) (trp q) PRep p -> P.PRep (trp p) + PNeg p -> P.PNeg (trp p) trAssign (lab, (mty, t)) = maybe (P.LDDef x t') (\ty -> P.LDFull x (trt ty) t') mty diff --git a/src/GF/Source/ParGF.hs b/src/GF/Source/ParGF.hs index 8f6f1f330..ebb017d90 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\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"# +happyActOffsets = HappyA# "\x00\x00\x0f\x00\x0b\x05\x48\x01\xe1\x04\x00\x00\x17\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1e\x05\xb2\x01\x9f\x00\x11\x05\xd6\x04\x0e\x05\x00\x00\x22\x05\xdb\x04\x5e\x00\x44\x00\xdb\x04\x00\x00\x48\x01\x8a\x00\xdb\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x48\x01\x00\x00\x21\x05\xb2\x02\x16\x00\x20\x05\x1f\x05\x99\x02\x1d\x05\x00\x00\x00\x00\x00\x00\x00\x00\xcd\x04\x00\x00\x09\x01\x0e\x00\xa8\x04\xc5\x04\x00\x00\xc0\x04\x86\x01\x0f\x05\x0d\x05\x0c\x05\xbf\x04\xbf\x04\xbf\x04\xbf\x04\xbf\x04\xbf\x04\x00\x00\x09\x01\x00\x00\x08\x05\x00\x00\x09\x01\x09\x01\x09\x01\xad\x07\x48\x01\x00\x00\x23\x02\xe5\x00\xfa\x00\xbc\x04\xac\x00\xac\x00\xfd\x04\x2f\x00\x02\x05\xc6\x04\xa9\x04\x3c\x00\x73\x00\xbb\x04\x00\x00\x00\x00\xe8\x04\xe5\x04\xfb\xff\x00\x00\xea\x04\xe6\x04\xd9\x04\xcb\x02\x80\x02\xdf\x04\x00\x00\x01\x03\xe2\x04\xd1\x04\x4b\x02\x93\x03\xd7\x04\xac\x00\x7d\x01\xac\x00\x7d\x01\x7d\x01\x7d\x01\xac\x00\xd4\x04\xc8\x04\x09\x00\x32\x02\x00\x00\x89\x04\x00\x00\x00\x00\x87\x04\x86\x04\x00\x00\x19\x02\x19\x02\x19\x02\x00\x00\x19\x02\xc1\x02\x00\x00\x00\x00\x00\x00\x00\x00\x86\x04\x86\x04\xca\x04\xac\x00\x00\x00\x00\x00\xe4\x01\xc1\x04\x85\x04\x00\x00\x00\x00\xac\x00\xac\x00\xa4\x04\xac\x00\xfb\xff\xba\x04\xad\x04\x00\x00\x00\x00\x00\x00\x73\x00\xb4\x04\xb9\x04\xb5\x04\x6b\x04\xe5\x00\xe5\x00\x00\x00\x00\x00\xb2\x04\xac\x00\x69\x04\xac\x00\xac\x00\xb3\x04\xa1\x04\xa0\x04\x91\x04\x00\x03\x8a\x04\x00\x00\x20\x03\x9e\x04\x99\x04\x73\x00\xe5\x00\xac\x00\x97\x04\x00\x00\x89\x00\x4e\x04\x6a\x00\x4e\x04\x4e\x04\x6a\x00\x6a\x00\x6a\x00\x6a\x00\x6a\x00\x4e\x04\x4e\x04\x6a\x00\xbb\x00\x4e\x04\x6a\x00\x6a\x00\x00\x00\x00\x00\x00\x00\x09\x01\x00\x00\x92\x04\x00\x00\x00\x00\x66\x04\x60\x04\x00\x00\xfc\xff\x84\x04\x62\x04\x37\x00\x00\x00\x43\x04\x63\x04\x61\x04\x1e\x04\x1e\x04\x1e\x04\x1e\x04\x27\x00\x00\x00\x00\x00\x5f\x04\x00\x00\x03\x01\x20\x00\x12\x04\x00\x00\x4f\x04\x32\x04\x00\x00\x45\x04\x47\x04\x6a\x00\x6a\x00\x00\x00\x40\x04\x31\x04\x00\x00\x2f\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x2e\x04\x00\x00\x29\x04\x2b\x04\x16\x04\x00\x00\x00\x00\x42\x01\x15\x04\x00\x00\x00\x00\x00\x00\x13\x04\x00\x00\xc9\x03\x00\x00\x07\x04\xb5\x00\xf9\x03\x00\x00\x00\x00\x97\x00\x97\x00\x97\x00\xac\x00\x00\x00\x00\x00\xbf\x03\x73\x00\x00\x00\xac\x00\xac\x00\xfa\x03\x00\x00\x00\x00\x00\x00\xcd\x03\x83\x01\xe8\x03\xdc\x03\xd1\x01\xda\x01\xef\x03\xed\x03\xdd\x03\x00\x00\x73\x00\xac\x00\x00\x00\x94\x03\x97\x00\x00\x00\x00\x00\xac\x00\xcc\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd2\x03\x00\x00\xd5\x03\x00\x00\xcf\x03\x00\x00\xae\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc8\x03\x00\x00\x00\x00\x00\x00\x00\x00\x7d\x03\x97\x00\x00\x00\x00\x00\x00\x00\x97\x00\xac\x00\xac\x00\xab\x03\xc6\x03\xc2\x03\x00\x00\x00\x00\x73\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4d\x00\xcb\x01\x78\x03\x78\x03\x78\x03\x78\x03\xac\x00\x78\x03\xbd\x03\x72\x03\x26\x00\x00\x00\x00\x00\xac\x00\x25\x00\x25\x00\x00\x00\xb1\x03\xac\x00\xac\x00\xb6\x03\x25\x00\x00\x00\xa2\x03\x75\x02\x00\x00\x00\x00\x56\x02\x00\x00\x00\x00\x60\x03\x60\x03\xa6\x03\xfd\xff\x5c\x03\x9a\x03\xfd\xff\xa0\x03\x53\x03\x00\x00\x8c\x03\x45\x03\x8d\x03\x62\x03\x00\x00\x44\x03\x00\x00\x41\x03\x00\x00\x00\x00\xfd\xff\x00\x00\xac\x00\x8a\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7c\x03\x00\x00\x51\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x03\x6d\x03\x00\x00\x79\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\x83\x01\x00\x00\x00\x00\x00\x00\x00\x00\x73\x03\x66\x03\x17\x03\x17\x03\x85\x03\x17\x03\x17\x03\xcb\x01\xac\x00\x00\x00\x00\x00\x5a\x01\xfd\xff\x5e\x03\x00\x00\x00\x00\x55\x03\xfd\xff\x5f\x03\x13\x03\x00\x00\x00\x00\x00\x00\x00\x00\x13\x03\x00\x00\x00\x00\x00\x00\x43\x03\x47\x03\x00\x00\x00\x00\xac\x00\xf9\x02\x3a\x03\x33\x03\x00\x00\x00\x00\x32\x03\x34\x03\x31\x03\x29\x03\x00\x00\xc0\x02\xc0\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x22\x03\x00\x00\xb7\x02\xf3\xff\xfd\xff\xfd\xff\x07\x03\xf5\x02\x00\x00\x00\x00\x00\x00"# happyGotoOffsets :: HappyAddr -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"# +happyGotoOffsets = HappyA# "\x1e\x01\xc4\x02\xde\x00\x09\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4d\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x03\xce\x03\x3e\x02\xfa\x02\x00\x00\x3f\x03\x46\x00\xf7\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xed\x06\x00\x00\x00\x00\x81\x04\xdf\x01\x00\x00\x00\x00\x4a\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe7\x02\x04\x00\x00\x00\xe8\x02\xed\x02\x00\x00\x00\x00\xd9\x00\x00\x00\x00\x00\x00\x00\xec\x02\xeb\x02\xe3\x02\xc9\x02\xb6\x02\x7d\x02\x00\x00\x0c\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x08\x00\x07\x00\x7c\x02\x3d\x04\x00\x00\x00\x00\x1c\x03\xd2\x06\x72\x02\x21\x04\xb6\x06\x00\x00\x00\x00\x00\x00\x00\x00\x90\x01\x73\x02\x3f\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf6\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x65\x04\x00\x00\x00\x00\x9b\x06\x24\x07\x7f\x06\x42\x07\x33\x07\x46\x02\x64\x06\x00\x00\x00\x00\x2d\x00\xf8\x01\x00\x00\x56\x01\x00\x00\x00\x00\x22\x02\x4e\x01\x00\x00\x50\x03\x50\x03\x50\x03\x00\x00\x50\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x11\x01\x64\x02\x00\x00\x48\x06\x00\x00\x00\x00\xda\x03\x00\x00\x45\x02\x00\x00\x00\x00\x28\x03\x2d\x06\x00\x00\x11\x06\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x77\x03\x00\x00\x00\x00\x00\x00\xd3\x00\x44\x04\x79\x02\x00\x00\x00\x00\x00\x00\xf6\x05\x30\x01\xda\x05\xbf\x05\x00\x00\x00\x00\x00\x00\x00\x00\x67\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x8c\x02\xa8\x01\x05\x04\x00\x00\x00\x00\x70\x02\xa9\x07\x9f\x07\x74\x02\x4b\x07\x92\x07\x8e\x07\x85\x07\x81\x07\x79\x07\x3f\x02\x7a\x01\x75\x07\x6e\x07\x27\x02\x67\x07\x18\x03\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf6\x04\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x02\x00\x00\x00\x00\x11\x02\xb1\x02\x08\x02\xfd\x01\x93\x02\x00\x00\x00\x00\x00\x00\x00\x00\x86\x02\x00\x00\xf7\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5b\x07\x40\x07\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\xbc\x01\x00\x00\x00\x00\xd9\x01\x00\x00\x00\x00\x1f\x02\x00\x00\x00\x00\x00\x00\x29\x01\xd4\x03\xac\x01\xa3\x05\x00\x00\x00\x00\xb9\x01\xdb\x00\x00\x00\xe9\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\x88\x05\x00\x00\xa7\x01\x32\x00\x00\x00\x00\x00\x6c\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\x74\x00\x28\x04\x00\x00\x00\x00\x00\x00\x12\x02\x51\x05\x35\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\x37\x01\xd2\x00\x11\x00\x09\x02\xf2\x01\xa6\x01\xa4\x01\x1a\x05\xee\x02\x00\x00\x1e\x00\x54\x01\x00\x00\x00\x00\xfe\x04\xf4\x00\x31\x07\x00\x00\x00\x00\xe3\x04\xc7\x04\x00\x00\xe4\x02\x00\x00\x00\x00\x6e\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x16\x02\xa3\x01\x00\x00\x5e\x02\x10\x01\x00\x00\x4f\x02\x00\x00\x6c\x01\x00\x00\x00\x00\xc8\x00\x00\x00\x00\x00\x68\x01\x00\x00\x00\x00\x5d\x01\x00\x00\x00\x00\x27\x01\x00\x00\xac\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd7\xff\x00\x00\x00\x00\x00\x00\x00\x00\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xb2\x03\x00\x00\x11\x00\x00\x00\x00\x00\xac\x02\x90\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x93\x01\xf1\x00\xf0\x00\xee\x00\x45\x01\x11\x00\x75\x04\x00\x00\x00\x00\x00\x00\xb4\x01\xc0\x00\x00\x00\x00\x00\x00\x00\x8d\x00\x00\x00\x8f\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc4\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x59\x04\x9a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\xd8\x00\x00\x00\x00\x00\x00\x00\x0d\x00\x00\x00\x00\x00\xaf\x00\x00\x00\x00\x00\x00\x00\x93\x00\x1c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# happyDefActions :: HappyAddr -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"# +happyDefActions = HappyA# "\xf5\xff\xd0\xff\x09\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\x26\xff\x00\x00\x00\x00\x79\xff\x1f\xff\x26\xff\x00\x00\x31\xff\x2f\xff\x2e\xff\x30\xff\x32\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\x06\xff\x07\xff\x00\x00\x08\xff\x00\x00\x00\x00\x00\x00\x0a\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\x15\xff\x00\x00\x60\xff\x28\xff\x25\xff\x00\x00\x26\xff\x27\xff\x21\xff\x1e\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\x34\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\x1f\xff\x00\x00\x00\x00\x00\x00\x26\xff\x00\x00\x47\xff\x44\xff\x42\xff\x43\xff\x2a\xff\x00\x00\x14\xff\x00\x00\x2d\xff\x00\x00\x1c\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\x39\xff\x36\xff\x00\x00\x18\xff\x00\x00\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\x05\xff\x04\xff\x03\xff\x01\xff\x02\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\x00\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\x0c\xff\x00\x00\xc1\xff\x00\x00\x65\xff\x00\x00\x47\xff\x00\x00\x3a\xff\x69\xff\x00\x00\x00\x00\x00\x00\x00\x00\x3c\xff\x3e\xff\x00\x00\x00\x00\x63\xff\x4d\xff\x11\xff\x86\xff\x85\xff\x81\xff\x53\xff\x00\x00\x20\xff\x1b\xff\x00\x00\x00\x00\x8c\xff\x00\x00\x2c\xff\x00\x00\x51\xff\x15\xff\x00\x00\x29\xff\x00\x00\x00\x00\x24\xff\x58\xff\x00\x00\x00\x00\x21\xff\x1d\xff\x6c\xff\x76\xff\x49\xff\x00\x00\x72\xff\x00\x00\x8b\xff\x00\x00\x33\xff\x8c\xff\x52\xff\x6d\xff\x23\xff\x71\xff\x57\xff\x00\x00\x45\xff\x16\xff\x13\xff\x41\xff\x2d\xff\x00\x00\x46\xff\x3f\xff\x40\xff\x1c\xff\x00\x00\x00\x00\x00\x00\x10\xff\x00\x00\x4b\xff\x3b\xff\x45\xff\x19\xff\x37\xff\x38\xff\x17\xff\x68\xff\x67\xff\x0c\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\x0c\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\x0d\xff\x0b\xff\x26\xff\x9a\xff\x00\x00\x3d\xff\x64\xff\x11\xff\x00\x00\x84\xff\x54\xff\x1a\xff\x35\xff\x2b\xff\x66\xff\x12\xff\x0f\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\x0e\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\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"# +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\x0b\x00\x03\x00\x00\x00\x03\x00\x00\x00\x05\x00\x00\x00\x08\x00\x09\x00\x2e\x00\x02\x00\x0b\x00\x0c\x00\x1c\x00\x4f\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\x0e\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\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\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\x4e\x00\x40\x00\x2e\x00\x00\x00\x1b\x00\x00\x00\x4c\x00\x33\x00\x4e\x00\x00\x00\x0b\x00\x4a\x00\x4b\x00\x08\x00\x09\x00\x4c\x00\x03\x00\x01\x00\x05\x00\x3f\x00\x11\x00\x2b\x00\x13\x00\x43\x00\x44\x00\x19\x00\x0d\x00\x1b\x00\x13\x00\x49\x00\x09\x00\x12\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x3c\x00\x05\x00\x1b\x00\x3f\x00\x15\x00\x16\x00\x4c\x00\x0b\x00\x03\x00\x1a\x00\x05\x00\x0c\x00\x10\x00\x11\x00\x12\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x0e\x00\x00\x00\x19\x00\x0b\x00\x12\x00\x00\x00\x14\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1b\x00\x25\x00\x00\x00\x00\x00\x28\x00\x4c\x00\x4c\x00\x2b\x00\x00\x00\x19\x00\x2e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x33\x00\x07\x00\x26\x00\x0a\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x2c\x00\x03\x00\x4a\x00\x05\x00\x3f\x00\x1a\x00\x14\x00\x00\x00\x43\x00\x44\x00\x00\x00\x0d\x00\x2b\x00\x00\x00\x49\x00\x24\x00\x12\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x2b\x00\x05\x00\x1b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x0b\x00\x03\x00\x4c\x00\x05\x00\x19\x00\x10\x00\x11\x00\x12\x00\x0a\x00\x0f\x00\x3c\x00\x00\x00\x00\x00\x3f\x00\x19\x00\x39\x00\x12\x00\x0d\x00\x0e\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1b\x00\x25\x00\x2c\x00\x2d\x00\x28\x00\x05\x00\x06\x00\x2b\x00\x1d\x00\x00\x00\x2e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x33\x00\x50\x00\x51\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x00\x00\x01\x00\x02\x00\x03\x00\x3f\x00\x13\x00\x2b\x00\x2b\x00\x43\x00\x44\x00\x00\x00\x01\x00\x02\x00\x03\x00\x49\x00\x02\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x0a\x00\x05\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x0b\x00\x00\x00\x4c\x00\x00\x00\x4e\x00\x10\x00\x11\x00\x12\x00\x2b\x00\x02\x00\x00\x00\x2e\x00\x2f\x00\x06\x00\x19\x00\x39\x00\x3a\x00\x3b\x00\x20\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x25\x00\x39\x00\x2a\x00\x28\x00\x48\x00\x49\x00\x2b\x00\x20\x00\x40\x00\x2e\x00\x0f\x00\x39\x00\x2b\x00\x00\x00\x33\x00\x2e\x00\x2f\x00\x2a\x00\x40\x00\x03\x00\x2b\x00\x05\x00\x15\x00\x2e\x00\x2f\x00\x4f\x00\x3f\x00\x0b\x00\x4a\x00\x4b\x00\x43\x00\x44\x00\x10\x00\x11\x00\x12\x00\x00\x00\x49\x00\x0f\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x1f\x00\x17\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x27\x00\x25\x00\x00\x00\x00\x00\x28\x00\x00\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x1d\x00\x1e\x00\x04\x00\x2d\x00\x00\x00\x03\x00\x30\x00\x05\x00\x0a\x00\x00\x00\x08\x00\x2b\x00\x3f\x00\x0b\x00\x2e\x00\x2f\x00\x43\x00\x44\x00\x10\x00\x11\x00\x12\x00\x11\x00\x49\x00\x13\x00\x22\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x29\x00\x05\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x0b\x00\x06\x00\x52\x00\x00\x00\x28\x00\x10\x00\x11\x00\x12\x00\x04\x00\x00\x00\x0f\x00\x39\x00\x3a\x00\x3b\x00\x0a\x00\x39\x00\x3a\x00\x03\x00\x17\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\x00\x00\x00\x00\x2b\x00\x4f\x00\x28\x00\x2e\x00\x2f\x00\x1d\x00\x1e\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x12\x00\x05\x00\x00\x00\x01\x00\x02\x00\x03\x00\x01\x00\x0b\x00\x1c\x00\x03\x00\x00\x00\x30\x00\x10\x00\x11\x00\x12\x00\x16\x00\x17\x00\x0b\x00\x26\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\x00\x00\x00\x00\x02\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\x11\x00\x0b\x00\x13\x00\x0d\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\x02\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\x01\x00\x02\x00\x03\x00\x10\x00\x11\x00\x12\x00\x00\x00\x24\x00\x19\x00\x22\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x29\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\x01\x00\x02\x00\x03\x00\x04\x00\x00\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\x39\x00\x40\x00\x16\x00\x17\x00\x00\x00\x09\x00\x07\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x15\x00\x16\x00\x14\x00\x0e\x00\x28\x00\x10\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x00\x00\x00\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x3e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0d\x00\x0f\x00\x00\x00\x4c\x00\x4d\x00\x00\x00\x06\x00\x18\x00\x46\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x03\x00\x04\x00\x05\x00\x00\x00\x23\x00\x07\x00\x1b\x00\x0a\x00\x0a\x00\x4c\x00\x06\x00\x0e\x00\x0f\x00\x2c\x00\x2d\x00\x12\x00\x25\x00\x14\x00\x14\x00\x16\x00\x17\x00\x00\x00\x2b\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\x05\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x04\x00\x3e\x00\x0f\x00\x18\x00\x2b\x00\x01\x00\x43\x00\x2e\x00\x2f\x00\x02\x00\x17\x00\x06\x00\x06\x00\x1a\x00\x23\x00\x4c\x00\x4d\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x2c\x00\x2d\x00\x4d\x00\x2b\x00\x01\x00\x06\x00\x2e\x00\x2f\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x39\x00\x3a\x00\x3b\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x4c\x00\x01\x00\x0c\x00\x04\x00\x4c\x00\x48\x00\x49\x00\x3e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x43\x00\x44\x00\x07\x00\x46\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x02\x00\x0f\x00\x3e\x00\x0e\x00\x2e\x00\x30\x00\x31\x00\x43\x00\x44\x00\x26\x00\x46\x00\x28\x00\x29\x00\x2a\x00\x04\x00\x2c\x00\x0f\x00\x02\x00\x4c\x00\x3e\x00\x4b\x00\x2e\x00\x4c\x00\x34\x00\x35\x00\x36\x00\x37\x00\x0a\x00\x04\x00\x3a\x00\x0c\x00\x3c\x00\x3d\x00\x3e\x00\x0a\x00\x40\x00\x4c\x00\x39\x00\x0e\x00\x02\x00\x45\x00\x46\x00\x0b\x00\x48\x00\x40\x00\x4c\x00\x03\x00\x08\x00\x26\x00\x4c\x00\x28\x00\x29\x00\x2a\x00\x39\x00\x2c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x40\x00\x02\x00\x34\x00\x35\x00\x36\x00\x37\x00\x0c\x00\x4c\x00\x3a\x00\x03\x00\x3c\x00\x3d\x00\x3e\x00\x4c\x00\x40\x00\x04\x00\x01\x00\x1d\x00\x4c\x00\x45\x00\x46\x00\x04\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\x13\x00\x4c\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\x01\x00\x13\x00\x3e\x00\x02\x00\x0a\x00\x41\x00\x42\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x2e\x00\x02\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\x4c\x00\x3e\x00\x39\x00\x3a\x00\x41\x00\x42\x00\x43\x00\x38\x00\x0c\x00\x01\x00\x4c\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\x30\x00\x3e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x43\x00\x02\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\x02\x00\x3e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x43\x00\x02\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\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\x4c\x00\x3e\x00\x01\x00\x39\x00\x3a\x00\x3b\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x4c\x00\x0a\x00\x09\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\x39\x00\x39\x00\x3a\x00\x3b\x00\x43\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x24\x00\x03\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\x07\x00\x4c\x00\x04\x00\x43\x00\x04\x00\x38\x00\x01\x00\x16\x00\x10\x00\x01\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\x01\x00\x4c\x00\x04\x00\x4c\x00\x43\x00\x04\x00\x01\x00\x0e\x00\x08\x00\x03\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\x24\x00\x0c\x00\x3e\x00\x27\x00\x06\x00\x4c\x00\x4c\x00\x43\x00\x4d\x00\x4c\x00\x0e\x00\x03\x00\x07\x00\x31\x00\x32\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\x06\x00\x41\x00\x3e\x00\x0c\x00\x13\x00\x08\x00\x46\x00\x43\x00\x0a\x00\x07\x00\x0a\x00\x38\x00\x2e\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\x01\x00\x0e\x00\x3e\x00\x10\x00\x0a\x00\x4c\x00\x01\x00\x43\x00\x4c\x00\x16\x00\x17\x00\x02\x00\x02\x00\x01\x00\x4c\x00\x52\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\x17\x00\x43\x00\x4c\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\x00\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x3e\x00\xff\xff\xff\xff\xff\xff\x00\x00\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\x00\x00\xff\xff\x2c\x00\x2d\x00\xff\xff\xff\xff\x21\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x1b\x00\x00\x00\x28\x00\xff\xff\xff\xff\xff\xff\x2c\x00\x2d\x00\x00\x00\xff\xff\x25\x00\x3e\x00\x30\x00\x31\x00\x32\x00\x00\x00\x2b\x00\xff\xff\xff\xff\x00\x00\xff\xff\xff\xff\x21\x00\x30\x00\x31\x00\x18\x00\x3e\x00\x00\x00\xff\xff\x28\x00\xff\xff\x00\x00\xff\xff\x2c\x00\x2d\x00\xff\xff\x23\x00\x3e\x00\xff\xff\x18\x00\x00\x00\x21\x00\xff\xff\x18\x00\x00\x00\x2c\x00\x2d\x00\xff\xff\x28\x00\xff\xff\x23\x00\x18\x00\x2c\x00\x2d\x00\x23\x00\x18\x00\xff\xff\x00\x00\xff\xff\x2c\x00\x2d\x00\xff\xff\x23\x00\x2c\x00\x2d\x00\xff\xff\x23\x00\x00\x00\x18\x00\xff\xff\xff\xff\x2c\x00\x2d\x00\x21\x00\xff\xff\x2c\x00\x2d\x00\xff\xff\xff\xff\x23\x00\x28\x00\x18\x00\xff\xff\xff\xff\x2c\x00\x2d\x00\xff\xff\xff\xff\x2c\x00\x2d\x00\xff\xff\xff\xff\x23\x00\xff\xff\x1b\x00\x1c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x2c\x00\x2d\x00\xff\xff\x25\x00\x26\x00\xff\xff\xff\xff\xff\xff\x26\x00\x2b\x00\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\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"# +happyTable = HappyA# "\x00\x00\x41\x00\x77\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\xe0\x01\xec\x01\x56\x00\x5a\x00\x79\x00\x74\x01\xab\x01\xf3\x00\xe1\x01\xeb\x01\xf1\x01\x71\x01\x17\x00\xba\x01\x7c\x00\xc0\x01\x72\x01\x4f\x00\x19\x00\x1a\x00\x9d\x01\x77\x01\x79\x00\xf2\x01\xf2\x01\xea\x00\xaa\x00\x0d\x01\x9a\x00\x9b\x00\x9c\x00\xab\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x34\x00\xf4\x00\xdf\x00\x35\x00\x23\x00\xa8\x01\x81\x01\xe0\x00\x82\x01\x9d\x01\x5a\x00\x06\x00\x06\x00\x06\x00\x76\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x12\x00\x66\x00\x5b\x00\x2f\x01\x43\x00\xe3\x00\x06\x00\x43\x00\x44\x00\x0b\x01\xcb\x00\xcc\x00\x5b\x00\x95\x00\xcd\x00\xcf\x00\xa9\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\x51\x00\xea\x00\xa2\x00\x1b\x00\xa3\x00\x5f\x00\xb3\x00\x44\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x83\x01\x22\x00\x9d\x00\xa4\x00\x23\x00\x5b\x00\x5c\x00\x24\x00\x2c\x00\x9e\x00\x6a\x00\x74\x01\xa5\x00\xe0\x01\x06\x00\x26\x00\x2c\x00\x74\x01\x0b\x01\x9f\x00\x47\x01\xe1\x01\xe2\x01\x06\x00\xa2\x00\xdb\x01\xa3\x00\x27\x00\xcd\x01\x26\x01\x86\x01\x28\x00\x29\x00\x5e\x00\xb6\x00\x5f\x00\xf3\x01\x2a\x00\x70\x00\xa4\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\x27\x01\x16\x00\xa5\x00\xb5\x01\x71\x00\x72\x00\x06\x00\x17\x00\xa2\x00\x73\x00\xa3\x00\xed\x01\x18\x00\x19\x00\x1a\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x18\x01\xdf\x01\x1b\x00\xea\x00\xa4\x00\x51\x00\x19\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xa5\x00\x22\x00\x07\x01\x25\x01\x23\x00\x06\x00\x06\x00\x24\x00\xe9\x01\xb9\x00\x25\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x26\x00\x37\x00\xf1\x00\xea\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\xf2\x00\xa2\x00\x74\x00\xa3\x00\x27\x00\x08\x01\x32\x00\xd5\x01\x28\x00\x29\x00\xd7\x01\xb6\x00\xc9\x01\xe4\x00\x2a\x00\xab\x01\xa4\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\x26\x01\x16\x00\xa5\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x17\x00\xa2\x00\x06\x00\xa3\x00\xb9\x00\x18\x00\x19\x00\x1a\x00\x6d\x01\xbd\x01\x27\x01\x51\x00\x51\x00\x28\x01\x1b\x00\x55\x01\xa4\x00\x46\x00\x47\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xa5\x00\x22\x00\xee\x00\x97\x01\x23\x00\x35\x00\x36\x00\x24\x00\x48\x00\x74\x01\x6a\x00\x0d\x01\x9a\x00\x9b\x00\x9c\x00\x26\x00\x2e\x00\x2f\x00\x51\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x27\x00\xc3\x01\x88\x01\x3b\x01\x28\x00\x29\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x2a\x00\x62\x01\x99\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\x89\x00\x16\x00\x51\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x17\x00\x99\x01\x06\x00\x3e\x01\x2c\x00\x18\x00\x19\x00\x1a\x00\x52\x00\xd2\x01\xc4\x01\x53\x00\x1e\x01\xd3\x01\x1b\x00\xb0\x00\xb1\x00\xb2\x00\x9a\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xcb\x01\x22\x00\x9d\x00\xd4\x01\x23\x00\xb3\x00\x5a\x01\x24\x00\x9a\x01\xad\x01\x25\x00\xc6\x01\x9d\x00\x52\x00\xf3\x00\x26\x00\x53\x00\x3c\x01\x9b\x01\x9e\x00\x15\x00\x52\x00\x4e\x00\x8d\x01\x53\x00\x6b\x00\xac\x01\x27\x00\x17\x00\x9f\x00\xa0\x00\x28\x00\x29\x00\x18\x00\x19\x00\x1a\x00\x51\x00\x2a\x00\x13\x01\xa3\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\xf4\x00\x14\x01\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\xf5\x00\x22\x00\x8b\x01\xa1\x01\x23\x00\xff\x00\x45\x01\x0d\x01\x9a\x00\x9b\x00\x9c\x00\x0d\x01\x9a\x00\x9b\x00\x9c\x00\xa4\x01\xd8\x01\x88\x00\x34\x00\x74\x01\x15\x00\x35\x00\x4e\x00\x89\x00\x56\x01\x22\xff\x52\x00\x27\x00\x17\x00\x53\x00\xa6\x00\x28\x00\x29\x00\x18\x00\x19\x00\x1a\x00\xd0\x01\x2a\x00\x86\x01\x00\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x79\x00\xa2\x01\xab\x01\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x4d\x01\xf6\xff\x5d\x01\x23\x00\x4f\x00\x19\x00\x1a\x00\x4c\x01\x51\x00\x13\x01\xb0\x00\xb1\x00\xb2\x00\x89\x00\xb0\x00\x58\x01\x79\x00\x14\x01\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\xb3\x00\x0e\x01\xa3\x01\x23\x00\x4f\x00\x19\x00\x1a\x00\x6f\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\x78\x01\xa6\x01\x52\x00\x5f\x01\x23\x00\x53\x00\x54\x00\xa4\x01\xa5\x01\x7b\x01\x0d\x01\x9a\x00\x9b\x00\x9c\x00\x79\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x15\x00\x7e\x01\x4e\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x3d\x01\x17\x00\x04\x01\xb7\x00\xeb\x00\x77\x00\x18\x00\x19\x00\x1a\x00\x8c\x01\xdd\x00\xb8\x00\xa7\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\x63\x00\xf6\x00\x64\x00\x23\x00\x4f\x00\x19\x00\x1a\x00\x35\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xb0\x00\xb1\x00\x21\x01\x15\x00\x74\x01\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x22\x01\x9d\x00\xb3\x01\x23\x00\x18\x00\x19\x00\x1a\x00\x74\x01\x16\x01\x85\x01\x81\x01\x86\x01\x82\x01\x3a\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x89\x01\x07\x01\x86\x01\xae\x00\x23\x00\xff\x00\xa5\x00\x0b\x00\x0c\x00\x7e\x00\x0d\x01\x9a\x00\x9b\x00\x9c\x00\xd0\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x79\x00\x12\x00\x4e\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x08\x01\x17\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x4f\x00\x19\x00\x1a\x00\x74\x01\x09\x01\xb9\x00\x00\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x4d\x00\x01\x01\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x8f\x01\x75\x01\x90\x01\x23\x00\x4f\x00\x19\x00\x1a\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x79\x01\xb0\x00\xb1\x00\x21\x01\x15\x00\xd1\x00\x4e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x17\x00\x22\x01\x9d\x00\x23\x01\x23\x00\x18\x00\x19\x00\x1a\x00\x0f\x01\x72\x01\x7a\x01\xdd\x00\xd2\x00\x70\x00\x31\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x71\x00\x72\x00\x32\x00\x91\x00\x23\x00\x92\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x51\x01\x11\x00\xd3\x00\xe4\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x12\x00\xd4\x00\xd5\x00\x38\x00\x51\x00\x13\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x39\x00\x48\x00\x59\x00\x52\x01\xb8\x01\x62\x00\xf5\x01\xe5\x00\xf0\x01\x06\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\xa2\x00\x88\x00\xa3\x00\x6a\x00\x91\x01\x28\xff\xfc\x00\x89\x00\x28\xff\x06\x00\xf6\x01\x18\x01\x47\xff\xe7\x00\xe8\x00\xa4\x00\x9f\x01\x19\x01\x77\x00\x47\xff\x47\xff\xe4\x00\xfe\x00\x47\xff\xa5\x00\xaf\x00\x9a\x00\x9b\x00\x9c\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x51\x01\x11\x00\xef\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xe4\x01\x12\x00\x13\x01\xe5\x00\x52\x00\xe5\x01\x13\x00\x53\x00\x6b\x00\xe6\x01\x14\x01\xe7\x01\xe8\x01\x15\x01\xe6\x00\x52\x01\x53\x01\xe9\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xe7\x00\xe8\x00\x2b\x00\x52\x00\xde\x01\xdf\x01\x53\x00\x6b\x00\x06\x00\x2b\x00\x2c\x00\x2d\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xb0\x00\xb1\x00\xb2\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x33\x01\x11\x00\x06\x00\xcd\x01\xcf\x01\xd0\x01\x06\x00\xb3\x00\xb4\x00\x12\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x13\x00\x60\x00\xda\x01\x34\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x5f\x00\x11\x00\xdb\x01\x99\x00\x9a\x00\x9b\x00\x9c\x00\x62\x01\xbc\x01\x12\x00\xbd\x01\xbf\x01\x0b\x00\x74\x00\x13\x00\x60\x00\xbb\x00\x61\x00\xbc\x00\xbd\x00\xbe\x00\xd7\x01\xbf\x00\xc0\x01\xc2\x01\x06\x00\x12\x00\xc6\x01\xc8\x01\x06\x00\xc0\x00\xc1\x00\xc2\x00\xc3\x00\xcb\x01\x88\x00\xc4\x00\xc9\x01\xc5\x00\xc6\x00\xc7\x00\x89\x00\xc8\x00\x06\x00\x9d\x00\x8a\x00\x85\x01\xc9\x00\xca\x00\x88\x01\xcb\x00\x16\x01\x06\x00\x8b\x01\x91\x01\xbb\x00\x06\x00\xbc\x00\xbd\x00\xbe\x00\x9d\x00\xbf\x00\x66\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x2c\x01\x93\x01\xc0\x00\xc1\x00\xc2\x00\xc3\x00\x96\x01\x06\x00\xc4\x00\x9f\x01\xc5\x00\xc6\x00\xc7\x00\x06\x00\xc8\x00\xaf\x01\xb0\x01\xb1\x01\x06\x00\xc9\x00\xca\x00\xb7\x01\xcb\x00\x66\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x40\x01\x0d\x01\x9a\x00\x9b\x00\x9c\x00\x42\x01\x41\x01\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x43\x01\x06\x00\x49\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\x4a\x01\x4e\x01\x12\x00\x4b\x01\x4f\x01\x5b\x00\xba\x01\x13\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x50\x01\x51\x01\x5c\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\x59\x01\x5b\x00\x68\x00\x13\x00\x37\x01\x5d\x01\x5f\x01\x06\x00\x61\x01\x63\x01\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\x54\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x8e\x00\x12\x00\x0d\x01\x9a\x00\x9b\x00\x9c\x00\x13\x00\x64\x01\x8f\x00\x66\x01\x65\x01\x67\x01\x68\x01\x6e\x01\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\x0c\x01\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x69\x01\x12\x00\x0d\x01\x9a\x00\x9b\x00\x9c\x00\x13\x00\x6c\x01\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x6d\x01\x6f\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\x06\x00\x12\x00\x74\x01\xb0\x00\xb1\x00\xb4\x01\x13\x00\x8a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x06\x00\x7d\x01\x7e\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xac\x00\x11\x00\xb8\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x4b\x00\x12\x00\x80\x01\xb0\x00\xb1\x00\x24\x01\x13\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x84\x01\xd9\x00\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xdc\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x56\x00\x12\x00\xe1\x00\xe3\x00\x06\x00\x0c\x01\x13\x00\x11\x01\xe2\x00\x12\x01\x16\x01\x92\x00\x1b\x01\x12\x00\x1a\x01\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xd3\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x56\x00\x12\x00\x1c\x01\x06\x00\x21\x01\x06\x00\x13\x00\x2a\x01\x2b\x01\x2e\x01\x2c\x01\x2f\x01\x32\x01\x12\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xb7\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x3b\x00\x37\x01\x12\x00\x3c\x00\x3a\x01\x06\x00\x06\x00\x13\x00\x2b\x00\x06\x00\x76\x00\x7d\x00\x8c\x00\x3d\x00\x3e\x00\x87\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\xc2\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x8d\x00\x3f\x00\x12\x00\x8e\x00\x93\x00\x97\x00\x40\x00\x13\x00\x94\x00\x95\x00\x98\x00\x99\x00\xa8\x00\x06\x00\xd9\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x93\x01\x11\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xa9\x00\xda\x00\x12\x00\xdb\x00\x89\x00\x06\x00\xcf\x00\x13\x00\x06\x00\xdc\x00\xdd\x00\xd7\x00\xd8\x00\x41\x00\x06\x00\xff\xff\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x94\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\x6e\x00\x13\x00\x06\x00\xff\xff\x6f\x00\x6d\x00\x77\x00\x76\x00\x06\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x98\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\xa0\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\xb1\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\xb2\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\x43\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\x46\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\x57\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\x1c\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\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\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x1f\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\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\x00\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x32\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\x38\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\xe4\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\xe4\x00\x00\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x12\x00\x00\x00\x00\x00\x00\x00\x51\x00\x13\x00\x4a\x00\x07\x00\x08\x00\x09\x00\x0a\x00\xec\x00\x00\x00\x0b\x00\x0c\x00\x82\x00\x83\x00\x84\x00\x96\x01\x11\x00\xe4\x00\x00\x00\xee\x00\xef\x00\x00\x00\x00\x00\xec\x00\x12\x00\x0b\x00\x0c\x00\x7f\x00\xfc\x00\xe4\x00\x69\x01\x00\x00\x00\x00\x00\x00\xee\x00\xef\x00\xe4\x00\x00\x00\xfd\x00\x12\x00\x0b\x00\x0c\x00\x80\x00\xe4\x00\xfe\x00\x00\x00\x00\x00\xe4\x00\x00\x00\x00\x00\xec\x00\x0b\x00\x74\x00\xe5\x00\x12\x00\xe4\x00\x00\x00\x6a\x01\x00\x00\xe4\x00\x00\x00\xee\x00\xef\x00\x00\x00\xea\x00\x12\x00\x00\x00\xe5\x00\xe4\x00\xec\x00\x00\x00\xe5\x00\xe4\x00\xe7\x00\xe8\x00\x00\x00\xed\x00\x00\x00\xf2\x00\xe5\x00\xee\x00\xef\x00\xf7\x00\xe5\x00\x00\x00\xe4\x00\x00\x00\xe7\x00\xe8\x00\x00\x00\xf8\x00\xe7\x00\xe8\x00\x00\x00\xf9\x00\x03\x01\xe5\x00\x00\x00\x00\x00\xe7\x00\xe8\x00\xec\x00\x00\x00\xe7\x00\xe8\x00\x00\x00\x00\x00\xfb\x00\xfa\x00\xe5\x00\x00\x00\x00\x00\xee\x00\xef\x00\x00\x00\x00\x00\xe7\x00\xe8\x00\x00\x00\x00\x00\x02\x01\x00\x00\xfc\x00\x04\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe7\x00\xe8\x00\x00\x00\x05\x01\x06\x01\x00\x00\x00\x00\x00\x00\xbb\x00\xfe\x00\xbc\x00\xbd\x00\xbe\x00\x00\x00\xbf\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x00\xc1\x00\xc2\x00\xc3\x00\x00\x00\x00\x00\xc4\x00\x00\x00\xc5\x00\xc6\x00\xc7\x00\x00\x00\xc8\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc9\x00\xca\x00\x00\x00\xcb\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, 254) [ +happyReduceArr = array (4, 255) [ (4 , happyReduce_4), (5 , happyReduce_5), (6 , happyReduce_6), @@ -791,7 +791,8 @@ happyReduceArr = array (4, 254) [ (251 , happyReduce_251), (252 , happyReduce_252), (253 , happyReduce_253), - (254 , happyReduce_254) + (254 , happyReduce_254), + (255 , happyReduce_255) ] happy_n_terms = 83 :: Int @@ -2548,25 +2549,33 @@ happyReduction_196 happy_x_3 (PAs happy_var_1 happy_var_3 )}} -happyReduce_197 = happySpecReduce_1 58# happyReduction_197 -happyReduction_197 happy_x_1 +happyReduce_197 = happySpecReduce_2 58# happyReduction_197 +happyReduction_197 happy_x_2 + happy_x_1 + = case happyOut64 happy_x_2 of { happy_var_2 -> + happyIn65 + (PNeg happy_var_2 + )} + +happyReduce_198 = happySpecReduce_1 58# happyReduction_198 +happyReduction_198 happy_x_1 = case happyOut64 happy_x_1 of { happy_var_1 -> happyIn65 (happy_var_1 )} -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 -> - case happyOut65 happy_x_3 of { happy_var_3 -> - happyIn66 - (PDisj happy_var_1 happy_var_3 - )}} - 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 + (PDisj happy_var_1 happy_var_3 + )}} + +happyReduce_200 = happySpecReduce_3 59# happyReduction_200 +happyReduction_200 happy_x_3 happy_x_2 happy_x_1 = case happyOut66 happy_x_1 of { happy_var_1 -> @@ -2575,15 +2584,15 @@ happyReduction_199 happy_x_3 (PSeq happy_var_1 happy_var_3 )}} -happyReduce_200 = happySpecReduce_1 59# happyReduction_200 -happyReduction_200 happy_x_1 +happyReduce_201 = happySpecReduce_1 59# happyReduction_201 +happyReduction_201 happy_x_1 = case happyOut65 happy_x_1 of { happy_var_1 -> happyIn66 (happy_var_1 )} -happyReduce_201 = happySpecReduce_3 60# happyReduction_201 -happyReduction_201 happy_x_3 +happyReduce_202 = happySpecReduce_3 60# happyReduction_202 +happyReduction_202 happy_x_3 happy_x_2 happy_x_1 = case happyOut50 happy_x_1 of { happy_var_1 -> @@ -2592,65 +2601,65 @@ happyReduction_201 happy_x_3 (PA happy_var_1 happy_var_3 )}} -happyReduce_202 = happySpecReduce_1 61# happyReduction_202 -happyReduction_202 happy_x_1 +happyReduce_203 = happySpecReduce_1 61# happyReduction_203 +happyReduction_203 happy_x_1 = case happyOut7 happy_x_1 of { happy_var_1 -> happyIn68 (LIdent happy_var_1 )} -happyReduce_203 = happySpecReduce_2 61# happyReduction_203 -happyReduction_203 happy_x_2 +happyReduce_204 = happySpecReduce_2 61# happyReduction_204 +happyReduction_204 happy_x_2 happy_x_1 = case happyOut8 happy_x_2 of { happy_var_2 -> happyIn68 (LVar happy_var_2 )} -happyReduce_204 = happySpecReduce_1 62# happyReduction_204 -happyReduction_204 happy_x_1 - = happyIn69 - (Sort_Type - ) - happyReduce_205 = happySpecReduce_1 62# happyReduction_205 happyReduction_205 happy_x_1 = happyIn69 - (Sort_PType + (Sort_Type ) happyReduce_206 = happySpecReduce_1 62# happyReduction_206 happyReduction_206 happy_x_1 = happyIn69 - (Sort_Tok + (Sort_PType ) happyReduce_207 = happySpecReduce_1 62# happyReduction_207 happyReduction_207 happy_x_1 = happyIn69 - (Sort_Str + (Sort_Tok ) happyReduce_208 = happySpecReduce_1 62# happyReduction_208 happyReduction_208 happy_x_1 + = happyIn69 + (Sort_Str + ) + +happyReduce_209 = happySpecReduce_1 62# happyReduction_209 +happyReduction_209 happy_x_1 = happyIn69 (Sort_Strs ) -happyReduce_209 = happySpecReduce_0 63# happyReduction_209 -happyReduction_209 = happyIn70 +happyReduce_210 = happySpecReduce_0 63# happyReduction_210 +happyReduction_210 = happyIn70 ([] ) -happyReduce_210 = happySpecReduce_1 63# happyReduction_210 -happyReduction_210 happy_x_1 +happyReduce_211 = happySpecReduce_1 63# happyReduction_211 +happyReduction_211 happy_x_1 = case happyOut67 happy_x_1 of { happy_var_1 -> happyIn70 ((:[]) happy_var_1 )} -happyReduce_211 = happySpecReduce_3 63# happyReduction_211 -happyReduction_211 happy_x_3 +happyReduce_212 = happySpecReduce_3 63# happyReduction_212 +happyReduction_212 happy_x_3 happy_x_2 happy_x_1 = case happyOut67 happy_x_1 of { happy_var_1 -> @@ -2659,15 +2668,15 @@ happyReduction_211 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_212 = happySpecReduce_1 64# happyReduction_212 -happyReduction_212 happy_x_1 +happyReduce_213 = happySpecReduce_1 64# happyReduction_213 +happyReduction_213 happy_x_1 = case happyOut64 happy_x_1 of { happy_var_1 -> happyIn71 ((:[]) happy_var_1 )} -happyReduce_213 = happySpecReduce_2 64# happyReduction_213 -happyReduction_213 happy_x_2 +happyReduce_214 = happySpecReduce_2 64# happyReduction_214 +happyReduction_214 happy_x_2 happy_x_1 = case happyOut64 happy_x_1 of { happy_var_1 -> case happyOut71 happy_x_2 of { happy_var_2 -> @@ -2675,33 +2684,33 @@ happyReduction_213 happy_x_2 ((:) happy_var_1 happy_var_2 )}} -happyReduce_214 = happySpecReduce_1 65# happyReduction_214 -happyReduction_214 happy_x_1 +happyReduce_215 = happySpecReduce_1 65# happyReduction_215 +happyReduction_215 happy_x_1 = case happyOut7 happy_x_1 of { happy_var_1 -> happyIn72 (BIdent happy_var_1 )} -happyReduce_215 = happySpecReduce_1 65# happyReduction_215 -happyReduction_215 happy_x_1 +happyReduce_216 = happySpecReduce_1 65# happyReduction_216 +happyReduction_216 happy_x_1 = happyIn72 (BWild ) -happyReduce_216 = happySpecReduce_0 66# happyReduction_216 -happyReduction_216 = happyIn73 +happyReduce_217 = happySpecReduce_0 66# happyReduction_217 +happyReduction_217 = happyIn73 ([] ) -happyReduce_217 = happySpecReduce_1 66# happyReduction_217 -happyReduction_217 happy_x_1 +happyReduce_218 = happySpecReduce_1 66# happyReduction_218 +happyReduction_218 happy_x_1 = case happyOut72 happy_x_1 of { happy_var_1 -> happyIn73 ((:[]) happy_var_1 )} -happyReduce_218 = happySpecReduce_3 66# happyReduction_218 -happyReduction_218 happy_x_3 +happyReduce_219 = happySpecReduce_3 66# happyReduction_219 +happyReduction_219 happy_x_3 happy_x_2 happy_x_1 = case happyOut72 happy_x_1 of { happy_var_1 -> @@ -2710,8 +2719,8 @@ happyReduction_218 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_219 = happyReduce 5# 67# happyReduction_219 -happyReduction_219 (happy_x_5 `HappyStk` +happyReduce_220 = happyReduce 5# 67# happyReduction_220 +happyReduction_220 (happy_x_5 `HappyStk` happy_x_4 `HappyStk` happy_x_3 `HappyStk` happy_x_2 `HappyStk` @@ -2723,41 +2732,41 @@ happyReduction_219 (happy_x_5 `HappyStk` (DDec happy_var_2 happy_var_4 ) `HappyStk` happyRest}} -happyReduce_220 = happySpecReduce_1 67# happyReduction_220 -happyReduction_220 happy_x_1 +happyReduce_221 = happySpecReduce_1 67# happyReduction_221 +happyReduction_221 happy_x_1 = case happyOut57 happy_x_1 of { happy_var_1 -> happyIn74 (DExp happy_var_1 )} -happyReduce_221 = happySpecReduce_1 68# happyReduction_221 -happyReduction_221 happy_x_1 +happyReduce_222 = happySpecReduce_1 68# happyReduction_222 +happyReduction_222 happy_x_1 = case happyOut60 happy_x_1 of { happy_var_1 -> happyIn75 (TComp happy_var_1 )} -happyReduce_222 = happySpecReduce_1 69# happyReduction_222 -happyReduction_222 happy_x_1 +happyReduce_223 = happySpecReduce_1 69# happyReduction_223 +happyReduction_223 happy_x_1 = case happyOut66 happy_x_1 of { happy_var_1 -> happyIn76 (PTComp happy_var_1 )} -happyReduce_223 = happySpecReduce_0 70# happyReduction_223 -happyReduction_223 = happyIn77 +happyReduce_224 = happySpecReduce_0 70# happyReduction_224 +happyReduction_224 = happyIn77 ([] ) -happyReduce_224 = happySpecReduce_1 70# happyReduction_224 -happyReduction_224 happy_x_1 +happyReduce_225 = happySpecReduce_1 70# happyReduction_225 +happyReduction_225 happy_x_1 = case happyOut75 happy_x_1 of { happy_var_1 -> happyIn77 ((:[]) happy_var_1 )} -happyReduce_225 = happySpecReduce_3 70# happyReduction_225 -happyReduction_225 happy_x_3 +happyReduce_226 = happySpecReduce_3 70# happyReduction_226 +happyReduction_226 happy_x_3 happy_x_2 happy_x_1 = case happyOut75 happy_x_1 of { happy_var_1 -> @@ -2766,20 +2775,20 @@ happyReduction_225 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_226 = happySpecReduce_0 71# happyReduction_226 -happyReduction_226 = happyIn78 +happyReduce_227 = happySpecReduce_0 71# happyReduction_227 +happyReduction_227 = happyIn78 ([] ) -happyReduce_227 = happySpecReduce_1 71# happyReduction_227 -happyReduction_227 happy_x_1 +happyReduce_228 = happySpecReduce_1 71# happyReduction_228 +happyReduction_228 happy_x_1 = case happyOut76 happy_x_1 of { happy_var_1 -> happyIn78 ((:[]) happy_var_1 )} -happyReduce_228 = happySpecReduce_3 71# happyReduction_228 -happyReduction_228 happy_x_3 +happyReduce_229 = happySpecReduce_3 71# happyReduction_229 +happyReduction_229 happy_x_3 happy_x_2 happy_x_1 = case happyOut76 happy_x_1 of { happy_var_1 -> @@ -2788,8 +2797,8 @@ happyReduction_228 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_229 = happySpecReduce_3 72# happyReduction_229 -happyReduction_229 happy_x_3 +happyReduce_230 = happySpecReduce_3 72# happyReduction_230 +happyReduction_230 happy_x_3 happy_x_2 happy_x_1 = case happyOut66 happy_x_1 of { happy_var_1 -> @@ -2798,15 +2807,15 @@ happyReduction_229 happy_x_3 (Case happy_var_1 happy_var_3 )}} -happyReduce_230 = happySpecReduce_1 73# happyReduction_230 -happyReduction_230 happy_x_1 +happyReduce_231 = happySpecReduce_1 73# happyReduction_231 +happyReduction_231 happy_x_1 = case happyOut79 happy_x_1 of { happy_var_1 -> happyIn80 ((:[]) happy_var_1 )} -happyReduce_231 = happySpecReduce_3 73# happyReduction_231 -happyReduction_231 happy_x_3 +happyReduce_232 = happySpecReduce_3 73# happyReduction_232 +happyReduction_232 happy_x_3 happy_x_2 happy_x_1 = case happyOut79 happy_x_1 of { happy_var_1 -> @@ -2815,8 +2824,8 @@ happyReduction_231 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_232 = happySpecReduce_3 74# happyReduction_232 -happyReduction_232 happy_x_3 +happyReduce_233 = happySpecReduce_3 74# happyReduction_233 +happyReduction_233 happy_x_3 happy_x_2 happy_x_1 = case happyOut71 happy_x_1 of { happy_var_1 -> @@ -2825,20 +2834,20 @@ happyReduction_232 happy_x_3 (Equ happy_var_1 happy_var_3 )}} -happyReduce_233 = happySpecReduce_0 75# happyReduction_233 -happyReduction_233 = happyIn82 +happyReduce_234 = happySpecReduce_0 75# happyReduction_234 +happyReduction_234 = happyIn82 ([] ) -happyReduce_234 = happySpecReduce_1 75# happyReduction_234 -happyReduction_234 happy_x_1 +happyReduce_235 = happySpecReduce_1 75# happyReduction_235 +happyReduction_235 happy_x_1 = case happyOut81 happy_x_1 of { happy_var_1 -> happyIn82 ((:[]) happy_var_1 )} -happyReduce_235 = happySpecReduce_3 75# happyReduction_235 -happyReduction_235 happy_x_3 +happyReduce_236 = happySpecReduce_3 75# happyReduction_236 +happyReduction_236 happy_x_3 happy_x_2 happy_x_1 = case happyOut81 happy_x_1 of { happy_var_1 -> @@ -2847,8 +2856,8 @@ happyReduction_235 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_236 = happySpecReduce_3 76# happyReduction_236 -happyReduction_236 happy_x_3 +happyReduce_237 = happySpecReduce_3 76# happyReduction_237 +happyReduction_237 happy_x_3 happy_x_2 happy_x_1 = case happyOut60 happy_x_1 of { happy_var_1 -> @@ -2857,20 +2866,20 @@ happyReduction_236 happy_x_3 (Alt happy_var_1 happy_var_3 )}} -happyReduce_237 = happySpecReduce_0 77# happyReduction_237 -happyReduction_237 = happyIn84 +happyReduce_238 = happySpecReduce_0 77# happyReduction_238 +happyReduction_238 = happyIn84 ([] ) -happyReduce_238 = happySpecReduce_1 77# happyReduction_238 -happyReduction_238 happy_x_1 +happyReduce_239 = happySpecReduce_1 77# happyReduction_239 +happyReduction_239 happy_x_1 = case happyOut83 happy_x_1 of { happy_var_1 -> happyIn84 ((:[]) happy_var_1 )} -happyReduce_239 = happySpecReduce_3 77# happyReduction_239 -happyReduction_239 happy_x_3 +happyReduce_240 = happySpecReduce_3 77# happyReduction_240 +happyReduction_240 happy_x_3 happy_x_2 happy_x_1 = case happyOut83 happy_x_1 of { happy_var_1 -> @@ -2879,8 +2888,8 @@ happyReduction_239 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_240 = happyReduce 5# 78# happyReduction_240 -happyReduction_240 (happy_x_5 `HappyStk` +happyReduce_241 = happyReduce 5# 78# happyReduction_241 +happyReduction_241 (happy_x_5 `HappyStk` happy_x_4 `HappyStk` happy_x_3 `HappyStk` happy_x_2 `HappyStk` @@ -2892,20 +2901,20 @@ happyReduction_240 (happy_x_5 `HappyStk` (DDDec happy_var_2 happy_var_4 ) `HappyStk` happyRest}} -happyReduce_241 = happySpecReduce_1 78# happyReduction_241 -happyReduction_241 happy_x_1 +happyReduce_242 = happySpecReduce_1 78# happyReduction_242 +happyReduction_242 happy_x_1 = case happyOut55 happy_x_1 of { happy_var_1 -> happyIn85 (DDExp happy_var_1 )} -happyReduce_242 = happySpecReduce_0 79# happyReduction_242 -happyReduction_242 = happyIn86 +happyReduce_243 = happySpecReduce_0 79# happyReduction_243 +happyReduction_243 = happyIn86 ([] ) -happyReduce_243 = happySpecReduce_2 79# happyReduction_243 -happyReduction_243 happy_x_2 +happyReduce_244 = happySpecReduce_2 79# happyReduction_244 +happyReduction_244 happy_x_2 happy_x_1 = case happyOut86 happy_x_1 of { happy_var_1 -> case happyOut85 happy_x_2 of { happy_var_2 -> @@ -2913,8 +2922,8 @@ happyReduction_243 happy_x_2 (flip (:) happy_var_1 happy_var_2 )}} -happyReduce_244 = happySpecReduce_2 80# happyReduction_244 -happyReduction_244 happy_x_2 +happyReduce_245 = happySpecReduce_2 80# happyReduction_245 +happyReduction_245 happy_x_2 happy_x_1 = case happyOut88 happy_x_1 of { happy_var_1 -> case happyOut22 happy_x_2 of { happy_var_2 -> @@ -2922,47 +2931,39 @@ happyReduction_244 happy_x_2 (OldGr happy_var_1 (reverse happy_var_2) )}} -happyReduce_245 = happySpecReduce_0 81# happyReduction_245 -happyReduction_245 = happyIn88 +happyReduce_246 = happySpecReduce_0 81# happyReduction_246 +happyReduction_246 = happyIn88 (NoIncl ) -happyReduce_246 = happySpecReduce_2 81# happyReduction_246 -happyReduction_246 happy_x_2 +happyReduce_247 = happySpecReduce_2 81# happyReduction_247 +happyReduction_247 happy_x_2 happy_x_1 = case happyOut90 happy_x_2 of { happy_var_2 -> happyIn88 (Incl happy_var_2 )} -happyReduce_247 = happySpecReduce_1 82# happyReduction_247 -happyReduction_247 happy_x_1 +happyReduce_248 = happySpecReduce_1 82# happyReduction_248 +happyReduction_248 happy_x_1 = case happyOut9 happy_x_1 of { happy_var_1 -> happyIn89 (FString happy_var_1 )} -happyReduce_248 = happySpecReduce_1 82# happyReduction_248 -happyReduction_248 happy_x_1 +happyReduce_249 = happySpecReduce_1 82# happyReduction_249 +happyReduction_249 happy_x_1 = case happyOut7 happy_x_1 of { happy_var_1 -> happyIn89 (FIdent happy_var_1 )} -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_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 + (FSlash happy_var_2 )} happyReduce_251 = happySpecReduce_2 82# happyReduction_251 @@ -2970,11 +2971,19 @@ happyReduction_251 happy_x_2 happy_x_1 = case happyOut89 happy_x_2 of { happy_var_2 -> happyIn89 - (FMinus happy_var_2 + (FDot happy_var_2 )} happyReduce_252 = happySpecReduce_2 82# happyReduction_252 happyReduction_252 happy_x_2 + happy_x_1 + = case happyOut89 happy_x_2 of { happy_var_2 -> + happyIn89 + (FMinus happy_var_2 + )} + +happyReduce_253 = happySpecReduce_2 82# happyReduction_253 +happyReduction_253 happy_x_2 happy_x_1 = case happyOut7 happy_x_1 of { happy_var_1 -> case happyOut89 happy_x_2 of { happy_var_2 -> @@ -2982,16 +2991,16 @@ happyReduction_252 happy_x_2 (FAddId happy_var_1 happy_var_2 )}} -happyReduce_253 = happySpecReduce_2 83# happyReduction_253 -happyReduction_253 happy_x_2 +happyReduce_254 = happySpecReduce_2 83# happyReduction_254 +happyReduction_254 happy_x_2 happy_x_1 = case happyOut89 happy_x_1 of { happy_var_1 -> happyIn90 ((:[]) happy_var_1 )} -happyReduce_254 = happySpecReduce_3 83# happyReduction_254 -happyReduction_254 happy_x_3 +happyReduce_255 = happySpecReduce_3 83# happyReduction_255 +happyReduction_255 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 3399c0862..944fe7562 100644 --- a/src/GF/Source/ParGF.y +++ b/src/GF/Source/ParGF.y @@ -456,6 +456,7 @@ Patt1 : Ident ListPatt { PC $1 $2 } | Ident '.' Ident ListPatt { PQC $1 $3 $4 } | Patt2 '*' { PRep $1 } | Ident '@' Patt2 { PAs $1 $3 } + | '-' Patt2 { PNeg $2 } | Patt2 { $1 } diff --git a/src/GF/Source/PrintGF.hs b/src/GF/Source/PrintGF.hs index ad9dd46c0..71bfe4dd6 100644 --- a/src/GF/Source/PrintGF.hs +++ b/src/GF/Source/PrintGF.hs @@ -402,6 +402,7 @@ instance Print Patt where 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]) + PNeg patt -> prPrec i 1 (concatD [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 6465b6fc9..ffba51d6e 100644 --- a/src/GF/Source/SourceToGrammar.hs +++ b/src/GF/Source/SourceToGrammar.hs @@ -559,7 +559,8 @@ transPatt x = case x of 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) + PNeg p -> liftM G.PNeg (transPatt p) + PAs x p -> liftM2 G.PAs (transIdent x) (transPatt p)