{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.CertifierReport where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text
import qualified MAlonzo.Code.Agda.Builtin.Maybe
import qualified MAlonzo.Code.Agda.Builtin.Sigma
import qualified MAlonzo.Code.Agda.Builtin.String
import qualified MAlonzo.Code.Data.Bool.Base
import qualified MAlonzo.Code.Data.Fin.Base
import qualified MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base
import qualified MAlonzo.Code.Data.Nat.Show
import qualified MAlonzo.Code.Data.String.Base
import qualified MAlonzo.Code.Untyped
import qualified MAlonzo.Code.Untyped.RenamingSubstitution
import qualified MAlonzo.Code.Utils
import qualified MAlonzo.Code.VerifiedCompilation
import qualified MAlonzo.Code.VerifiedCompilation.Trace
import qualified MAlonzo.Code.VerifiedCompilation.UInline
import qualified MAlonzo.Code.VerifiedCompilation.UntypedTranslation

-- CertifierReport.⇉_
d_'8649'__2 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_'8649'__2 :: Text -> Text
d_'8649'__2 Text
v0
  = (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
      (Text
"  " :: Data.Text.Text) Text
v0
-- CertifierReport.nl
d_nl_6 :: MAlonzo.Code.Agda.Builtin.String.T_String_6
d_nl_6 :: Text
d_nl_6 = Text -> Text
forall a b. a -> b
coe (Text
"\n" :: Data.Text.Text)
-- CertifierReport.hl
d_hl_8 :: MAlonzo.Code.Agda.Builtin.String.T_String_6
d_hl_8 :: Text
d_hl_8
  = Text -> Text
forall a b. a -> b
coe
      (Text
"\n\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\n"
       ::
       Data.Text.Text)
-- CertifierReport.showTag
d_showTag_10 ::
  MAlonzo.Code.VerifiedCompilation.Trace.T_SimplifierTag_4 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showTag_10 :: T_SimplifierTag_4 -> Text
d_showTag_10 T_SimplifierTag_4
v0
  = case T_SimplifierTag_4 -> T_SimplifierTag_4
forall a b. a -> b
coe T_SimplifierTag_4
v0 of
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_floatDelayT_6
        -> Text -> Text
forall a b. a -> b
coe (Text
"Float Delay" :: Data.Text.Text)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_forceDelayT_8
        -> Text -> Text
forall a b. a -> b
coe (Text
"Force-Delay Cancellation" :: Data.Text.Text)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_forceCaseDelayT_10
        -> Text -> Text
forall a b. a -> b
coe (Text
"Float Force into Case Branches" :: Data.Text.Text)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_caseOfCaseT_12
        -> Text -> Text
forall a b. a -> b
coe (Text
"Case-of-Case" :: Data.Text.Text)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_caseReduceT_14
        -> Text -> Text
forall a b. a -> b
coe
             (Text
"Case-Constr and Case-Constant Cancellation" :: Data.Text.Text)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_inlineT_16
        -> Text -> Text
forall a b. a -> b
coe (Text
"Inlining" :: Data.Text.Text)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_cseT_18
        -> Text -> Text
forall a b. a -> b
coe (Text
"Common Subexpression Elimination" :: Data.Text.Text)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20
        -> Text -> Text
forall a b. a -> b
coe
             (Text
"Transform multi-argument applications into case-constr form"
              ::
              Data.Text.Text)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_unknown_22
        -> Text -> Text
forall a b. a -> b
coe (Text
"Unknown Pass" :: Data.Text.Text)
      T_SimplifierTag_4
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.numSites′
d_numSites'8242'_18 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_12 ->
  Integer
d_numSites'8242'_18 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer
d_numSites'8242'_18 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 T__'8866'_14
v1 T__'8866'_14
v2 = T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer
du_numSites'8242'_18 T__'8866'_14
v1 T__'8866'_14
v2
du_numSites'8242'_18 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_12 ->
  Integer
du_numSites'8242'_18 :: T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer
du_numSites'8242'_18 T__'8866'_14
v0 T__'8866'_14
v1
  = (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_12
 -> Integer)
-> Any
-> Any
-> Any
-> Any
-> Any
-> Any
-> T_Translation_12
-> Integer
forall a b. a -> b
coe
      T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
du_go_32 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1)
      (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer))
-- CertifierReport._.go
d_go_32 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_12 ->
  Integer
