plutus.json

{
  "preamble": {
    "title": "bullet/account-abstraction",
    "description": "Aiken contracts for project 'bullet/account-abstraction'",
    "version": "0.0.1",
    "plutusVersion": "v3",
    "compiler": {
      "name": "Aiken",
      "version": "v1.1.10+3e57109"
    },
    "license": "Apache-2.0"
  },
  "validators": [
    {
      "title": "bullet.bullet.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "5903c701010029800aba2aba1aba0aab9faab9eaab9dab9cab9a488888888cc89660026465300130073754003370e90014c02c009222598009801001c4c8cc004004dd5980798081808180818081808180818061baa0022259800800c54cc02d240129657870656374205b50616972286b2c205f292c202e2e726573745d203d207769746864726177616c7300168acc004cdd7a6122d87a9f581cb04621841bec49b38d231d3edb83d09dd385a81903927e467185f101ff00300c30100018a518998010011808800a014403915980099b874800000e266446644b300100180544cc896600200300c8992cc004c05800a33001375c6022007375a6024007375a60240029112cc0056600266e3cdd7180a00219b8a48904ffffffff000038a518a99809a4813a6e6f6e63655f6e616d65203d3d206279746561727261792e636f6e636174286e6f6e63655f7072656669782c206e616d6529203f2046616c73650014a080922b30015980099b8700248006266e1c00520018a50404914a3159800acc0056600260180051300c0018a50404914a3153301349012c7175616e74697479203d3d2031202626206e6f6e63655f7175616e74697479203d3d2031203f2046616c73650014a08092266ebcc8c8cc00400402889660020030148992cc004cdd7980c00080244c064006266006006603a00480b0c06c00501919ba548010cc05ccdd2a40046602e6ea400d2f5c097ae04c0103d87980008a50404880922941012201a8098c05000501218090009809800a020375660206022602260226022602200264660020026eacc044008896600200300b8992cc004cdc79bae300f00100589bab3010001899801801980a001201a301200140406eb8c038c02cdd5002180798079807980798059baa0018b20104020300a300b300b00130063754017149a2a6600892011856616c696461746f722072657475726e65642066616c73650013656400c2a66004920128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300161533002491ca657870656374205b50616972286e616d652c207175616e74697479292c0a2020202020202020202050616972286e6f6e63655f6e616d652c206e6f6e63655f7175616e74697479295d203d0a202020202020202020206d696e740a2020202020202020202020207c3e20746f5f646963740a2020202020202020202020207c3e20746f5f70616972730a2020202020202020202020207c3e206d7573745f66696e645f6b6579286f776e5f706f6c696379290a2020202020202020202020207c3e20746f5f7061697273001601",
      "hash": "3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69"
    },
    {
      "title": "bullet.bullet_nonce.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "5902dc01010029800aba2aba1aab9faab9eaab9dab9cab9a48888888c9660026464646644b30013370e900118049baa001899192cc004cdd798071807801260103d87a80008992cc004cdc3a400060186ea8006264b30013370e900018069baa0018992cc0040062a6601a920132657870656374205b637265642c202e2e5d203d206275696c74696e2e756e5f6c6973745f646174612872656465656d6572290016899baf30110013011300f37540048080dd61919800800803912cc0040062a6601c920128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdd79808000a60126d87b9fd87a9f581cd86bb152b638bf63db6d44aee0c3ff1818e13949cc4130ad5d459d57ffff0089808800c4cc00c00cc05000900e1809000a0228052016300f300d37540030094028646002601a6ea8c03cc034dd5180098069baa32330010013758602001044b30010018a99806a491c657870656374205b6974656d2c202e2e726573745d203d206c69737400168992cc004cdd7980918081baa0010058800c4cc00c00cc04c00900d1808800a0202300f3010001899198008009bab300f0062259800800c54cc031240129657870656374205b50616972286b2c205f292c202e2e726573745d203d207769746864726177616c7300168acc004cdd7a6122d87a9f581cb04621841bec49b38d231d3edb83d09dd385a81903927e467185f101ff00300d30100018a518998010011808800a016403c8048c034004c028dd5000c590071bab300a300b300b300b001300a300b300b003300a300a300a300a300a300a001300637546010002600a6ea8026293454cc00d24011856616c696461746f722072657475726e65642066616c7365001365640082a6600492014165787065637420536f6d6528496e6c696e6528637265642929203d20696e7075742e6f75747075742e616464726573732e7374616b655f63726564656e7469616c001601",
      "hash": "37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4"
    },
    {
      "title": "bullet.bullet_nonce_types.spend",
      "datum": {
        "title": "_d",
        "schema": {
          "$ref": "#/definitions/Nonce"
        }
      },
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/Void"
        }
      },
      "compiledCode": "58be01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748008c024dd500144c8cc896600200d15980099b8748000c030dd50034566002601a6ea801a2d00940390094029009804c0260128088c034004c034c038004c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201085f723a20566f6964001601",
      "hash": "7fc939ed5e0d2938acaa3a7a58c9aa277e555cab75385e480e7904bd"
    },
    {
      "title": "bullet.bullet_nonce_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "58be01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748008c024dd500144c8cc896600200d15980099b8748000c030dd50034566002601a6ea801a2d00940390094029009804c0260128088c034004c034c038004c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201085f723a20566f6964001601",
      "hash": "7fc939ed5e0d2938acaa3a7a58c9aa277e555cab75385e480e7904bd"
    },
    {
      "title": "bullet.bullet_types.spend",
      "datum": {
        "title": "_d",
        "schema": {
          "$ref": "#/definitions/offchain_types~1UtxoStatesT"
        }
      },
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/Void"
        }
      },
      "compiledCode": "58fe01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003370e90004c02800e601400491112cc004cdc3a40040091323322598008024566002600c601c6ea80122b3001300f375400916805a020805a018805c02e01700b404c601e002601e602000260186ea80162b300130030048992cc00400a2b30013004300c375400515980098069baa0028b402500e402500a4026013009804a022375c601c60186ea80162c80490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201085f723a20566f6964001601",
      "hash": "2922da99a30944542b10b424ad2c0aff7a57a6ead7feec07704b5f8f"
    },
    {
      "title": "bullet.bullet_types.mint",
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/Void"
        }
      },
      "compiledCode": "58fe01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003370e90004c02800e601400491112cc004cdc3a40040091323322598008024566002600c601c6ea80122b3001300f375400916805a020805a018805c02e01700b404c601e002601e602000260186ea80162b300130030048992cc00400a2b30013004300c375400515980098069baa0028b402500e402500a4026013009804a022375c601c60186ea80162c80490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201085f723a20566f6964001601",
      "hash": "2922da99a30944542b10b424ad2c0aff7a57a6ead7feec07704b5f8f"
    },
    {
      "title": "bullet.bullet_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "58fe01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003370e90004c02800e601400491112cc004cdc3a40040091323322598008024566002600c601c6ea80122b3001300f375400916805a020805a018805c02e01700b404c601e002601e602000260186ea80162b300130030048992cc00400a2b30013004300c375400515980098069baa0028b402500e402500a4026013009804a022375c601c60186ea80162c80490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201085f723a20566f6964001601",
      "hash": "2922da99a30944542b10b424ad2c0aff7a57a6ead7feec07704b5f8f"
    },
    {
      "title": "bullet.stake_bullet.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59139201010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124933657870656374204163636f756e745374617465207b20686f745f637265642c20636f6c645f63726564207d203d20646174756d00168a998012497d6578706563742028686f745f736967732c20636f6c645f73696773293a20280a2020202020202020202020204c6973743c446174613c5369676e61747572653e3e2c0a2020202020202020202020204c6973743c446174613c5369676e61747572653e3e2c0a2020202020202020202029203d207369675f646174756d00168a99801249ff657870656374205b0a2020202020202020202020204f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c0a2020202020202020202020204f7574707574207b0a2020202020202020202020202020616464726573733a206e6f6e63655f616464722c0a202020202020202020202020202076616c75653a206e6f6e63655f76616c75652c0a2020202020202020202020202020646174756d3a20496e6c696e65446174756d286e6f6e63655f646174756d292c0a20202020202020202020202020202e2e0a2020202020202020202020207d2c0a202020202020205720202020204f7574707574207b20646174756d3a20496e6c696e65446174756d287369675f646174756d292c202e2e207d2c0a2020202020202020202020202e2e0a202020202020202020205d203d206f75747075747300168a998012492965787065637420536372697074286f776e5f6861736829206173206163636f756e74203d206372656400164888889660033001300a37540212300a3754003370e90024dc3a40009111194c004c0480066024602600330120054888cc89660026010003130023017301437540091325980099b874801800a26464b30010018a9980aa4938657870656374205b637265642c202e2e5d203d206275696c74696e2e756e636f6e7374725f6669656c64732863657274696669636174652900168992cc004c02c00629462b300133710002900744c018c06c00a2a6602c92011065787065637420696e646578203c20370016405480a8c0300090181801000980c180c980a9baa0058acc004cdc3a40100051323259800800c54cc055240132657870656374205b637265642c202e2e5d203d206275696c74696e2e756e636f6e7374725f6669656c647328766f7465722900168acc004cdc418060012400913005301a0018a9980aa48128657870656374206275696c74696e2e756e636f6e7374725f696e64657828766f74657229203c20320016405080c0c008004c060c054dd5002c59012202423015375400280888c8c8c8ca60026eb0c0680066eb0c0680126eb0c06800e6eacc06800922225980099baf00c4c103d879800089919192cc004032264b30013001301e375401b13259800800c05e264b300100180c40620310188992cc004c09800e2b300100980d44c96600200301b899912cc00400603b1323298009bab302a00198151815800cc0a800e605400491112cc004c07cc0a8dd5001c4c8ca60026eacc0c0006606060620033030302d375400b30300024888966002604a60606ea800e26644b300130273032375400319800980c1981aa60122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff00330353018330353018330350214bd7025eb812f5c13018330354c122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff00330353018330353018330350214bd7025eb812f5c1330353376098011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6606a66ec0dd480926010101004bd6f7b63025eb7bdb1826606a66ec13011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6606a66ec0dd499b8a488104ffffffff000124c10101004bd6f7b63025eb7bdb182606c60666ea80052222259800800c0c606313259800800c0ca264b3001001819c0ce26644b300100181ac4c96600200303681b44c9660026084007159800807c5660026062607a6ea803e264b300100181cc4c96600200313259800800c0ee264b30010018acc004c11800a26644b300130370018992cc00400607f1332259800800c10626644b3001001821c4cc89660020030458992cc004c14000a0150464134609c0028260c130004c13400504a18250009825800a09030480013049001411860886ea80162b300130260018992cc00400607f13259800982500140120808238c12000504618221baa00581f2082410426644b300130370018992cc00400607f1332259800800c106264b3001304c00280341090491825000a09030480013049001411860886ea800e2b300130260018992cc00400607f13259800982500140120808238c12000504618221baa00381f208241042b300101b8a9982024931657870656374205b5f2c202e2e726573745d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc0040562a660809213d657870656374205b5f2c202e2e726573745f6e6f6e63655d203d206e6f6e63655f76616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168994c004c004006444653001001802400d0011112cc00400a294626644b30010038a99824a4923657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c100c1080122b30010048acc004c100c130dd500244c96600200304a8992cc00400609704b825c12e264b300130540038acc006600200300b9bae0055daa3300100a803401100a4528209a82620a2375c00282a0c14400504f18269baa004824a094824c12609304941491598008024566002605e60986ea8012264b3001001824c4c96600200304a825412a09513259800982a001c5660033001001805cdd7002aed119800805401a0088052294104d412d0511bae001415060a20028278c134dd5002412104a412209104882420a44128609c006609e0068260c130008c13400904a488c8cc00400400c89660020031533045490122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd798231825000801c528c4cc008008c12c0050442090488966002b3001323300100102f2259800800c528456600266ebcc12cc120dd518258008164528c4cc008008c13000504520928a518a99822248149616e7928696e707574732c20666e28696e70757429207b20696e7075742e6f75747075745f7265666572656e6365203d3d206f6e655f73686f745f726566207d29203f2046616c73650014a0821a2b30015980099baf374c609403e6e9804629462a660889213064617461696679287265737429203d3d20646174616966792865787065637465645f76616c756529203f2046616c73650014a0821a2b30015980099baf374c60940326e9804229462a660889213c6461746169667928726573745f6e6f6e636529203d3d20646174616966792865787065637465645f6e6f6e63655f76616c756529203f2046616c73650014a0821a2b30015980099baf01c0138a518a998222492361646472657373203d3d2065787065637465645f61646472657373203f2046616c73650014a0821a2b30015980099baf0160128a518a998222492c6e6f6e63655f61646472203d3d2065787065637465645f6e6f6e63655f61646472657373203f2046616c73650014a0821a2b30015980099baf4c010101000158a518a9982224812164617461696679283129203d3d206e6f6e63655f646174756d203f2046616c73650014a0821a2b300159800981c981d803c5660026072608a6ea801e2646464b300159800cc004dd61826001403e058802a29462a6608e92015f636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c20686f745f736967732c206f6e655f73686f745f6d65737361676529203f2046616c73650014a082322b300159800998031bab304c0030328a518a99823a4961636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a082322b30015980099b8948008dd69826000c528c54cc11d2412a6275696c74696e2e756e5f695f6461746128686f745f71756f72756d29203e3d2031203f2046616c73650014a082322b30013371290011bad304c304d0018a518a99823a492d6275696c74696e2e756e5f695f646174612877616c6c65745f71756f72756d29203e3d2031203f2046616c73650014a0823229410464528208c8a50411860980026096002608c6ea801e2a66088921a665787065637420566572696669636174696f6e207b0a2020202020202020202020202020202065646432353531395f6b6579732c0a202020202020202020202020202020206f746865725f6b6579732c0a20202020202020202020202020202020686f745f71756f72756d2c0a2020202020202020202020202020202077616c6c65745f71756f72756d2c0a20202020202020202020202020207d203d20686f745f637265640016410d159800981418229baa0078acc004cc0040b0c124c118dd5003c528c54cc1112401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0821a2a6608892120657870656374205769746864726177616c28736329203d20686f745f637265640016410c821a2b30013039303b0058acc004c0e4c114dd5002c4c966002b300198009bac304a304b00180540a90034528c54cc11524160636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c20636f6c645f736967732c206f6e655f73686f745f6d65737361676529203f2046616c73650014a082222b3001330043756609400206114a31533045490184636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f72696573207c3e2064617461696679207c3e206275696c74696e2e756e5f6c6973745f6461746129203f2046616c73650014a08222294104418231baa0058a998222493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f637265640016410d159800981418229baa0058acc004cc0040b0c124c118dd5002c528c54cc1112401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0821a2a660889212565787065637420436f6c645769746864726177616c28736329203d20636f6c645f637265640016410c821a2941043452820868a50410d14a0821a2941043452820868a50410c222598008014528c4ca6002608a00330460019825001a444b30013371e6f20dd70011bae0038cc00401e00332330010010062259800800c54cc12524011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd78031827801440062660060060028248c13c00504c200e8a99823a49746578706563740a20202020202020202820766b207c3e206275696c74696e2e756e5f625f646174612829207c3e206275696c74696e2e626c616b6532625f32323428292029203d3d206275696c74696e2e756e5f625f64617461280a20202020202020202020766b682c0a2020202020202020290016411830480024118821904318209baa0013041375400703c410d03c81e40f20788238c110005042182200140ea07503a81d208a30420014100607c6ea803e07081da07103881c40e104340dd03f1bac00181b40d9042181f800a07a3758002607c005033819a07e303c00140e86eb000606303140f4815a0603034303137540066068606a606a60626ea80220528170606000260566ea802204681406054002604a6ea8c0a003102618130009813800a0483026009408d019408c6eb80050261811800a042301f375401b01640706e1d200280ac05602b015408c6e50cdc524410642756c6c657400376600260026603c98012258200c06c51ff693f9f80c66978db009ff5f1e33030130a91c687af9f177b5b6bf26003301e4c10101004bd701ba548002264b30010018a9980d248132657870656374205b637265642c202e2e5d203d206275696c74696e2e756e5f6c6973745f646174612872656465656d6572290016899baf301f00100a40746eb0c8cc004004dd5980f9810003112cc0040062a66036920128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdd7980e800a60126d87b9fd87a9f581cd86bb152b638bf63db6d44aee0c3ff1818e13949cc4130ad5d459d57ffff008980f000c4cc00c00cc08800901b1810000a03c4060301a301a0013019301930193019001301830180013013375400460226ea800860240088a4d153300849011856616c696461746f722072657475726e65642066616c73650013656401c1",
      "hash": "2583035e9563549095011e1f5b8e6729f69cde1e3e3d028dde2df172"
    },
    {
      "title": "bullet.stake_bullet_types.withdraw",
      "redeemer": {
        "title": "_stake_action",
        "schema": {
          "$ref": "#/definitions/types~1StakeActions"
        }
      },
      "compiledCode": "59014f01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003222325980099b87480000062b3001300c3754009003801201a8acc004cdc3a400400315980098061baa004801c00900d40090092012300a3754007300a003980500124444b30013370e900200244c9660020051980080145a0128022013009804c025011180718061baa0058acc004cdc3a400c00913233225980080246600200916805a00c805c02e01700b404c6eb4c03c004c03cc040004c030dd5002c56600266e1d20080048992cc00400a330010028b40250044026013009804a022300e300c375400b16402480490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011b5f7374616b655f616374696f6e3a205374616b65416374696f6e73001601",
      "hash": "6952d8df570ebc3ee3924a1f79a43510504ecf8e8a7a794d7c70f72f"
    },
    {
      "title": "bullet.stake_bullet_types.publish",
      "redeemer": {
        "title": "_stake_action",
        "schema": {
          "$ref": "#/definitions/types~1StakeActions"
        }
      },
      "compiledCode": "59014f01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003222325980099b87480000062b3001300c3754009003801201a8acc004cdc3a400400315980098061baa004801c00900d40090092012300a3754007300a003980500124444b30013370e900200244c9660020051980080145a0128022013009804c025011180718061baa0058acc004cdc3a400c00913233225980080246600200916805a00c805c02e01700b404c6eb4c03c004c03cc040004c030dd5002c56600266e1d20080048992cc00400a330010028b40250044026013009804a022300e300c375400b16402480490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011b5f7374616b655f616374696f6e3a205374616b65416374696f6e73001601",
      "hash": "6952d8df570ebc3ee3924a1f79a43510504ecf8e8a7a794d7c70f72f"
    },
    {
      "title": "bullet.stake_bullet_types.vote",
      "redeemer": {
        "title": "_stake_action",
        "schema": {
          "$ref": "#/definitions/types~1StakeActions"
        }
      },
      "compiledCode": "59014f01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003222325980099b87480000062b3001300c3754009003801201a8acc004cdc3a400400315980098061baa004801c00900d40090092012300a3754007300a003980500124444b30013370e900200244c9660020051980080145a0128022013009804c025011180718061baa0058acc004cdc3a400c00913233225980080246600200916805a00c805c02e01700b404c6eb4c03c004c03cc040004c030dd5002c56600266e1d20080048992cc00400a330010028b40250044026013009804a022300e300c375400b16402480490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011b5f7374616b655f616374696f6e3a205374616b65416374696f6e73001601",
      "hash": "6952d8df570ebc3ee3924a1f79a43510504ecf8e8a7a794d7c70f72f"
    },
    {
      "title": "bullet.stake_bullet_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59014f01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003222325980099b87480000062b3001300c3754009003801201a8acc004cdc3a400400315980098061baa004801c00900d40090092012300a3754007300a003980500124444b30013370e900200244c9660020051980080145a0128022013009804c025011180718061baa0058acc004cdc3a400c00913233225980080246600200916805a00c805c02e01700b404c6eb4c03c004c03cc040004c030dd5002c56600266e1d20080048992cc00400a330010028b40250044026013009804a022300e300c375400b16402480490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011b5f7374616b655f616374696f6e3a205374616b65416374696f6e73001601",
      "hash": "6952d8df570ebc3ee3924a1f79a43510504ecf8e8a7a794d7c70f72f"
    },
    {
      "title": "bullet.true_stake_bullet.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "58340101002332259800a518a4d153300249011856616c696461746f722072657475726e65642066616c736500136564004ae715cd01",
      "hash": "33d5840ab19fcfcff60c2ff509d5371124ee1c2670abd96db9e79064"
    },
    {
      "title": "bullet_proxy.one_shot_proxy_mint.mint",
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/Data"
        }
      },
      "compiledCode": "59013e01010029800aba2aba1aba0aab9faab9eaab9dab9cab9a4888888896600264646644b30013370e900018039baa001899912cc0040062a66010920134657870656374205b496e707574207b206f75747075745f7265666572656e63652c202e2e207d2c202e2e5d203d20696e7075747300168acc004cdd7980698051baa300d0013374a90001980626012258200000000000000000000000000000000000000000000000000000000000000000003300c4c10100004bd704528c54cc021241286f75747075745f7265666572656e6365203d3d206f6e655f73686f745f726566203f2046616c73650014a0803900b1bae300b300837540026eb0c02cc020dd51805802459005180480098049805000980480098021baa0098a4d15330024911856616c696461746f722072657475726e65642066616c7365001365640041",
      "hash": "a704753ea2f639e46909d18cb666e0fdc5e602f9a353e6b94fb1d29b"
    },
    {
      "title": "bullet_proxy.one_shot_proxy_mint.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59013e01010029800aba2aba1aba0aab9faab9eaab9dab9cab9a4888888896600264646644b30013370e900018039baa001899912cc0040062a66010920134657870656374205b496e707574207b206f75747075745f7265666572656e63652c202e2e207d2c202e2e5d203d20696e7075747300168acc004cdd7980698051baa300d0013374a90001980626012258200000000000000000000000000000000000000000000000000000000000000000003300c4c10100004bd704528c54cc021241286f75747075745f7265666572656e6365203d3d206f6e655f73686f745f726566203f2046616c73650014a0803900b1bae300b300837540026eb0c02cc020dd51805802459005180480098049805000980480098021baa0098a4d15330024911856616c696461746f722072657475726e65642066616c7365001365640041",
      "hash": "a704753ea2f639e46909d18cb666e0fdc5e602f9a353e6b94fb1d29b"
    },
    {
      "title": "bullet_proxy.proxy_spend.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59042701010029800aba2aba1aab9faab9eaab9dab9cab9a48888888c9660026464646644b30013370e900200144c8cc89660020030098992cc00400601513259800800c02e264b300100180644c96600200300d8992cc00400601d1325980099baf00a4c103d8798000899800804180a803c56600266ebc02930103d87a8000899800804180a803456600266ebc02930103d87b8000899800804180a802c56600266ebc02930103d87c8000899800804180a802456600266ebc02930103d87d8000899800804180a801c4cc004020c054009010202040408081010111919800800801912cc0040062a6602892012b657870656374205b50616972286b65792c205f292c202e2e726573745d203d207769746864726177616c7300168acc004cdd7980a980c000801c528c4cc008008c064005013202e404c60280028090c04c0050111809000a0203011001403c60200028070dd598069807180718071807180700098059baa32330010013758601c00444b30010018a99805a4923657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899192cc0040062a6601a92136657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004cdd79ba630120014c0122a1581ca704753ea2f639e46909d18cb666e0fdc5e602f9a353e6b94fb1d29ba14001008992cc004cdc3a4008601e6ea80062602460206ea80062a6601c92012965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d0016403460226024005133004004301200340308080dd59808000980818069baa300f3010300d3754601e0028070c034c028dd51806002c56600266e1d20060028acc004cdc3a400060126ea8c030c034c028dd5001c528c59007459007200e300737540026014004601260140026012002600a6ea8026293454cc00d2411856616c696461746f722072657475726e65642066616c7365001365640082a660049201ff657870656374205b0a20202020202020202020686f745f637265645f636f6e74726163742c20696e74656e74696f6e5f636f6e74726163742c207661756c745f7370656e645f636f6e74726163742c0a20202020202020202020636f6c645f637265645f636f6e74726163742c20636f6c645f636f6e74726f6c5f636f6e74726163742c2064656c6574655f636f6e74726163742c0a202020202020202020202e2e0a20202020202020205d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d5f62795f6e66742865787065637465645f6e667429270a2020202020202020202020207c3e206275696c74696e2e756e636f6e7374725f6669656c6473001601",
      "hash": "b04621841bec49b38d231d3edb83d09dd385a81903927e467185f101"
    },
    {
      "title": "bullet_proxy.proxy_spend_types.withdraw",
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/types~1ProxyAction"
        }
      },
      "compiledCode": "59013901010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c9660020091325980099b87480000062b3001300c375400b16804201a8acc004cdc3a400400315980098061baa0058b402100d456600266e1d20040018acc004c030dd5002c5a010806a2b30013370e9003000c56600260186ea80162d008403515980099b87480200062b3001300c375400b16804201a8acc004cdc3a401400315980098061baa0058b402100d40210092012402480490092012300a3754009007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492010f5f723a2050726f7879416374696f6e001601",
      "hash": "857f19ec0e855009ee64a5f2baab1fdbc960b1b74d9f37a4c76c4955"
    },
    {
      "title": "bullet_proxy.proxy_spend_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59013901010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c9660020091325980099b87480000062b3001300c375400b16804201a8acc004cdc3a400400315980098061baa0058b402100d456600266e1d20040018acc004c030dd5002c5a010806a2b30013370e9003000c56600260186ea80162d008403515980099b87480200062b3001300c375400b16804201a8acc004cdc3a401400315980098061baa0058b402100d40210092012402480490092012300a3754009007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492010f5f723a2050726f7879416374696f6e001601",
      "hash": "857f19ec0e855009ee64a5f2baab1fdbc960b1b74d9f37a4c76c4955"
    },
    {
      "title": "change_credential_auth.cold_control.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59182701010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124921657870656374206e6f6e63655f73746174653a204e6f6e6365203d20646174756d00168a998012493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f6372656400168a998012492565787065637420436f6c645769746864726177616c28736329203d20636f6c645f6372656400168a9980124942657870656374204163636f756e745374617465207b20686f745f637265642c20636f6c645f637265643a206f75745f636f6c645f63726564207d203d20646174756d00168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a9980124979657870656374205b0a202020202020202020204f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c0a202020202020202020202e2e6e6f6e63655f6f75747075740a20202020202020205d203d206f75747075747300168a998012499f65787065637420436f6e74726f6c207b20636f6c645f637265642c202e2e207d203d0a20202020202020202020696e707574730a2020202020202020202020207c3e20706f705f746f5f696e64657828636f6e74726f6c5f696e646578290a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a99801249b9657870656374204368616e676543726564656e7469616c73207b0a20202020202020202020636f6e74726f6c5f696e6465782c0a20202020202020202020757365725f7374616b652c0a20202020202020202020636f6c645f736967732c0a202020202020202020206e65775f686f745f736967732c0a202020202020202020206e65775f636f6c645f736967732c0a202020202020202020206d6967726174696f6e2c0a20202020202020207d203d2072656465656d657200164888888888966002646465300130103754003370e90024dc3a400130140024888966002600600913232323298009bac301c301d301d0019bab301c0019bac301c0049bac301c0039bad301c002488889660020151598009805980e9baa00a8992cc00400602513259800800c04e027013899912cc00400602b13259800800c05a02d01680b44cc89660020030188992cc004006033019899912cc00400603713259800800c0720391332259800800c07a264b300100180fc07e26644b3001001810c4c966002003132598009818000c56600266e252004302f001811c4c8c966002606c00b1323300100d225980080144cc00c030896600200513300500b225980080144c8c8cc88ca6002003023a5eb829000a002222259800801c4c966002003159800981798209baa0018992cc00400606f1332259800800c0e6264b3001304a0028992cc0040ae0791323298009bab304c00198261826800cc1340b6609800491112cc004c0ecc130dd5001c4c96600200b044899912cc0040062b3001303d304f375400313259800800c122264b30010018992cc00400609513259800800c56600260b000513322598009821800c4c96600200304e899912cc0040060a11332259800800c14a26644b300100182a44c96600260c400500a82aa0be3060001417860bc00260be00282e0c170004c17400505a182d000982d800a0b03056375400b1598009813000c4c96600200304e8992cc004c17000a00904f416460b400282c0c158dd5002c13505320a613322598009821800c4c96600200304e899912cc0040060a113259800982f001401a0a282d8c17000505a182d000982d800a0b0305637540071598009813000c4c96600200304e8992cc004c17000a00904f416460b400282c0c158dd5001c13505320a613322980098010014888ca6002003004801a002222598008014528c4cc8966002007153305c49123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c134c02c0122b30010048acc004c134c17cdd500244c96600200305d8992cc0040060bd05e82f417a264b300130670038acc006600200300b9bae0055daa3300100a803401100a452820c082fa0c8375c0028338c19000506218301baa00482e20ba82e41720b905c41951598008024566002606060be6ea8012264b300100182e44c96600200305d82ec1760bb132598009833801c5660033001001805cdd7002aed119800805401a0088052294106041790641bae001419c60c80028310c180dd5002416d05d416e0b705b82da0ca417460c200660c400682f8c17c008c18000905d488c8cc00400400c89660020031533058490122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7982c982e800801c528c4cc008008c17800505720b6488966002b30013375e6e9802cdd30064528c54cc15d2413364617461696679286e66745f76616c756529203d3d20646174616966792865787065637465645f6e667429203f2046616c73650014a082b22b300159800814456600201d15330574917f657870656374205b0a20202020202020202020202020204f7574707574207b20616464726573733a206e6f6e63655f616464726573732c2076616c75653a206e6f6e63655f76616c75652c202e2e207d2c0a20202020202020202020202020202e2e0a2020202020202020202020205d203d206e6f6e63655f6f75747075740016899192cc0040062a660b29213e657870656374205b5f2c202e2e6e6f6e63655f76616c75655d203d206e6f6e63655f76616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004c96600266ebc088c004c170dd5008456600266ebcc004c170dd5182f80181144cdd79ba63060002374c660bc66ec130011e581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc400374c660bc66ec0dd481ca6010101004bd6f7b63025eb7bdb1822941059452820b22305f30600018a518a9982ca49aa616e64207b0a2020757365725f7374616b655f63726564203d3d20616464726573732e7374616b655f63726564656e7469616c2c0a20206e6f6e63655f616464726573732e7374616b655f63726564656e7469616c203d3d20757365725f7374616b655f637265642c0a202064617461696679286e6f6e63655f76616c756529203d3d20646174616966792865787065637465645f6e6f6e63655f6e6674292c0a7d203f2046616c73650014a082c105c1bab305d305e0013059375460b801c82d22b30015980099baf00d01e899b870194800629410564528c54cc15d240143616e64207b0a202061646472657373203d3d2065787065637465645f616464726573732c0a20206e6f6e63655f7374617465203d3d202d312c0a7d203f2046616c73650014a082b10564566002b3001304630040088acc004c118c160dd500444c8c8c966002b300198009bac305f002819c0590054528c54cc169240172636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c206e65775f686f745f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a082ca2b300159800998031bab305f0030438a518a9982d24961636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a082ca2b30015980099b8948008dd6982f800c528c54cc1692412a6275696c74696e2e756e5f695f6461746128686f745f71756f72756d29203e3d2031203f2046616c73650014a082ca2b30013371290011bad305f30600018a518a9982d2492d6275696c74696e2e756e5f695f646174612877616c6c65745f71756f72756d29203e3d2031203f2046616c73650014a082ca2941059452820b28a50416460be00260bc00260b26ea80222a660ae9219c65787065637420566572696669636174696f6e207b0a202020202020202020202020202065646432353531395f6b6579732c0a20202020202020202020202020206f746865725f6b6579732c0a2020202020202020202020202020686f745f71756f72756d2c0a202020202020202020202020202077616c6c65745f71756f72756d2c0a2020202020202020202020207d203d20686f745f63726564001641591598009814982c1baa0088acc004cc0040fcc170c164dd50044528c54cc15d2401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a082b22a660ae92120657870656374205769746864726177616c28736329203d20686f745f637265640016415882b22b3001598009823180200a45660020291598009823182c1baa0148992cc0040060a71332259800800c156264b300130610028acc005660033001375800303780ba00c8a518a9982da4816f636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c20636f6c645f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a082d22b300133007375600608914a3153305b490184636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f72696573207c3e2064617461696679207c3e206275696c74696e2e756e5f6c6973745f6461746129203f2046616c73650014a082d2294105a415905e182f800a0ba305d001305e001416c60b26ea80520a482b20a5052829414905e45660020291598009814982c1baa0148992cc0040060a513259800982f80145660026600608200314a31533059491266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a082c20a682e0c17400505b182c9baa014828a0ac828c1460a3051417882b22b3001304630040068acc004c118c160dd500344c966002b300198009bac305d305e00181740510034528c54cc16124173636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c206e65775f636f6c645f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a082ba2b300133004375660ba00208314a31533058490184636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f72696573207c3e2064617461696679207c3e206275696c74696e2e756e5f6c6973745f6461746129203f2046616c73650014a082ba2941057182c9baa0068a9982ba494265787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d206f75745f636f6c645f63726564001641591598009814982c1baa0068acc004cc0040fcc170c164dd50034528c54cc15d2401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a082b22a660ae9212965787065637420436f6c645769746864726177616c28736329203d206f75745f636f6c645f637265640016415882b22941056452820ac8a50415914a082b0444b30010028a518994c004c15c00660b0003305c00348896600266e3cde41bae002375c00719800803c006646600200200c44b30010018a9982da4811d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd780318308014400626600600600282d8c18400505e200e8a9982ca49746578706563740a20202020202020202820766b207c3e206275696c74696e2e756e5f625f646174612829207c3e206275696c74696e2e626c616b6532625f32323428292029203d3d206275696c74696e2e756e5f625f64617461280a20202020202020202020766b682c0a20202020202020202900164160305a0024160460a86ea8004c14cdd500098299baa003825a0aa825c12e09704b416460ac00282a0c15800a093049824c125057182a000a0a4305037540030474135047823c11e08e82a8c148014c144c138dd5002209e3304f337609811e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6609e66ec0dd481526010101004bd6f7b63025eb7bdb18208482506098002608e6ea8c1280ad0481b9437666e9ccc120dd3803998241ba702a33048375005297ae081d208e30480014118608c002608e0028220c108dd5000c0d903f40da06d03681b208e323322330020020012259800800c54cc109240123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7982498231baa00100b899192cc00400607d15980099baf374c609800200f13259800981b98241baa0018982618249baa0018a99823a492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001641186096609800513300600600441148248dd59825000982518231baa001899802002001208630480013047304830443754608e0028228ca6002003028811a002222598009819000c400a3300100398248014cdc0000a400280190421ba6330433376098011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6608666ec0dd480f26010101004bd6f7b63025eb7bdb18226464653001304730443754003304800698238012444b30013375e00601919800805400a66092002011007402915980099baf00300b89919912cc004c0e0c124dd5000c4c966002003045822c1162b3001003820c56600266ebcdd31982699bb04c011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6609a66ec0dd499b8a488104ffffffff000284c10101004bd6f7b63025eb7bdb180dd31827801c6600201d006998268028064dd6800a01c8a99824a4813465787065637420646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c75652900164120826208a8280c134c128dd5000c54cc1212413f657870656374204f7574707574207b2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d203d206f75747075740016411c6eacc12c004c12cc130004c12cc11cdd50024566002b30013375e6094608e6ea800cc128c11cdd50064528c4cdd7982518239baa003304a3047375401682222d19800805400a0110074028822104420881823182380098211baa0013044003410860046607a98122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff003303d0014bd7018011981ea60122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff003303d0014bd7018009981e18009981e19ba548008cc0f0dd480ba5eb812f5c097ae0374a900044c96600200302d816c0b605b1323003303f004375c00281f8c0f000903a44c96600200302b815c0ae0571323003303d004375c00281e8c0e800903844c966002003029814c0a60531323003303b004375c00281d8c0e0009036111919800800801911980180098010014095033180098180011b874800902d408d0311baa001811408a04502240d060620028178dd60009818001407e03e8188c0b800502c1bac001302d00280e407102e1815800a0523758002605400501980ca056302800140986eb8004c09c0090281812800a046375a0026048005013409460440028100c078dd5005404501b4046023011808a046180e180e180e000980d800980d180d000980a9baa30180078acc004cdc3a400c0091598009801180a1baa301830193015375400b14a31640491640488090602660280026026002601c6ea8052293454cc03124011856616c696461746f722072657475726e65642066616c73650013656402c1",
      "hash": "05f6705b506bcd2e9c6d3b61718833e6b1ae27b0e563335cd625daaa"
    },
    {
      "title": "change_credential_auth.cold_control_types.withdraw",
      "redeemer": {
        "title": "_signatures",
        "schema": {
          "$ref": "#/definitions/types~1ChangeCredentials"
        }
      },
      "compiledCode": "59024601010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c9660020091325980099b8748000c02cdd5002c4c9660020030098992cc00400601500a80544cc896600200300c8992cc00400601b00d806c03626644b3001001807c4c96600200301080844cc89660020030128992cc004006027013899912cc00400602b13259800800c05a02d1332259800800c062264b30010018992cc004c0780062b3001337129002180e800c06a264b3001302200489980a005912cc00400a26602c01444b300100289980c004912cc00400a2d13259800800c08a04502281144c8c00cc0a8010dd7000a0543027002409913259800800c08204102081044c8c00cc0a0010dd7000a0503025002409113259800800c07a03d01e80f44c8c00cc098010dd7000a04c3023002408901b408066e1d2002301d001406d01a407c6ea800603301980cc065021180f000a03a3758002603a00501680b203c301b00140686eb0004c06800a027013406c603000280b8dd6000980b801404202080c0c0540050141bae0013014002405460240028088dd6800980880140290121807800a01c300c375400b008402444646600200200644660060026004005007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011e5f7369676e6174757265733a204368616e676543726564656e7469616c73001601",
      "hash": "82495d1e68d622ef76143829b7719364ae5739ad50d7e4e77597efd8"
    },
    {
      "title": "change_credential_auth.cold_control_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59024601010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c9660020091325980099b8748000c02cdd5002c4c9660020030098992cc00400601500a80544cc896600200300c8992cc00400601b00d806c03626644b3001001807c4c96600200301080844cc89660020030128992cc004006027013899912cc00400602b13259800800c05a02d1332259800800c062264b30010018992cc004c0780062b3001337129002180e800c06a264b3001302200489980a005912cc00400a26602c01444b300100289980c004912cc00400a2d13259800800c08a04502281144c8c00cc0a8010dd7000a0543027002409913259800800c08204102081044c8c00cc0a0010dd7000a0503025002409113259800800c07a03d01e80f44c8c00cc098010dd7000a04c3023002408901b408066e1d2002301d001406d01a407c6ea800603301980cc065021180f000a03a3758002603a00501680b203c301b00140686eb0004c06800a027013406c603000280b8dd6000980b801404202080c0c0540050141bae0013014002405460240028088dd6800980880140290121807800a01c300c375400b008402444646600200200644660060026004005007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011e5f7369676e6174757265733a204368616e676543726564656e7469616c73001601",
      "hash": "82495d1e68d622ef76143829b7719364ae5739ad50d7e4e77597efd8"
    },
    {
      "title": "cold_auth.cold_spend.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "590f2b01010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049211f657870656374206e65775f6e6f6e63653a204e6f6e6365203d20646174756d00168a998012498d657870656374205b4f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c202e2e5d203d0a202020202020736b69705f6c6973745f6d6163726f286f7574707574732c206275696c74696e2e756e5f695f64617461286e6f6e63655f6f75747075745f696e646578292900168a9980124917657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124921657870656374206e6f6e63655f73746174653a204e6f6e6365203d20646174756d00168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a998012493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f6372656400168a998012492565787065637420436f6c645769746864726177616c28736329203d20636f6c645f6372656400168a998012497e65787065637420436f6e74726f6c207b20636f6c645f637265642c202e2e207d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a9980124948657870656374204163636f756e745370656e64207b20757365725f7374616b652c20736967732c20696e6465783a206e6f6e63655f6f7574707574207d203d2072656465656d657200164888888888966002646465300130103754003370e90024dc3a40013014002488896600260060091323232323298009bac301d301e301e0019bab301d0019bac301d0059bac301d0049bac301d0039bad301d0024888889660020191598009806980f9baa00c8992cc00400602913259800800c05602b01580ac4cc8966002003017899912cc00400603313259800981580144c8c8c8c966002003159800980c18151baa0018992cc0040060411332259800800c08a264b30013033002899194c00400602b4bd705200140044444b30010038acc004c9660026044600200f159800803c566002604460686ea801e264b300100181644cc896600200302e8992cc004c0f400a26464b30013375e00698010180008acc004cc004dd5802810c528c54cc0e524156636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a081c22b300159800998009bab0050218a518a9981ca4956636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a081c22b30013298009112cc00400a294626644b30010038a9981fa48123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0c0c03c0122b30010048acc004c0c0c108dd500244c96600200303e8992cc00400607f03f81fc0fe264b3001304a0038acc006600200300b9bae0055daa3300100a803401100a45282086820208e375c0028250c11c00504518219baa00481ea08081ec0f607b03d4121159800802456600266e1d20023042375400913259800800c0f6264b300100181f40fa07d03e8992cc004c12800e2b30019800800c02e6eb80157688cc00402a00d004402914a0821a07e8238dd7000a0943047001411460866ea8012078820207903c81e40f104820803044003304500341086084004608600482026eb00626eb00112229800801c00600480186e50dd99ba73303d374e0126607a6e9c074cc0f4dd400e25eb8229462a660729216a636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c2073696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a081c2294103820703001001222598008014528c4cc8a600200b0019919800800802112cc0040062a6607c92011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd780298220014400626600600600281f0c110005041200a303b303f002304000240f502f40e8607600281c8c0e4004c0e8005037181a9baa007815a064815c0ae05702b40e9159800803c56600266e1d20023034375400f13259800800c0ae264b3001303b0028acc004c8cc0040040748966002003153303749122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7981c181e000801c528c4cc008008c0f400503620748a518a9981aa481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a081a205881c0c0e4005037181a9baa007815206481540aa05502a40e881908c0d0dd5000c566002b30013370e0029000c528c4c966002003030899194c004dd5981d000cc0e8c0ec00660740049112cc004c0a0c0e4dd500144c96600200303781bc0de2b30010048194566002b3001337100106eb400629462a6607292011f6e65775f6e6f6e6365203e206e6f6e63655f7374617465203f2046616c73650014a081c22b30015980099baf374c6607a66ec130011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6607a66ec0dd499b8a488104ffffffff000194c10101004bd6f7b63025eb7bdb180dd3181f8024528c54cc0e524135646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c756529203f2046616c73650014a081c22b30013375e00401914a3153303949012961646472657373203d3d2065787065637465645f6e6f6e63655f61646472657373203f2046616c73650014a081c229410384528207040f10374100607a60746ea800a06a81b86074002606a6ea8c0e00050364c004dd68074dc024003371290052444b300130010038994c00488966002600a00319800801cc0fcc0fcc0fcc0fcc0fc00a6008002801a2b30013028001880144cc896600260540031002899912cc004c0b000620051325980098169805801440062608800281e8c10c00903c18208011804000a074303f002300600140e081c26002009303c303c303c303c303c01a488966002600a00519800801cc0fcc0fcc0fcc0fcc0fc0066008004801a2b300130280028800c4cc896600260540031002899912cc004c0b000620051325980098169805801440062608800281e8c10c00903c18208011804000a074303f001300600240e081c06e0120098acc004c09000e203313322598009813000c400a26644b30013028001880144c9660026052600e005100189820000a072303f00240e0607a004600800281b0c0ec064c00800d034206820628a518a9981924815b6e6f6e63655f636865636b286f7574707574732c206e6f6e63655f73746174652c206e6f6e63655f6f75747075742c20757365725f7374616b652c2065787065637465645f6e6f6e63655f6164647265737329203f2046616c73650014a0818a294103144c8c8ca60026074606e6ea8006607600d303a00248896600266ebc00c0463300100a8014cc0f000402200e80522b30013375e0060171323322598009815981e1baa0018992cc00400606d03681b45660020070358acc004cdd79ba633040337609811e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6608066ec0dd499b8a488104ffffffff0001c4c10101004bd6f7b63025eb7bdb180dd31821001c6600201d006998200028064dd6800a01c8a9981e24813465787065637420646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c756529001640ec81fa06c8218c100c0f4dd5000c54cc0ed2413f657870656374204f7574707574207b2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d203d206f7574707574001640e86eacc0f8004c0f8c0fc004c0f8c0e8dd50024566002b30013375e607a60746ea800cc0f4c0e8dd5008c528c4cdd7981e981d1baa003303d303a375401681ba2d19800805400a011007402881b9037206e181c981d000981a9baa001303700340d460106606298122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff00330310074bd70408d0301818800a05e302f001303000140b460566ea800603e814203f01f80fc07d030191919800800807912cc0040062a66056920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7981918179baa001006899192cc00400605115980099baf374c606a00200f13259800981018189baa0018981a98191baa0018a998182492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640bc6068606a00513300600600440b88190dd59819800981998179baa0018998020020012058303100130303031302d375460600028170dd31981619bb04c11e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6605866ec0dd480426010101004bd6f7b63025eb7bdb180c008cc0ad300122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff003302b0014bd7018009981518009981519ba548008cc0a8dd480325eb812f5c097ae0374a900040690281814800a04e3027001302800140946eb8004c0980090271812000a044302037540190134075013809c04e0268128603a603a603a002603800260360026034002602a6ea8c06001e2b30013370e90030024566002600460286ea8c060c064c054dd5002c528c5901245901220241809980a000980980098071baa0148a4d153300c4911856616c696461746f722072657475726e65642066616c73650013656402c1",
      "hash": "491ff75f25cc8344b7a283629d89a7c15bb1fc9a9a24126b0dddf911"
    },
    {
      "title": "cold_auth.cold_spend_types.withdraw",
      "redeemer": {
        "title": "_signatures",
        "schema": {
          "$ref": "#/definitions/offchain_types~1AccountSpendT"
        }
      },
      "compiledCode": "59015b01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc00400601f00f807c4c966002602e007132330010010052259800800c5a264b3001001809c04e02701389919802002180d8019bae001406c603000280ba02080a8dd6800c03d017180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a491856616c696461746f722072657475726e65642066616c7365001365640082a6600492011a5f7369676e6174757265733a204163636f756e745370656e6454001601",
      "hash": "e9fd467bf61d906d8ffd40b9ed74685320cdc4698f6afd024b249513"
    },
    {
      "title": "cold_auth.cold_spend_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59015b01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc00400601f00f807c4c966002602e007132330010010052259800800c5a264b3001001809c04e02701389919802002180d8019bae001406c603000280ba02080a8dd6800c03d017180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a491856616c696461746f722072657475726e65642066616c7365001365640082a6600492011a5f7369676e6174757265733a204163636f756e745370656e6454001601",
      "hash": "e9fd467bf61d906d8ffd40b9ed74685320cdc4698f6afd024b249513"
    },
    {
      "title": "delete_auth.cold_delete_types.withdraw",
      "redeemer": {
        "title": "_signatures",
        "schema": {
          "$ref": "#/definitions/offchain_types~1AccountSpendT"
        }
      },
      "compiledCode": "59015b01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc00400601f00f807c4c966002602e007132330010010052259800800c5a264b3001001809c04e02701389919802002180d8019bae001406c603000280ba02080a8dd6800c03d017180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a491856616c696461746f722072657475726e65642066616c7365001365640082a6600492011a5f7369676e6174757265733a204163636f756e745370656e6454001601",
      "hash": "e9fd467bf61d906d8ffd40b9ed74685320cdc4698f6afd024b249513"
    },
    {
      "title": "delete_auth.cold_delete_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59015b01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc00400601f00f807c4c966002602e007132330010010052259800800c5a264b3001001809c04e02701389919802002180d8019bae001406c603000280ba02080a8dd6800c03d017180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a491856616c696461746f722072657475726e65642066616c7365001365640082a6600492011a5f7369676e6174757265733a204163636f756e745370656e6454001601",
      "hash": "e9fd467bf61d906d8ffd40b9ed74685320cdc4698f6afd024b249513"
    },
    {
      "title": "delete_auth.delete_account.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "590c0a01010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a998012493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f6372656400168a998012492565787065637420436f6c645769746864726177616c28736329203d20636f6c645f6372656400168a99801249b465787065637420436f6e74726f6c207b20636f6c645f637265642c202e2e207d203d0a20202020202020202020696e707574730a2020202020202020202020207c3e20706f705f746f5f696e64657828636f6e74726f6c5f696e646578207c3e206275696c74696e2e756e5f695f64617461290a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a9980124953657870656374204163636f756e745370656e64207b20757365725f7374616b652c20736967732c20696e6465783a20636f6e74726f6c5f696e646578207d203d0a2020202020202020202072656465656d657200164888889660026464653001300c3754003370e90004c0400092225980099b874801000e2646464646530013758603060326032003375660300033758603000b37586030009375a6030007375660300049111112cc0040322b3001300d301a375401913259800800c04e264b300100180a4052029014899912cc00400602d1332259800800c062264b30013026002899191919912cc0040062b300130193026375400313259800800c08226644b300100181144c966002605e00513259800800c54cc0a92401aa657870656374205b50616972286e616d652c207175616e74697479292c202e2e5d203d0a202020202020202020206d696e740a2020202020202020202020207c3e20746f5f646963740a2020202020202020202020207c3e20746f5f70616972730a2020202020202020202020207c3e206d7573745f66696e645f6b657928636f6e6669672e62756c6c65745f68617368290a2020202020202020202020207c3e20746f5f706169727300168992cc004c9660026040600200915980080245660026040605a6ea8012264b3001001814c4cc896600200302b8992cc004c0d800a26464b30013375e0069810180008acc004cc004dd580280fc528c54cc0c924156636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a0818a2b300159800998009bab00501f8a518a9981924956636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a0818a2b30013298009112cc00400a294626644b30010038a9981c248123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0b8c03c0122b30010048acc004c0b8c0ecdd500244c9660020030398992cc00400607503a81d40ea264b300130430038acc006600200300b9bae0055daa3300100a803401100a4528207881da080375c0028218c10000503e181e1baa00481c207281c40e20710384105159800802456600266e1d2002303b375400913259800800c0e2264b300100181cc0e60730398992cc004c10c00e2b30019800800c02e6eb80157688cc00402a00d004402914a081e20748200dd7000a086304000140f860786ea801206e81ca06f03781bc0dd0412072303d003303e00340ec6076004607800481ca6eb005a6eb00112229800801c00600480186e50dd99ba733036374e01e6606c6e9c070cc0d8dd400da5eb8229462a660649216a636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c2073696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a0818a294103120623001001222598008014528c4cc8a600200b0019919800800802112cc0040062a6606e92011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd7802981e8014400626600600600281b8c0f400503a200a30343038002303900240d902c40cc60680028190c0c8004c0cc00503018171baa004814205681440a205102840cd159800802456600266e1d2002302d375400913259800800c0a2264b300130340028acc004c8cc00400406c8966002003153303049122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd79818981a800801c528c4cc008008c0d800502f20668a518a998172481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0816a0528188c0c800503018171baa004813a056813c09e04f02740cc81588c0b4dd5000c566002b30013371e6eb8c0b000404229462a660569211a6e616d65203d3d20757365725f7374616b65203f2046616c73650014a081522b30013370e6eb4c0b400520018a518a99815a49167175616e74697479203d3d202d31203f2046616c73650014a08152294102a45282054302f00140b4646600200202444b30010018a99815a48128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdc79bae302d00148811c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d690089bab302e00189980180198190012056303000140b902340b0605a0028158c0ac004c0b000502918139baa00180fa04880fc07e03f01f40b064646600200202044b30010018a5eb82264646644b30015980099baf0020088a51899baf00200740a513302e302f003330060060018acc0056600266ebcc0bcc0b0dd5001181798161baa0088a51899baf302f302c3754004605e60586ea801d029454cc0a924011a43616e2774207370656e64206f74686572277320696e707574730016899803003000a05240a4605a60546ea8c0b4c0b8004c0b800cc0a4dd50009815800a0523003330274c0122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff00330270024bd7019199119801001000912cc0040062a6604c920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7981698151baa001006899192cc0040062a66054920136657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004cdd79ba630300010078992cc004cdc3a400860586ea800626060605a6ea80062a660569212965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640a8605e606000513300600600440a48168dd59817000981718151baa001899802002001204e302c001302b302c3028375460560028148ca60020030109bad0064004444b3001301b0018801466002007302d00299b8000148005003204c374c6604e66ec130011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6604e66ec0dd480426010101004bd6f7b63025eb7bdb180c008cc099300122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff00330260014bd7018009981298009981299ba548008cc094dd480325eb812f5c097ae0374a900040650231812000a0443022001302300140806eb8004c084009022180f800a03a301b37540190124061012809404a024810060306030002602e002602c002602a602a00260206ea8c04c01a2b30013370e9003001c5660026004601e6ea8c04cc050c040dd50024528c5900d45900d201a18079808000980780098051baa0108a4d15330084911856616c696461746f722072657475726e65642066616c73650013656401c1",
      "hash": "faab88cc4e9f8794ee4ed8bde7ad36c1fa1cc521ab79972844a49146"
    },
    {
      "title": "hot_auth.hot_spend.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "590acf01010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a998012495865787065637420566572696669636174696f6e207b2065646432353531395f6b6579732c206f746865725f6b6579732c20686f745f71756f72756d2c202e2e207d203d0a202020202020202020202020686f745f6372656400168a9980124920657870656374205769746864726177616c28736329203d20686f745f6372656400168a998012497d65787065637420436f6e74726f6c207b20686f745f637265642c202e2e207d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a998012493665787065637420486f744163636f756e745370656e64207b20757365725f7374616b652c2073696773207d203d2072656465656d657200164888889660026464653001300c3754003370e90004c0400092225980099b874801000e2646464646530013758603060326032003375660300033758603000b3758603000930180039bad30180024888889660020191598009806980d1baa00c8992cc00400602713259800800c05202901480a44cc89660020030168992cc004c09000a26464b30010018acc004c050c084dd5000c4c96600200301b899912cc00400603b13259800981500144cc89660026034600200b159800802c5660026034604e6ea8016264b3001001811c4cc8966002003025899912cc00400604f1332259800800c0a6264b3001303400289919192cc004cdd78042610180008acc004cdc49bad00633001375601403d14a31533031490173636865636b5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203e3d206275696c74696e2e756e5f695f6461746128686f745f71756f72756d29203f2046616c73650014a081822b3001337126eb4018cdc0198009bab00a01e3298009112cc00400a2900044cc8966002007153303749123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0b4dc6800c6600200f003801200e8acc004c0b4c0500122b30010048acc004c0b4c0e8dd500244c9660020030388992cc00400607303981cc0e6264b300130420038acc006600200300b8022ed51300e9800805401a00a80522a6607892131657870656374207665726966795f7363686e6f72725f7369676e617475726528766b2c206d6573736167652c2073696729001640ed03a40fc6eb8005042181f800a07a303b375400903740e103781bc0de06e82022b30010048acc004cdc3a400460746ea8012264b300100181bc4c96600200303881c40e2071132598009821001c5660033001001805c011768898074c00402a00d0054029153303c4912f657870656374207665726966795f65636473615f7369676e617475726528766b2c206d6573736167652c2073696729001640ed03940fc6eb8005042181f800a07a303b375400903640e103681b40da06c82010382070303d003375c607800681d0c0e8008c0ec0090384dd600acdd6004a4453001003800c0090030dca1bb3374e6606a6e9c034cc0d4068cc0d4dd400ca5eb8229462a660629201d4636865636b5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329202b20636865636b5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c2073696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203e3d206275696c74696e2e756e5f695f6461746128686f745f71756f72756d29203f2046616c73650014a0818103018008009112cc00400a2900044cc88c01a600200b0019919800800802112cc0040062a6606c92011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd7802981e0014400626600600600281b0c0f0005039200a30333037002303800240d46e0120028152062303200140c0606000260620028170c0b8004c0bc00502c18160009816800a0543028375400b0224095022811408a044816a2b30010058acc004cdc3a4004604e6ea8016264b300100181144c966002605c005159800991980080080a912cc0040062a6605492122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd798159817800801c528c4cc008008c0c0005029205a8a518a998142481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0813a0468158c0b000502a18141baa005810a04a810c08604302140b48128c8cc004004040896600200314bd7044c8c8c8cc896600266ebc0080362b30013375e60606062606200698107d87b9fd87b80ff008a99815a491843616e2774207370656e64207661756c7420696e707574730016899817981800219803803800a0548acc0056600266ebcc0c0c0b4dd5001181818169baa00d8a51899baf3030302d375400498122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff0040a9153302b4911a43616e2774207370656e64206f74686572277320696e707574730016899803803800a05440a8605c002605e00860546ea8c0b4c0b8004c0a4dd50009815800a05223026375400301e409c60500028130c098004c09c00502418111baa00180d203e80d406a03501a409c64646600200201644b30010018a99811248123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7981498131baa001006899192cc0040062a6604c920136657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004cdd79ba6302c0010078992cc004cdc3a400860506ea80062605860526ea80062a6604e9212965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640986056605800513300600600440948148dd59815000981518131baa001899802002001204630280013027302830243754604e0028128dd31981199bb04c11e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6604666ec0dd480226010101004bd6f7b63025eb7bdb180c8c004cc08d300122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff00330233001330233001330233374a9001198119ba90044bd7025eb812f5c097ae0374a9000405d0211811000a040375c00260420048110c07c00501d180d9baa00c8092030809404a025012408030183018301800130170013016001301500130103754602600d15980099b874801800e2b30013002300f37546026602860206ea801229462c806a2c806900d0c03cc040004c03c004c028dd500845268a9980424811856616c696461746f722072657475726e65642066616c73650013656401c1",
      "hash": "53b61c8f5c1c94d4901c33d4b728f7576cbc534078c7f74d3d0789c9"
    },
    {
      "title": "hot_auth.hot_spend_types.withdraw",
      "redeemer": {
        "title": "_signatures",
        "schema": {
          "$ref": "#/definitions/offchain_types~1HotAccountSpendT"
        }
      },
      "compiledCode": "59013c01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644c9660026028007132330010010022259800800c5a264b3001001808404202101089919802002180c0019bae0014060602a00280a201a8090dd6000c03201880a0c0440050101bae00130100024044601c0028068c02cdd5002401d008401e00f007803a01e300c300a375400516401c300900130053754015149a2a6600692011856616c696461746f722072657475726e65642066616c7365001365640082a6600492011d5f7369676e6174757265733a20486f744163636f756e745370656e6454001601",
      "hash": "6cf9d53250023b3e3b4b287c12ed8075ad4130d0c4f3a64e34f5a684"
    },
    {
      "title": "hot_auth.hot_spend_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59013c01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644c9660026028007132330010010022259800800c5a264b3001001808404202101089919802002180c0019bae0014060602a00280a201a8090dd6000c03201880a0c0440050101bae00130100024044601c0028068c02cdd5002401d008401e00f007803a01e300c300a375400516401c300900130053754015149a2a6600692011856616c696461746f722072657475726e65642066616c7365001365640082a6600492011d5f7369676e6174757265733a20486f744163636f756e745370656e6454001601",
      "hash": "6cf9d53250023b3e3b4b287c12ed8075ad4130d0c4f3a64e34f5a684"
    },
    {
      "title": "intention_auth.intent_spend.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "592dc501010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049213f657870656374206f7074696f6e733a204f7074696f6e733c446174612c20284279746541727261792c20427974654172726179293e203d206f7074696f6e7300168a998012492d657870656374206f7074696f6e733a204f7074696f6e733c446174612c20446174613e203d206f7074696f6e7300168a99801249416578706563742028706f6c6963792c2061737365742c207175616e74697479293a20284279746541727261792c204279746541727261792c20496e7429203d207800168a9980124944657870656374205b50616972285f2c20696e705f6c616365292c202e2e5d203d206c6f76656c6163655f6d6170207c3e206275696c74696e2e756e5f6d61705f6461746100168a9980124962657870656374205b50616972285f2c206c6f76656c6163655f6d6170292c202e2e726573745f72696768745d203d0a20202020202020202020202076616c7565207c3e2064617461696679207c3e206275696c74696e2e756e5f6d61705f6461746100168a9980124960657870656374205b506169722872696768745f6b65792c205f292061732072696768745f706169722c202e2e79735d203d0a20202020202020202020202072696768745f6173736574207c3e206275696c74696e2e756e5f6d61705f6461746100168a99801249ac657870656374205369676e6564496e74656e74696f6e207b0a2020202020207072656669782c0a202020202020696e74656e743a20496e74656e74207b20636f6e73747261696e74732c2076616c75655f6c656176696e672c206e6f6e6365207d20617320696e74656e742c0a202020202020706f73746669782c0a2020202020207369676e6174757265732c0a2020202020202e2e0a202020207d203d207369676e65645f696e74656e7400168a998012493f6578706563742076616c69646174655f7369676e617475726573287072656669782c20696e74656e742c20706f73746669782c207369676e6174757265732900168a998012494c65787065637420566572696669636174696f6e207b2065646432353531395f6b6579732c206f746865725f6b6579732c20686f745f71756f72756d2c202e2e207d203d20686f745f6372656400168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a9980124920657870656374205769746864726177616c28736329203d20686f745f6372656400168a99801249766578706563740a2020202020202020636f6e73747261696e74730a202020202020202020207c3e206275696c74696e2e756e5f6c6973745f646174610a202020202020202020207c3e20666f6c645f636f6e73747261696e7473284e6f6e652c20636f6e73747261696e745f76616c696461746f722900168a998012492f65787065637420436f6e74726f6c207b20686f745f637265642c202e2e207d203d20636f6e74726f6c5f646174756d00168a99801249c1657870656374205369676e6564496e74656e74696f6e207b0a20202020202020207072656669782c0a2020202020202020757365725f7374616b652c0a2020202020202020696e74656e743a20496e74656e74207b20636f6e73747261696e74732c2076616c75655f6c656176696e672c206e6f6e6365207d20617320696e74656e742c0a2020202020202020706f73746669782c0a20202020202020207369676e6174757265732c0a2020202020207d203d207369676e65645f696e74656e7400168a9980124917657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124923657870656374205b7369672c202e2e6f74686572735d203d207369676e61747572657300168a998012494465787065637420496e707574436f6e73747261696e74207b20616464726573732c2076616c75652c20646174756d5f6669656c642c20696e5f726566207d203d20636f6e00168a9980124919657870656374205b782c202e2e726573745d203d206c69737400168a998012493c657870656374204f7574707574436f6e73747261696e74207b20616464726573732c2076616c75652c20646174756d2c20726566207d203d20636f6e00168a998012492e657870656374204f7574436f6e4e696c286f75745f636f6e73747261696e747329203d20636f6e73747261696e7400168a9980124925657870656374205369676e65644e696c287369676e657229203d20636f6e73747261696e7400168a998012493065787065637420536f6d6528636f6d70617265293a204f7074696f6e3c446174613e203d20636f6d706172655f76616c00168a998012495f6578706563742052656465656d657256616c287363726970745f707572706f73652c206669656c645f73656c656374696f6e2c20636f6d706172655f76616c29203d0a202020202020202020202020202020202020636f6e73747261696e7400168a998012492e65787065637420526566436f6e56616c287265665f636f6e73747261696e747329203d20636f6e73747261696e7400168a998012492e65787065637420496e70436f6e56616c28696e705f636f6e73747261696e747329203d20636f6e73747261696e7400168a998012492265787065637420416674657256616c2874696d6529203d20636f6e73747261696e7400168a9980124923657870656374204265666f726556616c2874696d6529203d20636f6e73747261696e7400168a998012492d657870656374204d696e74436f6e4e696c28702c20616e2c20616d6f756e7429203d20636f6e73747261696e7400168a99801249bf65787065637420526564207b0a20202020202020202020696e74656e74696f6e732c0a20202020202020202020696e74656e745f757365725f636f756e74732c0a202020202020202020206368616e67655f6f75747075745f6f66667365742c0a20202020202020202020636f6e73747261696e745f6f75747075745f6f66667365742c0a20202020202020202020636f6e73747261696e745f72656465656d65725f6f66667365742c0a20202020202020207d203d2072656465656d65720016488888888888888888888888888888966003300130223754051370e90034dc3a4001370e90022444464646644b30013005002899191919191919914c004c0d4c0c8dd5181a800cc0d4c0c8dd5181a981b000cdd6181a8014dd5981a981b0014dd6181a8044dd6181a803cdd6181a8034dd5981a802cdd5981a8022444444444b30010128acc004c05cc0e8dd500944c96600200301b899912cc00400603b1332259800800c07e264b300100181040820411332259800800c08a264b3001001811c08e0471332259800800c096264b3001001813409a04d132598009826001c660026e012001918241baa0019baf4c10180009b874800a44444653001001803401600900340044444464b300100589982a80180144c8cc896600266e40dd7001003c4cc16000e6002013001803c01a00a804a2b30013375e0046ea401e2660b066ec0008cc028c15800cc158018c0100062660b000c600801082990531829800982c003182b002a0a82598008014400626530010078014dd71829800c00660b00068038c158009054488888c8cc0040040188966002003153304d49011f657870656374205b6c6566745f706169722c202e2e78735d203d206c6566740016899912cc004006264b3001337206eb80040262660a8006660a801000f133054337600026600c60a400660a401000e8278c14000a2660a6004660080080028290c148004c14c0050504888ca6002003004801a00222259800801454cc13124129657870656374205b636f6e73747261696e742c202e2e726573745d203d20636f6e73747261696e747300168992cc004006294633001004800ccc014c14800c00900420a03052002413d375801537580189111111114c0048896600266e2520100018cc00400e60b060b060b060b060b060b060b060b0005337000029007a0068acc004c0c0006200513322598009819000c400a26644b30013034001880144cc8966002606c0031002899912cc004c0e000620051332259800981d000c400a264b3001303b30170028800c4c18c00505c183100120b630600023014001416460bc004602400282b8c170008c040005055182d0011807000a0a63058002300c0014144828a65300100180ec02d0011112cc004cdc4a402800319800801cc160c160c160c160c160c160c160c160c160c16000a66e000052013400d1598009818000c400a26644b30013032001880144cc896600260680031002899912cc004c0d800620051332259800981c000c400a26644b3001303a001880144cc896600260780031002899912cc004c0f8006200513259800981f980d80144006260ce0028300c19800905f1832001180c000a0ba30620023016001416c60c0004602800282c8c178008c048005057182e0011808000a0aa305a002300e001414c60b0004601800282890514888c966002606200313259800800c00e264b3001001802401200913259800982e001c01a00a82c8dd6800c01105c182c800a0ae305537540091598009805000c4c9660020030038992cc004c16c00a00b004416060b200282b8c154dd5002400905220a4305337540072259800800c400a26530010039bae3053001800cc16000a4464b300100182744c8dd34c004dd58024dd7182b800c00660b800522375066e00dd68011bad001403060b400282c0dd5800a01030560014150911119191919914c00400a01700a8124005002111112cc0040122b30013013374e00713013374e00514a082d22646644b30010068a9982f248133657870656374205b7369676e65645f696e74656e742c202e2e726573745f696e74656e74735d203d20696e74656e74696f6e730016899912cc0040062b3001303e3061375400313259800800c14a264b3001001829c14e0a7053899912cc0040060ab13259800800c4c9660020030578992cc0040060b105882c416226644b300100182d44c96600200305b82dc16e0b71332259800800c176264b300130730028acc004c12cc1b8dd5004c4c96600200305f899912cc0040060c313259800800c18a0c51332259800800c192264b30010018acc004c1e800a2b3001003832c4c966002003066833419a26644b300100183444c96600260fc00519800802c4c96600260ae60f46ea801a2660026eb4c1f8c1ecdd500325eb8226600290009983e983f183d9baa0064bd7020f022323232332259800801456600260ba6100026ea800a264b300100183944cc89660020030748992cc004c2240400a2b300198009bac015a6103d87a8000817206e8cc004dd69844008094dd59844009844808094dc3a4003370090012444464b3001300337aa05919800808404201f233001480012f5bded8c102a40051323322980080140b6025013809ccde901799b8148000006003004400844444444b3001306f0028acc00401e2a6612202920128657870656374205b7369676e65645f696e74656e742c202e2e726573745d203d20696e74656e74730016899912cc0040062b30013071309401375400313259800800c23006264b300100184680c2340611a0308d01899912cc00400611e0313259800800c4c966002003091018992cc004006124030920184900c2480626644b300100184a00c4c9660020030950184a80c2540612a031332259800800c25c06264b300130a6010028acc004c1f8c28404dd5004c4c96600200309901899912cc0040061360313259800800c27006138031332259800800c27806264b30010018acc004c2b40400a2b300100384f80c4c9660020030a00185000c2800626644b300100185100c4c96600261620200519800802c566003300137580154c0103d87a800082b20be8acc0066002023014807403102344cc88c966002611802615e026ea8022264b3001337100440031330020010248a9985780a481156578706563742069203e206c6173745f6e6f6e6365001642b8046eb4c2cc04c2c004dd500444cc004084cc2c804c2cc04c2c004dd5004011a15a02223322598009816000c66002005004801c8cc00401c01a97ae040851980081440820070028024cde901199b81480000060032222230022233229800804c02200f233001003002802a0543370001a004660cc00201881410b0012cc004c0a808e2005102342b8046f54084dd69858008039bab30b00130b10100785100a1540284f00a1540285180a0b485180a15c0230af0100142b4046eb4004c2b80401214002857808c2b00400d0aa01427c050aa01427c0613e0309f0184f80a15c0230ab0100142a4046eb0004c2a80400a1380309c0142ac04615002002853008c29804004c29c040050a4011851009baa00984c00a13e0284c00a1460230a4010014288046eb8004c28c040090a401185080800a13e02375c002614002004850808c2780400509c01184f00801424006120030900184800a13e02309c010014268046eb8004c26c0400909c01184c80800a12e02309501375400308b0142480508b0184580c22c061160284d008c25c0401cc2580401d09401456600200f15330910149126657870656374205b74656d705f696e74656e742c202e2e726573745d203d20696e74656e747300168994c0040266130020110078034016009304c003911114c0040160090038014cc26c040180050072012309601007425004848008dea816acc004c198c1040222b30010088acc004c198c22404dd500444c96600200307f899912cc004006102031332259800800c20c0626644b300100184280c4c966002612c020051323259800cc0040ae05d02881320028800c22405091011111198029bac001372866e28cdc50021bb300300222329800911194c0040060090034004444b30010028a40011332259800801c2240626644b3001300b375c00519800803c00e002803a2b300198009bae0048044dd70012e55130179800803c00e002803a2c84e00909c01185000801985080801a13c02309b01309e01002309f010024270053756015375a00c9112cc004c13802e2b300133712003300100280340150034528c54cc2580524143636865636b5f76616c69645f6564645f7369677328656432353531395f6b6579732c20736967732c206d65737361676529203e3d2071756f72756d203f2046616c73650014a084a80a2b3001337120026530010019bac00c803a0022225980080146600200b001804200c899912cc00400e1120313322598009805800c6600200f003801200e8acc004c1ecc1580122b30010048acc004c1ecc27804dd500244c96600200308e018992cc00400611e0308f0184780c23c06264b300130a6010038acc006600200300f8022ed51301a9800805401a00a80522a661400292131657870656374207665726966795f7363686e6f72725f7369676e617475726528766b2c206d6573736167652c20736967290016427c0509001428c046eb80050a601185180800a14202309f01375400908d0142700508d0184680c2340611a0285200a2b30010048acc004c150c27804dd500244c96600200308d018992cc00400611c0308e0184700c23806264b300130a6010038acc006600200300f8022ed11301a9800805401a00a80522a661400292012f657870656374207665726966795f65636473615f7369676e617475726528766b2c206d6573736167652c20736967290016427c0508f01428c046eb80050a601185180800a14202309f01375400908c0142700508c0184600c230061180285200909c0121380230a101003375c61400200684f008c27804008c27c0400909c014528c54cc258052416a636865636b5f71756f72756d5f76616c69645f7369677328656432353531395f6b6579732c206f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c20736967732c206d65737361676529203e3d2071756f72756d203f2046616c73650014a084a8090950108c1c4dc6800c2180509301184a00800a12402309201001309301001424004612002002612202002847008c23804004c23c0400508c011845009baa00883f210e0283f41fa0fd07e423c051598008044566002607e6112026ea8022264b300100183ec4c9660026120020051598009919800800829912cc0040062a661180292122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7984680984880800801c528c4cc008008c2480400508b01211e02891112518a9984500a48125657870656374206d7573745f686176655f6b6579287769746864726177616c732c20736329001642240507e423404611c02002846008c22804dd500441f10870141f20f907c83e211e02421c0484380888888c00888ca6002003036a5eb82466002900025eb7bdb18200c80088888966002009159800800c4ca6002003598009807806440ea2b300103a8a9984a00a4930657870656374205b6f75747075742c202e2e726573745f6f7574707574735d203d206f66667365745f6f75747075747300168acc004c8c8c96600200308c018acc004cdd79ba63309b01337609811e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c661360266ec0dd499b8a488104ffffffff000354c10101004bd6f7b63025eb7bdb180dd3184e80800c56600266ebcc27004c27404008cdd2a400866136026ea0c04403d2f5c113375e03261380200714a084b00a2941096012134023756613602002613602002612c026ea8c264040ea2613402075153309401491546578706563740a20202020202020202020202076616c69646174655f6f75745f6e6f6e636528757365725f7374616b652c206e6f6e63655f616464726573732c206c6173745f6e6f6e63652c206f7574707574290016424c0484b8090930148cc00520004bd6f7b6302002222598008014566002600a44600644b30013371200866e00008cdc000b80744cdd79ba6003374c660900026609001a02d14a084c80a3300104081cc02e00d0024101153309601491376578706563742076616c75655f636f6d70617265286f75747075745f76616c75652c20746f74616c5f76616c75655f6c656176696e67290016425405132323233225980099baf30a00100401f8acc004cdd7985000985080801a6103d879800089803112cc00401212e0313259800800c2640626645300100d80348cc00400c00900d19b80003375a61400261460200264b30010038800c56600200310038994c0040126eb8c2840400600330a60100291192cc00400613803132374d30013756009375c614a02003001985500801488dd419b80375a0046eb4005059185400800a14c02375600282a8c290040050a20121440230a4010054284046eacc27c04c288040110a001454cc26c0524011765787065637420646174756d203d3d204e6f446174756d0016426805153309b014911e6578706563742061646472657373203d3d20757365725f6164647265737300164268046eacc27804004c27c04014c27804004c26404dd5000984d808012132028a9984980a491f657870656374205b5d203d20706172616c6c656c5f6e6f6e63655f6c697374001642580513232323298009bab309c01001984e00984e80800cc27404022613802007309c010024888896600266ebc0800062b30013375e980107d87b9fd87b80ff000048b44c02c896600200f098018992cc00400613403133229800809c022023233001003002acc004cdd7a60107d87b9fd87a80ff0000989919800800808112cc004006297ae0899912cc004cdd7801005c40062661520200466008008002852008c2a004004c2a4040050a6014403d0a0012026337000066eb4c28404c29004004cc134008c294040210a2011bab30a00130a30100742840484d80a2b30013375e03c003159800802c244062b30013375e6e98cc28004cdd82611e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c661400266ec0dd499b8a488104ffffffff0003a4c10101004bd6f7b63025eb7bdb180dd3185100802c56600266ebc010cdd2a400866140026ea00552f5c119800807400e01900b805201c8a9984e00a4812865787065637420646174756d203d3d20496e6c696e65446174756d2866697273745f6e6f6e6365290016426c05153309c014913265787065637420646174616966792865787065637465645f6e667429203d3d2064617461696679286e66745f76616c7565290016426c0484f80a3300100e801d6600266ebcc28404c27804dd5000a60122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff0089985000804806456600266ebcc28404c27804dd5000a60122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff00899850008048064403109b01213602805c02900e213602426c04309c010013097013754613402613602002612c026ea8004c260040110960120ec84100a0ea843008c21c0400508501184280800984300800a10602308101375400507141f9071838c1c60e2843008c8c8cc004004128896600200315330800149123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd79843809842009baa001006899192cc0040060f315980099baf374c61140200200f1325980098311843009baa00189845009843809baa0018a9984280a492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d0016421004611202611402005133006006004420c04843808dd59844008009844009842009baa0018998020020012102023086010013085013086013082013754610a02002841808dd3198408099bb04c11e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c661020266ec0dd480da6010101004bd6f7b63025eb7bdb180c00ccc20405300122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff0033081010024bd7018011984000a60122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff0033080010014bd7018009983f98009983f99ba548008cc1fcdd480ca5eb812f5c097ae0374a900041a502741a507b183e000a0f4375a00260f600906641f060f200683ba0ca83ba0cb065832c19507b183c000a0ec375800260ee00506283120f0307500141cc60e600260e80028388c1bcdd5004c17906c41790701838800a0de375c00260e00048388c1b800506c1bae001306d00241b860d60028348c1ac00a0ad05682b415906c1834800a0ce375c00260d00048348c19800506418311baa001828a0be828c1460a3051419c60c800c60c600c8308dd70009831002983000220bc33003020017229800980800149660020031332259800981c000c4c9660020030588992cc004c18800a009059417c60c000282f0c170dd5001c566002602200313259800800c162264b30013062002802416505f1830000a0bc305c3754007159800981b800c56600260b86ea800e0050574175057416482c90590800982c9baa00182ac1560ab055417d2305d305e0019182e982f182f000cdd7a6103d87a80009baf4c0103d87b8000488888966002607600d1598008044566002607660bc6ea8022264b300100182444c96600260ca005132598008014566002607c60c26ea800a264b300100182644cc896600200304e899912cc0040060a11332259800800c14a264b3001306e002899191919191980080080c912cc0040060b515980098019839800c5300103d87a8000899801001183a000a0da41c4b3001300f00a8800c4c8c966002609600312325980099baf307430713754004003130050028a5041b860e660e06ea800e2b3001302400189192cc004cdd7983a18389baa307430713754004003130050028a5041b860e660e06ea800e2c836106c18369baa001301300a41a8b3001300f0038800c496600266ebc010c1c0c1c4c1c4c1c4c1b4dd5000c4c008006294106a20d25980098068024400626464b3001304900189192cc004cdd7980998379baa00200189802801452820d83071306e37540071598009811000c48c8c8cdc79bb330143070375400600266e28cdc51bae3072001376602e6eb8c1c8c1cc004dd6183898371baa0038b20d441a860d66ea8004c0280110682cc004c0300162494626464b30013048001891919baf3013306e375400400260e060da6ea800e2b3001302100189919192cc004cdc78012441008919baf301530703754002005123259800800c52844cdd79ba6307500100341c86eacc054c1c0dd5000a0d8374c660e066ec0dd48009ba6330703376060e260e400402c97adef6c604bd6f7b6301bae3070001375860de60d86ea800a2c834906918351baa0013009005419d05341ac60d80028350c1a8004c1ac00506818340009834800a0cc30660013067001419060c46ea800a09682fa09704b825c12d06712cc00400626644b300130400018992cc0040060c313259800983500140120c48338c1a000506618321baa0038acc004c064006264b3001001830c4c96600200306283144c96600260d6007159800800c18e264b300100183241920c9064899912cc0040060cd13259800800c19e0cf067833c4c96600260e000700a83420da375c0028380c1b400506b1bae001306c00241b460d400283420c68340dd6000c18a0c48358c1a000506618321baa0038acc004c0fc0062b30013064375400700283020ca83020c2418483084004c184dd5000c17a0bd05e82f20ce824a0c43063001418460be6ea802208e82e208f047823c11d0644566002602800d1598008044566002602860bc6ea8022264b3001001823c4c9660020030488244122091132598009833001c566002646600200205e44b3001001827456600266e3cdd71833800801c528c4cc008008c1a000506120ca8a60103d87a80008a998302492b657870656374206d7573745f686176652865787472615f7369676e61746f726965732c207369676e6572290016417d049418c6eb80050661831800a0c2305f37540110464171046823411a08c832226466446464b3001303f00b8acc0040362b3001303f3063375401b13259800800c12a26644b300100182644cc896600200304e8992cc004c1b800a264b3001300e0028800c566002005159800982398351baa0028992cc0040060a5132598009838801456600266ebc00c0062007153306b490117657870656374206669656c64203d3d20636f6d70617265001641a905341b860de0028368c1acdd5001414506841460a3051828a0e041a06600e6eb000cc8cc0040040648966002003153306a490128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdd7983600080444c1b400626600600660e20048350c1bc00506d413d06b1836000a0d4306a001306b00141a060d000260d20028330c190dd5006c1250614126093049824a0d2899192cc004c10c0362b300100f8acc004c10cc194dd5007c4c96600200304b8992cc004c1b000a26600606200304c41a460d40028340c198dd5007c129063412a09504a82520d68acc004cdc3a401001b159800807c56600266e1d20083065375401f13259800800c12a264b3001306c002899801819000c12d0691835000a0d03066375401f049418d049824c126092835a264b30013370e9006007456600202115980099b8748030c198dd500844c96600200304a8992cc00400609704b825c4c96600260dc0071325980099b88002375a00310018a99834a49266578706563742074696d65203c206275696c74696e2e756e5f695f64617461286c6f77657229001641a0600807104c41ac6eb40060968370c1ac00506918339baa010824a0c8824c12609304941b115980099b874803803a2b30010108acc004cdc3a401c60cc6ea8042264b3001001824c4c96600200304a825412a264b3001306e0038992cc004cdc49bad0010028800c54cc1a52401276578706563742074696d65203e3d206275696c74696e2e756e5f695f6461746128757070657229001641a0600806f04b41ac6eb40060948370c1ac00506918339baa01082420c8824412209104841b115980099b874802803a2b30010108acc004cdc3a401460cc6ea8042264b300100182444c966002003049824c1260931332259800800c12e264b3001001826413209904c899912cc00400609d13259800800c13e09f04f8992cc004c1d000e2b30013370f3001037803c01100c000c530103d87a80008a9983724929657870656374207175616e746974795f6f66286d696e742c20702c20616e29203d3d20616d6f756e74001641b505041c46eb400609e83a0c1c400506f1bae001307000241c460dc0028360dd7000983680120dc306b00141a460ce6ea804208e832208f047823c11d06c454cc19524011b52656465656d657220696e646578206f7574206f662072616e67650016419083210641192cc0040062a660cc920135657870656374205b6974656d2c202e2e5d203d20636f6e737472207c3e206275696c74696e2e756e636f6e7374725f6669656c6473001689835800a0d23006001418c83188966002003159800982198331baa0018992cc0040060a71332259800800c15626644b300100182bc4cc89660020030598992cc004c1cc00a2646464646600200201c44b30010018a9983924811b657870656374205b782c202e2e726573745d203d20696e7075747300168992cc004c0100062b3001302b0098980c983a9baa301a307537540031330123758012603260ea6ea8c068c1d4dd5000a0e4899801801983c80120e4307700141d4b30013014003891801180b98391baa00189192cc004cdd7800983b18399baa00289801980c18399baa0028a5041c060ea602200883716600260240111001899192cc004c1380062464b30013375e60ee60e86ea80080062600a00514a08388c1d8c1ccdd5001c566002604e00312325980099baf30773074375460ee60e86ea80080062600a00514a08388c1d8c1ccdd5001c5906f20de30703754002602c010836966002604a00b124a312323322330020020012259800800c528c4cc896600200506f837c4c9660020030708992cc0040060e3071838c1c626644b3001001839c4c96600200307483a41d20e91332259800800c1da264b300100183bc1de0ef13259800984100801c56600266e1e600201d0078022034001899806806805452820f683c20fe375a00307742080460fe00283e8dd7000983f00120fe307c00141e86eb8004c1ec00907c183c800a0ee375800506f837a0f43076001307700141d06eb001cdd5980a98381baa00141b105a41c060e20028378c1bc004c1c000506d18368009837000a0d6306b001306c00141a460ce6ea80060a483220a5052829414906c1111919800800802112cc0040062900044c96600266e3cdd71834800802c4c8cc004004dd59835801112cc0040062900044c96600266e3cdd71836000803c4dd69836800c4cc00c00cc1c400906a1837800a0da899801801983700120ce306c00141a88308c004004889660020051001899914c004016003330073006003375a0048028c1a0008c1a40090661800800918309baa00122259800981f000c4c19400a3300100398330014c06800500320be417082e06600203c0246008008409d0491bad00181320983049001411c6eb4004c12000a0468248c1180050441bad0013045002810208c304300141046082002608400281f8c0fc004c10000503d181d9baa01280d207080d406a03501a41003034001303037546066002606600260646064002606260620026060002605e00260546ea8c0b40222b300130070028acc004c018c0a4dd51816981718151baa0038a518b204e8b204e409c604e6ea8004c0ac008c0a8c0ac004c0a8011149a2a660409211856616c696461746f722072657475726e65642066616c73650013656407c1",
      "hash": "6a048180e011aa16e4c08ef3bfc3d67259eca5d63197bc96185247e2"
    },
    {
      "title": "intention_auth.intent_spend_types.withdraw",
      "redeemer": {
        "title": "_red",
        "schema": {
          "$ref": "#/definitions/intention_auth~1RedT"
        }
      },
      "compiledCode": "5916bb01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cdc3a400930090024888966002600460146ea800e264b300100589991194c004888c966002600e00313259800800c00e264b30010018acc004c06000a33001001802c0110074011016401200900480220323016001405460266ea80122b300130060018acc004c04cdd5002400e00480a22b3001300a0018acc004c04cdd5002400e00480a2004808101020203011375400722232598009803800c4c9660020030038992cc0040062b300130180028acc004c024c050dd5000c4c9660020030058992cc004006264b3001001803c4c966002003159800980e001466002007132598009807000c4c96600200300a8992cc0040062b3001301f0028992cc004c044006264b3001001806c4c966002003159800981100146600200300f80720228072040807403a01d00e408c604000280f8c074dd50014566002602000313259800800c036264b3001001807403a01d1332259800800c042264b3001001808c0460231332259800800c04e264b300100180a4052029132598009814801c05a02a8138dd6800c0510291813000a04a375a002604a005011409860460028110dd6800981100140390231810000a03e301d375400500c406880d0c06cdd5000c02d01d402e01700b805a040301d001407060346ea800a2b3001300d0018acc004c068dd5001402a01280da01280b9017180c1baa0018042016804203480440220110084074603400280c8c06800a00d006803401901b180c000a02e3015375400300440490044059004802401200880c8c05800501518099baa0048acc004c018006264b3001001801c4c966002003159800980c001466002003005802200e802202c80240120090044064602c00280a8c04cdd50024566002601400315980098099baa004801c00901440090102020404060226ea800e4464660020020064466006002600400522259800980318089baa0038992cc00400600513259800800c00e007003801c4cc89660020030058992cc00400600d00680344c9660026036007008803a032375a003006406c603000280b8dd7000980b80120303015001405060246ea800e002807922229800911192cc004c02c006264b3001001801c4c966002003004802401200913259800980e801c01a00a80d8dd7000a03a301a0014064602e6ea80122b3001300a0018992cc00400600713259800800c566002603800519800800c016008805200880d2009004802401101d180d000a032301737540091598009807000c4c9660020030038992cc004006009004802401226644b300100180344c966002003159800980f801466002003008803a01a803a03a803c01e00f0074080603a00280e0dd7000980e001203a301a0014064602e6ea801200480a1014202830153754007222598009805180a9baa0038992cc00400600513259800800c4c9660020030048992cc00400600b005899912cc00400600f13259800800c0220111332259800800c02a264b30010018acc004c08c00a33001009899807803112cc00400a26602200a44b30010028992cc004c064006264b3001001808c4c9660020031598009815001466002003013809202a8092050809404a02501240ac60500028138c094dd50034566002603000315980098129baa006808c041026404102220443023375400b13259800800c042021010899180198148021bad00180820523026002409513259800800c03a01d13259800800c03e264b30010018084042021010899912cc00400602513259800800c04e027013809c4cc89660020030158992cc00400602d01680b44c966002605e0071300b302f00c80ba05a375a00301640bc60580028158dd700098158012058302900140a06eb8004c0a00090291813000a04a375800300e807204e3024002408d00b404100b408500b805c02e0168120c0840050201bac00130200028044021021180f000a03a3758002603a005005802a03c301b00140686036005003801c00e00680e0c064005018180b1baa003800a0269112cc004c024c054dd5001c566002602c6ea800e005001405d001404c9112cc004c028c054dd5007c4c9660020030138992cc004006029014899912cc00400602d13259800800c05e02f1332259800800c066264b300100180d406a0351332259800800c072264b300100180ec07603b1332259800800c07e264b30010018104082041132598009814001c4cc050034896600200513301600c225980080145a264b3001001813409a04d026899180198170021bae00140b860560048152264b30010018acc004c070c09cdd5000c4c9660020030258992cc00400604d026813409a26644b300100181444c96600200313259800800c0aa264b3001001815c0ae05702b899912cc00400605b13259800800c0ba05d02e81744cc89660020030308992cc0040060630318992cc004c0e400e264b3001302b3036375401713259800800c0d2264b300100181ac0d626644b300100181bc4c96600200303881c44cc896600200303a8992cc0040062b30013042002899817003112cc00400a2b300100581ec4c96600200303e81f40fa26644b300100182044c9660020030418992cc004c12400e26606a00244b30010028992cc004c0f4006264b300100182344c966002003047823c11e264b3001304f00380b412104d1bad001823a09e304c001412c60926ea802e2b3001303c0018992cc00400608d13259800800c566002609c00519800800c05608e81ca08e826208f047823c11d04f1826000a0963049375401704541188230c11cdd500544c8c966002003046823411a08d1332259800800c1222660766eac0048966002005130073051008899192cc00400609904c826413226644b3001001827413a09d13230063056007375a00304e41586eb8004c14000905418270009828001209e82441220908280dd70009825001209c3048001304a0024125042411c6eac006083041820a092304600141146eb4004c11401a07c8230c10c01504244c9660020031332259800981c000c4c9660020030418992cc0040062b300130490028acc004c0e8c114dd5000c4c9660020030438992cc004006264b3001001822c4c96600200313259800800c11e264b30010018992cc00400609313259800800c56600260a200519800803c4cc8966002608800313259800800c136264b300100182744c96600260ac0071330420012259800801401e26464b3001001829c14e0a7053899912cc0040060ab133048375600244b300100289803982f00444c8c96600200305982cc1660b31332259800800c16e0b705b899180318318039bad00182da0c6375c00260ba0048308c16c004c17400905c41560ab05541746eb8004c15c00905b182a800982b80120ac827a0a8375600304e82741390561829800a0a43050375400f1598009821800c4c96600200304d8992cc00400609d04e8992cc004c15800e2b3001001827c4c96600200305082841420a11332259800800c14a264b3001001829c14e0a70538992cc004c16c00e01505441646eb800505b182c000a0ae375c00260ae00482c0c154005054413d0541bac00182741390561829800a0a43050375400f1598009823800c56600260a06ea801e00504c414504c4134826904d099912cc004c110006264b3001001826c4c96600260aa00500482720a63053001414860a06ea80162b300130430018992cc00400609b13259800800c13a09d13259800982b001c56600200304f8992cc0040060a1050828414226644b300100182944c966002003053829c14e0a713259800982d801c02a0a882c8dd7000a0b63058001415c6eb8004c15c009058182a800a0a8827a0a8375800304e82720ac3053001414860a06ea80162b300130470018acc004c140dd5002c00a098828a098826904d209a132598009821800c4c96600200304c8992cc00400609b04d826c136264b3001305500380841390531bae001415460a40028288c13cdd50014566002608400315980098279baa002806c12d050412d04c2098304d3754002609a6ea800cc134dd5002c12903e412904f412a09504a82520a4304f0014138609e00504882441220908280c13400504c1826801411a08d046823209c304b0014128609600504482241120888260c12400504818231baa0018212086821208e821410a0850424128608e0028230c110dd5001c566002606e00313259800800c106264b3001001821410a0850428992cc004c12800e00b04341206eb800504a1823800a08c304437540071332259800981e801c4c9660020030438992cc004006264b3001001822c4c96600200304682344cc89660020030488992cc0040062b30013050002899912cc004c10c006264b300100182644c96600200304d826c13609b13259800982a801c01609c8298dd7000a0aa30520014144609e6ea80222b300130420018992cc00400609913259800800c56600260a800519800800c01209a81fa09a829209b04d826c1350551829000a0a2304f37540111598009823000c4c96600200304c8992cc0040062b300130540028cc00400600904d410d04d414904d826c13609a82a8c14800505118279baa0088acc004c02c006264b300100182644c96600200304d826c13626644b3001001827c4c966002003159800982b80144c966002609200313259800800c14a264b30010018992cc0040060a913259800800c56600260b800519800801c6600200300c82aa08882aa09682aa0b482ac1560ab055417460b400282c8c16800a0a7053829c14d05b182c000a0ae305537540051598009824000c4c9660020030528992cc004006264b300100182a44c966002003159800982e00146600200719800800c0320aa82220aa825a0aa82d20ab05582ac15505d182d000a0b2305a002829c14e0a7053416c60b000282b8c154dd50014566002609800313259800800c14a264b30010018992cc0040060a913259800800c56600260b800519800801c6600200300c82aa08c82aa09682aa0b482ac1560ab055417460b400282c8c16800a0a7053829c14d05b182c000a0ae305537540051598009808800c4c9660020030528992cc004006264b300100182a44c96600200313259800800c15a264b300100182bc15e0af13259800982f801c6600200d19800802403e0b0824a0b082720b082e8dd6800c15d05f182e000a0b6305c00282ac1560ab055417460b400282c8c16800a0a7053829c14d05b182c000a0ae305537540051598009808000c4c9660020030528992cc004006264b300100182a44c96600200305582ac156264b3001305d0038cc00401201b0564131056416c6eb40060aa82e8c168005059182d001414e0a7053829a0b63058001415c60aa6ea800a2b30013370e9005000c4c9660020030528992cc0040062b3001305a0028cc00400601505341250534161053829c14e0a682d8c160005057182a9baa0028acc004cdc3a401800313259800800c14a264b30010018992cc0040060a913259800800c1560ab0558992cc004c17400e33001004806c15904c415905b1bad00182aa0ba305a001416460b4005053829c14e0a682d8c160005057182a9baa0028acc004cdc3a401c00313259800800c14a264b3001001829c14e0a7053899912cc0040060ab13259800800c15a0ad05682b44c96600260bc00700e82ba0b8375c00282f0c16c00505a1bae001305a002416c60b000282b8c154dd5001456600266e1d20100018992cc0040060a513259800800c14e0a7053829c4cc89660020030558992cc0040060ad05682b44c96600260bc00700e82ba0b8375a003056417860b600282d0dd7000982d00120b63058001415c60aa6ea800a2b30013370e9009000c4c9660020030528992cc004006264b300100182a44c966002003159800982e00146600200719800800c0320aa825a0aa825a0aa82d20ab05582ac15505d182d000a0b2305a002829c14e0a7053416c60b000282b8c154dd5001456600266e1d20140018992cc0040060a513259800800c56600260b400519800800c02a0a6824a0a682c20a7053829c14d05b182c000a0ae305537540050514148829105220a44148829105220a44148829105218299baa00182820aa82841420a1050416060aa00282a0dd6800982a00141350551829000a0a2304f37540111598009805000c4c96600200304c8992cc0040062b300130540028992cc004c118006264b3001001827c4c966002003159800982b801466002003007828208c82820aa82841420a1050416060aa00282a0c148dd50014566002608a00313259800800c13e264b30010018acc004c15c00a33001001803c141046414105541420a105082820b03055001415060a46ea800a2b300130490018992cc00400609f13259800800c1420a105082844c96600260b0007008828a0ac375c00282c0c15400505418291baa002827209e413c8278c140dd5000c135052413609b04d826a0aa30520014144609e6ea8022096826104c2098413082604cc0f000c8966002005132598009822000c4c96600200304d8992cc004c15400a02104e414c60a60028290c140dd50024566002608600315980098281baa0048074131051413104d209a304e375400713259800800c13209904c8991801982a0021bad00182620a83051002414060986ea801a0928272093049824c1250511827000a09a3758002609a005046823209c304b0014128609600504482241120888260c12400504818231baa0058acc004c00800e264b3001001821c4c9660020031598009825801466002003006822206882220928224112089044413060920028240c118dd5002c566002600200713259800800c10e264b30010018acc004c12c00a33001001803411103441110494112089044822209830490014120608c6ea80162b30013370e9005001c4c9660020030438992cc004006089044822411226644b300100182344c966002003047823c11e08f1332259800800c126264b3001001825412a095132598009829001c0360968280dd6800c1290521827800a09c375c002609c0048278c13000504b1bae001304b002413060920028240c118dd5002c56600266e1d200c0038992cc00400608713259800800c1120890448992cc004c13000e00f04541286eb40060888260c12400504818231baa0058acc004cdc3a401c00713259800800c10e264b30010018224112089132598009826001c01e08a8250dd6800c11104c1824800a0903046375400b042410c82190432086410c8218dc3a400c6e1d2008410482084c008c11400cc104dd5000c0fa07d03e81f208c3043002410903b410103b81dc0ee0768218c10000503f1bac001303f00281c40e1040181e800a0783758002607800503581aa07a303a00140e4606e6ea802e06681a04cc094004896600200513012303b0138992cc00400606b03581ac0d62646006607a0086eb800503d181d0012072819206e3758003031818a072303600140d46eb8004c0d40090361819800a064375c00260640048198c0c000502f181800140a6053029814a062302e00140b46eb8004c0b400902e1815800a05430283754003024409502481240920488160c0a400902840850261bad0018102050302500140906eb4004c09000a03a8128c0880050211bad001302100280d2044301f00140786eb0004c07800a02f017407c603800280d8dd6000980d801405202880e0c064005018180b1baa00f80920260888c966002600c00313259800800c00e264b300100180240120090048992cc004c06000e00d00540586eb8005018180a800a028301237540091598009802800c4c9660020030038992cc0040060090048024012264b3001301800380340150161bae0014060602a00280a0c048dd5002400900f201e301037540066e1d2000370e900140220110088042020300d300b3754007164020300900130053754015149a2a660069211856616c696461746f722072657475726e65642066616c7365001365640082a6600492010a5f7265643a2052656454001601",
      "hash": "dd42c573a1057de5542b3ab6ad2d0de15eac0254367d3320c9ff6611"
    },
    {
      "title": "intention_auth.intent_spend_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "5916bb01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cdc3a400930090024888966002600460146ea800e264b300100589991194c004888c966002600e00313259800800c00e264b30010018acc004c06000a33001001802c0110074011016401200900480220323016001405460266ea80122b300130060018acc004c04cdd5002400e00480a22b3001300a0018acc004c04cdd5002400e00480a2004808101020203011375400722232598009803800c4c9660020030038992cc0040062b300130180028acc004c024c050dd5000c4c9660020030058992cc004006264b3001001803c4c966002003159800980e001466002007132598009807000c4c96600200300a8992cc0040062b3001301f0028992cc004c044006264b3001001806c4c966002003159800981100146600200300f80720228072040807403a01d00e408c604000280f8c074dd50014566002602000313259800800c036264b3001001807403a01d1332259800800c042264b3001001808c0460231332259800800c04e264b300100180a4052029132598009814801c05a02a8138dd6800c0510291813000a04a375a002604a005011409860460028110dd6800981100140390231810000a03e301d375400500c406880d0c06cdd5000c02d01d402e01700b805a040301d001407060346ea800a2b3001300d0018acc004c068dd5001402a01280da01280b9017180c1baa0018042016804203480440220110084074603400280c8c06800a00d006803401901b180c000a02e3015375400300440490044059004802401200880c8c05800501518099baa0048acc004c018006264b3001001801c4c966002003159800980c001466002003005802200e802202c80240120090044064602c00280a8c04cdd50024566002601400315980098099baa004801c00901440090102020404060226ea800e4464660020020064466006002600400522259800980318089baa0038992cc00400600513259800800c00e007003801c4cc89660020030058992cc00400600d00680344c9660026036007008803a032375a003006406c603000280b8dd7000980b80120303015001405060246ea800e002807922229800911192cc004c02c006264b3001001801c4c966002003004802401200913259800980e801c01a00a80d8dd7000a03a301a0014064602e6ea80122b3001300a0018992cc00400600713259800800c566002603800519800800c016008805200880d2009004802401101d180d000a032301737540091598009807000c4c9660020030038992cc004006009004802401226644b300100180344c966002003159800980f801466002003008803a01a803a03a803c01e00f0074080603a00280e0dd7000980e001203a301a0014064602e6ea801200480a1014202830153754007222598009805180a9baa0038992cc00400600513259800800c4c9660020030048992cc00400600b005899912cc00400600f13259800800c0220111332259800800c02a264b30010018acc004c08c00a33001009899807803112cc00400a26602200a44b30010028992cc004c064006264b3001001808c4c9660020031598009815001466002003013809202a8092050809404a02501240ac60500028138c094dd50034566002603000315980098129baa006808c041026404102220443023375400b13259800800c042021010899180198148021bad00180820523026002409513259800800c03a01d13259800800c03e264b30010018084042021010899912cc00400602513259800800c04e027013809c4cc89660020030158992cc00400602d01680b44c966002605e0071300b302f00c80ba05a375a00301640bc60580028158dd700098158012058302900140a06eb8004c0a00090291813000a04a375800300e807204e3024002408d00b404100b408500b805c02e0168120c0840050201bac00130200028044021021180f000a03a3758002603a005005802a03c301b00140686036005003801c00e00680e0c064005018180b1baa003800a0269112cc004c024c054dd5001c566002602c6ea800e005001405d001404c9112cc004c028c054dd5007c4c9660020030138992cc004006029014899912cc00400602d13259800800c05e02f1332259800800c066264b300100180d406a0351332259800800c072264b300100180ec07603b1332259800800c07e264b30010018104082041132598009814001c4cc050034896600200513301600c225980080145a264b3001001813409a04d026899180198170021bae00140b860560048152264b30010018acc004c070c09cdd5000c4c9660020030258992cc00400604d026813409a26644b300100181444c96600200313259800800c0aa264b3001001815c0ae05702b899912cc00400605b13259800800c0ba05d02e81744cc89660020030308992cc0040060630318992cc004c0e400e264b3001302b3036375401713259800800c0d2264b300100181ac0d626644b300100181bc4c96600200303881c44cc896600200303a8992cc0040062b30013042002899817003112cc00400a2b300100581ec4c96600200303e81f40fa26644b300100182044c9660020030418992cc004c12400e26606a00244b30010028992cc004c0f4006264b300100182344c966002003047823c11e264b3001304f00380b412104d1bad001823a09e304c001412c60926ea802e2b3001303c0018992cc00400608d13259800800c566002609c00519800800c05608e81ca08e826208f047823c11d04f1826000a0963049375401704541188230c11cdd500544c8c966002003046823411a08d1332259800800c1222660766eac0048966002005130073051008899192cc00400609904c826413226644b3001001827413a09d13230063056007375a00304e41586eb8004c14000905418270009828001209e82441220908280dd70009825001209c3048001304a0024125042411c6eac006083041820a092304600141146eb4004c11401a07c8230c10c01504244c9660020031332259800981c000c4c9660020030418992cc0040062b300130490028acc004c0e8c114dd5000c4c9660020030438992cc004006264b3001001822c4c96600200313259800800c11e264b30010018992cc00400609313259800800c56600260a200519800803c4cc8966002608800313259800800c136264b300100182744c96600260ac0071330420012259800801401e26464b3001001829c14e0a7053899912cc0040060ab133048375600244b300100289803982f00444c8c96600200305982cc1660b31332259800800c16e0b705b899180318318039bad00182da0c6375c00260ba0048308c16c004c17400905c41560ab05541746eb8004c15c00905b182a800982b80120ac827a0a8375600304e82741390561829800a0a43050375400f1598009821800c4c96600200304d8992cc00400609d04e8992cc004c15800e2b3001001827c4c96600200305082841420a11332259800800c14a264b3001001829c14e0a70538992cc004c16c00e01505441646eb800505b182c000a0ae375c00260ae00482c0c154005054413d0541bac00182741390561829800a0a43050375400f1598009823800c56600260a06ea801e00504c414504c4134826904d099912cc004c110006264b3001001826c4c96600260aa00500482720a63053001414860a06ea80162b300130430018992cc00400609b13259800800c13a09d13259800982b001c56600200304f8992cc0040060a1050828414226644b300100182944c966002003053829c14e0a713259800982d801c02a0a882c8dd7000a0b63058001415c6eb8004c15c009058182a800a0a8827a0a8375800304e82720ac3053001414860a06ea80162b300130470018acc004c140dd5002c00a098828a098826904d209a132598009821800c4c96600200304c8992cc00400609b04d826c136264b3001305500380841390531bae001415460a40028288c13cdd50014566002608400315980098279baa002806c12d050412d04c2098304d3754002609a6ea800cc134dd5002c12903e412904f412a09504a82520a4304f0014138609e00504882441220908280c13400504c1826801411a08d046823209c304b0014128609600504482241120888260c12400504818231baa0018212086821208e821410a0850424128608e0028230c110dd5001c566002606e00313259800800c106264b3001001821410a0850428992cc004c12800e00b04341206eb800504a1823800a08c304437540071332259800981e801c4c9660020030438992cc004006264b3001001822c4c96600200304682344cc89660020030488992cc0040062b30013050002899912cc004c10c006264b300100182644c96600200304d826c13609b13259800982a801c01609c8298dd7000a0aa30520014144609e6ea80222b300130420018992cc00400609913259800800c56600260a800519800800c01209a81fa09a829209b04d826c1350551829000a0a2304f37540111598009823000c4c96600200304c8992cc0040062b300130540028cc00400600904d410d04d414904d826c13609a82a8c14800505118279baa0088acc004c02c006264b300100182644c96600200304d826c13626644b3001001827c4c966002003159800982b80144c966002609200313259800800c14a264b30010018992cc0040060a913259800800c56600260b800519800801c6600200300c82aa08882aa09682aa0b482ac1560ab055417460b400282c8c16800a0a7053829c14d05b182c000a0ae305537540051598009824000c4c9660020030528992cc004006264b300100182a44c966002003159800982e00146600200719800800c0320aa82220aa825a0aa82d20ab05582ac15505d182d000a0b2305a002829c14e0a7053416c60b000282b8c154dd50014566002609800313259800800c14a264b30010018992cc0040060a913259800800c56600260b800519800801c6600200300c82aa08c82aa09682aa0b482ac1560ab055417460b400282c8c16800a0a7053829c14d05b182c000a0ae305537540051598009808800c4c9660020030528992cc004006264b300100182a44c96600200313259800800c15a264b300100182bc15e0af13259800982f801c6600200d19800802403e0b0824a0b082720b082e8dd6800c15d05f182e000a0b6305c00282ac1560ab055417460b400282c8c16800a0a7053829c14d05b182c000a0ae305537540051598009808000c4c9660020030528992cc004006264b300100182a44c96600200305582ac156264b3001305d0038cc00401201b0564131056416c6eb40060aa82e8c168005059182d001414e0a7053829a0b63058001415c60aa6ea800a2b30013370e9005000c4c9660020030528992cc0040062b3001305a0028cc00400601505341250534161053829c14e0a682d8c160005057182a9baa0028acc004cdc3a401800313259800800c14a264b30010018992cc0040060a913259800800c1560ab0558992cc004c17400e33001004806c15904c415905b1bad00182aa0ba305a001416460b4005053829c14e0a682d8c160005057182a9baa0028acc004cdc3a401c00313259800800c14a264b3001001829c14e0a7053899912cc0040060ab13259800800c15a0ad05682b44c96600260bc00700e82ba0b8375c00282f0c16c00505a1bae001305a002416c60b000282b8c154dd5001456600266e1d20100018992cc0040060a513259800800c14e0a7053829c4cc89660020030558992cc0040060ad05682b44c96600260bc00700e82ba0b8375a003056417860b600282d0dd7000982d00120b63058001415c60aa6ea800a2b30013370e9009000c4c9660020030528992cc004006264b300100182a44c966002003159800982e00146600200719800800c0320aa825a0aa825a0aa82d20ab05582ac15505d182d000a0b2305a002829c14e0a7053416c60b000282b8c154dd5001456600266e1d20140018992cc0040060a513259800800c56600260b400519800800c02a0a6824a0a682c20a7053829c14d05b182c000a0ae305537540050514148829105220a44148829105220a44148829105218299baa00182820aa82841420a1050416060aa00282a0dd6800982a00141350551829000a0a2304f37540111598009805000c4c96600200304c8992cc0040062b300130540028992cc004c118006264b3001001827c4c966002003159800982b801466002003007828208c82820aa82841420a1050416060aa00282a0c148dd50014566002608a00313259800800c13e264b30010018acc004c15c00a33001001803c141046414105541420a105082820b03055001415060a46ea800a2b300130490018992cc00400609f13259800800c1420a105082844c96600260b0007008828a0ac375c00282c0c15400505418291baa002827209e413c8278c140dd5000c135052413609b04d826a0aa30520014144609e6ea8022096826104c2098413082604cc0f000c8966002005132598009822000c4c96600200304d8992cc004c15400a02104e414c60a60028290c140dd50024566002608600315980098281baa0048074131051413104d209a304e375400713259800800c13209904c8991801982a0021bad00182620a83051002414060986ea801a0928272093049824c1250511827000a09a3758002609a005046823209c304b0014128609600504482241120888260c12400504818231baa0058acc004c00800e264b3001001821c4c9660020031598009825801466002003006822206882220928224112089044413060920028240c118dd5002c566002600200713259800800c10e264b30010018acc004c12c00a33001001803411103441110494112089044822209830490014120608c6ea80162b30013370e9005001c4c9660020030438992cc004006089044822411226644b300100182344c966002003047823c11e08f1332259800800c126264b3001001825412a095132598009829001c0360968280dd6800c1290521827800a09c375c002609c0048278c13000504b1bae001304b002413060920028240c118dd5002c56600266e1d200c0038992cc00400608713259800800c1120890448992cc004c13000e00f04541286eb40060888260c12400504818231baa0058acc004cdc3a401c00713259800800c10e264b30010018224112089132598009826001c01e08a8250dd6800c11104c1824800a0903046375400b042410c82190432086410c8218dc3a400c6e1d2008410482084c008c11400cc104dd5000c0fa07d03e81f208c3043002410903b410103b81dc0ee0768218c10000503f1bac001303f00281c40e1040181e800a0783758002607800503581aa07a303a00140e4606e6ea802e06681a04cc094004896600200513012303b0138992cc00400606b03581ac0d62646006607a0086eb800503d181d0012072819206e3758003031818a072303600140d46eb8004c0d40090361819800a064375c00260640048198c0c000502f181800140a6053029814a062302e00140b46eb8004c0b400902e1815800a05430283754003024409502481240920488160c0a400902840850261bad0018102050302500140906eb4004c09000a03a8128c0880050211bad001302100280d2044301f00140786eb0004c07800a02f017407c603800280d8dd6000980d801405202880e0c064005018180b1baa00f80920260888c966002600c00313259800800c00e264b300100180240120090048992cc004c06000e00d00540586eb8005018180a800a028301237540091598009802800c4c9660020030038992cc0040060090048024012264b3001301800380340150161bae0014060602a00280a0c048dd5002400900f201e301037540066e1d2000370e900140220110088042020300d300b3754007164020300900130053754015149a2a660069211856616c696461746f722072657475726e65642066616c7365001365640082a6600492010a5f7265643a2052656454001601",
      "hash": "dd42c573a1057de5542b3ab6ad2d0de15eac0254367d3320c9ff6611"
    },
    {
      "title": "stake_auth.wallet_stake.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "5909d801010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a998012495865787065637420566572696669636174696f6e207b2065646432353531395f6b6579732c206f746865725f6b6579732c20686f745f71756f72756d2c202e2e207d203d0a202020202020202020202020686f745f6372656400168a9980124920657870656374205769746864726177616c28736329203d20686f745f6372656400168a998012497265787065637420436f6e74726f6c207b20686f745f637265642c202e2e207d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d5f62795f6e66742865787065637465645f6e66742900168a998012495365787065637420486f744163636f756e745374616b65207b20757365725f7374616b653a2053637269707428757365725f68617368292c2073696773207d203d0a2020202020202020202072656465656d657200164888889660026464653001300c3754003370e90004c0400092225980099b874801000e26464646464653001375660326034603460346034003375860320033758603200d3758603200b375a6032009375860320073756603200491111112cc00403a2b3001300f301c375401d13259800800c056264b30010018992cc00400602f13259800981280144c966002600260426ea8012264b300100180d44c96600200301b80dc06e037132598009814801c4c966002003159800980c18129baa0018992cc00400603f1332259800800c086264b3001302e0028992cc004c074c0040122b30010048acc004c074c0a8dd500244c966002003026899912cc0040060511332259800800c0aa26644b300100181644c966002606e00513232325980099baf0084c010180008acc004cdc49bad00633001375601403f14a31533034490173636865636b5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203e3d206275696c74696e2e756e5f695f6461746128686f745f71756f72756d29203f2046616c73650014a0819a2b3001337126eb4018cdc0198009bab00a01f3298009112cc00400a2900044cc8966002007153303a49123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0c0dc6800c6600200f003801200e8acc004c0c0c0500122b30010048acc004c0c0c0f4dd500244c96600200303b8992cc00400607903c81e40f2264b300130450038acc006600200300b8022ed51300e9800805401a00a80522a6607e92131657870656374207665726966795f7363686e6f72725f7369676e617475726528766b2c206d6573736167652c2073696729001640f903d41086eb80050451821000a080303e375400903a40ed03a81d40ea074821a2b30010048acc004c074c0f4dd500244c96600200303a8992cc00400607703b81dc0ee264b300130450038acc006600200300b8022ed11300e9800805401a00a80522a6607e92012f657870656374207665726966795f65636473615f7369676e617475726528766b2c206d6573736167652c2073696729001640f903c41086eb80050451821000a080303e375400903940ed03981cc0e6072821903b20763040003375c607e00681e8c0f4008c0f800903b4dd600bcdd6004a4453001003800c0090030dca1bb3374e660706e9c074cc0e0dd400e1981c1ba601a33038374e036660706e980812f5c114a31533034491d4636865636b5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329202b20636865636b5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c2073696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203e3d206275696c74696e2e756e5f695f6461746128686f745f71756f72756d29203f2046616c73650014a0819903318008009112cc00400a2900044cc88c01a600200b0019919800800802112cc0040062a6607292011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd7802981f8014400626600600600281c8c0fc00503c200a3036303a002303b00240e06e012002816a068303500140cc606600260680028188c0c4004c0c800502f18178009818000a05a302b375400902540a1025812c09604a81822b30010048acc004c028c0a8dd500244c9660020030258992cc004c0c400a2b300132330010010122259800800c54cc0b5240122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd798171819000801c528c4cc008008c0cc00502c20608a518a99815a481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0815204c8170c0bc00502d18159baa0048122050812409204902440c081408c0a8dd5000c08902b1816000a054302a001302b00140a0604c6ea800603c811a03d01e80f407902b191919800800807912cc0040062a6604c920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899192cc0040062a6605092136657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004cdd79ba6302e0010058992cc004cdc3a400860546ea80062605c60566ea80062a660529212965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640a0605a605c005133004004302e003409c8158dd59816000981618141baa302b302c3028375460560028148dd31981399bb04c11e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6604e66ec0dd4800a6010101004bd6f7b63025eb7bdb1820388130dd7000a0523026001409060446ea801203280f8dc3a4005018408860460028108c08c00a02d01680b40590241810800a03e301d375401d014406901480a40520288110603260320026030002602e602e002602c002602a002602860206ea8c04c01a2b30013370e9003001c5660026004601e6ea8c04cc050c040dd50024528c5900d45900d201a18079808000980780098051baa0108a4d15330084911856616c696461746f722072657475726e65642066616c73650013656401c1",
      "hash": "d86bb152b638bf63db6d44aee0c3ff1818e13949cc4130ad5d459d57"
    },
    {
      "title": "stake_auth.wallet_stake_types.withdraw",
      "redeemer": {
        "title": "_signatures",
        "schema": {
          "$ref": "#/definitions/offchain_types~1HotAccountStakeT"
        }
      },
      "compiledCode": "5901b801010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006264b300100180544c96600200300b805c4c9660026026007133225980099b8748000006264b3001001807c4c966002003010808404202113259800980c001c01602280b0dd7000a0303015001405060246ea801a2b30013370e9001000c4c96600200300f8992cc0040060210108084042264b30013018003802c0450161bae0014060602a00280a0c048dd5003403900f201e132330010010022259800800c5a264b3001001807c03e01f00f89919802002180b8019bae001405c60280028098c03cdd500240310111bac001805c02d0131808000a01e3010002804c0260130094044601c0028068c02cdd5002401d008401e00f007803a01e300c300a375400516401c300900130053754015149a2a6600692011856616c696461746f722072657475726e65642066616c7365001365640082a6600492011d5f7369676e6174757265733a20486f744163636f756e745374616b6554001601",
      "hash": "4cd00c3de7c660edafa257bb466f07bdab9c0682b473868c23e79da3"
    },
    {
      "title": "stake_auth.wallet_stake_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "5901b801010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006264b300100180544c96600200300b805c4c9660026026007133225980099b8748000006264b3001001807c4c966002003010808404202113259800980c001c01602280b0dd7000a0303015001405060246ea801a2b30013370e9001000c4c96600200300f8992cc0040060210108084042264b30013018003802c0450161bae0014060602a00280a0c048dd5003403900f201e132330010010022259800800c5a264b3001001807c03e01f00f89919802002180b8019bae001405c60280028098c03cdd500240310111bac001805c02d0131808000a01e3010002804c0260130094044601c0028068c02cdd5002401d008401e00f007803a01e300c300a375400516401c300900130053754015149a2a6600692011856616c696461746f722072657475726e65642066616c7365001365640082a6600492011d5f7369676e6174757265733a20486f744163636f756e745374616b6554001601",
      "hash": "4cd00c3de7c660edafa257bb466f07bdab9c0682b473868c23e79da3"
    },
    {
      "title": "wallet_auth.vault_spend_types.withdraw",
      "redeemer": {
        "title": "_signatures",
        "schema": {
          "$ref": "#/definitions/offchain_types~1AccountSpendT"
        }
      },
      "compiledCode": "59015b01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc00400601f00f807c4c966002602e007132330010010052259800800c5a264b3001001809c04e02701389919802002180d8019bae001406c603000280ba02080a8dd6800c03d017180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a491856616c696461746f722072657475726e65642066616c7365001365640082a6600492011a5f7369676e6174757265733a204163636f756e745370656e6454001601",
      "hash": "e9fd467bf61d906d8ffd40b9ed74685320cdc4698f6afd024b249513"
    },
    {
      "title": "wallet_auth.vault_spend_types.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59015b01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc00400601f00f807c4c966002602e007132330010010052259800800c5a264b3001001809c04e02701389919802002180d8019bae001406c603000280ba02080a8dd6800c03d017180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a491856616c696461746f722072657475726e65642066616c7365001365640082a6600492011a5f7369676e6174757265733a204163636f756e745370656e6454001601",
      "hash": "e9fd467bf61d906d8ffd40b9ed74685320cdc4698f6afd024b249513"
    },
    {
      "title": "wallet_auth.wallet_spend.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "59102001010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049211f657870656374206e65775f6e6f6e63653a204e6f6e6365203d20646174756d00168a998012498d657870656374205b4f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c202e2e5d203d0a202020202020736b69705f6c6973745f6d6163726f286f7574707574732c206275696c74696e2e756e5f695f64617461286e6f6e63655f6f75747075745f696e646578292900168a9980124917657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124921657870656374206e6f6e63655f73746174653a204e6f6e6365203d20646174756d00168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a998012495d65787065637420566572696669636174696f6e207b2065646432353531395f6b6579732c206f746865725f6b6579732c2077616c6c65745f71756f72756d2c202e2e207d203d0a2020202020202020202020202020686f745f6372656400168a9980124920657870656374205769746864726177616c28736329203d20686f745f6372656400168a998012497d65787065637420436f6e74726f6c207b20686f745f637265642c202e2e207d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a9980124948657870656374204163636f756e745370656e64207b20757365725f7374616b652c20736967732c20696e6465783a206e6f6e63655f6f7574707574207d203d2072656465656d657200164888888888966002646465300130103754003370e90024dc3a40013014002488896600260060091323232323298009bac301d301e301e0019bab301d0019bac301d0059bac301d0049bac301d0039bad301d0024888889660020191598009806980f9baa00c8992cc00400602913259800800c05602b01580ac4cc8966002003017899912cc00400603313259800981580144c8c8c8c966002003159800980c18151baa0018992cc0040060411332259800800c08a264b30013033002899194c00400602b4bd705200140044444b30010038acc004c96600260446002013159800804c566002604460686ea8026264b300100181644cc896600200302e899912cc0040060611332259800800c0ca264b3001304100289919192cc004cdd78042610180008acc004cdc49bad00433001375601404d14a3153303e490176636865636b5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203e3d206275696c74696e2e756e5f695f646174612877616c6c65745f71756f72756d29203f2046616c73650014a081ea2b3001337126eb4010cdc0198009bab00a0263298009112cc00400a2900044cc8966002007153304449123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0d4dc6800c6600200f003801200e8acc004c0d4c0500122b30010048acc004c0d4c11cdd500244c9660020030438992cc0040060890448224112264b3001304f0038acc006600200300b8022ed51300e9800805401a00a80522a6609292131657870656374207665726966795f7363686e6f72725f7369676e617475726528766b2c206d6573736167652c20736967290016412104541306eb800504f1826000a094304837540090424115042821410a084826a2b30010048acc004cdc3a4004608e6ea8012264b300100182144c966002003043821c10e087132598009827801c5660033001001805c011768898074c00402a00d005402915330494912f657870656374207665726966795f65636473615f7369676e617475726528766b2c206d6573736167652c20736967290016412104441306eb800504f1826000a094304837540090414115041820c1060828269045208a304a003375c60920068238c11c008c1200090454dd600ecdd6004a4453001003800c0090030dca1bb3374e660846e9c038cc108dd3811198211ba80214bd704528c54cc0f92401d7636865636b5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329202b20636865636b5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c2073696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203e3d206275696c74696e2e756e5f695f646174612877616c6c65745f71756f72756d29203f2046616c73650014a081e903d18008009112cc00400a2900044cc88c01a600200b0019919800800802112cc0040062a6608692011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd78029824801440062660060060028218c124005046200a30403044002304500241086e012002819a07c303f00140f4607a002607c00281d8c0ec004c0f0005039181c800981d000a06e3035375401302b40c902b815c0ae05681d22b30010098acc004cdc3a400460686ea8026264b3001001815c4c9660026076005159800991980080080e912cc0040062a6606e92122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7981c181e000801c528c4cc008008c0f400503620748a518a9981aa481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a081a205881c0c0e4005037181a9baa009815206481540aa05502a40e881908c0d0dd5000c566002b30013370e0029000c528c4c966002003030899194c004dd5981d000cc0e8c0ec00660740049112cc004c0a0c0e4dd500144c96600200303781bc0de2b30010048194566002b3001337100106eb400629462a6607292011f6e65775f6e6f6e6365203e206e6f6e63655f7374617465203f2046616c73650014a081c22b30015980099baf374c6607a66ec130011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6607a66ec0dd499b8a488104ffffffff000194c10101004bd6f7b63025eb7bdb180dd3181f8024528c54cc0e524135646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c756529203f2046616c73650014a081c22b30013375e00401914a3153303949012961646472657373203d3d2065787065637465645f6e6f6e63655f61646472657373203f2046616c73650014a081c229410384528207040f10374100607a60746ea800a06a81b86074002606a6ea8c0e00050364c004dd68074dc024003371290052444b300130010038994c00488966002600a00319800801cc0fcc0fcc0fcc0fcc0fc00a6008002801a2b30013028001880144cc896600260540031002899912cc004c0b000620051325980098169805801440062608800281e8c10c00903c18208011804000a074303f002300600140e081c26002009303c303c303c303c303c01a488966002600a00519800801cc0fcc0fcc0fcc0fcc0fc0066008004801a2b300130280028800c4cc896600260540031002899912cc004c0b000620051325980098169805801440062608800281e8c10c00903c18208011804000a074303f001300600240e081c06e0120098acc004c09000e203313322598009813000c400a26644b30013028001880144c9660026052600e005100189820000a072303f00240e0607a004600800281b0c0ec064c00800d034206820628a518a9981924815b6e6f6e63655f636865636b286f7574707574732c206e6f6e63655f73746174652c206e6f6e63655f6f75747075742c20757365725f7374616b652c2065787065637465645f6e6f6e63655f6164647265737329203f2046616c73650014a0818a294103144c8c8ca60026074606e6ea8006607600d303a00248896600266ebc00c0463300100a8014cc0f000402200e80522b30013375e0060171323322598009815981e1baa0018992cc00400606d03681b45660020070358acc004cdd79ba633040337609811e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6608066ec0dd499b8a488104ffffffff0001c4c10101004bd6f7b63025eb7bdb180dd31821001c6600201d006998200028064dd6800a01c8a9981e24813465787065637420646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c756529001640ec81fa06c8218c100c0f4dd5000c54cc0ed2413f657870656374204f7574707574207b2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d203d206f7574707574001640e86eacc0f8004c0f8c0fc004c0f8c0e8dd50024566002b30013375e607a60746ea800cc0f4c0e8dd5008c528c4cdd7981e981d1baa003303d303a375401681ba2d19800805400a011007402881b9037206e181c981d000981a9baa001303700340d460106606298122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff00330310074bd70408d0301818800a05e302f001303000140b460566ea800603e814203f01f80fc07d030191919800800807912cc0040062a66056920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7981918179baa001006899192cc00400605115980099baf374c606a00200f13259800981018189baa0018981a98191baa0018a998182492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640bc6068606a00513300600600440b88190dd59819800981998179baa0018998020020012058303100130303031302d375460600028170dd31981619bb04c11e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6605866ec0dd480426010101004bd6f7b63025eb7bdb180c008cc0ad300122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff003302b0014bd7018009981518009981519ba548008cc0a8dd480325eb812f5c097ae0374a900040690281814800a04e3027001302800140946eb8004c0980090271812000a044302037540190134075013809c04e0268128603a603a603a002603800260360026034002602a6ea8c06001e2b30013370e90030024566002600460286ea8c060c064c054dd5002c528c5901245901220241809980a000980980098071baa0148a4d153300c4911856616c696461746f722072657475726e65642066616c73650013656402c1",
      "hash": "eb050e6f64c7993df8e4adfa1e7a24426690e1f55447753483984881"
    }
  ],
  "definitions": {
    "AssetName": {
      "title": "AssetName",
      "dataType": "bytes"
    },
    "Bool": {
      "title": "Bool",
      "anyOf": [
        {
          "title": "False",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "True",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "ByteArray": {
      "dataType": "bytes"
    },
    "Data": {
      "title": "Data",
      "description": "Any Plutus data."
    },
    "Index": {
      "title": "Index",
      "dataType": "integer"
    },
    "Int": {
      "dataType": "integer"
    },
    "List$ByteArray": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/ByteArray"
      }
    },
    "List$Int": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/Int"
      }
    },
    "List$Signature": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/Signature"
      }
    },
    "List$Tuple$PolicyId_AssetName_Int": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/Tuple$PolicyId_AssetName_Int"
      }
    },
    "List$offchain_types/ConstraintT": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/offchain_types~1ConstraintT"
      }
    },
    "List$offchain_types/SignedIntentionT": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/offchain_types~1SignedIntentionT"
      }
    },
    "List$offchain_types/VkT": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/offchain_types~1VkT"
      }
    },
    "Lovelace": {
      "title": "Lovelace",
      "dataType": "integer"
    },
    "Natural": {
      "title": "Natural",
      "dataType": "integer"
    },
    "Never": {
      "title": "Never",
      "anyOf": [
        {
          "title": "Never",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "Nonce": {
      "title": "Nonce",
      "dataType": "integer"
    },
    "Option$Data": {
      "title": "Option",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/Data"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "Option$ScriptHash": {
      "title": "Option",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/ScriptHash"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "Option$StakeCredential": {
      "title": "Option",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/StakeCredential"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "Option$cardano/transaction/OutputReference": {
      "title": "Option",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1transaction~1OutputReference"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "OutputAssetMap": {
      "title": "OutputAssetMap",
      "dataType": "map",
      "keys": {
        "$ref": "#/definitions/AssetName"
      },
      "values": {
        "$ref": "#/definitions/Natural"
      }
    },
    "Pairs$AssetName_Int": {
      "title": "Pairs<AssetName, Int>",
      "dataType": "map",
      "keys": {
        "$ref": "#/definitions/AssetName"
      },
      "values": {
        "$ref": "#/definitions/Int"
      }
    },
    "Pairs$PolicyId_OutputAssetMap": {
      "title": "Pairs<PolicyId, OutputAssetMap>",
      "dataType": "map",
      "keys": {
        "$ref": "#/definitions/PolicyId"
      },
      "values": {
        "$ref": "#/definitions/OutputAssetMap"
      }
    },
    "Pairs$PolicyId_Pairs$AssetName_Int": {
      "title": "Pairs<PolicyId, Pairs<AssetName, Int>>",
      "dataType": "map",
      "keys": {
        "$ref": "#/definitions/PolicyId"
      },
      "values": {
        "$ref": "#/definitions/Pairs$AssetName_Int"
      }
    },
    "Pairs$VerificationKeyHash_VerificationKey": {
      "title": "Pairs<VerificationKeyHash, VerificationKey>",
      "dataType": "map",
      "keys": {
        "$ref": "#/definitions/VerificationKeyHash"
      },
      "values": {
        "$ref": "#/definitions/VerificationKey"
      }
    },
    "PaymentCredential": {
      "title": "PaymentCredential",
      "description": "A general structure for representing an on-chain `Credential`.\n\n Credentials are always one of two kinds: a direct public/private key\n pair, or a script (native or Plutus).",
      "anyOf": [
        {
          "title": "VerificationKey",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/VerificationKeyHash"
            }
          ]
        },
        {
          "title": "Script",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/ScriptHash"
            }
          ]
        }
      ]
    },
    "PolicyId": {
      "title": "PolicyId",
      "dataType": "bytes"
    },
    "ScriptHash": {
      "title": "ScriptHash",
      "dataType": "bytes"
    },
    "Signature": {
      "title": "Signature",
      "dataType": "bytes"
    },
    "StakeCredential": {
      "title": "StakeCredential",
      "description": "Represent a type of object that can be represented either inline (by hash)\n or via a reference (i.e. a pointer to an on-chain location).\n\n This is mainly use for capturing pointers to a stake credential\n registration certificate in the case of so-called pointer addresses.",
      "anyOf": [
        {
          "title": "Inline",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        },
        {
          "title": "Pointer",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "slot_number",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "transaction_index",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "certificate_index",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "StakePoolId": {
      "title": "StakePoolId",
      "dataType": "bytes"
    },
    "Tuple$ByteArray_ByteArray": {
      "title": "Tuple",
      "dataType": "list",
      "items": [
        {
          "$ref": "#/definitions/ByteArray"
        },
        {
          "$ref": "#/definitions/ByteArray"
        }
      ]
    },
    "Tuple$Lovelace_Pairs$PolicyId_OutputAssetMap": {
      "title": "Tuple",
      "dataType": "list",
      "items": [
        {
          "$ref": "#/definitions/Lovelace"
        },
        {
          "$ref": "#/definitions/Pairs$PolicyId_OutputAssetMap"
        }
      ]
    },
    "Tuple$PolicyId_AssetName": {
      "title": "Tuple",
      "dataType": "list",
      "items": [
        {
          "$ref": "#/definitions/PolicyId"
        },
        {
          "$ref": "#/definitions/AssetName"
        }
      ]
    },
    "Tuple$PolicyId_AssetName_Int": {
      "title": "Tuple",
      "dataType": "list",
      "items": [
        {
          "$ref": "#/definitions/PolicyId"
        },
        {
          "$ref": "#/definitions/AssetName"
        },
        {
          "$ref": "#/definitions/Int"
        }
      ]
    },
    "VerificationKey": {
      "title": "VerificationKey",
      "dataType": "bytes"
    },
    "VerificationKeyHash": {
      "title": "VerificationKeyHash",
      "dataType": "bytes"
    },
    "Void": {
      "title": "Unit",
      "anyOf": [
        {
          "dataType": "constructor",
          "index": 0,
          "fields": []
        }
      ]
    },
    "cardano/address/Address": {
      "title": "Address",
      "description": "A Cardano `Address` typically holding one or two credential references.\n\n Note that legacy bootstrap addresses (a.k.a. 'Byron addresses') are\n completely excluded from Plutus contexts. Thus, from an on-chain\n perspective only exists addresses of type 00, 01, ..., 07 as detailed\n in [CIP-0019 :: Shelley Addresses](https://github.com/cardano-foundation/CIPs/tree/master/CIP-0019/#shelley-addresses).",
      "anyOf": [
        {
          "title": "Address",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "payment_credential",
              "$ref": "#/definitions/PaymentCredential"
            },
            {
              "title": "stake_credential",
              "$ref": "#/definitions/Option$StakeCredential"
            }
          ]
        }
      ]
    },
    "cardano/address/Credential": {
      "title": "Credential",
      "description": "A general structure for representing an on-chain `Credential`.\n\n Credentials are always one of two kinds: a direct public/private key\n pair, or a script (native or Plutus).",
      "anyOf": [
        {
          "title": "VerificationKey",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/VerificationKeyHash"
            }
          ]
        },
        {
          "title": "Script",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/ScriptHash"
            }
          ]
        }
      ]
    },
    "cardano/certificate/Certificate": {
      "title": "Certificate",
      "description": "An on-chain certificate attesting of some operation. Publishing\n certificates triggers different kind of rules; most of the time,\n they require signatures from specific keys.",
      "anyOf": [
        {
          "title": "RegisterCredential",
          "description": "Register a stake credential with an optional deposit amount.\n The deposit is always present when using the new registration certificate\n format available since the Conway era.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "credential",
              "$ref": "#/definitions/cardano~1address~1Credential"
            },
            {
              "title": "deposit",
              "description": "> [!NOTE]\n > The `deposit` ought to be an `Option<Lovelace>`, but due to unfortunate\n > circumstances it will always be instantiated to `None` even when set in\n > the host transaction. This is what the `Never` type captures here.",
              "$ref": "#/definitions/Never"
            }
          ]
        },
        {
          "title": "UnregisterCredential",
          "description": "Un-Register a stake credential with an optional refund amount\n The deposit is always present when using the new de-registration certificate\n format available since the Conway era.",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "credential",
              "$ref": "#/definitions/cardano~1address~1Credential"
            },
            {
              "title": "refund",
              "description": "> [!NOTE]\n > The `refund` ought to be an `Option<Lovelace>`, but due to unfortunate\n > circumstances it will always be instantiated to `None` even when set in\n > the host transaction. This is what the `Never` type captures here.",
              "$ref": "#/definitions/Never"
            }
          ]
        },
        {
          "title": "DelegateCredential",
          "description": "Delegate stake to a [Delegate](#Delegate).",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "title": "credential",
              "$ref": "#/definitions/cardano~1address~1Credential"
            },
            {
              "title": "delegate",
              "$ref": "#/definitions/cardano~1certificate~1Delegate"
            }
          ]
        },
        {
          "title": "RegisterAndDelegateCredential",
          "description": "Register and delegate staking credential to a Delegatee in one certificate.",
          "dataType": "constructor",
          "index": 3,
          "fields": [
            {
              "title": "credential",
              "$ref": "#/definitions/cardano~1address~1Credential"
            },
            {
              "title": "delegate",
              "$ref": "#/definitions/cardano~1certificate~1Delegate"
            },
            {
              "title": "deposit",
              "$ref": "#/definitions/Lovelace"
            }
          ]
        },
        {
          "title": "RegisterDelegateRepresentative",
          "description": "Register a delegate representative (a.k.a DRep). The deposit is explicit and\n is refunded when the delegate steps down (unregister).",
          "dataType": "constructor",
          "index": 4,
          "fields": [
            {
              "title": "delegate_representative",
              "$ref": "#/definitions/cardano~1address~1Credential"
            },
            {
              "title": "deposit",
              "$ref": "#/definitions/Lovelace"
            }
          ]
        },
        {
          "title": "UpdateDelegateRepresentative",
          "description": "Update a delegate representative (a.k.a DRep). The certificate also contains\n metadata which aren't visible on-chain.",
          "dataType": "constructor",
          "index": 5,
          "fields": [
            {
              "title": "delegate_representative",
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        },
        {
          "title": "UnregisterDelegateRepresentative",
          "description": "UnRegister a delegate representative, and refund back its past deposit.",
          "dataType": "constructor",
          "index": 6,
          "fields": [
            {
              "title": "delegate_representative",
              "$ref": "#/definitions/cardano~1address~1Credential"
            },
            {
              "title": "refund",
              "$ref": "#/definitions/Lovelace"
            }
          ]
        },
        {
          "title": "RegisterStakePool",
          "description": "Register a new stake pool",
          "dataType": "constructor",
          "index": 7,
          "fields": [
            {
              "title": "stake_pool",
              "description": "The hash digest of the stake pool's cold (public) key",
              "$ref": "#/definitions/StakePoolId"
            },
            {
              "title": "vrf",
              "description": "The hash digest of the stake pool's VRF (public) key",
              "$ref": "#/definitions/VerificationKeyHash"
            }
          ]
        },
        {
          "title": "RetireStakePool",
          "description": "Retire a stake pool. 'at_epoch' indicates in which the retirement will take place",
          "dataType": "constructor",
          "index": 8,
          "fields": [
            {
              "title": "stake_pool",
              "$ref": "#/definitions/StakePoolId"
            },
            {
              "title": "at_epoch",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "AuthorizeConstitutionalCommitteeProxy",
          "description": "Authorize a Hot credential for a specific Committee member's cold credential",
          "dataType": "constructor",
          "index": 9,
          "fields": [
            {
              "title": "constitutional_committee_member",
              "$ref": "#/definitions/cardano~1address~1Credential"
            },
            {
              "title": "proxy",
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        },
        {
          "title": "RetireFromConstitutionalCommittee",
          "description": "Step down from the constitutional committee as a member.",
          "dataType": "constructor",
          "index": 10,
          "fields": [
            {
              "title": "constitutional_committee_member",
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        }
      ]
    },
    "cardano/certificate/Delegate": {
      "title": "Delegate",
      "description": "A type of stake delegation that can be either block-production, vote or\n both. Note that delegation types aren't cancelling one another, so it is\n possible to delegate block production in one transaction, and delegate vote\n in another. This second delegation **does NOT** invalidate the first one.",
      "anyOf": [
        {
          "title": "DelegateBlockProduction",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "stake_pool",
              "$ref": "#/definitions/StakePoolId"
            }
          ]
        },
        {
          "title": "DelegateVote",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "delegate_representative",
              "$ref": "#/definitions/cardano~1certificate~1DelegateRepresentative"
            }
          ]
        },
        {
          "title": "DelegateBoth",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "title": "stake_pool",
              "$ref": "#/definitions/StakePoolId"
            },
            {
              "title": "delegate_representative",
              "$ref": "#/definitions/cardano~1certificate~1DelegateRepresentative"
            }
          ]
        }
      ]
    },
    "cardano/certificate/DelegateRepresentative": {
      "title": "DelegateRepresentative",
      "anyOf": [
        {
          "title": "Registered",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        },
        {
          "title": "AlwaysAbstain",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        },
        {
          "title": "AlwaysNoConfidence",
          "dataType": "constructor",
          "index": 2,
          "fields": []
        }
      ]
    },
    "cardano/governance/Voter": {
      "title": "Voter",
      "anyOf": [
        {
          "title": "ConstitutionalCommitteeMember",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        },
        {
          "title": "DelegateRepresentative",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        },
        {
          "title": "StakePool",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "$ref": "#/definitions/VerificationKeyHash"
            }
          ]
        }
      ]
    },
    "cardano/transaction/OutputReference": {
      "title": "OutputReference",
      "description": "An `OutputReference` is a unique reference to an output on-chain. The `output_index`\n corresponds to the position in the output list of the transaction (identified by its id)\n that produced that output",
      "anyOf": [
        {
          "title": "OutputReference",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "transaction_id",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "output_index",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "intention_auth/RedT": {
      "title": "RedT",
      "anyOf": [
        {
          "title": "RedT",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "intentions",
              "$ref": "#/definitions/List$offchain_types~1SignedIntentionT"
            },
            {
              "title": "intent_user_counts",
              "$ref": "#/definitions/List$ByteArray"
            },
            {
              "title": "change_output_offset",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "constraint_output_offset",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "constraint_redeemer_offset",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "intention_types/Options$Data_Tuple$ByteArray_ByteArray": {
      "title": "Options",
      "anyOf": [
        {
          "title": "SomeOne",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/Data"
            }
          ]
        },
        {
          "title": "SomeTwo",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/Tuple$ByteArray_ByteArray"
            }
          ]
        },
        {
          "title": "Nada",
          "dataType": "constructor",
          "index": 2,
          "fields": []
        }
      ]
    },
    "intention_types/Options$Pairs$PolicyId_Pairs$AssetName_Int_Tuple$PolicyId_AssetName": {
      "title": "Options",
      "anyOf": [
        {
          "title": "SomeOne",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/Pairs$PolicyId_Pairs$AssetName_Int"
            }
          ]
        },
        {
          "title": "SomeTwo",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/Tuple$PolicyId_AssetName"
            }
          ]
        },
        {
          "title": "Nada",
          "dataType": "constructor",
          "index": 2,
          "fields": []
        }
      ]
    },
    "intention_types/Options$cardano/address/Address_cardano/address/Credential": {
      "title": "Options",
      "anyOf": [
        {
          "title": "SomeOne",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1address~1Address"
            }
          ]
        },
        {
          "title": "SomeTwo",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        },
        {
          "title": "Nada",
          "dataType": "constructor",
          "index": 2,
          "fields": []
        }
      ]
    },
    "offchain_types/AccountSpendT": {
      "title": "AccountSpendT",
      "anyOf": [
        {
          "title": "AccountSpendT",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "user_stake",
              "$ref": "#/definitions/ScriptHash"
            },
            {
              "title": "sigs",
              "$ref": "#/definitions/List$Signature"
            },
            {
              "title": "index",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "offchain_types/ColdBulletCredentialT": {
      "title": "ColdBulletCredentialT",
      "anyOf": [
        {
          "title": "ColdVerification",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/Pairs$VerificationKeyHash_VerificationKey"
            },
            {
              "$ref": "#/definitions/List$offchain_types~1VkT"
            }
          ]
        },
        {
          "title": "ColdWithdrawal",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        }
      ]
    },
    "offchain_types/ConstraintT": {
      "title": "ConstraintT",
      "anyOf": [
        {
          "title": "OutConNil",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/offchain_types~1OutputConstraintT"
            }
          ]
        },
        {
          "title": "SignedNil",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/VerificationKeyHash"
            }
          ]
        },
        {
          "title": "RedeemerVal",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "$ref": "#/definitions/offchain_types~1ScriptPurposeT"
            },
            {
              "$ref": "#/definitions/List$Int"
            },
            {
              "$ref": "#/definitions/Option$Data"
            }
          ]
        },
        {
          "title": "RefConVal",
          "dataType": "constructor",
          "index": 3,
          "fields": [
            {
              "$ref": "#/definitions/offchain_types~1InputConstraintT"
            }
          ]
        },
        {
          "title": "InpConVal",
          "dataType": "constructor",
          "index": 4,
          "fields": [
            {
              "$ref": "#/definitions/offchain_types~1InputConstraintT"
            }
          ]
        },
        {
          "title": "MintConNil",
          "dataType": "constructor",
          "index": 5,
          "fields": [
            {
              "$ref": "#/definitions/PolicyId"
            },
            {
              "$ref": "#/definitions/AssetName"
            },
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "AfterVal",
          "dataType": "constructor",
          "index": 6,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "BeforeVal",
          "dataType": "constructor",
          "index": 7,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "offchain_types/HotAccountSpendT": {
      "title": "HotAccountSpendT",
      "anyOf": [
        {
          "title": "HotAccountSpendT",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "user_stake",
              "$ref": "#/definitions/ScriptHash"
            },
            {
              "title": "sigs",
              "$ref": "#/definitions/List$Signature"
            }
          ]
        }
      ]
    },
    "offchain_types/HotAccountStakeT": {
      "title": "HotAccountStakeT",
      "anyOf": [
        {
          "title": "HotAccountStakeT",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "user_stake",
              "$ref": "#/definitions/cardano~1address~1Credential"
            },
            {
              "title": "sigs",
              "$ref": "#/definitions/List$Signature"
            }
          ]
        }
      ]
    },
    "offchain_types/HotBulletCredentialT": {
      "title": "HotBulletCredentialT",
      "description": "Used to propose a governance action.",
      "anyOf": [
        {
          "title": "Verification",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "edd25519_keys",
              "$ref": "#/definitions/Pairs$VerificationKeyHash_VerificationKey"
            },
            {
              "title": "other_keys",
              "$ref": "#/definitions/List$offchain_types~1VkT"
            },
            {
              "title": "hot_quorum",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "wallet_quorum",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "Withdrawal",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        }
      ]
    },
    "offchain_types/InputConstraintT": {
      "title": "InputConstraintT",
      "anyOf": [
        {
          "title": "InputConstraintT",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "address",
              "$ref": "#/definitions/intention_types~1Options$cardano~1address~1Address_cardano~1address~1Credential"
            },
            {
              "title": "value",
              "$ref": "#/definitions/List$Tuple$PolicyId_AssetName_Int"
            },
            {
              "title": "datum_field",
              "$ref": "#/definitions/List$Int"
            },
            {
              "title": "in_ref",
              "$ref": "#/definitions/Option$cardano~1transaction~1OutputReference"
            }
          ]
        }
      ]
    },
    "offchain_types/IntentNonceT": {
      "title": "IntentNonceT",
      "anyOf": [
        {
          "title": "Sequential",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "Parallel",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1transaction~1OutputReference"
            }
          ]
        }
      ]
    },
    "offchain_types/IntentT": {
      "title": "IntentT",
      "anyOf": [
        {
          "title": "IntentT",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "constraints",
              "$ref": "#/definitions/List$offchain_types~1ConstraintT"
            },
            {
              "title": "value_leaving",
              "$ref": "#/definitions/Tuple$Lovelace_Pairs$PolicyId_OutputAssetMap"
            },
            {
              "title": "nonce",
              "$ref": "#/definitions/offchain_types~1IntentNonceT"
            }
          ]
        }
      ]
    },
    "offchain_types/OutputConstraintT": {
      "title": "OutputConstraintT",
      "anyOf": [
        {
          "title": "OutputConstraintT",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "address",
              "$ref": "#/definitions/intention_types~1Options$cardano~1address~1Address_cardano~1address~1Credential"
            },
            {
              "title": "value",
              "$ref": "#/definitions/intention_types~1Options$Pairs$PolicyId_Pairs$AssetName_Int_Tuple$PolicyId_AssetName"
            },
            {
              "title": "datum",
              "$ref": "#/definitions/intention_types~1Options$Data_Tuple$ByteArray_ByteArray"
            },
            {
              "title": "ref",
              "$ref": "#/definitions/Option$ScriptHash"
            }
          ]
        }
      ]
    },
    "offchain_types/ScriptPurposeT": {
      "title": "ScriptPurposeT",
      "anyOf": [
        {
          "title": "Mint",
          "description": "For scripts executed as minting/burning policies, to insert\n or remove assets from circulation. It's parameterized by the identifier\n of the associated policy.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/PolicyId"
            }
          ]
        },
        {
          "title": "Spend",
          "description": "For scripts that are used as payment credentials for addresses in\n transaction outputs. They govern the rule by which the output they\n reference can be spent.",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1transaction~1OutputReference"
            }
          ]
        },
        {
          "title": "Withdraw",
          "description": "For scripts that validate reward withdrawals from a reward account.\n\n The argument identifies the target reward account.",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        },
        {
          "title": "Publish",
          "description": "Needed when delegating to a pool using stake credentials defined as a\n custom script. This purpose is also triggered when de-registering such\n stake credentials.\n\n The Int is a 0-based index of the given `Certificate` in `certificates`.",
          "dataType": "constructor",
          "index": 3,
          "fields": [
            {
              "title": "at",
              "$ref": "#/definitions/Index"
            },
            {
              "title": "certificate",
              "$ref": "#/definitions/cardano~1certificate~1Certificate"
            }
          ]
        },
        {
          "title": "Vote",
          "description": "Voting for a type of voter using a governance action id to vote\n yes / no / abstain inside a transaction.\n\n The voter is who is doing the governance action.",
          "dataType": "constructor",
          "index": 4,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1governance~1Voter"
            }
          ]
        }
      ]
    },
    "offchain_types/SignedIntentionT": {
      "title": "SignedIntentionT",
      "anyOf": [
        {
          "title": "SignedIntentionT",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "user_stake",
              "$ref": "#/definitions/ScriptHash"
            },
            {
              "title": "intent",
              "$ref": "#/definitions/offchain_types~1IntentT"
            },
            {
              "title": "prefix",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "postfix",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "signatures",
              "$ref": "#/definitions/List$Signature"
            }
          ]
        }
      ]
    },
    "offchain_types/UtxoStatesT": {
      "title": "UtxoStatesT",
      "anyOf": [
        {
          "title": "Control",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "hot_cred",
              "$ref": "#/definitions/offchain_types~1HotBulletCredentialT"
            },
            {
              "title": "cold_cred",
              "$ref": "#/definitions/offchain_types~1ColdBulletCredentialT"
            }
          ]
        },
        {
          "title": "ParallelNonce",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        },
        {
          "title": "Vault",
          "dataType": "constructor",
          "index": 2,
          "fields": []
        }
      ]
    },
    "offchain_types/VkT": {
      "title": "VkT",
      "anyOf": [
        {
          "title": "Schnorr",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/VerificationKey"
            }
          ]
        },
        {
          "title": "Secp",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/VerificationKey"
            }
          ]
        }
      ]
    },
    "types/ChangeCredentials": {
      "title": "ChangeCredentials",
      "anyOf": [
        {
          "title": "ChangeCredentials",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "control_index",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "user_stake",
              "$ref": "#/definitions/ScriptHash"
            },
            {
              "title": "cold_sigs",
              "$ref": "#/definitions/List$Signature"
            },
            {
              "title": "new_hot_sigs",
              "$ref": "#/definitions/List$Signature"
            },
            {
              "title": "new_cold_sigs",
              "$ref": "#/definitions/List$Signature"
            },
            {
              "title": "migration",
              "$ref": "#/definitions/Bool"
            }
          ]
        }
      ]
    },
    "types/ProxyAction": {
      "title": "ProxyAction",
      "anyOf": [
        {
          "title": "HotCred",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "Intention",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        },
        {
          "title": "VaultSpend",
          "dataType": "constructor",
          "index": 2,
          "fields": []
        },
        {
          "title": "ColdCred",
          "dataType": "constructor",
          "index": 3,
          "fields": []
        },
        {
          "title": "ColdControl",
          "dataType": "constructor",
          "index": 4,
          "fields": []
        },
        {
          "title": "Delete",
          "dataType": "constructor",
          "index": 5,
          "fields": []
        }
      ]
    },
    "types/StakeActions": {
      "title": "StakeActions",
      "anyOf": [
        {
          "title": "Setup",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "Signed",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    }
  }
}