\(input_0 :: inp_6989586621679040759) ->
  let !(#
         init_1,
         readMore_2,
         readNext_3
         #) =
          let _ = "cursorOf"
           in let next_4
                    ( t_5@( Data.Text.Internal.Text
                              arr_6
                              off_7
                              unconsumed_8
                            )
                      ) =
                      let !( Data.Text.Unsafe.Iter
                               c_9
                               d_10
                             ) = Data.Text.Unsafe.iter t_5 0
                       in (#
                            c_9,
                            Data.Text.Internal.Text arr_6 (off_7 GHC.Num.+ d_10) (unconsumed_8 GHC.Num.- d_10)
                          #)
                  more_11
                    ( Data.Text.Internal.Text
                        _
                        _
                        unconsumed_12
                      ) = unconsumed_12 GHC.Classes.> 0
               in (#
                    input_0,
                    more_11,
                    next_4
                  #)
      finalRet_13 = \_farInp_14 _farExp_15 v_16 _inp_17 -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Right v_16
      finalRaise_18 ::
        forall st_19 b_20.
        Symantic.Parser.Machine.Generate.Catcher
          st_19
          inp_6989586621679040759
          b_20 = \(!exn_21) _failInp_22 (!farInp_23) (!farExp_24) ->
          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_23,
                  Symantic.Parser.Machine.Generate.parsingErrorException = exn_21,
                  Symantic.Parser.Machine.Generate.parsingErrorUnexpected =
                    if readMore_2 farInp_23
                      then
                        GHC.Maybe.Just
                          ( let (#
                                  c_25,
                                  _
                                  #) = readNext_3 farInp_23
                             in c_25
                          )
                      else GHC.Maybe.Nothing,
                  Symantic.Parser.Machine.Generate.parsingErrorExpecting =
                    let ( minHoriz_26,
                          res_27
                          ) =
                            Data.Set.Internal.foldr
                              ( \f_28
                                 ( minH_29,
                                   acc_30
                                   ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f_28 of
                                    GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h_31 :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759)))
                                      | GHC.Maybe.Just old_32 <- minH_29 ->
                                        ( GHC.Maybe.Just (GHC.Classes.min old_32 h_31),
                                          acc_30
                                        )
                                      | GHC.Base.otherwise ->
                                        ( GHC.Maybe.Just h_31,
                                          acc_30
                                        )
                                    _ ->
                                      ( minH_29,
                                        f_28 GHC.Types.: acc_30
                                      )
                              )
                              ( GHC.Maybe.Nothing,
                                GHC.Types . []
                              )
                              farExp_24
                     in Data.Set.Internal.fromList GHC.Base.$
                          ( case minHoriz_26 of
                              GHC.Maybe.Just h_33 -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759) h_33) GHC.Types.: res_27
                              GHC.Maybe.Nothing -> res_27
                          )
                }
   in GHC.ST.runST
        ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759)
           in let _ = "checkHorizon.noCheck"
               in let
                   in let _ = "pushValue"
                       in let join_34 = \farInp_35 farExp_36 v_37 (!inp_38) ->
                                let _ = "comment: satisfy"
                                 in let inp_39 = inp_38
                                     in let readFail_40 = finalRaise_18
                                         in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
                                             in if readMore_2 inp_39
                                                  then
                                                    let _ = "checkToken"
                                                     in let !(#
                                                               c_41,
                                                               cs_42
                                                               #) = readNext_3 inp_39
                                                         in if (GHC.Classes.==) 'c' c_41
                                                              then
                                                                let _ = "resume"
                                                                 in finalRet_13
                                                                      farInp_35
                                                                      farExp_36
                                                                      ( let _ = "resume.genCode"
                                                                         in GHC.Show.show v_37
                                                                      )
                                                                      cs_42
                                                              else
                                                                let _ = "checkToken.fail"
                                                                 in let failExp_43 =
                                                                          Data.Set.Internal.Bin
                                                                            1
                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                ( case inputToken of
                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
                                                                                )
                                                                            )
                                                                            Data.Set.Internal.Tip
                                                                            Data.Set.Internal.Tip
                                                                     in let (#
                                                                              farInp_44,
                                                                              farExp_45
                                                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_35 inp_39 of
                                                                                GHC.Types.LT ->
                                                                                  (#
                                                                                    inp_39,
                                                                                    failExp_43
                                                                                  #)
                                                                                GHC.Types.EQ ->
                                                                                  (#
                                                                                    farInp_35,
                                                                                    failExp_43 GHC.Base.<> farExp_36
                                                                                  #)
                                                                                GHC.Types.GT ->
                                                                                  (#
                                                                                    farInp_35,
                                                                                    farExp_36
                                                                                  #)
                                                                         in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_39 farInp_44 farExp_45
                                                  else
                                                    let _ = "checkHorizon.newCheck.fail"
                                                     in let failExp_46 =
                                                              Data.Set.Internal.Bin
                                                                1
                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                    ( case inputToken of
                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
                                                                    )
                                                                )
                                                                Data.Set.Internal.Tip
                                                                Data.Set.Internal.Tip
                                                         in let (#
                                                                  farInp_47,
                                                                  farExp_48
                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_35 inp_39 of
                                                                    GHC.Types.LT ->
                                                                      (#
                                                                        inp_39,
                                                                        failExp_46
                                                                      #)
                                                                    GHC.Types.EQ ->
                                                                      (#
                                                                        farInp_35,
                                                                        failExp_46 GHC.Base.<> farExp_36
                                                                      #)
                                                                    GHC.Types.GT ->
                                                                      (#
                                                                        farInp_35,
                                                                        farExp_36
                                                                      #)
                                                             in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_39 farInp_47 farExp_48
                           in let _ = "catch ExceptionFailure"
                               in let catchHandler_49 (!_exn_50) (!failInp_51) (!farInp_52) (!farExp_53) =
                                        let _ = "catch.ko ExceptionFailure"
                                         in let _ = "pushInput"
                                             in if ( \( Data.Text.Internal.Text
                                                          _
                                                          i_54
                                                          _
                                                        )
                                                      ( Data.Text.Internal.Text
                                                          _
                                                          j_55
                                                          _
                                                        ) -> i_54 GHC.Classes.== j_55
                                                   )
                                                  init_1
                                                  failInp_51
                                                  then
                                                    let _ = "choicesBranch.then"
                                                     in let _ = "pushValue"
                                                         in let _ = "comment: satisfy"
                                                             in let inp_56 = failInp_51
                                                                 in let readFail_57 = finalRaise_18
                                                                     in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                                         in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_56)
                                                                              then
                                                                                let _ = "checkToken"
                                                                                 in let !(#
                                                                                           c_58,
                                                                                           cs_59
                                                                                           #) = readNext_3 inp_56
                                                                                     in if (GHC.Classes.==) 'b' c_58
                                                                                          then
                                                                                            let _ = "resume"
                                                                                             in join_34
                                                                                                  farInp_52
                                                                                                  farExp_53
                                                                                                  ( let _ = "resume.genCode"
                                                                                                     in 'b'
                                                                                                  )
                                                                                                  cs_59
                                                                                          else
                                                                                            let _ = "checkToken.fail"
                                                                                             in let failExp_60 =
                                                                                                      Data.Set.Internal.Bin
                                                                                                        1
                                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                            ( case inputToken of
                                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b'
                                                                                                            )
                                                                                                        )
                                                                                                        Data.Set.Internal.Tip
                                                                                                        Data.Set.Internal.Tip
                                                                                                 in let (#
                                                                                                          farInp_61,
                                                                                                          farExp_62
                                                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_52 inp_56 of
                                                                                                            GHC.Types.LT ->
                                                                                                              (#
                                                                                                                inp_56,
                                                                                                                failExp_60
                                                                                                              #)
                                                                                                            GHC.Types.EQ ->
                                                                                                              (#
                                                                                                                farInp_52,
                                                                                                                failExp_60 GHC.Base.<> farExp_53
                                                                                                              #)
                                                                                                            GHC.Types.GT ->
                                                                                                              (#
                                                                                                                farInp_52,
                                                                                                                farExp_53
                                                                                                              #)
                                                                                                     in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_56 farInp_61 farExp_62
                                                                              else
                                                                                let _ = "checkHorizon.newCheck.fail"
                                                                                 in let failExp_63 =
                                                                                          Data.Set.Internal.Bin
                                                                                            1
                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                ( case inputToken of
                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
                                                                                                )
                                                                                            )
                                                                                            Data.Set.Internal.Tip
                                                                                            Data.Set.Internal.Tip
                                                                                     in let (#
                                                                                              farInp_64,
                                                                                              farExp_65
                                                                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_52 inp_56 of
                                                                                                GHC.Types.LT ->
                                                                                                  (#
                                                                                                    inp_56,
                                                                                                    failExp_63
                                                                                                  #)
                                                                                                GHC.Types.EQ ->
                                                                                                  (#
                                                                                                    farInp_52,
                                                                                                    failExp_63 GHC.Base.<> farExp_53
                                                                                                  #)
                                                                                                GHC.Types.GT ->
                                                                                                  (#
                                                                                                    farInp_52,
                                                                                                    farExp_53
                                                                                                  #)
                                                                                         in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_56 farInp_64 farExp_65
                                                  else
                                                    let _ = "choicesBranch.else"
                                                     in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_51 farInp_52 farExp_53
                                   in let _ = "pushValue"
                                       in let _ = "comment: satisfy"
                                           in let inp_66 = init_1
                                               in let readFail_67 = catchHandler_49
                                                   in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                       in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_66)
                                                            then
                                                              let _ = "checkToken"
                                                               in let !(#
                                                                         c_68,
                                                                         cs_69
                                                                         #) = readNext_3 inp_66
                                                                   in if (GHC.Classes.==) 'a' c_68
                                                                        then
                                                                          let _ = "commit"
                                                                           in let _ = "resume"
                                                                               in join_34
                                                                                    init_1
                                                                                    Data.Set.Internal.empty
                                                                                    ( let _ = "resume.genCode"
                                                                                       in 'a'
                                                                                    )
                                                                                    cs_69
                                                                        else
                                                                          let _ = "checkToken.fail"
                                                                           in let failExp_70 =
                                                                                    Data.Set.Internal.Bin
                                                                                      1
                                                                                      ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                          ( case inputToken of
                                                                                              (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
                                                                                          )
                                                                                      )
                                                                                      Data.Set.Internal.Tip
                                                                                      Data.Set.Internal.Tip
                                                                               in let (#
                                                                                        farInp_71,
                                                                                        farExp_72
                                                                                        #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_66 of
                                                                                          GHC.Types.LT ->
                                                                                            (#
                                                                                              inp_66,
                                                                                              failExp_70
                                                                                            #)
                                                                                          GHC.Types.EQ ->
                                                                                            (#
                                                                                              init_1,
                                                                                              failExp_70 GHC.Base.<> Data.Set.Internal.empty
                                                                                            #)
                                                                                          GHC.Types.GT ->
                                                                                            (#
                                                                                              init_1,
                                                                                              Data.Set.Internal.empty
                                                                                            #)
                                                                                   in readFail_67 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_66 farInp_71 farExp_72
                                                            else
                                                              let _ = "checkHorizon.newCheck.fail"
                                                               in let failExp_73 =
                                                                        Data.Set.Internal.Bin
                                                                          1
                                                                          ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                              ( case inputToken of
                                                                                  (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
                                                                              )
                                                                          )
                                                                          Data.Set.Internal.Tip
                                                                          Data.Set.Internal.Tip
                                                                   in let (#
                                                                            farInp_74,
                                                                            farExp_75
                                                                            #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_66 of
                                                                              GHC.Types.LT ->
                                                                                (#
                                                                                  inp_66,
                                                                                  failExp_73
                                                                                #)
                                                                              GHC.Types.EQ ->
                                                                                (#
                                                                                  init_1,
                                                                                  failExp_73 GHC.Base.<> Data.Set.Internal.empty
                                                                                #)
                                                                              GHC.Types.GT ->
                                                                                (#
                                                                                  init_1,
                                                                                  Data.Set.Internal.empty
                                                                                #)
                                                                       in readFail_67 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_66 farInp_74 farExp_75
        )