d_go_32 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> T__'8866'_14
-> T__'8866'_14
-> (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
d_go_32 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 T__'8866'_14
v1 T__'8866'_14
v2 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v3 Integer
v4 T__'8866'_14
v5 T__'8866'_14
v6 Integer
v7 T_Translation_12
v8
  = T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
du_go_32 T__'8866'_14
v1 T__'8866'_14
v2 Integer
v4 T__'8866'_14
v5 T__'8866'_14
v6 Integer
v7 T_Translation_12
v8
du_go_32 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_12 ->
  Integer
du_go_32 :: T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
du_go_32 T__'8866'_14
v0 T__'8866'_14
v1 Integer
v2 T__'8866'_14
v3 T__'8866'_14
v4 Integer
v5 T_Translation_12
v6
  = case T_Translation_12 -> T_Translation_12
forall a b. a -> b
coe T_Translation_12
v6 of
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_istranslation_92 Any
v9
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v5)
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_match_98 T_TransMatch_18
v9
        -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_TransMatch_18
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
             T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_TransMatch_18
-> Integer
du_go'7504'_42 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v4)
             (Integer -> Any
forall a b. a -> b
coe Integer
v5) (T_TransMatch_18 -> Any
forall a b. a -> b
coe T_TransMatch_18
v9)
      T_Translation_12
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport._.goᵐ
d_go'7504'_42 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_TransMatch_18 ->
  Integer
d_go'7504'_42 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> T__'8866'_14
-> T__'8866'_14
-> (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_TransMatch_18
-> Integer
d_go'7504'_42 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 T__'8866'_14
v1 T__'8866'_14
v2 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v3 Integer
v4 T__'8866'_14
v5 T__'8866'_14
v6 Integer
v7 T_TransMatch_18
v8
  = T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_TransMatch_18
-> Integer
du_go'7504'_42 T__'8866'_14
v1 T__'8866'_14
v2 Integer
v4 T__'8866'_14
v5 T__'8866'_14
v6 Integer
v7 T_TransMatch_18
v8
du_go'7504'_42 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_TransMatch_18 ->
  Integer
du_go'7504'_42 :: T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_TransMatch_18
-> Integer
du_go'7504'_42 T__'8866'_14
v0 T__'8866'_14
v1 Integer
v2 T__'8866'_14
v3 T__'8866'_14
v4 Integer
v5 T_TransMatch_18
v6
  = case T_TransMatch_18 -> T_TransMatch_18
forall a b. a -> b
coe T_TransMatch_18
v6 of
      T_TransMatch_18
MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_var_26
        -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_ƛ_32 T_Translation_12
v9
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v10
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v11
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_12
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
du_go_32 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1)
                           ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v2)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v10) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v11)
                           (Integer -> Any
forall a b. a -> b
coe Integer
v5) (T_Translation_12 -> Any
forall a b. a -> b
coe T_Translation_12
v9)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_app_42 T_Translation_12
v11 T_Translation_12
v12
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v13 T__'8866'_14
v14
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v15 T__'8866'_14
v16
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_12
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
du_go_32 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v14) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v16)
                           ((T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_12
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
du_go_32 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v13) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v15) (Integer -> Any
forall a b. a -> b
coe Integer
v5)
                              (T_Translation_12 -> Any
forall a b. a -> b
coe T_Translation_12
v11))
                           (T_Translation_12 -> Any
forall a b. a -> b
coe T_Translation_12
v12)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_force_48 T_Translation_12
v9
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v10
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v11
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_12
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
du_go_32 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v10) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v11) (Integer -> Any
forall a b. a -> b
coe Integer
v5)
                           (T_Translation_12 -> Any
forall a b. a -> b
coe T_Translation_12
v9)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_delay_54 T_Translation_12
v9
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v10
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v11
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_12
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
du_go_32 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v10) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v11) (Integer -> Any
forall a b. a -> b
coe Integer
v5)
                           (T_Translation_12 -> Any
forall a b. a -> b
coe T_Translation_12
v9)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_TransMatch_18
MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_con_58
        -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_constr_66 T_Pointwise_48
