    {-# OPTIONS -fglasgow-exts -cpp #-}
    {-# OPTIONS -fno-warn-incomplete-patterns #-}
    {-| The parser is generated by Happy (<http://www.haskell.org/happy>).
    -}
    module Agda.Syntax.Parser.Parser (
          moduleParser
        , exprParser
        , tokensParser
        , tests
        ) where

    import Control.Arrow
    import Control.Monad
    import Control.Monad.State
    import Data.Char
    import Data.List
    import Data.Maybe
    import qualified Data.Traversable as T

    import Agda.Syntax.Position hiding (tests)
    import Agda.Syntax.Parser.Monad
    import Agda.Syntax.Parser.Lexer
    import Agda.Syntax.Parser.Tokens
    import Agda.Syntax.Concrete
    import Agda.Syntax.Concrete.Name
    import Agda.Syntax.Concrete.Pretty
    import Agda.Syntax.Common
    import Agda.Syntax.Fixity
    import Agda.Syntax.Literal

    import Agda.Utils.Monad
    import Agda.Utils.QuickCheck
    import Agda.Utils.TestHelpers
    #if __GLASGOW_HASKELL__ >= 503
    import Data.Array
    #else
    import Array
    #endif
    #if __GLASGOW_HASKELL__ >= 503
    import GHC.Exts
    #else
    import GlaExts
    #endif

    -- parser produced by Happy Version 1.17

    newtype HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59 = HappyAbsSyn HappyAny
    #if __GLASGOW_HASKELL__ >= 607
    type HappyAny = GHC.Exts.Any
    #else
    type HappyAny = forall a . a
    #endif
    happyIn6 :: ([Token]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn6 x = unsafeCoerce# x
    {-# INLINE happyIn6 #-}
    happyOut6 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Token])
    happyOut6 x = unsafeCoerce# x
    {-# INLINE happyOut6 #-}
    happyIn7 :: ([Token]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn7 x = unsafeCoerce# x
    {-# INLINE happyIn7 #-}
    happyOut7 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Token])
    happyOut7 x = unsafeCoerce# x
    {-# INLINE happyOut7 #-}
    happyIn8 :: (Token) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn8 x = unsafeCoerce# x
    {-# INLINE happyIn8 #-}
    happyOut8 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Token)
    happyOut8 x = unsafeCoerce# x
    {-# INLINE happyOut8 #-}
    happyIn9 :: (()) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn9 x = unsafeCoerce# x
    {-# INLINE happyIn9 #-}
    happyOut9 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (())
    happyOut9 x = unsafeCoerce# x
    {-# INLINE happyOut9 #-}
    happyIn10 :: (([Pragma], [Declaration])) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn10 x = unsafeCoerce# x
    {-# INLINE happyIn10 #-}
    happyOut10 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (([Pragma], [Declaration]))
    happyOut10 x = unsafeCoerce# x
    {-# INLINE happyOut10 #-}
    happyIn11 :: t11 -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn11 x = unsafeCoerce# x
    {-# INLINE happyIn11 #-}
    happyOut11 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> t11
    happyOut11 x = unsafeCoerce# x
    {-# INLINE happyOut11 #-}
    happyIn12 :: t12 -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn12 x = unsafeCoerce# x
    {-# INLINE happyIn12 #-}
    happyOut12 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> t12
    happyOut12 x = unsafeCoerce# x
    {-# INLINE happyOut12 #-}
    happyIn13 :: t13 -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn13 x = unsafeCoerce# x
    {-# INLINE happyIn13 #-}
    happyOut13 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> t13
    happyOut13 x = unsafeCoerce# x
    {-# INLINE happyOut13 #-}
    happyIn14 :: (()) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn14 x = unsafeCoerce# x
    {-# INLINE happyIn14 #-}
    happyOut14 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (())
    happyOut14 x = unsafeCoerce# x
    {-# INLINE happyOut14 #-}
    happyIn15 :: (Integer) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn15 x = unsafeCoerce# x
    {-# INLINE happyIn15 #-}
    happyOut15 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Integer)
    happyOut15 x = unsafeCoerce# x
    {-# INLINE happyOut15 #-}
    happyIn16 :: (Name) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn16 x = unsafeCoerce# x
    {-# INLINE happyIn16 #-}
    happyOut16 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Name)
    happyOut16 x = unsafeCoerce# x
    {-# INLINE happyOut16 #-}
    happyIn17 :: ([Name]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn17 x = unsafeCoerce# x
    {-# INLINE happyIn17 #-}
    happyOut17 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Name])
    happyOut17 x = unsafeCoerce# x
    {-# INLINE happyOut17 #-}
    happyIn18 :: ([(Hiding, Name)]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn18 x = unsafeCoerce# x
    {-# INLINE happyIn18 #-}
    happyOut18 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([(Hiding, Name)])
    happyOut18 x = unsafeCoerce# x
    {-# INLINE happyOut18 #-}
    happyIn19 :: (QName) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn19 x = unsafeCoerce# x
    {-# INLINE happyIn19 #-}
    happyOut19 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (QName)
    happyOut19 x = unsafeCoerce# x
    {-# INLINE happyOut19 #-}
    happyIn20 :: (QName) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn20 x = unsafeCoerce# x
    {-# INLINE happyIn20 #-}
    happyOut20 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (QName)
    happyOut20 x = unsafeCoerce# x
    {-# INLINE happyOut20 #-}
    happyIn21 :: (Name) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn21 x = unsafeCoerce# x
    {-# INLINE happyIn21 #-}
    happyOut21 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Name)
    happyOut21 x = unsafeCoerce# x
    {-# INLINE happyOut21 #-}
    happyIn22 :: ([Name]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn22 x = unsafeCoerce# x
    {-# INLINE happyIn22 #-}
    happyOut22 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Name])
    happyOut22 x = unsafeCoerce# x
    {-# INLINE happyOut22 #-}
    happyIn23 :: ([Name]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn23 x = unsafeCoerce# x
    {-# INLINE happyIn23 #-}
    happyOut23 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Name])
    happyOut23 x = unsafeCoerce# x
    {-# INLINE happyOut23 #-}
    happyIn24 :: ([String]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn24 x = unsafeCoerce# x
    {-# INLINE happyIn24 #-}
    happyOut24 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([String])
    happyOut24 x = unsafeCoerce# x
    {-# INLINE happyOut24 #-}
    happyIn25 :: (QName) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn25 x = unsafeCoerce# x
    {-# INLINE happyIn25 #-}
    happyOut25 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (QName)
    happyOut25 x = unsafeCoerce# x
    {-# INLINE happyOut25 #-}
    happyIn26 :: (Expr) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn26 x = unsafeCoerce# x
    {-# INLINE happyIn26 #-}
    happyOut26 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Expr)
    happyOut26 x = unsafeCoerce# x
    {-# INLINE happyOut26 #-}
    happyIn27 :: t27 -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn27 x = unsafeCoerce# x
    {-# INLINE happyIn27 #-}
    happyOut27 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> t27
    happyOut27 x = unsafeCoerce# x
    {-# INLINE happyOut27 #-}
    happyIn28 :: ([Expr]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn28 x = unsafeCoerce# x
    {-# INLINE happyIn28 #-}
    happyOut28 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Expr])
    happyOut28 x = unsafeCoerce# x
    {-# INLINE happyOut28 #-}
    happyIn29 :: ([Expr]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn29 x = unsafeCoerce# x
    {-# INLINE happyIn29 #-}
    happyOut29 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Expr])
    happyOut29 x = unsafeCoerce# x
    {-# INLINE happyOut29 #-}
    happyIn30 :: t30 -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn30 x = unsafeCoerce# x
    {-# INLINE happyIn30 #-}
    happyOut30 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> t30
    happyOut30 x = unsafeCoerce# x
    {-# INLINE happyOut30 #-}
    happyIn31 :: ([Expr]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn31 x = unsafeCoerce# x
    {-# INLINE happyIn31 #-}
    happyOut31 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Expr])
    happyOut31 x = unsafeCoerce# x
    {-# INLINE happyOut31 #-}
    happyIn32 :: t32 -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn32 x = unsafeCoerce# x
    {-# INLINE happyIn32 #-}
    happyOut32 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> t32
    happyOut32 x = unsafeCoerce# x
    {-# INLINE happyOut32 #-}
    happyIn33 :: ([(Name, Expr)]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn33 x = unsafeCoerce# x
    {-# INLINE happyIn33 #-}
    happyOut33 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([(Name, Expr)])
    happyOut33 x = unsafeCoerce# x
    {-# INLINE happyOut33 #-}
    happyIn34 :: ([(Name, Expr)]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn34 x = unsafeCoerce# x
    {-# INLINE happyIn34 #-}
    happyOut34 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([(Name, Expr)])
    happyOut34 x = unsafeCoerce# x
    {-# INLINE happyOut34 #-}
    happyIn35 :: ((Name, Expr)) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn35 x = unsafeCoerce# x
    {-# INLINE happyIn35 #-}
    happyOut35 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ((Name, Expr))
    happyOut35 x = unsafeCoerce# x
    {-# INLINE happyOut35 #-}
    happyIn36 :: t36 -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn36 x = unsafeCoerce# x
    {-# INLINE happyIn36 #-}
    happyOut36 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> t36
    happyOut36 x = unsafeCoerce# x
    {-# INLINE happyOut36 #-}
    happyIn37 :: t37 -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn37 x = unsafeCoerce# x
    {-# INLINE happyIn37 #-}
    happyOut37 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> t37
    happyOut37 x = unsafeCoerce# x
    {-# INLINE happyOut37 #-}
    happyIn38 :: ([TypedBindings]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn38 x = unsafeCoerce# x
    {-# INLINE happyIn38 #-}
    happyOut38 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([TypedBindings])
    happyOut38 x = unsafeCoerce# x
    {-# INLINE happyOut38 #-}
    happyIn39 :: (TypedBindings) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn39 x = unsafeCoerce# x
    {-# INLINE happyIn39 #-}
    happyOut39 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (TypedBindings)
    happyOut39 x = unsafeCoerce# x
    {-# INLINE happyOut39 #-}
    happyIn40 :: ([TypedBinding]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn40 x = unsafeCoerce# x
    {-# INLINE happyIn40 #-}
    happyOut40 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([TypedBinding])
    happyOut40 x = unsafeCoerce# x
    {-# INLINE happyOut40 #-}
    happyIn41 :: ([TypedBinding]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn41 x = unsafeCoerce# x
    {-# INLINE happyIn41 #-}
    happyOut41 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([TypedBinding])
    happyOut41 x = unsafeCoerce# x
    {-# INLINE happyOut41 #-}
    happyIn42 :: (TypedBinding) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn42 x = unsafeCoerce# x
    {-# INLINE happyIn42 #-}
    happyOut42 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (TypedBinding)
    happyOut42 x = unsafeCoerce# x
    {-# INLINE happyOut42 #-}
    happyIn43 :: ([LamBinding]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn43 x = unsafeCoerce# x
    {-# INLINE happyIn43 #-}
    happyOut43 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([LamBinding])
    happyOut43 x = unsafeCoerce# x
    {-# INLINE happyOut43 #-}
    happyIn44 :: (([LamBinding], Hiding)) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn44 x = unsafeCoerce# x
    {-# INLINE happyIn44 #-}
    happyOut44 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (([LamBinding], Hiding))
    happyOut44 x = unsafeCoerce# x
    {-# INLINE happyOut44 #-}
    happyIn45 :: ([Either Hiding LamBinding]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn45 x = unsafeCoerce# x
    {-# INLINE happyIn45 #-}
    happyOut45 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Either Hiding LamBinding])
    happyOut45 x = unsafeCoerce# x
    {-# INLINE happyOut45 #-}
    happyIn46 :: ([LamBinding]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn46 x = unsafeCoerce# x
    {-# INLINE happyIn46 #-}
    happyOut46 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([LamBinding])
    happyOut46 x = unsafeCoerce# x
    {-# INLINE happyOut46 #-}
    happyIn47 :: ([LamBinding]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn47 x = unsafeCoerce# x
    {-# INLINE happyIn47 #-}
    happyOut47 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([LamBinding])
    happyOut47 x = unsafeCoerce# x
    {-# INLINE happyOut47 #-}
    happyIn48 :: ((Maybe AsName, ImportDirective)) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn48 x = unsafeCoerce# x
    {-# INLINE happyIn48 #-}
    happyOut48 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ((Maybe AsName, ImportDirective))
    happyOut48 x = unsafeCoerce# x
    {-# INLINE happyOut48 #-}
    happyIn49 :: (ImportDirective) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn49 x = unsafeCoerce# x
    {-# INLINE happyIn49 #-}
    happyOut49 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (ImportDirective)
    happyOut49 x = unsafeCoerce# x
    {-# INLINE happyOut49 #-}
    happyIn50 :: (ImportDirective) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn50 x = unsafeCoerce# x
    {-# INLINE happyIn50 #-}
    happyOut50 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (ImportDirective)
    happyOut50 x = unsafeCoerce# x
    {-# INLINE happyOut50 #-}
    happyIn51 :: (ImportDirective) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn51 x = unsafeCoerce# x
    {-# INLINE happyIn51 #-}
    happyOut51 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (ImportDirective)
    happyOut51 x = unsafeCoerce# x
    {-# INLINE happyOut51 #-}
    happyIn52 :: (UsingOrHiding) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn52 x = unsafeCoerce# x
    {-# INLINE happyIn52 #-}
    happyOut52 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (UsingOrHiding)
    happyOut52 x = unsafeCoerce# x
    {-# INLINE happyOut52 #-}
    happyIn53 :: ([Renaming]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn53 x = unsafeCoerce# x
    {-# INLINE happyIn53 #-}
    happyOut53 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Renaming])
    happyOut53 x = unsafeCoerce# x
    {-# INLINE happyOut53 #-}
    happyIn54 :: ([Renaming]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn54 x = unsafeCoerce# x
    {-# INLINE happyIn54 #-}
    happyOut54 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Renaming])
    happyOut54 x = unsafeCoerce# x
    {-# INLINE happyOut54 #-}
    happyIn55 :: (Renaming) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn55 x = unsafeCoerce# x
    {-# INLINE happyIn55 #-}
    happyOut55 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Renaming)
    happyOut55 x = unsafeCoerce# x
    {-# INLINE happyOut55 #-}
    happyIn56 :: (ImportedName) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn56 x = unsafeCoerce# x
    {-# INLINE happyIn56 #-}
    happyOut56 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (ImportedName)
    happyOut56 x = unsafeCoerce# x
    {-# INLINE happyOut56 #-}
    happyIn57 :: (ImportedName) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn57 x = unsafeCoerce# x
    {-# INLINE happyIn57 #-}
    happyOut57 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (ImportedName)
    happyOut57 x = unsafeCoerce# x
    {-# INLINE happyOut57 #-}
    happyIn58 :: ([ImportedName]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn58 x = unsafeCoerce# x
    {-# INLINE happyIn58 #-}
    happyOut58 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([ImportedName])
    happyOut58 x = unsafeCoerce# x
    {-# INLINE happyOut58 #-}
    happyIn59 :: t59 -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn59 x = unsafeCoerce# x
    {-# INLINE happyIn59 #-}
    happyOut59 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> t59
    happyOut59 x = unsafeCoerce# x
    {-# INLINE happyOut59 #-}
    happyIn60 :: (LHS) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn60 x = unsafeCoerce# x
    {-# INLINE happyIn60 #-}
    happyOut60 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (LHS)
    happyOut60 x = unsafeCoerce# x
    {-# INLINE happyOut60 #-}
    happyIn61 :: ([Pattern]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn61 x = unsafeCoerce# x
    {-# INLINE happyIn61 #-}
    happyOut61 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Pattern])
    happyOut61 x = unsafeCoerce# x
    {-# INLINE happyOut61 #-}
    happyIn62 :: ([Expr]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn62 x = unsafeCoerce# x
    {-# INLINE happyIn62 #-}
    happyOut62 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Expr])
    happyOut62 x = unsafeCoerce# x
    {-# INLINE happyOut62 #-}
    happyIn63 :: ([Expr]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn63 x = unsafeCoerce# x
    {-# INLINE happyIn63 #-}
    happyOut63 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Expr])
    happyOut63 x = unsafeCoerce# x
    {-# INLINE happyOut63 #-}
    happyIn64 :: (WhereClause) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn64 x = unsafeCoerce# x
    {-# INLINE happyIn64 #-}
    happyOut64 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (WhereClause)
    happyOut64 x = unsafeCoerce# x
    {-# INLINE happyOut64 #-}
    happyIn65 :: ([Declaration]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn65 x = unsafeCoerce# x
    {-# INLINE happyIn65 #-}
    happyOut65 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Declaration])
    happyOut65 x = unsafeCoerce# x
    {-# INLINE happyOut65 #-}
    happyIn66 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn66 x = unsafeCoerce# x
    {-# INLINE happyIn66 #-}
    happyOut66 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut66 x = unsafeCoerce# x
    {-# INLINE happyOut66 #-}
    happyIn67 :: ([Declaration]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn67 x = unsafeCoerce# x
    {-# INLINE happyIn67 #-}
    happyOut67 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Declaration])
    happyOut67 x = unsafeCoerce# x
    {-# INLINE happyOut67 #-}
    happyIn68 :: ([(Hiding, Declaration)]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn68 x = unsafeCoerce# x
    {-# INLINE happyIn68 #-}
    happyOut68 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([(Hiding, Declaration)])
    happyOut68 x = unsafeCoerce# x
    {-# INLINE happyOut68 #-}
    happyIn69 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn69 x = unsafeCoerce# x
    {-# INLINE happyIn69 #-}
    happyOut69 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut69 x = unsafeCoerce# x
    {-# INLINE happyOut69 #-}
    happyIn70 :: (RHS) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn70 x = unsafeCoerce# x
    {-# INLINE happyIn70 #-}
    happyOut70 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (RHS)
    happyOut70 x = unsafeCoerce# x
    {-# INLINE happyOut70 #-}
    happyIn71 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn71 x = unsafeCoerce# x
    {-# INLINE happyIn71 #-}
    happyOut71 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut71 x = unsafeCoerce# x
    {-# INLINE happyOut71 #-}
    happyIn72 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn72 x = unsafeCoerce# x
    {-# INLINE happyIn72 #-}
    happyOut72 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut72 x = unsafeCoerce# x
    {-# INLINE happyOut72 #-}
    happyIn73 :: (Name) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn73 x = unsafeCoerce# x
    {-# INLINE happyIn73 #-}
    happyOut73 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Name)
    happyOut73 x = unsafeCoerce# x
    {-# INLINE happyOut73 #-}
    happyIn74 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn74 x = unsafeCoerce# x
    {-# INLINE happyIn74 #-}
    happyOut74 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut74 x = unsafeCoerce# x
    {-# INLINE happyOut74 #-}
    happyIn75 :: ([Declaration]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn75 x = unsafeCoerce# x
    {-# INLINE happyIn75 #-}
    happyOut75 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Declaration])
    happyOut75 x = unsafeCoerce# x
    {-# INLINE happyOut75 #-}
    happyIn76 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn76 x = unsafeCoerce# x
    {-# INLINE happyIn76 #-}
    happyOut76 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut76 x = unsafeCoerce# x
    {-# INLINE happyOut76 #-}
    happyIn77 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn77 x = unsafeCoerce# x
    {-# INLINE happyIn77 #-}
    happyOut77 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut77 x = unsafeCoerce# x
    {-# INLINE happyOut77 #-}
    happyIn78 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn78 x = unsafeCoerce# x
    {-# INLINE happyIn78 #-}
    happyOut78 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut78 x = unsafeCoerce# x
    {-# INLINE happyOut78 #-}
    happyIn79 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn79 x = unsafeCoerce# x
    {-# INLINE happyIn79 #-}
    happyOut79 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut79 x = unsafeCoerce# x
    {-# INLINE happyOut79 #-}
    happyIn80 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn80 x = unsafeCoerce# x
    {-# INLINE happyIn80 #-}
    happyOut80 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut80 x = unsafeCoerce# x
    {-# INLINE happyOut80 #-}
    happyIn81 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn81 x = unsafeCoerce# x
    {-# INLINE happyIn81 #-}
    happyOut81 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut81 x = unsafeCoerce# x
    {-# INLINE happyOut81 #-}
    happyIn82 :: ([Expr]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn82 x = unsafeCoerce# x
    {-# INLINE happyIn82 #-}
    happyOut82 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Expr])
    happyOut82 x = unsafeCoerce# x
    {-# INLINE happyOut82 #-}
    happyIn83 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn83 x = unsafeCoerce# x
    {-# INLINE happyIn83 #-}
    happyOut83 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut83 x = unsafeCoerce# x
    {-# INLINE happyOut83 #-}
    happyIn84 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn84 x = unsafeCoerce# x
    {-# INLINE happyIn84 #-}
    happyOut84 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut84 x = unsafeCoerce# x
    {-# INLINE happyOut84 #-}
    happyIn85 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn85 x = unsafeCoerce# x
    {-# INLINE happyIn85 #-}
    happyOut85 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut85 x = unsafeCoerce# x
    {-# INLINE happyOut85 #-}
    happyIn86 :: ([Declaration]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn86 x = unsafeCoerce# x
    {-# INLINE happyIn86 #-}
    happyOut86 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Declaration])
    happyOut86 x = unsafeCoerce# x
    {-# INLINE happyOut86 #-}
    happyIn87 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn87 x = unsafeCoerce# x
    {-# INLINE happyIn87 #-}
    happyOut87 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut87 x = unsafeCoerce# x
    {-# INLINE happyOut87 #-}
    happyIn88 :: (Declaration) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn88 x = unsafeCoerce# x
    {-# INLINE happyIn88 #-}
    happyOut88 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Declaration)
    happyOut88 x = unsafeCoerce# x
    {-# INLINE happyOut88 #-}
    happyIn89 :: (Pragma) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn89 x = unsafeCoerce# x
    {-# INLINE happyIn89 #-}
    happyOut89 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Pragma)
    happyOut89 x = unsafeCoerce# x
    {-# INLINE happyOut89 #-}
    happyIn90 :: (Pragma) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn90 x = unsafeCoerce# x
    {-# INLINE happyIn90 #-}
    happyOut90 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Pragma)
    happyOut90 x = unsafeCoerce# x
    {-# INLINE happyOut90 #-}
    happyIn91 :: (Pragma) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn91 x = unsafeCoerce# x
    {-# INLINE happyIn91 #-}
    happyOut91 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Pragma)
    happyOut91 x = unsafeCoerce# x
    {-# INLINE happyOut91 #-}
    happyIn92 :: (Pragma) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn92 x = unsafeCoerce# x
    {-# INLINE happyIn92 #-}
    happyOut92 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Pragma)
    happyOut92 x = unsafeCoerce# x
    {-# INLINE happyOut92 #-}
    happyIn93 :: (Pragma) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn93 x = unsafeCoerce# x
    {-# INLINE happyIn93 #-}
    happyOut93 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Pragma)
    happyOut93 x = unsafeCoerce# x
    {-# INLINE happyOut93 #-}
    happyIn94 :: (Pragma) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn94 x = unsafeCoerce# x
    {-# INLINE happyIn94 #-}
    happyOut94 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Pragma)
    happyOut94 x = unsafeCoerce# x
    {-# INLINE happyOut94 #-}
    happyIn95 :: (Pragma) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn95 x = unsafeCoerce# x
    {-# INLINE happyIn95 #-}
    happyOut95 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Pragma)
    happyOut95 x = unsafeCoerce# x
    {-# INLINE happyOut95 #-}
    happyIn96 :: (Pragma) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn96 x = unsafeCoerce# x
    {-# INLINE happyIn96 #-}
    happyOut96 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Pragma)
    happyOut96 x = unsafeCoerce# x
    {-# INLINE happyOut96 #-}
    happyIn97 :: (Pragma) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn97 x = unsafeCoerce# x
    {-# INLINE happyIn97 #-}
    happyOut97 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> (Pragma)
    happyOut97 x = unsafeCoerce# x
    {-# INLINE happyOut97 #-}
    happyIn98 :: ([TypeSignature]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn98 x = unsafeCoerce# x
    {-# INLINE happyIn98 #-}
    happyOut98 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([TypeSignature])
    happyOut98 x = unsafeCoerce# x
    {-# INLINE happyOut98 #-}
    happyIn99 :: ([TypeSignature]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn99 x = unsafeCoerce# x
    {-# INLINE happyIn99 #-}
    happyOut99 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([TypeSignature])
    happyOut99 x = unsafeCoerce# x
    {-# INLINE happyOut99 #-}
    happyIn100 :: ([(Hiding, TypeSignature)]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn100 x = unsafeCoerce# x
    {-# INLINE happyIn100 #-}
    happyOut100 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([(Hiding, TypeSignature)])
    happyOut100 x = unsafeCoerce# x
    {-# INLINE happyOut100 #-}
    happyIn101 :: ([(Hiding, TypeSignature)]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn101 x = unsafeCoerce# x
    {-# INLINE happyIn101 #-}
    happyOut101 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([(Hiding, TypeSignature)])
    happyOut101 x = unsafeCoerce# x
    {-# INLINE happyOut101 #-}
    happyIn102 :: ([Constructor]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn102 x = unsafeCoerce# x
    {-# INLINE happyIn102 #-}
    happyOut102 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Constructor])
    happyOut102 x = unsafeCoerce# x
    {-# INLINE happyOut102 #-}
    happyIn103 :: ((Maybe Name, [Declaration])) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn103 x = unsafeCoerce# x
    {-# INLINE happyIn103 #-}
    happyOut103 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ((Maybe Name, [Declaration]))
    happyOut103 x = unsafeCoerce# x
    {-# INLINE happyOut103 #-}
    happyIn104 :: ([Declaration]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn104 x = unsafeCoerce# x
    {-# INLINE happyIn104 #-}
    happyOut104 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Declaration])
    happyOut104 x = unsafeCoerce# x
    {-# INLINE happyOut104 #-}
    happyIn105 :: ([Declaration]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn105 x = unsafeCoerce# x
    {-# INLINE happyIn105 #-}
    happyOut105 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Declaration])
    happyOut105 x = unsafeCoerce# x
    {-# INLINE happyOut105 #-}
    happyIn106 :: ([Declaration]) -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyIn106 x = unsafeCoerce# x
    {-# INLINE happyIn106 #-}
    happyOut106 :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> ([Declaration])
    happyOut106 x = unsafeCoerce# x
    {-# INLINE happyOut106 #-}
    happyInTok :: Token -> (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59)
    happyInTok x = unsafeCoerce# x
    {-# INLINE happyInTok #-}
    happyOutTok :: (HappyAbsSyn t11 t12 t13 t27 t30 t32 t36 t37 t59) -> Token
    happyOutTok x = unsafeCoerce# x
    {-# INLINE happyOutTok #-}

    happyActOffsets :: HappyAddr
    happyActOffsets = HappyA# "\x00\x00\x6d\x03\x88\x03\x00\x00\x19\x02\xb3\x00\x75\x03\x7b\x03\x00\x00\x7b\x03\x7c\x03\x00\x00\x70\x03\x00\x00\x00\x00\x00\x00\x00\x00\x9b\x00\xf1\x02\x6d\x03\x79\x03\x00\x00\x3c\x01\x72\x03\x6e\x03\x00\x00\x00\x00\xd9\x01\x00\x00\xa7\x03\x00\x00\x00\x00\xd9\x01\xd4\x02\xb7\x02\x00\x00\x00\x00\x00\x00\x55\x03\xcc\x00\x74\x03\x68\x03\x6c\x03\x63\x03\x6a\x03\x00\x00\x5f\x03\x5c\x03\x00\x00\x00\x00\x00\x00\xd9\x01\x6d\x03\x00\x00\x62\x03\xd9\x01\x00\x00\x50\x03\x33\x03\x00\x00\x9a\x02\x7d\x02\x16\x03\x62\x03\x4b\x03\x57\x03\x84\x03\x00\x00\x8a\x03\x8a\x03\x00\x00\x00\x00\x00\x00\x00\x00\x16\x03\x8a\x03\xa7\x03\x00\x00\x00\x00\x5b\x03\x5b\x03\x00\x00\x5b\x03\x00\x00\xfa\xff\xd4\x01\xd4\x01\x5d\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\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\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\x44\x03\x00\x00\x00\x00\x39\x01\x9e\x00\xa7\x03\xd4\x01\x00\x00\xbc\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4a\x03\x00\x00\x00\x00\x8a\x03\x16\x03\x52\x03\x4e\x03\x41\x03\x00\x00\x4c\x03\x00\x00\x00\x00\xfc\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x16\x03\x00\x00\x00\x00\x16\x03\x16\x03\x3e\x03\x00\x00\x49\x03\x00\x00\x00\x00\x00\x00\x35\x03\x00\x00\x16\x03\x58\x02\xa6\x01\x00\x00\x9e\x00\xa7\x03\xb6\x02\x00\x00\x00\x00\x00\x00\x00\x00\x61\x03\x00\x00\x37\x03\x31\x03\x2c\x03\xdc\x01\x22\x03\x39\x01\x56\x03\x39\x01\x8a\x03\x11\x03\x19\x03\x00\x00\x00\x00\x00\x00\x30\x03\x00\x00\xb6\x02\x00\x00\x38\x03\x24\x00\x24\x00\x00\x00\x00\x00\x00\x00\x00\x00\x49\x00\x24\x03\x00\x00\x7a\x00\x3d\x03\x1c\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\x00\x00\x00\x00\x00\x00\x1b\x03\x1b\x03\xae\x00\x04\x03\x04\x03\x04\x03\xe3\x00\x18\x03\xfd\x02\xfd\x02\xfd\x02\x17\x03\x17\x03\x17\x03\x06\x03\x59\x04\x00\x00\x00\x00\x16\x03\x00\x00\x00\x00\xfc\x02\xfb\x02\xfa\x02\xee\x02\xee\x02\xee\x02\x26\x03\xa7\x03\x00\x00\x00\x00\x00\x00\xe9\xff\x00\x00\xe9\xff\xe9\xff\xf3\x02\x00\x00\x39\x01\x39\x01\x39\x01\x39\x01\xed\x02\xf0\x02\x00\x00\x00\x00\x12\x00\x16\x03\x21\x03\x16\x03\x16\x03\x58\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf2\x02\xe7\x02\x00\x00\xe6\x02\xe1\x02\xdd\x02\xe0\x02\xe8\x02\x02\x03\x00\x00\x00\x00\xd7\x02\x00\x00\x00\x00\xe5\x02\xce\x02\xce\x02\xf7\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x24\x00\x00\x00\x00\x00\x00\x00\x00\x00\x16\x03\x00\x00\x00\x00\xdf\x02\xc4\x02\xd9\x02\x39\x01\x28\x00\xd3\x02\xd1\x02\xd0\x02\xd2\x02\xe9\xff\x00\x00\x00\x00\x00\x00\xc3\x02\xa7\x03\xde\x02\xbc\x02\x00\x00\xb9\x02\xb0\x02\x00\x00\xa6\x02\xaa\x02\xa4\x02\x00\x00\xa3\x02\x9d\x02\xa2\x02\x00\x00\x00\x00\x00\x00\x79\x00\xa6\x01\x16\x03\x16\x03\x16\x03\xb4\x02\x16\x03\xac\x02\x94\x02\xa6\x01\xc8\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xda\x01\x00\x00\xa0\x02\x49\x00\xa0\x02\x89\x02\x93\x02\x00\x00\x16\x03\xb6\x02\x00\x00\xba\x02\xb8\x02\xb1\x02\x49\x00\x8b\x02\x79\x00\x84\x02\x00\x00\x63\x02\x00\x00\x73\x02\x00\x00\x00\x00\x00\x00\x6d\x02\x16\x03\x00\x00\x79\x00\x00\x00\x83\x02\x83\x02\x83\x02\x00\x00\xb6\x02\x16\x03\x00\x00\x60\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5c\x02\x00\x00\x00\x00\x00\x00\x5a\x02\x00\x00\x00\x00\x00\x00\x79\x00\x00\x00\x6a\x02\x6a\x02\x1b\x00\x9a\x01\xa6\x01\x49\x00\x00\x00\xa6\x01\x50\x02\x00\x00\x00\x00\x49\x00\x64\x02\x00\x00\xa6\x01\x00\x00\x49\x00\x00\x00\x00\x00"#

    happyGotoOffsets :: HappyAddr
    happyGotoOffsets = HappyA# "\x04\x02\x4a\x06\x0f\x00\x81\x02\x85\x02\x22\x06\x00\x00\x80\x02\x00\x00\x79\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf1\x00\x32\x06\x00\x00\x00\x00\xbe\x01\x0e\x00\x00\x00\x00\x00\x00\x00\xf0\x00\x00\x00\x33\x00\x00\x00\x00\x00\xed\x00\x23\x04\x0a\x04\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\xc2\x02\x1a\x06\x00\x00\x00\x00\x55\x01\x00\x00\x41\x04\x3c\x04\x00\x00\x02\x06\xea\x05\xd2\x05\x00\x00\x26\x00\x00\x00\x00\x00\x00\x00\xb7\x03\x9a\x03\x00\x00\x00\x00\x00\x00\x00\x00\xba\x05\x62\x06\x20\x00\x00\x00\x00\x00\x2c\x00\x2b\x00\x00\x00\x06\x00\x00\x00\x97\x02\xf3\x01\xb7\x01\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\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\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\x69\x02\x00\x00\x00\x00\x0e\x03\x4b\x02\x32\x00\xae\x01\x00\x00\x6c\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x03\x01\xa2\x05\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\x00\xef\x03\x00\x00\x00\x00\x8a\x05\x72\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xac\x00\x00\x00\x5a\x05\x3e\x01\x8c\x01\x00\x00\xcd\x01\x31\x00\x7d\x04\x00\x00\x00\x00\x00\x00\x00\x00\x3c\x02\x00\x00\x00\x00\x00\x00\x00\x00\x6f\x01\x53\x02\x7f\x02\x00\x00\x75\x02\x43\x03\x00\x00\x49\x02\x00\x00\x00\x00\x00\x00\x07\x00\x00\x00\x65\x04\x00\x00\x8f\x00\x9c\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x34\x02\x59\x02\x00\x00\x00\x00\x21\x02\xd8\x01\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\x00\x00\x1d\x00\x1c\x00\x27\x00\x09\x02\x01\x02\xff\x01\xf4\x01\x19\x00\xe4\x01\xd3\x01\xc8\x01\x0d\x00\x0c\x00\x0b\x00\xa1\x01\x00\x00\x00\x00\x00\x00\xd4\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc2\x01\xc0\x01\xbb\x01\x90\x01\xb9\x00\x00\x00\x00\x00\x00\x00\x63\x01\x00\x00\x52\x01\x40\x01\x00\x00\x00\x00\xbc\x01\x4f\x01\x42\x01\x3f\x01\xb6\x01\x00\x00\x00\x00\x00\x00\x84\x01\x42\x05\x81\x01\x2a\x05\x12\x05\xec\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x95\x01\x00\x00\x77\x01\x00\x00\x00\x00\x00\x00\x89\x01\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x71\x01\x50\x01\x88\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x99\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfa\x04\x00\x00\x00\x00\x0a\x00\x48\x01\x17\x00\xfd\x00\x00\x00\x00\x00\x00\x00\x00\x00\x14\x00\x1a\x01\x00\x00\x00\x00\x00\x00\x16\x01\x1f\x00\xf4\x00\x2d\x01\x00\x00\x00\x00\xee\x00\x00\x00\x00\x00\x1c\x01\x00\x00\x00\x00\x00\x00\xdd\x00\x00\x00\x00\x00\x00\x00\x00\x00\x46\x00\x87\x01\xe2\x04\xca\x04\xb2\x04\x05\x00\x9a\x04\x00\x00\x97\x00\x62\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9a\x00\x00\x00\x09\x00\xe0\x00\x0c\x01\xcd\x00\x00\x00\x00\x00\x82\x04\x37\x02\x00\x00\x00\x00\x00\x00\x00\x00\xd7\x00\xbb\x00\x51\x01\x00\x00\x00\x00\x3a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x6a\x04\x00\x00\x1a\x00\x00\x00\x03\x00\x16\x00\x15\x00\x00\x00\x79\x01\x52\x04\x00\x00\x8a\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\x17\x01\x00\x00\xff\xff\x04\x00\x18\x00\x44\x00\x3a\x01\xa7\x00\x00\x00\x35\x01\x45\x00\x00\x00\x00\x00\x93\x00\xfe\xff\x00\x00\x19\x01\x00\x00\x22\x00\x00\x00\x00\x00"#

    happyDefActions :: HappyAddr
    happyDefActions = HappyA# "\xfa\xff\x00\x00\xbb\xff\x00\x00\xfc\xff\x00\x00\x00\x00\xbb\xff\xb8\xff\xbb\xff\xa8\xff\x8f\xff\x00\x00\x9b\xff\x9a\xff\x98\xff\x97\xff\x00\x00\x92\xff\x00\x00\x00\x00\x7a\xff\x78\xff\xbb\xff\x00\x00\x8b\xff\x8a\xff\x00\x00\x89\xff\x00\x00\x8c\xff\x8d\xff\x00\x00\x00\x00\x00\x00\xb0\xff\xa9\xff\x8e\xff\x00\x00\xa8\xff\x00\x00\x00\x00\x98\xff\x00\x00\x75\xff\x85\xff\x00\x00\x00\x00\x84\xff\xa6\xff\x64\xff\x6a\xff\x00\x00\x94\xff\x6e\xff\x6b\xff\xa5\xff\x00\x00\x00\x00\x82\xff\x00\x00\x00\x00\x00\x00\x00\x00\x80\xff\x00\x00\x00\x00\x79\xff\x00\x00\x00\x00\x7b\xff\x9e\xff\x96\xff\x90\xff\x00\x00\x00\x00\x00\x00\xba\xff\xb9\xff\xbb\xff\xbb\xff\x15\xff\xbb\xff\x10\xff\x00\x00\x00\x00\x00\x00\x00\x00\xfb\xff\xf9\xff\xf8\xff\xf7\xff\xf6\xff\xf5\xff\xf4\xff\xf3\xff\xf2\xff\xf1\xff\xf0\xff\xef\xff\xee\xff\xed\xff\xec\xff\xeb\xff\xea\xff\xe9\xff\xe8\xff\xe7\xff\xe6\xff\xe5\xff\xe4\xff\xe3\xff\xe2\xff\xe1\xff\xe0\xff\xdf\xff\xde\xff\xdd\xff\xdc\xff\xdb\xff\xda\xff\xd9\xff\xd8\xff\xd7\xff\xd6\xff\xd5\xff\xd4\xff\xd3\xff\xd2\xff\xd1\xff\xd0\xff\xcf\xff\xce\xff\xcd\xff\xcc\xff\xcb\xff\xca\xff\xc9\xff\xc8\xff\xc7\xff\xc6\xff\xc5\xff\xc4\xff\xc3\xff\xc2\xff\xc1\xff\xc0\xff\xbf\xff\xbe\xff\xbd\xff\xbc\xff\xa1\xff\xa8\xff\xa7\xff\x65\xff\x5a\xff\x1c\xff\x00\x00\xb7\xff\x00\x00\x14\xff\x13\xff\x83\xff\x99\xff\x00\x00\x9c\xff\xa2\xff\x92\xff\x00\x00\xbb\xff\x00\x00\x00\x00\x7f\xff\x7e\xff\x6f\xff\x9d\xff\x00\x00\x68\xff\x69\xff\x6d\xff\x95\xff\x6c\xff\x77\xff\x86\xff\x00\x00\x76\xff\x88\xff\x00\x00\x00\x00\x00\x00\x70\xff\x71\xff\x73\xff\x74\xff\x63\xff\x00\x00\x81\xff\x00\x00\x00\x00\xbb\xff\x93\xff\x5a\xff\x1c\xff\x5a\xff\x18\xff\x62\xff\x60\xff\x5e\xff\x5b\xff\x5c\xff\x00\x00\x00\x00\x00\x00\x5a\xff\x00\x00\x65\xff\x00\x00\x65\xff\x00\x00\x00\x00\xa1\xff\xa0\xff\x09\xff\x67\xff\xbb\xff\x66\xff\x5a\xff\x5f\xff\xb2\xff\x00\x00\x4f\xff\x5d\xff\x1d\xff\x1b\xff\x17\xff\x00\x00\xbb\xff\xb4\xff\xa8\xff\x45\xff\x2b\xff\xf2\xfe\x40\xff\x3e\xff\x3d\xff\x3c\xff\x3b\xff\x3f\xff\x3a\xff\x39\xff\x38\xff\x37\xff\x36\xff\x35\xff\x33\xff\x34\xff\x32\xff\x31\xff\x11\xff\x0f\xff\x0e\xff\x0c\xff\x0d\xff\x0b\xff\x0a\xff\xbb\xff\xbb\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xbb\xff\x00\x00\x00\x00\x00\x00\xbb\xff\xbb\xff\xbb\xff\x49\xff\x00\x00\x7c\xff\x7d\xff\x00\x00\x87\xff\x72\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x45\xff\x00\x00\x20\xff\x21\xff\x22\xff\x00\x00\xb1\xff\x00\x00\x00\x00\x00\x00\x23\xff\x65\xff\x65\xff\x65\xff\x65\xff\x00\x00\x00\x00\x1e\xff\x1f\xff\x43\xff\x00\x00\x47\xff\x00\x00\x00\x00\x00\x00\xf6\xfe\xb5\xff\xb6\xff\xb3\xff\x51\xff\x4d\xff\x00\x00\x4e\xff\x00\x00\x00\x00\x00\x00\x00\x00\x55\xff\x00\x00\xb2\xff\x61\xff\x00\x00\xf4\xfe\x12\xff\xbb\xff\x00\x00\x00\x00\xb2\xff\x57\xff\x53\xff\x58\xff\x50\xff\x59\xff\x00\x00\xf3\xfe\x30\xff\x44\xff\x4b\xff\x00\x00\x2c\xff\x2d\xff\xbb\xff\x00\x00\xbb\xff\x65\xff\x00\x00\x00\x00\x00\x00\x00\x00\xbb\xff\xa3\xff\x26\xff\x25\xff\x24\xff\x49\xff\x91\xff\x47\xff\xa1\xff\x9f\xff\x00\x00\xa1\xff\x03\xff\x00\x00\x00\x00\x00\x00\x04\xff\x00\x00\xa1\xff\x00\x00\x4a\xff\x48\xff\xa4\xff\x00\x00\xbb\xff\x00\x00\x00\x00\x00\x00\xbb\xff\x00\x00\x00\x00\x00\x00\xbb\xff\x00\x00\x42\xff\x46\xff\x4c\xff\x56\xff\x54\xff\x52\xff\x00\x00\xf5\xfe\xbb\xff\x00\x00\xbb\xff\xae\xff\x00\x00\x00\xff\x00\x00\x5a\xff\x16\xff\x00\x00\x00\x00\x00\x00\x00\x00\xbb\xff\xac\xff\x00\x00\xfd\xfe\x00\x00\x06\xff\x00\x00\x07\xff\x08\xff\x05\xff\x00\x00\x00\x00\xad\xff\x00\x00\xff\xfe\xbb\xff\xbb\xff\xbb\xff\x1a\xff\x5a\xff\x00\x00\xaf\xff\x00\x00\x02\xff\x41\xff\x01\xff\x2f\xff\x19\xff\x00\x00\xfb\xfe\x2a\xff\x29\xff\x00\x00\x28\xff\xfe\xfe\x2e\xff\xaa\xff\xab\xff\xbb\xff\xbb\xff\x00\x00\x00\x00\xbb\xff\x00\x00\xfa\xfe\xbb\xff\x00\x00\xfc\xfe\x27\xff\x00\x00\xbb\xff\xf7\xfe\xbb\xff\xf9\xfe\x00\x00\xf8\xfe"#

    happyCheck :: HappyAddr
    happyCheck = HappyA# "\xff\xff\x03\x00\x03\x00\x09\x00\x03\x00\x03\x00\x03\x00\x03\x00\x03\x00\x03\x00\x03\x00\x05\x00\x03\x00\x03\x00\x03\x00\x03\x00\x03\x00\x03\x00\x03\x00\x04\x00\x05\x00\x03\x00\x2d\x00\x03\x00\x03\x00\x03\x00\x03\x00\x00\x00\x03\x00\x0a\x00\x06\x00\x03\x00\x03\x00\x0f\x00\x0a\x00\x0b\x00\x0a\x00\x3c\x00\x0c\x00\x2b\x00\x06\x00\x0a\x00\x0a\x00\x03\x00\x0d\x00\x0d\x00\x03\x00\x03\x00\x0a\x00\x0a\x00\x36\x00\x0f\x00\x0d\x00\x0e\x00\x3c\x00\x3d\x00\x19\x00\x1a\x00\x1a\x00\x0a\x00\x0a\x00\x0a\x00\x0d\x00\x0d\x00\x0d\x00\x1b\x00\x1c\x00\x1d\x00\x0a\x00\x0b\x00\x33\x00\x34\x00\x35\x00\x00\x00\x06\x00\x1a\x00\x1a\x00\x1a\x00\x0a\x00\x0a\x00\x0a\x00\x0d\x00\x0c\x00\x38\x00\x2c\x00\x3d\x00\x50\x00\x3c\x00\x3e\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x50\x00\x3c\x00\x5d\x00\x64\x00\x64\x00\x61\x00\x64\x00\x64\x00\x62\x00\x63\x00\x62\x00\x63\x00\x62\x00\x62\x00\x62\x00\x62\x00\x62\x00\x62\x00\x5c\x00\x5c\x00\x5f\x00\x5d\x00\x60\x00\x60\x00\x5e\x00\x5c\x00\x5c\x00\x36\x00\x50\x00\x50\x00\x4c\x00\x4c\x00\x3b\x00\x3c\x00\x38\x00\x39\x00\x3f\x00\x3e\x00\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x08\x00\x4d\x00\x4e\x00\x4f\x00\x0a\x00\x0b\x00\x52\x00\x08\x00\x54\x00\x06\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\x5b\x00\x06\x00\x0a\x00\x0b\x00\x0a\x00\x0a\x00\x2b\x00\x0a\x00\x0d\x00\x0a\x00\x0b\x00\x0c\x00\x31\x00\x0e\x00\x06\x00\x35\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x3c\x00\x0a\x00\x09\x00\x30\x00\x31\x00\x32\x00\x08\x00\x09\x00\x0f\x00\x03\x00\x30\x00\x31\x00\x32\x00\x0f\x00\x0a\x00\x08\x00\x09\x00\x0d\x00\x3d\x00\x1c\x00\x1d\x00\x2f\x00\x0f\x00\x33\x00\x32\x00\x35\x00\x33\x00\x36\x00\x35\x00\x19\x00\x1a\x00\x3d\x00\x3b\x00\x3c\x00\x0a\x00\x0b\x00\x3f\x00\x3c\x00\x41\x00\x42\x00\x06\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x06\x00\x4d\x00\x4e\x00\x4f\x00\x3c\x00\x3d\x00\x52\x00\x3a\x00\x54\x00\x12\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\x5b\x00\x0a\x00\x0a\x00\x2c\x00\x0d\x00\x0a\x00\x0a\x00\x0f\x00\x31\x00\x0d\x00\x0f\x00\x12\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x0a\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x0f\x00\x0a\x00\x21\x00\x03\x00\x0d\x00\x21\x00\x25\x00\x26\x00\x27\x00\x25\x00\x29\x00\x27\x00\x35\x00\x29\x00\x17\x00\x18\x00\x03\x00\x1a\x00\x21\x00\x3c\x00\x07\x00\x0a\x00\x36\x00\x0c\x00\x0a\x00\x28\x00\x29\x00\x3b\x00\x3c\x00\x0f\x00\x10\x00\x3f\x00\x38\x00\x41\x00\x42\x00\x13\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x03\x00\x4d\x00\x4e\x00\x4f\x00\x07\x00\x03\x00\x52\x00\x12\x00\x54\x00\x07\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\x5b\x00\x0a\x00\x0a\x00\x0a\x00\x0d\x00\x0a\x00\x37\x00\x0f\x00\x0f\x00\x10\x00\x0f\x00\x0a\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x0a\x00\x0a\x00\x0a\x00\x0a\x00\x0c\x00\x0f\x00\x0a\x00\x21\x00\x0f\x00\x10\x00\x21\x00\x0f\x00\x03\x00\x2d\x00\x28\x00\x29\x00\x07\x00\x28\x00\x29\x00\x33\x00\x0a\x00\x35\x00\x33\x00\x21\x00\x35\x00\x0f\x00\x10\x00\x36\x00\x3c\x00\x21\x00\x28\x00\x29\x00\x3b\x00\x3c\x00\x0a\x00\x27\x00\x3f\x00\x29\x00\x41\x00\x42\x00\x0a\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x03\x00\x4d\x00\x4e\x00\x4f\x00\x07\x00\x03\x00\x52\x00\x08\x00\x54\x00\x07\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\x5b\x00\x00\x00\x01\x00\x2d\x00\x2e\x00\x2f\x00\x0a\x00\x06\x00\x07\x00\x08\x00\x09\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x4b\x00\x0a\x00\x38\x00\x4e\x00\x0d\x00\x0e\x00\x51\x00\x3a\x00\x25\x00\x0a\x00\x0a\x00\x28\x00\x29\x00\x0d\x00\x0e\x00\x0a\x00\x2d\x00\x2e\x00\x39\x00\x30\x00\x0f\x00\x26\x00\x33\x00\x13\x00\x35\x00\x2a\x00\x09\x00\x38\x00\x13\x00\x3a\x00\x13\x00\x3c\x00\x3d\x00\x37\x00\x3f\x00\x00\x00\x01\x00\x09\x00\x21\x00\x20\x00\x21\x00\x06\x00\x07\x00\x08\x00\x09\x00\x28\x00\x29\x00\x0a\x00\x0b\x00\x0c\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x09\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x2a\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\x0a\x00\x0a\x00\x25\x00\x0d\x00\x0e\x00\x28\x00\x29\x00\x00\x00\x01\x00\x2d\x00\x2d\x00\x2e\x00\x0a\x00\x30\x00\x0a\x00\x33\x00\x33\x00\x35\x00\x35\x00\x3c\x00\x3d\x00\x38\x00\x0a\x00\x3a\x00\x3c\x00\x3c\x00\x3d\x00\x40\x00\x3f\x00\x01\x00\x02\x00\x03\x00\x04\x00\x05\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x06\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x29\x00\x2a\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x3e\x00\x3f\x00\x01\x00\x39\x00\x12\x00\x03\x00\x0a\x00\x06\x00\x07\x00\x08\x00\x09\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x2f\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x2a\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\x12\x00\x03\x00\x25\x00\x01\x00\x0a\x00\x28\x00\x29\x00\x01\x00\x03\x00\x0f\x00\x2d\x00\x2e\x00\x02\x00\x30\x00\x0a\x00\x26\x00\x33\x00\x3c\x00\x35\x00\x0f\x00\x12\x00\x26\x00\x37\x00\x3a\x00\x37\x00\x3c\x00\x3d\x00\x21\x00\x3f\x00\x1b\x00\x1c\x00\x1d\x00\x01\x00\x3c\x00\x28\x00\x29\x00\x3c\x00\x21\x00\x0a\x00\x25\x00\x36\x00\x0d\x00\x0e\x00\x29\x00\x28\x00\x29\x00\x26\x00\x2d\x00\x2e\x00\x12\x00\x30\x00\x3b\x00\x2b\x00\x33\x00\x26\x00\x35\x00\x36\x00\x03\x00\x1b\x00\x1c\x00\x1d\x00\x01\x00\x3c\x00\x3d\x00\x03\x00\x3f\x00\x03\x00\x2b\x00\x25\x00\x0a\x00\x0b\x00\x0c\x00\x29\x00\x0e\x00\x3c\x00\x26\x00\x2d\x00\x2e\x00\x12\x00\x30\x00\x03\x00\x0a\x00\x33\x00\x34\x00\x35\x00\x3c\x00\x0f\x00\x1b\x00\x1c\x00\x1d\x00\x01\x00\x3c\x00\x3d\x00\x2c\x00\x3f\x00\x26\x00\x3e\x00\x25\x00\x3b\x00\x3b\x00\x3b\x00\x29\x00\x3b\x00\x04\x00\x21\x00\x2d\x00\x2e\x00\x12\x00\x30\x00\x3e\x00\x27\x00\x33\x00\x29\x00\x35\x00\x36\x00\x3e\x00\x1b\x00\x1c\x00\x1d\x00\x01\x00\x3c\x00\x3d\x00\x32\x00\x3f\x00\x3e\x00\x26\x00\x25\x00\x3e\x00\x2b\x00\x2b\x00\x29\x00\x2b\x00\x26\x00\x3c\x00\x2d\x00\x2e\x00\x12\x00\x30\x00\x26\x00\x0f\x00\x33\x00\x34\x00\x35\x00\x3c\x00\x26\x00\x1b\x00\x1c\x00\x37\x00\x0d\x00\x3c\x00\x3d\x00\x2a\x00\x3f\x00\x34\x00\x34\x00\x25\x00\x01\x00\x0a\x00\x3c\x00\x29\x00\x34\x00\x2a\x00\x0f\x00\x2d\x00\x2e\x00\x2f\x00\x30\x00\x3c\x00\x32\x00\x33\x00\x04\x00\x35\x00\x37\x00\x12\x00\x3c\x00\x37\x00\x05\x00\x3e\x00\x3c\x00\x3d\x00\x21\x00\x3f\x00\x1b\x00\x1c\x00\x1d\x00\x01\x00\x3b\x00\x28\x00\x29\x00\x32\x00\x3e\x00\x3e\x00\x25\x00\x3f\x00\x26\x00\x26\x00\x29\x00\x3c\x00\x26\x00\x05\x00\x2d\x00\x2e\x00\x12\x00\x30\x00\x0f\x00\x2c\x00\x33\x00\x26\x00\x35\x00\x3b\x00\x0a\x00\x1b\x00\x1c\x00\x0d\x00\x01\x00\x3c\x00\x3d\x00\x11\x00\x3f\x00\x26\x00\x3e\x00\x25\x00\x03\x00\x17\x00\x18\x00\x29\x00\x1a\x00\x3c\x00\x33\x00\x2d\x00\x2e\x00\x12\x00\x30\x00\x33\x00\x22\x00\x33\x00\x24\x00\x35\x00\x36\x00\x33\x00\x1b\x00\x1c\x00\x0c\x00\x01\x00\x3c\x00\x3d\x00\x3c\x00\x3f\x00\x2a\x00\x36\x00\x25\x00\x2a\x00\x36\x00\x26\x00\x29\x00\x2c\x00\x1e\x00\x32\x00\x2d\x00\x2e\x00\x12\x00\x30\x00\x26\x00\x3e\x00\x33\x00\x34\x00\x35\x00\x02\x00\x3c\x00\x1b\x00\x1c\x00\x1d\x00\x01\x00\x3c\x00\x3d\x00\x37\x00\x3f\x00\x34\x00\x2f\x00\x25\x00\x34\x00\x2a\x00\x40\x00\x29\x00\x2b\x00\x26\x00\x36\x00\x2d\x00\x2e\x00\x12\x00\x30\x00\x36\x00\x2b\x00\x33\x00\x26\x00\x35\x00\x35\x00\x0a\x00\x1b\x00\x1c\x00\x0d\x00\x2f\x00\x3c\x00\x3d\x00\x11\x00\x3f\x00\x31\x00\x26\x00\x25\x00\x40\x00\x17\x00\x18\x00\x29\x00\x1a\x00\x40\x00\xff\xff\x2d\x00\x2e\x00\x12\x00\x30\x00\xff\xff\x22\x00\x33\x00\x24\x00\x35\x00\xff\xff\x0a\x00\x1b\x00\x1c\x00\x0d\x00\xff\xff\x3c\x00\x3d\x00\x11\x00\x3f\x00\xff\xff\xff\xff\x25\x00\xff\xff\x17\x00\x18\x00\x29\x00\x1a\x00\xff\xff\xff\xff\x2d\x00\x2e\x00\xff\xff\xff\xff\xff\xff\x22\x00\x33\x00\x24\x00\x35\x00\xff\xff\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\x3c\x00\x3d\x00\x11\x00\x3f\x00\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\x11\x00\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\x11\x00\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x0a\x00\x24\x00\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\x11\x00\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x0a\x00\x24\x00\xff\xff\x0d\x00\xff\xff\x0a\x00\xff\xff\x11\x00\x0d\x00\xff\xff\xff\xff\xff\xff\x11\x00\x17\x00\x18\x00\xff\xff\x1a\x00\xff\xff\x17\x00\x18\x00\xff\xff\x1a\x00\x0a\x00\xff\xff\x22\x00\x0d\x00\x24\x00\xff\xff\xff\xff\x22\x00\xff\xff\x24\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x0a\x00\x4b\x00\xff\xff\x0d\x00\x4e\x00\xff\xff\xff\xff\x51\x00\xff\xff\x53\x00\xff\xff\x55\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\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\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\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\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\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\xff\xff\xff\xff"#

    happyTable :: HappyAddr
    happyTable = HappyA# "\x00\x00\xc6\x00\xc9\x01\x9e\x00\x91\x01\xc6\x00\xc0\x01\xc8\x01\x4d\x01\x05\x00\x4d\x01\x9e\x00\x41\x00\x41\x00\x41\x00\x41\x00\x41\x00\x41\x00\x05\x00\x06\x00\x07\x00\x62\x01\x39\x00\x80\x01\xbc\x01\xbc\x01\x88\x01\x3f\x01\x2d\x01\x41\x01\xcf\x01\x34\x01\x34\x01\x63\x01\x96\x01\x97\x01\xa1\x01\x24\x00\xa2\x01\xbc\x00\xd7\x01\x0a\x00\x0a\x00\x86\x01\x0b\x00\x0b\x00\x9f\x00\x9f\x00\xaa\x00\x98\x00\xc3\x00\x46\x01\x99\x00\x9c\x00\x24\x00\x25\x00\x49\x00\x6f\x01\xa2\x00\x0a\x00\x0a\x00\x0a\x00\x0b\x00\x0b\x00\x0b\x00\xab\x00\xac\x00\xad\x00\x96\x01\xaa\x01\x42\x01\x43\x01\x44\x01\x3f\x01\xcc\x01\xca\x00\xca\x00\x3b\x00\xee\x00\xd0\x01\xa1\x01\x0b\x00\xa2\x01\x40\x01\x87\x01\x98\x01\x08\x00\x24\x00\xc2\x01\xef\x00\x0e\x00\x0f\x00\x10\x00\xa4\x00\x12\x00\x08\x00\x24\x00\x89\x01\xd4\x01\xca\x01\xc1\x01\xc7\x00\xc7\x00\x4e\x01\x9b\x01\x4e\x01\x4f\x01\xb8\x01\x8b\x01\x26\x01\x27\x01\x28\x01\x42\x00\xbd\x01\xbd\x01\x81\x01\x89\x01\xbe\x01\xbf\x01\x2e\x01\x35\x01\x36\x01\xf0\x00\xa0\x00\xa1\x00\xe9\x00\xcb\x00\xf1\x00\xf2\x00\x40\x01\x41\x01\xf3\x00\xa3\x01\xf4\x00\xf5\x00\xcd\x01\xf6\x00\xf7\x00\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\x47\x01\xfe\x00\xff\x00\x00\x01\x96\x01\x97\x01\x01\x01\x47\x01\x02\x01\xd5\x01\x03\x01\x04\x01\x05\x01\x06\x01\x07\x01\x08\x01\x92\x01\x96\x01\x97\x01\x41\x01\xee\x00\x3c\x01\x41\x01\x0b\x00\xd3\x00\xd4\x00\xd5\x00\x4d\x00\xd6\x00\xd3\x01\xa5\x01\xef\x00\x0e\x00\x0f\x00\x10\x00\xa4\x00\x12\x00\x24\x00\xaa\x00\x9e\x00\x8e\x01\x49\x01\x4a\x01\x55\x00\x56\x00\x34\x01\xad\x01\x48\x01\x49\x01\x4a\x01\x57\x00\x0a\x00\x55\x00\x56\x00\x0b\x00\xb9\x01\x1a\x01\xad\x00\x4b\x00\x57\x00\x42\x01\x4c\x00\x8d\x01\x42\x01\xf0\x00\x46\x01\x6e\x01\x6f\x01\x98\x01\xf1\x00\xf2\x00\x96\x01\xb5\x01\xf3\x00\xd7\x00\xf4\x00\xf5\x00\xae\x01\xf6\x00\xf7\x00\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xb7\x01\xfe\x00\xff\x00\x00\x01\x24\x00\x25\x00\x01\x01\x58\x00\x02\x01\xa6\x01\x03\x01\x04\x01\x05\x01\x06\x01\x07\x01\x08\x01\xee\x00\x31\x00\xbd\x00\x0b\x00\x31\x00\x0a\x00\x32\x00\x4d\x00\x0b\x00\x32\x00\x7a\x01\xef\x00\x0e\x00\x0f\x00\x10\x00\xa4\x00\x12\x00\x31\x00\x48\x00\x10\x00\x49\x00\x12\x00\x32\x00\x0a\x00\x33\x00\xb6\x01\x0b\x00\x33\x00\x34\x00\x35\x00\x36\x00\x3e\x00\x37\x00\x3f\x00\x41\x00\x37\x00\x48\x00\x10\x00\xd6\x01\xa7\x00\xd7\x00\x24\x00\xec\x00\xa1\x01\xf0\x00\xc5\x01\x31\x00\x87\x01\xd9\x00\x5a\x01\xf2\x00\x6a\x01\x7f\x01\xf3\x00\x7d\x01\xf4\x00\xf5\x00\x78\x01\xf6\x00\xf7\x00\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xd1\x01\xfe\x00\xff\x00\x00\x01\xd2\x01\xcb\x01\x01\x01\x7c\x01\x02\x01\xec\x00\x03\x01\x04\x01\x05\x01\x06\x01\x07\x01\x08\x01\xee\x00\x31\x00\x31\x00\x0b\x00\x31\x00\x7e\x01\x32\x00\x6a\x01\x6b\x01\x32\x00\x8a\x01\xef\x00\x0e\x00\x0f\x00\x10\x00\xa4\x00\x12\x00\x31\x00\x8f\x01\xa1\x01\x31\x00\xac\x01\x32\x00\x31\x00\xd7\x00\x6a\x01\x6c\x01\xd7\x00\x32\x00\x94\x01\x39\x00\x65\x01\xd9\x00\x95\x01\x66\x01\xd9\x00\x45\x00\x31\x00\xdb\x00\x45\x00\xd7\x00\x46\x00\x6a\x01\x6d\x01\xf0\x00\x24\x00\x33\x00\x67\x01\xd9\x00\xf1\x00\xf2\x00\x90\x01\xb3\x00\xf3\x00\x37\x00\xf4\x00\xf5\x00\x55\x01\xf6\x00\xf7\x00\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\x9f\x01\xfe\x00\xff\x00\x00\x01\xa0\x01\xeb\x00\x01\x01\x51\x01\x02\x01\xec\x00\x03\x01\x04\x01\x05\x01\x06\x01\x07\x01\x08\x01\x3f\x01\x18\x00\xe3\x00\xd0\x00\xd1\x00\x57\x01\x0a\x01\x0b\x01\x0c\x01\x56\x00\xbb\x01\xce\x00\xcf\x00\xd0\x00\xd1\x00\x0d\x01\x0e\x01\x0f\x01\x10\x01\xcf\x01\x11\x01\x12\x01\x13\x01\x14\x01\x15\x01\x16\x01\x17\x01\x1a\x00\x1b\x00\x4f\x00\x98\x00\x5d\x01\x50\x00\x99\x00\xc9\x00\x51\x00\x60\x01\x1d\x00\x64\x01\x98\x00\x18\x01\x1e\x00\x99\x00\x9a\x00\x31\x00\x1f\x00\x20\x00\x70\x01\x21\x00\x32\x00\x0a\x00\x3d\x00\x71\x01\x3e\x00\xee\x00\x29\x01\x40\x01\x73\x01\x19\x01\x74\x01\x24\x00\x25\x00\x24\x01\x26\x00\x3f\x01\x18\x00\x2b\x01\xd7\x00\x43\x00\x16\x00\x0a\x01\x0b\x01\x0c\x01\x56\x00\x68\x01\xd9\x00\xd3\x00\xd4\x00\xd5\x00\x0d\x01\x0e\x01\x0f\x01\x10\x01\x2c\x01\x11\x01\x12\x01\x13\x01\x14\x01\x15\x01\x16\x01\x17\x01\x1a\x00\x1b\x00\xea\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\x98\x00\x2f\x01\x1d\x00\x99\x00\x9b\x00\x18\x01\x1e\x00\x26\x00\x04\x00\x39\x00\x1f\x00\x20\x00\x30\x01\x21\x00\x31\x01\x3a\x00\x3d\x00\x3b\x00\x3e\x00\x24\x00\x25\x00\x40\x01\x32\x01\x19\x01\x24\x00\x24\x00\x25\x00\x37\x01\x26\x00\x5a\x00\x5b\x00\x5c\x00\x5d\x00\x5e\x00\x5f\x00\x60\x00\x61\x00\x62\x00\x63\x00\x64\x00\x65\x00\x66\x00\x67\x00\x68\x00\x69\x00\x6a\x00\x6b\x00\x6c\x00\x6d\x00\x6e\x00\x6f\x00\x70\x00\x71\x00\x72\x00\x73\x00\x74\x00\x75\x00\x76\x00\x77\x00\x78\x00\x79\x00\x3d\x01\x7a\x00\x7b\x00\x7c\x00\x7d\x00\x7e\x00\x7f\x00\x80\x00\x81\x00\x82\x00\x83\x00\x84\x00\x85\x00\x86\x00\x87\x00\x88\x00\x89\x00\x8a\x00\x8b\x00\x8c\x00\x8d\x00\x8e\x00\x8f\x00\x90\x00\x91\x00\x92\x00\x93\x00\x94\x00\x95\x00\x96\x00\x97\x00\x18\x00\x39\x01\xdd\x00\x3c\x01\xe2\x00\x0a\x01\x0b\x01\x0c\x01\x56\x00\xb2\x01\xce\x00\xcf\x00\xd0\x00\xd1\x00\x0d\x01\x0e\x01\x0f\x01\x10\x01\xe7\x00\x11\x01\x12\x01\x13\x01\x14\x01\x15\x01\x16\x01\x17\x01\x1a\x00\x1b\x00\xcc\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\xdb\x00\x4d\x00\x1d\x00\x18\x00\x31\x00\x18\x01\x1e\x00\x04\x00\x4e\x00\x32\x00\x1f\x00\x20\x00\x58\x00\x21\x00\x31\x00\x0a\x00\x3d\x00\x24\x00\x3e\x00\x32\x00\x19\x00\x0a\x00\xc7\x01\x19\x01\xc8\x01\x24\x00\x25\x00\xd7\x00\x26\x00\x1a\x00\x1b\x00\x1c\x00\x18\x00\x24\x00\xdf\x00\xd9\x00\x24\x00\xd7\x00\x98\x00\x1d\x00\xc5\x01\x99\x00\x9c\x00\x1e\x00\xe1\x00\xd9\x00\x0a\x00\x1f\x00\x20\x00\x19\x00\x21\x00\xaa\x01\xac\x01\x22\x00\x0a\x00\x23\x00\x2e\x00\xb0\x01\x1a\x00\x1b\x00\x1c\x00\x18\x00\x24\x00\x25\x00\xb1\x01\x26\x00\xb2\x01\xb5\x01\x1d\x00\xd3\x00\xd4\x00\xd5\x00\x1e\x00\xd6\x00\x24\x00\x0a\x00\x1f\x00\x20\x00\x19\x00\x21\x00\x94\x01\x31\x00\x22\x00\x31\x00\x23\x00\x24\x00\x32\x00\x1a\x00\x1b\x00\x1c\x00\x18\x00\x24\x00\x25\x00\x9a\x01\x26\x00\x0a\x00\xdd\x00\x1d\x00\xa6\x01\xa8\x01\xa9\x01\x1e\x00\x7a\x01\x5f\x01\x33\x00\x1f\x00\x20\x00\x19\x00\x21\x00\x73\x01\xb5\x00\x22\x00\x37\x00\x23\x00\x2e\x00\xdd\x00\x1a\x00\x1b\x00\x1c\x00\x18\x00\x24\x00\x25\x00\x26\x01\x26\x00\x7c\x01\x0a\x00\x1d\x00\xdd\x00\x83\x01\x84\x01\x1e\x00\x85\x01\x0a\x00\x24\x00\x1f\x00\x20\x00\x19\x00\x21\x00\x0a\x00\x4c\x01\x22\x00\x31\x00\x23\x00\x24\x00\x0a\x00\x1a\x00\x1b\x00\x51\x01\x53\x01\x24\x00\x25\x00\x54\x01\x26\x00\x55\x01\x57\x01\x1d\x00\x18\x00\x31\x00\x24\x00\x1e\x00\x59\x01\x5a\x01\x32\x00\x1f\x00\x20\x00\x91\xff\x21\x00\x24\x00\x91\xff\x3d\x00\x5f\x01\x3e\x00\x64\x01\x19\x00\x24\x00\x6a\x01\x3b\x01\x73\x01\x24\x00\x25\x00\xd7\x00\x26\x00\x1a\x00\x1b\x00\x1c\x00\x18\x00\x76\x01\xd8\x00\xd9\x00\x26\x01\x77\x01\x78\x01\x1d\x00\x2b\x01\x0a\x00\x0a\x00\x1e\x00\x24\x00\x0a\x00\x3b\x01\x1f\x00\x20\x00\x19\x00\x21\x00\x4c\x01\x39\x01\x22\x00\x0a\x00\x23\x00\xdf\x00\x0a\x00\x1a\x00\x1b\x00\x0b\x00\x18\x00\x24\x00\x25\x00\xb0\x00\x26\x00\x0a\x00\xdd\x00\x1d\x00\xe1\x00\xa6\x00\x10\x00\x1e\x00\xa7\x00\x24\x00\xe5\x00\x1f\x00\x20\x00\x19\x00\x21\x00\xe6\x00\x2b\x00\x3d\x00\x2c\x00\x3e\x00\xb2\x00\xe7\x00\x1a\x00\x1b\x00\xd5\x00\x18\x00\x24\x00\x25\x00\x24\x00\x26\x00\x1c\x01\x1d\x01\x1d\x00\xc4\x00\xc5\x00\x0a\x00\x1e\x00\xc6\x00\x98\x00\x4c\x00\x1f\x00\x20\x00\x19\x00\x21\x00\x0a\x00\xdd\x00\x3d\x00\xb3\x00\x3e\x00\xa9\x00\x24\x00\x1a\x00\x1b\x00\x1c\x00\x18\x00\x24\x00\x25\x00\xaa\x00\x26\x00\xb7\x00\xaf\x00\x1d\x00\xb8\x00\xb9\x00\xff\xff\x1e\x00\xa2\xff\x0a\x00\xba\x00\x1f\x00\x20\x00\x19\x00\x21\x00\xbb\x00\xbc\x00\x22\x00\x0a\x00\x23\x00\x41\x00\x0a\x00\x1a\x00\x1b\x00\x0b\x00\x47\x00\x24\x00\x25\x00\x28\x00\x26\x00\x4d\x00\x0a\x00\x1d\x00\xff\xff\xa6\x00\x10\x00\x1e\x00\xa7\x00\xff\xff\x00\x00\x1f\x00\x20\x00\x19\x00\x21\x00\x00\x00\x2b\x00\x3d\x00\x2c\x00\x3e\x00\x00\x00\x0a\x00\x1a\x00\x1b\x00\x0b\x00\x00\x00\x24\x00\x25\x00\x28\x00\x26\x00\x00\x00\x00\x00\x1d\x00\x00\x00\xa6\x00\x10\x00\x1e\x00\xa7\x00\x00\x00\x00\x00\x1f\x00\x20\x00\x00\x00\x00\x00\x00\x00\x2f\x00\x3d\x00\x2c\x00\x3e\x00\x00\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x24\x00\x25\x00\x28\x00\x26\x00\x00\x00\xbf\x00\x0d\x00\x0e\x00\x2a\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\xc0\x00\x1d\x01\x2c\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x28\x00\x00\x00\x00\x00\xbf\x00\x0d\x00\x0e\x00\x2a\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\xc0\x00\xc1\x00\x2c\x00\x27\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x28\x00\x00\x00\x00\x00\x29\x00\x0d\x00\x0e\x00\x2a\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x2b\x00\x0a\x00\x2c\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x28\x00\x00\x00\x00\x00\x2e\x00\x0d\x00\x0e\x00\x2a\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x2f\x00\x0a\x00\x2c\x00\x00\x00\x0b\x00\x00\x00\x0a\x00\x00\x00\xb0\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x28\x00\xa6\x00\x10\x00\x00\x00\xa7\x00\x00\x00\xa6\x00\x10\x00\x00\x00\xa7\x00\x0a\x00\x00\x00\x2b\x00\x0b\x00\x2c\x00\x00\x00\x00\x00\x2f\x00\x00\x00\x2c\x00\xba\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x1f\x01\x20\x01\x21\x01\x22\x01\x23\x01\x24\x01\xc3\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x4c\x01\xce\x00\xcf\x00\xd0\x00\xd1\x00\x00\x00\xb3\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\xe8\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\x00\x00\x9a\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9c\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9d\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9e\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x8c\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5b\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5c\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5f\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x01\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xbd\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xbe\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc8\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa5\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xaf\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x27\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x29\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x2e\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xb4\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x47\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x00\x00\x00\x00\x00\x00\x13\x00\x14\x00\x15\x00\x16\x00\x0a\x00\x4f\x00\x00\x00\x0b\x00\x50\x00\x00\x00\x00\x00\x51\x00\x00\x00\x52\x00\x00\x00\x53\x00\xa3\x00\x0f\x00\x10\x00\xa4\x00\x12\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\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\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\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"#

    happyReduceArr = array (3, 269) [
    	(3 , happyReduce_3),
    	(4 , happyReduce_4),
    	(5 , happyReduce_5),
    	(6 , happyReduce_6),
    	(7 , happyReduce_7),
    	(8 , happyReduce_8),
    	(9 , happyReduce_9),
    	(10 , happyReduce_10),
    	(11 , happyReduce_11),
    	(12 , happyReduce_12),
    	(13 , happyReduce_13),
    	(14 , happyReduce_14),
    	(15 , happyReduce_15),
    	(16 , happyReduce_16),
    	(17 , happyReduce_17),
    	(18 , happyReduce_18),
    	(19 , happyReduce_19),
    	(20 , happyReduce_20),
    	(21 , happyReduce_21),
    	(22 , happyReduce_22),
    	(23 , happyReduce_23),
    	(24 , happyReduce_24),
    	(25 , happyReduce_25),
    	(26 , happyReduce_26),
    	(27 , happyReduce_27),
    	(28 , happyReduce_28),
    	(29 , happyReduce_29),
    	(30 , happyReduce_30),
    	(31 , happyReduce_31),
    	(32 , happyReduce_32),
    	(33 , happyReduce_33),
    	(34 , happyReduce_34),
    	(35 , happyReduce_35),
    	(36 , happyReduce_36),
    	(37 , happyReduce_37),
    	(38 , happyReduce_38),
    	(39 , happyReduce_39),
    	(40 , happyReduce_40),
    	(41 , happyReduce_41),
    	(42 , happyReduce_42),
    	(43 , happyReduce_43),
    	(44 , happyReduce_44),
    	(45 , happyReduce_45),
    	(46 , happyReduce_46),
    	(47 , happyReduce_47),
    	(48 , happyReduce_48),
    	(49 , happyReduce_49),
    	(50 , happyReduce_50),
    	(51 , happyReduce_51),
    	(52 , happyReduce_52),
    	(53 , happyReduce_53),
    	(54 , happyReduce_54),
    	(55 , happyReduce_55),
    	(56 , happyReduce_56),
    	(57 , happyReduce_57),
    	(58 , happyReduce_58),
    	(59 , happyReduce_59),
    	(60 , happyReduce_60),
    	(61 , happyReduce_61),
    	(62 , happyReduce_62),
    	(63 , happyReduce_63),
    	(64 , happyReduce_64),
    	(65 , happyReduce_65),
    	(66 , happyReduce_66),
    	(67 , happyReduce_67),
    	(68 , happyReduce_68),
    	(69 , happyReduce_69),
    	(70 , happyReduce_70),
    	(71 , happyReduce_71),
    	(72 , happyReduce_72),
    	(73 , happyReduce_73),
    	(74 , happyReduce_74),
    	(75 , happyReduce_75),
    	(76 , happyReduce_76),
    	(77 , happyReduce_77),
    	(78 , happyReduce_78),
    	(79 , happyReduce_79),
    	(80 , happyReduce_80),
    	(81 , happyReduce_81),
    	(82 , happyReduce_82),
    	(83 , happyReduce_83),
    	(84 , happyReduce_84),
    	(85 , happyReduce_85),
    	(86 , happyReduce_86),
    	(87 , happyReduce_87),
    	(88 , happyReduce_88),
    	(89 , happyReduce_89),
    	(90 , happyReduce_90),
    	(91 , happyReduce_91),
    	(92 , happyReduce_92),
    	(93 , happyReduce_93),
    	(94 , happyReduce_94),
    	(95 , happyReduce_95),
    	(96 , happyReduce_96),
    	(97 , happyReduce_97),
    	(98 , happyReduce_98),
    	(99 , happyReduce_99),
    	(100 , happyReduce_100),
    	(101 , happyReduce_101),
    	(102 , happyReduce_102),
    	(103 , happyReduce_103),
    	(104 , happyReduce_104),
    	(105 , happyReduce_105),
    	(106 , happyReduce_106),
    	(107 , happyReduce_107),
    	(108 , happyReduce_108),
    	(109 , happyReduce_109),
    	(110 , happyReduce_110),
    	(111 , happyReduce_111),
    	(112 , happyReduce_112),
    	(113 , happyReduce_113),
    	(114 , happyReduce_114),
    	(115 , happyReduce_115),
    	(116 , happyReduce_116),
    	(117 , happyReduce_117),
    	(118 , happyReduce_118),
    	(119 , happyReduce_119),
    	(120 , happyReduce_120),
    	(121 , happyReduce_121),
    	(122 , happyReduce_122),
    	(123 , happyReduce_123),
    	(124 , happyReduce_124),
    	(125 , happyReduce_125),
    	(126 , happyReduce_126),
    	(127 , happyReduce_127),
    	(128 , happyReduce_128),
    	(129 , happyReduce_129),
    	(130 , happyReduce_130),
    	(131 , happyReduce_131),
    	(132 , happyReduce_132),
    	(133 , happyReduce_133),
    	(134 , happyReduce_134),
    	(135 , happyReduce_135),
    	(136 , happyReduce_136),
    	(137 , happyReduce_137),
    	(138 , happyReduce_138),
    	(139 , happyReduce_139),
    	(140 , happyReduce_140),
    	(141 , happyReduce_141),
    	(142 , happyReduce_142),
    	(143 , happyReduce_143),
    	(144 , happyReduce_144),
    	(145 , happyReduce_145),
    	(146 , happyReduce_146),
    	(147 , happyReduce_147),
    	(148 , happyReduce_148),
    	(149 , happyReduce_149),
    	(150 , happyReduce_150),
    	(151 , happyReduce_151),
    	(152 , happyReduce_152),
    	(153 , happyReduce_153),
    	(154 , happyReduce_154),
    	(155 , happyReduce_155),
    	(156 , happyReduce_156),
    	(157 , happyReduce_157),
    	(158 , happyReduce_158),
    	(159 , happyReduce_159),
    	(160 , happyReduce_160),
    	(161 , happyReduce_161),
    	(162 , happyReduce_162),
    	(163 , happyReduce_163),
    	(164 , happyReduce_164),
    	(165 , happyReduce_165),
    	(166 , happyReduce_166),
    	(167 , happyReduce_167),
    	(168 , happyReduce_168),
    	(169 , happyReduce_169),
    	(170 , happyReduce_170),
    	(171 , happyReduce_171),
    	(172 , happyReduce_172),
    	(173 , happyReduce_173),
    	(174 , happyReduce_174),
    	(175 , happyReduce_175),
    	(176 , happyReduce_176),
    	(177 , happyReduce_177),
    	(178 , happyReduce_178),
    	(179 , happyReduce_179),
    	(180 , happyReduce_180),
    	(181 , happyReduce_181),
    	(182 , happyReduce_182),
    	(183 , happyReduce_183),
    	(184 , happyReduce_184),
    	(185 , happyReduce_185),
    	(186 , happyReduce_186),
    	(187 , happyReduce_187),
    	(188 , happyReduce_188),
    	(189 , happyReduce_189),
    	(190 , happyReduce_190),
    	(191 , happyReduce_191),
    	(192 , happyReduce_192),
    	(193 , happyReduce_193),
    	(194 , happyReduce_194),
    	(195 , happyReduce_195),
    	(196 , happyReduce_196),
    	(197 , happyReduce_197),
    	(198 , happyReduce_198),
    	(199 , happyReduce_199),
    	(200 , happyReduce_200),
    	(201 , happyReduce_201),
    	(202 , happyReduce_202),
    	(203 , happyReduce_203),
    	(204 , happyReduce_204),
    	(205 , happyReduce_205),
    	(206 , happyReduce_206),
    	(207 , happyReduce_207),
    	(208 , happyReduce_208),
    	(209 , happyReduce_209),
    	(210 , happyReduce_210),
    	(211 , happyReduce_211),
    	(212 , happyReduce_212),
    	(213 , happyReduce_213),
    	(214 , happyReduce_214),
    	(215 , happyReduce_215),
    	(216 , happyReduce_216),
    	(217 , happyReduce_217),
    	(218 , happyReduce_218),
    	(219 , happyReduce_219),
    	(220 , happyReduce_220),
    	(221 , happyReduce_221),
    	(222 , happyReduce_222),
    	(223 , happyReduce_223),
    	(224 , happyReduce_224),
    	(225 , happyReduce_225),
    	(226 , happyReduce_226),
    	(227 , happyReduce_227),
    	(228 , happyReduce_228),
    	(229 , happyReduce_229),
    	(230 , happyReduce_230),
    	(231 , happyReduce_231),
    	(232 , happyReduce_232),
    	(233 , happyReduce_233),
    	(234 , happyReduce_234),
    	(235 , happyReduce_235),
    	(236 , happyReduce_236),
    	(237 , happyReduce_237),
    	(238 , happyReduce_238),
    	(239 , happyReduce_239),
    	(240 , happyReduce_240),
    	(241 , happyReduce_241),
    	(242 , happyReduce_242),
    	(243 , happyReduce_243),
    	(244 , happyReduce_244),
    	(245 , happyReduce_245),
    	(246 , happyReduce_246),
    	(247 , happyReduce_247),
    	(248 , happyReduce_248),
    	(249 , happyReduce_249),
    	(250 , happyReduce_250),
    	(251 , happyReduce_251),
    	(252 , happyReduce_252),
    	(253 , happyReduce_253),
    	(254 , happyReduce_254),
    	(255 , happyReduce_255),
    	(256 , happyReduce_256),
    	(257 , happyReduce_257),
    	(258 , happyReduce_258),
    	(259 , happyReduce_259),
    	(260 , happyReduce_260),
    	(261 , happyReduce_261),
    	(262 , happyReduce_262),
    	(263 , happyReduce_263),
    	(264 , happyReduce_264),
    	(265 , happyReduce_265),
    	(266 , happyReduce_266),
    	(267 , happyReduce_267),
    	(268 , happyReduce_268),
    	(269 , happyReduce_269)
    	]

    happy_n_terms = 65 :: Int
    happy_n_nonterms = 101 :: Int

    happyReduce_3 = happySpecReduce_1  0# happyReduction_3
    happyReduction_3 happy_x_1
    	 =  case happyOut7 happy_x_1 of { happy_var_1 ->
    	happyIn6
    		 (reverse happy_var_1
    	)}

    happyReduce_4 = happySpecReduce_2  1# happyReduction_4
    happyReduction_4 happy_x_2
    	happy_x_1
    	 =  case happyOut7 happy_x_1 of { happy_var_1 ->
    	case happyOut8 happy_x_2 of { happy_var_2 ->
    	happyIn7
    		 (happy_var_2 : happy_var_1
    	)}}

    happyReduce_5 = happySpecReduce_0  1# happyReduction_5
    happyReduction_5  =  happyIn7
    		 ([]
    	)

    happyReduce_6 = happySpecReduce_1  2# happyReduction_6
    happyReduction_6 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwLet happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwLet happy_var_1
    	)}

    happyReduce_7 = happySpecReduce_1  2# happyReduction_7
    happyReduction_7 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwIn happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwIn happy_var_1
    	)}

    happyReduce_8 = happySpecReduce_1  2# happyReduction_8
    happyReduction_8 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwWhere happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwWhere happy_var_1
    	)}

    happyReduce_9 = happySpecReduce_1  2# happyReduction_9
    happyReduction_9 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwWith happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwWith happy_var_1
    	)}

    happyReduce_10 = happySpecReduce_1  2# happyReduction_10
    happyReduction_10 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwRewrite happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwRewrite happy_var_1
    	)}

    happyReduce_11 = happySpecReduce_1  2# happyReduction_11
    happyReduction_11 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwPostulate happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwPostulate happy_var_1
    	)}

    happyReduce_12 = happySpecReduce_1  2# happyReduction_12
    happyReduction_12 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwPrimitive happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwPrimitive happy_var_1
    	)}

    happyReduce_13 = happySpecReduce_1  2# happyReduction_13
    happyReduction_13 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwOpen happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwOpen happy_var_1
    	)}

    happyReduce_14 = happySpecReduce_1  2# happyReduction_14
    happyReduction_14 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwImport happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwImport happy_var_1
    	)}

    happyReduce_15 = happySpecReduce_1  2# happyReduction_15
    happyReduction_15 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwUsing happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwUsing happy_var_1
    	)}

    happyReduce_16 = happySpecReduce_1  2# happyReduction_16
    happyReduction_16 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwHiding happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwHiding happy_var_1
    	)}

    happyReduce_17 = happySpecReduce_1  2# happyReduction_17
    happyReduction_17 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwRenaming happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwRenaming happy_var_1
    	)}

    happyReduce_18 = happySpecReduce_1  2# happyReduction_18
    happyReduction_18 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwTo happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwTo happy_var_1
    	)}

    happyReduce_19 = happySpecReduce_1  2# happyReduction_19
    happyReduction_19 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwPublic happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwPublic happy_var_1
    	)}

    happyReduce_20 = happySpecReduce_1  2# happyReduction_20
    happyReduction_20 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwModule happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwModule happy_var_1
    	)}

    happyReduce_21 = happySpecReduce_1  2# happyReduction_21
    happyReduction_21 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwData happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwData happy_var_1
    	)}

    happyReduce_22 = happySpecReduce_1  2# happyReduction_22
    happyReduction_22 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwCoData happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwCoData happy_var_1
    	)}

    happyReduce_23 = happySpecReduce_1  2# happyReduction_23
    happyReduction_23 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwRecord happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwRecord happy_var_1
    	)}

    happyReduce_24 = happySpecReduce_1  2# happyReduction_24
    happyReduction_24 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwConstructor happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwConstructor happy_var_1
    	)}

    happyReduce_25 = happySpecReduce_1  2# happyReduction_25
    happyReduction_25 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwField happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwField happy_var_1
    	)}

    happyReduce_26 = happySpecReduce_1  2# happyReduction_26
    happyReduction_26 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwInfix happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwInfix happy_var_1
    	)}

    happyReduce_27 = happySpecReduce_1  2# happyReduction_27
    happyReduction_27 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwInfixL happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwInfixL happy_var_1
    	)}

    happyReduce_28 = happySpecReduce_1  2# happyReduction_28
    happyReduction_28 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwInfixR happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwInfixR happy_var_1
    	)}

    happyReduce_29 = happySpecReduce_1  2# happyReduction_29
    happyReduction_29 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwMutual happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwMutual happy_var_1
    	)}

    happyReduce_30 = happySpecReduce_1  2# happyReduction_30
    happyReduction_30 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwAbstract happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwAbstract happy_var_1
    	)}

    happyReduce_31 = happySpecReduce_1  2# happyReduction_31
    happyReduction_31 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwPrivate happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwPrivate happy_var_1
    	)}

    happyReduce_32 = happySpecReduce_1  2# happyReduction_32
    happyReduction_32 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwProp happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwProp happy_var_1
    	)}

    happyReduce_33 = happySpecReduce_1  2# happyReduction_33
    happyReduction_33 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwSet happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwSet happy_var_1
    	)}

    happyReduce_34 = happySpecReduce_1  2# happyReduction_34
    happyReduction_34 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwForall happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwForall happy_var_1
    	)}

    happyReduce_35 = happySpecReduce_1  2# happyReduction_35
    happyReduction_35 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwOPTIONS happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwOPTIONS happy_var_1
    	)}

    happyReduce_36 = happySpecReduce_1  2# happyReduction_36
    happyReduction_36 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwBUILTIN happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwBUILTIN happy_var_1
    	)}

    happyReduce_37 = happySpecReduce_1  2# happyReduction_37
    happyReduction_37 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwIMPORT happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwIMPORT happy_var_1
    	)}

    happyReduce_38 = happySpecReduce_1  2# happyReduction_38
    happyReduction_38 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwCOMPILED happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwCOMPILED happy_var_1
    	)}

    happyReduce_39 = happySpecReduce_1  2# happyReduction_39
    happyReduction_39 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwCOMPILED_DATA happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwCOMPILED_DATA happy_var_1
    	)}

    happyReduce_40 = happySpecReduce_1  2# happyReduction_40
    happyReduction_40 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwCOMPILED_TYPE happy_var_1) ->
    	happyIn8
    		 (TokKeyword KwCOMPILED_TYPE happy_var_1
    	)}

    happyReduce_41 = happySpecReduce_1  2# happyReduction_41
    happyReduction_41 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSetN happy_var_1) ->
    	happyIn8
    		 (TokSetN happy_var_1
    	)}

    happyReduce_42 = happySpecReduce_1  2# happyReduction_42
    happyReduction_42 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokTeX happy_var_1) ->
    	happyIn8
    		 (TokTeX happy_var_1
    	)}

    happyReduce_43 = happySpecReduce_1  2# happyReduction_43
    happyReduction_43 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokComment happy_var_1) ->
    	happyIn8
    		 (TokComment happy_var_1
    	)}

    happyReduce_44 = happySpecReduce_1  2# happyReduction_44
    happyReduction_44 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymEllipsis happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymEllipsis happy_var_1
    	)}

    happyReduce_45 = happySpecReduce_1  2# happyReduction_45
    happyReduction_45 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymDot happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymDot happy_var_1
    	)}

    happyReduce_46 = happySpecReduce_1  2# happyReduction_46
    happyReduction_46 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymSemi happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymSemi happy_var_1
    	)}

    happyReduce_47 = happySpecReduce_1  2# happyReduction_47
    happyReduction_47 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymColon happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymColon happy_var_1
    	)}

    happyReduce_48 = happySpecReduce_1  2# happyReduction_48
    happyReduction_48 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymEqual happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymEqual happy_var_1
    	)}

    happyReduce_49 = happySpecReduce_1  2# happyReduction_49
    happyReduction_49 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymUnderscore happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymUnderscore happy_var_1
    	)}

    happyReduce_50 = happySpecReduce_1  2# happyReduction_50
    happyReduction_50 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymQuestionMark happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymQuestionMark happy_var_1
    	)}

    happyReduce_51 = happySpecReduce_1  2# happyReduction_51
    happyReduction_51 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymArrow happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymArrow happy_var_1
    	)}

    happyReduce_52 = happySpecReduce_1  2# happyReduction_52
    happyReduction_52 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymLambda happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymLambda happy_var_1
    	)}

    happyReduce_53 = happySpecReduce_1  2# happyReduction_53
    happyReduction_53 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymAs happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymAs happy_var_1
    	)}

    happyReduce_54 = happySpecReduce_1  2# happyReduction_54
    happyReduction_54 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymBar happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymBar happy_var_1
    	)}

    happyReduce_55 = happySpecReduce_1  2# happyReduction_55
    happyReduction_55 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenParen happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymOpenParen happy_var_1
    	)}

    happyReduce_56 = happySpecReduce_1  2# happyReduction_56
    happyReduction_56 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymCloseParen happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymCloseParen happy_var_1
    	)}

    happyReduce_57 = happySpecReduce_1  2# happyReduction_57
    happyReduction_57 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenBrace happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymOpenBrace happy_var_1
    	)}

    happyReduce_58 = happySpecReduce_1  2# happyReduction_58
    happyReduction_58 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymCloseBrace happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymCloseBrace happy_var_1
    	)}

    happyReduce_59 = happySpecReduce_1  2# happyReduction_59
    happyReduction_59 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenVirtualBrace happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymOpenVirtualBrace happy_var_1
    	)}

    happyReduce_60 = happySpecReduce_1  2# happyReduction_60
    happyReduction_60 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymCloseVirtualBrace happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymCloseVirtualBrace happy_var_1
    	)}

    happyReduce_61 = happySpecReduce_1  2# happyReduction_61
    happyReduction_61 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymVirtualSemi happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymVirtualSemi happy_var_1
    	)}

    happyReduce_62 = happySpecReduce_1  2# happyReduction_62
    happyReduction_62 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenPragma happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymOpenPragma happy_var_1
    	)}

    happyReduce_63 = happySpecReduce_1  2# happyReduction_63
    happyReduction_63 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymClosePragma happy_var_1) ->
    	happyIn8
    		 (TokSymbol SymClosePragma happy_var_1
    	)}

    happyReduce_64 = happySpecReduce_1  2# happyReduction_64
    happyReduction_64 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokId happy_var_1) ->
    	happyIn8
    		 (TokId happy_var_1
    	)}

    happyReduce_65 = happySpecReduce_1  2# happyReduction_65
    happyReduction_65 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokQId happy_var_1) ->
    	happyIn8
    		 (TokQId happy_var_1
    	)}

    happyReduce_66 = happySpecReduce_1  2# happyReduction_66
    happyReduction_66 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokString happy_var_1) ->
    	happyIn8
    		 (TokString happy_var_1
    	)}

    happyReduce_67 = happySpecReduce_1  2# happyReduction_67
    happyReduction_67 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokLiteral happy_var_1) ->
    	happyIn8
    		 (TokLiteral happy_var_1
    	)}

    happyReduce_68 = happySpecReduce_0  3# happyReduction_68
    happyReduction_68  =  happyIn9
    		 (()
    	)

    happyReduce_69 = happySpecReduce_2  3# happyReduction_69
    happyReduction_69 happy_x_2
    	happy_x_1
    	 =  happyIn9
    		 (()
    	)

    happyReduce_70 = happySpecReduce_2  4# happyReduction_70
    happyReduction_70 happy_x_2
    	happy_x_1
    	 =  case happyOut11 happy_x_1 of { happy_var_1 ->
    	happyIn10
    		 (happy_var_1
    	)}

    happyReduce_71 = happySpecReduce_1  5# happyReduction_71
    happyReduction_71 happy_x_1
    	 =  case happyOut86 happy_x_1 of { happy_var_1 ->
    	happyIn11
    		 (([], happy_var_1)
    	)}

    happyReduce_72 = happySpecReduce_3  5# happyReduction_72
    happyReduction_72 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut89 happy_x_2 of { happy_var_2 ->
    	case happyOut11 happy_x_3 of { happy_var_3 ->
    	happyIn11
    		 (let (ps,m) = happy_var_3 in (happy_var_2 : ps, m)
    	)}}

    happyReduce_73 = happySpecReduce_1  6# happyReduction_73
    happyReduction_73 happy_x_1
    	 =  happyIn12
    		 (()
    	)

    happyReduce_74 = happyMonadReduce 1# 6# happyReduction_74
    happyReduction_74 (happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (( popContext)
    	) (\r -> happyReturn (happyIn12 r))

    happyReduce_75 = happySpecReduce_1  7# happyReduction_75
    happyReduction_75 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymSemi happy_var_1) ->
    	happyIn13
    		 (happy_var_1
    	)}

    happyReduce_76 = happySpecReduce_2  7# happyReduction_76
    happyReduction_76 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_2 of { (TokSymbol SymVirtualSemi happy_var_2) ->
    	happyIn13
    		 (happy_var_2
    	)}

    happyReduce_77 = happyMonadReduce 0# 8# happyReduction_77
    happyReduction_77 (happyRest) tk
    	 = happyThen (( pushLexState imp_dir)
    	) (\r -> happyReturn (happyIn14 r))

    happyReduce_78 = happyMonadReduce 1# 9# happyReduction_78
    happyReduction_78 (happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOutTok happy_x_1 of { (TokLiteral happy_var_1) ->
    	( case happy_var_1 of {
    		     LitInt _ n	-> return $ fromIntegral n;
    		     _		-> fail $ "Expected integer"
    		   })}
    	) (\r -> happyReturn (happyIn15 r))

    happyReduce_79 = happyMonadReduce 1# 10# happyReduction_79
    happyReduction_79 (happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOutTok happy_x_1 of { (TokId happy_var_1) ->
    	( mkName happy_var_1)}
    	) (\r -> happyReturn (happyIn16 r))

    happyReduce_80 = happySpecReduce_2  11# happyReduction_80
    happyReduction_80 happy_x_2
    	happy_x_1
    	 =  case happyOut16 happy_x_1 of { happy_var_1 ->
    	case happyOut17 happy_x_2 of { happy_var_2 ->
    	happyIn17
    		 (happy_var_1 : happy_var_2
    	)}}

    happyReduce_81 = happySpecReduce_1  11# happyReduction_81
    happyReduction_81 happy_x_1
    	 =  case happyOut16 happy_x_1 of { happy_var_1 ->
    	happyIn17
    		 ([happy_var_1]
    	)}

    happyReduce_82 = happySpecReduce_2  12# happyReduction_82
    happyReduction_82 happy_x_2
    	happy_x_1
    	 =  case happyOut16 happy_x_1 of { happy_var_1 ->
    	case happyOut18 happy_x_2 of { happy_var_2 ->
    	happyIn18
    		 ((NotHidden, happy_var_1) : happy_var_2
    	)}}

    happyReduce_83 = happySpecReduce_1  12# happyReduction_83
    happyReduction_83 happy_x_1
    	 =  case happyOut16 happy_x_1 of { happy_var_1 ->
    	happyIn18
    		 ([(NotHidden, happy_var_1)]
    	)}

    happyReduce_84 = happyReduce 4# 12# happyReduction_84
    happyReduction_84 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut17 happy_x_2 of { happy_var_2 ->
    	case happyOut18 happy_x_4 of { happy_var_4 ->
    	happyIn18
    		 (map ((,) Hidden) happy_var_2 ++ happy_var_4
    	) `HappyStk` happyRest}}

    happyReduce_85 = happySpecReduce_3  12# happyReduction_85
    happyReduction_85 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut17 happy_x_2 of { happy_var_2 ->
    	happyIn18
    		 (map ((,) Hidden) happy_var_2
    	)}

    happyReduce_86 = happyMonadReduce 1# 13# happyReduction_86
    happyReduction_86 (happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOutTok happy_x_1 of { (TokQId happy_var_1) ->
    	( mkQName happy_var_1)}
    	) (\r -> happyReturn (happyIn19 r))

    happyReduce_87 = happySpecReduce_1  13# happyReduction_87
    happyReduction_87 happy_x_1
    	 =  case happyOut16 happy_x_1 of { happy_var_1 ->
    	happyIn19
    		 (QName happy_var_1
    	)}

    happyReduce_88 = happySpecReduce_1  14# happyReduction_88
    happyReduction_88 happy_x_1
    	 =  case happyOut19 happy_x_1 of { happy_var_1 ->
    	happyIn20
    		 (happy_var_1
    	)}

    happyReduce_89 = happySpecReduce_1  15# happyReduction_89
    happyReduction_89 happy_x_1
    	 =  case happyOut16 happy_x_1 of { happy_var_1 ->
    	happyIn21
    		 (happy_var_1
    	)}

    happyReduce_90 = happySpecReduce_1  15# happyReduction_90
    happyReduction_90 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymUnderscore happy_var_1) ->
    	happyIn21
    		 (Name (getRange happy_var_1) [Hole]
    	)}

    happyReduce_91 = happySpecReduce_2  16# happyReduction_91
    happyReduction_91 happy_x_2
    	happy_x_1
    	 =  case happyOut21 happy_x_1 of { happy_var_1 ->
    	case happyOut22 happy_x_2 of { happy_var_2 ->
    	happyIn22
    		 (happy_var_1 : happy_var_2
    	)}}

    happyReduce_92 = happySpecReduce_1  16# happyReduction_92
    happyReduction_92 happy_x_1
    	 =  case happyOut21 happy_x_1 of { happy_var_1 ->
    	happyIn22
    		 ([happy_var_1]
    	)}

    happyReduce_93 = happyMonadReduce 1# 17# happyReduction_93
    happyReduction_93 (happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOut29 happy_x_1 of { happy_var_1 ->
    	(
        let getName (Ident (QName x)) = Just x
    	getName (Underscore r _)  = Just (Name r [Hole])
    	getName _		  = Nothing
        in
        case partition isJust $ map getName happy_var_1 of
    	(good, []) -> return $ map fromJust good
    	_	   -> fail $ "expected sequence of bound identifiers")}
    	) (\r -> happyReturn (happyIn23 r))

    happyReduce_94 = happySpecReduce_0  18# happyReduction_94
    happyReduction_94  =  happyIn24
    		 ([]
    	)

    happyReduce_95 = happySpecReduce_2  18# happyReduction_95
    happyReduction_95 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokString happy_var_1) ->
    	case happyOut24 happy_x_2 of { happy_var_2 ->
    	happyIn24
    		 (snd happy_var_1 : happy_var_2
    	)}}

    happyReduce_96 = happyMonadReduce 1# 19# happyReduction_96
    happyReduction_96 (happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOutTok happy_x_1 of { (TokString happy_var_1) ->
    	( fmap QName (mkName happy_var_1))}
    	) (\r -> happyReturn (happyIn25 r))

    happyReduce_97 = happySpecReduce_2  20# happyReduction_97
    happyReduction_97 happy_x_2
    	happy_x_1
    	 =  case happyOut36 happy_x_1 of { happy_var_1 ->
    	case happyOut26 happy_x_2 of { happy_var_2 ->
    	happyIn26
    		 (Pi happy_var_1 happy_var_2
    	)}}

    happyReduce_98 = happySpecReduce_3  20# happyReduction_98
    happyReduction_98 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut43 happy_x_2 of { happy_var_2 ->
    	case happyOut26 happy_x_3 of { happy_var_3 ->
    	happyIn26
    		 (forallPi happy_var_2 happy_var_3
    	)}}

    happyReduce_99 = happySpecReduce_3  20# happyReduction_99
    happyReduction_99 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut31 happy_x_1 of { happy_var_1 ->
    	case happyOut26 happy_x_3 of { happy_var_3 ->
    	happyIn26
    		 (Fun (fuseRange happy_var_1 happy_var_3) (RawApp (getRange happy_var_1) happy_var_1) happy_var_3
    	)}}

    happyReduce_100 = happySpecReduce_1  20# happyReduction_100
    happyReduction_100 happy_x_1
    	 =  case happyOut27 happy_x_1 of { happy_var_1 ->
    	happyIn26
    		 (happy_var_1
    	)}

    happyReduce_101 = happyMonadReduce 1# 21# happyReduction_101
    happyReduction_101 (happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOut28 happy_x_1 of { happy_var_1 ->
    	( case happy_var_1 of
    		      { [e]    -> return e
    		      ; e : es -> return $ WithApp (fuseRange e es) e es
    		      ; []     -> fail "impossible: empty with expressions"
    		      })}
    	) (\r -> happyReturn (happyIn27 r))

    happyReduce_102 = happySpecReduce_3  22# happyReduction_102
    happyReduction_102 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut31 happy_x_1 of { happy_var_1 ->
    	case happyOut28 happy_x_3 of { happy_var_3 ->
    	happyIn28
    		 (RawApp (getRange happy_var_1) happy_var_1 :  happy_var_3
    	)}}

    happyReduce_103 = happySpecReduce_1  22# happyReduction_103
    happyReduction_103 happy_x_1
    	 =  case happyOut29 happy_x_1 of { happy_var_1 ->
    	happyIn28
    		 ([RawApp (getRange happy_var_1) happy_var_1]
    	)}

    happyReduce_104 = happySpecReduce_1  23# happyReduction_104
    happyReduction_104 happy_x_1
    	 =  case happyOut30 happy_x_1 of { happy_var_1 ->
    	happyIn29
    		 ([happy_var_1]
    	)}

    happyReduce_105 = happySpecReduce_2  23# happyReduction_105
    happyReduction_105 happy_x_2
    	happy_x_1
    	 =  case happyOut32 happy_x_1 of { happy_var_1 ->
    	case happyOut29 happy_x_2 of { happy_var_2 ->
    	happyIn29
    		 (happy_var_1 : happy_var_2
    	)}}

    happyReduce_106 = happySpecReduce_3  24# happyReduction_106
    happyReduction_106 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymLambda happy_var_1) ->
    	case happyOut43 happy_x_2 of { happy_var_2 ->
    	case happyOut26 happy_x_3 of { happy_var_3 ->
    	happyIn30
    		 (Lam (fuseRange happy_var_1 happy_var_3) happy_var_2 happy_var_3
    	)}}}

    happyReduce_107 = happySpecReduce_2  24# happyReduction_107
    happyReduction_107 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymLambda happy_var_1) ->
    	case happyOut44 happy_x_2 of { happy_var_2 ->
    	happyIn30
    		 (let (bs, h) = happy_var_2; r = fuseRange happy_var_1 bs in
                                         if null bs then AbsurdLam r h else
                                         Lam r bs (AbsurdLam r h)
    	)}}

    happyReduce_108 = happyReduce 4# 24# happyReduction_108
    happyReduction_108 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwLet happy_var_1) ->
    	case happyOut104 happy_x_2 of { happy_var_2 ->
    	case happyOut26 happy_x_4 of { happy_var_4 ->
    	happyIn30
    		 (Let (fuseRange happy_var_1 happy_var_4) happy_var_2 happy_var_4
    	) `HappyStk` happyRest}}}

    happyReduce_109 = happySpecReduce_1  24# happyReduction_109
    happyReduction_109 happy_x_1
    	 =  case happyOut32 happy_x_1 of { happy_var_1 ->
    	happyIn30
    		 (happy_var_1
    	)}

    happyReduce_110 = happySpecReduce_1  25# happyReduction_110
    happyReduction_110 happy_x_1
    	 =  case happyOut32 happy_x_1 of { happy_var_1 ->
    	happyIn31
    		 ([happy_var_1]
    	)}

    happyReduce_111 = happySpecReduce_2  25# happyReduction_111
    happyReduction_111 happy_x_2
    	happy_x_1
    	 =  case happyOut32 happy_x_1 of { happy_var_1 ->
    	case happyOut31 happy_x_2 of { happy_var_2 ->
    	happyIn31
    		 (happy_var_1 : happy_var_2
    	)}}

    happyReduce_112 = happySpecReduce_1  26# happyReduction_112
    happyReduction_112 happy_x_1
    	 =  case happyOut19 happy_x_1 of { happy_var_1 ->
    	happyIn32
    		 (Ident happy_var_1
    	)}

    happyReduce_113 = happySpecReduce_1  26# happyReduction_113
    happyReduction_113 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokLiteral happy_var_1) ->
    	happyIn32
    		 (Lit happy_var_1
    	)}

    happyReduce_114 = happySpecReduce_1  26# happyReduction_114
    happyReduction_114 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymQuestionMark happy_var_1) ->
    	happyIn32
    		 (QuestionMark (getRange happy_var_1) Nothing
    	)}

    happyReduce_115 = happySpecReduce_1  26# happyReduction_115
    happyReduction_115 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymUnderscore happy_var_1) ->
    	happyIn32
    		 (Underscore (getRange happy_var_1) Nothing
    	)}

    happyReduce_116 = happySpecReduce_1  26# happyReduction_116
    happyReduction_116 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwProp happy_var_1) ->
    	happyIn32
    		 (Prop (getRange happy_var_1)
    	)}

    happyReduce_117 = happySpecReduce_1  26# happyReduction_117
    happyReduction_117 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwSet happy_var_1) ->
    	happyIn32
    		 (Set (getRange happy_var_1)
    	)}

    happyReduce_118 = happySpecReduce_1  26# happyReduction_118
    happyReduction_118 happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSetN happy_var_1) ->
    	happyIn32
    		 (SetN (getRange (fst happy_var_1)) (snd happy_var_1)
    	)}

    happyReduce_119 = happySpecReduce_3  26# happyReduction_119
    happyReduction_119 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenBrace happy_var_1) ->
    	case happyOut26 happy_x_2 of { happy_var_2 ->
    	case happyOutTok happy_x_3 of { (TokSymbol SymCloseBrace happy_var_3) ->
    	happyIn32
    		 (HiddenArg (fuseRange happy_var_1 happy_var_3) (unnamed happy_var_2)
    	)}}}

    happyReduce_120 = happyReduce 5# 26# happyReduction_120
    happyReduction_120 (happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokSymbol SymOpenBrace happy_var_1) ->
    	case happyOut16 happy_x_2 of { happy_var_2 ->
    	case happyOut26 happy_x_4 of { happy_var_4 ->
    	case happyOutTok happy_x_5 of { (TokSymbol SymCloseBrace happy_var_5) ->
    	happyIn32
    		 (HiddenArg (fuseRange happy_var_1 happy_var_5) (named (show happy_var_2) happy_var_4)
    	) `HappyStk` happyRest}}}}

    happyReduce_121 = happySpecReduce_3  26# happyReduction_121
    happyReduction_121 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenParen happy_var_1) ->
    	case happyOut26 happy_x_2 of { happy_var_2 ->
    	case happyOutTok happy_x_3 of { (TokSymbol SymCloseParen happy_var_3) ->
    	happyIn32
    		 (Paren (fuseRange happy_var_1 happy_var_3) happy_var_2
    	)}}}

    happyReduce_122 = happySpecReduce_2  26# happyReduction_122
    happyReduction_122 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenBrace happy_var_1) ->
    	case happyOutTok happy_x_2 of { (TokSymbol SymCloseBrace happy_var_2) ->
    	happyIn32
    		 (let r = fuseRange happy_var_1 happy_var_2 in HiddenArg r $ unnamed $ Absurd r
    	)}}

    happyReduce_123 = happySpecReduce_2  26# happyReduction_123
    happyReduction_123 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenParen happy_var_1) ->
    	case happyOutTok happy_x_2 of { (TokSymbol SymCloseParen happy_var_2) ->
    	happyIn32
    		 (Absurd (fuseRange happy_var_1 happy_var_2)
    	)}}

    happyReduce_124 = happySpecReduce_3  26# happyReduction_124
    happyReduction_124 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut16 happy_x_1 of { happy_var_1 ->
    	case happyOut32 happy_x_3 of { happy_var_3 ->
    	happyIn32
    		 (As (fuseRange happy_var_1 happy_var_3) happy_var_1 happy_var_3
    	)}}

    happyReduce_125 = happySpecReduce_2  26# happyReduction_125
    happyReduction_125 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymDot happy_var_1) ->
    	case happyOut32 happy_x_2 of { happy_var_2 ->
    	happyIn32
    		 (Dot (fuseRange happy_var_1 happy_var_2) happy_var_2
    	)}}

    happyReduce_126 = happyReduce 4# 26# happyReduction_126
    happyReduction_126 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwRecord happy_var_1) ->
    	case happyOut33 happy_x_3 of { happy_var_3 ->
    	case happyOutTok happy_x_4 of { (TokSymbol SymCloseBrace happy_var_4) ->
    	happyIn32
    		 (Rec (getRange (happy_var_1,happy_var_4)) happy_var_3
    	) `HappyStk` happyRest}}}

    happyReduce_127 = happySpecReduce_0  27# happyReduction_127
    happyReduction_127  =  happyIn33
    		 ([]
    	)

    happyReduce_128 = happySpecReduce_1  27# happyReduction_128
    happyReduction_128 happy_x_1
    	 =  case happyOut34 happy_x_1 of { happy_var_1 ->
    	happyIn33
    		 (happy_var_1
    	)}

    happyReduce_129 = happySpecReduce_1  28# happyReduction_129
    happyReduction_129 happy_x_1
    	 =  case happyOut35 happy_x_1 of { happy_var_1 ->
    	happyIn34
    		 ([happy_var_1]
    	)}

    happyReduce_130 = happySpecReduce_3  28# happyReduction_130
    happyReduction_130 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut35 happy_x_1 of { happy_var_1 ->
    	case happyOut34 happy_x_3 of { happy_var_3 ->
    	happyIn34
    		 (happy_var_1 : happy_var_3
    	)}}

    happyReduce_131 = happySpecReduce_3  29# happyReduction_131
    happyReduction_131 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut16 happy_x_1 of { happy_var_1 ->
    	case happyOut26 happy_x_3 of { happy_var_3 ->
    	happyIn35
    		 ((happy_var_1, happy_var_3)
    	)}}

    happyReduce_132 = happySpecReduce_2  30# happyReduction_132
    happyReduction_132 happy_x_2
    	happy_x_1
    	 =  case happyOut37 happy_x_1 of { happy_var_1 ->
    	happyIn36
    		 (happy_var_1
    	)}

    happyReduce_133 = happySpecReduce_1  31# happyReduction_133
    happyReduction_133 happy_x_1
    	 =  case happyOut38 happy_x_1 of { happy_var_1 ->
    	happyIn37
    		 ({-TeleBind-} happy_var_1
    	)}

    happyReduce_134 = happySpecReduce_2  32# happyReduction_134
    happyReduction_134 happy_x_2
    	happy_x_1
    	 =  case happyOut39 happy_x_1 of { happy_var_1 ->
    	case happyOut38 happy_x_2 of { happy_var_2 ->
    	happyIn38
    		 (happy_var_1 : happy_var_2
    	)}}

    happyReduce_135 = happySpecReduce_1  32# happyReduction_135
    happyReduction_135 happy_x_1
    	 =  case happyOut39 happy_x_1 of { happy_var_1 ->
    	happyIn38
    		 ([happy_var_1]
    	)}

    happyReduce_136 = happySpecReduce_3  33# happyReduction_136
    happyReduction_136 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenParen happy_var_1) ->
    	case happyOut40 happy_x_2 of { happy_var_2 ->
    	case happyOutTok happy_x_3 of { (TokSymbol SymCloseParen happy_var_3) ->
    	happyIn39
    		 (TypedBindings (fuseRange happy_var_1 happy_var_3) NotHidden happy_var_2
    	)}}}

    happyReduce_137 = happySpecReduce_3  33# happyReduction_137
    happyReduction_137 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenBrace happy_var_1) ->
    	case happyOut40 happy_x_2 of { happy_var_2 ->
    	case happyOutTok happy_x_3 of { (TokSymbol SymCloseBrace happy_var_3) ->
    	happyIn39
    		 (TypedBindings (fuseRange happy_var_1 happy_var_3) Hidden    happy_var_2
    	)}}}

    happyReduce_138 = happySpecReduce_1  34# happyReduction_138
    happyReduction_138 happy_x_1
    	 =  case happyOut42 happy_x_1 of { happy_var_1 ->
    	happyIn40
    		 ([happy_var_1]
    	)}

    happyReduce_139 = happySpecReduce_3  34# happyReduction_139
    happyReduction_139 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut42 happy_x_1 of { happy_var_1 ->
    	case happyOut41 happy_x_3 of { happy_var_3 ->
    	happyIn40
    		 (happy_var_1 : happy_var_3
    	)}}

    happyReduce_140 = happySpecReduce_1  35# happyReduction_140
    happyReduction_140 happy_x_1
    	 =  case happyOut40 happy_x_1 of { happy_var_1 ->
    	happyIn41
    		 (happy_var_1
    	)}

    happyReduce_141 = happySpecReduce_3  35# happyReduction_141
    happyReduction_141 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut26 happy_x_1 of { happy_var_1 ->
    	case happyOut41 happy_x_3 of { happy_var_3 ->
    	happyIn41
    		 (TNoBind happy_var_1 : happy_var_3
    	)}}

    happyReduce_142 = happySpecReduce_1  35# happyReduction_142
    happyReduction_142 happy_x_1
    	 =  case happyOut26 happy_x_1 of { happy_var_1 ->
    	happyIn41
    		 ([TNoBind happy_var_1]
    	)}

    happyReduce_143 = happySpecReduce_3  36# happyReduction_143
    happyReduction_143 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut23 happy_x_1 of { happy_var_1 ->
    	case happyOut26 happy_x_3 of { happy_var_3 ->
    	happyIn42
    		 (TBind (fuseRange happy_var_1 happy_var_3) (map mkBoundName_ happy_var_1) happy_var_3
    	)}}

    happyReduce_144 = happyMonadReduce 2# 37# happyReduction_144
    happyReduction_144 (happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOut45 happy_x_1 of { happy_var_1 ->
    	(
          case last happy_var_1 of
            Left _  -> parseError "Absurd lambda cannot have a body."
            _       -> return [ b | Right b <- happy_var_1 ])}
    	) (\r -> happyReturn (happyIn43 r))

    happyReduce_145 = happyMonadReduce 1# 38# happyReduction_145
    happyReduction_145 (happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOut45 happy_x_1 of { happy_var_1 ->
    	(
        case last happy_var_1 of
          Right _ -> parseError "Missing body for lambda"
          Left h  -> return ([ b | Right b <- init happy_var_1], h))}
    	) (\r -> happyReturn (happyIn44 r))

    happyReduce_146 = happySpecReduce_2  39# happyReduction_146
    happyReduction_146 happy_x_2
    	happy_x_1
    	 =  case happyOut47 happy_x_1 of { happy_var_1 ->
    	case happyOut45 happy_x_2 of { happy_var_2 ->
    	happyIn45
    		 (map Right happy_var_1 ++ happy_var_2
    	)}}

    happyReduce_147 = happySpecReduce_2  39# happyReduction_147
    happyReduction_147 happy_x_2
    	happy_x_1
    	 =  case happyOut39 happy_x_1 of { happy_var_1 ->
    	case happyOut45 happy_x_2 of { happy_var_2 ->
    	happyIn45
    		 (Right (DomainFull happy_var_1) : happy_var_2
    	)}}

    happyReduce_148 = happySpecReduce_1  39# happyReduction_148
    happyReduction_148 happy_x_1
    	 =  case happyOut47 happy_x_1 of { happy_var_1 ->
    	happyIn45
    		 (map Right happy_var_1
    	)}

    happyReduce_149 = happySpecReduce_1  39# happyReduction_149
    happyReduction_149 happy_x_1
    	 =  case happyOut39 happy_x_1 of { happy_var_1 ->
    	happyIn45
    		 ([Right $ DomainFull happy_var_1]
    	)}

    happyReduce_150 = happySpecReduce_2  39# happyReduction_150
    happyReduction_150 happy_x_2
    	happy_x_1
    	 =  happyIn45
    		 ([Left NotHidden]
    	)

    happyReduce_151 = happySpecReduce_2  39# happyReduction_151
    happyReduction_151 happy_x_2
    	happy_x_1
    	 =  happyIn45
    		 ([Left Hidden]
    	)

    happyReduce_152 = happySpecReduce_2  40# happyReduction_152
    happyReduction_152 happy_x_2
    	happy_x_1
    	 =  case happyOut47 happy_x_1 of { happy_var_1 ->
    	case happyOut46 happy_x_2 of { happy_var_2 ->
    	happyIn46
    		 (happy_var_1 ++ happy_var_2
    	)}}

    happyReduce_153 = happySpecReduce_2  40# happyReduction_153
    happyReduction_153 happy_x_2
    	happy_x_1
    	 =  case happyOut39 happy_x_1 of { happy_var_1 ->
    	case happyOut46 happy_x_2 of { happy_var_2 ->
    	happyIn46
    		 (DomainFull happy_var_1 : happy_var_2
    	)}}

    happyReduce_154 = happySpecReduce_0  40# happyReduction_154
    happyReduction_154  =  happyIn46
    		 ([]
    	)

    happyReduce_155 = happySpecReduce_1  41# happyReduction_155
    happyReduction_155 happy_x_1
    	 =  case happyOut21 happy_x_1 of { happy_var_1 ->
    	happyIn47
    		 ([DomainFree NotHidden $ mkBoundName_ happy_var_1]
    	)}

    happyReduce_156 = happySpecReduce_3  41# happyReduction_156
    happyReduction_156 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut23 happy_x_2 of { happy_var_2 ->
    	happyIn47
    		 (map (DomainFree Hidden . mkBoundName_) happy_var_2
    	)}

    happyReduce_157 = happySpecReduce_1  42# happyReduction_157
    happyReduction_157 happy_x_1
    	 =  case happyOut49 happy_x_1 of { happy_var_1 ->
    	happyIn48
    		 ((Nothing, happy_var_1)
    	)}

    happyReduce_158 = happyMonadReduce 3# 42# happyReduction_158
    happyReduction_158 (happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOutTok happy_x_1 of { (TokId happy_var_1) ->
    	case happyOut16 happy_x_2 of { happy_var_2 ->
    	case happyOut49 happy_x_3 of { happy_var_3 ->
    	( isName "as" happy_var_1 >>
                                   return (Just (AsName happy_var_2 (getRange (fst happy_var_1))), happy_var_3))}}}
    	) (\r -> happyReturn (happyIn48 r))

    happyReduce_159 = happyMonadReduce 1# 43# happyReduction_159
    happyReduction_159 (happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOut50 happy_x_1 of { happy_var_1 ->
    	( verifyImportDirective happy_var_1)}
    	) (\r -> happyReturn (happyIn49 r))

    happyReduce_160 = happySpecReduce_2  44# happyReduction_160
    happyReduction_160 happy_x_2
    	happy_x_1
    	 =  case happyOut51 happy_x_2 of { happy_var_2 ->
    	happyIn50
    		 (happy_var_2 { publicOpen = True }
    	)}

    happyReduce_161 = happySpecReduce_1  44# happyReduction_161
    happyReduction_161 happy_x_1
    	 =  case happyOut51 happy_x_1 of { happy_var_1 ->
    	happyIn50
    		 (happy_var_1
    	)}

    happyReduce_162 = happySpecReduce_2  45# happyReduction_162
    happyReduction_162 happy_x_2
    	happy_x_1
    	 =  case happyOut52 happy_x_1 of { happy_var_1 ->
    	case happyOut53 happy_x_2 of { happy_var_2 ->
    	happyIn51
    		 (ImportDirective (fuseRange happy_var_1 happy_var_2) happy_var_1 happy_var_2 False
    	)}}

    happyReduce_163 = happySpecReduce_1  45# happyReduction_163
    happyReduction_163 happy_x_1
    	 =  case happyOut53 happy_x_1 of { happy_var_1 ->
    	happyIn51
    		 (ImportDirective (getRange happy_var_1) (Hiding []) happy_var_1 False
    	)}

    happyReduce_164 = happySpecReduce_1  45# happyReduction_164
    happyReduction_164 happy_x_1
    	 =  case happyOut52 happy_x_1 of { happy_var_1 ->
    	happyIn51
    		 (ImportDirective (getRange happy_var_1) happy_var_1 [] False
    	)}

    happyReduce_165 = happySpecReduce_0  45# happyReduction_165
    happyReduction_165  =  happyIn51
    		 (ImportDirective noRange (Hiding []) [] False
    	)

    happyReduce_166 = happyReduce 4# 46# happyReduction_166
    happyReduction_166 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut58 happy_x_3 of { happy_var_3 ->
    	happyIn52
    		 (Using happy_var_3
    	) `HappyStk` happyRest}

    happyReduce_167 = happyReduce 4# 46# happyReduction_167
    happyReduction_167 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut59 happy_x_3 of { happy_var_3 ->
    	happyIn52
    		 (Hiding happy_var_3
    	) `HappyStk` happyRest}

    happyReduce_168 = happyReduce 4# 47# happyReduction_168
    happyReduction_168 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut54 happy_x_3 of { happy_var_3 ->
    	happyIn53
    		 (happy_var_3
    	) `HappyStk` happyRest}

    happyReduce_169 = happySpecReduce_3  48# happyReduction_169
    happyReduction_169 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut55 happy_x_1 of { happy_var_1 ->
    	case happyOut54 happy_x_3 of { happy_var_3 ->
    	happyIn54
    		 (happy_var_1 : happy_var_3
    	)}}

    happyReduce_170 = happySpecReduce_1  48# happyReduction_170
    happyReduction_170 happy_x_1
    	 =  case happyOut55 happy_x_1 of { happy_var_1 ->
    	happyIn54
    		 ([happy_var_1]
    	)}

    happyReduce_171 = happySpecReduce_3  49# happyReduction_171
    happyReduction_171 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut56 happy_x_1 of { happy_var_1 ->
    	case happyOutTok happy_x_2 of { (TokKeyword KwTo happy_var_2) ->
    	case happyOut16 happy_x_3 of { happy_var_3 ->
    	happyIn55
    		 (Renaming happy_var_1 happy_var_3 (getRange happy_var_2)
    	)}}}

    happyReduce_172 = happySpecReduce_2  50# happyReduction_172
    happyReduction_172 happy_x_2
    	happy_x_1
    	 =  case happyOut16 happy_x_2 of { happy_var_2 ->
    	happyIn56
    		 (ImportedName happy_var_2
    	)}

    happyReduce_173 = happySpecReduce_3  50# happyReduction_173
    happyReduction_173 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut16 happy_x_3 of { happy_var_3 ->
    	happyIn56
    		 (ImportedModule happy_var_3
    	)}

    happyReduce_174 = happySpecReduce_1  51# happyReduction_174
    happyReduction_174 happy_x_1
    	 =  case happyOut16 happy_x_1 of { happy_var_1 ->
    	happyIn57
    		 (ImportedName happy_var_1
    	)}

    happyReduce_175 = happySpecReduce_2  51# happyReduction_175
    happyReduction_175 happy_x_2
    	happy_x_1
    	 =  case happyOut16 happy_x_2 of { happy_var_2 ->
    	happyIn57
    		 (ImportedModule happy_var_2
    	)}

    happyReduce_176 = happySpecReduce_0  52# happyReduction_176
    happyReduction_176  =  happyIn58
    		 ([]
    	)

    happyReduce_177 = happySpecReduce_1  52# happyReduction_177
    happyReduction_177 happy_x_1
    	 =  case happyOut59 happy_x_1 of { happy_var_1 ->
    	happyIn58
    		 (happy_var_1
    	)}

    happyReduce_178 = happySpecReduce_1  53# happyReduction_178
    happyReduction_178 happy_x_1
    	 =  case happyOut57 happy_x_1 of { happy_var_1 ->
    	happyIn59
    		 ([happy_var_1]
    	)}

    happyReduce_179 = happySpecReduce_3  53# happyReduction_179
    happyReduction_179 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut57 happy_x_1 of { happy_var_1 ->
    	case happyOut59 happy_x_3 of { happy_var_3 ->
    	happyIn59
    		 (happy_var_1 : happy_var_3
    	)}}

    happyReduce_180 = happyMonadReduce 3# 54# happyReduction_180
    happyReduction_180 (happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOut27 happy_x_1 of { happy_var_1 ->
    	case happyOut63 happy_x_2 of { happy_var_2 ->
    	case happyOut62 happy_x_3 of { happy_var_3 ->
    	( exprToLHS happy_var_1 >>= \p -> return (p happy_var_2 happy_var_3))}}}
    	) (\r -> happyReturn (happyIn60 r))

    happyReduce_181 = happyReduce 4# 54# happyReduction_181
    happyReduction_181 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokSymbol SymEllipsis happy_var_1) ->
    	case happyOut61 happy_x_2 of { happy_var_2 ->
    	case happyOut63 happy_x_3 of { happy_var_3 ->
    	case happyOut62 happy_x_4 of { happy_var_4 ->
    	happyIn60
    		 (Ellipsis (fuseRange happy_var_1 happy_var_3) happy_var_2 happy_var_3 happy_var_4
    	) `HappyStk` happyRest}}}}

    happyReduce_182 = happySpecReduce_0  55# happyReduction_182
    happyReduction_182  =  happyIn61
    		 ([]
    	)

    happyReduce_183 = happyMonadReduce 3# 55# happyReduction_183
    happyReduction_183 (happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOut31 happy_x_2 of { happy_var_2 ->
    	case happyOut61 happy_x_3 of { happy_var_3 ->
    	( exprToPattern (RawApp (getRange happy_var_2) happy_var_2) >>= \p ->
    		   return (p : happy_var_3))}}
    	) (\r -> happyReturn (happyIn61 r))

    happyReduce_184 = happySpecReduce_0  56# happyReduction_184
    happyReduction_184  =  happyIn62
    		 ([]
    	)

    happyReduce_185 = happySpecReduce_2  56# happyReduction_185
    happyReduction_185 happy_x_2
    	happy_x_1
    	 =  case happyOut26 happy_x_2 of { happy_var_2 ->
    	happyIn62
    		 (case happy_var_2 of { WithApp _ e es -> e : es; e -> [e] }
    	)}

    happyReduce_186 = happySpecReduce_0  57# happyReduction_186
    happyReduction_186  =  happyIn63
    		 ([]
    	)

    happyReduce_187 = happySpecReduce_2  57# happyReduction_187
    happyReduction_187 happy_x_2
    	happy_x_1
    	 =  case happyOut26 happy_x_2 of { happy_var_2 ->
    	happyIn63
    		 (case happy_var_2 of { WithApp _ e es -> e : es; e -> [e] }
    	)}

    happyReduce_188 = happySpecReduce_0  58# happyReduction_188
    happyReduction_188  =  happyIn64
    		 (NoWhere
    	)

    happyReduce_189 = happySpecReduce_2  58# happyReduction_189
    happyReduction_189 happy_x_2
    	happy_x_1
    	 =  case happyOut104 happy_x_2 of { happy_var_2 ->
    	happyIn64
    		 (AnyWhere happy_var_2
    	)}

    happyReduce_190 = happyReduce 4# 58# happyReduction_190
    happyReduction_190 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut16 happy_x_2 of { happy_var_2 ->
    	case happyOut104 happy_x_4 of { happy_var_4 ->
    	happyIn64
    		 (SomeWhere happy_var_2 happy_var_4
    	) `HappyStk` happyRest}}

    happyReduce_191 = happySpecReduce_1  59# happyReduction_191
    happyReduction_191 happy_x_1
    	 =  case happyOut66 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_192 = happySpecReduce_1  59# happyReduction_192
    happyReduction_192 happy_x_1
    	 =  case happyOut75 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 (happy_var_1
    	)}

    happyReduce_193 = happySpecReduce_1  59# happyReduction_193
    happyReduction_193 happy_x_1
    	 =  case happyOut69 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_194 = happySpecReduce_1  59# happyReduction_194
    happyReduction_194 happy_x_1
    	 =  case happyOut71 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_195 = happySpecReduce_1  59# happyReduction_195
    happyReduction_195 happy_x_1
    	 =  case happyOut72 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_196 = happySpecReduce_1  59# happyReduction_196
    happyReduction_196 happy_x_1
    	 =  case happyOut74 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_197 = happySpecReduce_1  59# happyReduction_197
    happyReduction_197 happy_x_1
    	 =  case happyOut76 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_198 = happySpecReduce_1  59# happyReduction_198
    happyReduction_198 happy_x_1
    	 =  case happyOut77 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_199 = happySpecReduce_1  59# happyReduction_199
    happyReduction_199 happy_x_1
    	 =  case happyOut78 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_200 = happySpecReduce_1  59# happyReduction_200
    happyReduction_200 happy_x_1
    	 =  case happyOut79 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_201 = happySpecReduce_1  59# happyReduction_201
    happyReduction_201 happy_x_1
    	 =  case happyOut80 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_202 = happySpecReduce_1  59# happyReduction_202
    happyReduction_202 happy_x_1
    	 =  case happyOut81 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_203 = happySpecReduce_1  59# happyReduction_203
    happyReduction_203 happy_x_1
    	 =  case happyOut84 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_204 = happySpecReduce_1  59# happyReduction_204
    happyReduction_204 happy_x_1
    	 =  case happyOut83 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_205 = happySpecReduce_1  59# happyReduction_205
    happyReduction_205 happy_x_1
    	 =  case happyOut85 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_206 = happySpecReduce_1  59# happyReduction_206
    happyReduction_206 happy_x_1
    	 =  case happyOut88 happy_x_1 of { happy_var_1 ->
    	happyIn65
    		 ([happy_var_1]
    	)}

    happyReduce_207 = happySpecReduce_3  60# happyReduction_207
    happyReduction_207 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut16 happy_x_1 of { happy_var_1 ->
    	case happyOut26 happy_x_3 of { happy_var_3 ->
    	happyIn66
    		 (TypeSig happy_var_1 happy_var_3
    	)}}

    happyReduce_208 = happySpecReduce_3  61# happyReduction_208
    happyReduction_208 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut17 happy_x_1 of { happy_var_1 ->
    	case happyOut26 happy_x_3 of { happy_var_3 ->
    	happyIn67
    		 (map (flip TypeSig happy_var_3) happy_var_1
    	)}}

    happyReduce_209 = happySpecReduce_3  62# happyReduction_209
    happyReduction_209 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut18 happy_x_1 of { happy_var_1 ->
    	case happyOut26 happy_x_3 of { happy_var_3 ->
    	happyIn68
    		 (map (id *** flip TypeSig happy_var_3) happy_var_1
    	)}}

    happyReduce_210 = happySpecReduce_3  63# happyReduction_210
    happyReduction_210 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut60 happy_x_1 of { happy_var_1 ->
    	case happyOut70 happy_x_2 of { happy_var_2 ->
    	case happyOut64 happy_x_3 of { happy_var_3 ->
    	happyIn69
    		 (FunClause happy_var_1 happy_var_2 happy_var_3
    	)}}}

    happyReduce_211 = happySpecReduce_2  64# happyReduction_211
    happyReduction_211 happy_x_2
    	happy_x_1
    	 =  case happyOut26 happy_x_2 of { happy_var_2 ->
    	happyIn70
    		 (RHS happy_var_2
    	)}

    happyReduce_212 = happySpecReduce_0  64# happyReduction_212
    happyReduction_212  =  happyIn70
    		 (AbsurdRHS
    	)

    happyReduce_213 = happyReduce 7# 65# happyReduction_213
    happyReduction_213 (happy_x_7 `HappyStk`
    	happy_x_6 `HappyStk`
    	happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwData happy_var_1) ->
    	case happyOut16 happy_x_2 of { happy_var_2 ->
    	case happyOut46 happy_x_3 of { happy_var_3 ->
    	case happyOut26 happy_x_5 of { happy_var_5 ->
    	case happyOutTok happy_x_6 of { (TokKeyword KwWhere happy_var_6) ->
    	case happyOut102 happy_x_7 of { happy_var_7 ->
    	happyIn71
    		 (Data (getRange (happy_var_1, happy_var_6, happy_var_7)) Inductive happy_var_2 (map addType happy_var_3) happy_var_5 happy_var_7
    	) `HappyStk` happyRest}}}}}}

    happyReduce_214 = happyReduce 7# 65# happyReduction_214
    happyReduction_214 (happy_x_7 `HappyStk`
    	happy_x_6 `HappyStk`
    	happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwCoData happy_var_1) ->
    	case happyOut16 happy_x_2 of { happy_var_2 ->
    	case happyOut46 happy_x_3 of { happy_var_3 ->
    	case happyOut26 happy_x_5 of { happy_var_5 ->
    	case happyOutTok happy_x_6 of { (TokKeyword KwWhere happy_var_6) ->
    	case happyOut102 happy_x_7 of { happy_var_7 ->
    	happyIn71
    		 (Data (getRange (happy_var_1, happy_var_6, happy_var_7)) CoInductive happy_var_2 (map addType happy_var_3) happy_var_5 happy_var_7
    	) `HappyStk` happyRest}}}}}}

    happyReduce_215 = happyReduce 7# 66# happyReduction_215
    happyReduction_215 (happy_x_7 `HappyStk`
    	happy_x_6 `HappyStk`
    	happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwRecord happy_var_1) ->
    	case happyOut16 happy_x_2 of { happy_var_2 ->
    	case happyOut46 happy_x_3 of { happy_var_3 ->
    	case happyOut26 happy_x_5 of { happy_var_5 ->
    	case happyOutTok happy_x_6 of { (TokKeyword KwWhere happy_var_6) ->
    	case happyOut103 happy_x_7 of { happy_var_7 ->
    	happyIn72
    		 (Record (getRange (happy_var_1, happy_var_6, happy_var_7)) happy_var_2 (fst happy_var_7) (map addType happy_var_3) happy_var_5 (snd happy_var_7)
    	) `HappyStk` happyRest}}}}}}

    happyReduce_216 = happySpecReduce_2  67# happyReduction_216
    happyReduction_216 happy_x_2
    	happy_x_1
    	 =  case happyOut16 happy_x_2 of { happy_var_2 ->
    	happyIn73
    		 (happy_var_2
    	)}

    happyReduce_217 = happySpecReduce_3  68# happyReduction_217
    happyReduction_217 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwInfix happy_var_1) ->
    	case happyOut15 happy_x_2 of { happy_var_2 ->
    	case happyOut22 happy_x_3 of { happy_var_3 ->
    	happyIn74
    		 (Infix (NonAssoc (fuseRange happy_var_1 happy_var_3) happy_var_2) happy_var_3
    	)}}}

    happyReduce_218 = happySpecReduce_3  68# happyReduction_218
    happyReduction_218 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwInfixL happy_var_1) ->
    	case happyOut15 happy_x_2 of { happy_var_2 ->
    	case happyOut22 happy_x_3 of { happy_var_3 ->
    	happyIn74
    		 (Infix (LeftAssoc (fuseRange happy_var_1 happy_var_3) happy_var_2) happy_var_3
    	)}}}

    happyReduce_219 = happySpecReduce_3  68# happyReduction_219
    happyReduction_219 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwInfixR happy_var_1) ->
    	case happyOut15 happy_x_2 of { happy_var_2 ->
    	case happyOut22 happy_x_3 of { happy_var_3 ->
    	happyIn74
    		 (Infix (RightAssoc (fuseRange happy_var_1 happy_var_3) happy_var_2) happy_var_3
    	)}}}

    happyReduce_220 = happySpecReduce_2  69# happyReduction_220
    happyReduction_220 happy_x_2
    	happy_x_1
    	 =  case happyOut100 happy_x_2 of { happy_var_2 ->
    	happyIn75
    		 (let toField (h, TypeSig x t) = Field h x t in map toField happy_var_2
    	)}

    happyReduce_221 = happySpecReduce_2  70# happyReduction_221
    happyReduction_221 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwMutual happy_var_1) ->
    	case happyOut104 happy_x_2 of { happy_var_2 ->
    	happyIn76
    		 (Mutual (fuseRange happy_var_1 happy_var_2) happy_var_2
    	)}}

    happyReduce_222 = happySpecReduce_2  71# happyReduction_222
    happyReduction_222 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwAbstract happy_var_1) ->
    	case happyOut104 happy_x_2 of { happy_var_2 ->
    	happyIn77
    		 (Abstract (fuseRange happy_var_1 happy_var_2) happy_var_2
    	)}}

    happyReduce_223 = happySpecReduce_2  72# happyReduction_223
    happyReduction_223 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwPrivate happy_var_1) ->
    	case happyOut104 happy_x_2 of { happy_var_2 ->
    	happyIn78
    		 (Private (fuseRange happy_var_1 happy_var_2) happy_var_2
    	)}}

    happyReduce_224 = happySpecReduce_2  73# happyReduction_224
    happyReduction_224 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwPostulate happy_var_1) ->
    	case happyOut98 happy_x_2 of { happy_var_2 ->
    	happyIn79
    		 (Postulate (fuseRange happy_var_1 happy_var_2) happy_var_2
    	)}}

    happyReduce_225 = happySpecReduce_2  74# happyReduction_225
    happyReduction_225 happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwPrimitive happy_var_1) ->
    	case happyOut98 happy_x_2 of { happy_var_2 ->
    	happyIn80
    		 (Primitive (fuseRange happy_var_1 happy_var_2) happy_var_2
    	)}}

    happyReduce_226 = happyReduce 4# 75# happyReduction_226
    happyReduction_226 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwOpen happy_var_1) ->
    	case happyOut20 happy_x_2 of { happy_var_2 ->
    	case happyOut82 happy_x_3 of { happy_var_3 ->
    	case happyOut49 happy_x_4 of { happy_var_4 ->
    	happyIn81
    		 (let
        { m   = happy_var_2
        ; es  = happy_var_3
        ; dir = happy_var_4
        ; r   = getRange (happy_var_1, m, dir)
        } in
        case es of
        { []  -> Open r m dir
        ; _   -> Private r [ ModuleMacro r (noName $ beginningOf $ getRange happy_var_2) []
                               (RawApp (fuseRange m es) (Ident m : es)) DoOpen dir
                           ]
        }
    	) `HappyStk` happyRest}}}}

    happyReduce_227 = happySpecReduce_0  76# happyReduction_227
    happyReduction_227  =  happyIn82
    		 ([]
    	)

    happyReduce_228 = happySpecReduce_2  76# happyReduction_228
    happyReduction_228 happy_x_2
    	happy_x_1
    	 =  case happyOut32 happy_x_1 of { happy_var_1 ->
    	case happyOut82 happy_x_2 of { happy_var_2 ->
    	happyIn82
    		 (happy_var_1 : happy_var_2
    	)}}

    happyReduce_229 = happyReduce 6# 77# happyReduction_229
    happyReduction_229 (happy_x_6 `HappyStk`
    	happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwModule happy_var_1) ->
    	case happyOut16 happy_x_2 of { happy_var_2 ->
    	case happyOut46 happy_x_3 of { happy_var_3 ->
    	case happyOut26 happy_x_5 of { happy_var_5 ->
    	case happyOut49 happy_x_6 of { happy_var_6 ->
    	happyIn83
    		 (ModuleMacro (getRange (happy_var_1, happy_var_5, happy_var_6)) happy_var_2 (map addType happy_var_3) happy_var_5 DontOpen happy_var_6
    	) `HappyStk` happyRest}}}}}

    happyReduce_230 = happyReduce 7# 77# happyReduction_230
    happyReduction_230 (happy_x_7 `HappyStk`
    	happy_x_6 `HappyStk`
    	happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwOpen happy_var_1) ->
    	case happyOut16 happy_x_3 of { happy_var_3 ->
    	case happyOut46 happy_x_4 of { happy_var_4 ->
    	case happyOut26 happy_x_6 of { happy_var_6 ->
    	case happyOut49 happy_x_7 of { happy_var_7 ->
    	happyIn83
    		 (ModuleMacro (getRange (happy_var_1, happy_var_6, happy_var_7)) happy_var_3 (map addType happy_var_4) happy_var_6 DoOpen happy_var_7
    	) `HappyStk` happyRest}}}}}

    happyReduce_231 = happySpecReduce_3  78# happyReduction_231
    happyReduction_231 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokKeyword KwImport happy_var_1) ->
    	case happyOut20 happy_x_2 of { happy_var_2 ->
    	case happyOut48 happy_x_3 of { happy_var_3 ->
    	happyIn84
    		 (Import (getRange (happy_var_1,happy_var_2,snd happy_var_3)) happy_var_2 (fst happy_var_3) DontOpen (snd happy_var_3)
    	)}}}

    happyReduce_232 = happyReduce 4# 78# happyReduction_232
    happyReduction_232 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwOpen happy_var_1) ->
    	case happyOut20 happy_x_3 of { happy_var_3 ->
    	case happyOut48 happy_x_4 of { happy_var_4 ->
    	happyIn84
    		 (Import (getRange (happy_var_1,happy_var_3,snd happy_var_4)) happy_var_3 (fst happy_var_4) DoOpen (snd happy_var_4)
    	) `HappyStk` happyRest}}}

    happyReduce_233 = happyReduce 5# 79# happyReduction_233
    happyReduction_233 (happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwModule happy_var_1) ->
    	case happyOut16 happy_x_2 of { happy_var_2 ->
    	case happyOut46 happy_x_3 of { happy_var_3 ->
    	case happyOutTok happy_x_4 of { (TokKeyword KwWhere happy_var_4) ->
    	case happyOut105 happy_x_5 of { happy_var_5 ->
    	happyIn85
    		 (Module (getRange (happy_var_1,happy_var_4,happy_var_5)) (QName happy_var_2) (map addType happy_var_3) happy_var_5
    	) `HappyStk` happyRest}}}}}

    happyReduce_234 = happySpecReduce_2  80# happyReduction_234
    happyReduction_234 happy_x_2
    	happy_x_1
    	 =  case happyOut87 happy_x_2 of { happy_var_2 ->
    	happyIn86
    		 ([happy_var_2]
    	)}

    happyReduce_235 = happySpecReduce_3  80# happyReduction_235
    happyReduction_235 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut84 happy_x_2 of { happy_var_2 ->
    	case happyOut86 happy_x_3 of { happy_var_3 ->
    	happyIn86
    		 (happy_var_2 : happy_var_3
    	)}}

    happyReduce_236 = happySpecReduce_3  80# happyReduction_236
    happyReduction_236 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOut81 happy_x_2 of { happy_var_2 ->
    	case happyOut86 happy_x_3 of { happy_var_3 ->
    	happyIn86
    		 (happy_var_2 : happy_var_3
    	)}}

    happyReduce_237 = happyReduce 5# 81# happyReduction_237
    happyReduction_237 (happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokKeyword KwModule happy_var_1) ->
    	case happyOut20 happy_x_2 of { happy_var_2 ->
    	case happyOut46 happy_x_3 of { happy_var_3 ->
    	case happyOutTok happy_x_4 of { (TokKeyword KwWhere happy_var_4) ->
    	case happyOut105 happy_x_5 of { happy_var_5 ->
    	happyIn87
    		 (Module (getRange (happy_var_1,happy_var_4,happy_var_5)) happy_var_2 (map addType happy_var_3) happy_var_5
    	) `HappyStk` happyRest}}}}}

    happyReduce_238 = happySpecReduce_1  82# happyReduction_238
    happyReduction_238 happy_x_1
    	 =  case happyOut90 happy_x_1 of { happy_var_1 ->
    	happyIn88
    		 (Pragma happy_var_1
    	)}

    happyReduce_239 = happySpecReduce_1  83# happyReduction_239
    happyReduction_239 happy_x_1
    	 =  case happyOut91 happy_x_1 of { happy_var_1 ->
    	happyIn89
    		 (happy_var_1
    	)}

    happyReduce_240 = happySpecReduce_1  84# happyReduction_240
    happyReduction_240 happy_x_1
    	 =  case happyOut92 happy_x_1 of { happy_var_1 ->
    	happyIn90
    		 (happy_var_1
    	)}

    happyReduce_241 = happySpecReduce_1  84# happyReduction_241
    happyReduction_241 happy_x_1
    	 =  case happyOut93 happy_x_1 of { happy_var_1 ->
    	happyIn90
    		 (happy_var_1
    	)}

    happyReduce_242 = happySpecReduce_1  84# happyReduction_242
    happyReduction_242 happy_x_1
    	 =  case happyOut95 happy_x_1 of { happy_var_1 ->
    	happyIn90
    		 (happy_var_1
    	)}

    happyReduce_243 = happySpecReduce_1  84# happyReduction_243
    happyReduction_243 happy_x_1
    	 =  case happyOut94 happy_x_1 of { happy_var_1 ->
    	happyIn90
    		 (happy_var_1
    	)}

    happyReduce_244 = happySpecReduce_1  84# happyReduction_244
    happyReduction_244 happy_x_1
    	 =  case happyOut96 happy_x_1 of { happy_var_1 ->
    	happyIn90
    		 (happy_var_1
    	)}

    happyReduce_245 = happySpecReduce_1  84# happyReduction_245
    happyReduction_245 happy_x_1
    	 =  case happyOut97 happy_x_1 of { happy_var_1 ->
    	happyIn90
    		 (happy_var_1
    	)}

    happyReduce_246 = happyReduce 4# 85# happyReduction_246
    happyReduction_246 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokSymbol SymOpenPragma happy_var_1) ->
    	case happyOut24 happy_x_3 of { happy_var_3 ->
    	case happyOutTok happy_x_4 of { (TokSymbol SymClosePragma happy_var_4) ->
    	happyIn91
    		 (OptionsPragma (fuseRange happy_var_1 happy_var_4) happy_var_3
    	) `HappyStk` happyRest}}}

    happyReduce_247 = happyReduce 5# 86# happyReduction_247
    happyReduction_247 (happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokSymbol SymOpenPragma happy_var_1) ->
    	case happyOutTok happy_x_3 of { (TokString happy_var_3) ->
    	case happyOut25 happy_x_4 of { happy_var_4 ->
    	case happyOutTok happy_x_5 of { (TokSymbol SymClosePragma happy_var_5) ->
    	happyIn92
    		 (BuiltinPragma (fuseRange happy_var_1 happy_var_5) (snd happy_var_3) (Ident happy_var_4)
    	) `HappyStk` happyRest}}}}

    happyReduce_248 = happyReduce 5# 87# happyReduction_248
    happyReduction_248 (happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokSymbol SymOpenPragma happy_var_1) ->
    	case happyOut25 happy_x_3 of { happy_var_3 ->
    	case happyOut24 happy_x_4 of { happy_var_4 ->
    	case happyOutTok happy_x_5 of { (TokSymbol SymClosePragma happy_var_5) ->
    	happyIn93
    		 (CompiledPragma (fuseRange happy_var_1 happy_var_5) happy_var_3 (unwords happy_var_4)
    	) `HappyStk` happyRest}}}}

    happyReduce_249 = happyReduce 5# 88# happyReduction_249
    happyReduction_249 (happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokSymbol SymOpenPragma happy_var_1) ->
    	case happyOut25 happy_x_3 of { happy_var_3 ->
    	case happyOut24 happy_x_4 of { happy_var_4 ->
    	case happyOutTok happy_x_5 of { (TokSymbol SymClosePragma happy_var_5) ->
    	happyIn94
    		 (CompiledTypePragma (fuseRange happy_var_1 happy_var_5) happy_var_3 (unwords happy_var_4)
    	) `HappyStk` happyRest}}}}

    happyReduce_250 = happyReduce 6# 89# happyReduction_250
    happyReduction_250 (happy_x_6 `HappyStk`
    	happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOutTok happy_x_1 of { (TokSymbol SymOpenPragma happy_var_1) ->
    	case happyOut25 happy_x_3 of { happy_var_3 ->
    	case happyOutTok happy_x_4 of { (TokString happy_var_4) ->
    	case happyOut24 happy_x_5 of { happy_var_5 ->
    	case happyOutTok happy_x_6 of { (TokSymbol SymClosePragma happy_var_6) ->
    	happyIn95
    		 (CompiledDataPragma (fuseRange happy_var_1 happy_var_6) happy_var_3 (snd happy_var_4) happy_var_5
    	) `HappyStk` happyRest}}}}}

    happyReduce_251 = happyMonadReduce 4# 90# happyReduction_251
    happyReduction_251 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest) tk
    	 = happyThen (case happyOutTok happy_x_1 of { (TokSymbol SymOpenPragma happy_var_1) ->
    	case happyOutTok happy_x_3 of { (TokString happy_var_3) ->
    	case happyOutTok happy_x_4 of { (TokSymbol SymClosePragma happy_var_4) ->
    	( let s = snd happy_var_3 in
           if validHaskellModuleName s
           then return $ ImportPragma (fuseRange happy_var_1 happy_var_4) s
           else parseError $ "Malformed module name: " ++ s ++ ".")}}}
    	) (\r -> happyReturn (happyIn96 r))

    happyReduce_252 = happySpecReduce_3  91# happyReduction_252
    happyReduction_252 happy_x_3
    	happy_x_2
    	happy_x_1
    	 =  case happyOutTok happy_x_1 of { (TokSymbol SymOpenPragma happy_var_1) ->
    	case happyOutTok happy_x_3 of { (TokSymbol SymClosePragma happy_var_3) ->
    	happyIn97
    		 (ImpossiblePragma (fuseRange happy_var_1 happy_var_3)
    	)}}

    happyReduce_253 = happyReduce 5# 92# happyReduction_253
    happyReduction_253 (happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut99 happy_x_3 of { happy_var_3 ->
    	happyIn98
    		 (reverse happy_var_3
    	) `HappyStk` happyRest}

    happyReduce_254 = happyReduce 4# 93# happyReduction_254
    happyReduction_254 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut99 happy_x_1 of { happy_var_1 ->
    	case happyOut67 happy_x_4 of { happy_var_4 ->
    	happyIn99
    		 (reverse happy_var_4 ++ happy_var_1
    	) `HappyStk` happyRest}}

    happyReduce_255 = happySpecReduce_2  93# happyReduction_255
    happyReduction_255 happy_x_2
    	happy_x_1
    	 =  case happyOut67 happy_x_2 of { happy_var_2 ->
    	happyIn99
    		 (reverse happy_var_2
    	)}

    happyReduce_256 = happyReduce 5# 94# happyReduction_256
    happyReduction_256 (happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut101 happy_x_3 of { happy_var_3 ->
    	happyIn100
    		 (reverse happy_var_3
    	) `HappyStk` happyRest}

    happyReduce_257 = happyReduce 4# 95# happyReduction_257
    happyReduction_257 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut101 happy_x_1 of { happy_var_1 ->
    	case happyOut68 happy_x_4 of { happy_var_4 ->
    	happyIn101
    		 (reverse happy_var_4 ++ happy_var_1
    	) `HappyStk` happyRest}}

    happyReduce_258 = happySpecReduce_2  95# happyReduction_258
    happyReduction_258 happy_x_2
    	happy_x_1
    	 =  case happyOut68 happy_x_2 of { happy_var_2 ->
    	happyIn101
    		 (reverse happy_var_2
    	)}

    happyReduce_259 = happyReduce 4# 96# happyReduction_259
    happyReduction_259 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = happyIn102
    		 ([]
    	) `HappyStk` happyRest

    happyReduce_260 = happySpecReduce_1  96# happyReduction_260
    happyReduction_260 happy_x_1
    	 =  case happyOut98 happy_x_1 of { happy_var_1 ->
    	happyIn102
    		 (happy_var_1
    	)}

    happyReduce_261 = happyReduce 4# 97# happyReduction_261
    happyReduction_261 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = happyIn103
    		 ((Nothing, [])
    	) `HappyStk` happyRest

    happyReduce_262 = happyReduce 6# 97# happyReduction_262
    happyReduction_262 (happy_x_6 `HappyStk`
    	happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut73 happy_x_4 of { happy_var_4 ->
    	happyIn103
    		 ((Just happy_var_4, [])
    	) `HappyStk` happyRest}

    happyReduce_263 = happyReduce 8# 97# happyReduction_263
    happyReduction_263 (happy_x_8 `HappyStk`
    	happy_x_7 `HappyStk`
    	happy_x_6 `HappyStk`
    	happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut73 happy_x_4 of { happy_var_4 ->
    	case happyOut106 happy_x_6 of { happy_var_6 ->
    	happyIn103
    		 ((Just happy_var_4, reverse happy_var_6)
    	) `HappyStk` happyRest}}

    happyReduce_264 = happyReduce 5# 97# happyReduction_264
    happyReduction_264 (happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut106 happy_x_3 of { happy_var_3 ->
    	happyIn103
    		 ((Nothing, reverse happy_var_3)
    	) `HappyStk` happyRest}

    happyReduce_265 = happyReduce 5# 98# happyReduction_265
    happyReduction_265 (happy_x_5 `HappyStk`
    	happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut106 happy_x_3 of { happy_var_3 ->
    	happyIn104
    		 (reverse happy_var_3
    	) `HappyStk` happyRest}

    happyReduce_266 = happyReduce 4# 99# happyReduction_266
    happyReduction_266 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = happyIn105
    		 ([]
    	) `HappyStk` happyRest

    happyReduce_267 = happySpecReduce_1  99# happyReduction_267
    happyReduction_267 happy_x_1
    	 =  case happyOut104 happy_x_1 of { happy_var_1 ->
    	happyIn105
    		 (happy_var_1
    	)}

    happyReduce_268 = happyReduce 4# 100# happyReduction_268
    happyReduction_268 (happy_x_4 `HappyStk`
    	happy_x_3 `HappyStk`
    	happy_x_2 `HappyStk`
    	happy_x_1 `HappyStk`
    	happyRest)
    	 = case happyOut106 happy_x_1 of { happy_var_1 ->
    	case happyOut65 happy_x_4 of { happy_var_4 ->
    	happyIn106
    		 (reverse happy_var_4 ++ happy_var_1
    	) `HappyStk` happyRest}}

    happyReduce_269 = happySpecReduce_2  100# happyReduction_269
    happyReduction_269 happy_x_2
    	happy_x_1
    	 =  case happyOut65 happy_x_2 of { happy_var_2 ->
    	happyIn106
    		 (reverse happy_var_2
    	)}

    happyNewToken action sts stk
    	= lexer(\tk ->
    	let cont i = happyDoAction i tk action sts stk in
    	case tk of {
    	TokEOF -> happyDoAction 64# tk action sts stk;
    	TokKeyword KwLet happy_dollar_dollar -> cont 1#;
    	TokKeyword KwIn happy_dollar_dollar -> cont 2#;
    	TokKeyword KwWhere happy_dollar_dollar -> cont 3#;
    	TokKeyword KwWith happy_dollar_dollar -> cont 4#;
    	TokKeyword KwRewrite happy_dollar_dollar -> cont 5#;
    	TokKeyword KwPostulate happy_dollar_dollar -> cont 6#;
    	TokKeyword KwPrimitive happy_dollar_dollar -> cont 7#;
    	TokKeyword KwOpen happy_dollar_dollar -> cont 8#;
    	TokKeyword KwImport happy_dollar_dollar -> cont 9#;
    	TokKeyword KwUsing happy_dollar_dollar -> cont 10#;
    	TokKeyword KwHiding happy_dollar_dollar -> cont 11#;
    	TokKeyword KwRenaming happy_dollar_dollar -> cont 12#;
    	TokKeyword KwTo happy_dollar_dollar -> cont 13#;
    	TokKeyword KwPublic happy_dollar_dollar -> cont 14#;
    	TokKeyword KwModule happy_dollar_dollar -> cont 15#;
    	TokKeyword KwData happy_dollar_dollar -> cont 16#;
    	TokKeyword KwCoData happy_dollar_dollar -> cont 17#;
    	TokKeyword KwRecord happy_dollar_dollar -> cont 18#;
    	TokKeyword KwConstructor happy_dollar_dollar -> cont 19#;
    	TokKeyword KwField happy_dollar_dollar -> cont 20#;
    	TokKeyword KwInfix happy_dollar_dollar -> cont 21#;
    	TokKeyword KwInfixL happy_dollar_dollar -> cont 22#;
    	TokKeyword KwInfixR happy_dollar_dollar -> cont 23#;
    	TokKeyword KwMutual happy_dollar_dollar -> cont 24#;
    	TokKeyword KwAbstract happy_dollar_dollar -> cont 25#;
    	TokKeyword KwPrivate happy_dollar_dollar -> cont 26#;
    	TokKeyword KwProp happy_dollar_dollar -> cont 27#;
    	TokKeyword KwSet happy_dollar_dollar -> cont 28#;
    	TokKeyword KwForall happy_dollar_dollar -> cont 29#;
    	TokKeyword KwOPTIONS happy_dollar_dollar -> cont 30#;
    	TokKeyword KwBUILTIN happy_dollar_dollar -> cont 31#;
    	TokKeyword KwIMPORT happy_dollar_dollar -> cont 32#;
    	TokKeyword KwIMPOSSIBLE happy_dollar_dollar -> cont 33#;
    	TokKeyword KwCOMPILED happy_dollar_dollar -> cont 34#;
    	TokKeyword KwCOMPILED_DATA happy_dollar_dollar -> cont 35#;
    	TokKeyword KwCOMPILED_TYPE happy_dollar_dollar -> cont 36#;
    	TokSetN happy_dollar_dollar -> cont 37#;
    	TokTeX happy_dollar_dollar -> cont 38#;
    	TokComment happy_dollar_dollar -> cont 39#;
    	TokSymbol SymEllipsis happy_dollar_dollar -> cont 40#;
    	TokSymbol SymDot happy_dollar_dollar -> cont 41#;
    	TokSymbol SymSemi happy_dollar_dollar -> cont 42#;
    	TokSymbol SymColon happy_dollar_dollar -> cont 43#;
    	TokSymbol SymEqual happy_dollar_dollar -> cont 44#;
    	TokSymbol SymUnderscore happy_dollar_dollar -> cont 45#;
    	TokSymbol SymQuestionMark happy_dollar_dollar -> cont 46#;
    	TokSymbol SymArrow happy_dollar_dollar -> cont 47#;
    	TokSymbol SymLambda happy_dollar_dollar -> cont 48#;
    	TokSymbol SymAs happy_dollar_dollar -> cont 49#;
    	TokSymbol SymBar happy_dollar_dollar -> cont 50#;
    	TokSymbol SymOpenParen happy_dollar_dollar -> cont 51#;
    	TokSymbol SymCloseParen happy_dollar_dollar -> cont 52#;
    	TokSymbol SymOpenBrace happy_dollar_dollar -> cont 53#;
    	TokSymbol SymCloseBrace happy_dollar_dollar -> cont 54#;
    	TokSymbol SymOpenVirtualBrace happy_dollar_dollar -> cont 55#;
    	TokSymbol SymCloseVirtualBrace happy_dollar_dollar -> cont 56#;
    	TokSymbol SymVirtualSemi happy_dollar_dollar -> cont 57#;
    	TokSymbol SymOpenPragma happy_dollar_dollar -> cont 58#;
    	TokSymbol SymClosePragma happy_dollar_dollar -> cont 59#;
    	TokId happy_dollar_dollar -> cont 60#;
    	TokQId happy_dollar_dollar -> cont 61#;
    	TokString happy_dollar_dollar -> cont 62#;
    	TokLiteral happy_dollar_dollar -> cont 63#;
    	_ -> happyError' tk
    	})

    happyError_ tk = happyError' tk

    happyThen :: () => Parser a -> (a -> Parser b) -> Parser b
    happyThen = (>>=)
    happyReturn :: () => a -> Parser a
    happyReturn = (return)
    happyThen1 = happyThen
    happyReturn1 :: () => a -> Parser a
    happyReturn1 = happyReturn
    happyError' :: () => Token -> Parser a
    happyError' tk = (\token -> happyError) tk

    tokensParser = happySomeParser where
      happySomeParser = happyThen (happyParse 0#) (\x -> happyReturn (happyOut6 x))

    exprParser = happySomeParser where
      happySomeParser = happyThen (happyParse 1#) (\x -> happyReturn (happyOut26 x))

    moduleParser = happySomeParser where
      happySomeParser = happyThen (happyParse 2#) (\x -> happyReturn (happyOut10 x))

    happySeq = happyDontSeq

    {--------------------------------------------------------------------------
        Parsers
     --------------------------------------------------------------------------}

    -- | Parse the token stream. Used by the TeX compiler.
    tokensParser :: Parser [Token]

    -- | Parse an expression. Could be used in interactions.
    exprParser :: Parser Expr

    -- | Parse a module.
    moduleParser :: Parser Module

    {--------------------------------------------------------------------------
        Happy stuff
     --------------------------------------------------------------------------}

    -- | Required by Happy.
    happyError :: Parser a
    happyError = parseError "Parse error"

    {--------------------------------------------------------------------------
        Utility functions
     --------------------------------------------------------------------------}

    -- | Create a name from a string.

    mkName :: (Interval, String) -> Parser Name
    mkName (i, s) = do
        let xs = parts s
        mapM_ isValidId xs
        unless (alternating xs) $ fail $ "a name cannot contain two consecutive underscores"
        return $ Name (getRange i) xs
        where
            parts :: String -> [NamePart]
            parts ""        = []
            parts ('_' : s) = Hole : parts s
            parts s         = Id x : parts s'
              where (x, s') = break (== '_') s

    	isValidId Hole   = return ()
    	isValidId (Id x) = case parse defaultParseFlags [0] (lexer return) x of
    	    ParseOk _ (TokId _) -> return ()
    	    _			-> fail $ "in the name " ++ s ++ ", the part " ++ x ++ " is not valid"

    	-- we know that there aren't two Ids in a row
    	alternating (Hole : Hole : _) = False
    	alternating (_ : xs)	      = alternating xs
    	alternating []		      = True

    -- | Create a qualified name from a list of strings
    mkQName :: [(Interval, String)] -> Parser QName
    mkQName ss = do
        xs <- mapM mkName ss
        return $ foldr Qual (QName $ last xs) (init xs)

    -- | Match a particular name.
    isName :: String -> (Interval, String) -> Parser ()
    isName s (_,s')
        | s == s'	= return ()
        | otherwise	= fail $ "expected " ++ s ++ ", found " ++ s'

    -- | Build a forall pi (forall x y z -> ...)
    forallPi :: [LamBinding] -> Expr -> Expr
    forallPi bs e = Pi (map addType bs) e

    -- | Converts lambda bindings to typed bindings.
    addType :: LamBinding -> TypedBindings
    addType (DomainFull b)	 = b
    addType (DomainFree h x) = TypedBindings r h [TBind r [x] $ Underscore r Nothing]
      where r = getRange x

    -- | Check that an import directive doesn't contain repeated names
    verifyImportDirective :: ImportDirective -> Parser ImportDirective
    verifyImportDirective i =
        case filter ((>1) . length)
    	 $ group
    	 $ sort xs
        of
    	[]  -> return i
    	yss -> let Just pos = rStart $ getRange $ head $ concat yss in
                   parseErrorAt pos $
    		"repeated name" ++ s ++ " in import directive: " ++
    		concat (intersperse ", " $ map (show . head) yss)
    	    where
    		s = case yss of
    			[_] -> ""
    			_   -> "s"
        where
    	xs = names (usingOrHiding i) ++ map renFrom (renaming i)
    	names (Using xs)    = xs
    	names (Hiding xs)   = xs

    -- | Breaks up a string into substrings. Returns every maximal
    -- subsequence of zero or more characters distinct from @'.'@.
    --
    -- > splitOnDots ""         == [""]
    -- > splitOnDots "foo.bar"  == ["foo", "bar"]
    -- > splitOnDots ".foo.bar" == ["", "foo", "bar"]
    -- > splitOnDots "foo.bar." == ["foo", "bar", ""]
    -- > splitOnDots "foo..bar" == ["foo", "", "bar"]
    splitOnDots :: String -> [String]
    splitOnDots ""        = [""]
    splitOnDots ('.' : s) = [] : splitOnDots s
    splitOnDots (c   : s) = case splitOnDots s of
      p : ps -> (c : p) : ps

    prop_splitOnDots = and
      [ splitOnDots ""         == [""]
      , splitOnDots "foo.bar"  == ["foo", "bar"]
      , splitOnDots ".foo.bar" == ["", "foo", "bar"]
      , splitOnDots "foo.bar." == ["foo", "bar", ""]
      , splitOnDots "foo..bar" == ["foo", "", "bar"]
      ]

    -- | Returns 'True' iff the name is a valid Haskell (hierarchical)
    -- module name.
    validHaskellModuleName :: String -> Bool
    validHaskellModuleName = all ok . splitOnDots
      where
      -- Checks if a dot-less module name is well-formed.
      ok :: String -> Bool
      ok []      = False
      ok (c : s) =
        isUpper c &&
        all (\c -> isLower c || c == '_' ||
                   isUpper c ||
                   generalCategory c == DecimalNumber ||
                   c == '\'')
            s

    {--------------------------------------------------------------------------
        Patterns
     --------------------------------------------------------------------------}

    -- | Turn an expression into a left hand side.
    exprToLHS :: Expr -> Parser ([Expr] -> [Expr] -> LHS)
    exprToLHS e = case e of
      WithApp r e es -> LHS <$> exprToPattern e <*> mapM exprToPattern es
      _		 -> LHS <$> exprToPattern e <*> return []

    -- | Turn an expression into a pattern. Fails if the expression is not a
    --   valid pattern.
    exprToPattern :: Expr -> Parser Pattern
    exprToPattern e =
        case e of
    	Ident x			-> return $ IdentP x
    	App _ e1 e2		-> AppP <$> exprToPattern e1
    					<*> T.mapM (T.mapM exprToPattern) e2
    	Paren r e		-> ParenP r
    					<$> exprToPattern e
    	Underscore r _		-> return $ WildP r
    	Absurd r		-> return $ AbsurdP r
    	As r x e		-> AsP r x <$> exprToPattern e
    	Dot r (HiddenArg _ e)	-> return $ HiddenP r $ fmap (DotP r) e
    	Dot r e			-> return $ DotP r e
    	Lit l			-> return $ LitP l
    	HiddenArg r e		-> HiddenP r <$> T.mapM exprToPattern e
    	RawApp r es		-> RawAppP r <$> mapM exprToPattern es
    	OpApp r x es		-> OpAppP r x <$> mapM exprToPattern es
    	_			->
              let Just pos = rStart $ getRange e in
              parseErrorAt pos $ "Not a valid pattern: " ++ show e

    {--------------------------------------------------------------------------
        Tests
     --------------------------------------------------------------------------}

    -- | Test suite.
    tests :: IO Bool
    tests = runTests "Agda.Syntax.Parser.Parser"
      [ quickCheck' prop_splitOnDots
      ]
    {-# LINE 1 "templates/GenericTemplate.hs" #-}
    {-# LINE 1 "templates/GenericTemplate.hs" #-}
    {-# LINE 1 "<built-in>" #-}
    {-# LINE 1 "<command-line>" #-}
    {-# LINE 1 "templates/GenericTemplate.hs" #-}
    -- Id: GenericTemplate.hs,v 1.26 2005/01/14 14:47:22 simonmar Exp

    {-# LINE 28 "templates/GenericTemplate.hs" #-}

    data Happy_IntList = HappyCons Int# Happy_IntList

    {-# LINE 49 "templates/GenericTemplate.hs" #-}

    {-# LINE 59 "templates/GenericTemplate.hs" #-}

    {-# LINE 68 "templates/GenericTemplate.hs" #-}

    infixr 9 `HappyStk`
    data HappyStk a = HappyStk a (HappyStk a)

    -----------------------------------------------------------------------------
    -- starting the parse

    happyParse start_state = happyNewToken start_state notHappyAtAll notHappyAtAll

    -----------------------------------------------------------------------------
    -- Accepting the parse

    -- If the current token is 0#, it means we've just accepted a partial
    -- parse (a %partial parser).  We must ignore the saved token on the top of
    -- the stack in this case.
    happyAccept 0# tk st sts (_ `HappyStk` ans `HappyStk` _) =
    	happyReturn1 ans
    happyAccept j tk st sts (HappyStk ans _) =
    	(happyTcHack j (happyTcHack st)) (happyReturn1 ans)

    -----------------------------------------------------------------------------
    -- Arrays only: do the next action

    happyDoAction i tk st
    	= {- nothing -}

    	  case action of
    		0#		  -> {- nothing -}
    				     happyFail i tk st
    		-1# 	  -> {- nothing -}
    				     happyAccept i tk st
    		n | (n <# (0# :: Int#)) -> {- nothing -}

    				     (happyReduceArr ! rule) i tk st
    				     where rule = (I# ((negateInt# ((n +# (1# :: Int#))))))
    		n		  -> {- nothing -}

    				     happyShift new_state i tk st
    				     where new_state = (n -# (1# :: Int#))
       where off    = indexShortOffAddr happyActOffsets st
    	 off_i  = (off +# i)
    	 check  = if (off_i >=# (0# :: Int#))
    			then (indexShortOffAddr happyCheck off_i ==#  i)
    			else False
     	 action | check     = indexShortOffAddr happyTable off_i
    		| otherwise = indexShortOffAddr happyDefActions st

    {-# LINE 127 "templates/GenericTemplate.hs" #-}

    indexShortOffAddr (HappyA# arr) off =
    #if __GLASGOW_HASKELL__ > 500
    	narrow16Int# i
    #elif __GLASGOW_HASKELL__ == 500
    	intToInt16# i
    #else
    	(i `iShiftL#` 16#) `iShiftRA#` 16#
    #endif
      where
    #if __GLASGOW_HASKELL__ >= 503
    	i = word2Int# ((high `uncheckedShiftL#` 8#) `or#` low)
    #else
    	i = word2Int# ((high `shiftL#` 8#) `or#` low)
    #endif
    	high = int2Word# (ord# (indexCharOffAddr# arr (off' +# 1#)))
    	low  = int2Word# (ord# (indexCharOffAddr# arr off'))
    	off' = off *# 2#

    data HappyAddr = HappyA# Addr#

    -----------------------------------------------------------------------------
    -- HappyState data type (not arrays)

    {-# LINE 170 "templates/GenericTemplate.hs" #-}

    -----------------------------------------------------------------------------
    -- Shifting a token

    happyShift new_state 0# tk st sts stk@(x `HappyStk` _) =
         let i = (case unsafeCoerce# x of { (I# (i)) -> i }) in
    --     trace "shifting the error token" $
         happyDoAction i tk new_state (HappyCons (st) (sts)) (stk)

    happyShift new_state i tk st sts stk =
         happyNewToken new_state (HappyCons (st) (sts)) ((happyInTok (tk))`HappyStk`stk)

    -- happyReduce is specialised for the common cases.

    happySpecReduce_0 i fn 0# tk st sts stk
         = happyFail 0# tk st sts stk
    happySpecReduce_0 nt fn j tk st@((action)) sts stk
         = happyGoto nt j tk st (HappyCons (st) (sts)) (fn `HappyStk` stk)

    happySpecReduce_1 i fn 0# tk st sts stk
         = happyFail 0# tk st sts stk
    happySpecReduce_1 nt fn j tk _ sts@((HappyCons (st@(action)) (_))) (v1`HappyStk`stk')
         = let r = fn v1 in
           happySeq r (happyGoto nt j tk st sts (r `HappyStk` stk'))

    happySpecReduce_2 i fn 0# tk st sts stk
         = happyFail 0# tk st sts stk
    happySpecReduce_2 nt fn j tk _ (HappyCons (_) (sts@((HappyCons (st@(action)) (_))))) (v1`HappyStk`v2`HappyStk`stk')
         = let r = fn v1 v2 in
           happySeq r (happyGoto nt j tk st sts (r `HappyStk` stk'))

    happySpecReduce_3 i fn 0# tk st sts stk
         = happyFail 0# tk st sts stk
    happySpecReduce_3 nt fn j tk _ (HappyCons (_) ((HappyCons (_) (sts@((HappyCons (st@(action)) (_))))))) (v1`HappyStk`v2`HappyStk`v3`HappyStk`stk')
         = let r = fn v1 v2 v3 in
           happySeq r (happyGoto nt j tk st sts (r `HappyStk` stk'))

    happyReduce k i fn 0# tk st sts stk
         = happyFail 0# tk st sts stk
    happyReduce k nt fn j tk st sts stk
         = case happyDrop (k -# (1# :: Int#)) sts of
    	 sts1@((HappyCons (st1@(action)) (_))) ->
            	let r = fn stk in  -- it doesn't hurt to always seq here...
           		happyDoSeq r (happyGoto nt j tk st1 sts1 r)

    happyMonadReduce k nt fn 0# tk st sts stk
         = happyFail 0# tk st sts stk
    happyMonadReduce k nt fn j tk st sts stk =
            happyThen1 (fn stk tk) (\r -> happyGoto nt j tk st1 sts1 (r `HappyStk` drop_stk))
           where sts1@((HappyCons (st1@(action)) (_))) = happyDrop k (HappyCons (st) (sts))
                 drop_stk = happyDropStk k stk

    happyMonad2Reduce k nt fn 0# tk st sts stk
         = happyFail 0# tk st sts stk
    happyMonad2Reduce k nt fn j tk st sts stk =
           happyThen1 (fn stk tk) (\r -> happyNewToken new_state sts1 (r `HappyStk` drop_stk))
           where sts1@((HappyCons (st1@(action)) (_))) = happyDrop k (HappyCons (st) (sts))
                 drop_stk = happyDropStk k stk

                 off    = indexShortOffAddr happyGotoOffsets st1
                 off_i  = (off +# nt)
                 new_state = indexShortOffAddr happyTable off_i

    happyDrop 0# l = l
    happyDrop n (HappyCons (_) (t)) = happyDrop (n -# (1# :: Int#)) t

    happyDropStk 0# l = l
    happyDropStk n (x `HappyStk` xs) = happyDropStk (n -# (1#::Int#)) xs

    -----------------------------------------------------------------------------
    -- Moving to a new state after a reduction

    happyGoto nt j tk st =
       {- nothing -}
       happyDoAction j tk new_state
       where off    = indexShortOffAddr happyGotoOffsets st
    	 off_i  = (off +# nt)
     	 new_state = indexShortOffAddr happyTable off_i

    -----------------------------------------------------------------------------
    -- Error recovery (0# is the error token)

    -- parse error if we are in recovery and we fail again
    happyFail  0# tk old_st _ stk =
    --	trace "failing" $
        	happyError_ tk

    {-  We don't need state discarding for our restricted implementation of
        "error".  In fact, it can cause some bogus parses, so I've disabled it
        for now --SDM

    -- discard a state
    happyFail  0# tk old_st (HappyCons ((action)) (sts))
    						(saved_tok `HappyStk` _ `HappyStk` stk) =
    --	trace ("discarding state, depth " ++ show (length stk))  $
    	happyDoAction 0# tk action sts ((saved_tok`HappyStk`stk))
    -}

    -- Enter error recovery: generate an error token,
    --                       save the old token and carry on.
    happyFail  i tk (action) sts stk =
    --      trace "entering error recovery" $
    	happyDoAction 0# tk action sts ( (unsafeCoerce# (I# (i))) `HappyStk` stk)

    -- Internal happy errors:

    notHappyAtAll = error "Internal Happy error\n"

    -----------------------------------------------------------------------------
    -- Hack to get the typechecker to accept our action functions

    happyTcHack :: Int# -> a -> a
    happyTcHack x y = y
    {-# INLINE happyTcHack #-}

    -----------------------------------------------------------------------------
    -- Seq-ing.  If the --strict flag is given, then Happy emits
    --	happySeq = happyDoSeq
    -- otherwise it emits
    -- 	happySeq = happyDontSeq

    happyDoSeq, happyDontSeq :: a -> b -> b
    happyDoSeq   a b = a `seq` b
    happyDontSeq a b = b

    -----------------------------------------------------------------------------
    -- Don't inline any functions from the template.  GHC has a nasty habit
    -- of deciding to inline happyGoto everywhere, which increases the size of
    -- the generated parser quite a bit.

    {-# NOINLINE happyDoAction #-}
    {-# NOINLINE happyTable #-}
    {-# NOINLINE happyCheck #-}
    {-# NOINLINE happyActOffsets #-}
    {-# NOINLINE happyGotoOffsets #-}
    {-# NOINLINE happyDefActions #-}

    {-# NOINLINE happyShift #-}
    {-# NOINLINE happySpecReduce_0 #-}
    {-# NOINLINE happySpecReduce_1 #-}
    {-# NOINLINE happySpecReduce_2 #-}
    {-# NOINLINE happySpecReduce_3 #-}
    {-# NOINLINE happyReduce #-}
    {-# NOINLINE happyMonadReduce #-}
    {-# NOINLINE happyGoto #-}
    {-# NOINLINE happyFail #-}

    -- end of Happy Template.