\(input :: inp) ->
  let !(#
         init,
         readMore,
         readNext
         #) =
          let _ = "cursorOf"
           in let next
                    ( t@( Data.Text.Internal.Text
                            arr
                            off
                            unconsumed
                          )
                      ) =
                      let !( Data.Text.Unsafe.Iter
                               c
                               d
                             ) = Data.Text.Unsafe.iter t 0
                       in (#
                            c,
                            Data.Text.Internal.Text arr (off GHC.Num.+ d) (unconsumed GHC.Num.- d)
                          #)
                  more
                    ( Data.Text.Internal.Text
                        _
                        _
                        unconsumed
                      ) = unconsumed GHC.Classes.> 0
               in (# input, more, next #)
      finalRet = \_farInp _farExp v _inp -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Right v
      finalRaise ::
        forall st b.
        Symantic.Parser.Machine.Generate.Catcher
          st
          inp
          b = \(!exn) _failInp (!farInp) (!farExp) ->
          Symantic.Parser.Machine.Generate.returnST GHC.Base.$
            Data.Either.Left
              Symantic.Parser.Machine.Generate.ParsingError
                { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.offset farInp,
                  Symantic.Parser.Machine.Generate.parsingErrorException = exn,
                  Symantic.Parser.Machine.Generate.parsingErrorUnexpected =
                    if readMore farInp
                      then
                        GHC.Maybe.Just
                          ( let (#
                                  c,
                                  _
                                  #) = readNext farInp
                             in c
                          )
                      else GHC.Maybe.Nothing,
                  Symantic.Parser.Machine.Generate.parsingErrorExpecting = farExp
                }
   in GHC.ST.runST
        ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp)
           in let name = \(!callReturn) (!callInput) (!callCatchStackByLabel) ->
                    let _ = "catch ExceptionFailure"
                     in let catchHandler (!_exn) (!failInp) (!farInp) (!farExp) =
                              let _ = "catch.ko ExceptionFailure"
                               in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput farInp farExp
                         in let readFail = catchHandler
                             in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 callInput)
                                  then
                                    let !(#
                                           c,
                                           cs
                                           #) = readNext callInput
                                     in if (GHC.Classes.==) 'a' c
                                          then
                                            let readFail = readFail
                                             in let !(#
                                                       c,
                                                       cs
                                                       #) = readNext cs
                                                 in if (GHC.Classes.==) 'b' c
                                                      then
                                                        let readFail = readFail
                                                         in let !(#
                                                                   c,
                                                                   cs
                                                                   #) = readNext cs
                                                             in if (GHC.Classes.==) 'c' c
                                                                  then
                                                                    let readFail = readFail
                                                                     in let !(#
                                                                               c,
                                                                               cs
                                                                               #) = readNext cs
                                                                         in if (GHC.Classes.==) 'd' c
                                                                              then
                                                                                let _ = "resume"
                                                                                 in callReturn
                                                                                      init
                                                                                      Data.Set.Internal.empty
                                                                                      ( let _ = "resume.genCode"
                                                                                         in (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' ((GHC.Types.:) 'd' GHC.Types . [])))
                                                                                      )
                                                                                      cs
                                                                              else
                                                                                let _ = "checkToken.else"
                                                                                 in let failExp =
                                                                                          Data.Set.Internal.Bin
                                                                                            1
                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                ( case inputToken of
                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'd'
                                                                                                )
                                                                                            )
                                                                                            Data.Set.Internal.Tip
                                                                                            Data.Set.Internal.Tip
                                                                                     in let (#
                                                                                              farInp,
                                                                                              farExp
                                                                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init cs of
                                                                                                GHC.Types.LT ->
                                                                                                  (#
                                                                                                    cs,
                                                                                                    failExp
                                                                                                  #)
                                                                                                GHC.Types.EQ ->
                                                                                                  (#
                                                                                                    init,
                                                                                                    failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                                  #)
                                                                                                GHC.Types.GT ->
                                                                                                  (#
                                                                                                    init,
                                                                                                    Data.Set.Internal.empty
                                                                                                  #)
                                                                                         in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                  else
                                                                    let _ = "checkToken.else"
                                                                     in let failExp =
                                                                              Data.Set.Internal.Bin
                                                                                1
                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                    ( case inputToken of
                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
                                                                                    )
                                                                                )
                                                                                Data.Set.Internal.Tip
                                                                                Data.Set.Internal.Tip
                                                                         in let (#
                                                                                  farInp,
                                                                                  farExp
                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init cs of
                                                                                    GHC.Types.LT ->
                                                                                      (#
                                                                                        cs,
                                                                                        failExp
                                                                                      #)
                                                                                    GHC.Types.EQ ->
                                                                                      (#
                                                                                        init,
                                                                                        failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                      #)
                                                                                    GHC.Types.GT ->
                                                                                      (#
                                                                                        init,
                                                                                        Data.Set.Internal.empty
                                                                                      #)
                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                      else
                                                        let _ = "checkToken.else"
                                                         in let failExp =
                                                                  Data.Set.Internal.Bin
                                                                    1
                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                        ( case inputToken of
                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'b'
                                                                        )
                                                                    )
                                                                    Data.Set.Internal.Tip
                                                                    Data.Set.Internal.Tip
                                                             in let (#
                                                                      farInp,
                                                                      farExp
                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init cs of
                                                                        GHC.Types.LT ->
                                                                          (#
                                                                            cs,
                                                                            failExp
                                                                          #)
                                                                        GHC.Types.EQ ->
                                                                          (#
                                                                            init,
                                                                            failExp GHC.Base.<> Data.Set.Internal.empty
                                                                          #)
                                                                        GHC.Types.GT ->
                                                                          (#
                                                                            init,
                                                                            Data.Set.Internal.empty
                                                                          #)
                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                          else
                                            let _ = "checkToken.else"
                                             in let failExp =
                                                      Data.Set.Internal.Bin
                                                        1
                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                            ( case inputToken of
                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
                                                            )
                                                        )
                                                        Data.Set.Internal.Tip
                                                        Data.Set.Internal.Tip
                                                 in let (#
                                                          farInp,
                                                          farExp
                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init callInput of
                                                            GHC.Types.LT ->
                                                              (#
                                                                callInput,
                                                                failExp
                                                              #)
                                                            GHC.Types.EQ ->
                                                              (#
                                                                init,
                                                                failExp GHC.Base.<> Data.Set.Internal.empty
                                                              #)
                                                            GHC.Types.GT ->
                                                              (#
                                                                init,
                                                                Data.Set.Internal.empty
                                                              #)
                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput farInp farExp
                                  else
                                    let _ = "checkHorizon.else"
                                     in let failExp =
                                              Data.Set.Internal.Bin
                                                1
                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                    ( case inputToken of
                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
                                                    )
                                                )
                                                Data.Set.Internal.Tip
                                                Data.Set.Internal.Tip
                                         in let (#
                                                  farInp,
                                                  farExp
                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init callInput of
                                                    GHC.Types.LT ->
                                                      (#
                                                        callInput,
                                                        failExp
                                                      #)
                                                    GHC.Types.EQ ->
                                                      (#
                                                        init,
                                                        failExp GHC.Base.<> Data.Set.Internal.empty
                                                      #)
                                                    GHC.Types.GT ->
                                                      (#
                                                        init,
                                                        Data.Set.Internal.empty
                                                      #)
                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput farInp farExp
               in name
                    ( let _ = "suspend"
                       in \farInp farExp v (!inp) -> do
                            let dupv = \x -> x
                            reg <- GHC.STRef.newSTRef dupv
                            let _ = "iter"
                             in let catchHandler loopInput (!_exn) (!failInp) (!farInp) (!farExp) =
                                      if ( \( Data.Text.Internal.Text
                                                _
                                                i
                                                _
                                              )
                                            ( Data.Text.Internal.Text
                                                _
                                                j
                                                _
                                              ) -> i GHC.Classes.== j
                                         )
                                        loopInput
                                        failInp
                                        then
                                          let _ = "choicesBranch.then"
                                           in do
                                                sr <- GHC.STRef.readSTRef reg
                                                let join = \farInp farExp v (!inp) ->
                                                      let _ = "resume"
                                                       in finalRet
                                                            farInp
                                                            farExp
                                                            ( let _ = "resume.genCode"
                                                               in GHC.Show.show ((GHC.Types.:) v (sr GHC.Types . []))
                                                            )
                                                            inp
                                                 in let _ = "catch ExceptionFailure"
                                                     in let catchHandler (!_exn) (!failInp) (!farInp) (!farExp) =
                                                              let _ = "catch.ko ExceptionFailure"
                                                               in if ( \( Data.Text.Internal.Text
                                                                            _
                                                                            i
                                                                            _
                                                                          )
                                                                        ( Data.Text.Internal.Text
                                                                            _
                                                                            j
                                                                            _
                                                                          ) -> i GHC.Classes.== j
                                                                     )
                                                                    failInp
                                                                    failInp
                                                                    then
                                                                      let _ = "choicesBranch.then"
                                                                       in let failExp = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure Symantic.Parser.Grammar.Combinators.FailureEnd) Data.Set.Internal.Tip Data.Set.Internal.Tip
                                                                           in let (#
                                                                                    farInp,
                                                                                    farExp
                                                                                    #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp failInp of
                                                                                      GHC.Types.LT ->
                                                                                        (#
                                                                                          failInp,
                                                                                          failExp
                                                                                        #)
                                                                                      GHC.Types.EQ ->
                                                                                        (#
                                                                                          farInp,
                                                                                          failExp GHC.Base.<> farExp
                                                                                        #)
                                                                                      GHC.Types.GT ->
                                                                                        (#
                                                                                          farInp,
                                                                                          farExp
                                                                                        #)
                                                                               in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                    else
                                                                      let _ = "choicesBranch.else"
                                                                       in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                         in let _ = "catch ExceptionFailure"
                                                             in let catchHandler (!_exn) (!failInp) (!farInp) (!farExp) =
                                                                      let _ = "catch.ko ExceptionFailure"
                                                                       in let _ = "resume"
                                                                           in join
                                                                                farInp
                                                                                farExp
                                                                                ( let _ = "resume.genCode"
                                                                                   in GHC.Tuple . ()
                                                                                )
                                                                                failInp
                                                                 in let readFail = catchHandler
                                                                     in if readMore failInp
                                                                          then
                                                                            let !(#
                                                                                   c,
                                                                                   cs
                                                                                   #) = readNext failInp
                                                                             in catchHandler Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                          else
                                                                            let _ = "checkHorizon.else"
                                                                             in let failExp =
                                                                                      Data.Set.Internal.Bin
                                                                                        1
                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                            ( case inputToken of
                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
                                                                                            )
                                                                                        )
                                                                                        Data.Set.Internal.Tip
                                                                                        Data.Set.Internal.Tip
                                                                                 in let (#
                                                                                          farInp,
                                                                                          farExp
                                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp failInp of
                                                                                            GHC.Types.LT ->
                                                                                              (#
                                                                                                failInp,
                                                                                                failExp
                                                                                              #)
                                                                                            GHC.Types.EQ ->
                                                                                              (#
                                                                                                farInp,
                                                                                                failExp GHC.Base.<> farExp
                                                                                              #)
                                                                                            GHC.Types.GT ->
                                                                                              (#
                                                                                                farInp,
                                                                                                farExp
                                                                                              #)
                                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                        else
                                          let _ = "choicesBranch.else"
                                           in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                    loop = \_callReturn callInput callCatchStackByLabel ->
                                      name
                                        ( let _ = "suspend"
                                           in \farInp farExp v (!inp) -> do
                                                sr <- GHC.STRef.readSTRef reg
                                                do
                                                  let dupv = \x -> sr ((GHC.Types.:) v x)
                                                  GHC.STRef.writeSTRef reg dupv
                                                  let _ = "jump"
                                                   in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler callInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                        )
                                        callInput
                                        (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler callInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                 in let _ = "jump"
                                     in loop finalRet inp Data.Map.Internal.Tip
                    )
                    init
                    Data.Map.Internal.Tip
        )