v10
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C_constr_34 Integer
v11 [T__'8866'_14]
v12
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C_constr_34 Integer
v13 [T__'8866'_14]
v14
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> Integer
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
du_go'7510''695'_52 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v12) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v14)
                           (Integer -> Any
forall a b. a -> b
coe Integer
v5) (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v10)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_case_76 T_Pointwise_48
v11 T_Translation_12
v12
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v13 [T__'8866'_14]
v14
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v15 [T__'8866'_14]
v16
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_12
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
du_go_32 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v13) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v15)
                           ((T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> Integer
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              T__'8866'_14
-> T__'8866'_14
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
du_go'7510''695'_52 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v14) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v16)
                              (Integer -> Any
forall a b. a -> b
coe Integer
v5) (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v11))
                           (T_Translation_12 -> Any
forall a b. a -> b
coe T_Translation_12
v12)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_TransMatch_18
MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_builtin_80
        -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      T_TransMatch_18
MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_error_82
        -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      T_TransMatch_18
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport._.goᵖʷ
d_go'7510''695'_52 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  Integer ->
  MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.T_Pointwise_48 ->
  Integer
d_go'7510''695'_52 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> T__'8866'_14
-> T__'8866'_14
-> (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
d_go'7510''695'_52 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 T__'8866'_14
v1 T__'8866'_14
v2 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v3 Integer
v4 [T__'8866'_14]
v5 [T__'8866'_14]
v6 Integer
v7 T_Pointwise_48
v8
  = T__'8866'_14
-> T__'8866'_14
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
du_go'7510''695'_52 T__'8866'_14
v1 T__'8866'_14
v2 Integer
v4 [T__'8866'_14]
v5 [T__'8866'_14]
v6 Integer
v7 T_Pointwise_48
v8
du_go'7510''695'_52 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  Integer ->
  MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.T_Pointwise_48 ->
  Integer
du_go'7510''695'_52 :: T__'8866'_14
-> T__'8866'_14
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
du_go'7510''695'_52 T__'8866'_14
v0 T__'8866'_14
v1 Integer
v2 [T__'8866'_14]
v3 [T__'8866'_14]
v4 Integer
v5 T_Pointwise_48
v6
  = case T_Pointwise_48 -> T_Pointwise_48
forall a b. a -> b
coe T_Pointwise_48
v6 of
      T_Pointwise_48
MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.C_'91''93'_56
        -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.C__'8759'__62 Any
v11 T_Pointwise_48
v12
        -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v3 of
             (:) Any
v13 [Any]
v14
               -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v4 of
                    (:) Any
v15 [Any]
v16
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> Integer
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
du_go'7510''695'_52 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) ([Any] -> Any
forall a b. a -> b
coe [Any]
v14) ([Any] -> Any
forall a b. a -> b
coe [Any]
v16)
                           ((T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_12
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_12
-> Integer
du_go_32 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (Any -> Any
forall a b. a -> b
coe Any
v13) (Any -> Any
forall a b. a -> b
coe Any
v15) (Integer -> Any
forall a b. a -> b
coe Integer
v5)
                              (Any -> Any
forall a b. a -> b
coe Any
v11))
                           (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v12)
                    [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Pointwise_48
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.numSitesInlineᵖʷ
d_numSitesInline'7510''695'_114 ::
  Integer ->
  (MAlonzo.Code.Data.Fin.Base.T_Fin_10 ->
   MAlonzo.Code.Untyped.T__'8866'_14) ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.T_Pointwise_48 ->
  Integer
d_numSitesInline'7510''695'_114 :: Integer
-> (T_Fin_10 -> T__'8866'_14)
-> [T__'8866'_14]
-> [T__'8866'_14]
-> T_Pointwise_48
-> Integer
d_numSitesInline'7510''695'_114 Integer
v0 T_Fin_10 -> T__'8866'_14
v1 [T__'8866'_14]
v2 [T__'8866'_14]
v3 T_Pointwise_48
v4
  = case T_Pointwise_48 -> T_Pointwise_48
forall a b. a -> b
coe T_Pointwise_48
v4 of
      T_Pointwise_48
MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.C_'91''93'_56
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.C__'8759'__62 Any
v9 T_Pointwise_48
v10
        -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v2 of
             (:) Any
v11 [Any]
v12
               -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v3 of
                    (:) Any
v13 [Any]
v14
                      -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer -> Integer -> Integer
addInt
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                              (Any -> Any
forall a b. a -> b
coe Any
v11) (Any -> Any
forall a b. a -> b
coe Any
v13) (Any -> Any
forall a b. a -> b
coe Any
v9))
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> [T__'8866'_14]
-> [T__'8866'_14]
-> T_Pointwise_48
-> Integer
d_numSitesInline'7510''695'_114 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1) ([Any] -> Any
forall a b. a -> b
coe [Any]
v12)
                              ([Any] -> Any
forall a b. a -> b
coe [Any]
v14) (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v10))
                    [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Pointwise_48
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.numSitesInline
d_numSitesInline_132 ::
  Integer ->
  (MAlonzo.Code.Data.Fin.Base.T_Fin_10 ->
   MAlonzo.Code.Untyped.T__'8866'_14) ->
  MAlonzo.Code.VerifiedCompilation.UInline.T__'8605'_28 ->
  MAlonzo.Code.VerifiedCompilation.UInline.T__'8605'_28 ->
  MAlonzo.Code.VerifiedCompilation.UInline.T__'8829'__102 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.UInline.T_Inline_224 -> Integer
d_numSitesInline_132 :: Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 Integer
v0 T_Fin_10 -> T__'8866'_14
v1 T__'8605'_28
v2 T__'8605'_28
v3 T__'8829'__102
v4 T__'8866'_14
v5 T__'8866'_14
v6 T_Inline_224
v7
  = case T_Inline_224 -> T_Inline_224
forall a b. a -> b
coe T_Inline_224
v7 of
      T_Inline_224
MAlonzo.Code.VerifiedCompilation.UInline.C_'96'_230
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      MAlonzo.Code.VerifiedCompilation.UInline.C_'96''8595'_234 T_Inline_224
v14
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_'96'_18 T_Fin_10
v15
               -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                    Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
                    ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                       Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v2) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v3) (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
v4)
                       ((T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1 T_Fin_10
v15) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v14))
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_ƛ'9633'_236 T_Inline_224
v11
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v12
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v13
                      -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v0))
                           ((Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.du_lifts_378 (Integer -> Any
forall a b. a -> b
coe Integer
v0)
                              ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1))
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                           (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v12) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v13) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v11)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_ƛ_240 T_Inline_224
v15
        -> case T__'8605'_28 -> T__'8605'_28
