\(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 -> Data.Either.Right v
      finalRaise ::
        forall b.
        Symantic.Parser.Machine.Generate.Catcher
          inp
          b = \(!exn) _failInp (!farInp) (!farExp) ->
          Data.Either.Left
            Symantic.Parser.Machine.Generate.ParsingErrorStandard
              { 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 let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp)
       in let
           in let join = \farInp farExp v (!inp) ->
                    let readFail = finalRaise
                     in if readMore inp
                          then
                            let !(#
                                   c,
                                   cs
                                   #) = readNext inp
                             in if ('d' GHC.Classes.==) c
                                  then
                                    let _ = "resume"
                                     in finalRet
                                          farInp
                                          farExp
                                          ( let _ = "resume.genCode"
                                             in GHC.Show.show v
                                          )
                                          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
                                            (#
                                              farInp,
                                              farExp
                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                GHC.Types.LT ->
                                                  (#
                                                    inp,
                                                    failExp
                                                  #)
                                                GHC.Types.EQ ->
                                                  (#
                                                    farInp,
                                                    failExp GHC.Base.<> farExp
                                                  #)
                                                GHC.Types.GT ->
                                                  (#
                                                    farInp,
                                                    farExp
                                                  #)
                                         in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure inp 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
                                    (#
                                      farInp,
                                      farExp
                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                        GHC.Types.LT ->
                                          (#
                                            inp,
                                            failExp
                                          #)
                                        GHC.Types.EQ ->
                                          (#
                                            farInp,
                                            failExp GHC.Base.<> farExp
                                          #)
                                        GHC.Types.GT ->
                                          (#
                                            farInp,
                                            farExp
                                          #)
                                 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
               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
                                   )
                                  init
                                  failInp
                                  then
                                    let _ = "choicesBranch.then"
                                     in let readFail = finalRaise
                                         in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 failInp)
                                              then
                                                let !(#
                                                       c,
                                                       cs
                                                       #) = readNext failInp
                                                 in if ('c' GHC.Classes.==) c
                                                      then
                                                        let _ = "resume"
                                                         in join
                                                              farInp
                                                              farExp
                                                              ( let _ = "resume.genCode"
                                                                 in 'c'
                                                              )
                                                              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 'c'
                                                                        )
                                                                    )
                                                                    Data.Set.Internal.Tip
                                                                    Data.Set.Internal.Tip
                                                                (#
                                                                  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 _ = "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' 2
                                                                )
                                                            )
                                                            Data.Set.Internal.Tip
                                                            Data.Set.Internal.Tip
                                                        (#
                                                          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 join = \farInp farExp v (!inp) ->
                                let _ = "resume"
                                 in join
                                      farInp
                                      farExp
                                      ( let _ = "resume.genCode"
                                         in v
                                      )
                                      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
                                               )
                                              init
                                              failInp
                                              then
                                                let _ = "choicesBranch.then"
                                                 in let readFail = catchHandler
                                                     in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 failInp)
                                                          then
                                                            let !(#
                                                                   c,
                                                                   cs
                                                                   #) = readNext failInp
                                                             in if ('b' GHC.Classes.==) c
                                                                  then
                                                                    let _ = "resume"
                                                                     in join
                                                                          farInp
                                                                          farExp
                                                                          ( let _ = "resume.genCode"
                                                                             in 'b'
                                                                          )
                                                                          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 'b'
                                                                                    )
                                                                                )
                                                                                Data.Set.Internal.Tip
                                                                                Data.Set.Internal.Tip
                                                                            (#
                                                                              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 _ = "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' 2
                                                                            )
                                                                        )
                                                                        Data.Set.Internal.Tip
                                                                        Data.Set.Internal.Tip
                                                                    (#
                                                                      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 catchHandler Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                   in let readFail = catchHandler
                                       in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 init)
                                            then
                                              let !(# c, cs #) = readNext init
                                               in if ('a' GHC.Classes.==) c
                                                    then
                                                      let _ = "resume"
                                                       in join
                                                            init
                                                            Data.Set.Internal.empty
                                                            ( let _ = "resume.genCode"
                                                               in 'a'
                                                            )
                                                            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 'a'
                                                                      )
                                                                  )
                                                                  Data.Set.Internal.Tip
                                                                  Data.Set.Internal.Tip
                                                              (#
                                                                farInp,
                                                                farExp
                                                                #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init init of
                                                                  GHC.Types.LT ->
                                                                    (#
                                                                      init,
                                                                      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 init 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' 2
                                                              )
                                                          )
                                                          Data.Set.Internal.Tip
                                                          Data.Set.Internal.Tip
                                                      (#
                                                        farInp,
                                                        farExp
                                                        #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init init of
                                                          GHC.Types.LT ->
                                                            (#
                                                              init,
                                                              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 init farInp farExp