#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
 *                                       0xc39e232878352e9964f8b6bcae5a0cbc079320819bd1c2c23278d8c9e155e6f4)
 * 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, 0xc3, 0x9e, 0x23, 0x28, 0x78, 0x35, 0x2e, 0x99,
  0x64, 0xf8, 0xb6, 0xbc, 0xae, 0x5a, 0x0c, 0xbc, 0x07, 0x93, 0x20, 0x81, 0x9b, 0xd1, 0xc2, 0xc2, 0x32, 0x78, 0xd8, 0xc9,
  0xe1, 0x55, 0xe6, 0xf4
};

const size_t sizeof_elementsCheckSigHashAllTx1_witness = sizeof(elementsCheckSigHashAllTx1_witness);

/* The commitment Merkle root of the above elementsCheckSigHashAllTx1 Simplicity expression. */
const uint32_t elementsCheckSigHashAllTx1_cmr[] = {
  0xe2a6e4a2u, 0x23c0da97u, 0xebbf5f40u, 0x1e2d6225u, 0x35c3ed53u, 0x8e70f344u, 0x318e9e5eu, 0x4c2e02afu
};

/* The identity Merkle root of the above elementsCheckSigHashAllTx1 Simplicity expression. */
const uint32_t elementsCheckSigHashAllTx1_imr[] = {
  0xf72560efu, 0x69efae0fu, 0x41bb69f4u, 0xf409e7cfu, 0xfdef6ef9u, 0x9c7e9c25u, 0x15fd3c82u, 0x773a3d28u
};

/* The annotated Merkle root of the above elementsCheckSigHashAllTx1 Simplicity expression. */
const uint32_t elementsCheckSigHashAllTx1_amr[] = {
  0x6c84e1c8u, 0x5fe7d034u, 0xe3a7be87u, 0xf7261f40u, 0xbc5c20f1u, 0xd973abdeu, 0xfa271657u, 0x8c234676u
};

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