forall a b. a -> b
coe T__'8605'_28
v2 of
             MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 T__'8605'_28
v16 T__'8866'_14
v17
               -> case T__'8605'_28 -> T__'8605'_28
forall a b. a -> b
coe T__'8605'_28
v3 of
                    MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 T__'8605'_28
v18 T__'8866'_14
v19
                      -> case T__'8829'__102 -> T__'8829'__102
forall a b. a -> b
coe T__'8829'__102
v4 of
                           MAlonzo.Code.VerifiedCompilation.UInline.C_keep_114 T__'8829'__102
v23
                             -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
                                  MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v24
                                    -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                                         MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v25
                                           -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132
                                                ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v0))
                                                (((T_Fin_10 -> T__'8866'_14)
 -> T__'8866'_14 -> T_Fin_10 -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                                   (T_Fin_10 -> T__'8866'_14)
-> T__'8866'_14 -> T_Fin_10 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.du_extend_454
                                                   ((Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                                      Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.du__'8593''738'_470
                                                      (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1))
                                                   ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                      Integer -> T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.d_weaken_88
                                                      (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v17)))
                                                ((Integer -> T__'8605'_28 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                   Integer -> T__'8605'_28 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.d__'8593''7611'_40
                                                   (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v16))
                                                ((Integer -> T__'8605'_28 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                   Integer -> T__'8605'_28 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.d__'8593''7611'_40
                                                   (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v18))
                                                ((T__'8605'_28 -> T__'8605'_28 -> T__'8829'__102 -> T__'8829'__102)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                                   T__'8605'_28 -> T__'8605'_28 -> T__'8829'__102 -> T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.du__'8593''7611''7611'_126
                                                   (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v16) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v18) (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
v23))
                                                (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v24) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v25) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v15)
                                         T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                  T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                           T__'8829'__102
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                    T__'8605'_28
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8605'_28
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_ƛ'8595'_244 T_Inline_224
v15
        -> case T__'8605'_28 -> T__'8605'_28
forall a b. a -> b
coe T__'8605'_28
v2 of
             MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 T__'8605'_28
v16 T__'8866'_14
v17
               -> case T__'8605'_28 -> T__'8605'_28
forall a b. a -> b
coe T__'8605'_28
v3 of
                    MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 T__'8605'_28
v18 T__'8866'_14
v19
                      -> case T__'8829'__102 -> T__'8829'__102
forall a b. a -> b
coe T__'8829'__102
v4 of
                           MAlonzo.Code.VerifiedCompilation.UInline.C_drop_122 T__'8829'__102
