-
Notifications
You must be signed in to change notification settings - Fork 1
/
plutus.json
264 lines (264 loc) · 43.7 KB
/
plutus.json
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
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
{
"preamble": {
"title": "micahkendall/distributed-set",
"description": "Aiken contracts for project 'micahkendall/distributed-set'",
"version": "0.0.0",
"plutusVersion": "v2",
"license": "Apache-2.0"
},
"validators": [
{
"title": "distributed_set.mint_distributed_set",
"redeemer": {
"title": "redeemer",
"schema": {
"$ref": "#/definitions/distributed_set~1types~1ListRedeemer"
}
},
"parameters": [
{
"title": "genesis_utxo",
"schema": {
"$ref": "#/definitions/aiken~1transaction~1OutputReference"
}
}
],
"compiledCode": "59250301000032323232323232323232323222253330083370e90001803800899299980499191919191919191919191919191919191919191919191929981124810131001323232323232323232323232533302d3370e90000008991919299981a181b801099191919191919191919299981f1820801099191919299981f19b8748000c0f40204c8c8c8c8c8c8c8c8c8c94ccc130c13c0084c8c8c8c8c8c088004cc144ccc1314ccc130cc08c0f811c5288a99826a49276861735f696e70757428696e707574732c2067656e657369735f7574786f29203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c3375e6e9c0a8dd3998289ba903333051375203e660a26ea120024bd700a51153304d4901336d696e7465645f68657265203d3d2028746869735f706f6c6963792c2061737365745f6e616d652c203129203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c3371e024066294454cc1352401216f75745f706f6c696379203d3d20746869735f706f6c696379203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c00314a22a6609a9201197363726970745f63616c6c5f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c3371e01a03e294454cc1352401186964203d3d2061737365745f6e616d65203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c00114a22a6609a9201126e6578745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c00914a22a6609a92010f69735f68656164203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c00214a22a6609a92011861737365745f73656e745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c00414a22a6609a920112736f72745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980004bd7019baf00a4c103d87a80003370e01a90011919299982599b874800800452889919b8748008c138dd518290009824801182480099299982519b8748008004530103d87a8000132323374a9000198289998261999919191911119299982a19b87480000044c8c8ccc158c94ccc16c0045288a50323253330583370e90010008a5eb7bdb1804c8dd5982f800982b001182b00099804802800a504a26eb8c16c004c1480104c8c8cc0b8c01c0108cdd780099ba548000cc170cdd2a4004660b86ea40092f5c097ae0375c60b600260a400860a4006600200244a6660a8002297ae0132323233058001330050050023054002305800230560013001001222533305300214c103d87a800013232323253330533371e00a002266e95200033058374c00497ae01333007007003005375c60a80066eacc150008c15c00cc1540080040c40d530103d87a80004c0103d87980004bd7018288009824001982400119918008009129998270008a51132533304f00114a22646464a66609c66e4000c0084cc018018cc14cdd48010008a503054003375c60a40046eb8c144008c14400400c54cc125241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304d001304d00237586096002609600466e1d20023045375460920026092004608e002608e0046eb8c114004c0f002054cc0fd24012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375a6086002608600260840046eb8c10000454cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163758607e002607e002602e00a60780026066a66606a66e1d200430340011001153303649012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016303a001303a002375660700026070002605ca66606066e1d2000302f0011001153303149012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533031491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630350013300801d014300a02813232323253330353038001132325333037303a0011323009001330383330333300a0250054c103d87a80004c0103d8798000330383330333375e6e9c044dd39981c1ba901a330383752008660706ea120024bd70260103d87a80004c0103d87980004bd700a9981a2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630390013300b0200171533032491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163300b02223375e6605a605e6605a605e6605a605e002900124000900000b9806000981a0009815812981581218008009129998180008a5113232533302e00213300400400114a0606800466e1d2002302e375460640024466006004466ebccc0a0c0a800520000023001001222533302e00214a026464a666058600600429444ccc01401400400cc0c800cc0c000888cc00c0088cdd7998129813998129813800a40009000001180080091129998158010a5eb804c8c94ccc0a4c00c0084cc0b8008ccc01401400400c4ccc01401400400cc0bc00cc0b40088c8dca0009bb300137586050002603e64a66604466e1d200030210011001153302349012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163233323001001222533302900214c103d87a8000132325333027300300213374a9000198161ba70024bd70099980280280080198168019bac302b0020012323371e0020166eb8c0a4004c0040188ccc0100052f5c044466600a004002444660586e9ccc0b0dd4803198161ba90033302c375000497ae000130010012222533302600310021323232323330050010023333008008003006005375c604e0066eb4c09c008c0a8010c0a000cc00400488894ccc09000c40084c8c8c8c8ccc014004008cccc02002000c018014dd718128019bab30250023028004302600333232233002001489003001001222533302200214bd6f7b630099191919299981119b8f0050011003133027337606ea4004dd30011998038038018029bae302300337566046004604c006604800400e66e9520023301f375200297ae0375c603e002602ca66603066e1d2000301700c100c15330194912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756603a002603a00260380046eacc068004c068004c064008dd6180b800980b800980b0011bac3014001300b0033012001301200230100013007002149858c800cc94ccc024cdc3a40000022a66601a600e0062930a998052491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330093370e9001000899192999807980900109924c64a66601866e1d200000113232323253330143017002132498c94ccc044cdc3a400000226464a66602e60340042930a9980a249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6030002601e0082a660249212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00315330114901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602a002602a004602600260140042a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a001153300c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630100013007003153300a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300700213223232533300c53300d4901013100132323232323232323232323232323232323253301f4910132001323232323232323232323232323232323232323253303349101330013232325333039303c00215330364901013400132323232323232323232323253304249101350013253304349101610013232323232323253330493370e9000000899192999827982900109919191919191919191929982b24810162001323232533305c305f00215330594901016300153330583370e9000182b802899191919191919191919299983318348010a99831a48101640013232323232323253306a491016500132323230250013307033306b0024c0103d87a80004c0103d87980003307033306b0014c0103d87a80004c0103d87980003307033306b02a4c0103d87a80004c0103d87980004bd701918120009983799983529998350038a51153306b490118636f6e74696e75696e675f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003306f33306a533306a00514a22a660d69201126e6578745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003306f33306a533306a00414a22a660d6920112686561645f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003306f33306a533306a00214a22a660d6920112736f72745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003306f33306a533306a00314a22a660d69201127461696c5f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003306f33306a533306a00614a22a660d692011d72657175697265645f7363726970745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980004bd7019181180099837199834819a60103d87a80004c0103d87980003306e3330690074c0103d87a80004c0103d87980004bd701811804a99983399baf02d4c103d87a800014a22646466ebcc0040acc004028c004004894ccc1b40045300103d87a8000132533306e0011323374a9000198381ba90014bd701bae30700021323300400400130710023070001533306602a14a226466ebcc0040a4c00402094ccc1ac004530103d87a800013374a9000198361836800a5eb80cdd780501599baf00302453330633371e0140562a6660c600c204e26660c604e941288a503375e6e9c02cdd38170a99831a481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630670013067002375860ca00260ca00466e1d2002305f375460c600260c600460c200260c20046eb8c17c004c15801454cc16524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533059491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375860ba00260ba0026048010a6660a866e1d20023053003100315330554912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163059001305053330523370e9002182880188018a99829a492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163057001305700230550013055002375660a600260a60026092a66609666e1d2000304a0011001153304c49012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153304c491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630500013300603523375e6608c60906608c609000290002400002a264a6609692102623200132323232533305230550021323232323232323232323232323232323232323253306349010263320013232325333069306c00215330664901026432001323232533306c306f0021533069490102653200153330683370e90001833809099191919191919191919299983b183c8010a99839a48102663200153330723370e900018388090991919191919191919192999840009841808010a9983ea48102673200132323232323232325330850149102683200132303e00133089013330840153330840104e14a22a6610a0292011e696e707574735f66726f6d5f686572655f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100514a22a6610a02920118636f6e74696e75696e675f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100414a22a6610a0292011d72657175697265645f7363726970745f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100114a22a6610a02920112736f72745f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100614a22a6610a029201116e66745f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100314a22a6610a029201126e6578745f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100214a22a6610a02920112686561645f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003308901333084015333084014a2294454cc214052401127461696c5f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840104314a22a6610a029201197363726970745f63616c6c5f636865636b203f2046616c73650014a0980103d87a80004c0103d87980004bd70299984180981f00a0981f0050a5053330820101510461333082010464a09454ccc204054ccc20404cdd780b19ba548000cc21804dd480725eb804cdd78060238a50153330810100a14a02666102029412825114a0a6661000266ebc03c1004cdd78028200a50533307f3371e02c08e2a6660fe024208626660fe086941288a50533307e3375e6e9c068dd3825099baf374e02e6e9c00452819841009ba900133082013752646e50004dd983099841009ba8480092f5c06eb8c2080406054cc1f52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016308101001308101002375860fe00260fe00466e1d20023079375460fa00260fa00460f600260f60046eb8c1e4004c1c004854cc1cd24012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533073491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630770013077002375860ea00260ea00466e1d2002306f375460e600260e600460e200260e20046eb8c1bc004c19804854cc1a524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533069491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375860da00260da00260680162a660cc9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375860d400260d40026062024a6660c266e1d20023060003100315330624912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163066001305d533305f3370e9002182f00188018a998302492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163064001306400230620013062002375660c000260c000260aca6660b066e1d2000305700b100b153305949012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001653330573370e9001182b00188018a9982c24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016305c001305353330553370e9002182a00188018a9982b2492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016305a001305a00230580013058002375660ac00260ac0026098a66609c66e1d2000304d0031003153304f49012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153304f491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163053001305300230510013300703623375e6608e60926608e609200290002400002c608e07e608e07c600200244a66609800229444c8c94ccc1280084cc010010004528182800119b8748008c128dd5182700098008009129998250008a51132533304b00114a22646464a66609466e4000c0084cc018018cc13cdd48010008a503050003375c609c0046eb8c134008c134004c0040048894ccc12400852f5c026464a66608e600600426609800466600a00a002006266600a00a002006609a00660960046464a66608666e1d200200114a226466e1d20023046375460940026082004608200264a66608466e1d200200114c103d87a8000132323374a90001982499982219999191919191911119299982719b87480000044c8c8ccc140c94ccc1540045288a50323253330523370e90010008a5eb7bdb1804c8dd5982c8009828001182800099805802800a504a26eb8c154004c1300104c8c8cc024c01c0108cdd780099ba548000cc158cdd2a4004660ac6ea40092f5c097ae0375c60aa00260980086098006600200244a66609c002297ae013232323305200133005005002304e002305200230500013001001222533304d00214a026464a666096600600429444ccc01401400400cc14400cc13c008c0040048894ccc12c0085300103d87a8000132323232533304b3371e00a002266e95200033050374c00497ae01333007007003005375c60980066eacc130008c13c00cc13400800409c0a930103d87a80004c0103d87980004bd70182480098200011820000982300098230011bac304400130440023370e9001181f1baa3042001304200230400013040002375c607c002606a05866e1cccc8c0040048894ccc0f4008520001323233700a6660766006004290010a400066600a00a0020066082006607e00404a466ebccc0ccc0d4cc0ccc0d4cc0ccc0d4005200248001200000248008cc0c4c0cc045200015330364901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163758607400260740026002018466600800297ae02223330050020012223303d374e6607a6ea4018cc0f4dd48019981e9ba80024bd7000098008009111299981b801880109919191919980280080119998040040018030029bae3038003375a60700046076008607200660020024444a66606a006200426464646466600a002004666601001000600c00a6eb8c0d800cdd5981b001181c802181b801a99981619b8748008c0ac008400854cc0b524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163029533302b3370e9002181500188018a9981624812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001630300013030002302e001302e00237566058002605800460540026042a66604666e1d20003022001100115330244912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001630280013028001301e53330203370e9000180f80088008a99810a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163025001301c32533301f3370e9000180f00088008a998102492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016333232223300300223375e6603e60420029000001180080091129998128010a60103d87a8000132325333023300300213374a90001981400125eb804ccc01401400400cc0a400cc09c008034008cc8c88cc008005221003001001222533302400214bd6f7b630099191919299981219b8f0050011003133029337606ea4004dd30011998038038018029bae30250033756604a0046050006604c00400c60440026032a66603666e1d2002301a00c100c153301c4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375660400026040002603e0046eacc074004c074004c070008dd6180d000980d000980c8011bac3017001300e003301500130150023013001300a003149858c8018cc8c88c94ccc03ccdc3a4000002264646464646464646464a66603a604000426464649319299980e19b87480000044c8c94ccc088c0940084c92632533301f3370e900000089919299981298140010a4c2a66044921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604c002603a0042a66603e66e1d20020011323253330253028002149854cc0892401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604c002603a0042a660409212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301d001153301f4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163023001301a0041533301c3370e90010008a999810180d0020a4c2a6603a92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153301d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301a0033300e004232498dd700099299980d19b87480000044c8c94ccc080c08c008526153301d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604200260300102a66603466e1d20020011533301e3018008149854cc06d24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153301b4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163018007153301a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301e001301e00237586038002603800466e1d20023016375460340026034004603000260300046eb8c058004c03400854cc04124012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300d0013001001222533301200214984c8ccc010010c05800c008c004c050008014c800cc94ccc02ccdc3a40000022a66601e60120062930a9980624811d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533300b3370e9001000899192999808980a00109924c64a66601c66e1d200000113232323253330163019002132498c94ccc04ccdc3a400000226464a66603260380042930a9980b249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260220082a660289212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100315330134901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602e002602e004602a00260180042a6601e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c001153300e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630120013009003153300c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009002300e300600133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba201",
"hash": "02371a2342fc7346e036e4e332a7778caf2171f8fed4875aeb03517c"
},
{
"title": "distributed_set.spend_distributed_set",
"datum": {
"title": "datum",
"schema": {
"$ref": "#/definitions/distributed_set~1types~1ListDatum"
}
},
"redeemer": {
"title": "redeemer",
"schema": {
"$ref": "#/definitions/RedeemerWrapper$distributed_set~1types~1ListRedeemer"
}
},
"parameters": [
{
"title": "genesis_utxo",
"schema": {
"$ref": "#/definitions/aiken~1transaction~1OutputReference"
}
}
],
"compiledCode": "59250301000032323232323232323232323222253330083370e90001803800899299980499191919191919191919191919191919191919191919191929981124810131001323232323232323232323232533302d3370e90000008991919299981a181b801099191919191919191919299981f1820801099191919299981f19b8748000c0f40204c8c8c8c8c8c8c8c8c8c94ccc130c13c0084c8c8c8c8c8c088004cc144ccc1314ccc130cc08c0f811c5288a99826a49276861735f696e70757428696e707574732c2067656e657369735f7574786f29203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c3375e6e9c0a8dd3998289ba903333051375203e660a26ea120024bd700a51153304d4901336d696e7465645f68657265203d3d2028746869735f706f6c6963792c2061737365745f6e616d652c203129203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c3371e024066294454cc1352401216f75745f706f6c696379203d3d20746869735f706f6c696379203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c00314a22a6609a9201197363726970745f63616c6c5f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c3371e01a03e294454cc1352401186964203d3d2061737365745f6e616d65203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c00114a22a6609a9201126e6578745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c00914a22a6609a92010f69735f68656164203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c00214a22a6609a92011861737365745f73656e745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003305133304c533304c00414a22a6609a920112736f72745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980004bd7019baf00a4c103d87a80003370e01a90011919299982599b874800800452889919b8748008c138dd518290009824801182480099299982519b8748008004530103d87a8000132323374a9000198289998261999919191911119299982a19b87480000044c8c8ccc158c94ccc16c0045288a50323253330583370e90010008a5eb7bdb1804c8dd5982f800982b001182b00099804802800a504a26eb8c16c004c1480104c8c8cc0b8c01c0108cdd780099ba548000cc170cdd2a4004660b86ea40092f5c097ae0375c60b600260a400860a4006600200244a6660a8002297ae0132323233058001330050050023054002305800230560013001001222533305300214c103d87a800013232323253330533371e00a002266e95200033058374c00497ae01333007007003005375c60a80066eacc150008c15c00cc1540080040c40d530103d87a80004c0103d87980004bd7018288009824001982400119918008009129998270008a51132533304f00114a22646464a66609c66e4000c0084cc018018cc14cdd48010008a503054003375c60a40046eb8c144008c14400400c54cc125241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304d001304d00237586096002609600466e1d20023045375460920026092004608e002608e0046eb8c114004c0f002054cc0fd24012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375a6086002608600260840046eb8c10000454cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163758607e002607e002602e00a60780026066a66606a66e1d200430340011001153303649012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016303a001303a002375660700026070002605ca66606066e1d2000302f0011001153303149012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533031491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630350013300801d014300a02813232323253330353038001132325333037303a0011323009001330383330333300a0250054c103d87a80004c0103d8798000330383330333375e6e9c044dd39981c1ba901a330383752008660706ea120024bd70260103d87a80004c0103d87980004bd700a9981a2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630390013300b0200171533032491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163300b02223375e6605a605e6605a605e6605a605e002900124000900000b9806000981a0009815812981581218008009129998180008a5113232533302e00213300400400114a0606800466e1d2002302e375460640024466006004466ebccc0a0c0a800520000023001001222533302e00214a026464a666058600600429444ccc01401400400cc0c800cc0c000888cc00c0088cdd7998129813998129813800a40009000001180080091129998158010a5eb804c8c94ccc0a4c00c0084cc0b8008ccc01401400400c4ccc01401400400cc0bc00cc0b40088c8dca0009bb300137586050002603e64a66604466e1d200030210011001153302349012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163233323001001222533302900214c103d87a8000132325333027300300213374a9000198161ba70024bd70099980280280080198168019bac302b0020012323371e0020166eb8c0a4004c0040188ccc0100052f5c044466600a004002444660586e9ccc0b0dd4803198161ba90033302c375000497ae000130010012222533302600310021323232323330050010023333008008003006005375c604e0066eb4c09c008c0a8010c0a000cc00400488894ccc09000c40084c8c8c8c8ccc014004008cccc02002000c018014dd718128019bab30250023028004302600333232233002001489003001001222533302200214bd6f7b630099191919299981119b8f0050011003133027337606ea4004dd30011998038038018029bae302300337566046004604c006604800400e66e9520023301f375200297ae0375c603e002602ca66603066e1d2000301700c100c15330194912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756603a002603a00260380046eacc068004c068004c064008dd6180b800980b800980b0011bac3014001300b0033012001301200230100013007002149858c800cc94ccc024cdc3a40000022a66601a600e0062930a998052491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330093370e9001000899192999807980900109924c64a66601866e1d200000113232323253330143017002132498c94ccc044cdc3a400000226464a66602e60340042930a9980a249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6030002601e0082a660249212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00315330114901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602a002602a004602600260140042a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a001153300c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630100013007003153300a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300700213223232533300c53300d4901013100132323232323232323232323232323232323253301f4910132001323232323232323232323232323232323232323253303349101330013232325333039303c00215330364901013400132323232323232323232323253304249101350013253304349101610013232323232323253330493370e9000000899192999827982900109919191919191919191929982b24810162001323232533305c305f00215330594901016300153330583370e9000182b802899191919191919191919299983318348010a99831a48101640013232323232323253306a491016500132323230250013307033306b0024c0103d87a80004c0103d87980003307033306b0014c0103d87a80004c0103d87980003307033306b02a4c0103d87a80004c0103d87980004bd701918120009983799983529998350038a51153306b490118636f6e74696e75696e675f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003306f33306a533306a00514a22a660d69201126e6578745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003306f33306a533306a00414a22a660d6920112686561645f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003306f33306a533306a00214a22a660d6920112736f72745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003306f33306a533306a00314a22a660d69201127461696c5f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003306f33306a533306a00614a22a660d692011d72657175697265645f7363726970745f636865636b203f2046616c73650014a0980103d87a80004c0103d87980004bd7019181180099837199834819a60103d87a80004c0103d87980003306e3330690074c0103d87a80004c0103d87980004bd701811804a99983399baf02d4c103d87a800014a22646466ebcc0040acc004028c004004894ccc1b40045300103d87a8000132533306e0011323374a9000198381ba90014bd701bae30700021323300400400130710023070001533306602a14a226466ebcc0040a4c00402094ccc1ac004530103d87a800013374a9000198361836800a5eb80cdd780501599baf00302453330633371e0140562a6660c600c204e26660c604e941288a503375e6e9c02cdd38170a99831a481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630670013067002375860ca00260ca00466e1d2002305f375460c600260c600460c200260c20046eb8c17c004c15801454cc16524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533059491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375860ba00260ba0026048010a6660a866e1d20023053003100315330554912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163059001305053330523370e9002182880188018a99829a492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163057001305700230550013055002375660a600260a60026092a66609666e1d2000304a0011001153304c49012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153304c491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630500013300603523375e6608c60906608c609000290002400002a264a6609692102623200132323232533305230550021323232323232323232323232323232323232323253306349010263320013232325333069306c00215330664901026432001323232533306c306f0021533069490102653200153330683370e90001833809099191919191919191919299983b183c8010a99839a48102663200153330723370e900018388090991919191919191919192999840009841808010a9983ea48102673200132323232323232325330850149102683200132303e00133089013330840153330840104e14a22a6610a0292011e696e707574735f66726f6d5f686572655f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100514a22a6610a02920118636f6e74696e75696e675f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100414a22a6610a0292011d72657175697265645f7363726970745f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100114a22a6610a02920112736f72745f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100614a22a6610a029201116e66745f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100314a22a6610a029201126e6578745f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840100214a22a6610a02920112686561645f636865636b203f2046616c73650014a0980103d87a80004c0103d87980003308901333084015333084014a2294454cc214052401127461696c5f636865636b203f2046616c73650014a0980103d87a80004c0103d879800033089013330840153330840104314a22a6610a029201197363726970745f63616c6c5f636865636b203f2046616c73650014a0980103d87a80004c0103d87980004bd70299984180981f00a0981f0050a5053330820101510461333082010464a09454ccc204054ccc20404cdd780b19ba548000cc21804dd480725eb804cdd78060238a50153330810100a14a02666102029412825114a0a6661000266ebc03c1004cdd78028200a50533307f3371e02c08e2a6660fe024208626660fe086941288a50533307e3375e6e9c068dd3825099baf374e02e6e9c00452819841009ba900133082013752646e50004dd983099841009ba8480092f5c06eb8c2080406054cc1f52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016308101001308101002375860fe00260fe00466e1d20023079375460fa00260fa00460f600260f60046eb8c1e4004c1c004854cc1cd24012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533073491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630770013077002375860ea00260ea00466e1d2002306f375460e600260e600460e200260e20046eb8c1bc004c19804854cc1a524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533069491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375860da00260da00260680162a660cc9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375860d400260d40026062024a6660c266e1d20023060003100315330624912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163066001305d533305f3370e9002182f00188018a998302492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163064001306400230620013062002375660c000260c000260aca6660b066e1d2000305700b100b153305949012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001653330573370e9001182b00188018a9982c24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016305c001305353330553370e9002182a00188018a9982b2492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016305a001305a00230580013058002375660ac00260ac0026098a66609c66e1d2000304d0031003153304f49012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153304f491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163053001305300230510013300703623375e6608e60926608e609200290002400002c608e07e608e07c600200244a66609800229444c8c94ccc1280084cc010010004528182800119b8748008c128dd5182700098008009129998250008a51132533304b00114a22646464a66609466e4000c0084cc018018cc13cdd48010008a503050003375c609c0046eb8c134008c134004c0040048894ccc12400852f5c026464a66608e600600426609800466600a00a002006266600a00a002006609a00660960046464a66608666e1d200200114a226466e1d20023046375460940026082004608200264a66608466e1d200200114c103d87a8000132323374a90001982499982219999191919191911119299982719b87480000044c8c8ccc140c94ccc1540045288a50323253330523370e90010008a5eb7bdb1804c8dd5982c8009828001182800099805802800a504a26eb8c154004c1300104c8c8cc024c01c0108cdd780099ba548000cc158cdd2a4004660ac6ea40092f5c097ae0375c60aa00260980086098006600200244a66609c002297ae013232323305200133005005002304e002305200230500013001001222533304d00214a026464a666096600600429444ccc01401400400cc14400cc13c008c0040048894ccc12c0085300103d87a8000132323232533304b3371e00a002266e95200033050374c00497ae01333007007003005375c60980066eacc130008c13c00cc13400800409c0a930103d87a80004c0103d87980004bd70182480098200011820000982300098230011bac304400130440023370e9001181f1baa3042001304200230400013040002375c607c002606a05866e1cccc8c0040048894ccc0f4008520001323233700a6660766006004290010a400066600a00a0020066082006607e00404a466ebccc0ccc0d4cc0ccc0d4cc0ccc0d4005200248001200000248008cc0c4c0cc045200015330364901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163758607400260740026002018466600800297ae02223330050020012223303d374e6607a6ea4018cc0f4dd48019981e9ba80024bd7000098008009111299981b801880109919191919980280080119998040040018030029bae3038003375a60700046076008607200660020024444a66606a006200426464646466600a002004666601001000600c00a6eb8c0d800cdd5981b001181c802181b801a99981619b8748008c0ac008400854cc0b524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163029533302b3370e9002181500188018a9981624812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001630300013030002302e001302e00237566058002605800460540026042a66604666e1d20003022001100115330244912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001630280013028001301e53330203370e9000180f80088008a99810a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163025001301c32533301f3370e9000180f00088008a998102492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016333232223300300223375e6603e60420029000001180080091129998128010a60103d87a8000132325333023300300213374a90001981400125eb804ccc01401400400cc0a400cc09c008034008cc8c88cc008005221003001001222533302400214bd6f7b630099191919299981219b8f0050011003133029337606ea4004dd30011998038038018029bae30250033756604a0046050006604c00400c60440026032a66603666e1d2002301a00c100c153301c4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375660400026040002603e0046eacc074004c074004c070008dd6180d000980d000980c8011bac3017001300e003301500130150023013001300a003149858c8018cc8c88c94ccc03ccdc3a4000002264646464646464646464a66603a604000426464649319299980e19b87480000044c8c94ccc088c0940084c92632533301f3370e900000089919299981298140010a4c2a66044921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604c002603a0042a66603e66e1d20020011323253330253028002149854cc0892401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604c002603a0042a660409212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301d001153301f4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163023001301a0041533301c3370e90010008a999810180d0020a4c2a6603a92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153301d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301a0033300e004232498dd700099299980d19b87480000044c8c94ccc080c08c008526153301d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604200260300102a66603466e1d20020011533301e3018008149854cc06d24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153301b4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163018007153301a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301e001301e00237586038002603800466e1d20023016375460340026034004603000260300046eb8c058004c03400854cc04124012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300d0013001001222533301200214984c8ccc010010c05800c008c004c050008014c800cc94ccc02ccdc3a40000022a66601e60120062930a9980624811d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533300b3370e9001000899192999808980a00109924c64a66601c66e1d200000113232323253330163019002132498c94ccc04ccdc3a400000226464a66603260380042930a9980b249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260220082a660289212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100315330134901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602e002602e004602a00260180042a6601e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c001153300e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630120013009003153300c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009002300e300600133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba201",
"hash": "02371a2342fc7346e036e4e332a7778caf2171f8fed4875aeb03517c"
}
],
"definitions": {
"Bool": {
"title": "Bool",
"anyOf": [
{
"title": "False",
"dataType": "constructor",
"index": 0,
"fields": []
},
{
"title": "True",
"dataType": "constructor",
"index": 1,
"fields": []
}
]
},
"ByteArray": {
"dataType": "bytes"
},
"Int": {
"dataType": "integer"
},
"List$ByteArray": {
"dataType": "list",
"items": {
"$ref": "#/definitions/ByteArray"
}
},
"Option$ByteArray": {
"title": "Optional",
"anyOf": [
{
"title": "Some",
"description": "An optional value.",
"dataType": "constructor",
"index": 0,
"fields": [
{
"$ref": "#/definitions/ByteArray"
}
]
},
{
"title": "None",
"description": "Nothing.",
"dataType": "constructor",
"index": 1,
"fields": []
}
]
},
"Option$distributed_set/types/RequiredScript": {
"title": "Optional",
"anyOf": [
{
"title": "Some",
"description": "An optional value.",
"dataType": "constructor",
"index": 0,
"fields": [
{
"$ref": "#/definitions/distributed_set~1types~1RequiredScript"
}
]
},
{
"title": "None",
"description": "Nothing.",
"dataType": "constructor",
"index": 1,
"fields": []
}
]
},
"RedeemerWrapper$distributed_set/types/ListRedeemer": {
"title": "Wrapped Redeemer",
"description": "A redeemer wrapped in an extra constructor to make multi-validator detection possible on-chain.",
"anyOf": [
{
"dataType": "constructor",
"index": 1,
"fields": [
{
"$ref": "#/definitions/distributed_set~1types~1ListRedeemer"
}
]
}
]
},
"aiken/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/aiken~1transaction~1TransactionId"
},
{
"title": "output_index",
"$ref": "#/definitions/Int"
}
]
}
]
},
"aiken/transaction/TransactionId": {
"title": "TransactionId",
"description": "A unique transaction identifier, as the hash of a transaction body. Note that the transaction id\n isn't a direct hash of the `Transaction` as visible on-chain. Rather, they correspond to hash\n digests of transaction body as they are serialized on the network.",
"anyOf": [
{
"title": "TransactionId",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "hash",
"$ref": "#/definitions/ByteArray"
}
]
}
]
},
"distributed_set/types/ListDatum": {
"title": "ListDatum",
"anyOf": [
{
"title": "ListDatum",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "id",
"$ref": "#/definitions/ByteArray"
},
{
"title": "next",
"$ref": "#/definitions/Option$ByteArray"
},
{
"title": "is_head",
"$ref": "#/definitions/Bool"
},
{
"title": "values",
"$ref": "#/definitions/List$ByteArray"
},
{
"title": "requires",
"$ref": "#/definitions/Option$distributed_set~1types~1RequiredScript"
}
]
}
]
},
"distributed_set/types/ListRedeemer": {
"title": "ListRedeemer",
"anyOf": [
{
"title": "Unit",
"dataType": "constructor",
"index": 0,
"fields": []
},
{
"title": "BinarySplit",
"dataType": "constructor",
"index": 1,
"fields": [
{
"title": "consuming",
"$ref": "#/definitions/aiken~1transaction~1OutputReference"
}
]
}
]
},
"distributed_set/types/RequiredScript": {
"title": "RequiredScript",
"anyOf": [
{
"title": "RequireMint",
"dataType": "constructor",
"index": 0,
"fields": [
{
"$ref": "#/definitions/ByteArray"
}
]
},
{
"title": "RequireStake",
"dataType": "constructor",
"index": 1,
"fields": [
{
"$ref": "#/definitions/ByteArray"
}
]
}
]
}
}
}