#include "checkSigHashAllTx1.h"

/* A length-prefixed encoding of the following Simplicity program:
 *     Simplicity.Programs.CheckSig.Lib.checkSigVerify' Simplicity.Elements.Programs.SigHash.Lib.sigAllHash
 *     (Simplicity.LibSecp256k1.Spec.PubKey 0x00000000000000000000003b78ce563f89a0ed9414f5aa28ad0d96d6795f9c63)
 *     (Simplicity.LibSecp256k1.Spec.Sig 0x00000000000000000000003b78ce563f89a0ed9414f5aa28ad0d96d6795f9c63
 *                                       0xcb176adea9659b35a79d44c78b940b363d0d6b6356b9ac8bb1dd1fbe9ba36986)
 * with jets.
 */
const unsigned char elementsCheckSigHashAllTx1[] = {
  0xd3, 0x69, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x3b, 0x78, 0xce, 0x56, 0x3f, 0x89, 0xa0,
  0xed, 0x94, 0x14, 0xf5, 0xaa, 0x28, 0xad, 0x0d, 0x96, 0xd6, 0x79, 0x5f, 0x9c, 0x63, 0x47, 0x07, 0x02, 0xc0, 0xe2, 0x8d,
  0x88, 0x10
};

const size_t sizeof_elementsCheckSigHashAllTx1 = sizeof(elementsCheckSigHashAllTx1);
const unsigned char elementsCheckSigHashAllTx1_witness[] = {
  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x3b, 0x78, 0xce, 0x56, 0x3f, 0x89, 0xa0, 0xed, 0x94,
  0x14, 0xf5, 0xaa, 0x28, 0xad, 0x0d, 0x96, 0xd6, 0x79, 0x5f, 0x9c, 0x63, 0xcb, 0x17, 0x6a, 0xde, 0xa9, 0x65, 0x9b, 0x35,
  0xa7, 0x9d, 0x44, 0xc7, 0x8b, 0x94, 0x0b, 0x36, 0x3d, 0x0d, 0x6b, 0x63, 0x56, 0xb9, 0xac, 0x8b, 0xb1, 0xdd, 0x1f, 0xbe,
  0x9b, 0xa3, 0x69, 0x86
};

const size_t sizeof_elementsCheckSigHashAllTx1_witness = sizeof(elementsCheckSigHashAllTx1_witness);

/* The commitment Merkle root of the above elementsCheckSigHashAllTx1 Simplicity expression. */
const uint32_t elementsCheckSigHashAllTx1_cmr[] = {
  0xf3cd4537u, 0xd7ebb201u, 0x73220319u, 0x5b30b549u, 0xb8dc0c2cu, 0x6257b3a0u, 0xd53bedb0u, 0x8ea02874u
};

/* The identity hash of the root of the above elementsCheckSigHashAllTx1 Simplicity expression. */
const uint32_t elementsCheckSigHashAllTx1_ihr[] = {
  0xd3a5130du, 0xf6abce06u, 0x51eb717au, 0x6dd04222u, 0xb7517651u, 0x9117ec5cu, 0x07bb9edbu, 0xac335e1bu
};

/* The annotated Merkle root of the above elementsCheckSigHashAllTx1 Simplicity expression. */
const uint32_t elementsCheckSigHashAllTx1_amr[] = {
  0xb1a514f7u, 0x85458faeu, 0x8e900fefu, 0x45e97fa6u, 0xaa8276deu, 0x181f0a9du, 0x448a10adu, 0x6c38034du
};

/* The cost of the above elementsCheckSigHashAllTx1 Simplicity expression in milli weight units. */
const ubounded elementsCheckSigHashAllTx1_cost = 54361;