v23
                             -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
                                  MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v24
                                    -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                                         Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132
                                         ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v0))
                                         (((T_Fin_10 -> T__'8866'_14)
 -> T__'8866'_14 -> T_Fin_10 -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                            (T_Fin_10 -> T__'8866'_14)
-> T__'8866'_14 -> T_Fin_10 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.du_extend_454
                                            ((Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                               Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.du__'8593''738'_470
                                               (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1))
                                            ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any -> Any -> Any
forall a b. a -> b
coe
                                               Integer -> T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.d_weaken_88
                                               (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v17)))
                                         ((Integer -> T__'8605'_28 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Integer -> T__'8605'_28 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.d__'8593''7611'_40
                                            (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v16))
                                         ((Integer -> T__'8605'_28 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Integer -> T__'8605'_28 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.d__'8593''7611'_40
                                            (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v18))
                                         ((T__'8605'_28 -> T__'8605'_28 -> T__'8829'__102 -> T__'8829'__102)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                            T__'8605'_28 -> T__'8605'_28 -> T__'8829'__102 -> T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.du__'8593''7611''7611'_126
                                            (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v16) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v18) (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
v23))
                                         (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v24)
                                         ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Integer -> T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.d_weaken_88
                                            (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
                                         (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v15)
                                  T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                           T__'8829'__102
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                    T__'8605'_28
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8605'_28
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__250 T_Inline_224
v16 T_Inline_224
v17
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v18 T__'8866'_14
v19
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v20 T__'8866'_14
v21
                      -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer -> Integer -> Integer
addInt
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                              (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v19) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v21) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v17))
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                              ((T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                 T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v2)
                                 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v19))
                              ((T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                 T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v3)
                                 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v19))
                              ((T__'8829'__102 -> T__'8829'__102) -> T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102 -> T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_keep_114 T__'8829'__102
v4)
                              (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v18) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v20) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v16))
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C__'183''8595'_254 T_Inline_224
v15
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v16 T__'8866'_14
v17
               -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                    Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                    ((T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                       T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v2)
                       (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v17))
                    ((T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                       T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v3)
                       (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v17))
                    ((T__'8829'__102 -> T__'8829'__102) -> T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102 -> T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_drop_122 T__'8829'__102
v4)
                    (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v16) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v15)
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_force_258 T_Inline_224
v14
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v15
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v16
                      -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                           (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v15) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v16) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v14)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_delay_262 T_Inline_224
v14
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v15
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v16
                      -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                           (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v15) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v16) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v14)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Inline_224
MAlonzo.Code.VerifiedCompilation.UInline.C_con_266
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      T_Inline_224
MAlonzo.Code.VerifiedCompilation.UInline.C_builtin_270
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      MAlonzo.Code.VerifiedCompilation.UInline.C_constr_280 T_Pointwise_48
v15
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_constr_34 Integer
v16 [T__'8866'_14]
v17
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C_constr_34 Integer
v18 [T__'8866'_14]
v19
                      -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer
-> (T_Fin_10 -> T__'8866'_14)
-> [T__'8866'_14]
-> [T__'8866'_14]
-> T_Pointwise_48
-> Integer
d_numSitesInline'7510''695'_114 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v17)
                           ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v19) (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v15)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_case_290 T_Inline_224
v16 T_Pointwise_48
v17
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v18 [T__'8866'_14]
v19
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v20 [T__'8866'_14]
v21
                      -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer -> Integer -> Integer
addInt
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                              (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v18) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v20) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v16))
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> [T__'8866'_14]
-> [T__'8866'_14]
-> T_Pointwise_48
-> Integer
d_numSitesInline'7510''695'_114 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v19)
                              ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v21) (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v17))
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Inline_224
MAlonzo.Code.VerifiedCompilation.UInline.C_error_292
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      T_Inline_224
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.numSites
d_numSites_170 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.Trace.T_SimplifierTag_4 ->
  AgdaAny -> Maybe Integer
d_numSites_170 :: T__'8866'_14
-> T__'8866'_14 -> T_SimplifierTag_4 -> Any -> Maybe Integer
d_numSites_170 T__'8866'_14
v0 T__'8866'_14
v1 T_SimplifierTag_4
v2 Any
v3
  = case T_SimplifierTag_4 -> T_SimplifierTag_4
forall a b. a -> b
coe T_SimplifierTag_4
v2 of
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_floatDelayT_6
        -> (Any -> Maybe Any) -> Any -> Maybe Integer
