\(input :: inp) ->
  let !(#
         init,
         readMore,
         readNext
         #) =
          let _ = "cursorOf"
           in let next
                    ( t@( Data.Text.Internal.Text
                            arr
                            off
                            unconsumed
                          )
                      ) =
                      let !( Data.Text.Unsafe.Iter
                               c
                               d
                             ) = Data.Text.Unsafe.iter t 0
                       in (#
                            c,
                            Data.Text.Internal.Text arr (off GHC.Num.+ d) (unconsumed GHC.Num.- d)
                          #)
                  more
                    ( Data.Text.Internal.Text
                        _
                        _
                        unconsumed
                      ) = unconsumed GHC.Classes.> 0
               in (# input, more, next #)
      finalRet = \_farInp _farExp v _inp -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Right v
      finalRaise ::
        forall st b.
        Symantic.Parser.Machine.Generate.OnException
          st
          inp
          b = \(!exn) _failInp (!farInp) (!farExp) ->
          Symantic.Parser.Machine.Generate.returnST GHC.Base.$
            Data.Either.Left
              Symantic.Parser.Machine.Generate.ParsingError
                { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.offset farInp,
                  Symantic.Parser.Machine.Generate.parsingErrorException = exn,
                  Symantic.Parser.Machine.Generate.parsingErrorUnexpected =
                    if readMore farInp
                      then
                        GHC.Maybe.Just
                          ( let (#
                                  c,
                                  _
                                  #) = readNext farInp
                             in c
                          )
                      else GHC.Maybe.Nothing,
                  Symantic.Parser.Machine.Generate.parsingErrorExpecting =
                    let ( minHoriz,
                          res
                          ) =
                            Data.Set.Internal.foldr
                              ( \f
                                 ( minH,
                                   acc
                                   ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f of
                                    GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp)))
                                      | GHC.Maybe.Just old <- minH ->
                                        ( GHC.Maybe.Just (GHC.Classes.min old h),
                                          acc
                                        )
                                      | GHC.Base.otherwise ->
                                        ( GHC.Maybe.Just h,
                                          acc
                                        )
                                    _ ->
                                      ( minH,
                                        f GHC.Types.: acc
                                      )
                              )
                              ( GHC.Maybe.Nothing,
                                GHC.Types . []
                              )
                              farExp
                     in Data.Set.Internal.fromList GHC.Base.$
                          ( case minHoriz of
                              GHC.Maybe.Just h -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp) h) GHC.Types.: res
                              GHC.Maybe.Nothing -> res
                          )
                }
   in GHC.ST.runST
        ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp)
           in let inp = init
               in let readFail = finalRaise
                   in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
                       in if readMore inp
                            then
                              let name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "catch ExceptionFailure checkedHorizon=0"
                                     in let onException =
                                              let _ = "onException"
                                               in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                    let _ = "comment: raiseAgainIfConsumed"
                                                     in let _ = "saveInput checkedHorizon=0"
                                                         in let _ = "lift2Value checkedHorizon=0"
                                                             in if ( \( Data.Text.Internal.Text
                                                                          _
                                                                          i
                                                                          _
                                                                        )
                                                                      ( Data.Text.Internal.Text
                                                                          _
                                                                          j
                                                                          _
                                                                        ) -> i GHC.Classes.== j
                                                                   )
                                                                  callerInput
                                                                  failInp
                                                                  then
                                                                    let _ = "choicesBranch checkedHorizon=0"
                                                                     in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                         in let onException =
                                                                                  let _ = "onException"
                                                                                   in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                        let _ = "comment: raiseAgainIfConsumed"
                                                                                         in let _ = "saveInput checkedHorizon=0"
                                                                                             in let _ = "lift2Value checkedHorizon=0"
                                                                                                 in if ( \( Data.Text.Internal.Text
                                                                                                              _
                                                                                                              i
                                                                                                              _
                                                                                                            )
                                                                                                          ( Data.Text.Internal.Text
                                                                                                              _
                                                                                                              j
                                                                                                              _
                                                                                                            ) -> i GHC.Classes.== j
                                                                                                       )
                                                                                                      failInp
                                                                                                      failInp
                                                                                                      then
                                                                                                        let _ = "choicesBranch checkedHorizon=0"
                                                                                                         in let _ = "pushValue"
                                                                                                             in name
                                                                                                                  ( let _ = "onReturn"
                                                                                                                     in \farInp farExp v (!inp) ->
                                                                                                                          let _ = "lift2Value checkedHorizon=0"
                                                                                                                           in let join = \farInp farExp v (!inp) ->
                                                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                                                     in let _ = "resume"
                                                                                                                                         in callerOnReturn
                                                                                                                                              farInp
                                                                                                                                              farExp
                                                                                                                                              ( let _ = "resume.genCode"
                                                                                                                                                 in v
                                                                                                                                              )
                                                                                                                                              inp
                                                                                                                               in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                   in let onException =
                                                                                                                                            let _ = "onException"
                                                                                                                                             in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                  let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                   in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                       in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                           in if ( \( Data.Text.Internal.Text
                                                                                                                                                                        _
                                                                                                                                                                        i
                                                                                                                                                                        _
                                                                                                                                                                      )
                                                                                                                                                                    ( Data.Text.Internal.Text
                                                                                                                                                                        _
                                                                                                                                                                        j
                                                                                                                                                                        _
                                                                                                                                                                      ) -> i GHC.Classes.== j
                                                                                                                                                                 )
                                                                                                                                                                inp
                                                                                                                                                                failInp
                                                                                                                                                                then
                                                                                                                                                                  let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                   in name
                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                let _ = "resume"
                                                                                                                                                                                 in join
                                                                                                                                                                                      farInp
                                                                                                                                                                                      farExp
                                                                                                                                                                                      ( let _ = "resume.genCode"
                                                                                                                                                                                         in v
                                                                                                                                                                                      )
                                                                                                                                                                                      inp
                                                                                                                                                                        )
                                                                                                                                                                        failInp
                                                                                                                                                                        Data.Map.Internal.Tip
                                                                                                                                                                else
                                                                                                                                                                  let _ = "choicesBranch.else"
                                                                                                                                                                   in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                       in let _ = "pushValue"
                                                                                                                                           in let join = \farInp farExp v (!inp) ->
                                                                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                     in let _ = "commit"
                                                                                                                                                         in let _ = "resume"
                                                                                                                                                             in join
                                                                                                                                                                  farInp
                                                                                                                                                                  farExp
                                                                                                                                                                  ( let _ = "resume.genCode"
                                                                                                                                                                     in GHC.Tuple . ()
                                                                                                                                                                  )
                                                                                                                                                                  inp
                                                                                                                                               in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                                   in let onException =
                                                                                                                                                            let _ = "onException"
                                                                                                                                                             in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                  let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                                   in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                                       in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                           in if ( \( Data.Text.Internal.Text
                                                                                                                                                                                        _
                                                                                                                                                                                        i
                                                                                                                                                                                        _
                                                                                                                                                                                      )
                                                                                                                                                                                    ( Data.Text.Internal.Text
                                                                                                                                                                                        _
                                                                                                                                                                                        j
                                                                                                                                                                                        _
                                                                                                                                                                                      ) -> i GHC.Classes.== j
                                                                                                                                                                                 )
                                                                                                                                                                                inp
                                                                                                                                                                                failInp
                                                                                                                                                                                then
                                                                                                                                                                                  let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                                   in name
                                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                                let _ = "resume"
                                                                                                                                                                                                 in join
                                                                                                                                                                                                      farInp
                                                                                                                                                                                                      farExp
                                                                                                                                                                                                      ( let _ = "resume.genCode"
                                                                                                                                                                                                         in v
                                                                                                                                                                                                      )
                                                                                                                                                                                                      inp
                                                                                                                                                                                        )
                                                                                                                                                                                        failInp
                                                                                                                                                                                        (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                else
                                                                                                                                                                                  let _ = "choicesBranch.else"
                                                                                                                                                                                   in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                       in let _ = "pushValue"
                                                                                                                                                           in name
                                                                                                                                                                ( let _ = "onReturn"
                                                                                                                                                                   in \farInp farExp v (!inp) ->
                                                                                                                                                                        let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                         in let join = \farInp farExp v (!inp) ->
                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                   in name
                                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                 in let _ = "commit"
                                                                                                                                                                                                     in let _ = "resume"
                                                                                                                                                                                                         in join
                                                                                                                                                                                                              farInp
                                                                                                                                                                                                              farExp
                                                                                                                                                                                                              ( let _ = "resume.genCode"
                                                                                                                                                                                                                 in v
                                                                                                                                                                                                              )
                                                                                                                                                                                                              inp
                                                                                                                                                                                        )
                                                                                                                                                                                        inp
                                                                                                                                                                                        (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                             in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                                                                 in let onException =
                                                                                                                                                                                          let _ = "onException"
                                                                                                                                                                                           in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                                                let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                                                                 in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                                                                     in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                         in if ( \( Data.Text.Internal.Text
                                                                                                                                                                                                                      _
                                                                                                                                                                                                                      i
                                                                                                                                                                                                                      _
                                                                                                                                                                                                                    )
                                                                                                                                                                                                                  ( Data.Text.Internal.Text
                                                                                                                                                                                                                      _
                                                                                                                                                                                                                      j
                                                                                                                                                                                                                      _
                                                                                                                                                                                                                    ) -> i GHC.Classes.== j
                                                                                                                                                                                                               )
                                                                                                                                                                                                              inp
                                                                                                                                                                                                              failInp
                                                                                                                                                                                                              then
                                                                                                                                                                                                                let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                                                                 in name
                                                                                                                                                                                                                      ( let _ = "onReturn"
                                                                                                                                                                                                                         in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                              let _ = "resume"
                                                                                                                                                                                                                               in join
                                                                                                                                                                                                                                    farInp
                                                                                                                                                                                                                                    farExp
                                                                                                                                                                                                                                    ( let _ = "resume.genCode"
                                                                                                                                                                                                                                       in v
                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                    inp
                                                                                                                                                                                                                      )
                                                                                                                                                                                                                      failInp
                                                                                                                                                                                                                      Data.Map.Internal.Tip
                                                                                                                                                                                                              else
                                                                                                                                                                                                                let _ = "choicesBranch.else"
                                                                                                                                                                                                                 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                                     in let _ = "pushValue"
                                                                                                                                                                                         in name
                                                                                                                                                                                              ( let _ = "onReturn"
                                                                                                                                                                                                 in \farInp farExp v (!inp) ->
                                                                                                                                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                       in let _ = "pushValue"
                                                                                                                                                                                                           in do
                                                                                                                                                                                                                let dupv = \x -> x
                                                                                                                                                                                                                reg <- GHC.STRef.newSTRef dupv
                                                                                                                                                                                                                let _ = "iter"
                                                                                                                                                                                                                 in let onException loopInput =
                                                                                                                                                                                                                          let _ = "onException"
                                                                                                                                                                                                                           in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                                                                                let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                                                                                                 in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                                                                                                     in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                         in if ( \( Data.Text.Internal.Text
                                                                                                                                                                                                                                                      _
                                                                                                                                                                                                                                                      i
                                                                                                                                                                                                                                                      _
                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                  ( Data.Text.Internal.Text
                                                                                                                                                                                                                                                      _
                                                                                                                                                                                                                                                      j
                                                                                                                                                                                                                                                      _
                                                                                                                                                                                                                                                    ) -> i GHC.Classes.== j
                                                                                                                                                                                                                                               )
                                                                                                                                                                                                                                              loopInput
                                                                                                                                                                                                                                              failInp
                                                                                                                                                                                                                                              then
                                                                                                                                                                                                                                                let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                                                                                                 in do
                                                                                                                                                                                                                                                      sr <- GHC.STRef.readSTRef reg
                                                                                                                                                                                                                                                      name
                                                                                                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                 in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                     in name
                                                                                                                                                                                                                                                                          ( let _ = "onReturn"
                                                                                                                                                                                                                                                                             in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                   in let _ = "commit"
                                                                                                                                                                                                                                                                                       in let _ = "resume"
                                                                                                                                                                                                                                                                                           in join
                                                                                                                                                                                                                                                                                                farInp
                                                                                                                                                                                                                                                                                                farExp
                                                                                                                                                                                                                                                                                                ( let _ = "resume.genCode"
                                                                                                                                                                                                                                                                                                   in GHC.Tuple . ()
                                                                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                                                                                inp
                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                          inp
                                                                                                                                                                                                                                                                          Data.Map.Internal.Tip
                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                        failInp
                                                                                                                                                                                                                                                        Data.Map.Internal.Tip
                                                                                                                                                                                                                                              else
                                                                                                                                                                                                                                                let _ = "choicesBranch.else"
                                                                                                                                                                                                                                                 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                                                                        loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
                                                                                                                                                                                                                          let _ = "pushValue"
                                                                                                                                                                                                                           in name
                                                                                                                                                                                                                                ( let _ = "onReturn"
                                                                                                                                                                                                                                   in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                        let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                         in name
                                                                                                                                                                                                                                              ( let _ = "onReturn"
                                                                                                                                                                                                                                                 in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                       in name
                                                                                                                                                                                                                                                            ( let _ = "onReturn"
                                                                                                                                                                                                                                                               in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                     in do
                                                                                                                                                                                                                                                                          sr <- GHC.STRef.readSTRef reg
                                                                                                                                                                                                                                                                          let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                           in do
                                                                                                                                                                                                                                                                                let dupv = v v sr
                                                                                                                                                                                                                                                                                GHC.STRef.writeSTRef reg dupv
                                                                                                                                                                                                                                                                                let _ = "jump"
                                                                                                                                                                                                                                                                                 in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                                            inp
                                                                                                                                                                                                                                                            (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                              )
                                                                                                                                                                                                                                              inp
                                                                                                                                                                                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                callerInput
                                                                                                                                                                                                                                Data.Map.Internal.Tip
                                                                                                                                                                                                                     in let _ = "jump"
                                                                                                                                                                                                                         in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                              )
                                                                                                                                                                                              inp
                                                                                                                                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                )
                                                                                                                                                                inp
                                                                                                                                                                (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                  )
                                                                                                                  failInp
                                                                                                                  (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                      else
                                                                                                        let _ = "choicesBranch.else"
                                                                                                         in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                             in let _ = "pushValue"
                                                                                 in let _ = "comment: satisfy ((GHC.Classes.==) '\\'')"
                                                                                     in let inp = failInp
                                                                                         in let readFail = onException
                                                                                             in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
                                                                                                 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 inp)
                                                                                                      then
                                                                                                        let _ = "checkToken"
                                                                                                         in let !(#
                                                                                                                   c,
                                                                                                                   cs
                                                                                                                   #) = readNext inp
                                                                                                             in if (GHC.Classes.==) '\'' c
                                                                                                                  then
                                                                                                                    let _ = "lift2Value checkedHorizon=4"
                                                                                                                     in let join = \farInp farExp v (!inp) ->
                                                                                                                              let _ = "lift2Value checkedHorizon=0"
                                                                                                                               in let _ = "comment: satisfy ((GHC.Classes.==) '\\'')"
                                                                                                                                   in let inp = inp
                                                                                                                                       in let readFail = readFail
                                                                                                                                           in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                                                                                                               in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                                                                                                                    then
                                                                                                                                                      let _ = "checkToken"
                                                                                                                                                       in let !(#
                                                                                                                                                                 c,
                                                                                                                                                                 cs
                                                                                                                                                                 #) = readNext inp
                                                                                                                                                           in if (GHC.Classes.==) '\'' c
                                                                                                                                                                then
                                                                                                                                                                  let _ = "lift2Value checkedHorizon=2"
                                                                                                                                                                   in name
                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                 in let _ = "commit"
                                                                                                                                                                                     in let _ = "resume"
                                                                                                                                                                                         in callerOnReturn
                                                                                                                                                                                              farInp
                                                                                                                                                                                              farExp
                                                                                                                                                                                              ( let _ = "resume.genCode"
                                                                                                                                                                                                 in v
                                                                                                                                                                                              )
                                                                                                                                                                                              inp
                                                                                                                                                                        )
                                                                                                                                                                        cs
                                                                                                                                                                        (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                else
                                                                                                                                                                  let _ = "checkToken.fail"
                                                                                                                                                                   in let failExp =
                                                                                                                                                                            Data.Set.Internal.Bin
                                                                                                                                                                              1
                                                                                                                                                                              ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                  ( case inputToken of
                                                                                                                                                                                      (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
                                                                                                                                                                                  )
                                                                                                                                                                              )
                                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                                       in let (#
                                                                                                                                                                                farInp,
                                                                                                                                                                                farExp
                                                                                                                                                                                #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                  GHC.Types.LT ->
                                                                                                                                                                                    (#
                                                                                                                                                                                      inp,
                                                                                                                                                                                      failExp
                                                                                                                                                                                    #)
                                                                                                                                                                                  GHC.Types.EQ ->
                                                                                                                                                                                    (#
                                                                                                                                                                                      farInp,
                                                                                                                                                                                      failExp GHC.Base.<> farExp
                                                                                                                                                                                    #)
                                                                                                                                                                                  GHC.Types.GT ->
                                                                                                                                                                                    (#
                                                                                                                                                                                      farInp,
                                                                                                                                                                                      farExp
                                                                                                                                                                                    #)
                                                                                                                                                                           in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                    else
                                                                                                                                                      let _ = "checkHorizon.newCheck.fail"
                                                                                                                                                       in let failExp =
                                                                                                                                                                Data.Set.Internal.Bin
                                                                                                                                                                  1
                                                                                                                                                                  ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                      ( case inputToken of
                                                                                                                                                                          (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                                                                                                                      )
                                                                                                                                                                  )
                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                           in let (#
                                                                                                                                                                    farInp,
                                                                                                                                                                    farExp
                                                                                                                                                                    #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                      GHC.Types.LT ->
                                                                                                                                                                        (#
                                                                                                                                                                          inp,
                                                                                                                                                                          failExp
                                                                                                                                                                        #)
                                                                                                                                                                      GHC.Types.EQ ->
                                                                                                                                                                        (#
                                                                                                                                                                          farInp,
                                                                                                                                                                          failExp GHC.Base.<> farExp
                                                                                                                                                                        #)
                                                                                                                                                                      GHC.Types.GT ->
                                                                                                                                                                        (#
                                                                                                                                                                          farInp,
                                                                                                                                                                          farExp
                                                                                                                                                                        #)
                                                                                                                                                               in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                         in let _ = "catch ExceptionFailure checkedHorizon=4"
                                                                                                                             in let onException =
                                                                                                                                      let _ = "onException"
                                                                                                                                       in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                            let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                             in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                 in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                     in if ( \( Data.Text.Internal.Text
                                                                                                                                                                  _
                                                                                                                                                                  i
                                                                                                                                                                  _
                                                                                                                                                                )
                                                                                                                                                              ( Data.Text.Internal.Text
                                                                                                                                                                  _
                                                                                                                                                                  j
                                                                                                                                                                  _
                                                                                                                                                                ) -> i GHC.Classes.== j
                                                                                                                                                           )
                                                                                                                                                          cs
                                                                                                                                                          failInp
                                                                                                                                                          then
                                                                                                                                                            let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                             in let _ = "pushValue"
                                                                                                                                                                 in let _ = "comment: satisfy ((GHC.Classes.==) '\\\\')"
                                                                                                                                                                     in let inp = failInp
                                                                                                                                                                         in let readFail = readFail
                                                                                                                                                                             in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
                                                                                                                                                                                 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 inp)
                                                                                                                                                                                      then
                                                                                                                                                                                        let _ = "checkToken"
                                                                                                                                                                                         in let !(#
                                                                                                                                                                                                   c,
                                                                                                                                                                                                   cs
                                                                                                                                                                                                   #) = readNext inp
                                                                                                                                                                                             in if (GHC.Classes.==) '\\' c
                                                                                                                                                                                                  then
                                                                                                                                                                                                    let _ = "lift2Value checkedHorizon=4"
                                                                                                                                                                                                     in let _ = "comment: satisfy (\\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))"
                                                                                                                                                                                                         in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
                                                                                                                                                                                                             in let _ = "checkToken"
                                                                                                                                                                                                                 in let !(#
                                                                                                                                                                                                                           c,
                                                                                                                                                                                                                           cs
                                                                                                                                                                                                                           #) = readNext cs
                                                                                                                                                                                                                     in if (\t -> ('0' GHC.Classes.== t) GHC.Classes.|| (('t' GHC.Classes.== t) GHC.Classes.|| (('n' GHC.Classes.== t) GHC.Classes.|| (('v' GHC.Classes.== t) GHC.Classes.|| (('f' GHC.Classes.== t) GHC.Classes.|| (('r' GHC.Classes.== t) GHC.Classes.|| GHC.Types.False)))))) c
                                                                                                                                                                                                                          then
                                                                                                                                                                                                                            let _ = "lift2Value checkedHorizon=3"
                                                                                                                                                                                                                             in name
                                                                                                                                                                                                                                  ( let _ = "onReturn"
                                                                                                                                                                                                                                     in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                          let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                           in let _ = "resume"
                                                                                                                                                                                                                                               in join
                                                                                                                                                                                                                                                    farInp
                                                                                                                                                                                                                                                    farExp
                                                                                                                                                                                                                                                    ( let _ = "resume.genCode"
                                                                                                                                                                                                                                                       in v
                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                    inp
                                                                                                                                                                                                                                  )
                                                                                                                                                                                                                                  cs
                                                                                                                                                                                                                                  Data.Map.Internal.Tip
                                                                                                                                                                                                                          else
                                                                                                                                                                                                                            let _ = "checkToken.fail"
                                                                                                                                                                                                                             in let failExp =
                                                                                                                                                                                                                                      Data.Set.Internal.Bin
                                                                                                                                                                                                                                        6
                                                                                                                                                                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                            ( case inputToken of
                                                                                                                                                                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                        ( Data.Set.Internal.Bin
                                                                                                                                                                                                                                            2
                                                                                                                                                                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                ( case inputToken of
                                                                                                                                                                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                            Data.Set.Internal.Tip
                                                                                                                                                                                                                                            ( Data.Set.Internal.Bin
                                                                                                                                                                                                                                                1
                                                                                                                                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                    ( case inputToken of
                                                                                                                                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                        ( Data.Set.Internal.Bin
                                                                                                                                                                                                                                            3
                                                                                                                                                                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                ( case inputToken of
                                                                                                                                                                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                            ( Data.Set.Internal.Bin
                                                                                                                                                                                                                                                1
                                                                                                                                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                    ( case inputToken of
                                                                                                                                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                            ( Data.Set.Internal.Bin
                                                                                                                                                                                                                                                1
                                                                                                                                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                    ( case inputToken of
                                                                                                                                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                 in let (#
                                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                                          farExp
                                                                                                                                                                                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                            GHC.Types.LT ->
                                                                                                                                                                                                                                              (#
                                                                                                                                                                                                                                                cs,
                                                                                                                                                                                                                                                failExp
                                                                                                                                                                                                                                              #)
                                                                                                                                                                                                                                            GHC.Types.EQ ->
                                                                                                                                                                                                                                              (#
                                                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                                                failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                              #)
                                                                                                                                                                                                                                            GHC.Types.GT ->
                                                                                                                                                                                                                                              (#
                                                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                                                farExp
                                                                                                                                                                                                                                              #)
                                                                                                                                                                                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                                  else
                                                                                                                                                                                                    let _ = "checkToken.fail"
                                                                                                                                                                                                     in let failExp =
                                                                                                                                                                                                              Data.Set.Internal.Bin
                                                                                                                                                                                                                1
                                                                                                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                    ( case inputToken of
                                                                                                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\\'
                                                                                                                                                                                                                    )
                                                                                                                                                                                                                )
                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                         in let (#
                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                  farExp
                                                                                                                                                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                    GHC.Types.LT ->
                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                        inp,
                                                                                                                                                                                                                        failExp
                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                    GHC.Types.EQ ->
                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                                        failExp GHC.Base.<> farExp
                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                    GHC.Types.GT ->
                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                                        farExp
                                                                                                                                                                                                                      #)
                                                                                                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                      else
                                                                                                                                                                                        let _ = "checkHorizon.newCheck.fail"
                                                                                                                                                                                         in let failExp =
                                                                                                                                                                                                  Data.Set.Internal.Bin
                                                                                                                                                                                                    1
                                                                                                                                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                        ( case inputToken of
                                                                                                                                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
                                                                                                                                                                                                        )
                                                                                                                                                                                                    )
                                                                                                                                                                                                    Data.Set.Internal.Tip
                                                                                                                                                                                                    Data.Set.Internal.Tip
                                                                                                                                                                                             in let (#
                                                                                                                                                                                                      farInp,
                                                                                                                                                                                                      farExp
                                                                                                                                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                        GHC.Types.LT ->
                                                                                                                                                                                                          (#
                                                                                                                                                                                                            inp,
                                                                                                                                                                                                            failExp
                                                                                                                                                                                                          #)
                                                                                                                                                                                                        GHC.Types.EQ ->
                                                                                                                                                                                                          (#
                                                                                                                                                                                                            farInp,
                                                                                                                                                                                                            failExp GHC.Base.<> farExp
                                                                                                                                                                                                          #)
                                                                                                                                                                                                        GHC.Types.GT ->
                                                                                                                                                                                                          (#
                                                                                                                                                                                                            farInp,
                                                                                                                                                                                                            farExp
                                                                                                                                                                                                          #)
                                                                                                                                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                          else
                                                                                                                                                            let _ = "choicesBranch.else"
                                                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                 in let _ = "pushValue"
                                                                                                                                     in let _ = "comment: satisfy Parsers.Nandlang.nandStringLetter"
                                                                                                                                         in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
                                                                                                                                             in let _ = "checkToken"
                                                                                                                                                 in let !(#
                                                                                                                                                           c,
                                                                                                                                                           cs
                                                                                                                                                           #) = readNext cs
                                                                                                                                                     in if Parsers.Nandlang.nandStringLetter c
                                                                                                                                                          then
                                                                                                                                                            let _ = "lift2Value checkedHorizon=3"
                                                                                                                                                             in name
                                                                                                                                                                  ( let _ = "onReturn"
                                                                                                                                                                     in \farInp farExp v (!inp) ->
                                                                                                                                                                          let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                           in let _ = "commit"
                                                                                                                                                                               in let _ = "resume"
                                                                                                                                                                                   in join
                                                                                                                                                                                        farInp
                                                                                                                                                                                        farExp
                                                                                                                                                                                        ( let _ = "resume.genCode"
                                                                                                                                                                                           in v
                                                                                                                                                                                        )
                                                                                                                                                                                        inp
                                                                                                                                                                  )
                                                                                                                                                                  cs
                                                                                                                                                                  Data.Map.Internal.Tip
                                                                                                                                                          else
                                                                                                                                                            let _ = "checkToken.fail"
                                                                                                                                                             in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                  else
                                                                                                                    let _ = "checkToken.fail"
                                                                                                                     in let failExp =
                                                                                                                              Data.Set.Internal.Bin
                                                                                                                                1
                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                    ( case inputToken of
                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
                                                                                                                                    )
                                                                                                                                )
                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                Data.Set.Internal.Tip
                                                                                                                         in let (#
                                                                                                                                  farInp,
                                                                                                                                  farExp
                                                                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                    GHC.Types.LT ->
                                                                                                                                      (#
                                                                                                                                        inp,
                                                                                                                                        failExp
                                                                                                                                      #)
                                                                                                                                    GHC.Types.EQ ->
                                                                                                                                      (#
                                                                                                                                        farInp,
                                                                                                                                        failExp GHC.Base.<> farExp
                                                                                                                                      #)
                                                                                                                                    GHC.Types.GT ->
                                                                                                                                      (#
                                                                                                                                        farInp,
                                                                                                                                        farExp
                                                                                                                                      #)
                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                      else
                                                                                                        let _ = "checkHorizon.newCheck.fail"
                                                                                                         in let failExp =
                                                                                                                  Data.Set.Internal.Bin
                                                                                                                    1
                                                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                        ( case inputToken of
                                                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
                                                                                                                        )
                                                                                                                    )
                                                                                                                    Data.Set.Internal.Tip
                                                                                                                    Data.Set.Internal.Tip
                                                                                                             in let (#
                                                                                                                      farInp,
                                                                                                                      farExp
                                                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                        GHC.Types.LT ->
                                                                                                                          (#
                                                                                                                            inp,
                                                                                                                            failExp
                                                                                                                          #)
                                                                                                                        GHC.Types.EQ ->
                                                                                                                          (#
                                                                                                                            farInp,
                                                                                                                            failExp GHC.Base.<> farExp
                                                                                                                          #)
                                                                                                                        GHC.Types.GT ->
                                                                                                                          (#
                                                                                                                            farInp,
                                                                                                                            farExp
                                                                                                                          #)
                                                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                  else
                                                                    let _ = "choicesBranch.else"
                                                                     in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                         in let _ = "pushValue"
                                             in let join = \farInp farExp v (!inp) ->
                                                      let _ = "lift2Value checkedHorizon=0"
                                                       in name
                                                            ( let _ = "onReturn"
                                                               in \farInp farExp v (!inp) ->
                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                     in let _ = "commit"
                                                                         in let _ = "resume"
                                                                             in callerOnReturn
                                                                                  farInp
                                                                                  farExp
                                                                                  ( let _ = "resume.genCode"
                                                                                     in v
                                                                                  )
                                                                                  inp
                                                            )
                                                            inp
                                                            (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                 in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                     in let onException =
                                                              let _ = "onException"
                                                               in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                    let _ = "comment: raiseAgainIfConsumed"
                                                                     in let _ = "saveInput checkedHorizon=0"
                                                                         in let _ = "lift2Value checkedHorizon=0"
                                                                             in if ( \( Data.Text.Internal.Text
                                                                                          _
                                                                                          i
                                                                                          _
                                                                                        )
                                                                                      ( Data.Text.Internal.Text
                                                                                          _
                                                                                          j
                                                                                          _
                                                                                        ) -> i GHC.Classes.== j
                                                                                   )
                                                                                  callerInput
                                                                                  failInp
                                                                                  then
                                                                                    let _ = "choicesBranch checkedHorizon=0"
                                                                                     in let _ = "pushValue"
                                                                                         in let _ = "comment: satisfy ((GHC.Classes.==) '1')"
                                                                                             in let inp = failInp
                                                                                                 in let readFail = onException
                                                                                                     in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                                                                         in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                                                                              then
                                                                                                                let _ = "checkToken"
                                                                                                                 in let !(#
                                                                                                                           c,
                                                                                                                           cs
                                                                                                                           #) = readNext inp
                                                                                                                     in if (GHC.Classes.==) '1' c
                                                                                                                          then
                                                                                                                            let _ = "lift2Value checkedHorizon=2"
                                                                                                                             in let _ = "resume"
                                                                                                                                 in join
                                                                                                                                      farInp
                                                                                                                                      farExp
                                                                                                                                      ( let _ = "resume.genCode"
                                                                                                                                         in '1'
                                                                                                                                      )
                                                                                                                                      cs
                                                                                                                          else
                                                                                                                            let _ = "checkToken.fail"
                                                                                                                             in let failExp =
                                                                                                                                      Data.Set.Internal.Bin
                                                                                                                                        1
                                                                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                            ( case inputToken of
                                                                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
                                                                                                                                            )
                                                                                                                                        )
                                                                                                                                        Data.Set.Internal.Tip
                                                                                                                                        Data.Set.Internal.Tip
                                                                                                                                 in let (#
                                                                                                                                          farInp,
                                                                                                                                          farExp
                                                                                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                            GHC.Types.LT ->
                                                                                                                                              (#
                                                                                                                                                inp,
                                                                                                                                                failExp
                                                                                                                                              #)
                                                                                                                                            GHC.Types.EQ ->
                                                                                                                                              (#
                                                                                                                                                farInp,
                                                                                                                                                failExp GHC.Base.<> farExp
                                                                                                                                              #)
                                                                                                                                            GHC.Types.GT ->
                                                                                                                                              (#
                                                                                                                                                farInp,
                                                                                                                                                farExp
                                                                                                                                              #)
                                                                                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                              else
                                                                                                                let _ = "checkHorizon.newCheck.fail"
                                                                                                                 in let failExp =
                                                                                                                          Data.Set.Internal.Bin
                                                                                                                            1
                                                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                ( case inputToken of
                                                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                                                                                )
                                                                                                                            )
                                                                                                                            Data.Set.Internal.Tip
                                                                                                                            Data.Set.Internal.Tip
                                                                                                                     in let (#
                                                                                                                              farInp,
                                                                                                                              farExp
                                                                                                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                GHC.Types.LT ->
                                                                                                                                  (#
                                                                                                                                    inp,
                                                                                                                                    failExp
                                                                                                                                  #)
                                                                                                                                GHC.Types.EQ ->
                                                                                                                                  (#
                                                                                                                                    farInp,
                                                                                                                                    failExp GHC.Base.<> farExp
                                                                                                                                  #)
                                                                                                                                GHC.Types.GT ->
                                                                                                                                  (#
                                                                                                                                    farInp,
                                                                                                                                    farExp
                                                                                                                                  #)
                                                                                                                         in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                  else
                                                                                    let _ = "choicesBranch.else"
                                                                                     in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                         in let _ = "pushValue"
                                                             in let _ = "comment: satisfy ((GHC.Classes.==) '0')"
                                                                 in let inp = callerInput
                                                                     in let readFail = onException
                                                                         in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                                             in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                                                  then
                                                                                    let _ = "checkToken"
                                                                                     in let !(#
                                                                                               c,
                                                                                               cs
                                                                                               #) = readNext inp
                                                                                         in if (GHC.Classes.==) '0' c
                                                                                              then
                                                                                                let _ = "lift2Value checkedHorizon=2"
                                                                                                 in let _ = "commit"
                                                                                                     in let _ = "resume"
                                                                                                         in join
                                                                                                              init
                                                                                                              Data.Set.Internal.empty
                                                                                                              ( let _ = "resume.genCode"
                                                                                                                 in '0'
                                                                                                              )
                                                                                                              cs
                                                                                              else
                                                                                                let _ = "checkToken.fail"
                                                                                                 in let failExp =
                                                                                                          Data.Set.Internal.Bin
                                                                                                            1
                                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                ( case inputToken of
                                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
                                                                                                                )
                                                                                                            )
                                                                                                            Data.Set.Internal.Tip
                                                                                                            Data.Set.Internal.Tip
                                                                                                     in let (#
                                                                                                              farInp,
                                                                                                              farExp
                                                                                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                                                GHC.Types.LT ->
                                                                                                                  (#
                                                                                                                    inp,
                                                                                                                    failExp
                                                                                                                  #)
                                                                                                                GHC.Types.EQ ->
                                                                                                                  (#
                                                                                                                    init,
                                                                                                                    failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                                                  #)
                                                                                                                GHC.Types.GT ->
                                                                                                                  (#
                                                                                                                    init,
                                                                                                                    Data.Set.Internal.empty
                                                                                                                  #)
                                                                                                         in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                  else
                                                                                    let _ = "checkHorizon.newCheck.fail"
                                                                                     in let failExp =
                                                                                              Data.Set.Internal.Bin
                                                                                                1
                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                    ( case inputToken of
                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                                                    )
                                                                                                )
                                                                                                Data.Set.Internal.Tip
                                                                                                Data.Set.Internal.Tip
                                                                                         in let (#
                                                                                                  farInp,
                                                                                                  farExp
                                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                                    GHC.Types.LT ->
                                                                                                      (#
                                                                                                        inp,
                                                                                                        failExp
                                                                                                      #)
                                                                                                    GHC.Types.EQ ->
                                                                                                      (#
                                                                                                        init,
                                                                                                        failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                                      #)
                                                                                                    GHC.Types.GT ->
                                                                                                      (#
                                                                                                        init,
                                                                                                        Data.Set.Internal.empty
                                                                                                      #)
                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "catch ExceptionFailure checkedHorizon=0"
                                     in let onException =
                                              let _ = "onException"
                                               in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                    let _ = "comment: raiseAgainIfConsumed"
                                                     in let _ = "saveInput checkedHorizon=0"
                                                         in let _ = "lift2Value checkedHorizon=0"
                                                             in if ( \( Data.Text.Internal.Text
                                                                          _
                                                                          i
                                                                          _
                                                                        )
                                                                      ( Data.Text.Internal.Text
                                                                          _
                                                                          j
                                                                          _
                                                                        ) -> i GHC.Classes.== j
                                                                   )
                                                                  callerInput
                                                                  failInp
                                                                  then
                                                                    let _ = "choicesBranch checkedHorizon=0"
                                                                     in let _ = "jump"
                                                                         in name callerOnReturn failInp Data.Map.Internal.Tip
                                                                  else
                                                                    let _ = "choicesBranch.else"
                                                                     in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                         in let _ = "pushValue"
                                             in name
                                                  ( let _ = "onReturn"
                                                     in \farInp farExp v (!inp) ->
                                                          let _ = "lift2Value checkedHorizon=0"
                                                           in let _ = "pushValue"
                                                               in do
                                                                    let dupv = \x -> x
                                                                    reg <- GHC.STRef.newSTRef dupv
                                                                    let _ = "iter"
                                                                     in let onException loopInput =
                                                                              let _ = "onException"
                                                                               in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                    let _ = "comment: raiseAgainIfConsumed"
                                                                                     in let _ = "saveInput checkedHorizon=0"
                                                                                         in let _ = "lift2Value checkedHorizon=0"
                                                                                             in if ( \( Data.Text.Internal.Text
                                                                                                          _
                                                                                                          i
                                                                                                          _
                                                                                                        )
                                                                                                      ( Data.Text.Internal.Text
                                                                                                          _
                                                                                                          j
                                                                                                          _
                                                                                                        ) -> i GHC.Classes.== j
                                                                                                   )
                                                                                                  loopInput
                                                                                                  failInp
                                                                                                  then
                                                                                                    let _ = "choicesBranch checkedHorizon=0"
                                                                                                     in do
                                                                                                          sr <- GHC.STRef.readSTRef reg
                                                                                                          name
                                                                                                            ( let _ = "onReturn"
                                                                                                               in \farInp farExp v (!inp) ->
                                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                                     in let _ = "lift2Value checkedHorizon=0"
                                                                                                                         in name
                                                                                                                              ( let _ = "onReturn"
                                                                                                                                 in \farInp farExp v (!inp) ->
                                                                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                                                                       in let _ = "commit"
                                                                                                                                           in let _ = "resume"
                                                                                                                                               in callerOnReturn
                                                                                                                                                    farInp
                                                                                                                                                    farExp
                                                                                                                                                    ( let _ = "resume.genCode"
                                                                                                                                                       in GHC.Tuple . ()
                                                                                                                                                    )
                                                                                                                                                    inp
                                                                                                                              )
                                                                                                                              inp
                                                                                                                              Data.Map.Internal.Tip
                                                                                                            )
                                                                                                            failInp
                                                                                                            Data.Map.Internal.Tip
                                                                                                  else
                                                                                                    let _ = "choicesBranch.else"
                                                                                                     in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                            loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
                                                                              let _ = "pushValue"
                                                                               in name
                                                                                    ( let _ = "onReturn"
                                                                                       in \farInp farExp v (!inp) ->
                                                                                            let _ = "lift2Value checkedHorizon=0"
                                                                                             in name
                                                                                                  ( let _ = "onReturn"
                                                                                                     in \farInp farExp v (!inp) ->
                                                                                                          let _ = "lift2Value checkedHorizon=0"
                                                                                                           in name
                                                                                                                ( let _ = "onReturn"
                                                                                                                   in \farInp farExp v (!inp) ->
                                                                                                                        let _ = "lift2Value checkedHorizon=0"
                                                                                                                         in do
                                                                                                                              sr <- GHC.STRef.readSTRef reg
                                                                                                                              let _ = "lift2Value checkedHorizon=0"
                                                                                                                               in do
                                                                                                                                    let dupv = v v sr
                                                                                                                                    GHC.STRef.writeSTRef reg dupv
                                                                                                                                    let _ = "jump"
                                                                                                                                     in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                )
                                                                                                                inp
                                                                                                                (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                  )
                                                                                                  inp
                                                                                                  (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                    )
                                                                                    callerInput
                                                                                    Data.Map.Internal.Tip
                                                                         in let _ = "jump"
                                                                             in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                  )
                                                  callerInput
                                                  (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "comment: satisfy (\\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))"
                                     in let inp = callerInput
                                         in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
                                             in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
                                                 in if readMore inp
                                                      then
                                                        let _ = "checkToken"
                                                         in let !(#
                                                                   c,
                                                                   cs
                                                                   #) = readNext inp
                                                             in if (\t -> ('0' GHC.Classes.== t) GHC.Classes.|| (('1' GHC.Classes.== t) GHC.Classes.|| (('2' GHC.Classes.== t) GHC.Classes.|| (('3' GHC.Classes.== t) GHC.Classes.|| (('4' GHC.Classes.== t) GHC.Classes.|| (('5' GHC.Classes.== t) GHC.Classes.|| (('6' GHC.Classes.== t) GHC.Classes.|| (('7' GHC.Classes.== t) GHC.Classes.|| (('8' GHC.Classes.== t) GHC.Classes.|| (('9' GHC.Classes.== t) GHC.Classes.|| GHC.Types.False)))))))))) c
                                                                  then
                                                                    let _ = "resume"
                                                                     in callerOnReturn
                                                                          init
                                                                          Data.Set.Internal.empty
                                                                          ( let _ = "resume.genCode"
                                                                             in c
                                                                          )
                                                                          cs
                                                                  else
                                                                    let _ = "checkToken.fail"
                                                                     in let failExp =
                                                                              Data.Set.Internal.Bin
                                                                                10
                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                    ( case inputToken of
                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '3'
                                                                                    )
                                                                                )
                                                                                ( Data.Set.Internal.Bin
                                                                                    3
                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                        ( case inputToken of
                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
                                                                                        )
                                                                                    )
                                                                                    ( Data.Set.Internal.Bin
                                                                                        1
                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                            ( case inputToken of
                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
                                                                                            )
                                                                                        )
                                                                                        Data.Set.Internal.Tip
                                                                                        Data.Set.Internal.Tip
                                                                                    )
                                                                                    ( Data.Set.Internal.Bin
                                                                                        1
                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                            ( case inputToken of
                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '2'
                                                                                            )
                                                                                        )
                                                                                        Data.Set.Internal.Tip
                                                                                        Data.Set.Internal.Tip
                                                                                    )
                                                                                )
                                                                                ( Data.Set.Internal.Bin
                                                                                    6
                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                        ( case inputToken of
                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '7'
                                                                                        )
                                                                                    )
                                                                                    ( Data.Set.Internal.Bin
                                                                                        3
                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                            ( case inputToken of
                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '5'
                                                                                            )
                                                                                        )
                                                                                        ( Data.Set.Internal.Bin
                                                                                            1
                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                ( case inputToken of
                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '4'
                                                                                                )
                                                                                            )
                                                                                            Data.Set.Internal.Tip
                                                                                            Data.Set.Internal.Tip
                                                                                        )
                                                                                        ( Data.Set.Internal.Bin
                                                                                            1
                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                ( case inputToken of
                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '6'
                                                                                                )
                                                                                            )
                                                                                            Data.Set.Internal.Tip
                                                                                            Data.Set.Internal.Tip
                                                                                        )
                                                                                    )
                                                                                    ( Data.Set.Internal.Bin
                                                                                        2
                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                            ( case inputToken of
                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '8'
                                                                                            )
                                                                                        )
                                                                                        Data.Set.Internal.Tip
                                                                                        ( Data.Set.Internal.Bin
                                                                                            1
                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                ( case inputToken of
                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '9'
                                                                                                )
                                                                                            )
                                                                                            Data.Set.Internal.Tip
                                                                                            Data.Set.Internal.Tip
                                                                                        )
                                                                                    )
                                                                                )
                                                                         in let (#
                                                                                  farInp,
                                                                                  farExp
                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                    GHC.Types.LT ->
                                                                                      (#
                                                                                        inp,
                                                                                        failExp
                                                                                      #)
                                                                                    GHC.Types.EQ ->
                                                                                      (#
                                                                                        init,
                                                                                        failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                      #)
                                                                                    GHC.Types.GT ->
                                                                                      (#
                                                                                        init,
                                                                                        Data.Set.Internal.empty
                                                                                      #)
                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                      else
                                                        let _ = "checkHorizon.newCheck.fail"
                                                         in let failExp =
                                                                  Data.Set.Internal.Bin
                                                                    1
                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                        ( case inputToken of
                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
                                                                        )
                                                                    )
                                                                    Data.Set.Internal.Tip
                                                                    Data.Set.Internal.Tip
                                                             in let (#
                                                                      farInp,
                                                                      farExp
                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                        GHC.Types.LT ->
                                                                          (#
                                                                            inp,
                                                                            failExp
                                                                          #)
                                                                        GHC.Types.EQ ->
                                                                          (#
                                                                            init,
                                                                            failExp GHC.Base.<> Data.Set.Internal.empty
                                                                          #)
                                                                        GHC.Types.GT ->
                                                                          (#
                                                                            init,
                                                                            Data.Set.Internal.empty
                                                                          #)
                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in name
                                          ( let _ = "onReturn"
                                             in \farInp farExp v (!inp) ->
                                                  let _ = "lift2Value checkedHorizon=0"
                                                   in let join = \farInp farExp v (!inp) ->
                                                            let _ = "lift2Value checkedHorizon=0"
                                                             in let _ = "resume"
                                                                 in callerOnReturn
                                                                      farInp
                                                                      farExp
                                                                      ( let _ = "resume.genCode"
                                                                         in v
                                                                      )
                                                                      inp
                                                       in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                           in let onException =
                                                                    let _ = "onException"
                                                                     in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                          let _ = "comment: raiseAgainIfConsumed"
                                                                           in let _ = "saveInput checkedHorizon=0"
                                                                               in let _ = "lift2Value checkedHorizon=0"
                                                                                   in if ( \( Data.Text.Internal.Text
                                                                                                _
                                                                                                i
                                                                                                _
                                                                                              )
                                                                                            ( Data.Text.Internal.Text
                                                                                                _
                                                                                                j
                                                                                                _
                                                                                              ) -> i GHC.Classes.== j
                                                                                         )
                                                                                        inp
                                                                                        failInp
                                                                                        then
                                                                                          let _ = "choicesBranch checkedHorizon=0"
                                                                                           in name
                                                                                                ( let _ = "onReturn"
                                                                                                   in \farInp farExp v (!inp) ->
                                                                                                        let _ = "resume"
                                                                                                         in join
                                                                                                              farInp
                                                                                                              farExp
                                                                                                              ( let _ = "resume.genCode"
                                                                                                                 in v
                                                                                                              )
                                                                                                              inp
                                                                                                )
                                                                                                failInp
                                                                                                Data.Map.Internal.Tip
                                                                                        else
                                                                                          let _ = "choicesBranch.else"
                                                                                           in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                               in let _ = "pushValue"
                                                                   in name
                                                                        ( let _ = "onReturn"
                                                                           in \farInp farExp v (!inp) ->
                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                 in let _ = "commit"
                                                                                     in let _ = "resume"
                                                                                         in join
                                                                                              farInp
                                                                                              farExp
                                                                                              ( let _ = "resume.genCode"
                                                                                                 in GHC.Tuple . ()
                                                                                              )
                                                                                              inp
                                                                        )
                                                                        inp
                                                                        (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                          )
                                          callerInput
                                          (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in name
                                          ( let _ = "onReturn"
                                             in \farInp farExp v (!inp) ->
                                                  let _ = "lift2Value checkedHorizon=0"
                                                   in let _ = "pushValue"
                                                       in do
                                                            let dupv = \x -> x
                                                            reg <- GHC.STRef.newSTRef dupv
                                                            let _ = "iter"
                                                             in let onException loopInput =
                                                                      let _ = "onException"
                                                                       in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                            let _ = "comment: raiseAgainIfConsumed"
                                                                             in let _ = "saveInput checkedHorizon=0"
                                                                                 in let _ = "lift2Value checkedHorizon=0"
                                                                                     in if ( \( Data.Text.Internal.Text
                                                                                                  _
                                                                                                  i
                                                                                                  _
                                                                                                )
                                                                                              ( Data.Text.Internal.Text
                                                                                                  _
                                                                                                  j
                                                                                                  _
                                                                                                ) -> i GHC.Classes.== j
                                                                                           )
                                                                                          loopInput
                                                                                          failInp
                                                                                          then
                                                                                            let _ = "choicesBranch checkedHorizon=0"
                                                                                             in do
                                                                                                  sr <- GHC.STRef.readSTRef reg
                                                                                                  name
                                                                                                    ( let _ = "onReturn"
                                                                                                       in \farInp farExp v (!inp) ->
                                                                                                            let _ = "lift2Value checkedHorizon=0"
                                                                                                             in let _ = "lift2Value checkedHorizon=0"
                                                                                                                 in name
                                                                                                                      ( let _ = "onReturn"
                                                                                                                         in \farInp farExp v (!inp) ->
                                                                                                                              let _ = "lift2Value checkedHorizon=0"
                                                                                                                               in let _ = "resume"
                                                                                                                                   in callerOnReturn
                                                                                                                                        farInp
                                                                                                                                        farExp
                                                                                                                                        ( let _ = "resume.genCode"
                                                                                                                                           in v
                                                                                                                                        )
                                                                                                                                        inp
                                                                                                                      )
                                                                                                                      inp
                                                                                                                      Data.Map.Internal.Tip
                                                                                                    )
                                                                                                    failInp
                                                                                                    Data.Map.Internal.Tip
                                                                                          else
                                                                                            let _ = "choicesBranch.else"
                                                                                             in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                    loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
                                                                      let _ = "pushValue"
                                                                       in let _ = "comment: satisfy ((GHC.Classes.==) '!')"
                                                                           in let inp = callerInput
                                                                               in let readFail = onException callerInput
                                                                                   in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
                                                                                       in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 inp)
                                                                                            then
                                                                                              let _ = "checkToken"
                                                                                               in let !(#
                                                                                                         c,
                                                                                                         cs
                                                                                                         #) = readNext inp
                                                                                                   in if (GHC.Classes.==) '!' c
                                                                                                        then
                                                                                                          let _ = "lift2Value checkedHorizon=4"
                                                                                                           in name
                                                                                                                ( let _ = "onReturn"
                                                                                                                   in \farInp farExp v (!inp) ->
                                                                                                                        let _ = "lift2Value checkedHorizon=0"
                                                                                                                         in name
                                                                                                                              ( let _ = "onReturn"
                                                                                                                                 in \farInp farExp v (!inp) ->
                                                                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                                                                       in do
                                                                                                                                            sr <- GHC.STRef.readSTRef reg
                                                                                                                                            let _ = "lift2Value checkedHorizon=0"
                                                                                                                                             in do
                                                                                                                                                  let dupv = sr
                                                                                                                                                  GHC.STRef.writeSTRef reg dupv
                                                                                                                                                  let _ = "jump"
                                                                                                                                                   in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                              )
                                                                                                                              inp
                                                                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                )
                                                                                                                cs
                                                                                                                (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                        else
                                                                                                          let _ = "checkToken.fail"
                                                                                                           in let failExp =
                                                                                                                    Data.Set.Internal.Bin
                                                                                                                      1
                                                                                                                      ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                          ( case inputToken of
                                                                                                                              (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '!'
                                                                                                                          )
                                                                                                                      )
                                                                                                                      Data.Set.Internal.Tip
                                                                                                                      Data.Set.Internal.Tip
                                                                                                               in let (#
                                                                                                                        farInp,
                                                                                                                        farExp
                                                                                                                        #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                          GHC.Types.LT ->
                                                                                                                            (#
                                                                                                                              inp,
                                                                                                                              failExp
                                                                                                                            #)
                                                                                                                          GHC.Types.EQ ->
                                                                                                                            (#
                                                                                                                              farInp,
                                                                                                                              failExp GHC.Base.<> farExp
                                                                                                                            #)
                                                                                                                          GHC.Types.GT ->
                                                                                                                            (#
                                                                                                                              farInp,
                                                                                                                              farExp
                                                                                                                            #)
                                                                                                                   in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                            else
                                                                                              let _ = "checkHorizon.newCheck.fail"
                                                                                               in let failExp =
                                                                                                        Data.Set.Internal.Bin
                                                                                                          1
                                                                                                          ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                              ( case inputToken of
                                                                                                                  (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
                                                                                                              )
                                                                                                          )
                                                                                                          Data.Set.Internal.Tip
                                                                                                          Data.Set.Internal.Tip
                                                                                                   in let (#
                                                                                                            farInp,
                                                                                                            farExp
                                                                                                            #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                              GHC.Types.LT ->
                                                                                                                (#
                                                                                                                  inp,
                                                                                                                  failExp
                                                                                                                #)
                                                                                                              GHC.Types.EQ ->
                                                                                                                (#
                                                                                                                  farInp,
                                                                                                                  failExp GHC.Base.<> farExp
                                                                                                                #)
                                                                                                              GHC.Types.GT ->
                                                                                                                (#
                                                                                                                  farInp,
                                                                                                                  farExp
                                                                                                                #)
                                                                                                       in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                 in let _ = "jump"
                                                                     in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                          )
                                          callerInput
                                          (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in name
                                          ( let _ = "onReturn"
                                             in \farInp farExp v (!inp) ->
                                                  let _ = "lift2Value checkedHorizon=0"
                                                   in let _ = "pushValue"
                                                       in do
                                                            let dupv = \x -> x
                                                            reg <- GHC.STRef.newSTRef dupv
                                                            let _ = "iter"
                                                             in let onException loopInput =
                                                                      let _ = "onException"
                                                                       in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                            let _ = "comment: raiseAgainIfConsumed"
                                                                             in let _ = "saveInput checkedHorizon=0"
                                                                                 in let _ = "lift2Value checkedHorizon=0"
                                                                                     in if ( \( Data.Text.Internal.Text
                                                                                                  _
                                                                                                  i
                                                                                                  _
                                                                                                )
                                                                                              ( Data.Text.Internal.Text
                                                                                                  _
                                                                                                  j
                                                                                                  _
                                                                                                ) -> i GHC.Classes.== j
                                                                                           )
                                                                                          loopInput
                                                                                          failInp
                                                                                          then
                                                                                            let _ = "choicesBranch checkedHorizon=0"
                                                                                             in do
                                                                                                  sr <- GHC.STRef.readSTRef reg
                                                                                                  let _ = "pushValue"
                                                                                                   in let _ = "lift2Value checkedHorizon=0"
                                                                                                       in let _ = "lift2Value checkedHorizon=0"
                                                                                                           in let _ = "resume"
                                                                                                               in callerOnReturn
                                                                                                                    farInp
                                                                                                                    farExp
                                                                                                                    ( let _ = "resume.genCode"
                                                                                                                       in GHC.Tuple . ()
                                                                                                                    )
                                                                                                                    failInp
                                                                                          else
                                                                                            let _ = "choicesBranch.else"
                                                                                             in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                    loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
                                                                      let _ = "pushValue"
                                                                       in name
                                                                            ( let _ = "onReturn"
                                                                               in \farInp farExp v (!inp) ->
                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                     in do
                                                                                          sr <- GHC.STRef.readSTRef reg
                                                                                          let _ = "lift2Value checkedHorizon=0"
                                                                                           in do
                                                                                                let dupv = sr
                                                                                                GHC.STRef.writeSTRef reg dupv
                                                                                                let _ = "jump"
                                                                                                 in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                            )
                                                                            callerInput
                                                                            (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                 in let _ = "jump"
                                                                     in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                          )
                                          callerInput
                                          (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "catch ExceptionFailure checkedHorizon=0"
                                         in let onException =
                                                  let _ = "onException"
                                                   in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                        let _ = "loadInput checkedHorizon=0"
                                                         in let _ = "checkHorizon.noCheck"
                                                             in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp
                                             in let _ = "pushValue"
                                                 in let _ = "comment: satisfy Parsers.Nandlang.nandIdentStart"
                                                     in let inp = callerInput
                                                         in let readFail = onException
                                                             in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                                 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                                      then
                                                                        let _ = "checkToken"
                                                                         in let !(#
                                                                                   c,
                                                                                   cs
                                                                                   #) = readNext inp
                                                                             in if Parsers.Nandlang.nandIdentStart c
                                                                                  then
                                                                                    let _ = "lift2Value checkedHorizon=2"
                                                                                     in let _ = "pushValue"
                                                                                         in do
                                                                                              let dupv = \x -> x
                                                                                              reg <- GHC.STRef.newSTRef dupv
                                                                                              let _ = "iter"
                                                                                               in let onException loopInput =
                                                                                                        let _ = "onException"
                                                                                                         in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                              let _ = "comment: raiseAgainIfConsumed"
                                                                                                               in let _ = "saveInput checkedHorizon=0"
                                                                                                                   in let _ = "lift2Value checkedHorizon=0"
                                                                                                                       in if ( \( Data.Text.Internal.Text
                                                                                                                                    _
                                                                                                                                    i
                                                                                                                                    _
                                                                                                                                  )
                                                                                                                                ( Data.Text.Internal.Text
                                                                                                                                    _
                                                                                                                                    j
                                                                                                                                    _
                                                                                                                                  ) -> i GHC.Classes.== j
                                                                                                                             )
                                                                                                                            loopInput
                                                                                                                            failInp
                                                                                                                            then
                                                                                                                              let _ = "choicesBranch checkedHorizon=0"
                                                                                                                               in do
                                                                                                                                    sr <- GHC.STRef.readSTRef reg
                                                                                                                                    name
                                                                                                                                      ( let _ = "onReturn"
                                                                                                                                         in \farInp farExp v (!inp) ->
                                                                                                                                              let _ = "lift2Value checkedHorizon=0"
                                                                                                                                               in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                   in name
                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                 in let _ = "commit"
                                                                                                                                                                     in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                         in name
                                                                                                                                                                              ( let _ = "onReturn"
                                                                                                                                                                                 in \farInp farExp v (!inp) ->
                                                                                                                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                       in let _ = "resume"
                                                                                                                                                                                           in callerOnReturn
                                                                                                                                                                                                farInp
                                                                                                                                                                                                farExp
                                                                                                                                                                                                ( let _ = "resume.genCode"
                                                                                                                                                                                                   in v
                                                                                                                                                                                                )
                                                                                                                                                                                                inp
                                                                                                                                                                              )
                                                                                                                                                                              inp
                                                                                                                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                        )
                                                                                                                                                        inp
                                                                                                                                                        Data.Map.Internal.Tip
                                                                                                                                      )
                                                                                                                                      failInp
                                                                                                                                      Data.Map.Internal.Tip
                                                                                                                            else
                                                                                                                              let _ = "choicesBranch.else"
                                                                                                                               in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                      loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
                                                                                                        let _ = "pushValue"
                                                                                                         in let _ = "comment: satisfy Parsers.Nandlang.nandIdentLetter"
                                                                                                             in let inp = callerInput
                                                                                                                 in let readFail = onException callerInput
                                                                                                                     in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
                                                                                                                         in if readMore inp
                                                                                                                              then
                                                                                                                                let _ = "checkToken"
                                                                                                                                 in let !(#
                                                                                                                                           c,
                                                                                                                                           cs
                                                                                                                                           #) = readNext inp
                                                                                                                                     in if Parsers.Nandlang.nandIdentLetter c
                                                                                                                                          then
                                                                                                                                            let _ = "lift2Value checkedHorizon=1"
                                                                                                                                             in do
                                                                                                                                                  sr <- GHC.STRef.readSTRef reg
                                                                                                                                                  let _ = "lift2Value checkedHorizon=1"
                                                                                                                                                   in do
                                                                                                                                                        let dupv = sr
                                                                                                                                                        GHC.STRef.writeSTRef reg dupv
                                                                                                                                                        let _ = "jump"
                                                                                                                                                         in loop (GHC.Err.error "invalid return") cs (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                          else
                                                                                                                                            let _ = "checkToken.fail"
                                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
                                                                                                                              else
                                                                                                                                let _ = "checkHorizon.newCheck.fail"
                                                                                                                                 in let failExp =
                                                                                                                                          Data.Set.Internal.Bin
                                                                                                                                            1
                                                                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                ( case inputToken of
                                                                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
                                                                                                                                                )
                                                                                                                                            )
                                                                                                                                            Data.Set.Internal.Tip
                                                                                                                                            Data.Set.Internal.Tip
                                                                                                                                     in let (#
                                                                                                                                              farInp,
                                                                                                                                              farExp
                                                                                                                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                                                                                GHC.Types.LT ->
                                                                                                                                                  (#
                                                                                                                                                    inp,
                                                                                                                                                    failExp
                                                                                                                                                  #)
                                                                                                                                                GHC.Types.EQ ->
                                                                                                                                                  (#
                                                                                                                                                    init,
                                                                                                                                                    failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                                                                                  #)
                                                                                                                                                GHC.Types.GT ->
                                                                                                                                                  (#
                                                                                                                                                    init,
                                                                                                                                                    Data.Set.Internal.empty
                                                                                                                                                  #)
                                                                                                                                         in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                   in let _ = "jump"
                                                                                                       in loop callerOnReturn cs (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                  else
                                                                                    let _ = "checkToken.fail"
                                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
                                                                      else
                                                                        let _ = "checkHorizon.newCheck.fail"
                                                                         in let failExp =
                                                                                  Data.Set.Internal.Bin
                                                                                    1
                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                        ( case inputToken of
                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                                        )
                                                                                    )
                                                                                    Data.Set.Internal.Tip
                                                                                    Data.Set.Internal.Tip
                                                                             in let (#
                                                                                      farInp,
                                                                                      farExp
                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                        GHC.Types.LT ->
                                                                                          (#
                                                                                            inp,
                                                                                            failExp
                                                                                          #)
                                                                                        GHC.Types.EQ ->
                                                                                          (#
                                                                                            init,
                                                                                            failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                          #)
                                                                                        GHC.Types.GT ->
                                                                                          (#
                                                                                            init,
                                                                                            Data.Set.Internal.empty
                                                                                          #)
                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "comment: satisfy ((GHC.Classes.==) '(')"
                                         in let inp = callerInput
                                             in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
                                                 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                     in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                          then
                                                            let _ = "checkToken"
                                                             in let !(#
                                                                       c,
                                                                       cs
                                                                       #) = readNext inp
                                                                 in if (GHC.Classes.==) '(' c
                                                                      then
                                                                        let _ = "lift2Value checkedHorizon=2"
                                                                         in name
                                                                              ( let _ = "onReturn"
                                                                                 in \farInp farExp v (!inp) ->
                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                       in let _ = "resume"
                                                                                           in callerOnReturn
                                                                                                farInp
                                                                                                farExp
                                                                                                ( let _ = "resume.genCode"
                                                                                                   in '('
                                                                                                )
                                                                                                inp
                                                                              )
                                                                              cs
                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                      else
                                                                        let _ = "checkToken.fail"
                                                                         in let failExp =
                                                                                  Data.Set.Internal.Bin
                                                                                    1
                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                        ( case inputToken of
                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '('
                                                                                        )
                                                                                    )
                                                                                    Data.Set.Internal.Tip
                                                                                    Data.Set.Internal.Tip
                                                                             in let (#
                                                                                      farInp,
                                                                                      farExp
                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                        GHC.Types.LT ->
                                                                                          (#
                                                                                            inp,
                                                                                            failExp
                                                                                          #)
                                                                                        GHC.Types.EQ ->
                                                                                          (#
                                                                                            init,
                                                                                            failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                          #)
                                                                                        GHC.Types.GT ->
                                                                                          (#
                                                                                            init,
                                                                                            Data.Set.Internal.empty
                                                                                          #)
                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                          else
                                                            let _ = "checkHorizon.newCheck.fail"
                                                             in let failExp =
                                                                      Data.Set.Internal.Bin
                                                                        1
                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                            ( case inputToken of
                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                            )
                                                                        )
                                                                        Data.Set.Internal.Tip
                                                                        Data.Set.Internal.Tip
                                                                 in let (#
                                                                          farInp,
                                                                          farExp
                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                            GHC.Types.LT ->
                                                                              (#
                                                                                inp,
                                                                                failExp
                                                                              #)
                                                                            GHC.Types.EQ ->
                                                                              (#
                                                                                init,
                                                                                failExp GHC.Base.<> Data.Set.Internal.empty
                                                                              #)
                                                                            GHC.Types.GT ->
                                                                              (#
                                                                                init,
                                                                                Data.Set.Internal.empty
                                                                              #)
                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "comment: satisfy ((GHC.Classes.==) ')')"
                                         in let inp = callerInput
                                             in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
                                                 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                     in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                          then
                                                            let _ = "checkToken"
                                                             in let !(#
                                                                       c,
                                                                       cs
                                                                       #) = readNext inp
                                                                 in if (GHC.Classes.==) ')' c
                                                                      then
                                                                        let _ = "lift2Value checkedHorizon=2"
                                                                         in name
                                                                              ( let _ = "onReturn"
                                                                                 in \farInp farExp v (!inp) ->
                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                       in let _ = "resume"
                                                                                           in callerOnReturn
                                                                                                farInp
                                                                                                farExp
                                                                                                ( let _ = "resume.genCode"
                                                                                                   in ')'
                                                                                                )
                                                                                                inp
                                                                              )
                                                                              cs
                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                      else
                                                                        let _ = "checkToken.fail"
                                                                         in let failExp =
                                                                                  Data.Set.Internal.Bin
                                                                                    1
                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                        ( case inputToken of
                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ')'
                                                                                        )
                                                                                    )
                                                                                    Data.Set.Internal.Tip
                                                                                    Data.Set.Internal.Tip
                                                                             in let (#
                                                                                      farInp,
                                                                                      farExp
                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                        GHC.Types.LT ->
                                                                                          (#
                                                                                            inp,
                                                                                            failExp
                                                                                          #)
                                                                                        GHC.Types.EQ ->
                                                                                          (#
                                                                                            init,
                                                                                            failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                          #)
                                                                                        GHC.Types.GT ->
                                                                                          (#
                                                                                            init,
                                                                                            Data.Set.Internal.empty
                                                                                          #)
                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                          else
                                                            let _ = "checkHorizon.newCheck.fail"
                                                             in let failExp =
                                                                      Data.Set.Internal.Bin
                                                                        1
                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                            ( case inputToken of
                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                            )
                                                                        )
                                                                        Data.Set.Internal.Tip
                                                                        Data.Set.Internal.Tip
                                                                 in let (#
                                                                          farInp,
                                                                          farExp
                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                            GHC.Types.LT ->
                                                                              (#
                                                                                inp,
                                                                                failExp
                                                                              #)
                                                                            GHC.Types.EQ ->
                                                                              (#
                                                                                init,
                                                                                failExp GHC.Base.<> Data.Set.Internal.empty
                                                                              #)
                                                                            GHC.Types.GT ->
                                                                              (#
                                                                                init,
                                                                                Data.Set.Internal.empty
                                                                              #)
                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "comment: satisfy ((GHC.Classes.==) ',')"
                                         in let inp = callerInput
                                             in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
                                                 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                     in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                          then
                                                            let _ = "checkToken"
                                                             in let !(#
                                                                       c,
                                                                       cs
                                                                       #) = readNext inp
                                                                 in if (GHC.Classes.==) ',' c
                                                                      then
                                                                        let _ = "lift2Value checkedHorizon=2"
                                                                         in name
                                                                              ( let _ = "onReturn"
                                                                                 in \farInp farExp v (!inp) ->
                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                       in let _ = "resume"
                                                                                           in callerOnReturn
                                                                                                farInp
                                                                                                farExp
                                                                                                ( let _ = "resume.genCode"
                                                                                                   in ','
                                                                                                )
                                                                                                inp
                                                                              )
                                                                              cs
                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                      else
                                                                        let _ = "checkToken.fail"
                                                                         in let failExp =
                                                                                  Data.Set.Internal.Bin
                                                                                    1
                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                        ( case inputToken of
                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ','
                                                                                        )
                                                                                    )
                                                                                    Data.Set.Internal.Tip
                                                                                    Data.Set.Internal.Tip
                                                                             in let (#
                                                                                      farInp,
                                                                                      farExp
                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                        GHC.Types.LT ->
                                                                                          (#
                                                                                            inp,
                                                                                            failExp
                                                                                          #)
                                                                                        GHC.Types.EQ ->
                                                                                          (#
                                                                                            init,
                                                                                            failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                          #)
                                                                                        GHC.Types.GT ->
                                                                                          (#
                                                                                            init,
                                                                                            Data.Set.Internal.empty
                                                                                          #)
                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                          else
                                                            let _ = "checkHorizon.newCheck.fail"
                                                             in let failExp =
                                                                      Data.Set.Internal.Bin
                                                                        1
                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                            ( case inputToken of
                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                            )
                                                                        )
                                                                        Data.Set.Internal.Tip
                                                                        Data.Set.Internal.Tip
                                                                 in let (#
                                                                          farInp,
                                                                          farExp
                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                            GHC.Types.LT ->
                                                                              (#
                                                                                inp,
                                                                                failExp
                                                                              #)
                                                                            GHC.Types.EQ ->
                                                                              (#
                                                                                init,
                                                                                failExp GHC.Base.<> Data.Set.Internal.empty
                                                                              #)
                                                                            GHC.Types.GT ->
                                                                              (#
                                                                                init,
                                                                                Data.Set.Internal.empty
                                                                              #)
                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "comment: satisfy ((GHC.Classes.==) ';')"
                                         in let inp = callerInput
                                             in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
                                                 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                     in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                          then
                                                            let _ = "checkToken"
                                                             in let !(#
                                                                       c,
                                                                       cs
                                                                       #) = readNext inp
                                                                 in if (GHC.Classes.==) ';' c
                                                                      then
                                                                        let _ = "lift2Value checkedHorizon=2"
                                                                         in name
                                                                              ( let _ = "onReturn"
                                                                                 in \farInp farExp v (!inp) ->
                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                       in let _ = "resume"
                                                                                           in callerOnReturn
                                                                                                farInp
                                                                                                farExp
                                                                                                ( let _ = "resume.genCode"
                                                                                                   in ';'
                                                                                                )
                                                                                                inp
                                                                              )
                                                                              cs
                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                      else
                                                                        let _ = "checkToken.fail"
                                                                         in let failExp =
                                                                                  Data.Set.Internal.Bin
                                                                                    1
                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                        ( case inputToken of
                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ';'
                                                                                        )
                                                                                    )
                                                                                    Data.Set.Internal.Tip
                                                                                    Data.Set.Internal.Tip
                                                                             in let (#
                                                                                      farInp,
                                                                                      farExp
                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                        GHC.Types.LT ->
                                                                                          (#
                                                                                            inp,
                                                                                            failExp
                                                                                          #)
                                                                                        GHC.Types.EQ ->
                                                                                          (#
                                                                                            init,
                                                                                            failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                          #)
                                                                                        GHC.Types.GT ->
                                                                                          (#
                                                                                            init,
                                                                                            Data.Set.Internal.empty
                                                                                          #)
                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                          else
                                                            let _ = "checkHorizon.newCheck.fail"
                                                             in let failExp =
                                                                      Data.Set.Internal.Bin
                                                                        1
                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                            ( case inputToken of
                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                            )
                                                                        )
                                                                        Data.Set.Internal.Tip
                                                                        Data.Set.Internal.Tip
                                                                 in let (#
                                                                          farInp,
                                                                          farExp
                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                            GHC.Types.LT ->
                                                                              (#
                                                                                inp,
                                                                                failExp
                                                                              #)
                                                                            GHC.Types.EQ ->
                                                                              (#
                                                                                init,
                                                                                failExp GHC.Base.<> Data.Set.Internal.empty
                                                                              #)
                                                                            GHC.Types.GT ->
                                                                              (#
                                                                                init,
                                                                                Data.Set.Internal.empty
                                                                              #)
                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "comment: satisfy ((GHC.Classes.==) '[')"
                                         in let inp = callerInput
                                             in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
                                                 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=5"
                                                     in if readMore (Symantic.Parser.Machine.Input.shiftRightText 4 inp)
                                                          then
                                                            let _ = "checkToken"
                                                             in let !(#
                                                                       c,
                                                                       cs
                                                                       #) = readNext inp
                                                                 in if (GHC.Classes.==) '[' c
                                                                      then
                                                                        let _ = "lift2Value checkedHorizon=5"
                                                                         in name
                                                                              ( let _ = "onReturn"
                                                                                 in \farInp farExp v (!inp) ->
                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                       in name
                                                                                            ( let _ = "onReturn"
                                                                                               in \farInp farExp v (!inp) ->
                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                     in let _ = "pushValue"
                                                                                                         in do
                                                                                                              let dupv = \x -> x
                                                                                                              reg <- GHC.STRef.newSTRef dupv
                                                                                                              let _ = "iter"
                                                                                                               in let onException loopInput =
                                                                                                                        let _ = "onException"
                                                                                                                         in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                              let _ = "comment: raiseAgainIfConsumed"
                                                                                                                               in let _ = "saveInput checkedHorizon=0"
                                                                                                                                   in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                       in if ( \( Data.Text.Internal.Text
                                                                                                                                                    _
                                                                                                                                                    i
                                                                                                                                                    _
                                                                                                                                                  )
                                                                                                                                                ( Data.Text.Internal.Text
                                                                                                                                                    _
                                                                                                                                                    j
                                                                                                                                                    _
                                                                                                                                                  ) -> i GHC.Classes.== j
                                                                                                                                             )
                                                                                                                                            loopInput
                                                                                                                                            failInp
                                                                                                                                            then
                                                                                                                                              let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                               in do
                                                                                                                                                    sr <- GHC.STRef.readSTRef reg
                                                                                                                                                    let _ = "pushValue"
                                                                                                                                                     in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                         in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                             in let _ = "comment: satisfy ((GHC.Classes.==) ']')"
                                                                                                                                                                 in let inp = failInp
                                                                                                                                                                     in let readFail = readFail
                                                                                                                                                                         in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                                                                                                                                             in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                                                                                                                                                  then
                                                                                                                                                                                    let _ = "checkToken"
                                                                                                                                                                                     in let !(#
                                                                                                                                                                                               c,
                                                                                                                                                                                               cs
                                                                                                                                                                                               #) = readNext inp
                                                                                                                                                                                         in if (GHC.Classes.==) ']' c
                                                                                                                                                                                              then
                                                                                                                                                                                                let _ = "lift2Value checkedHorizon=2"
                                                                                                                                                                                                 in name
                                                                                                                                                                                                      ( let _ = "onReturn"
                                                                                                                                                                                                         in \farInp farExp v (!inp) ->
                                                                                                                                                                                                              let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                               in let _ = "resume"
                                                                                                                                                                                                                   in callerOnReturn
                                                                                                                                                                                                                        farInp
                                                                                                                                                                                                                        farExp
                                                                                                                                                                                                                        ( let _ = "resume.genCode"
                                                                                                                                                                                                                           in GHC.Tuple . ()
                                                                                                                                                                                                                        )
                                                                                                                                                                                                                        inp
                                                                                                                                                                                                      )
                                                                                                                                                                                                      cs
                                                                                                                                                                                                      (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                              else
                                                                                                                                                                                                let _ = "checkToken.fail"
                                                                                                                                                                                                 in let failExp =
                                                                                                                                                                                                          Data.Set.Internal.Bin
                                                                                                                                                                                                            1
                                                                                                                                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                ( case inputToken of
                                                                                                                                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ']'
                                                                                                                                                                                                                )
                                                                                                                                                                                                            )
                                                                                                                                                                                                            Data.Set.Internal.Tip
                                                                                                                                                                                                            Data.Set.Internal.Tip
                                                                                                                                                                                                     in let (#
                                                                                                                                                                                                              farInp,
                                                                                                                                                                                                              farExp
                                                                                                                                                                                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                GHC.Types.LT ->
                                                                                                                                                                                                                  (#
                                                                                                                                                                                                                    inp,
                                                                                                                                                                                                                    failExp
                                                                                                                                                                                                                  #)
                                                                                                                                                                                                                GHC.Types.EQ ->
                                                                                                                                                                                                                  (#
                                                                                                                                                                                                                    farInp,
                                                                                                                                                                                                                    failExp GHC.Base.<> farExp
                                                                                                                                                                                                                  #)
                                                                                                                                                                                                                GHC.Types.GT ->
                                                                                                                                                                                                                  (#
                                                                                                                                                                                                                    farInp,
                                                                                                                                                                                                                    farExp
                                                                                                                                                                                                                  #)
                                                                                                                                                                                                         in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                  else
                                                                                                                                                                                    let _ = "checkHorizon.newCheck.fail"
                                                                                                                                                                                     in let failExp =
                                                                                                                                                                                              Data.Set.Internal.Bin
                                                                                                                                                                                                1
                                                                                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                    ( case inputToken of
                                                                                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                                                                                                                                                    )
                                                                                                                                                                                                )
                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                         in let (#
                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                  farExp
                                                                                                                                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                    GHC.Types.LT ->
                                                                                                                                                                                                      (#
                                                                                                                                                                                                        inp,
                                                                                                                                                                                                        failExp
                                                                                                                                                                                                      #)
                                                                                                                                                                                                    GHC.Types.EQ ->
                                                                                                                                                                                                      (#
                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                        failExp GHC.Base.<> farExp
                                                                                                                                                                                                      #)
                                                                                                                                                                                                    GHC.Types.GT ->
                                                                                                                                                                                                      (#
                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                        farExp
                                                                                                                                                                                                      #)
                                                                                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                            else
                                                                                                                                              let _ = "choicesBranch.else"
                                                                                                                                               in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                      loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
                                                                                                                        let _ = "pushValue"
                                                                                                                         in name
                                                                                                                              ( let _ = "onReturn"
                                                                                                                                 in \farInp farExp v (!inp) ->
                                                                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                                                                       in do
                                                                                                                                            sr <- GHC.STRef.readSTRef reg
                                                                                                                                            let _ = "lift2Value checkedHorizon=0"
                                                                                                                                             in do
                                                                                                                                                  let dupv = sr
                                                                                                                                                  GHC.STRef.writeSTRef reg dupv
                                                                                                                                                  let _ = "jump"
                                                                                                                                                   in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                              )
                                                                                                                              callerInput
                                                                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                   in let _ = "jump"
                                                                                                                       in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                            )
                                                                                            inp
                                                                                            (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                              )
                                                                              cs
                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                      else
                                                                        let _ = "checkToken.fail"
                                                                         in let failExp =
                                                                                  Data.Set.Internal.Bin
                                                                                    1
                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                        ( case inputToken of
                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '['
                                                                                        )
                                                                                    )
                                                                                    Data.Set.Internal.Tip
                                                                                    Data.Set.Internal.Tip
                                                                             in let (#
                                                                                      farInp,
                                                                                      farExp
                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                        GHC.Types.LT ->
                                                                                          (#
                                                                                            inp,
                                                                                            failExp
                                                                                          #)
                                                                                        GHC.Types.EQ ->
                                                                                          (#
                                                                                            init,
                                                                                            failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                          #)
                                                                                        GHC.Types.GT ->
                                                                                          (#
                                                                                            init,
                                                                                            Data.Set.Internal.empty
                                                                                          #)
                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                          else
                                                            let _ = "checkHorizon.newCheck.fail"
                                                             in let failExp =
                                                                      Data.Set.Internal.Bin
                                                                        1
                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                            ( case inputToken of
                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 5
                                                                            )
                                                                        )
                                                                        Data.Set.Internal.Tip
                                                                        Data.Set.Internal.Tip
                                                                 in let (#
                                                                          farInp,
                                                                          farExp
                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                            GHC.Types.LT ->
                                                                              (#
                                                                                inp,
                                                                                failExp
                                                                              #)
                                                                            GHC.Types.EQ ->
                                                                              (#
                                                                                init,
                                                                                failExp GHC.Base.<> Data.Set.Internal.empty
                                                                              #)
                                                                            GHC.Types.GT ->
                                                                              (#
                                                                                init,
                                                                                Data.Set.Internal.empty
                                                                              #)
                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "comment: satisfy ((GHC.Classes.==) '{')"
                                         in let inp = callerInput
                                             in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
                                                 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
                                                     in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 inp)
                                                          then
                                                            let _ = "checkToken"
                                                             in let !(#
                                                                       c,
                                                                       cs
                                                                       #) = readNext inp
                                                                 in if (GHC.Classes.==) '{' c
                                                                      then
                                                                        let _ = "lift2Value checkedHorizon=4"
                                                                         in name
                                                                              ( let _ = "onReturn"
                                                                                 in \farInp farExp v (!inp) ->
                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                       in let _ = "pushValue"
                                                                                           in do
                                                                                                let dupv = \x -> x
                                                                                                reg <- GHC.STRef.newSTRef dupv
                                                                                                let _ = "iter"
                                                                                                 in let onException loopInput =
                                                                                                          let _ = "onException"
                                                                                                           in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                let _ = "comment: raiseAgainIfConsumed"
                                                                                                                 in let _ = "saveInput checkedHorizon=0"
                                                                                                                     in let _ = "lift2Value checkedHorizon=0"
                                                                                                                         in if ( \( Data.Text.Internal.Text
                                                                                                                                      _
                                                                                                                                      i
                                                                                                                                      _
                                                                                                                                    )
                                                                                                                                  ( Data.Text.Internal.Text
                                                                                                                                      _
                                                                                                                                      j
                                                                                                                                      _
                                                                                                                                    ) -> i GHC.Classes.== j
                                                                                                                               )
                                                                                                                              loopInput
                                                                                                                              failInp
                                                                                                                              then
                                                                                                                                let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                 in do
                                                                                                                                      sr <- GHC.STRef.readSTRef reg
                                                                                                                                      name
                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                 in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                     in name
                                                                                                                                                          ( let _ = "onReturn"
                                                                                                                                                             in \farInp farExp v (!inp) ->
                                                                                                                                                                  let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                   in let _ = "comment: satisfy ((GHC.Classes.==) '}')"
                                                                                                                                                                       in let inp = inp
                                                                                                                                                                           in let readFail = readFail
                                                                                                                                                                               in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                                                                                                                                                   in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                                                                                                                                                        then
                                                                                                                                                                                          let _ = "checkToken"
                                                                                                                                                                                           in let !(#
                                                                                                                                                                                                     c,
                                                                                                                                                                                                     cs
                                                                                                                                                                                                     #) = readNext inp
                                                                                                                                                                                               in if (GHC.Classes.==) '}' c
                                                                                                                                                                                                    then
                                                                                                                                                                                                      let _ = "lift2Value checkedHorizon=2"
                                                                                                                                                                                                       in name
                                                                                                                                                                                                            ( let _ = "onReturn"
                                                                                                                                                                                                               in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                     in let _ = "resume"
                                                                                                                                                                                                                         in callerOnReturn
                                                                                                                                                                                                                              farInp
                                                                                                                                                                                                                              farExp
                                                                                                                                                                                                                              ( let _ = "resume.genCode"
                                                                                                                                                                                                                                 in v
                                                                                                                                                                                                                              )
                                                                                                                                                                                                                              inp
                                                                                                                                                                                                            )
                                                                                                                                                                                                            cs
                                                                                                                                                                                                            (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                    else
                                                                                                                                                                                                      let _ = "checkToken.fail"
                                                                                                                                                                                                       in let failExp =
                                                                                                                                                                                                                Data.Set.Internal.Bin
                                                                                                                                                                                                                  1
                                                                                                                                                                                                                  ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                      ( case inputToken of
                                                                                                                                                                                                                          (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '}'
                                                                                                                                                                                                                      )
                                                                                                                                                                                                                  )
                                                                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                                                           in let (#
                                                                                                                                                                                                                    farInp,
                                                                                                                                                                                                                    farExp
                                                                                                                                                                                                                    #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                      GHC.Types.LT ->
                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                          inp,
                                                                                                                                                                                                                          failExp
                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                      GHC.Types.EQ ->
                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                          failExp GHC.Base.<> farExp
                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                      GHC.Types.GT ->
                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                          farExp
                                                                                                                                                                                                                        #)
                                                                                                                                                                                                               in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                        else
                                                                                                                                                                                          let _ = "checkHorizon.newCheck.fail"
                                                                                                                                                                                           in let failExp =
                                                                                                                                                                                                    Data.Set.Internal.Bin
                                                                                                                                                                                                      1
                                                                                                                                                                                                      ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                          ( case inputToken of
                                                                                                                                                                                                              (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                                                                                                                                                          )
                                                                                                                                                                                                      )
                                                                                                                                                                                                      Data.Set.Internal.Tip
                                                                                                                                                                                                      Data.Set.Internal.Tip
                                                                                                                                                                                               in let (#
                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                        farExp
                                                                                                                                                                                                        #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                          GHC.Types.LT ->
                                                                                                                                                                                                            (#
                                                                                                                                                                                                              inp,
                                                                                                                                                                                                              failExp
                                                                                                                                                                                                            #)
                                                                                                                                                                                                          GHC.Types.EQ ->
                                                                                                                                                                                                            (#
                                                                                                                                                                                                              farInp,
                                                                                                                                                                                                              failExp GHC.Base.<> farExp
                                                                                                                                                                                                            #)
                                                                                                                                                                                                          GHC.Types.GT ->
                                                                                                                                                                                                            (#
                                                                                                                                                                                                              farInp,
                                                                                                                                                                                                              farExp
                                                                                                                                                                                                            #)
                                                                                                                                                                                                   in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                          )
                                                                                                                                                          inp
                                                                                                                                                          Data.Map.Internal.Tip
                                                                                                                                        )
                                                                                                                                        failInp
                                                                                                                                        Data.Map.Internal.Tip
                                                                                                                              else
                                                                                                                                let _ = "choicesBranch.else"
                                                                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                        loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
                                                                                                          let _ = "pushValue"
                                                                                                           in let join = \farInp farExp v (!inp) ->
                                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                                     in do
                                                                                                                          sr <- GHC.STRef.readSTRef reg
                                                                                                                          let _ = "lift2Value checkedHorizon=0"
                                                                                                                           in do
                                                                                                                                let dupv = sr
                                                                                                                                GHC.STRef.writeSTRef reg dupv
                                                                                                                                let _ = "jump"
                                                                                                                                 in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                               in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                   in let onException =
                                                                                                                            let _ = "onException"
                                                                                                                             in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                  let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                   in let _ = "saveInput checkedHorizon=0"
                                                                                                                                       in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                           in if ( \( Data.Text.Internal.Text
                                                                                                                                                        _
                                                                                                                                                        i
                                                                                                                                                        _
                                                                                                                                                      )
                                                                                                                                                    ( Data.Text.Internal.Text
                                                                                                                                                        _
                                                                                                                                                        j
                                                                                                                                                        _
                                                                                                                                                      ) -> i GHC.Classes.== j
                                                                                                                                                 )
                                                                                                                                                callerInput
                                                                                                                                                failInp
                                                                                                                                                then
                                                                                                                                                  let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                   in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                                       in let onException =
                                                                                                                                                                let _ = "onException"
                                                                                                                                                                 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                      let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                                       in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                                           in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                               in if ( \( Data.Text.Internal.Text
                                                                                                                                                                                            _
                                                                                                                                                                                            i
                                                                                                                                                                                            _
                                                                                                                                                                                          )
                                                                                                                                                                                        ( Data.Text.Internal.Text
                                                                                                                                                                                            _
                                                                                                                                                                                            j
                                                                                                                                                                                            _
                                                                                                                                                                                          ) -> i GHC.Classes.== j
                                                                                                                                                                                     )
                                                                                                                                                                                    failInp
                                                                                                                                                                                    failInp
                                                                                                                                                                                    then
                                                                                                                                                                                      let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                                       in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                                                                           in let onException =
                                                                                                                                                                                                    let _ = "onException"
                                                                                                                                                                                                     in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                                                          let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                                                                           in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                                                                               in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                   in if ( \( Data.Text.Internal.Text
                                                                                                                                                                                                                                _
                                                                                                                                                                                                                                i
                                                                                                                                                                                                                                _
                                                                                                                                                                                                                              )
                                                                                                                                                                                                                            ( Data.Text.Internal.Text
                                                                                                                                                                                                                                _
                                                                                                                                                                                                                                j
                                                                                                                                                                                                                                _
                                                                                                                                                                                                                              ) -> i GHC.Classes.== j
                                                                                                                                                                                                                         )
                                                                                                                                                                                                                        failInp
                                                                                                                                                                                                                        failInp
                                                                                                                                                                                                                        then
                                                                                                                                                                                                                          let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                                                                           in let _ = "pushValue"
                                                                                                                                                                                                                               in name
                                                                                                                                                                                                                                    ( let _ = "onReturn"
                                                                                                                                                                                                                                       in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                            let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                             in name
                                                                                                                                                                                                                                                  ( let _ = "onReturn"
                                                                                                                                                                                                                                                     in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                          let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                           in let _ = "resume"
                                                                                                                                                                                                                                                               in join
                                                                                                                                                                                                                                                                    farInp
                                                                                                                                                                                                                                                                    farExp
                                                                                                                                                                                                                                                                    ( let _ = "resume.genCode"
                                                                                                                                                                                                                                                                       in v
                                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                                    inp
                                                                                                                                                                                                                                                  )
                                                                                                                                                                                                                                                  inp
                                                                                                                                                                                                                                                  (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                    failInp
                                                                                                                                                                                                                                    (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                        else
                                                                                                                                                                                                                          let _ = "choicesBranch.else"
                                                                                                                                                                                                                           in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                                               in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                                                                                   in let onException =
                                                                                                                                                                                                            let _ = "onException"
                                                                                                                                                                                                             in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                                                                  let _ = "loadInput checkedHorizon=0"
                                                                                                                                                                                                                   in let _ = "checkHorizon.noCheck"
                                                                                                                                                                                                                       in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                                                       in let _ = "pushValue"
                                                                                                                                                                                                           in let join = \farInp farExp v (!inp) ->
                                                                                                                                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                     in name
                                                                                                                                                                                                                          ( let _ = "onReturn"
                                                                                                                                                                                                                             in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                   in let _ = "pushValue"
                                                                                                                                                                                                                                       in do
                                                                                                                                                                                                                                            let dupv = \x -> x
                                                                                                                                                                                                                                            reg <- GHC.STRef.newSTRef dupv
                                                                                                                                                                                                                                            let _ = "iter"
                                                                                                                                                                                                                                             in let onException loopInput =
                                                                                                                                                                                                                                                      let _ = "onException"
                                                                                                                                                                                                                                                       in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                                                                                                            let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                                                                                                                             in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                                                                                                                                 in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                     in if ( \( Data.Text.Internal.Text
                                                                                                                                                                                                                                                                                  _
                                                                                                                                                                                                                                                                                  i
                                                                                                                                                                                                                                                                                  _
                                                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                                                              ( Data.Text.Internal.Text
                                                                                                                                                                                                                                                                                  _
                                                                                                                                                                                                                                                                                  j
                                                                                                                                                                                                                                                                                  _
                                                                                                                                                                                                                                                                                ) -> i GHC.Classes.== j
                                                                                                                                                                                                                                                                           )
                                                                                                                                                                                                                                                                          loopInput
                                                                                                                                                                                                                                                                          failInp
                                                                                                                                                                                                                                                                          then
                                                                                                                                                                                                                                                                            let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                                                                                                                             in do
                                                                                                                                                                                                                                                                                  sr <- GHC.STRef.readSTRef reg
                                                                                                                                                                                                                                                                                  name
                                                                                                                                                                                                                                                                                    ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                       in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                            let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                             in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                 in name
                                                                                                                                                                                                                                                                                                      ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                         in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                              let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                               in let _ = "comment: satisfy ((GHC.Classes.==) '=')"
                                                                                                                                                                                                                                                                                                                   in let inp = inp
                                                                                                                                                                                                                                                                                                                       in let readFail = onException
                                                                                                                                                                                                                                                                                                                           in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=6"
                                                                                                                                                                                                                                                                                                                               in if readMore (Symantic.Parser.Machine.Input.shiftRightText 5 inp)
                                                                                                                                                                                                                                                                                                                                    then
                                                                                                                                                                                                                                                                                                                                      let _ = "checkToken"
                                                                                                                                                                                                                                                                                                                                       in let !(#
                                                                                                                                                                                                                                                                                                                                                 c,
                                                                                                                                                                                                                                                                                                                                                 cs
                                                                                                                                                                                                                                                                                                                                                 #) = readNext inp
                                                                                                                                                                                                                                                                                                                                           in if (GHC.Classes.==) '=' c
                                                                                                                                                                                                                                                                                                                                                then
                                                                                                                                                                                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=6"
                                                                                                                                                                                                                                                                                                                                                   in name
                                                                                                                                                                                                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                 in name
                                                                                                                                                                                                                                                                                                                                                                      ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                         in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                              let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                               in let _ = "pushValue"
                                                                                                                                                                                                                                                                                                                                                                                   in do
                                                                                                                                                                                                                                                                                                                                                                                        let dupv = \x -> x
                                                                                                                                                                                                                                                                                                                                                                                        reg <- GHC.STRef.newSTRef dupv
                                                                                                                                                                                                                                                                                                                                                                                        let _ = "iter"
                                                                                                                                                                                                                                                                                                                                                                                         in let onException loopInput =
                                                                                                                                                                                                                                                                                                                                                                                                  let _ = "onException"
                                                                                                                                                                                                                                                                                                                                                                                                   in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                                                                                                                                                                                                                                                        let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                                                                                                                                                                                                                                                                         in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                             in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                 in if ( \( Data.Text.Internal.Text
                                                                                                                                                                                                                                                                                                                                                                                                                              _
                                                                                                                                                                                                                                                                                                                                                                                                                              i
                                                                                                                                                                                                                                                                                                                                                                                                                              _
                                                                                                                                                                                                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                                                                                                                                                                                                          ( Data.Text.Internal.Text
                                                                                                                                                                                                                                                                                                                                                                                                                              _
                                                                                                                                                                                                                                                                                                                                                                                                                              j
                                                                                                                                                                                                                                                                                                                                                                                                                              _
                                                                                                                                                                                                                                                                                                                                                                                                                            ) -> i GHC.Classes.== j
                                                                                                                                                                                                                                                                                                                                                                                                                       )
                                                                                                                                                                                                                                                                                                                                                                                                                      loopInput
                                                                                                                                                                                                                                                                                                                                                                                                                      failInp
                                                                                                                                                                                                                                                                                                                                                                                                                      then
                                                                                                                                                                                                                                                                                                                                                                                                                        let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                         in do
                                                                                                                                                                                                                                                                                                                                                                                                                              sr <- GHC.STRef.readSTRef reg
                                                                                                                                                                                                                                                                                                                                                                                                                              name
                                                                                                                                                                                                                                                                                                                                                                                                                                ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                                                                                   in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                                                                        let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                                         in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                                             in name
                                                                                                                                                                                                                                                                                                                                                                                                                                                  ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                                                                                                     in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                                                                                          let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                                                           in name
                                                                                                                                                                                                                                                                                                                                                                                                                                                                ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                   in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                         in let _ = "commit"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                             in let _ = "commit"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 in let _ = "resume"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     in join
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          farInp
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          farExp
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          ( let _ = "resume.genCode"
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             in v
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          inp
                                                                                                                                                                                                                                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                                                                                                                                                                                                                                                inp
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                                                                                                                  )
                                                                                                                                                                                                                                                                                                                                                                                                                                                  inp
                                                                                                                                                                                                                                                                                                                                                                                                                                                  Data.Map.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                                                                                                                                                                                                                failInp
                                                                                                                                                                                                                                                                                                                                                                                                                                Data.Map.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                                                                                      else
                                                                                                                                                                                                                                                                                                                                                                                                                        let _ = "choicesBranch.else"
                                                                                                                                                                                                                                                                                                                                                                                                                         in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                                                                                                                                                                                                                                                loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
                                                                                                                                                                                                                                                                                                                                                                                                  let _ = "pushValue"
                                                                                                                                                                                                                                                                                                                                                                                                   in name
                                                                                                                                                                                                                                                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                 in name
                                                                                                                                                                                                                                                                                                                                                                                                                      ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                                                                         in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                                                              let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                               in name
                                                                                                                                                                                                                                                                                                                                                                                                                                    ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                                                                                       in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                                                                            let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                                             in do
                                                                                                                                                                                                                                                                                                                                                                                                                                                  sr <- GHC.STRef.readSTRef reg
                                                                                                                                                                                                                                                                                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                                                   in do
                                                                                                                                                                                                                                                                                                                                                                                                                                                        let dupv = v v sr
                                                                                                                                                                                                                                                                                                                                                                                                                                                        GHC.STRef.writeSTRef reg dupv
                                                                                                                                                                                                                                                                                                                                                                                                                                                        let _ = "jump"
                                                                                                                                                                                                                                                                                                                                                                                                                                                         in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                                                                                                                                                                                                    inp
                                                                                                                                                                                                                                                                                                                                                                                                                                    (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                                                                                                                                                                                      inp
                                                                                                                                                                                                                                                                                                                                                                                                                      (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                                                                                                                                                                        callerInput
                                                                                                                                                                                                                                                                                                                                                                                                        Data.Map.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                                                             in let _ = "jump"
                                                                                                                                                                                                                                                                                                                                                                                                 in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                                                                                                                                      inp
                                                                                                                                                                                                                                                                                                                                                                      (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                                                                                                                        cs
                                                                                                                                                                                                                                                                                                                                                        (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                else
                                                                                                                                                                                                                                                                                                                                                  let _ = "checkToken.fail"
                                                                                                                                                                                                                                                                                                                                                   in let failExp =
                                                                                                                                                                                                                                                                                                                                                            Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                                                                                              1
                                                                                                                                                                                                                                                                                                                                                              ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                                                                                                  ( case inputToken of
                                                                                                                                                                                                                                                                                                                                                                      (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '='
                                                                                                                                                                                                                                                                                                                                                                  )
                                                                                                                                                                                                                                                                                                                                                              )
                                                                                                                                                                                                                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                       in let (#
                                                                                                                                                                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                                                                                                                                                                farExp
                                                                                                                                                                                                                                                                                                                                                                #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                                                                                                                                                                  GHC.Types.LT ->
                                                                                                                                                                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                                                                                                                                                                      inp,
                                                                                                                                                                                                                                                                                                                                                                      failExp
                                                                                                                                                                                                                                                                                                                                                                    #)
                                                                                                                                                                                                                                                                                                                                                                  GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                                                                                                                                                                      farInp,
                                                                                                                                                                                                                                                                                                                                                                      failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                                                                                                    #)
                                                                                                                                                                                                                                                                                                                                                                  GHC.Types.GT ->
                                                                                                                                                                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                                                                                                                                                                      farInp,
                                                                                                                                                                                                                                                                                                                                                                      farExp
                                                                                                                                                                                                                                                                                                                                                                    #)
                                                                                                                                                                                                                                                                                                                                                           in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                                                                                                                                                                    else
                                                                                                                                                                                                                                                                                                                                      let _ = "checkHorizon.newCheck.fail"
                                                                                                                                                                                                                                                                                                                                       in let failExp =
                                                                                                                                                                                                                                                                                                                                                Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                                                                                  1
                                                                                                                                                                                                                                                                                                                                                  ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                                                                                      ( case inputToken of
                                                                                                                                                                                                                                                                                                                                                          (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 6
                                                                                                                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                                                                                                                  )
                                                                                                                                                                                                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                                           in let (#
                                                                                                                                                                                                                                                                                                                                                    farInp,
                                                                                                                                                                                                                                                                                                                                                    farExp
                                                                                                                                                                                                                                                                                                                                                    #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                                                                                                                                                      GHC.Types.LT ->
                                                                                                                                                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                                                                                                                                                          inp,
                                                                                                                                                                                                                                                                                                                                                          failExp
                                                                                                                                                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                                                                                                                                                      GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                                                                                                                                                          failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                                                                                                                                                      GHC.Types.GT ->
                                                                                                                                                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                                                                                                                                                          farExp
                                                                                                                                                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                                                                                                                                               in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                                                                      inp
                                                                                                                                                                                                                                                                                                      Data.Map.Internal.Tip
                                                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                                                    failInp
                                                                                                                                                                                                                                                                                    Data.Map.Internal.Tip
                                                                                                                                                                                                                                                                          else
                                                                                                                                                                                                                                                                            let _ = "choicesBranch.else"
                                                                                                                                                                                                                                                                             in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                                                                                                    loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
                                                                                                                                                                                                                                                      let _ = "pushValue"
                                                                                                                                                                                                                                                       in name
                                                                                                                                                                                                                                                            ( let _ = "onReturn"
                                                                                                                                                                                                                                                               in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                     in name
                                                                                                                                                                                                                                                                          ( let _ = "onReturn"
                                                                                                                                                                                                                                                                             in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                   in name
                                                                                                                                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                 in do
                                                                                                                                                                                                                                                                                                      sr <- GHC.STRef.readSTRef reg
                                                                                                                                                                                                                                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                       in do
                                                                                                                                                                                                                                                                                                            let dupv = v v sr
                                                                                                                                                                                                                                                                                                            GHC.STRef.writeSTRef reg dupv
                                                                                                                                                                                                                                                                                                            let _ = "jump"
                                                                                                                                                                                                                                                                                                             in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                                                        inp
                                                                                                                                                                                                                                                                                        (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                          inp
                                                                                                                                                                                                                                                                          (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                                            callerInput
                                                                                                                                                                                                                                                            Data.Map.Internal.Tip
                                                                                                                                                                                                                                                 in let _ = "jump"
                                                                                                                                                                                                                                                     in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                          )
                                                                                                                                                                                                                          inp
                                                                                                                                                                                                                          (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                               in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                                                                                                   in let onException =
                                                                                                                                                                                                                            let _ = "onException"
                                                                                                                                                                                                                             in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                                                                                  let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                                                                                                   in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                                                                                                       in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                           in if ( \( Data.Text.Internal.Text
                                                                                                                                                                                                                                                        _
                                                                                                                                                                                                                                                        i
                                                                                                                                                                                                                                                        _
                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                    ( Data.Text.Internal.Text
                                                                                                                                                                                                                                                        _
                                                                                                                                                                                                                                                        j
                                                                                                                                                                                                                                                        _
                                                                                                                                                                                                                                                      ) -> i GHC.Classes.== j
                                                                                                                                                                                                                                                 )
                                                                                                                                                                                                                                                failInp
                                                                                                                                                                                                                                                failInp
                                                                                                                                                                                                                                                then
                                                                                                                                                                                                                                                  let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                                                                                                   in name
                                                                                                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                let _ = "resume"
                                                                                                                                                                                                                                                                 in join
                                                                                                                                                                                                                                                                      farInp
                                                                                                                                                                                                                                                                      farExp
                                                                                                                                                                                                                                                                      ( let _ = "resume.genCode"
                                                                                                                                                                                                                                                                         in v
                                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                                      inp
                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                        failInp
                                                                                                                                                                                                                                                        Data.Map.Internal.Tip
                                                                                                                                                                                                                                                else
                                                                                                                                                                                                                                                  let _ = "choicesBranch.else"
                                                                                                                                                                                                                                                   in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                                                                       in let _ = "pushValue"
                                                                                                                                                                                                                           in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                                                                                                               in let onException =
                                                                                                                                                                                                                                        let _ = "onException"
                                                                                                                                                                                                                                         in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                                                                                              let _ = "loadInput checkedHorizon=0"
                                                                                                                                                                                                                                               in let _ = "checkHorizon.noCheck"
                                                                                                                                                                                                                                                   in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                                                                                   in let _ = "pushValue"
                                                                                                                                                                                                                                       in let _ = "comment: satisfy ((GHC.Classes.==) 'v')"
                                                                                                                                                                                                                                           in let inp = failInp
                                                                                                                                                                                                                                               in let readFail = onException
                                                                                                                                                                                                                                                   in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=11"
                                                                                                                                                                                                                                                       in if readMore (Symantic.Parser.Machine.Input.shiftRightText 10 inp)
                                                                                                                                                                                                                                                            then
                                                                                                                                                                                                                                                              let _ = "checkToken"
                                                                                                                                                                                                                                                               in let !(#
                                                                                                                                                                                                                                                                         c,
                                                                                                                                                                                                                                                                         cs
                                                                                                                                                                                                                                                                         #) = readNext inp
                                                                                                                                                                                                                                                                   in if (GHC.Classes.==) 'v' c
                                                                                                                                                                                                                                                                        then
                                                                                                                                                                                                                                                                          let _ = "lift2Value checkedHorizon=11"
                                                                                                                                                                                                                                                                           in let _ = "comment: satisfy ((GHC.Classes.==) 'a')"
                                                                                                                                                                                                                                                                               in let _ = "checkHorizon.oldCheck: checkedHorizon=11"
                                                                                                                                                                                                                                                                                   in let _ = "checkToken"
                                                                                                                                                                                                                                                                                       in let !(#
                                                                                                                                                                                                                                                                                                 c,
                                                                                                                                                                                                                                                                                                 cs
                                                                                                                                                                                                                                                                                                 #) = readNext cs
                                                                                                                                                                                                                                                                                           in if (GHC.Classes.==) 'a' c
                                                                                                                                                                                                                                                                                                then
                                                                                                                                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=10"
                                                                                                                                                                                                                                                                                                   in let _ = "comment: satisfy ((GHC.Classes.==) 'r')"
                                                                                                                                                                                                                                                                                                       in let _ = "checkHorizon.oldCheck: checkedHorizon=10"
                                                                                                                                                                                                                                                                                                           in let _ = "checkToken"
                                                                                                                                                                                                                                                                                                               in let !(#
                                                                                                                                                                                                                                                                                                                         c,
                                                                                                                                                                                                                                                                                                                         cs
                                                                                                                                                                                                                                                                                                                         #) = readNext cs
                                                                                                                                                                                                                                                                                                                   in if (GHC.Classes.==) 'r' c
                                                                                                                                                                                                                                                                                                                        then
                                                                                                                                                                                                                                                                                                                          let _ = "lift2Value checkedHorizon=9"
                                                                                                                                                                                                                                                                                                                           in let _ = "commit"
                                                                                                                                                                                                                                                                                                                               in let _ = "lift2Value checkedHorizon=9"
                                                                                                                                                                                                                                                                                                                                   in name
                                                                                                                                                                                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                 in let _ = "commit"
                                                                                                                                                                                                                                                                                                                                                     in let _ = "resume"
                                                                                                                                                                                                                                                                                                                                                         in join
                                                                                                                                                                                                                                                                                                                                                              farInp
                                                                                                                                                                                                                                                                                                                                                              farExp
                                                                                                                                                                                                                                                                                                                                                              ( let _ = "resume.genCode"
                                                                                                                                                                                                                                                                                                                                                                 in GHC.Tuple . ()
                                                                                                                                                                                                                                                                                                                                                              )
                                                                                                                                                                                                                                                                                                                                                              inp
                                                                                                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                                                                                                        cs
                                                                                                                                                                                                                                                                                                                                        Data.Map.Internal.Tip
                                                                                                                                                                                                                                                                                                                        else
                                                                                                                                                                                                                                                                                                                          let _ = "checkToken.fail"
                                                                                                                                                                                                                                                                                                                           in let failExp =
                                                                                                                                                                                                                                                                                                                                    Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                                                                      1
                                                                                                                                                                                                                                                                                                                                      ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                                                                          ( case inputToken of
                                                                                                                                                                                                                                                                                                                                              (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
                                                                                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                                                                                                      Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                                      Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                               in let (#
                                                                                                                                                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                                                                                                                                                        farExp
                                                                                                                                                                                                                                                                                                                                        #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                                                                                                                          GHC.Types.LT ->
                                                                                                                                                                                                                                                                                                                                            (#
                                                                                                                                                                                                                                                                                                                                              cs,
                                                                                                                                                                                                                                                                                                                                              failExp
                                                                                                                                                                                                                                                                                                                                            #)
                                                                                                                                                                                                                                                                                                                                          GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                                                                            (#
                                                                                                                                                                                                                                                                                                                                              farInp,
                                                                                                                                                                                                                                                                                                                                              failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                                                                            #)
                                                                                                                                                                                                                                                                                                                                          GHC.Types.GT ->
                                                                                                                                                                                                                                                                                                                                            (#
                                                                                                                                                                                                                                                                                                                                              farInp,
                                                                                                                                                                                                                                                                                                                                              farExp
                                                                                                                                                                                                                                                                                                                                            #)
                                                                                                                                                                                                                                                                                                                                   in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                                                                                                                                else
                                                                                                                                                                                                                                                                                                  let _ = "checkToken.fail"
                                                                                                                                                                                                                                                                                                   in let failExp =
                                                                                                                                                                                                                                                                                                            Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                                              1
                                                                                                                                                                                                                                                                                                              ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                                                  ( case inputToken of
                                                                                                                                                                                                                                                                                                                      (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
                                                                                                                                                                                                                                                                                                                  )
                                                                                                                                                                                                                                                                                                              )
                                                                                                                                                                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                       in let (#
                                                                                                                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                                                                                                                farExp
                                                                                                                                                                                                                                                                                                                #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                                                                                                  GHC.Types.LT ->
                                                                                                                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                                                                                                                      cs,
                                                                                                                                                                                                                                                                                                                      failExp
                                                                                                                                                                                                                                                                                                                    #)
                                                                                                                                                                                                                                                                                                                  GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                                                                                                                      farInp,
                                                                                                                                                                                                                                                                                                                      failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                                                    #)
                                                                                                                                                                                                                                                                                                                  GHC.Types.GT ->
                                                                                                                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                                                                                                                      farInp,
                                                                                                                                                                                                                                                                                                                      farExp
                                                                                                                                                                                                                                                                                                                    #)
                                                                                                                                                                                                                                                                                                           in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                                                                                                        else
                                                                                                                                                                                                                                                                          let _ = "checkToken.fail"
                                                                                                                                                                                                                                                                           in let failExp =
                                                                                                                                                                                                                                                                                    Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                      1
                                                                                                                                                                                                                                                                                      ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                          ( case inputToken of
                                                                                                                                                                                                                                                                                              (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
                                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                                                      Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                      Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                               in let (#
                                                                                                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                                                                                                        farExp
                                                                                                                                                                                                                                                                                        #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                                                                                          GHC.Types.LT ->
                                                                                                                                                                                                                                                                                            (#
                                                                                                                                                                                                                                                                                              inp,
                                                                                                                                                                                                                                                                                              failExp
                                                                                                                                                                                                                                                                                            #)
                                                                                                                                                                                                                                                                                          GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                            (#
                                                                                                                                                                                                                                                                                              farInp,
                                                                                                                                                                                                                                                                                              failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                            #)
                                                                                                                                                                                                                                                                                          GHC.Types.GT ->
                                                                                                                                                                                                                                                                                            (#
                                                                                                                                                                                                                                                                                              farInp,
                                                                                                                                                                                                                                                                                              farExp
                                                                                                                                                                                                                                                                                            #)
                                                                                                                                                                                                                                                                                   in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                                                                                            else
                                                                                                                                                                                                                                                              let _ = "checkHorizon.newCheck.fail"
                                                                                                                                                                                                                                                               in let failExp =
                                                                                                                                                                                                                                                                        Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                          1
                                                                                                                                                                                                                                                                          ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                              ( case inputToken of
                                                                                                                                                                                                                                                                                  (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 11
                                                                                                                                                                                                                                                                              )
                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                   in let (#
                                                                                                                                                                                                                                                                            farInp,
                                                                                                                                                                                                                                                                            farExp
                                                                                                                                                                                                                                                                            #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                                                                              GHC.Types.LT ->
                                                                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                                                                  inp,
                                                                                                                                                                                                                                                                                  failExp
                                                                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                                                                              GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                                                                  failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                                                                              GHC.Types.GT ->
                                                                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                                                                  farExp
                                                                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                                                                       in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                    else
                                                                                                                                                                                      let _ = "choicesBranch.else"
                                                                                                                                                                                       in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                           in let _ = "pushValue"
                                                                                                                                                               in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                                                   in let onException =
                                                                                                                                                                            let _ = "onException"
                                                                                                                                                                             in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                                  let _ = "loadInput checkedHorizon=0"
                                                                                                                                                                                   in let _ = "checkHorizon.noCheck"
                                                                                                                                                                                       in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                       in let _ = "pushValue"
                                                                                                                                                                           in let _ = "comment: satisfy ((GHC.Classes.==) 'w')"
                                                                                                                                                                               in let inp = failInp
                                                                                                                                                                                   in let readFail = onException
                                                                                                                                                                                       in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=7"
                                                                                                                                                                                           in if readMore (Symantic.Parser.Machine.Input.shiftRightText 6 inp)
                                                                                                                                                                                                then
                                                                                                                                                                                                  let _ = "checkToken"
                                                                                                                                                                                                   in let !(#
                                                                                                                                                                                                             c,
                                                                                                                                                                                                             cs
                                                                                                                                                                                                             #) = readNext inp
                                                                                                                                                                                                       in if (GHC.Classes.==) 'w' c
                                                                                                                                                                                                            then
                                                                                                                                                                                                              let _ = "lift2Value checkedHorizon=7"
                                                                                                                                                                                                               in let _ = "comment: satisfy ((GHC.Classes.==) 'h')"
                                                                                                                                                                                                                   in let _ = "checkHorizon.oldCheck: checkedHorizon=7"
                                                                                                                                                                                                                       in let _ = "checkToken"
                                                                                                                                                                                                                           in let !(#
                                                                                                                                                                                                                                     c,
                                                                                                                                                                                                                                     cs
                                                                                                                                                                                                                                     #) = readNext cs
                                                                                                                                                                                                                               in if (GHC.Classes.==) 'h' c
                                                                                                                                                                                                                                    then
                                                                                                                                                                                                                                      let _ = "lift2Value checkedHorizon=6"
                                                                                                                                                                                                                                       in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
                                                                                                                                                                                                                                           in let _ = "checkHorizon.oldCheck: checkedHorizon=6"
                                                                                                                                                                                                                                               in let _ = "checkToken"
                                                                                                                                                                                                                                                   in let !(#
                                                                                                                                                                                                                                                             c,
                                                                                                                                                                                                                                                             cs
                                                                                                                                                                                                                                                             #) = readNext cs
                                                                                                                                                                                                                                                       in if (GHC.Classes.==) 'i' c
                                                                                                                                                                                                                                                            then
                                                                                                                                                                                                                                                              let _ = "lift2Value checkedHorizon=5"
                                                                                                                                                                                                                                                               in let _ = "comment: satisfy ((GHC.Classes.==) 'l')"
                                                                                                                                                                                                                                                                   in let _ = "checkHorizon.oldCheck: checkedHorizon=5"
                                                                                                                                                                                                                                                                       in let _ = "checkToken"
                                                                                                                                                                                                                                                                           in let !(#
                                                                                                                                                                                                                                                                                     c,
                                                                                                                                                                                                                                                                                     cs
                                                                                                                                                                                                                                                                                     #) = readNext cs
                                                                                                                                                                                                                                                                               in if (GHC.Classes.==) 'l' c
                                                                                                                                                                                                                                                                                    then
                                                                                                                                                                                                                                                                                      let _ = "lift2Value checkedHorizon=4"
                                                                                                                                                                                                                                                                                       in let _ = "comment: satisfy ((GHC.Classes.==) 'e')"
                                                                                                                                                                                                                                                                                           in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
                                                                                                                                                                                                                                                                                               in let _ = "checkToken"
                                                                                                                                                                                                                                                                                                   in let !(#
                                                                                                                                                                                                                                                                                                             c,
                                                                                                                                                                                                                                                                                                             cs
                                                                                                                                                                                                                                                                                                             #) = readNext cs
                                                                                                                                                                                                                                                                                                       in if (GHC.Classes.==) 'e' c
                                                                                                                                                                                                                                                                                                            then
                                                                                                                                                                                                                                                                                                              let _ = "lift2Value checkedHorizon=3"
                                                                                                                                                                                                                                                                                                               in let _ = "commit"
                                                                                                                                                                                                                                                                                                                   in let _ = "lift2Value checkedHorizon=3"
                                                                                                                                                                                                                                                                                                                       in name
                                                                                                                                                                                                                                                                                                                            ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                               in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                     in name
                                                                                                                                                                                                                                                                                                                                          ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                             in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                   in name
                                                                                                                                                                                                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                 in let _ = "commit"
                                                                                                                                                                                                                                                                                                                                                                     in let _ = "resume"
                                                                                                                                                                                                                                                                                                                                                                         in join
                                                                                                                                                                                                                                                                                                                                                                              farInp
                                                                                                                                                                                                                                                                                                                                                                              farExp
                                                                                                                                                                                                                                                                                                                                                                              ( let _ = "resume.genCode"
                                                                                                                                                                                                                                                                                                                                                                                 in v
                                                                                                                                                                                                                                                                                                                                                                              )
                                                                                                                                                                                                                                                                                                                                                                              inp
                                                                                                                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                                                                                                                        inp
                                                                                                                                                                                                                                                                                                                                                        (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                                                                                          inp
                                                                                                                                                                                                                                                                                                                                          (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                                                                                                            cs
                                                                                                                                                                                                                                                                                                                            Data.Map.Internal.Tip
                                                                                                                                                                                                                                                                                                            else
                                                                                                                                                                                                                                                                                                              let _ = "checkToken.fail"
                                                                                                                                                                                                                                                                                                               in let failExp =
                                                                                                                                                                                                                                                                                                                        Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                                                          1
                                                                                                                                                                                                                                                                                                                          ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                                                              ( case inputToken of
                                                                                                                                                                                                                                                                                                                                  (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'e'
                                                                                                                                                                                                                                                                                                                              )
                                                                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                   in let (#
                                                                                                                                                                                                                                                                                                                            farInp,
                                                                                                                                                                                                                                                                                                                            farExp
                                                                                                                                                                                                                                                                                                                            #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                                                                                                              GHC.Types.LT ->
                                                                                                                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                                                                                                                  cs,
                                                                                                                                                                                                                                                                                                                                  failExp
                                                                                                                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                                                                                                                              GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                                                                                                                  failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                                                                                                                              GHC.Types.GT ->
                                                                                                                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                                                                                                                  farExp
                                                                                                                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                                                                                                                       in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                                                                                                                    else
                                                                                                                                                                                                                                                                                      let _ = "checkToken.fail"
                                                                                                                                                                                                                                                                                       in let failExp =
                                                                                                                                                                                                                                                                                                Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                                  1
                                                                                                                                                                                                                                                                                                  ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                                      ( case inputToken of
                                                                                                                                                                                                                                                                                                          (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'l'
                                                                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                                                                  )
                                                                                                                                                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                           in let (#
                                                                                                                                                                                                                                                                                                    farInp,
                                                                                                                                                                                                                                                                                                    farExp
                                                                                                                                                                                                                                                                                                    #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                                                                                      GHC.Types.LT ->
                                                                                                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                                                                                                          cs,
                                                                                                                                                                                                                                                                                                          failExp
                                                                                                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                                                                                                      GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                                                                                                          failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                                                                                                      GHC.Types.GT ->
                                                                                                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                                                                                                          farExp
                                                                                                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                                                                                               in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                                                                                            else
                                                                                                                                                                                                                                                              let _ = "checkToken.fail"
                                                                                                                                                                                                                                                               in let failExp =
                                                                                                                                                                                                                                                                        Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                          1
                                                                                                                                                                                                                                                                          ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                              ( case inputToken of
                                                                                                                                                                                                                                                                                  (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
                                                                                                                                                                                                                                                                              )
                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                   in let (#
                                                                                                                                                                                                                                                                            farInp,
                                                                                                                                                                                                                                                                            farExp
                                                                                                                                                                                                                                                                            #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                                                              GHC.Types.LT ->
                                                                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                                                                  cs,
                                                                                                                                                                                                                                                                                  failExp
                                                                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                                                                              GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                                                                  failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                                                                              GHC.Types.GT ->
                                                                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                                                                  farExp
                                                                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                                                                       in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                                                                    else
                                                                                                                                                                                                                                      let _ = "checkToken.fail"
                                                                                                                                                                                                                                       in let failExp =
                                                                                                                                                                                                                                                Data.Set.Internal.Bin
                                                                                                                                                                                                                                                  1
                                                                                                                                                                                                                                                  ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                      ( case inputToken of
                                                                                                                                                                                                                                                          (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'h'
                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                  )
                                                                                                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                                                                                                  Data.Set.Internal.Tip
                                                                                                                                                                                                                                           in let (#
                                                                                                                                                                                                                                                    farInp,
                                                                                                                                                                                                                                                    farExp
                                                                                                                                                                                                                                                    #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                                      GHC.Types.LT ->
                                                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                                                          cs,
                                                                                                                                                                                                                                                          failExp
                                                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                                                      GHC.Types.EQ ->
                                                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                                                          failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                                                      GHC.Types.GT ->
                                                                                                                                                                                                                                                        (#
                                                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                                                          farExp
                                                                                                                                                                                                                                                        #)
                                                                                                                                                                                                                                               in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                                            else
                                                                                                                                                                                                              let _ = "checkToken.fail"
                                                                                                                                                                                                               in let failExp =
                                                                                                                                                                                                                        Data.Set.Internal.Bin
                                                                                                                                                                                                                          1
                                                                                                                                                                                                                          ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                              ( case inputToken of
                                                                                                                                                                                                                                  (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'w'
                                                                                                                                                                                                                              )
                                                                                                                                                                                                                          )
                                                                                                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                                                                                                   in let (#
                                                                                                                                                                                                                            farInp,
                                                                                                                                                                                                                            farExp
                                                                                                                                                                                                                            #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                              GHC.Types.LT ->
                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                  inp,
                                                                                                                                                                                                                                  failExp
                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                              GHC.Types.EQ ->
                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                  failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                              GHC.Types.GT ->
                                                                                                                                                                                                                                (#
                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                  farExp
                                                                                                                                                                                                                                #)
                                                                                                                                                                                                                       in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                                else
                                                                                                                                                                                                  let _ = "checkHorizon.newCheck.fail"
                                                                                                                                                                                                   in let failExp =
                                                                                                                                                                                                            Data.Set.Internal.Bin
                                                                                                                                                                                                              1
                                                                                                                                                                                                              ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                  ( case inputToken of
                                                                                                                                                                                                                      (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 7
                                                                                                                                                                                                                  )
                                                                                                                                                                                                              )
                                                                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                                                                       in let (#
                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                farExp
                                                                                                                                                                                                                #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                  GHC.Types.LT ->
                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                      inp,
                                                                                                                                                                                                                      failExp
                                                                                                                                                                                                                    #)
                                                                                                                                                                                                                  GHC.Types.EQ ->
                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                      farInp,
                                                                                                                                                                                                                      failExp GHC.Base.<> farExp
                                                                                                                                                                                                                    #)
                                                                                                                                                                                                                  GHC.Types.GT ->
                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                      farInp,
                                                                                                                                                                                                                      farExp
                                                                                                                                                                                                                    #)
                                                                                                                                                                                                           in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                else
                                                                                                                                                  let _ = "choicesBranch.else"
                                                                                                                                                   in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                       in let _ = "pushValue"
                                                                                                                           in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                               in let onException =
                                                                                                                                        let _ = "onException"
                                                                                                                                         in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                              let _ = "loadInput checkedHorizon=0"
                                                                                                                                               in let _ = "checkHorizon.noCheck"
                                                                                                                                                   in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp
                                                                                                                                   in let _ = "pushValue"
                                                                                                                                       in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
                                                                                                                                           in let inp = callerInput
                                                                                                                                               in let readFail = onException
                                                                                                                                                   in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
                                                                                                                                                       in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
                                                                                                                                                            then
                                                                                                                                                              let _ = "checkToken"
                                                                                                                                                               in let !(#
                                                                                                                                                                         c,
                                                                                                                                                                         cs
                                                                                                                                                                         #) = readNext inp
                                                                                                                                                                   in if (GHC.Classes.==) 'i' c
                                                                                                                                                                        then
                                                                                                                                                                          let _ = "lift2Value checkedHorizon=2"
                                                                                                                                                                           in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
                                                                                                                                                                               in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
                                                                                                                                                                                   in let _ = "checkToken"
                                                                                                                                                                                       in let !(#
                                                                                                                                                                                                 c,
                                                                                                                                                                                                 cs
                                                                                                                                                                                                 #) = readNext cs
                                                                                                                                                                                           in if (GHC.Classes.==) 'f' c
                                                                                                                                                                                                then
                                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=1"
                                                                                                                                                                                                   in let _ = "commit"
                                                                                                                                                                                                       in let _ = "lift2Value checkedHorizon=1"
                                                                                                                                                                                                           in name
                                                                                                                                                                                                                ( let _ = "onReturn"
                                                                                                                                                                                                                   in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                        let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                         in let _ = "commit"
                                                                                                                                                                                                                             in let _ = "resume"
                                                                                                                                                                                                                                 in join
                                                                                                                                                                                                                                      farInp
                                                                                                                                                                                                                                      farExp
                                                                                                                                                                                                                                      ( let _ = "resume.genCode"
                                                                                                                                                                                                                                         in v
                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                      inp
                                                                                                                                                                                                                )
                                                                                                                                                                                                                cs
                                                                                                                                                                                                                Data.Map.Internal.Tip
                                                                                                                                                                                                else
                                                                                                                                                                                                  let _ = "checkToken.fail"
                                                                                                                                                                                                   in let failExp =
                                                                                                                                                                                                            Data.Set.Internal.Bin
                                                                                                                                                                                                              1
                                                                                                                                                                                                              ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                  ( case inputToken of
                                                                                                                                                                                                                      (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
                                                                                                                                                                                                                  )
                                                                                                                                                                                                              )
                                                                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                                                                              Data.Set.Internal.Tip
                                                                                                                                                                                                       in let (#
                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                farExp
                                                                                                                                                                                                                #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                  GHC.Types.LT ->
                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                      cs,
                                                                                                                                                                                                                      failExp
                                                                                                                                                                                                                    #)
                                                                                                                                                                                                                  GHC.Types.EQ ->
                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                      farInp,
                                                                                                                                                                                                                      failExp GHC.Base.<> farExp
                                                                                                                                                                                                                    #)
                                                                                                                                                                                                                  GHC.Types.GT ->
                                                                                                                                                                                                                    (#
                                                                                                                                                                                                                      farInp,
                                                                                                                                                                                                                      farExp
                                                                                                                                                                                                                    #)
                                                                                                                                                                                                           in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                        else
                                                                                                                                                                          let _ = "checkToken.fail"
                                                                                                                                                                           in let failExp =
                                                                                                                                                                                    Data.Set.Internal.Bin
                                                                                                                                                                                      1
                                                                                                                                                                                      ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                          ( case inputToken of
                                                                                                                                                                                              (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
                                                                                                                                                                                          )
                                                                                                                                                                                      )
                                                                                                                                                                                      Data.Set.Internal.Tip
                                                                                                                                                                                      Data.Set.Internal.Tip
                                                                                                                                                                               in let (#
                                                                                                                                                                                        farInp,
                                                                                                                                                                                        farExp
                                                                                                                                                                                        #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                          GHC.Types.LT ->
                                                                                                                                                                                            (#
                                                                                                                                                                                              inp,
                                                                                                                                                                                              failExp
                                                                                                                                                                                            #)
                                                                                                                                                                                          GHC.Types.EQ ->
                                                                                                                                                                                            (#
                                                                                                                                                                                              farInp,
                                                                                                                                                                                              failExp GHC.Base.<> farExp
                                                                                                                                                                                            #)
                                                                                                                                                                                          GHC.Types.GT ->
                                                                                                                                                                                            (#
                                                                                                                                                                                              farInp,
                                                                                                                                                                                              farExp
                                                                                                                                                                                            #)
                                                                                                                                                                                   in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                            else
                                                                                                                                                              let _ = "checkHorizon.newCheck.fail"
                                                                                                                                                               in let failExp =
                                                                                                                                                                        Data.Set.Internal.Bin
                                                                                                                                                                          1
                                                                                                                                                                          ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                              ( case inputToken of
                                                                                                                                                                                  (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
                                                                                                                                                                              )
                                                                                                                                                                          )
                                                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                                                          Data.Set.Internal.Tip
                                                                                                                                                                   in let (#
                                                                                                                                                                            farInp,
                                                                                                                                                                            farExp
                                                                                                                                                                            #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                              GHC.Types.LT ->
                                                                                                                                                                                (#
                                                                                                                                                                                  inp,
                                                                                                                                                                                  failExp
                                                                                                                                                                                #)
                                                                                                                                                                              GHC.Types.EQ ->
                                                                                                                                                                                (#
                                                                                                                                                                                  farInp,
                                                                                                                                                                                  failExp GHC.Base.<> farExp
                                                                                                                                                                                #)
                                                                                                                                                                              GHC.Types.GT ->
                                                                                                                                                                                (#
                                                                                                                                                                                  farInp,
                                                                                                                                                                                  farExp
                                                                                                                                                                                #)
                                                                                                                                                                       in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                     in let _ = "jump"
                                                                                                         in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                              )
                                                                              cs
                                                                              (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                      else
                                                                        let _ = "checkToken.fail"
                                                                         in let failExp =
                                                                                  Data.Set.Internal.Bin
                                                                                    1
                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                        ( case inputToken of
                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '{'
                                                                                        )
                                                                                    )
                                                                                    Data.Set.Internal.Tip
                                                                                    Data.Set.Internal.Tip
                                                                             in let (#
                                                                                      farInp,
                                                                                      farExp
                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                                        GHC.Types.LT ->
                                                                                          (#
                                                                                            inp,
                                                                                            failExp
                                                                                          #)
                                                                                        GHC.Types.EQ ->
                                                                                          (#
                                                                                            init,
                                                                                            failExp GHC.Base.<> Data.Set.Internal.empty
                                                                                          #)
                                                                                        GHC.Types.GT ->
                                                                                          (#
                                                                                            init,
                                                                                            Data.Set.Internal.empty
                                                                                          #)
                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                          else
                                                            let _ = "checkHorizon.newCheck.fail"
                                                             in let failExp =
                                                                      Data.Set.Internal.Bin
                                                                        1
                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                            ( case inputToken of
                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
                                                                            )
                                                                        )
                                                                        Data.Set.Internal.Tip
                                                                        Data.Set.Internal.Tip
                                                                 in let (#
                                                                          farInp,
                                                                          farExp
                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                            GHC.Types.LT ->
                                                                              (#
                                                                                inp,
                                                                                failExp
                                                                              #)
                                                                            GHC.Types.EQ ->
                                                                              (#
                                                                                init,
                                                                                failExp GHC.Base.<> Data.Set.Internal.empty
                                                                              #)
                                                                            GHC.Types.GT ->
                                                                              (#
                                                                                init,
                                                                                Data.Set.Internal.empty
                                                                              #)
                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "comment: satisfy GHC.Unicode.isSpace"
                                         in let inp = callerInput
                                             in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
                                                 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
                                                     in if readMore inp
                                                          then
                                                            let _ = "checkToken"
                                                             in let !(#
                                                                       c,
                                                                       cs
                                                                       #) = readNext inp
                                                                 in if GHC.Unicode.isSpace c
                                                                      then
                                                                        let _ = "lift2Value checkedHorizon=1"
                                                                         in name
                                                                              ( let _ = "onReturn"
                                                                                 in \farInp farExp v (!inp) ->
                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                       in let _ = "resume"
                                                                                           in callerOnReturn
                                                                                                farInp
                                                                                                farExp
                                                                                                ( let _ = "resume.genCode"
                                                                                                   in v
                                                                                                )
                                                                                                inp
                                                                              )
                                                                              cs
                                                                              Data.Map.Internal.Tip
                                                                      else
                                                                        let _ = "checkToken.fail"
                                                                         in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
                                                          else
                                                            let _ = "checkHorizon.newCheck.fail"
                                                             in let failExp =
                                                                      Data.Set.Internal.Bin
                                                                        1
                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                            ( case inputToken of
                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
                                                                            )
                                                                        )
                                                                        Data.Set.Internal.Tip
                                                                        Data.Set.Internal.Tip
                                                                 in let (#
                                                                          farInp,
                                                                          farExp
                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                                                            GHC.Types.LT ->
                                                                              (#
                                                                                inp,
                                                                                failExp
                                                                              #)
                                                                            GHC.Types.EQ ->
                                                                              (#
                                                                                init,
                                                                                failExp GHC.Base.<> Data.Set.Internal.empty
                                                                              #)
                                                                            GHC.Types.GT ->
                                                                              (#
                                                                                init,
                                                                                Data.Set.Internal.empty
                                                                              #)
                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "resume"
                                         in callerOnReturn
                                              init
                                              Data.Set.Internal.empty
                                              ( let _ = "resume.genCode"
                                                 in GHC.Tuple . ()
                                              )
                                              callerInput
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "resume"
                                         in callerOnReturn
                                              init
                                              Data.Set.Internal.empty
                                              ( let _ = "resume.genCode"
                                                 in GHC.Tuple . ()
                                              )
                                              callerInput
                                  name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
                                    let _ = "pushValue"
                                     in let _ = "resume"
                                         in callerOnReturn
                                              init
                                              Data.Set.Internal.empty
                                              ( let _ = "resume.genCode"
                                                 in \x -> \x -> x
                                              )
                                              callerInput
                               in let _ = "pushValue"
                                   in name
                                        ( let _ = "onReturn"
                                           in \farInp farExp v (!inp) ->
                                                let _ = "lift2Value checkedHorizon=0"
                                                 in let _ = "pushValue"
                                                     in do
                                                          let dupv = \x -> x
                                                          reg <- GHC.STRef.newSTRef dupv
                                                          let _ = "iter"
                                                           in let onException loopInput =
                                                                    let _ = "onException"
                                                                     in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                          let _ = "comment: raiseAgainIfConsumed"
                                                                           in let _ = "saveInput checkedHorizon=0"
                                                                               in let _ = "lift2Value checkedHorizon=0"
                                                                                   in if ( \( Data.Text.Internal.Text
                                                                                                _
                                                                                                i
                                                                                                _
                                                                                              )
                                                                                            ( Data.Text.Internal.Text
                                                                                                _
                                                                                                j
                                                                                                _
                                                                                              ) -> i GHC.Classes.== j
                                                                                         )
                                                                                        loopInput
                                                                                        failInp
                                                                                        then
                                                                                          let _ = "choicesBranch checkedHorizon=0"
                                                                                           in do
                                                                                                sr <- GHC.STRef.readSTRef reg
                                                                                                name
                                                                                                  ( let _ = "onReturn"
                                                                                                     in \farInp farExp v (!inp) ->
                                                                                                          let _ = "lift2Value checkedHorizon=0"
                                                                                                           in let _ = "lift2Value checkedHorizon=0"
                                                                                                               in name
                                                                                                                    ( let _ = "onReturn"
                                                                                                                       in \farInp farExp v (!inp) ->
                                                                                                                            let _ = "lift2Value checkedHorizon=0"
                                                                                                                             in let join = \farInp farExp v (!inp) ->
                                                                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                                                                       in let _ = "resume"
                                                                                                                                           in finalRet
                                                                                                                                                farInp
                                                                                                                                                farExp
                                                                                                                                                ( let _ = "resume.genCode"
                                                                                                                                                   in GHC.Show.show v
                                                                                                                                                )
                                                                                                                                                inp
                                                                                                                                 in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                     in let onException =
                                                                                                                                              let _ = "onException"
                                                                                                                                               in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                    let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                     in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                         in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                             in if ( \( Data.Text.Internal.Text
                                                                                                                                                                          _
                                                                                                                                                                          i
                                                                                                                                                                          _
                                                                                                                                                                        )
                                                                                                                                                                      ( Data.Text.Internal.Text
                                                                                                                                                                          _
                                                                                                                                                                          j
                                                                                                                                                                          _
                                                                                                                                                                        ) -> i GHC.Classes.== j
                                                                                                                                                                   )
                                                                                                                                                                  inp
                                                                                                                                                                  failInp
                                                                                                                                                                  then
                                                                                                                                                                    let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                     in let _ = "comment: eof.fail"
                                                                                                                                                                         in let failExp = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure Symantic.Parser.Grammar.Combinators.FailureEnd) Data.Set.Internal.Tip Data.Set.Internal.Tip
                                                                                                                                                                             in let (#
                                                                                                                                                                                      farInp,
                                                                                                                                                                                      farExp
                                                                                                                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp failInp of
                                                                                                                                                                                        GHC.Types.LT ->
                                                                                                                                                                                          (#
                                                                                                                                                                                            failInp,
                                                                                                                                                                                            failExp
                                                                                                                                                                                          #)
                                                                                                                                                                                        GHC.Types.EQ ->
                                                                                                                                                                                          (#
                                                                                                                                                                                            farInp,
                                                                                                                                                                                            failExp GHC.Base.<> farExp
                                                                                                                                                                                          #)
                                                                                                                                                                                        GHC.Types.GT ->
                                                                                                                                                                                          (#
                                                                                                                                                                                            farInp,
                                                                                                                                                                                            farExp
                                                                                                                                                                                          #)
                                                                                                                                                                                 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                  else
                                                                                                                                                                    let _ = "choicesBranch.else"
                                                                                                                                                                     in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                         in let _ = "comment: negLook"
                                                                                                                                             in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                                 in let onException =
                                                                                                                                                          let _ = "onException"
                                                                                                                                                           in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                let _ = "comment: negLook.reset"
                                                                                                                                                                 in let _ = "loadInput checkedHorizon=0"
                                                                                                                                                                     in let _ = "checkHorizon.noCheck"
                                                                                                                                                                         in let _ = "pushValue"
                                                                                                                                                                             in let _ = "commit"
                                                                                                                                                                                 in let _ = "resume"
                                                                                                                                                                                     in join
                                                                                                                                                                                          farInp
                                                                                                                                                                                          farExp
                                                                                                                                                                                          ( let _ = "resume.genCode"
                                                                                                                                                                                             in GHC.Tuple . ()
                                                                                                                                                                                          )
                                                                                                                                                                                          inp
                                                                                                                                                     in let _ = "comment: negLook.ahead"
                                                                                                                                                         in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                             in let _ = "comment: satisfy ((\\x_0 -> \\x_1 -> x_0) GHC.Types.True)"
                                                                                                                                                                 in let inp = inp
                                                                                                                                                                     in let readFail = onException
                                                                                                                                                                         in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
                                                                                                                                                                             in if readMore inp
                                                                                                                                                                                  then
                                                                                                                                                                                    let _ = "checkToken"
                                                                                                                                                                                     in let !(#
                                                                                                                                                                                               c,
                                                                                                                                                                                               cs
                                                                                                                                                                                               #) = readNext inp
                                                                                                                                                                                         in let _ = "popValue"
                                                                                                                                                                                             in let _ = "commit"
                                                                                                                                                                                                 in let _ = "loadInput checkedHorizon=0"
                                                                                                                                                                                                     in let _ = "checkHorizon.noCheck"
                                                                                                                                                                                                         in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                  else
                                                                                                                                                                                    let _ = "checkHorizon.newCheck.fail"
                                                                                                                                                                                     in let failExp =
                                                                                                                                                                                              Data.Set.Internal.Bin
                                                                                                                                                                                                1
                                                                                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                    ( case inputToken of
                                                                                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
                                                                                                                                                                                                    )
                                                                                                                                                                                                )
                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                         in let (#
                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                  farExp
                                                                                                                                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                    GHC.Types.LT ->
                                                                                                                                                                                                      (#
                                                                                                                                                                                                        inp,
                                                                                                                                                                                                        failExp
                                                                                                                                                                                                      #)
                                                                                                                                                                                                    GHC.Types.EQ ->
                                                                                                                                                                                                      (#
                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                        failExp GHC.Base.<> farExp
                                                                                                                                                                                                      #)
                                                                                                                                                                                                    GHC.Types.GT ->
                                                                                                                                                                                                      (#
                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                        farExp
                                                                                                                                                                                                      #)
                                                                                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                    )
                                                                                                                    inp
                                                                                                                    Data.Map.Internal.Tip
                                                                                                  )
                                                                                                  failInp
                                                                                                  Data.Map.Internal.Tip
                                                                                        else
                                                                                          let _ = "choicesBranch.else"
                                                                                           in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                  loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
                                                                    let _ = "pushValue"
                                                                     in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                         in let onException =
                                                                                  let _ = "onException"
                                                                                   in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                        let _ = "loadInput checkedHorizon=0"
                                                                                         in let _ = "checkHorizon.noCheck"
                                                                                             in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp
                                                                             in let _ = "pushValue"
                                                                                 in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
                                                                                     in let inp = callerInput
                                                                                         in let readFail = onException
                                                                                             in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=18"
                                                                                                 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 17 inp)
                                                                                                      then
                                                                                                        let _ = "checkToken"
                                                                                                         in let !(#
                                                                                                                   c,
                                                                                                                   cs
                                                                                                                   #) = readNext inp
                                                                                                             in if (GHC.Classes.==) 'f' c
                                                                                                                  then
                                                                                                                    let _ = "lift2Value checkedHorizon=18"
                                                                                                                     in let _ = "comment: satisfy ((GHC.Classes.==) 'u')"
                                                                                                                         in let _ = "checkHorizon.oldCheck: checkedHorizon=18"
                                                                                                                             in let _ = "checkToken"
                                                                                                                                 in let !(#
                                                                                                                                           c,
                                                                                                                                           cs
                                                                                                                                           #) = readNext cs
                                                                                                                                     in if (GHC.Classes.==) 'u' c
                                                                                                                                          then
                                                                                                                                            let _ = "lift2Value checkedHorizon=17"
                                                                                                                                             in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
                                                                                                                                                 in let _ = "checkHorizon.oldCheck: checkedHorizon=17"
                                                                                                                                                     in let _ = "checkToken"
                                                                                                                                                         in let !(#
                                                                                                                                                                   c,
                                                                                                                                                                   cs
                                                                                                                                                                   #) = readNext cs
                                                                                                                                                             in if (GHC.Classes.==) 'n' c
                                                                                                                                                                  then
                                                                                                                                                                    let _ = "lift2Value checkedHorizon=16"
                                                                                                                                                                     in let _ = "comment: satisfy ((GHC.Classes.==) 'c')"
                                                                                                                                                                         in let _ = "checkHorizon.oldCheck: checkedHorizon=16"
                                                                                                                                                                             in let _ = "checkToken"
                                                                                                                                                                                 in let !(#
                                                                                                                                                                                           c,
                                                                                                                                                                                           cs
                                                                                                                                                                                           #) = readNext cs
                                                                                                                                                                                     in if (GHC.Classes.==) 'c' c
                                                                                                                                                                                          then
                                                                                                                                                                                            let _ = "lift2Value checkedHorizon=15"
                                                                                                                                                                                             in let _ = "comment: satisfy ((GHC.Classes.==) 't')"
                                                                                                                                                                                                 in let _ = "checkHorizon.oldCheck: checkedHorizon=15"
                                                                                                                                                                                                     in let _ = "checkToken"
                                                                                                                                                                                                         in let !(#
                                                                                                                                                                                                                   c,
                                                                                                                                                                                                                   cs
                                                                                                                                                                                                                   #) = readNext cs
                                                                                                                                                                                                             in if (GHC.Classes.==) 't' c
                                                                                                                                                                                                                  then
                                                                                                                                                                                                                    let _ = "lift2Value checkedHorizon=14"
                                                                                                                                                                                                                     in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
                                                                                                                                                                                                                         in let _ = "checkHorizon.oldCheck: checkedHorizon=14"
                                                                                                                                                                                                                             in let _ = "checkToken"
                                                                                                                                                                                                                                 in let !(#
                                                                                                                                                                                                                                           c,
                                                                                                                                                                                                                                           cs
                                                                                                                                                                                                                                           #) = readNext cs
                                                                                                                                                                                                                                     in if (GHC.Classes.==) 'i' c
                                                                                                                                                                                                                                          then
                                                                                                                                                                                                                                            let _ = "lift2Value checkedHorizon=13"
                                                                                                                                                                                                                                             in let _ = "comment: satisfy ((GHC.Classes.==) 'o')"
                                                                                                                                                                                                                                                 in let _ = "checkHorizon.oldCheck: checkedHorizon=13"
                                                                                                                                                                                                                                                     in let _ = "checkToken"
                                                                                                                                                                                                                                                         in let !(#
                                                                                                                                                                                                                                                                   c,
                                                                                                                                                                                                                                                                   cs
                                                                                                                                                                                                                                                                   #) = readNext cs
                                                                                                                                                                                                                                                             in if (GHC.Classes.==) 'o' c
                                                                                                                                                                                                                                                                  then
                                                                                                                                                                                                                                                                    let _ = "lift2Value checkedHorizon=12"
                                                                                                                                                                                                                                                                     in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
                                                                                                                                                                                                                                                                         in let _ = "checkHorizon.oldCheck: checkedHorizon=12"
                                                                                                                                                                                                                                                                             in let _ = "checkToken"
                                                                                                                                                                                                                                                                                 in let !(#
                                                                                                                                                                                                                                                                                           c,
                                                                                                                                                                                                                                                                                           cs
                                                                                                                                                                                                                                                                                           #) = readNext cs
                                                                                                                                                                                                                                                                                     in if (GHC.Classes.==) 'n' c
                                                                                                                                                                                                                                                                                          then
                                                                                                                                                                                                                                                                                            let _ = "lift2Value checkedHorizon=11"
                                                                                                                                                                                                                                                                                             in let _ = "commit"
                                                                                                                                                                                                                                                                                                 in let _ = "lift2Value checkedHorizon=11"
                                                                                                                                                                                                                                                                                                     in name
                                                                                                                                                                                                                                                                                                          ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                             in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                   in name
                                                                                                                                                                                                                                                                                                                        ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                           in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                 in name
                                                                                                                                                                                                                                                                                                                                      ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                         in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                              let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                               in name
                                                                                                                                                                                                                                                                                                                                                    ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                       in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                            let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                             in let join = \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                      let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                       in name
                                                                                                                                                                                                                                                                                                                                                                            ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                               in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                    let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                     in name
                                                                                                                                                                                                                                                                                                                                                                                          ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                                             in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                                  let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                   in do
                                                                                                                                                                                                                                                                                                                                                                                                        sr <- GHC.STRef.readSTRef reg
                                                                                                                                                                                                                                                                                                                                                                                                        let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                         in do
                                                                                                                                                                                                                                                                                                                                                                                                              let dupv = sr
                                                                                                                                                                                                                                                                                                                                                                                                              GHC.STRef.writeSTRef reg dupv
                                                                                                                                                                                                                                                                                                                                                                                                              let _ = "jump"
                                                                                                                                                                                                                                                                                                                                                                                                               in loop (GHC.Err.error "invalid return") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                                                                                                                                          inp
                                                                                                                                                                                                                                                                                                                                                                                          (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                                                                                                                                                            inp
                                                                                                                                                                                                                                                                                                                                                                            (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                                 in let _ = "catch ExceptionFailure checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                     in let onException =
                                                                                                                                                                                                                                                                                                                                                                              let _ = "onException"
                                                                                                                                                                                                                                                                                                                                                                               in \(!_exn) (!failInp) (!farInp) (!farExp) ->
                                                                                                                                                                                                                                                                                                                                                                                    let _ = "comment: raiseAgainIfConsumed"
                                                                                                                                                                                                                                                                                                                                                                                     in let _ = "saveInput checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                         in let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                             in if ( \( Data.Text.Internal.Text
                                                                                                                                                                                                                                                                                                                                                                                                          _
                                                                                                                                                                                                                                                                                                                                                                                                          i
                                                                                                                                                                                                                                                                                                                                                                                                          _
                                                                                                                                                                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                                                                                                                                                                      ( Data.Text.Internal.Text
                                                                                                                                                                                                                                                                                                                                                                                                          _
                                                                                                                                                                                                                                                                                                                                                                                                          j
                                                                                                                                                                                                                                                                                                                                                                                                          _
                                                                                                                                                                                                                                                                                                                                                                                                        ) -> i GHC.Classes.== j
                                                                                                                                                                                                                                                                                                                                                                                                   )
                                                                                                                                                                                                                                                                                                                                                                                                  inp
                                                                                                                                                                                                                                                                                                                                                                                                  failInp
                                                                                                                                                                                                                                                                                                                                                                                                  then
                                                                                                                                                                                                                                                                                                                                                                                                    let _ = "choicesBranch checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                     in name
                                                                                                                                                                                                                                                                                                                                                                                                          ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                                                             in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                                                  let _ = "resume"
                                                                                                                                                                                                                                                                                                                                                                                                                   in join
                                                                                                                                                                                                                                                                                                                                                                                                                        farInp
                                                                                                                                                                                                                                                                                                                                                                                                                        farExp
                                                                                                                                                                                                                                                                                                                                                                                                                        ( let _ = "resume.genCode"
                                                                                                                                                                                                                                                                                                                                                                                                                           in v
                                                                                                                                                                                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                                                                                                                                                                                        inp
                                                                                                                                                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                                                                                                                                                          failInp
                                                                                                                                                                                                                                                                                                                                                                                                          Data.Map.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                                                                  else
                                                                                                                                                                                                                                                                                                                                                                                                    let _ = "choicesBranch.else"
                                                                                                                                                                                                                                                                                                                                                                                                     in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
                                                                                                                                                                                                                                                                                                                                                                         in let _ = "pushValue"
                                                                                                                                                                                                                                                                                                                                                                             in let _ = "comment: satisfy ((GHC.Classes.==) ':')"
                                                                                                                                                                                                                                                                                                                                                                                 in let inp = inp
                                                                                                                                                                                                                                                                                                                                                                                     in let readFail = onException
                                                                                                                                                                                                                                                                                                                                                                                         in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=8"
                                                                                                                                                                                                                                                                                                                                                                                             in if readMore (Symantic.Parser.Machine.Input.shiftRightText 7 inp)
                                                                                                                                                                                                                                                                                                                                                                                                  then
                                                                                                                                                                                                                                                                                                                                                                                                    let _ = "checkToken"
                                                                                                                                                                                                                                                                                                                                                                                                     in let !(#
                                                                                                                                                                                                                                                                                                                                                                                                               c,
                                                                                                                                                                                                                                                                                                                                                                                                               cs
                                                                                                                                                                                                                                                                                                                                                                                                               #) = readNext inp
                                                                                                                                                                                                                                                                                                                                                                                                         in if (GHC.Classes.==) ':' c
                                                                                                                                                                                                                                                                                                                                                                                                              then
                                                                                                                                                                                                                                                                                                                                                                                                                let _ = "lift2Value checkedHorizon=8"
                                                                                                                                                                                                                                                                                                                                                                                                                 in name
                                                                                                                                                                                                                                                                                                                                                                                                                      ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                                                                         in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                                                              let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                               in name
                                                                                                                                                                                                                                                                                                                                                                                                                                    ( let _ = "onReturn"
                                                                                                                                                                                                                                                                                                                                                                                                                                       in \farInp farExp v (!inp) ->
                                                                                                                                                                                                                                                                                                                                                                                                                                            let _ = "lift2Value checkedHorizon=0"
                                                                                                                                                                                                                                                                                                                                                                                                                                             in let _ = "commit"
                                                                                                                                                                                                                                                                                                                                                                                                                                                 in let _ = "resume"
                                                                                                                                                                                                                                                                                                                                                                                                                                                     in join
                                                                                                                                                                                                                                                                                                                                                                                                                                                          farInp
                                                                                                                                                                                                                                                                                                                                                                                                                                                          farExp
                                                                                                                                                                                                                                                                                                                                                                                                                                                          ( let _ = "resume.genCode"
                                                                                                                                                                                                                                                                                                                                                                                                                                                             in GHC.Tuple . ()
                                                                                                                                                                                                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                                                                                                                                                                                                          inp
                                                                                                                                                                                                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                                                                                                                                                                                                    inp
                                                                                                                                                                                                                                                                                                                                                                                                                                    (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                                                                                                                                                                                      cs
                                                                                                                                                                                                                                                                                                                                                                                                                      (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                                                                                              else
                                                                                                                                                                                                                                                                                                                                                                                                                let _ = "checkToken.fail"
                                                                                                                                                                                                                                                                                                                                                                                                                 in let failExp =
                                                                                                                                                                                                                                                                                                                                                                                                                          Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                                                                                                                                                            1
                                                                                                                                                                                                                                                                                                                                                                                                                            ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                                                                                                                                                                ( case inputToken of
                                                                                                                                                                                                                                                                                                                                                                                                                                    (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ':'
                                                                                                                                                                                                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                                                                                                                                                                                                            Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                                                                                            Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                                                                                     in let (#
                                                                                                                                                                                                                                                                                                                                                                                                                              farInp,
                                                                                                                                                                                                                                                                                                                                                                                                                              farExp
                                                                                                                                                                                                                                                                                                                                                                                                                              #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                                                                                                                                                                                                                                GHC.Types.LT ->
                                                                                                                                                                                                                                                                                                                                                                                                                                  (#
                                                                                                                                                                                                                                                                                                                                                                                                                                    inp,
                                                                                                                                                                                                                                                                                                                                                                                                                                    failExp
                                                                                                                                                                                                                                                                                                                                                                                                                                  #)
                                                                                                                                                                                                                                                                                                                                                                                                                                GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                                                                                                                                                                  (#
                                                                                                                                                                                                                                                                                                                                                                                                                                    farInp,
                                                                                                                                                                                                                                                                                                                                                                                                                                    failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                                                                                                                                                                  #)
                                                                                                                                                                                                                                                                                                                                                                                                                                GHC.Types.GT ->
                                                                                                                                                                                                                                                                                                                                                                                                                                  (#
                                                                                                                                                                                                                                                                                                                                                                                                                                    farInp,
                                                                                                                                                                                                                                                                                                                                                                                                                                    farExp
                                                                                                                                                                                                                                                                                                                                                                                                                                  #)
                                                                                                                                                                                                                                                                                                                                                                                                                         in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                                                                                                                                                                                                                                  else
                                                                                                                                                                                                                                                                                                                                                                                                    let _ = "checkHorizon.newCheck.fail"
                                                                                                                                                                                                                                                                                                                                                                                                     in let failExp =
                                                                                                                                                                                                                                                                                                                                                                                                              Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                                                                                                                                                1
                                                                                                                                                                                                                                                                                                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                                                                                                                                                    ( case inputToken of
                                                                                                                                                                                                                                                                                                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 8
                                                                                                                                                                                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                                                                                                                         in let (#
                                                                                                                                                                                                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                                                                                                                                                                                                  farExp
                                                                                                                                                                                                                                                                                                                                                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                                                                                                                                                                                                                                                                                                    GHC.Types.LT ->
                                                                                                                                                                                                                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                                                                                                                                                                                                                        inp,
                                                                                                                                                                                                                                                                                                                                                                                                                        failExp
                                                                                                                                                                                                                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                                                                                                                                                                                                                    GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                                                                                                                                                                                                                                        failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                                                                                                                                                                                                                    GHC.Types.GT ->
                                                                                                                                                                                                                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                                                                                                                                                                                                                                        farExp
                                                                                                                                                                                                                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                                                                                                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                                                                                                                    inp
                                                                                                                                                                                                                                                                                                                                                    (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                                      )
                                                                                                                                                                                                                                                                                                                                      inp
                                                                                                                                                                                                                                                                                                                                      (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                                                                                        inp
                                                                                                                                                                                                                                                                                                                        (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
                                                                                                                                                                                                                                                                                                          )
                                                                                                                                                                                                                                                                                                          cs
                                                                                                                                                                                                                                                                                                          Data.Map.Internal.Tip
                                                                                                                                                                                                                                                                                          else
                                                                                                                                                                                                                                                                                            let _ = "checkToken.fail"
                                                                                                                                                                                                                                                                                             in let failExp =
                                                                                                                                                                                                                                                                                                      Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                                        1
                                                                                                                                                                                                                                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                                            ( case inputToken of
                                                                                                                                                                                                                                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
                                                                                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                                                                        Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                        Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                                 in let (#
                                                                                                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                                                                                                          farExp
                                                                                                                                                                                                                                                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                                                                                            GHC.Types.LT ->
                                                                                                                                                                                                                                                                                                              (#
                                                                                                                                                                                                                                                                                                                cs,
                                                                                                                                                                                                                                                                                                                failExp
                                                                                                                                                                                                                                                                                                              #)
                                                                                                                                                                                                                                                                                                            GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                                              (#
                                                                                                                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                                                                                                                failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                                              #)
                                                                                                                                                                                                                                                                                                            GHC.Types.GT ->
                                                                                                                                                                                                                                                                                                              (#
                                                                                                                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                                                                                                                farExp
                                                                                                                                                                                                                                                                                                              #)
                                                                                                                                                                                                                                                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                                                                                                  else
                                                                                                                                                                                                                                                                    let _ = "checkToken.fail"
                                                                                                                                                                                                                                                                     in let failExp =
                                                                                                                                                                                                                                                                              Data.Set.Internal.Bin
                                                                                                                                                                                                                                                                                1
                                                                                                                                                                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                                                    ( case inputToken of
                                                                                                                                                                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'o'
                                                                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                                                         in let (#
                                                                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                                                                  farExp
                                                                                                                                                                                                                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                                                                    GHC.Types.LT ->
                                                                                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                                                                                        cs,
                                                                                                                                                                                                                                                                                        failExp
                                                                                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                                                                                    GHC.Types.EQ ->
                                                                                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                                                                                                        failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                                                                                    GHC.Types.GT ->
                                                                                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                                                                                                        farExp
                                                                                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                                                                          else
                                                                                                                                                                                                                                            let _ = "checkToken.fail"
                                                                                                                                                                                                                                             in let failExp =
                                                                                                                                                                                                                                                      Data.Set.Internal.Bin
                                                                                                                                                                                                                                                        1
                                                                                                                                                                                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                                            ( case inputToken of
                                                                                                                                                                                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
                                                                                                                                                                                                                                                            )
                                                                                                                                                                                                                                                        )
                                                                                                                                                                                                                                                        Data.Set.Internal.Tip
                                                                                                                                                                                                                                                        Data.Set.Internal.Tip
                                                                                                                                                                                                                                                 in let (#
                                                                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                                                                          farExp
                                                                                                                                                                                                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                                            GHC.Types.LT ->
                                                                                                                                                                                                                                                              (#
                                                                                                                                                                                                                                                                cs,
                                                                                                                                                                                                                                                                failExp
                                                                                                                                                                                                                                                              #)
                                                                                                                                                                                                                                                            GHC.Types.EQ ->
                                                                                                                                                                                                                                                              (#
                                                                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                                                                failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                                              #)
                                                                                                                                                                                                                                                            GHC.Types.GT ->
                                                                                                                                                                                                                                                              (#
                                                                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                                                                farExp
                                                                                                                                                                                                                                                              #)
                                                                                                                                                                                                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                                                  else
                                                                                                                                                                                                                    let _ = "checkToken.fail"
                                                                                                                                                                                                                     in let failExp =
                                                                                                                                                                                                                              Data.Set.Internal.Bin
                                                                                                                                                                                                                                1
                                                                                                                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                                                    ( case inputToken of
                                                                                                                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
                                                                                                                                                                                                                                    )
                                                                                                                                                                                                                                )
                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                                                         in let (#
                                                                                                                                                                                                                                  farInp,
                                                                                                                                                                                                                                  farExp
                                                                                                                                                                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                                                    GHC.Types.LT ->
                                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                                        cs,
                                                                                                                                                                                                                                        failExp
                                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                                    GHC.Types.EQ ->
                                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                                                        failExp GHC.Base.<> farExp
                                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                                    GHC.Types.GT ->
                                                                                                                                                                                                                                      (#
                                                                                                                                                                                                                                        farInp,
                                                                                                                                                                                                                                        farExp
                                                                                                                                                                                                                                      #)
                                                                                                                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                                          else
                                                                                                                                                                                            let _ = "checkToken.fail"
                                                                                                                                                                                             in let failExp =
                                                                                                                                                                                                      Data.Set.Internal.Bin
                                                                                                                                                                                                        1
                                                                                                                                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                                            ( case inputToken of
                                                                                                                                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
                                                                                                                                                                                                            )
                                                                                                                                                                                                        )
                                                                                                                                                                                                        Data.Set.Internal.Tip
                                                                                                                                                                                                        Data.Set.Internal.Tip
                                                                                                                                                                                                 in let (#
                                                                                                                                                                                                          farInp,
                                                                                                                                                                                                          farExp
                                                                                                                                                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                                            GHC.Types.LT ->
                                                                                                                                                                                                              (#
                                                                                                                                                                                                                cs,
                                                                                                                                                                                                                failExp
                                                                                                                                                                                                              #)
                                                                                                                                                                                                            GHC.Types.EQ ->
                                                                                                                                                                                                              (#
                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                failExp GHC.Base.<> farExp
                                                                                                                                                                                                              #)
                                                                                                                                                                                                            GHC.Types.GT ->
                                                                                                                                                                                                              (#
                                                                                                                                                                                                                farInp,
                                                                                                                                                                                                                farExp
                                                                                                                                                                                                              #)
                                                                                                                                                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                                                  else
                                                                                                                                                                    let _ = "checkToken.fail"
                                                                                                                                                                     in let failExp =
                                                                                                                                                                              Data.Set.Internal.Bin
                                                                                                                                                                                1
                                                                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                                                    ( case inputToken of
                                                                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
                                                                                                                                                                                    )
                                                                                                                                                                                )
                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                                                         in let (#
                                                                                                                                                                                  farInp,
                                                                                                                                                                                  farExp
                                                                                                                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                                                    GHC.Types.LT ->
                                                                                                                                                                                      (#
                                                                                                                                                                                        cs,
                                                                                                                                                                                        failExp
                                                                                                                                                                                      #)
                                                                                                                                                                                    GHC.Types.EQ ->
                                                                                                                                                                                      (#
                                                                                                                                                                                        farInp,
                                                                                                                                                                                        failExp GHC.Base.<> farExp
                                                                                                                                                                                      #)
                                                                                                                                                                                    GHC.Types.GT ->
                                                                                                                                                                                      (#
                                                                                                                                                                                        farInp,
                                                                                                                                                                                        farExp
                                                                                                                                                                                      #)
                                                                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                                          else
                                                                                                                                            let _ = "checkToken.fail"
                                                                                                                                             in let failExp =
                                                                                                                                                      Data.Set.Internal.Bin
                                                                                                                                                        1
                                                                                                                                                        ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                                            ( case inputToken of
                                                                                                                                                                (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'u'
                                                                                                                                                            )
                                                                                                                                                        )
                                                                                                                                                        Data.Set.Internal.Tip
                                                                                                                                                        Data.Set.Internal.Tip
                                                                                                                                                 in let (#
                                                                                                                                                          farInp,
                                                                                                                                                          farExp
                                                                                                                                                          #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
                                                                                                                                                            GHC.Types.LT ->
                                                                                                                                                              (#
                                                                                                                                                                cs,
                                                                                                                                                                failExp
                                                                                                                                                              #)
                                                                                                                                                            GHC.Types.EQ ->
                                                                                                                                                              (#
                                                                                                                                                                farInp,
                                                                                                                                                                failExp GHC.Base.<> farExp
                                                                                                                                                              #)
                                                                                                                                                            GHC.Types.GT ->
                                                                                                                                                              (#
                                                                                                                                                                farInp,
                                                                                                                                                                farExp
                                                                                                                                                              #)
                                                                                                                                                     in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
                                                                                                                  else
                                                                                                                    let _ = "checkToken.fail"
                                                                                                                     in let failExp =
                                                                                                                              Data.Set.Internal.Bin
                                                                                                                                1
                                                                                                                                ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                                    ( case inputToken of
                                                                                                                                        (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
                                                                                                                                    )
                                                                                                                                )
                                                                                                                                Data.Set.Internal.Tip
                                                                                                                                Data.Set.Internal.Tip
                                                                                                                         in let (#
                                                                                                                                  farInp,
                                                                                                                                  farExp
                                                                                                                                  #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                                    GHC.Types.LT ->
                                                                                                                                      (#
                                                                                                                                        inp,
                                                                                                                                        failExp
                                                                                                                                      #)
                                                                                                                                    GHC.Types.EQ ->
                                                                                                                                      (#
                                                                                                                                        farInp,
                                                                                                                                        failExp GHC.Base.<> farExp
                                                                                                                                      #)
                                                                                                                                    GHC.Types.GT ->
                                                                                                                                      (#
                                                                                                                                        farInp,
                                                                                                                                        farExp
                                                                                                                                      #)
                                                                                                                             in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                                                                      else
                                                                                                        let _ = "checkHorizon.newCheck.fail"
                                                                                                         in let failExp =
                                                                                                                  Data.Set.Internal.Bin
                                                                                                                    1
                                                                                                                    ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                                                                                                        ( case inputToken of
                                                                                                                            (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 18
                                                                                                                        )
                                                                                                                    )
                                                                                                                    Data.Set.Internal.Tip
                                                                                                                    Data.Set.Internal.Tip
                                                                                                             in let (#
                                                                                                                      farInp,
                                                                                                                      farExp
                                                                                                                      #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
                                                                                                                        GHC.Types.LT ->
                                                                                                                          (#
                                                                                                                            inp,
                                                                                                                            failExp
                                                                                                                          #)
                                                                                                                        GHC.Types.EQ ->
                                                                                                                          (#
                                                                                                                            farInp,
                                                                                                                            failExp GHC.Base.<> farExp
                                                                                                                          #)
                                                                                                                        GHC.Types.GT ->
                                                                                                                          (#
                                                                                                                            farInp,
                                                                                                                            farExp
                                                                                                                          #)
                                                                                                                 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
                                                               in let _ = "jump"
                                                                   in loop finalRet inp Data.Map.Internal.Tip
                                        )
                                        inp
                                        Data.Map.Internal.Tip
                            else
                              let _ = "checkHorizon.newCheck.fail"
                               in let failExp =
                                        Data.Set.Internal.Bin
                                          1
                                          ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                              ( case inputToken of
                                                  (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
                                              )
                                          )
                                          Data.Set.Internal.Tip
                                          Data.Set.Internal.Tip
                                   in let (#
                                            farInp,
                                            farExp
                                            #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
                                              GHC.Types.LT ->
                                                (#
                                                  inp,
                                                  failExp
                                                #)
                                              GHC.Types.EQ ->
                                                (#
                                                  init,
                                                  failExp GHC.Base.<> Data.Set.Internal.empty
                                                #)
                                              GHC.Types.GT ->
                                                (#
                                                  init,
                                                  Data.Set.Internal.empty
                                                #)
                                       in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
        )