\(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 _ = "resume"
                                 in finalRet_13
                                      farInp_35
                                      farExp_36
                                      ( let _ = "resume.genCode"
                                         in GHC.Show.show v_37
                                      )
                                      inp_38
                           in let _ = "catch ExceptionFailure"
                               in let catchHandler_39 (!_exn_40) (!failInp_41) (!farInp_42) (!farExp_43) =
                                        let _ = "catch.ko ExceptionFailure"
                                         in let _ = "pushInput"
                                             in if ( \( Data.Text.Internal.Text
                                                          _
                                                          i_44
                                                          _
                                                        )
                                                      ( Data.Text.Internal.Text
                                                          _
                                                          j_45
                                                          _
                                                        ) -> i_44 GHC.Classes.== j_45
                                                   )
                                                  init_1
                                                  failInp_41
                                                  then
                                                    let _ = "choicesBranch.then"
                                                     in let _ = "catch ExceptionFailure"
                                                         in let catchHandler_46 (!_exn_47) (!failInp_48) (!farInp_49) (!farExp_50) =
                                                                  let _ = "catch.ko ExceptionFailure"
                                                                   in let _ = "pushInput"
                                                                       in if ( \( Data.Text.Internal.Text
                                                                                    _
                                                                                    i_51
                                                                                    _
                                                                                  )
                                                                                ( Data.Text.Internal.Text
                                                                                    _
                                                                                    j_52
                                                                                    _
                                                                                  ) -> i_51 GHC.Classes.== j_52
                                                                             )
                                                                            failInp_41
                                                                            failInp_48
                                                                            then
                                                                              let _ = "choicesBranch.then"
                                                                               in let _ = "catch ExceptionFailure"
                                                                                   in let catchHandler_53 (!_exn_54) (!failInp_55) (!farInp_56) (!farExp_57) =
                                                                                            let _ = "catch.ko ExceptionFailure"
                                                                                             in let _ = "loadInput"
                                                                                                 in let _ = "checkHorizon.noCheck"
                                                                                                     in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_48 farInp_56 farExp_57
                                                                                       in let _ = "pushValue"
                                                                                           in let _ = "comment: satisfy"
                                                                                               in let inp_58 = failInp_48
                                                                                                   in let readFail_59 = catchHandler_53
                                                                                                       in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
                                                                                                           in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 3 inp_58)
                                                                                                                then
                                                                                                                  let _ = "checkToken"
                                                                                                                   in let !(#
                                                                                                                             c_60,
                                                                                                                             cs_61
                                                                                                                             #) = readNext_3 inp_58
                                                                                                                       in if (GHC.Classes.==) 'f' c_60
                                                                                                                            then
                                                                                                                              let _ = "comment: satisfy"
                                                                                                                               in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
                                                                                                                                   in let _ = "checkToken"
                                                                                                                                       in let !(#
                                                                                                                                                 c_62,
                                                                                                                                                 cs_63
                                                                                                                                                 #) = readNext_3 cs_61
                                                                                                                                           in if (GHC.Classes.==) 'g' c_62
                                                                                                                                                then
                                                                                                                                                  let _ = "comment: satisfy"
                                                                                                                                                   in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
                                                                                                                                                       in let _ = "checkToken"
                                                                                                                                                           in let !(#
                                                                                                                                                                     c_64,
                                                                                                                                                                     cs_65
                                                                                                                                                                     #) = readNext_3 cs_63
                                                                                                                                                               in if (GHC.Classes.==) 'h' c_64
                                                                                                                                                                    then
                                                                                                                                                                      let _ = "comment: satisfy"
                                                                                                                                                                       in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
                                                                                                                                                                           in let _ = "checkToken"
                                                                                                                                                                               in let !(#
                                                                                                                                                                                         c_66,
                                                                                                                                                                                         cs_67
                                                                                                                                                                                         #) = readNext_3 cs_65
                                                                                                                                                                                   in if (GHC.Classes.==) 'i' c_66
                                                                                                                                                                                        then
                                                                                                                                                                                          let _ = "commit"
                                                                                                                                                                                           in let _ = "resume"
                                                                                                                                                                                               in join_34
                                                                                                                                                                                                    farInp_49
                                                                                                                                                                                                    farExp_50
                                                                                                                                                                                                    ( let _ = "resume.genCode"
                                                                                                                                                                                                       in (GHC.Types.:) 'f' ((GHC.Types.:) 'g' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' GHC.Types . [])))
                                                                                                                                                                                                    )
                                                                                                                                                                                                    cs_67
                                                                                                                                                                                        else
                                                                                                                                                                                          let _ = "checkToken.fail"
                                                                                                                                                                                           in let failExp_68 =
                                                                                                                                                                                                    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 'i'
                                                                                                                                                                                                          )
                                                                                                                                                                                                      )
                                                                                                                                                                                                      Data.Set.Internal.Tip
                                                                                                                                                                                                      Data.Set.Internal.Tip
                                                                                                                                                                                               in let (#
                                                                                                                                                                                                        farInp_69,
                                                                                                                                                                                                        farExp_70
                                                                                                                                                                                                        #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_49 cs_65 of
                                                                                                                                                                                                          GHC.Types.LT ->
                                                                                                                                                                                                            (#
                                                                                                                                                                                                              cs_65,
                                                                                                                                                                                                              failExp_68
                                                                                                                                                                                                            #)
                                                                                                                                                                                                          GHC.Types.EQ ->
                                                                                                                                                                                                            (#
                                                                                                                                                                                                              farInp_49,
                                                                                                                                                                                                              failExp_68 GHC.Base.<> farExp_50
                                                                                                                                                                                                            #)
                                                                                                                                                                                                          GHC.Types.GT ->
                                                                                                                                                                                                            (#
                                                                                                                                                                                                              farInp_49,
                                                                                                                                                                                                              farExp_50
                                                                                                                                                                                                            #)
                                                                                                                                                                                                   in readFail_59 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_65 farInp_69 farExp_70
                                                                                                                                                                    else
                                                                                                                                                                      let _ = "checkToken.fail"
                                                                                                                                                                       in let failExp_71 =
                                                                                                                                                                                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 'h'
                                                                                                                                                                                      )
                                                                                                                                                                                  )
                                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                           in let (#
                                                                                                                                                                                    farInp_72,
                                                                                                                                                                                    farExp_73
                                                                                                                                                                                    #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_49 cs_63 of
                                                                                                                                                                                      GHC.Types.LT ->
                                                                                                                                                                                        (#
                                                                                                                                                                                          cs_63,
                                                                                                                                                                                          failExp_71
                                                                                                                                                                                        #)
                                                                                                                                                                                      GHC.Types.EQ ->
                                                                                                                                                                                        (#
                                                                                                                                                                                          farInp_49,
                                                                                                                                                                                          failExp_71 GHC.Base.<> farExp_50
                                                                                                                                                                                        #)
                                                                                                                                                                                      GHC.Types.GT ->
                                                                                                                                                                                        (#
                                                                                                                                                                                          farInp_49,
                                                                                                                                                                                          farExp_50
                                                                                                                                                                                        #)
                                                                                                                                                                               in readFail_59 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_63 farInp_72 farExp_73
                                                                                                                                                else
                                                                                                                                                  let _ = "checkToken.fail"
                                                                                                                                                   in let failExp_74 =
                                                                                                                                                            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 'g'
                                                                                                                                                                  )
                                                                                                                                                              )
                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                       in let (#
                                                                                                                                                                farInp_75,
                                                                                                                                                                farExp_76
                                                                                                                                                                #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_49 cs_61 of
                                                                                                                                                                  GHC.Types.LT ->
                                                                                                                                                                    (#
                                                                                                                                                                      cs_61,
                                                                                                                                                                      failExp_74
                                                                                                                                                                    #)
                                                                                                                                                                  GHC.Types.EQ ->
                                                                                                                                                                    (#
                                                                                                                                                                      farInp_49,
                                                                                                                                                                      failExp_74 GHC.Base.<> farExp_50
                                                                                                                                                                    #)
                                                                                                                                                                  GHC.Types.GT ->
                                                                                                                                                                    (#
                                                                                                                                                                      farInp_49,
                                                                                                                                                                      farExp_50
                                                                                                                                                                    #)
                                                                                                                                                           in readFail_59 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_61 farInp_75 farExp_76
                                                                                                                            else
                                                                                                                              let _ = "checkToken.fail"
                                                                                                                               in let failExp_77 =
                                                                                                                                        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 'f'
                                                                                                                                              )
                                                                                                                                          )
                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                   in let (#
                                                                                                                                            farInp_78,
                                                                                                                                            farExp_79
                                                                                                                                            #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_49 inp_58 of
                                                                                                                                              GHC.Types.LT ->
                                                                                                                                                (#
                                                                                                                                                  inp_58,
                                                                                                                                                  failExp_77
                                                                                                                                                #)
                                                                                                                                              GHC.Types.EQ ->
                                                                                                                                                (#
                                                                                                                                                  farInp_49,
                                                                                                                                                  failExp_77 GHC.Base.<> farExp_50
                                                                                                                                                #)
                                                                                                                                              GHC.Types.GT ->
                                                                                                                                                (#
                                                                                                                                                  farInp_49,
                                                                                                                                                  farExp_50
                                                                                                                                                #)
                                                                                                                                       in readFail_59 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_58 farInp_78 farExp_79
                                                                                                                else
                                                                                                                  let _ = "checkHorizon.newCheck.fail"
                                                                                                                   in let failExp_80 =
                                                                                                                            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 4
                                                                                                                                  )
                                                                                                                              )
                                                                                                                              Data.Set.Internal.Tip
                                                                                                                              Data.Set.Internal.Tip
                                                                                                                       in let (#
                                                                                                                                farInp_81,
                                                                                                                                farExp_82
                                                                                                                                #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_49 inp_58 of
                                                                                                                                  GHC.Types.LT ->
                                                                                                                                    (#
                                                                                                                                      inp_58,
                                                                                                                                      failExp_80
                                                                                                                                    #)
                                                                                                                                  GHC.Types.EQ ->
                                                                                                                                    (#
                                                                                                                                      farInp_49,
                                                                                                                                      failExp_80 GHC.Base.<> farExp_50
                                                                                                                                    #)
                                                                                                                                  GHC.Types.GT ->
                                                                                                                                    (#
                                                                                                                                      farInp_49,
                                                                                                                                      farExp_50
                                                                                                                                    #)
                                                                                                                           in readFail_59 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_58 farInp_81 farExp_82
                                                                            else
                                                                              let _ = "choicesBranch.else"
                                                                               in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_48 farInp_49 farExp_50
                                                             in let _ = "catch ExceptionFailure"
                                                                 in let catchHandler_83 (!_exn_84) (!failInp_85) (!farInp_86) (!farExp_87) =
                                                                          let _ = "catch.ko ExceptionFailure"
                                                                           in let _ = "loadInput"
                                                                               in let _ = "checkHorizon.noCheck"
                                                                                   in catchHandler_46 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_41 farInp_86 farExp_87
                                                                     in let _ = "pushValue"
                                                                         in let _ = "comment: satisfy"
                                                                             in let inp_88 = failInp_41
                                                                                 in let readFail_89 = catchHandler_83
                                                                                     in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                                                         in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_88)
                                                                                              then
                                                                                                let _ = "checkToken"
                                                                                                 in let !(#
                                                                                                           c_90,
                                                                                                           cs_91
                                                                                                           #) = readNext_3 inp_88
                                                                                                     in if (GHC.Classes.==) 'd' c_90
                                                                                                          then
                                                                                                            let _ = "comment: satisfy"
                                                                                                             in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
                                                                                                                 in let _ = "checkToken"
                                                                                                                     in let !(#
                                                                                                                               c_92,
                                                                                                                               cs_93
                                                                                                                               #) = readNext_3 cs_91
                                                                                                                         in if (GHC.Classes.==) 'e' c_92
                                                                                                                              then
                                                                                                                                let _ = "commit"
                                                                                                                                 in let _ = "commit"
                                                                                                                                     in let _ = "resume"
                                                                                                                                         in join_34
                                                                                                                                              farInp_42
                                                                                                                                              farExp_43
                                                                                                                                              ( let _ = "resume.genCode"
                                                                                                                                                 in (GHC.Types.:) 'd' ((GHC.Types.:) 'e' GHC.Types . [])
                                                                                                                                              )
                                                                                                                                              cs_93
                                                                                                                              else
                                                                                                                                let _ = "checkToken.fail"
                                                                                                                                 in let failExp_94 =
                                                                                                                                          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 'e'
                                                                                                                                                )
                                                                                                                                            )
                                                                                                                                            Data.Set.Internal.Tip
                                                                                                                                            Data.Set.Internal.Tip
                                                                                                                                     in let (#
                                                                                                                                              farInp_95,
                                                                                                                                              farExp_96
                                                                                                                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 cs_91 of
                                                                                                                                                GHC.Types.LT ->
                                                                                                                                                  (#
                                                                                                                                                    cs_91,
                                                                                                                                                    failExp_94
                                                                                                                                                  #)
                                                                                                                                                GHC.Types.EQ ->
                                                                                                                                                  (#
                                                                                                                                                    farInp_42,
                                                                                                                                                    failExp_94 GHC.Base.<> farExp_43
                                                                                                                                                  #)
                                                                                                                                                GHC.Types.GT ->
                                                                                                                                                  (#
                                                                                                                                                    farInp_42,
                                                                                                                                                    farExp_43
                                                                                                                                                  #)
                                                                                                                                         in readFail_89 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_91 farInp_95 farExp_96
                                                                                                          else
                                                                                                            let _ = "checkToken.fail"
                                                                                                             in let failExp_97 =
                                                                                                                      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 'd'
                                                                                                                            )
                                                                                                                        )
                                                                                                                        Data.Set.Internal.Tip
                                                                                                                        Data.Set.Internal.Tip
                                                                                                                 in let (#
                                                                                                                          farInp_98,
                                                                                                                          farExp_99
                                                                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 inp_88 of
                                                                                                                            GHC.Types.LT ->
                                                                                                                              (#
                                                                                                                                inp_88,
                                                                                                                                failExp_97
                                                                                                                              #)
                                                                                                                            GHC.Types.EQ ->
                                                                                                                              (#
                                                                                                                                farInp_42,
                                                                                                                                failExp_97 GHC.Base.<> farExp_43
                                                                                                                              #)
                                                                                                                            GHC.Types.GT ->
                                                                                                                              (#
                                                                                                                                farInp_42,
                                                                                                                                farExp_43
                                                                                                                              #)
                                                                                                                     in readFail_89 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_88 farInp_98 farExp_99
                                                                                              else
                                                                                                let _ = "checkHorizon.newCheck.fail"
                                                                                                 in let failExp_100 =
                                                                                                          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_101,
                                                                                                              farExp_102
                                                                                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 inp_88 of
                                                                                                                GHC.Types.LT ->
                                                                                                                  (#
                                                                                                                    inp_88,
                                                                                                                    failExp_100
                                                                                                                  #)
                                                                                                                GHC.Types.EQ ->
                                                                                                                  (#
                                                                                                                    farInp_42,
                                                                                                                    failExp_100 GHC.Base.<> farExp_43
                                                                                                                  #)
                                                                                                                GHC.Types.GT ->
                                                                                                                  (#
                                                                                                                    farInp_42,
                                                                                                                    farExp_43
                                                                                                                  #)
                                                                                                         in readFail_89 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_88 farInp_101 farExp_102
                                                  else
                                                    let _ = "choicesBranch.else"
                                                     in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_41 farInp_42 farExp_43
                                   in let _ = "catch ExceptionFailure"
                                       in let catchHandler_103 (!_exn_104) (!failInp_105) (!farInp_106) (!farExp_107) =
                                                let _ = "catch.ko ExceptionFailure"
                                                 in let _ = "loadInput"
                                                     in let _ = "checkHorizon.noCheck"
                                                         in catchHandler_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure init_1 farInp_106 farExp_107
                                           in let _ = "pushValue"
                                               in let _ = "comment: satisfy"
                                                   in let inp_108 = init_1
                                                       in let readFail_109 = catchHandler_103
                                                           in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3"
                                                               in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_108)
                                                                    then
                                                                      let _ = "checkToken"
                                                                       in let !(#
                                                                                 c_110,
                                                                                 cs_111
                                                                                 #) = readNext_3 inp_108
                                                                           in if (GHC.Classes.==) 'a' c_110
                                                                                then
                                                                                  let _ = "comment: satisfy"
                                                                                   in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
                                                                                       in let _ = "checkToken"
                                                                                           in let !(#
                                                                                                     c_112,
                                                                                                     cs_113
                                                                                                     #) = readNext_3 cs_111
                                                                                               in if (GHC.Classes.==) 'b' c_112
                                                                                                    then
                                                                                                      let _ = "comment: satisfy"
                                                                                                       in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
                                                                                                           in let _ = "checkToken"
                                                                                                               in let !(#
                                                                                                                         c_114,
                                                                                                                         cs_115
                                                                                                                         #) = readNext_3 cs_113
                                                                                                                   in if (GHC.Classes.==) 'c' c_114
                                                                                                                        then
                                                                                                                          let _ = "commit"
                                                                                                                           in let _ = "commit"
                                                                                                                               in let _ = "resume"
                                                                                                                                   in join_34
                                                                                                                                        init_1
                                                                                                                                        Data.Set.Internal.empty
                                                                                                                                        ( let _ = "resume.genCode"
                                                                                                                                           in (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types . []))
                                                                                                                                        )
                                                                                                                                        cs_115
                                                                                                                        else
                                                                                                                          let _ = "checkToken.fail"
                                                                                                                           in let failExp_116 =
                                                                                                                                    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_117,
                                                                                                                                        farExp_118
                                                                                                                                        #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_113 of
                                                                                                                                          GHC.Types.LT ->
                                                                                                                                            (#
                                                                                                                                              cs_113,
                                                                                                                                              failExp_116
                                                                                                                                            #)
                                                                                                                                          GHC.Types.EQ ->
                                                                                                                                            (#
                                                                                                                                              init_1,
                                                                                                                                              failExp_116 GHC.Base.<> Data.Set.Internal.empty
                                                                                                                                            #)
                                                                                                                                          GHC.Types.GT ->
                                                                                                                                            (#
                                                                                                                                              init_1,
                                                                                                                                              Data.Set.Internal.empty
                                                                                                                                            #)
                                                                                                                                   in readFail_109 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_113 farInp_117 farExp_118
                                                                                                    else
                                                                                                      let _ = "checkToken.fail"
                                                                                                       in let failExp_119 =
                                                                                                                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_120,
                                                                                                                    farExp_121
                                                                                                                    #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_111 of
                                                                                                                      GHC.Types.LT ->
                                                                                                                        (#
                                                                                                                          cs_111,
                                                                                                                          failExp_119
                                                                                                                        #)
                                                                                                                      GHC.Types.EQ ->
                                                                                                                        (#
                                                                                                                          init_1,
                                                                                                                          failExp_119 GHC.Base.<> Data.Set.Internal.empty
                                                                                                                        #)
                                                                                                                      GHC.Types.GT ->
                                                                                                                        (#
                                                                                                                          init_1,
                                                                                                                          Data.Set.Internal.empty
                                                                                                                        #)
                                                                                                               in readFail_109 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_111 farInp_120 farExp_121
                                                                                else
                                                                                  let _ = "checkToken.fail"
                                                                                   in let failExp_122 =
                                                                                            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_123,
                                                                                                farExp_124
                                                                                                #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_108 of
                                                                                                  GHC.Types.LT ->
                                                                                                    (#
                                                                                                      inp_108,
                                                                                                      failExp_122
                                                                                                    #)
                                                                                                  GHC.Types.EQ ->
                                                                                                    (#
                                                                                                      init_1,
                                                                                                      failExp_122 GHC.Base.<> Data.Set.Internal.empty
                                                                                                    #)
                                                                                                  GHC.Types.GT ->
                                                                                                    (#
                                                                                                      init_1,
                                                                                                      Data.Set.Internal.empty
                                                                                                    #)
                                                                                           in readFail_109 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_108 farInp_123 farExp_124
                                                                    else
                                                                      let _ = "checkHorizon.newCheck.fail"
                                                                       in let failExp_125 =
                                                                                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 3
                                                                                      )
                                                                                  )
                                                                                  Data.Set.Internal.Tip
                                                                                  Data.Set.Internal.Tip
                                                                           in let (#
                                                                                    farInp_126,
                                                                                    farExp_127
                                                                                    #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_108 of
                                                                                      GHC.Types.LT ->
                                                                                        (#
                                                                                          inp_108,
                                                                                          failExp_125
                                                                                        #)
                                                                                      GHC.Types.EQ ->
                                                                                        (#
                                                                                          init_1,
                                                                                          failExp_125 GHC.Base.<> Data.Set.Internal.empty
                                                                                        #)
                                                                                      GHC.Types.GT ->
                                                                                        (#
                                                                                          init_1,
                                                                                          Data.Set.Internal.empty
                                                                                        #)
                                                                               in readFail_109 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_108 farInp_126 farExp_127
        )