forall a b. a -> b
coe
             Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
             ((T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer)
-> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer
du_numSites'8242'_18 T__'8866'_14
v0 T__'8866'_14
v1 Any
v3)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_forceDelayT_8
        -> (Any -> Maybe Any) -> Any -> Maybe Integer
forall a b. a -> b
coe
             Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
             ((T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer)
-> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer
du_numSites'8242'_18 T__'8866'_14
v0 T__'8866'_14
v1 Any
v3)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_forceCaseDelayT_10
        -> Maybe Any -> Maybe Integer
forall a b. a -> b
coe Maybe Any
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_caseOfCaseT_12
        -> Maybe Any -> Maybe Integer
forall a b. a -> b
coe Maybe Any
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_caseReduceT_14
        -> (Any -> Maybe Any) -> Any -> Maybe Integer
forall a b. a -> b
coe
             Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
             ((T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer)
-> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer
du_numSites'8242'_18 T__'8866'_14
v0 T__'8866'_14
v1 Any
v3)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_inlineT_16
        -> (Any -> Maybe Any) -> Any -> Maybe Integer
forall a b. a -> b
coe
             Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
             ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_132 (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)) Any
forall a. a
erased
                (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Any -> Any
forall a b. a -> b
coe Any
v3))
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_cseT_18
        -> (Any -> Maybe Any) -> Any -> Maybe Integer
forall a b. a -> b
coe
             Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
             ((T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer)
-> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer
du_numSites'8242'_18 T__'8866'_14
v0 T__'8866'_14
v1 Any
v3)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_20
        -> (Any -> Maybe Any) -> Any -> Maybe Integer
forall a b. a -> b
coe
             Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
             ((T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer)
-> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14 -> T_Translation_12 -> Integer
du_numSites'8242'_18 T__'8866'_14
v0 T__'8866'_14
v1 Any
v3)
      T_SimplifierTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_unknown_22
        -> Maybe Any -> Maybe Integer
forall a b. a -> b
coe Maybe Any
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
      T_SimplifierTag_4
_ -> Maybe Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.showSites
d_showSites_190 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.Trace.T_SimplifierTag_4 ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showSites_190 :: T__'8866'_14 -> T__'8866'_14 -> T_SimplifierTag_4 -> Any -> Text
d_showSites_190 T__'8866'_14
v0 T__'8866'_14
v1 T_SimplifierTag_4
v2 Any
v3
  = let v4 :: Maybe Integer
v4 = T__'8866'_14
-> T__'8866'_14 -> T_SimplifierTag_4 -> Any -> Maybe Integer
d_numSites_170 (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1) (T_SimplifierTag_4 -> T_SimplifierTag_4
forall a b. a -> b
coe T_SimplifierTag_4
v2) (Any -> Any
forall a b. a -> b
coe Any
v3) in
    Any -> Text
forall a b. a -> b
coe
      (case Maybe Integer -> Maybe Any
forall a b. a -> b
coe Maybe Integer
v4 of
         MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v5
           -> (Text -> Text) -> Any -> Any
forall a b. a -> b
coe
                Text -> Text
d_'8649'__2
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (Text
"Optimization sites: " :: Data.Text.Text)
                   ((Integer -> Text) -> Any -> Any
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 Any
v5))
         Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
           -> Text -> Any
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
         Maybe Any
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError)
-- CertifierReport.termSize
d_termSize_212 ::
  Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> Integer
d_termSize_212 :: Integer -> T__'8866'_14 -> Integer
d_termSize_212 Integer
v0 T__'8866'_14
v1
  = case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
      MAlonzo.Code.Untyped.C_'96'_18 T_Fin_10
v2 -> Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)
      MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v2
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
             ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe
                Integer -> T__'8866'_14 -> Integer
d_termSize_212 ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v0)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2))
      MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v2 T__'8866'_14
v3
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt
             ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe
                Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_212 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2)))
             ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_212 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
      MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v2
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_212 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2))
      MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v2
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_212 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2))
      MAlonzo.Code.Untyped.C_con_28 T_TmCon_202
v2 -> Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)
      MAlonzo.Code.Untyped.C_constr_34 Integer
v2 [T__'8866'_14]
v3
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
             ((Integer -> [T__'8866'_14] -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> [T__'8866'_14] -> Integer
d_termSize'7510''695'_216 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v3))
      MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v2 [T__'8866'_14]
v3
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt
             ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe
                Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
                ((Integer -> [T__'8866'_14] -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> [T__'8866'_14] -> Integer
d_termSize'7510''695'_216 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v3)))
             ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_212 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2))
      MAlonzo.Code.Untyped.C_builtin_44 T_Builtin_2
