aiken_staking_validator/plutus.json at main · ariady-putra-emurgo/aiken_staking_validator · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
{
  "preamble": {
    "title": "ariady-putra-emurgo/aiken_staking_validator",
    "description": "Aiken contracts for project 'ariady-putra-emurgo/aiken_staking_validator'",
    "version": "0.0.0",
    "plutusVersion": "v3",
    "compiler": {
      "name": "Aiken",
      "version": "v1.1.9+unknown"
    },
    "license": "Apache-2.0"
  },
  "validators": [
    {
      "title": "staking.dry.else",
      "redeemer": {
        "schema": {}
      },
      "parameters": [
        {
          "title": "pkh",
          "schema": {
            "$ref": "#/definitions/VerificationKeyHash"
          }
        }
      ],
      "compiledCode": "58ea010100323232323232322322533300432323232323232323232533300e3370e90020018998011bac3001301137540080182a66601c66e1d20060031330023758600260226ea801003052811809980a180a180a180a180a180a180a180a00091191980080080191299980a0008a501332253330123371e00400a29444cc010010004dd7180a800980b00098069baa301030113011002300f001300c375400c601a601c006601800460160046016002600e6ea8004526153300549011856616c696461746f722072657475726e65642066616c73650013656375c002ae695ce2ab9d5573caae7d5d0aba21",
      "hash": "458e5c82d3fe387ec137467443504bcbd627f1ed6df5076122744972"
    },
    {
      "title": "staking.dry_spend.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "585601010032323232322533300232323232324a2601260140066010004600e004600e00260086ea8004526153300349011856616c696461746f722072657475726e65642066616c736500136565734ae7155cf2ba157441",
      "hash": "3bca6b1100337b576f15dc055162d1b9cdd58538f1c311ba0c56870e"
    },
    {
      "title": "staking.owner.withdraw",
      "redeemer": {
        "title": "_redeemer",
        "schema": {
          "$ref": "#/definitions/Void"
        }
      },
      "parameters": [
        {
          "title": "pkh",
          "schema": {
            "$ref": "#/definitions/VerificationKeyHash"
          }
        }
      ],
      "compiledCode": "59015d010100323232323232323232232253330053232323232323232533300d3370e9002001899299999980a8030a99980719b8748000c040dd50030a99980918089baa0061330033758600460226ea801c02c034034034034034034c048c040dd50020a99980699b874801800c4c8cc894cccccc05c02054ccc040cdc3a400060246ea802054ccc050c04cdd50040998029bac30043013375401201a01e01e01e01e01e01e6eb4c04c004c04cc050004c040dd50020b11809180998099809980998099809980998098009119198008008019129998098008a501332253330113371e00400a29444cc010010004dd7180a000980a80098061baa001300e300f003300d002300c002300c001300837540022930a998032491856616c696461746f722072657475726e65642066616c73650013656375c0022a660049210f5f72656465656d65723a20566f696400165734ae7155ceaab9e5573eae855d12ba41",
      "hash": "01aee6389744165ef626f36d8c46f2f1499a004d64daa3e2b235b3b5"
    },
    {
      "title": "staking.owner.publish",
      "redeemer": {
        "title": "_redeemer",
        "schema": {
          "$ref": "#/definitions/Void"
        }
      },
      "parameters": [
        {
          "title": "pkh",
          "schema": {
            "$ref": "#/definitions/VerificationKeyHash"
          }
        }
      ],
      "compiledCode": "59015d010100323232323232323232232253330053232323232323232533300d3370e9002001899299999980a8030a99980719b8748000c040dd50030a99980918089baa0061330033758600460226ea801c02c034034034034034034c048c040dd50020a99980699b874801800c4c8cc894cccccc05c02054ccc040cdc3a400060246ea802054ccc050c04cdd50040998029bac30043013375401201a01e01e01e01e01e01e6eb4c04c004c04cc050004c040dd50020b11809180998099809980998099809980998098009119198008008019129998098008a501332253330113371e00400a29444cc010010004dd7180a000980a80098061baa001300e300f003300d002300c002300c001300837540022930a998032491856616c696461746f722072657475726e65642066616c73650013656375c0022a660049210f5f72656465656d65723a20566f696400165734ae7155ceaab9e5573eae855d12ba41",
      "hash": "01aee6389744165ef626f36d8c46f2f1499a004d64daa3e2b235b3b5"
    },
    {
      "title": "staking.owner.else",
      "redeemer": {
        "schema": {}
      },
      "parameters": [
        {
          "title": "pkh",
          "schema": {
            "$ref": "#/definitions/VerificationKeyHash"
          }
        }
      ],
      "compiledCode": "59015d010100323232323232323232232253330053232323232323232533300d3370e9002001899299999980a8030a99980719b8748000c040dd50030a99980918089baa0061330033758600460226ea801c02c034034034034034034c048c040dd50020a99980699b874801800c4c8cc894cccccc05c02054ccc040cdc3a400060246ea802054ccc050c04cdd50040998029bac30043013375401201a01e01e01e01e01e01e6eb4c04c004c04cc050004c040dd50020b11809180998099809980998099809980998098009119198008008019129998098008a501332253330113371e00400a29444cc010010004dd7180a000980a80098061baa001300e300f003300d002300c002300c001300837540022930a998032491856616c696461746f722072657475726e65642066616c73650013656375c0022a660049210f5f72656465656d65723a20566f696400165734ae7155ceaab9e5573eae855d12ba41",
      "hash": "01aee6389744165ef626f36d8c46f2f1499a004d64daa3e2b235b3b5"
    },
    {
      "title": "staking.owner_spend.spend",
      "datum": {
        "title": "_datum",
        "schema": {
          "$ref": "#/definitions/Void"
        }
      },
      "redeemer": {
        "title": "_redeemer",
        "schema": {
          "$ref": "#/definitions/Void"
        }
      },
      "compiledCode": "58c001010032323232323232323225333003323232323253330083370e900118051baa001132332253333330120051533300b3370e900018069baa0051533300f300e375400a2944028028028028028028c038004c038c03c004c02cdd50008b1806180680198058011805001180500098031baa001149854cc01124011856616c696461746f722072657475726e65642066616c73650013656153300249010f5f72656465656d65723a20566f696400165734ae7155ceaab9e5573eae855d12ba41",
      "hash": "66b967ede84353645c8edfbcbe4191299d09cb136e8f49b6de7c729c"
    },
    {
      "title": "staking.owner_spend.else",
      "redeemer": {
        "schema": {}
      },
      "compiledCode": "58c001010032323232323232323225333003323232323253330083370e900118051baa001132332253333330120051533300b3370e900018069baa0051533300f300e375400a2944028028028028028028c038004c038c03c004c02cdd50008b1806180680198058011805001180500098031baa001149854cc01124011856616c696461746f722072657475726e65642066616c73650013656153300249010f5f72656465656d65723a20566f696400165734ae7155ceaab9e5573eae855d12ba41",
      "hash": "66b967ede84353645c8edfbcbe4191299d09cb136e8f49b6de7c729c"
    },
    {
      "title": "staking.withdraw_0.spend",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/modules~1types~1SpendValidatorDatum"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/modules~1types~1SpendValidatorRedeemer"
        }
      },
      "parameters": [
        {
          "title": "pkh",
          "schema": {
            "$ref": "#/definitions/VerificationKeyHash"
          }
        }
      ],
      "compiledCode": "59101b0101003232323232323232323232232253330063232323232323232325323232332330133001301537540122646644a66666603c01a26464a66603060120022a66603860366ea803c00805c54ccc060c01800454ccc070c06cdd500780100b80b980c9baa00e1533301630073018375401a264a66602e601060326ea800454ccc05ccc88c8cc00400400c894ccc07c00452809991299980e99baf00500214a2266008008002603a604200260440026eacc074c078c078c078c078c078c078c068dd50079805980d1baa300b301a3754601860346ea8c074c068dd50008a51153301849014e70616972732e6861735f6b65792874782e7769746864726177616c732c20696e7075742e6f75747075742e616464726573732e7061796d656e745f63726564656e7469616c29203f2046616c73650014a02a660309213f65787065637420536f6d6528696e70757429203d2074782e696e70757473207c3e207472616e73616374696f6e2e66696e645f696e707574286f5f72656629001632330010013758601660346ea803c894ccc0700045300103d87a800013322533301a3375e601c603a6ea80080184c028cc07c0092f5c0266008008002603c002603e0022646464a666032600e60366ea80044c8c8c8c94ccc0754ccc074cdc49bad302300200314a22a6603c92011f74696d65203e3d207370656e6461626c655f6166746572203f2046616c73650014a02a66603a660206eb0c03cc080dd500a8008a51153301e491346c6973742e6861732874782e65787472615f7369676e61746f726965732c207370656e6461626c655f627929203f2046616c73650014a02940dd718111811800980f1baa32533301c300a301e375400e200226044603e6ea801cc02ccc080dd4000998101ba90174bd70299980d0018800898048009bad301f301c37540022a6603492018d65787065637420496e74657276616c207b0a202020202020202020206c6f7765725f626f756e643a20496e74657276616c426f756e64207b20626f756e645f747970653a2046696e6974652874696d65292c2069735f696e636c7573697665207d2c0a202020202020202020202e2e0a20202020202020207d203d2074782e76616c69646974795f72616e67650016301e002300530193754603a603c00260326ea8c070c064dd5180e180e980e980e980e980e980e980e980c9baa00e015015015015301a001301a301b001301637540126e1d2002132323232323253330183370e9002000899299980c998061bac300b301c375400a02a2a6666660420082a666032601460366ea80104c94ccc0780040604c94cccccc08c0040640644c8c94ccc08400406c4c94cccccc0980040700704c94ccc08cc09800c4c8cc004014894ccc0980084cc00c010894ccc0a00084c8c8c8c8c8c8c94ccc0accdc398010028008a99981599b87001323300100137586040605e6ea8060894ccc0c40045200013322533302f3375e604660646ea8c08cc0c8dd5181218191baa0020171301e001100130330013300200230340011533302b32323232323233300100100b00a2223232533303900115333039375860766078004294454cc0d9240127696e7075745f696478732e6c656e67746820213d206f75747075745f696478732e6c656e6774680016132533303a0011533037490127696e7075745f696478732e6c656e67746820213d206f75747075745f696478732e6c656e677468001613333222232533303b302c303d375400226464a66607a605c607e6ea80044c94ccc0f94ccc0f8cdd7981918209baa001303230413754606660826ea800c54ccc0f8cdd7980898209baa001301130413754606660826ea800c54ccc0f8cdd7980818209baa001301030413754606660826ea800c54ccc0f8cc894cccccc12000452809919192991998240010a9998221800802899b884800000c52809991299982319baf30480024c0101400015333046337106eb4c124c130dd59824801002898019ba600114a02a66608c66e2120000051300300714a0609400460960046ebcc124c12800cdd5801992999821181998221baa0011375a608a60906eacc120c114dd50008a4000608e002646660020020064466090004660906e980052f5c0444a66608e00426600298103d87a80004bd6f7b630099199911299982399b9148900003153330473371e91010000313300530373304c374c00497ae00011330054c103d87a8000006133300700700122330070023304e337606ea4014dd30020009bae30460013756608e0026096006609200429405280a503756606660826ea8004c0ccc104dd5181998209baa00313375e6e98c8ccc004004c8cc004004c044dd5981a98219baa00322533304500114bd6f7b6300991982399bb03044001374c64660020026eacc118008894ccc12000452f5bded8c02646609466ec0c11c004dd419b8148000dd698240009980180198260011825000998018019824801182380098081bab303430423754606860846ea80108894ccc11400840044c8cc88ccc018018c12c014c8cc004004014894ccc1280044cc12ccdd81ba9004374c00697adef6c60132333222533304a3372001000626609e66ec0dd48041ba60070051533304a3371e010006264a6660966078609a6ea80044cc140cdd81ba90093051304e3754002004200464a666096a66609e00229445280a6103d87a80001303b33050374c00297ae03233300100100800322253330510021001132332233300600630570053233001001005225333056001133057337606ea4010dd4001a5eb7bdb1804c8ccc8894ccc158cdc800400189982d99bb037520106ea001c01454ccc158cdc7804001899299982b9824182c9baa00113305c337606ea4024c174c168dd5000801080119299982b98240008a60103d87a8000130473305c375000297ae03370000e0042660b666ec0dd48019ba800233006006001375c60aa0026eb4c158004c168008c160004dd718280009bad3051001305300213304f337606ea400cdd3001198030030009bae304900137566094002609c00460980026eb8c110004dd59822800982380126101a00014a029405280a50133300e00e007005153303f4901ff65787065637420616e64207b0a202020202020202020206f75747075742e61646472657373203d3d20696e7075742e6f75747075742e616464726573732c0a202020202020202020206f75747075742e646174756d203d3d20696e7075742e6f75747075742e646174756d2c0a202020202020202020206f75747075742e7265666572656e63655f736372697074203d3d20696e7075742e6f75747075742e7265666572656e63655f7363726970742c0a202020202020202020206f75747075742e76616c7565207c3e206173736574732e6d6174636828696e7075742e6f75747075742e76616c75652c203e292c0a202020202020202020206f75747075bf742e76616c75650a2020202020202020202020207c3e206173736574732e776974686f75745f6c6f76656c6163650a2020202020202020202020207c3e206173736574732e6e65676174650a2020202020202020202020207c3e206173736574732e6d6572676528696e7075742e6f75747075742e76616c7565207c3e206173736574732e776974686f75745f6c6f76656c616365290a2020202020202020202020207c3e206173736574732e69735f7a65726f2c0a20202020202020207d00163043304037540022a6607c92013765787065637420536f6d65286f757470757429203d2074782e6f757470757473207c3e206c6973742e6174286f75747075745f696478290016330103758601e607e6ea80a0010c104c0f8dd50008a9981e24813465787065637420536f6d6528696e70757429203d2074782e696e70757473207c3e206c6973742e617428696e7075745f6964782900163300e3758605c607a6ea8098010dd6981e001181e8011bad303c001303d0013758607660780046eb0c0e8004cc0e0dd38011981c1ba70014bd701191980080080111299981b0008a5eb7bdb1804c8ccc8894ccc0d8cdc8a44100003153330363371e9101000031001100513303b337606ea400cdd3001198030030009bae30350013756606c002607400460700024606a606c606c606c00246068606a606a0026002002444a666064004298103d87a8000133225333030302100313020330350024bd70099980280280099b8000348004c0d0008c0d40085288a998162494676616c69646174655f696f5f696e64696365732874782c20756e697175655f696e7075745f696478732c20756e697175655f6f75747075745f6964787329203f2046616c73650014a02a66058921a765787065637420756e697175655f6f75747075745f696478735f6c656e677468203d3d207b0a2020202020202020202020206c657420696e707574203c2d206c6973742e636f756e742874782e696e70757473290a202020202020202020202020696e7075742e6f75747075742e616464726573732e7061796d656e745f63726564656e7469616c203d3d2073656c665f63726564656e7469616c0a202020202020202020207d0016153302c4913c65787065637420756e697175655f696e7075745f696478735f6c656e677468203d3d20756e697175655f6f75747075745f696478735f6c656e67746800163001003300100122533302e0011480004c064cc008008c0c4004c008024c00402cc004004894ccc0a800452f5c0264660586ea0004cc00c00cc8cc004004c0bc00c894ccc0b400452f5c026644a66605666605666e1c008015282511330303750004660080080022660080080026eb4c0bc004c0c0004dd698160008992999999816800811811811899180198168021bad001023302a002132533333302b0010210210211323003302b004375a00204260500044464660020020064466006002600400403a6eb0004070070c08c004c08c00cdd600080c80c9810000980e1baa004017017017017017153301a4912c6578706563742074782e65787472615f7369676e61746f72696573207c3e206c6973742e68617328706b68290016301e301b37540042a66603066e1d2006001153330183300b3758601460366ea80100505288a9980ca4812b6c6973742e6861732874782e65787472615f7369676e61746f726965732c20706b6829203f2046616c73650014a02a660329210f496e76616c696420507572706f73650016301937540026038603a006603600460340046034002602a6ea8034dc0240046e952000370e90001180a980b180b180b180b180b180b180b180b00091191980080080191299980a8008a501332253330133371e00400a29444cc010010004dd7180b800980c000918098009180918098009808180880198078011807001180700098049baa001149854cc01d2411856616c696461746f722072657475726e65642066616c73650013656375c0022a660069215e657870656374205374616b6556616c696461746f7252656465656d6572207b20696e7075745f696478732c206f75747075745f69647873207d203d0a202020202020202020207374616b655f76616c696461746f725f72656465656d6572001615330024912072656465656d65723a205370656e6456616c696461746f7252656465656d657200165734ae7155ceaab9e5573eae815d0aba257481",
      "hash": "c796a9247b2a56a7b26af0da03a9b307ab069d22e82efe93e6f12f6c"
    },
    {
      "title": "staking.withdraw_0.else",
      "redeemer": {
        "schema": {}
      },
      "parameters": [
        {
          "title": "pkh",
          "schema": {
            "$ref": "#/definitions/VerificationKeyHash"
          }
        }
      ],
      "compiledCode": "59101b0101003232323232323232323232232253330063232323232323232325323232332330133001301537540122646644a66666603c01a26464a66603060120022a66603860366ea803c00805c54ccc060c01800454ccc070c06cdd500780100b80b980c9baa00e1533301630073018375401a264a66602e601060326ea800454ccc05ccc88c8cc00400400c894ccc07c00452809991299980e99baf00500214a2266008008002603a604200260440026eacc074c078c078c078c078c078c078c068dd50079805980d1baa300b301a3754601860346ea8c074c068dd50008a51153301849014e70616972732e6861735f6b65792874782e7769746864726177616c732c20696e7075742e6f75747075742e616464726573732e7061796d656e745f63726564656e7469616c29203f2046616c73650014a02a660309213f65787065637420536f6d6528696e70757429203d2074782e696e70757473207c3e207472616e73616374696f6e2e66696e645f696e707574286f5f72656629001632330010013758601660346ea803c894ccc0700045300103d87a800013322533301a3375e601c603a6ea80080184c028cc07c0092f5c0266008008002603c002603e0022646464a666032600e60366ea80044c8c8c8c94ccc0754ccc074cdc49bad302300200314a22a6603c92011f74696d65203e3d207370656e6461626c655f6166746572203f2046616c73650014a02a66603a660206eb0c03cc080dd500a8008a51153301e491346c6973742e6861732874782e65787472615f7369676e61746f726965732c207370656e6461626c655f627929203f2046616c73650014a02940dd718111811800980f1baa32533301c300a301e375400e200226044603e6ea801cc02ccc080dd4000998101ba90174bd70299980d0018800898048009bad301f301c37540022a6603492018d65787065637420496e74657276616c207b0a202020202020202020206c6f7765725f626f756e643a20496e74657276616c426f756e64207b20626f756e645f747970653a2046696e6974652874696d65292c2069735f696e636c7573697665207d2c0a202020202020202020202e2e0a20202020202020207d203d2074782e76616c69646974795f72616e67650016301e002300530193754603a603c00260326ea8c070c064dd5180e180e980e980e980e980e980e980e980c9baa00e015015015015301a001301a301b001301637540126e1d2002132323232323253330183370e9002000899299980c998061bac300b301c375400a02a2a6666660420082a666032601460366ea80104c94ccc0780040604c94cccccc08c0040640644c8c94ccc08400406c4c94cccccc0980040700704c94ccc08cc09800c4c8cc004014894ccc0980084cc00c010894ccc0a00084c8c8c8c8c8c8c94ccc0accdc398010028008a99981599b87001323300100137586040605e6ea8060894ccc0c40045200013322533302f3375e604660646ea8c08cc0c8dd5181218191baa0020171301e001100130330013300200230340011533302b32323232323233300100100b00a2223232533303900115333039375860766078004294454cc0d9240127696e7075745f696478732e6c656e67746820213d206f75747075745f696478732e6c656e6774680016132533303a0011533037490127696e7075745f696478732e6c656e67746820213d206f75747075745f696478732e6c656e677468001613333222232533303b302c303d375400226464a66607a605c607e6ea80044c94ccc0f94ccc0f8cdd7981918209baa001303230413754606660826ea800c54ccc0f8cdd7980898209baa001301130413754606660826ea800c54ccc0f8cdd7980818209baa001301030413754606660826ea800c54ccc0f8cc894cccccc12000452809919192991998240010a9998221800802899b884800000c52809991299982319baf30480024c0101400015333046337106eb4c124c130dd59824801002898019ba600114a02a66608c66e2120000051300300714a0609400460960046ebcc124c12800cdd5801992999821181998221baa0011375a608a60906eacc120c114dd50008a4000608e002646660020020064466090004660906e980052f5c0444a66608e00426600298103d87a80004bd6f7b630099199911299982399b9148900003153330473371e91010000313300530373304c374c00497ae00011330054c103d87a8000006133300700700122330070023304e337606ea4014dd30020009bae30460013756608e0026096006609200429405280a503756606660826ea8004c0ccc104dd5181998209baa00313375e6e98c8ccc004004c8cc004004c044dd5981a98219baa00322533304500114bd6f7b6300991982399bb03044001374c64660020026eacc118008894ccc12000452f5bded8c02646609466ec0c11c004dd419b8148000dd698240009980180198260011825000998018019824801182380098081bab303430423754606860846ea80108894ccc11400840044c8cc88ccc018018c12c014c8cc004004014894ccc1280044cc12ccdd81ba9004374c00697adef6c60132333222533304a3372001000626609e66ec0dd48041ba60070051533304a3371e010006264a6660966078609a6ea80044cc140cdd81ba90093051304e3754002004200464a666096a66609e00229445280a6103d87a80001303b33050374c00297ae03233300100100800322253330510021001132332233300600630570053233001001005225333056001133057337606ea4010dd4001a5eb7bdb1804c8ccc8894ccc158cdc800400189982d99bb037520106ea001c01454ccc158cdc7804001899299982b9824182c9baa00113305c337606ea4024c174c168dd5000801080119299982b98240008a60103d87a8000130473305c375000297ae03370000e0042660b666ec0dd48019ba800233006006001375c60aa0026eb4c158004c168008c160004dd718280009bad3051001305300213304f337606ea400cdd3001198030030009bae304900137566094002609c00460980026eb8c110004dd59822800982380126101a00014a029405280a50133300e00e007005153303f4901ff65787065637420616e64207b0a202020202020202020206f75747075742e61646472657373203d3d20696e7075742e6f75747075742e616464726573732c0a202020202020202020206f75747075742e646174756d203d3d20696e7075742e6f75747075742e646174756d2c0a202020202020202020206f75747075742e7265666572656e63655f736372697074203d3d20696e7075742e6f75747075742e7265666572656e63655f7363726970742c0a202020202020202020206f75747075742e76616c7565207c3e206173736574732e6d6174636828696e7075742e6f75747075742e76616c75652c203e292c0a202020202020202020206f75747075bf742e76616c75650a2020202020202020202020207c3e206173736574732e776974686f75745f6c6f76656c6163650a2020202020202020202020207c3e206173736574732e6e65676174650a2020202020202020202020207c3e206173736574732e6d6572676528696e7075742e6f75747075742e76616c7565207c3e206173736574732e776974686f75745f6c6f76656c616365290a2020202020202020202020207c3e206173736574732e69735f7a65726f2c0a20202020202020207d00163043304037540022a6607c92013765787065637420536f6d65286f757470757429203d2074782e6f757470757473207c3e206c6973742e6174286f75747075745f696478290016330103758601e607e6ea80a0010c104c0f8dd50008a9981e24813465787065637420536f6d6528696e70757429203d2074782e696e70757473207c3e206c6973742e617428696e7075745f6964782900163300e3758605c607a6ea8098010dd6981e001181e8011bad303c001303d0013758607660780046eb0c0e8004cc0e0dd38011981c1ba70014bd701191980080080111299981b0008a5eb7bdb1804c8ccc8894ccc0d8cdc8a44100003153330363371e9101000031001100513303b337606ea400cdd3001198030030009bae30350013756606c002607400460700024606a606c606c606c00246068606a606a0026002002444a666064004298103d87a8000133225333030302100313020330350024bd70099980280280099b8000348004c0d0008c0d40085288a998162494676616c69646174655f696f5f696e64696365732874782c20756e697175655f696e7075745f696478732c20756e697175655f6f75747075745f6964787329203f2046616c73650014a02a66058921a765787065637420756e697175655f6f75747075745f696478735f6c656e677468203d3d207b0a2020202020202020202020206c657420696e707574203c2d206c6973742e636f756e742874782e696e70757473290a202020202020202020202020696e7075742e6f75747075742e616464726573732e7061796d656e745f63726564656e7469616c203d3d2073656c665f63726564656e7469616c0a202020202020202020207d0016153302c4913c65787065637420756e697175655f696e7075745f696478735f6c656e677468203d3d20756e697175655f6f75747075745f696478735f6c656e67746800163001003300100122533302e0011480004c064cc008008c0c4004c008024c00402cc004004894ccc0a800452f5c0264660586ea0004cc00c00cc8cc004004c0bc00c894ccc0b400452f5c026644a66605666605666e1c008015282511330303750004660080080022660080080026eb4c0bc004c0c0004dd698160008992999999816800811811811899180198168021bad001023302a002132533333302b0010210210211323003302b004375a00204260500044464660020020064466006002600400403a6eb0004070070c08c004c08c00cdd600080c80c9810000980e1baa004017017017017017153301a4912c6578706563742074782e65787472615f7369676e61746f72696573207c3e206c6973742e68617328706b68290016301e301b37540042a66603066e1d2006001153330183300b3758601460366ea80100505288a9980ca4812b6c6973742e6861732874782e65787472615f7369676e61746f726965732c20706b6829203f2046616c73650014a02a660329210f496e76616c696420507572706f73650016301937540026038603a006603600460340046034002602a6ea8034dc0240046e952000370e90001180a980b180b180b180b180b180b180b180b00091191980080080191299980a8008a501332253330133371e00400a29444cc010010004dd7180b800980c000918098009180918098009808180880198078011807001180700098049baa001149854cc01d2411856616c696461746f722072657475726e65642066616c73650013656375c0022a660069215e657870656374205374616b6556616c696461746f7252656465656d6572207b20696e7075745f696478732c206f75747075745f69647873207d203d0a202020202020202020207374616b655f76616c696461746f725f72656465656d6572001615330024912072656465656d65723a205370656e6456616c696461746f7252656465656d657200165734ae7155ceaab9e5573eae815d0aba257481",
      "hash": "c796a9247b2a56a7b26af0da03a9b307ab069d22e82efe93e6f12f6c"
    }
  ],
  "definitions": {
    "Int": {
      "dataType": "integer"
    },
    "VerificationKeyHash": {
      "title": "VerificationKeyHash",
      "dataType": "bytes"
    },
    "Void": {
      "title": "Unit",
      "anyOf": [
        {
          "dataType": "constructor",
          "index": 0,
          "fields": []
        }
      ]
    },
    "modules/types/SpendValidatorDatum": {
      "title": "SpendValidatorDatum",
      "anyOf": [
        {
          "title": "SpendValidatorDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "spendable_after",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "spendable_by",
              "$ref": "#/definitions/VerificationKeyHash"
            }
          ]
        }
      ]
    },
    "modules/types/SpendValidatorRedeemer": {
      "title": "SpendValidatorRedeemer",
      "anyOf": [
        {
          "title": "In",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "Out",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    }
  }
}