v2 -> Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)
      T__'8866'_14
MAlonzo.Code.Untyped.C_error_46 -> Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)
      T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.termSizeᵖʷ
d_termSize'7510''695'_216 ::
  Integer -> [MAlonzo.Code.Untyped.T__'8866'_14] -> Integer
d_termSize'7510''695'_216 :: Integer -> [T__'8866'_14] -> Integer
d_termSize'7510''695'_216 Integer
v0 [T__'8866'_14]
v1
  = case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v1 of
      [] -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      (:) Any
v2 [Any]
v3
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt ((Integer -> [T__'8866'_14] -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> [T__'8866'_14] -> Integer
d_termSize'7510''695'_216 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ([Any] -> Any
forall a b. a -> b
coe [Any]
v3))
             ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_212 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (Any -> Any
forall a b. a -> b
coe Any
v2))
      [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.reportPasses
d_reportPasses_244 ::
  Integer ->
  MAlonzo.Code.VerifiedCompilation.Trace.T_Trace_60 ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.String.T_String_6
d_reportPasses_244 :: Integer -> T_Trace_60 -> Any -> Text
d_reportPasses_244 Integer
v0 T_Trace_60
v1 Any
v2
  = case T_Trace_60 -> T_Trace_60
forall a b. a -> b
coe T_Trace_60
v1 of
      MAlonzo.Code.VerifiedCompilation.Trace.C_step_64 T_SimplifierTag_4
v3 T_Hints_52
v4 Any
v5 T_Trace_60
v6
        -> case Any -> (Any, Any)
forall a b. a -> b
coe Any
v2 of
             MAlonzo.Code.Utils.C__'44'__440 Any
v7 Any
v8
               -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
                    Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
                    ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                       Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                       (Text
"Pass " :: Data.Text.Text)
                       ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                          Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                          ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 Integer
v0)
                          ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                             (Text
": " :: Data.Text.Text)
                             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                (T_SimplifierTag_4 -> Text
d_showTag_10 (T_SimplifierTag_4 -> T_SimplifierTag_4
forall a b. a -> b
coe T_SimplifierTag_4
v3))
                                ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                   ((Bool -> Any -> Any -> Any) -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                      Bool -> Any -> Any -> Any
MAlonzo.Code.Data.Bool.Base.du_if_then_else__44
                                      ((T_SimplifierTag_4 -> Bool) -> Any -> Any
forall a b. a -> b
coe
                                         T_SimplifierTag_4 -> Bool
MAlonzo.Code.VerifiedCompilation.d_hasRelation_16 (T_SimplifierTag_4 -> Any
forall a b. a -> b
coe T_SimplifierTag_4
v3))
                                      (Text -> Any
forall a b. a -> b
coe (Text
"  \9989" :: Data.Text.Text))
                                      (Text -> Any
forall a b. a -> b
coe (Text
"  \9888 (certifier unavailable)" :: Data.Text.Text)))
                                   ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
                                      ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                         Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                         (Text -> Text
d_'8649'__2
                                            (Text -> Text
forall a b. a -> b
coe (Text
"Program Size Before: " :: Data.Text.Text)))
                                         ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                            ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe
                                               Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56
                                               (Integer -> T__'8866'_14 -> Integer
d_termSize_212 (Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)) (Any -> T__'8866'_14
forall a b. a -> b
coe Any
v5)))
                                            ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                               Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_nl_6
                                               ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                                  Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                  (Text -> Text
d_'8649'__2
                                                     (Text -> Text
forall a b. a -> b
coe
                                                        (Text
"Program Size After: " :: Data.Text.Text)))
                                                  ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                     Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                     ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe
                                                        Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56
                                                        (Integer -> T__'8866'_14 -> Integer
d_termSize_212
                                                           (Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer))
                                                           ((T_Trace_60 -> Any) -> Any -> T__'8866'_14
forall a b. a -> b
coe
                                                              T_Trace_60 -> Any
MAlonzo.Code.VerifiedCompilation.Trace.d_head_70
                                                              (T_Trace_60 -> Any
forall a b. a -> b
coe T_Trace_60
v6))))
                                                     ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                                        Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                        Text
d_nl_6
                                                        ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                                           Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                           (T__'8866'_14 -> T__'8866'_14 -> T_SimplifierTag_4 -> Any -> Text
d_showSites_190
                                                              (Any -> T__'8866'_14
forall a b. a -> b
coe Any
v5)
                                                              ((T_Trace_60 -> Any) -> Any -> T__'8866'_14
forall a b. a -> b
coe
                                                                 T_Trace_60 -> Any
MAlonzo.Code.VerifiedCompilation.Trace.d_head_70
                                                                 (T_Trace_60 -> Any
forall a b. a -> b
coe T_Trace_60
v6))
                                                              (T_SimplifierTag_4 -> T_SimplifierTag_4
forall a b. a -> b
coe T_SimplifierTag_4
v3) (Any -> Any
forall a b. a -> b
coe Any
v7))
                                                           ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                                                              Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                              Text
d_nl_6
                                                              (Integer -> T_Trace_60 -> Any -> Text
d_reportPasses_244
                                                                 ((Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                                    Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
                                                                    (Integer -> Any
forall a b. a -> b
coe Integer
v0))
                                                                 (T_Trace_60 -> T_Trace_60
forall a b. a -> b
coe T_Trace_60
v6) (Any -> Any
forall a b. a -> b
coe Any
v8))))))))))))))))
             (Any, Any)
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.Trace.C_done_66 Any
v3
        -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      T_Trace_60
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.reportFailure
d_reportFailure_258 ::
  MAlonzo.Code.VerifiedCompilation.T_Error_2 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_reportFailure_258 :: T_Error_2 -> Text
d_reportFailure_258 T_Error_2
v0
  = case T_Error_2 -> T_Error_2
forall a b. a -> b
coe T_Error_2
v0 of
      T_Error_2
MAlonzo.Code.VerifiedCompilation.C_emptyDump_4
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
             ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"Empty trace from the compiler  \10060 FAILED" :: Data.Text.Text)
                Text
d_hl_8)
      T_Error_2
MAlonzo.Code.VerifiedCompilation.C_illScoped_6
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
             ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"Trace from compiler contained ill-scoped terms  \10060 FAILED"
                 ::
                 Data.Text.Text)
                Text
d_hl_8)
      MAlonzo.Code.VerifiedCompilation.C_counterExample_8 T_SimplifierTag_4
v1
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"Pass " :: Data.Text.Text)
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (T_SimplifierTag_4 -> Text
d_showTag_10 (T_SimplifierTag_4 -> T_SimplifierTag_4
forall a b. a -> b
coe T_SimplifierTag_4
v1))
                   ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (Text
"  \10060 FAILED" :: Data.Text.Text) Text
d_hl_8)))
      MAlonzo.Code.VerifiedCompilation.C_abort_10 T_SimplifierTag_4
v1
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"Pass " :: Data.Text.Text)
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (T_SimplifierTag_4 -> Text
d_showTag_10 (T_SimplifierTag_4 -> T_SimplifierTag_4
forall a b. a -> b
coe T_SimplifierTag_4
v1))
                   ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (Text
"  \10060 FAILED" :: Data.Text.Text) Text
d_hl_8)))
      T_Error_2
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.makeReport
d_makeReport_264 ::
  MAlonzo.Code.Utils.T_Either_6
    MAlonzo.Code.VerifiedCompilation.T_Error_2
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_makeReport_264 :: T_Either_6 T_Error_2 T_Σ_14 -> Text
d_makeReport_264 T_Either_6 T_Error_2 T_Σ_14
v0
  = (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
      (Text
"UPLC OPTIMIZATION: CERTIFIER REPORT" :: Data.Text.Text)
      ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
         Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_nl_6
         ((T_Either_6 Any Any -> (Any -> Any) -> (Any -> Any) -> Any)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
            T_Either_6 Any Any -> (Any -> Any) -> (Any -> Any) -> Any
MAlonzo.Code.Utils.du_either_22 (T_Either_6 T_Error_2 T_Σ_14 -> Any
forall a b. a -> b
coe T_Either_6 T_Error_2 T_Σ_14
v0) ((T_Error_2 -> Text) -> Any
forall a b. a -> b
coe T_Error_2 -> Text
d_reportFailure_258)
            ((Any -> Any) -> Any
forall a b. a -> b
coe
               (\ Any
v1 ->
                  case Any -> T_Σ_14
forall a b. a -> b
coe Any
v1 of
                    MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 Any
v2 Any
v3
                      -> (Integer -> T_Trace_60 -> Any -> Text) -> Any -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T_Trace_60 -> Any -> Text
d_reportPasses_244 (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Any -> Any
forall a b. a -> b
coe Any
v2) (Any -> Any
forall a b. a -> b
coe Any
v3)
                    T_Σ_14
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError))))