diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs index cc792c1c..10430bd8 100644 --- a/crates/aiken-lang/src/gen_uplc.rs +++ b/crates/aiken-lang/src/gen_uplc.rs @@ -4804,7 +4804,7 @@ impl<'a> CodeGenerator<'a> { for (index, arg) in arguments.iter().enumerate().rev() { if !(has_context && index == arguments.len() - 1) - || arg.arg_name.get_variable_name().unwrap_or("_") != "_" + && arg.arg_name.get_variable_name().unwrap_or("_") != "_" { let mut air_stack = AirStack::new(self.id_gen.clone()); diff --git a/examples/acceptance_tests/036/plutus.json b/examples/acceptance_tests/036/plutus.json index 56ec1327..1f8a297c 100644 --- a/examples/acceptance_tests/036/plutus.json +++ b/examples/acceptance_tests/036/plutus.json @@ -21,8 +21,8 @@ } } ], - "compiledCode": "593504010000323232323232323232323232323232232232232533300d3232533300f3370e9000000899251300d00214a0601a0026464660026eb0cc02cc034cc02cc03400d2000480008cdd7998061807000a40000106002002444a66602a004266e9520024bd700991929998091801801099ba548000cc0600092f5c0266600a00a0020066032006602e0042930b1980699299980699b87480000044c8c8c8c94ccc058c0640084cc048c94ccc048cdc3a40000022646464646464646464646464646464646464646464646464a66605e60640042660566604802e46605864a66605866e1d2000001132323232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900548cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09004c8cc0b0c94ccc0b0cdc3a400000226464646464646464a666072607800426606a64a66606a66e1d2000001132323232533303e304100213303a32533303a3370e900000089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20020011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a660789212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303300815330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033007330353302e00523232330383303100123232498dd6981e8011bae303b001498dd5981d0011bae3038001330353253330353370e90000008a99981d18198020a4c2a6606e9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260660082a66606a66e1d200400113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303300415330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033003330353253330353370e900000089919299981e181f8010a4c2a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033002153330353370e90010008a99981d18198010a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300149854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a001303a00230380013038002303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900448c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc09003c8c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc0900348cc0b0c94ccc0b0cdc3a400000226464a666066606c00426605e64a66605e66e1d20000011323253330363039002149854cc0cd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9001000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9002000899191919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f004153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178020a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00349854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c004606800260540042a66605866e1d200600113232323253330353038002149854cc0c92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a4010002264646464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a40140022a66606260540042930a998172491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e90060008a99981898150010a4c2a6605c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09002c8c8c8cc0b8c94ccc0b8cdc3a400000226464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e90010008991919191919299981c981e0010a4c2a6606c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046eb4c0e0004c0e0008dd6981b00098160018a9981824812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498dd6981800118170009981599299981599b87480000044c8c8c8c94ccc0d0c0dc0084cc0c0c94ccc0c0cdc3a4000002264646464a666072607800426606a64a66606a66e1d20000011533303a3033004149854cc0dd24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e004153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e003330303253330303370e9000000899191919299981c981e00109981a99299981a99b874800000454ccc0e8c0cc01052615330374911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e002153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e00149854cc0c5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303500130350023033001302900a153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630290093302b33024007232498dd70009981599812002919191981719299981719b87480000044c8c94ccc0d4c0e000852615330324901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c00260580062a66605c66e1d200200113232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0042a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900200089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178010a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900300089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec0084cc0d0c94ccc0d0cdc3a400000226464a666076607c0042930a9981c2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e900100089919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e9002000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303e0013034004153330363370e90010008991919191919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608400260840046eb4c100004c100008dd6981f000981a0020a9981c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046072002605e0042a66606266e1d2006001132323232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a4010002264646464a666074607a0042930a9981ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a40140022a66606c605e0042930a99819a491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e90060008a99981b18178010a4c2a6606692011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c00315330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498c0c0008c0b8004cc0accc09000c8c8c9263030002375c605c0026605664a66605666e1d20000011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606600260520042a6605a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302900149854cc0b1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630300013030002302e001302e002302c001302c00237586054002605400460500026050004604c002604c0046eb0c090004c090008c088004c088008c080004c080008dd6180f000980f0011bac301c001301c0023758603400260200082a6602892012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010003330123253330123370e900000089919299980c980e0010a4c2a6602c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260200042a66602466e1d2002001132325333019301c0021330153253330153370e9000000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604400260300082a660389212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e004603a00260260042a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900200089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c00852615330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e80098098010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900300089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c0084cc060c94ccc060cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e900100089919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e9002000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302200130180041533301a3370e90010008991919191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604c002604c0046eb4c090004c090008dd69811000980c0020a9980e24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e004603a00260260042a66602a66e1d2006001132323232533301e3021002149854cc06d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e0046eb8c074004c04c00854ccc054cdc3a4010002264646464a66603c60420042930a9980da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb8c074004c04c00854ccc054cdc3a40140022a66603460260042930a9980ba491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330153370e90060008a99980d18098010a4c2a6602e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330174912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a001301000215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301000149854cc04d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300b002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b00100132001533300a3370e900018069baa001149858cc024c94ccc024cdc3a4000002264646464a666024602a00426601c64a66601c66e1d20000011323253330153018002149854cc0492401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602c00260180082a660209212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00349854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602600260260046022002600e0042a660169212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630070010013001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11", - "hash": "e1c765bbf9f7c12a7ae58b5070f13113238f54495d62c89553e493d9" + "compiledCode": "59021c01000032323232323232323232323232323223222533300b3232533300d3370e9000000899251300b00214a060160026464660026eb0cc024c02ccc024c02c00d2000480008cdd7998051806000a400000c6002002444a666026004266e9520024bd700991929998081801801099ba548000cc0580092f5c0266600a00a002006602e006602a0042930b1980499299980499b87480000044c8c8c8c94ccc048c0540084cc038c94ccc038cdc3a400000226464a66602a60300042930a998092481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602c00260180082a660209212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00349854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602600260260046022002600e0042a660169212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630070010013001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11", + "hash": "ea0e94b772853839107c466f7c972f4aec53a93d66761cfdaeba5e30" }, { "title": "spend.spend", @@ -38,8 +38,8 @@ "$ref": "#/definitions/Data" } }, - "compiledCode": "59342201000032323232323232323232323232323222232533300b32323233001003232323232323330140014a09454ccc0600045288a50323253330143370e90010008a5eb7bdb1804c8c8004dd5980e0009809001180900099801000a4410500000000000037566601a601e00690011800800911299980b801099ba5480092f5c0264646464a66602c66e3c0140044cdd2a4000660386e980092f5c0266600e00e00600a6eb8c06000cdd5980c001180d801980c8011800800911299980a0010a50132325333011300300214a2266600a00a0020066030006602c0046eb0cc01cc024cc01cc024005200048010526163300b32533300b3370e9000000899191919299980a180b80109980819299980819b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0b4c0c00084cc0a4cc08805c8cc0a8c94ccc0a8cdc3a4000002264646464a666066606c00426605e64a66605e66e1d20000011323232325333038303b0021330343253330343370e900000089919299981d981f0010a4c2a660709201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607800260640082a6606c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200349854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60720026072004606e002605a0082a660629212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d0033302f32533302f3370e900000089919191919191919299981e181f80109981c19299981c19b87480000044c8c8c8c94ccc104c1100084cc0f4c94ccc0f4cdc3a400000226464a666088608e0042930a99820a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608a00260760082a66607a66e1d20020011323253330443047002149854cc1052401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608a00260760082a6607e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303b0033303d32533303d3370e900000089919299982218238010a4c2a66082921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163045001303b0021533303d3370e90010008a999821181d8010a4c2a6607e92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303b00149854cc0f9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163042001304200230400013036008153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630360073303833031005232323303b3303400123232498dd698200011bae303e001498dd5981e8011bae303b001330383253330383370e90000008a99981e981b0020a4c2a660749211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330383370e900100089919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6080002606c0082a66607066e1d200400113232533303f3042002149854cc0f12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630400013036004153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163036003330383253330383370e900000089919299981f98210010a4c2a66078921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630400013036002153330383370e90010008a99981e981b0010a4c2a6607492011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303600149854cc0e5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303d002303b001303b002303900130390023037001302d00215330314912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001303400230320013028002153302c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028001498cc0a4cc0880548cc0a8c94ccc0a8cdc3a4000002264646464a666066606c00426605e64a66605e66e1d20000011323232325333038303b0021330343253330343370e900000089919299981d981f0010a4c2a660709201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607800260640082a6606c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200349854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60720026072004606e002605a0082a660629212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d0033302f32533302f3370e900000089919191919191919299981e181f80109981c19299981c19b87480000044c8c8c8c94ccc104c1100084cc0f4c94ccc0f4cdc3a400000226464a666088608e0042930a99820a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608a00260760082a66607a66e1d20020011323253330443047002149854cc1052401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608a00260760082a6607e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303b0033303d32533303d3370e900000089919299982218238010a4c2a66082921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163045001303b0021533303d3370e90010008a999821181d8010a4c2a6607e92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303b00149854cc0f9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163042001304200230400013036008153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630360073303833031005232323303b3303400123232498dd698200011bae303e001498dd5981e8011bae303b001330383253330383370e90000008a99981e981b0020a4c2a660749211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330383370e900100089919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6080002606c0082a66607066e1d200400113232533303f3042002149854cc0f12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630400013036004153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163036003330383253330383370e900000089919299981f98210010a4c2a66078921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630400013036002153330383370e90010008a99981e981b0010a4c2a6607492011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303600149854cc0e5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303d002303b001303b002303900130390023037001302d00215330314912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001303400230320013028002153302c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028001498cc0a4cc08804c8cc0a8c94ccc0a8cdc3a400000226464646464646464a66606e607400426606664a66606666e1d2000001132323232533303c303f0021330383253330383370e900000089919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6080002606c0082a66607066e1d200200113232533303f3042002149854cc0f12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6080002606c0082a660749212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163036003330383253330383370e900000089919299981f98210010a4c2a66078921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630400013036002153330383370e90010008a99981e981b0010a4c2a6607492011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303600149854cc0e5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303d002303b001303100815330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163031007330333302c00523232330363302f00123232498dd6981d8011bae3039001498dd5981c0011bae3036001330333253330333370e90000008a99981c18188020a4c2a6606a9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330333370e900100089919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260620082a66606666e1d200400113232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303b001303100415330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163031003330333253330333370e900000089919299981d181e8010a4c2a6606e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303b0013031002153330333370e90010008a99981c18188010a4c2a6606a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303100149854cc0d1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630380013038002303600130360023034001303400230320013028002153302c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028001498cc0a4cc0880448c8c8cc0b0cc0940048c8c926375a60620046eb8c0bc005263756605c0046eb8c0b0004cc0a4cc08803c8c8c8cc0b0cc0940048c8c926375a60620046eb8c0bc005263756605c0046eb8c0b0004cc0a4cc0880348cc0a8c94ccc0a8cdc3a400000226464a666062606800426605a64a66605a66e1d20000011323253330343037002149854cc0c52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163035001302b0021533302d3370e90010008991919191919299981c181d8010a4c2a6606a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607200260720046eb4c0dc004c0dc008dd6981a80098158010a99817a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302b00149854cc0b9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303200130280021533302a3370e9001000899192999818981a00109981699299981699b87480000044c8c94ccc0d0c0dc00852615330314901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163035001302b0021533302d3370e90010008991919191919299981c181d8010a4c2a6606a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607200260720046eb4c0dc004c0dc008dd6981a80098158010a99817a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302b00149854cc0b9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303200130280021533302a3370e90020008991919192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0041533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168020a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00349854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60680026068004606400260500042a66605466e1d200600113232323253330333036002149854cc0c12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606800260680046eb8c0c8004c0a000854ccc0a8cdc3a4010002264646464a666066606c0042930a99818249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606800260680046eb8c0c8004c0a000854ccc0a8cdc3a40140022a66605e60500042930a998162491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302a3370e90060008a99981798140010a4c2a6605892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028001498cc0a4cc08802c8c8c8cc0b0c94ccc0b0cdc3a400000226464a666066606c0042930a99818249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0031533302c3370e90010008991919191919299981b981d0010a4c2a660689201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607000260700046eb4c0d8004c0d8008dd6981a00098150018a9981724812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a002498dd6981700118160009981499299981499b87480000044c8c8c8c94ccc0c8c0d40084cc0b8c94ccc0b8cdc3a4000002264646464a66606e607400426606664a66606666e1d2000001153330383031004149854cc0d524011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330333370e900100089919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303b0013031004153330333370e90020008a99981c18188020a4c2a6606a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303100349854cc0d1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181a1baa303800130380023036001302c004153303049012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c0033302e32533302e3370e9000000899191919299981b981d00109981999299981999b874800000454ccc0e0c0c401052615330354911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330333370e900100089919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303b0013031004153330333370e90020008a99981c18188020a4c2a6606a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303100349854cc0d1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181a1baa303800130380023036001302c002153303049012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c00149854cc0bd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303300130330023031001302700a153302b4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630270093302933022007232498dd70009981499811002919191981619299981619b87480000044c8c94ccc0ccc0d800852615330304901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606800260540062a66605866e1d2002001132325333033303600213302f32533302f3370e9000000899191919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607800260640082a6606c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200349854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60720026072004606e002605a0042a660629212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0031533302c3370e9002000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0031533302c3370e9003000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e40084cc0c8c94ccc0c8cdc3a400000226464a66607260780042930a9981b2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a0013030002153330323370e90010008991919191919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607c002607c0046eb4c0f0004c0f0008dd6981d00098180010a9981a24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303000149854cc0cd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e900100089919299981b181c80109981919299981919b87480000044c8c94ccc0e4c0f000852615330364901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a0013030002153330323370e90010008991919191919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607c002607c0046eb4c0f0004c0f0008dd6981d00098180010a9981a24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303000149854cc0cd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e9002000899191919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032004153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190020a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200349854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60720026072004606e002605a0042a66605e66e1d20060011323232325333038303b002149854cc0d52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607200260720046eb8c0dc004c0b400854ccc0bccdc3a4010002264646464a66607060760042930a9981aa49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607200260720046eb8c0dc004c0b400854ccc0bccdc3a40140022a666068605a0042930a99818a491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302f3370e90060008a99981a18168010a4c2a6606292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330314912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a003153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a002498c0b8008c0b0004cc0a4cc08800c8c8c926302e002375c60580026605264a66605266e1d20000011323253330303033002149854cc0b52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6062002604e0042a660569212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302700149854cc0a9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302e001302e002302c001302c002302a001302a002375860500026050004604c002604c004604800260480046eb0c088004c088008c080004c080008c078004c078008dd6180e000980e0011bac301a001301a00237586030002601c0082a6602492012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e003330103253330103370e900000089919299980b980d0010a4c2a66028921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6030002601c0042a66602066e1d2002001132325333017301a0021330133253330133370e9000000899191919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6040002602c0082a660349212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600349854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603a002603a004603600260220042a6602a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100149854cc051241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300e002153330103370e900200089919299980b980d00109980999299980999b87480000044c8c94ccc068c07400852615330174901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301b0013011002153330133370e90010008991919191919299980f18108010a4c2a660369201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb4c074004c074008dd6980d80098088010a9980aa4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100149854cc051241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300e002153330103370e900300089919299980b980d00109980999299980999b87480000044c8c94ccc068c0740084cc058c94ccc058cdc3a400000226464a66603a60400042930a9980d2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301e0013014002153330163370e90010008991919191919299981098120010a4c2a6603c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604400260440046eb4c080004c080008dd6980f000980a0010a9980c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400149854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301b0013011002153330133370e900100089919299980d180e80109980b19299980b19b87480000044c8c94ccc074c080008526153301a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301e0013014002153330163370e90010008991919191919299981098120010a4c2a6603c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604400260440046eb4c080004c080008dd6980f000980a0010a9980c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400149854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301b0013011002153330133370e9002000899191919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016004153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0020a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600349854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603a002603a004603600260220042a66602666e1d2006001132323232533301c301f002149854cc0652401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603a002603a0046eb8c06c004c04400854ccc04ccdc3a4010002264646464a666038603e0042930a9980ca49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603a002603a0046eb8c06c004c04400854ccc04ccdc3a40140022a66603060220042930a9980aa491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330133370e90060008a99980c18088010a4c2a6602a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330154912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100149854cc051241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300e00215330124912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00149854cc045241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163015001301500230130013009002153300d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630090010013001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11", - "hash": "28533dfe9a01925562f73da66b4d7c48e1d391fce0e7c6265b8f4a94" + "compiledCode": "59014601000032323232323232323232323232222533300932323233001003232323232323330120014a09454ccc0540045288a50323253330123370e90010008a5eb7bdb1804c8c8004dd5980c800980880118099baa00133002001488105000000000000375666018601c00690011800800911299980a001099ba5480092f5c0264646464a66602866e3c0140044cdd2a4000660326e980092f5c0266600e00e00600a6eb8c05400cdd5980a801180c001980b001180080091129998088010a5013232533300f300300214a2266600a00a002006602a00660260046eb0cc018c020cc018c020005200048010526163001001222533300b00214984cc020c004c034008ccc00c00cc038008004cc0040052000222233330063370e0020060184666600a00a66e000112002300e001002002230053754002ae695cdaab9d5573caae7d5d02ba157441", + "hash": "a5010ea97891dc6e9b5f1d6f6ece99adeef242e286d5c5d84986c134" } ], "definitions": { diff --git a/examples/acceptance_tests/047/plutus.json b/examples/acceptance_tests/047/plutus.json index 051b6880..3cc88a92 100644 --- a/examples/acceptance_tests/047/plutus.json +++ b/examples/acceptance_tests/047/plutus.json @@ -19,8 +19,8 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "58660100003232323232323232232232253330084a22930b19000a99980319b8748000c020dd50008a4c2c64002a66600866e1d2000300637540022930b180080091129998038010a4c26600a600260100046660060066012004002ae695cdaab9d5573eae855d11", - "hash": "81fc2314e93ebbe261c6bf0adf0ce9fb451ab7c9df160037c426fb91" + "compiledCode": "583b0100003232323232323222253330064a22930b180080091129998030010a4c26600a6002600e0046660060066010004002ae695cdaab9f5742ae89", + "hash": "e37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4" } ], "definitions": { diff --git a/examples/acceptance_tests/071/plutus.json b/examples/acceptance_tests/071/plutus.json index 5a4ea4a1..5e29ea7d 100644 --- a/examples/acceptance_tests/071/plutus.json +++ b/examples/acceptance_tests/071/plutus.json @@ -19,8 +19,8 @@ "$ref": "#/definitions/spend~1PoolRedeemer" } }, - "compiledCode": "593b51010000323232323232323232323232323232232232232533300d3232323232323253330143370e90000008992513012007153330143370e9001000899191919299980c19b87480080044c8c8c8c8c8c8c9289812800980d99299980f19b8748000c074004400454cc08124012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0110033023001301932533301c3370e9000180d80088008a9980f24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00f001300848901ff003020001301600214a0602c0026602460280149001180e0009809003899191919299980c19b87480080044c8c8c8c8c8c8c9289812800980d99299980f19b8748000c074004400454cc0812412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0110033023001301932533301c3370e9000180d80088008a9980f24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00f001300848901ff003020001301600214a0602c0026602460280149001180e00098090039809003119ba548000cc064cdd2a4004660326ea40052f5c06603266e9520024bd7025eb8088cc010dd6198079808998079808801240009002119baf3301030120014800000888cc00cdd6198071808198071808001240009000119baf3300f30113300f30110014800920000023001001222533301600213374a900125eb804c8c94ccc04cc00c0084cdd2a40006603200497ae01333005005001003301a003301800233009300b00348000526163300d32533300d3370e9000000899191919299980b180c80109980919299980919b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0bcc0c80084cc0accc09005c8cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a66074921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900548cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09004c8cc0b0c94ccc0b0cdc3a400000226464646464646464a666072607800426606a64a66606a66e1d2000001132323232533303e304100213303a32533303a3370e900000089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20020011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a660789212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303300815330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033007330353302e00523232330383303100123232498dd6981e8011bae303b001498dd5981d0011bae3038001330353253330353370e90000008a99981d18198020a4c2a6606e9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260660082a66606a66e1d200400113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303300415330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033003330353253330353370e900000089919299981e181f8010a4c2a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033002153330353370e90010008a99981d18198010a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300149854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a001303a00230380013038002303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900448c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc09003c8c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc0900348cc0b0c94ccc0b0cdc3a400000226464a666066606c00426605e64a66605e66e1d20000011323253330363039002149854cc0cd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9001000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9002000899191919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f004153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178020a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00349854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c004606800260540042a66605866e1d200600113232323253330353038002149854cc0c92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a4010002264646464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a40140022a66606260540042930a998172491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e90060008a99981898150010a4c2a6605c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09002c8c8c8cc0b8c94ccc0b8cdc3a400000226464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e90010008991919191919299981c981e0010a4c2a6606c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046eb4c0e0004c0e0008dd6981b00098160018a9981824812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498dd6981800118170009981599299981599b87480000044c8c8c8c94ccc0d0c0dc0084cc0c0c94ccc0c0cdc3a4000002264646464a666072607800426606a64a66606a66e1d20000011533303a3033004149854cc0dd24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e004153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e003330303253330303370e9000000899191919299981c981e00109981a99299981a99b874800000454ccc0e8c0cc01052615330374911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e002153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e00149854cc0c5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303500130350023033001302900a153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630290093302b33024007232498dd70009981599812002919191981719299981719b87480000044c8c94ccc0d4c0e000852615330324901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c00260580062a66605c66e1d200200113232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0042a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900200089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178010a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900300089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec0084cc0d0c94ccc0d0cdc3a400000226464a666076607c0042930a9981c2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e900100089919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e9002000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303e0013034004153330363370e90010008991919191919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608400260840046eb4c100004c100008dd6981f000981a0020a9981c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046072002605e0042a66606266e1d2006001132323232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a4010002264646464a666074607a0042930a9981ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a40140022a66606c605e0042930a99819a491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e90060008a99981b18178010a4c2a6606692011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c00315330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498c0c0008c0b8004cc0accc09000c8c8c9263030002375c605c0026605664a66605666e1d20000011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606600260520042a6605a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302900149854cc0b1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630300013030002302e001302e002302c001302c00237586054002605400460500026050004604c002604c0046eb0c090004c090008c088004c088008c080004c080008dd6180f000980f0011bac301c001301c0023758603400260200082a6602892012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010003330123253330123370e900000089919299980c980e0010a4c2a6602c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260200042a66602466e1d2002001132325333019301c0021330153253330153370e9000000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604400260300082a660389212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e004603a00260260042a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900200089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c00852615330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e80098098010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900300089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c0084cc060c94ccc060cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e900100089919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e9002000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302200130180041533301a3370e90010008991919191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604c002604c0046eb4c090004c090008dd69811000980c0020a9980e24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e004603a00260260042a66602a66e1d2006001132323232533301e3021002149854cc06d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e0046eb8c074004c04c00854ccc054cdc3a4010002264646464a66603c60420042930a9980da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb8c074004c04c00854ccc054cdc3a40140022a66603460260042930a9980ba491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330153370e90060008a99980d18098010a4c2a6602e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330174912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a001301000215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301000149854cc04d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300b002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b0010013300b32533300b3370e9000000899192999809180a80109980719299980719b87480000044c8c94ccc054c06000852615330124901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602c00260180042a66601c66e1d200200113232533301530180021330113253330113370e9000000899191919299980d180e80109980b19299980b19b87480000044c8c8c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604000260400046eb8c078004c05001054cc0612412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400349854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046032002601e0042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163016001300c0021533300e3370e900200089919299980a980c00109980899299980899b87480000044c8c8c8c94ccc068c0740084cc058c94ccc058cdc3a4000002264646464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604000260400046eb8c078004c05001054cc0612412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400349854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046032002601e0042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163016001300c00215330104912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00149854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630130013009002153300d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009001001330093253330093370e90000008991919191919299980a180b80109980819299980819b87480000044c8c8c8c94ccc064c07000852615330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260340046eb8c060004c03801854cc0492412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00549854cc045241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602a002602a0046eb4c04c004c04c008c044004c01c00854cc02d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630070010013001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11", - "hash": "70dd1b8e6764aab249c15c81e54b5d7708f3414d3c4028efc39d5947" + "compiledCode": "59087d0100003232323232323232323232323232322322322533300c3232323232323253330133370e90000008992513011007153330133370e9001000899191919299980b99b87480080044c8c8c8c8c8c8c9289812000980d19299980e99b8748000c070004400454cc07d24012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0110033022001301832533301b3370e9000180d00088008a9980ea4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00f001300848901ff00301f001301500214a0602a0026602260260149001180d8009808803899191919299980b99b87480080044c8c8c8c8c8c8c9289812000980d19299980e99b8748000c070004400454cc07d2412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0110033022001301832533301b3370e9000180d00088008a9980ea4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00f001300848901ff00301f001301500214a0602a0026602260260149001180d80098088039808803119ba548000cc060cdd2a4004660306ea40052f5c06603066e9520024bd7025eb8088cc010dd6198071808198071808001240009002119baf3300f30110014800000888cc00cdd6198069807998069807801240009000119baf3300e30103300e30100014800920000023001001222533301500213374a900125eb804c8c94ccc048c00c0084cdd2a40006603000497ae013330050050010033019003301700233008300a00248000526163300b32533300b3370e9000000899192999809180a80109980719299980719b87480000044c8c94ccc054c06000852615330124901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602c00260180042a66601c66e1d200200113232533301530180021330113253330113370e9000000899191919299980d180e80109980b19299980b19b87480000044c8c8c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604000260400046eb8c078004c05001054cc0612412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400349854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046032002601e0042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163016001300c0021533300e3370e900200089919299980a980c00109980899299980899b87480000044c8c8c8c94ccc068c0740084cc058c94ccc058cdc3a4000002264646464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604000260400046eb8c078004c05001054cc0612412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400349854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046032002601e0042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163016001300c00215330104912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00149854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630130013009002153300d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009001001330093253330093370e90000008991919191919299980a180b80109980819299980819b87480000044c8c8c8c94ccc064c07000852615330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260340046eb8c060004c03801854cc0492412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00549854cc045241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602a002602a0046eb4c04c004c04c008c044004c01c00854cc02d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630070010013001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11", + "hash": "b66a8c385bf85828be1b5811b535fd381ec4197b822248356e29b371" } ], "definitions": { diff --git a/examples/acceptance_tests/077/plutus.json b/examples/acceptance_tests/077/plutus.json index dede0380..7231ea73 100644 --- a/examples/acceptance_tests/077/plutus.json +++ b/examples/acceptance_tests/077/plutus.json @@ -19,8 +19,8 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "593785010000323232323232323232323232323232232232232533300d323232323232323232323232323232323232323232323375e6e98008dd300099980a1bac3301e30203301e30200164800120042253330243375e66040604400490000020998061bab3302030220024800800440052f5bded8c06660266eb0cc074c07ccc074c07c055200048000894ccc08ccdd79980f98109980f98108012400490000018998059bab3301f30213301f302100248009200200110014bd6f7b6301980e180f000a4000604c002604c00260360026046002603264a66603866e1d2000301b0011001153301e4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163232330013758660326036660326036022900024000466ebccc068c07000520000043001001222533302300213374a900125eb804c8c94ccc080c00c0084cdd2a40006604c00497ae01333005005001003302700330250023021001301732533301a3370e9001180c80088008a9980e2492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633015301700d4800888c8004cccc020008004888c94ccc0794ccc08c0045288a5013374a900125eb804cdd2a4000660486e980052f5c0666600e00400244464a66604266e1c005200013374a900125eb804cdd2a40006604e6ea00052f5c066e0000800401800c894ccc064cdc8001000899ba5480012f5c02a66603266e3c0080044cdd2a400497ae013374a900225eb80c004004888894ccc07c010400c4c8c8c8c8ccccc02402400cccccc02801c004008018014018014dd718100019bad3020002302300530210043001001222222533301e00513301f337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc074cdd79980280400099ba5480012f5c026604666ec0dd48041ba80070091533301d3371e01000226464a66603e66e1d20000011323233027337606ea4030dd40008039bad3027001301d0021005301d001333006008007002133023337606ea4004dd40011999998050050018040038030029bae301f003375a603e004604400c604000a600200244444a6660360082006264646464666660120120066666601400e00200400c00a00c00a6eb8c07000cdd5980e001180f802980e8021800800911111299980d00289980d99bb037520086e9800d2f5bded8c0264646464a66603266ebccc014020004cdd2a400097ae013301f337606ea4020dd30038048a99980c99b8f00800113232533301b3370e9000000899191981199bb037520186e9800401cdd59811800980c8010802980c80099980300400380109980f99bb037520026e98008cccccc02802800c02001c018014dd7180d8019bab301b002301e006301c005300100122225333016003100113232330040023333006006001004003301a0043018003149858cc034c94ccc034cdc3a4000002264646464a66602c603200426602464a66602466e1d20000011323232323232323232323232323232323232323232323232533302f303200213302b3302401723302c32533302c3370e9000000899191919299981a981c00109981899299981899b87480000044c8c8c8c94ccc0e8c0f40084cc0d8c94ccc0d8cdc3a400000226464a66607a60800042930a9981d2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900548cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09004c8cc0b0c94ccc0b0cdc3a400000226464646464646464a666072607800426606a64a66606a66e1d2000001132323232533303e304100213303a32533303a3370e900000089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20020011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a660789212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303300815330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033007330353302e00523232330383303100123232498dd6981e8011bae303b001498dd5981d0011bae3038001330353253330353370e90000008a99981d18198020a4c2a6606e9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260660082a66606a66e1d200400113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303300415330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033003330353253330353370e900000089919299981e181f8010a4c2a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033002153330353370e90010008a99981d18198010a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300149854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a001303a00230380013038002303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900448c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc09003c8c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc0900348cc0b0c94ccc0b0cdc3a400000226464a666066606c00426605e64a66605e66e1d20000011323253330363039002149854cc0cd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9001000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9002000899191919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f004153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178020a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00349854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c004606800260540042a66605866e1d200600113232323253330353038002149854cc0c92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a4010002264646464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a40140022a66606260540042930a998172491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e90060008a99981898150010a4c2a6605c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09002c8c8c8cc0b8c94ccc0b8cdc3a400000226464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e90010008991919191919299981c981e0010a4c2a6606c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046eb4c0e0004c0e0008dd6981b00098160018a9981824812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498dd6981800118170009981599299981599b87480000044c8c8c8c94ccc0d0c0dc0084cc0c0c94ccc0c0cdc3a4000002264646464a666072607800426606a64a66606a66e1d20000011533303a3033004149854cc0dd24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e004153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e003330303253330303370e9000000899191919299981c981e00109981a99299981a99b874800000454ccc0e8c0cc01052615330374911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e002153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e00149854cc0c5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303500130350023033001302900a153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630290093302b33024007232498dd70009981599812002919191981719299981719b87480000044c8c94ccc0d4c0e000852615330324901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c00260580062a66605c66e1d200200113232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0042a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900200089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178010a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900300089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec0084cc0d0c94ccc0d0cdc3a400000226464a666076607c0042930a9981c2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e900100089919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e9002000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303e0013034004153330363370e90010008991919191919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608400260840046eb4c100004c100008dd6981f000981a0020a9981c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046072002605e0042a66606266e1d2006001132323232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a4010002264646464a666074607a0042930a9981ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a40140022a66606c605e0042930a99819a491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e90060008a99981b18178010a4c2a6606692011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c00315330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498c0c0008c0b8004cc0accc09000c8c8c9263030002375c605c0026605664a66605666e1d20000011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606600260520042a6605a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302900149854cc0b1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630300013030002302e001302e002302c001302c00237586054002605400460500026050004604c002604c0046eb0c090004c090008c088004c088008c080004c080008dd6180f000980f0011bac301c001301c0023758603400260200082a6602892012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010003330123253330123370e900000089919299980c980e0010a4c2a6602c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260200042a66602466e1d2002001132325333019301c0021330153253330153370e9000000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604400260300082a660389212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e004603a00260260042a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900200089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c00852615330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e80098098010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900300089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c0084cc060c94ccc060cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e900100089919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e9002000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302200130180041533301a3370e90010008991919191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604c002604c0046eb4c090004c090008dd69811000980c0020a9980e24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e004603a00260260042a66602a66e1d2006001132323232533301e3021002149854cc06d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e0046eb8c074004c04c00854ccc054cdc3a4010002264646464a66603c60420042930a9980da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb8c074004c04c00854ccc054cdc3a40140022a66603460260042930a9980ba491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330153370e90060008a99980d18098010a4c2a6602e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330174912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a001301000215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301000149854cc04d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300b002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b00100132001533300a3370e900018069baa001149858c80054ccc020cdc3a400060166ea8004526163001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d101", - "hash": "2eb0c337088389ac32356b13cb7c88925f5c109e76a2ab66b55fb0c3" + "compiledCode": "590489010000323232323232323232323232323232222533300a323232323232323232323232323232323232323232323375e6e98008dd300099980a1bac3301b301d3301b301d0164800120042253330213375e6603a603e00490000020998061bab3301d301f0024800800440052f5bded8c06660266eb0cc068c070cc068c070055200048000894ccc080cdd79980e180f1980e180f0012400490000018998059bab3301c301e3301c301e00248009200200110014bd6f7b6301980c980d800a40006046002604600260300026040002602c64a66603266e1d200030180011001153301b4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001632323300137586602c60306602c6030022900024000466ebccc05cc06400520000043001001222533302000213374a900125eb804c8c94ccc074c00c0084cdd2a40006604600497ae0133300500500100330240033022002301e00130143253330173370e9001180b00088008a9980ca492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633012301400d4800888c8004cccc020008004888c94ccc06d4ccc0800045288a5013374a900125eb804cdd2a4000660426e980052f5c0666600e00400244464a66603c66e1c005200013374a900125eb804cdd2a4000660486ea00052f5c066e0000800401800c894ccc058cdc8001000899ba5480012f5c02a66602c66e3c0080044cdd2a400497ae013374a900225eb80c004004888894ccc070010400c4c8c8c8c8ccccc02402400cccccc02801c004008018014018014dd7180e8019bad301d0023020005301e0043001001222222533301b00513301c337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc068cdd79980280400099ba5480012f5c026604066ec0dd48041ba80070091533301a3371e01000226464a66603866e1d20000011323233024337606ea4030dd40008039bad3024001301a0021005301a001333006008007002133020337606ea4004dd40011999998050050018040038030029bae301c003375a6038004603e00c603a00a600200244444a6660300082006264646464666660120120066666601400e00200400c00a00c00a6eb8c06400cdd5980c801180e002980d0021800800911111299980b80289980c19bb037520086e9800d2f5bded8c0264646464a66602c66ebccc014020004cdd2a400097ae013301c337606ea4020dd30038048a99980b19b8f0080011323253330183370e9000000899191981019bb037520186e9800401cdd59810000980b0010802980b00099980300400380109980e19bb037520026e98008cccccc02802800c02001c018014dd7180c0019bab3018002301b006301900530010012222533301300310011323233004002333300600600100400330170043015003149858c0040048894ccc0340085261330093001300f002333003003301000200133001001480008888cccc01ccdc38008018071199980280299b8000448008c0400040080088c01cdd5000918029baa0015734ae6d5ce2ab9d5573caae7d5d02ba157441", + "hash": "b77eff6eedcf028daba07632bd39a32168d1edbb4ccb926d07149516" }, { "title": "spend2.backtrace", @@ -36,8 +36,8 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "593409010000323232323232323232323232323232232232232533300d324a2601664a66601c66e1d2000300d001100115330104912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016323233001375866016601a66016601a0069000240084944c0040048894ccc0540084cdd2a400497ae0132325333012300300213374a90001980c00125eb804ccc01401400400cc06400cc05c008526163300d32533300d3370e9000000899191919299980b180c80109980919299980919b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0bcc0c80084cc0accc09005c8cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a66074921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900548cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09004c8cc0b0c94ccc0b0cdc3a400000226464646464646464a666072607800426606a64a66606a66e1d2000001132323232533303e304100213303a32533303a3370e900000089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20020011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a660789212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303300815330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033007330353302e00523232330383303100123232498dd6981e8011bae303b001498dd5981d0011bae3038001330353253330353370e90000008a99981d18198020a4c2a6606e9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260660082a66606a66e1d200400113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303300415330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033003330353253330353370e900000089919299981e181f8010a4c2a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033002153330353370e90010008a99981d18198010a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300149854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a001303a00230380013038002303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900448c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc09003c8c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc0900348cc0b0c94ccc0b0cdc3a400000226464a666066606c00426605e64a66605e66e1d20000011323253330363039002149854cc0cd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9001000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9002000899191919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f004153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178020a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00349854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c004606800260540042a66605866e1d200600113232323253330353038002149854cc0c92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a4010002264646464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a40140022a66606260540042930a998172491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e90060008a99981898150010a4c2a6605c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09002c8c8c8cc0b8c94ccc0b8cdc3a400000226464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e90010008991919191919299981c981e0010a4c2a6606c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046eb4c0e0004c0e0008dd6981b00098160018a9981824812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498dd6981800118170009981599299981599b87480000044c8c8c8c94ccc0d0c0dc0084cc0c0c94ccc0c0cdc3a4000002264646464a666072607800426606a64a66606a66e1d20000011533303a3033004149854cc0dd24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e004153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e003330303253330303370e9000000899191919299981c981e00109981a99299981a99b874800000454ccc0e8c0cc01052615330374911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e002153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e00149854cc0c5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303500130350023033001302900a153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630290093302b33024007232498dd70009981599812002919191981719299981719b87480000044c8c94ccc0d4c0e000852615330324901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c00260580062a66605c66e1d200200113232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0042a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900200089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178010a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900300089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec0084cc0d0c94ccc0d0cdc3a400000226464a666076607c0042930a9981c2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e900100089919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e9002000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303e0013034004153330363370e90010008991919191919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608400260840046eb4c100004c100008dd6981f000981a0020a9981c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046072002605e0042a66606266e1d2006001132323232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a4010002264646464a666074607a0042930a9981ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a40140022a66606c605e0042930a99819a491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e90060008a99981b18178010a4c2a6606692011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c00315330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498c0c0008c0b8004cc0accc09000c8c8c9263030002375c605c0026605664a66605666e1d20000011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606600260520042a6605a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302900149854cc0b1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630300013030002302e001302e002302c001302c00237586054002605400460500026050004604c002604c0046eb0c090004c090008c088004c088008c080004c080008dd6180f000980f0011bac301c001301c0023758603400260200082a6602892012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010003330123253330123370e900000089919299980c980e0010a4c2a6602c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260200042a66602466e1d2002001132325333019301c0021330153253330153370e9000000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604400260300082a660389212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e004603a00260260042a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900200089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c00852615330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e80098098010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900300089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c0084cc060c94ccc060cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e900100089919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e9002000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302200130180041533301a3370e90010008991919191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604c002604c0046eb4c090004c090008dd69811000980c0020a9980e24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e004603a00260260042a66602a66e1d2006001132323232533301e3021002149854cc06d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e0046eb8c074004c04c00854ccc054cdc3a4010002264646464a66603c60420042930a9980da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb8c074004c04c00854ccc054cdc3a40140022a66603460260042930a9980ba491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330153370e90060008a99980d18098010a4c2a6602e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330174912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a001301000215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301000149854cc04d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300b002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b00100132001533300a3370e900018069baa001149858c80054ccc020cdc3a400060166ea8004526163001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d101", - "hash": "9a7c5ebc9eea723cd88f8f4c03ec280cd588b8c0d2ad43fa0d5738b2" + "compiledCode": "59010801000032323232323232323232323232322225333009324a2601064a66601466e1d2000300d375400220022a660189212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001632323300137586601060146601060140069000240084944c0040048894ccc0440084cdd2a400497ae013232533300e300300213374a90001980a00125eb804ccc01401400400cc05400cc04c008526163001001222533300c00214984cc020c004c038008ccc00c00cc03c008004cc0040052000222233330063370e00200601a4666600a00a66e000112002300f001002002230063754002ae695cdab9c5573aaae7955cfaba05742ae89", + "hash": "78710872083cca24d904e891fc20a3cf198819bdb562870f590f7e85" } ], "definitions": { diff --git a/examples/acceptance_tests/script_context/plutus.json b/examples/acceptance_tests/script_context/plutus.json index 3bca61ba..e547f3c1 100644 --- a/examples/acceptance_tests/script_context/plutus.json +++ b/examples/acceptance_tests/script_context/plutus.json @@ -19,8 +19,8 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "5904620100003232323232323232323232323232222533300a323232300200132323232323233017333012323330133375e6601e6022002900b26126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff004a0944cc038c04002520004c0103d87a80004c0103d879800033017333012323253330143370e900100089919299980b19baf33012301400148001300126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff0013370e6eb4cc048c050005200248000528180d80098090010b1809000998071808004a4004980103d87a80004c0103d8798000330173330123232533301800116132533301900113232300c0013301b3330163375e6e98dd599809180a000a40046e98c0152080a8d6b9074c0103d87a80004c0103d87980003301b3330163375e660246028660246028002900024000980122d8799f581c11111111111111111111111111111111111111111111111111111111ff004c0103d87a80004c0103d87980003301b333016323253330183370e9000000899250301600214a2602c002660246028660246028002900024004980103d87a80004c0103d87980003301b3330163375e660246028002900219ba5480012f5c098103d87a80004c0103d87980003301b3330163375e660246028002900319ba5480092f5c098103d87a80004c0103d87980004bd70180d8010b180d8009bac3300f301100148010cc038c04002520004c0103d87a80004c0103d879800033017333012323375e6e98dd5998079808800a400c6e98c00920543300e30100094800130103d87a80004c0103d87980004bd7011999111919000999991111999805002001801000a5eb7bdb180010004020cccc8888cccc03001000c0080052f5bded8c000400200e9101004881000013001001222225333018004133019337606ea400cdd300125eb7bdb1804c8c8c8c94ccc060cdd79980280380099ba5480012f5c026603a66ec0dd48039ba6006008153330183371e00e00226603a66ec0dd48039ba600600313301d337606ea4004dd3001199998048048018038030029bae301900337566032004603800a603400844a66602066e400080044cdd2a400097ae0153330103371e004002266e9520024bd70099ba5480112f5c0600200244444a66602a00826602c66ec0dd48019ba80024bd6f7b630099191919299980a99baf330050070013374a900025eb804cc068cdd81ba9007375000c0102a66602a66e3c01c0044cc068cdd81ba9007375000c00626603466ec0dd48009ba800233333009009003007006005375c602c0066eb4c058008c064014c05c010c004004894ccc0400045288991929998070010998020020008a5030140023370e900118071baa3012001149858c0040048894ccc0300085261330093001300e002333003003300f00200133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae6d55ceaab9e5573eae815d0aba21", - "hash": "fb51238a4a27b7bbd065a1bac1c61cc6dde1f0b896af4097258fba0d" + "compiledCode": "5904560100003232323232323232323232323232222533300a323232300200132323232323233017333012323330133375e6601e6022002900b26126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff004a0944cc038c04002520004c0103d87a80004c0103d879800033017333012323253330143370e900100089919299980b19baf33012301400148001300126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff0013370e6eb4cc048c050005200248000528180d80098090010b1809000998071808004a4004980103d87a80004c0103d8798000330173330123232533301800116132533301900113232300c0013301b3330163375e6e98dd599809180a000a40046e98c0152080a8d6b9074c0103d87a80004c0103d87980003301b3330163375e660246028660246028002900024000980122d8799f581c11111111111111111111111111111111111111111111111111111111ff004c0103d87a80004c0103d87980003301b333016323253330183370e9000000899250301600214a2602c002660246028660246028002900024004980103d87a80004c0103d87980003301b3330163375e660246028002900219ba5480012f5c098103d87a80004c0103d87980003301b3330163375e660246028002900319ba5480092f5c098103d87a80004c0103d87980004bd70180d8010b180d8009bac3300f301100148010cc038c04002520004c0103d87a80004c0103d879800033017333012323375e6e98dd5998079808800a400c6e98c00920543300e30100094800130103d87a80004c0103d87980004bd701299980919b870014800052f5bded8c026464002666600697adef6c6048810000100533330054bd6f7b630245000010043001001222225333018004133019337606ea400cdd300125eb7bdb1804c8c8c8c94ccc060cdd79980280380099ba5480012f5c026603a66ec0dd48039ba6006008153330183371e00e00226603a66ec0dd48039ba600600313301d337606ea4004dd3001199998048048018038030029bae301900337566032004603800a603400844a66602066e400080044cdd2a400097ae0153330103371e004002266e9520024bd70099ba5480112f5c0600200244444a66602a00826602c66ec0dd48019ba80024bd6f7b630099191919299980a99baf330050070013374a900025eb804cc068cdd81ba9007375000c0102a66602a66e3c01c0044cc068cdd81ba9007375000c00626603466ec0dd48009ba800233333009009003007006005375c602c0066eb4c058008c064014c05c010c004004894ccc0400045288991929998070010998020020008a5030140023370e900118071baa3012001149858c0040048894ccc0300085261330093001300e002333003003300f00200133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae6d55ceaab9e5573eae815d0aba201", + "hash": "4a725c91164ea94103f0a261f46176a49ee7ae35bba4daea87dbece3" }, { "title": "deploy.spend", @@ -36,8 +36,8 @@ "$ref": "#/definitions/Data" } }, - "compiledCode": "5903df010000323232323232323232323232323232222533300a32323230020013301233300c32323375e0040026601c93260103d87980000054c103d87a80004c0103d87980003301233300c32323232323232330143253330143370e900000089919299980d980f0010a4c2a66030921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603800260240042a6602c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200153330133375e98106d8799f182aff0000113370e64600a00200690020a503019001300f3253330123370e9000180880088008a9980a24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163322330060020010013237280026ecd30106d8799f182aff00375666018601c66018601c00e900024028600200244a66602a0022900009919b8048008cc00c00c004c060004c0040048894ccc0500084cdd2a400497ae013232323253330133371e00a002266e952000330190024bd7009998038038018029bae30150033015002301800330160024c0103d87a80004c0103d87980003301233300c32533301200116132533301300116132323232533301232323009001330193330133375e6601e6022002900226126d87a9f5820fcaa61fb85676101d9e3398a484674e71c45c3fd41b492682f3b0054f4cf3273ff004c0103d87a80004c0103d8798000330193330133375e6601e60220029003260122d8799f581ce37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4ff004c0103d87a80004c0103d87980004bd700010991918048009980c99980999baf3300f30113300f30110014800120024c012ad8799fd8799fd8799f581c66666666666666666666666666666666666666666666666666666666ffffff004c0103d87a80004c0103d879800033019333013323253330153370e900200089925130130021630130013300f30110014801130103d87a80004c0103d87980004bd700008a503018004301700416301600130150013758660106014660106014006900024008980103d87a80004c0103d87980004bd7018008009129998088008a5113232533300e00213300400400114a0602a00466e1d2002300f375460260022930b180080091129998068010a4c2660126002601e00466600600660200040026600200290001111199980399b8700100300e233330050053370000890011808000801001118039baa001230053754002ae695cdab9c5573aaae7955cfaba05742ae881", - "hash": "8ed0a918d0bec1b8ddaaf305564c088cdc13ad7e7a547afa6c2b1309" + "compiledCode": "5903d2010000323232323232323232323232323232222533300a32323230020013301233300c323375e00c0026601a93260103d87980004c0103d87a80004c0103d87980003301233300c32323232323232330143253330143370e900000089919299980d980f0010a4c2a66030921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603800260240042a6602c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200153330133375e98106d8799f182aff0000113370e600800690020a503019001300f3253330123370e9000180880088008a9980a2492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001632330050020013237280026ecd300106d8799f182aff00375666018601c66018601c00e900024028600200244a66602a0022900009919b8048008cc00c00c004c060004c0040048894ccc0500084cdd2a400497ae013232323253330133371e00a002266e952000330190024bd7009998038038018029bae30150033015002301800330160024c0103d87a80004c0103d87980003301233300c325333012001161325333013001161323232325333012323008001330183330123375e6601c6020004900226126d87a9f5820fcaa61fb85676101d9e3398a484674e71c45c3fd41b492682f3b0054f4cf3273ff004c0103d87a80004c0103d8798000330183330123375e6601c60200049003260122d8799f581ce37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4ff004c0103d87a80004c0103d87980004bd7009918040009980c19980919baf3300e30103300e30100014800120024c12ad8799fd8799fd8799f581c66666666666666666666666666666666666666666666666666666666ffffff004c0103d87a80004c0103d879800033018333012323253330143370e900200089925130120021630120013300e30100014801130103d87a80004c0103d87980004bd700a50301800430170041630160013015001375866010601466010601400690002400898103d87a80004c0103d87980004bd7018008009129998088008a5113232533300e00213300400400114a0602a00466e1d2002300f375460260022930b180080091129998068010a4c2660126002601e00466600600660200040026600200290001111199980399b8700100300e233330050053370000890011808000801001118039baa001230053754002ae695cdab9c5573aaae7955cfaba05742ae881", + "hash": "3ab65cdb6fb775e03c617b70aa23455d7a4fe85390c6ff6b7fa034e6" }, { "title": "mint.mint", @@ -47,8 +47,8 @@ "$ref": "#/definitions/Data" } }, - "compiledCode": "5904820100003232323232323232323232323232322253330093232323001003300100122533301100114a226464a66601c0042660080080022940c054008cdc3a4004601e6ea8c04c004cc03cccc024c8c8c8c8c8c8c94ccc054c0600084c8c8cdc78018009bae3018001300e3253330113370e9000180800088008a99809a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300c300e0034800854cc0492401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602c00264646464600c002002002646400266446601000400200291100001375666014601866014601800290002401000a600200244a666024002297ae01323232323301737520026600c00c0066eb8c04c00cdd59809801180b001180a000980080091129998088010a5eb7bdb1804c8c8c8c94ccc040cdc7802800880189980b19bb037520026e98008ccc01c01c00c014dd718090019bab3012002301500330130024c103d87a80004c0103d87980003300f333009323232323322323232323253330143370e90010008b0991919b87001483c850dd6980e00098090011809000999119804001000800a44103666f6f0033223233223253330173370e90010008801099190009bab301f001301500330150020014bd6f7b6301991198058010008010009bab3300d300f00348020004dd7180b8009806a99980799b8748000c038008400854cc0452412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633009300b00548008cc024c02c01520003001001222533301300213374a900125eb804c8c8c8c94ccc048cdc7802800899ba548000cc060dd400125eb804ccc01c01c00c014dd7180a0019bad3014002301700330150023001001222533301100213374a900125eb804c8c8c8c94ccc040cdc7802800899ba548000cc058dd300125eb804ccc01c01c00c014dd718090019bab3012002301500330130024c103d87a80004c0103d87980003300f333009323232323322323253330113375e006002266e1cc8c018004dd5998069807998069807802240009009240042940c05c004c034c94ccc040cdc3a4000601e00220022a660249212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016332233007002001375666016601a66016601a00490002402466016601a004900100280318008009129998090008a400026466e0120023300300300130150013001001222533301100213374a900125eb804c8c8c8c94ccc040cdd7802800899ba548000cc0580092f5c0266600e00e00600a60240066024004602a0066026004980103d87a80004c0103d87980004bd700a4c2c6002002444a66601a00429309980498009807801199801801980800100099800800a40004444666600e66e1c00400c0388cccc014014cdc00022400460200020040044600e6ea80048c014dd5000ab9a5736ae7155ceaab9e5573eae815d0aba201", - "hash": "bfb5300db2017d35da65921fe782672da77ff7039831b23c59e57908" + "compiledCode": "59045f0100003232323232323232323232323232322253330093232323001003300100122533301100114a226464a66601c0042660080080022940c054008cdc3a4004601e6ea8c04c004cc03cccc024c8c8c8c8c8c94ccc050c05c0084c8c8cdc78018009bae3017001300d3253330103370e9000180780088008a9980924812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300b300d0074800854cc0452401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602a00264646006002640026600800291100375666012601666012601600a900024010600200244a666024002297ae01323232323301737520026600c00c0066eb8c04c00cdd59809801180b001180a000980080091129998088010a5eb7bdb1804c8c8c8c94ccc040cdc7802800880189980b19bb037520026e98008ccc01c01c00c014dd718090019bab3012002301500330130024c103d87a80004c0103d87980003300f333009323232323322323232323253330143370e90010008b0991919b87001483c850dd6980e0009809001180900099803000a44103666f6f003322323253330153370e90010008a5eb7bdb1804c8c8004dd5980e80098098011809800998048010009bab3300d300f00348020004dd7180b8009806a99980799b8748000c038008400854cc0452412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633009300b00548008cc024c02c01520003001001222533301300213374a900125eb804c8c8c8c94ccc048cdc7802800899ba548000cc060dd400125eb804ccc01c01c00c014dd7180a0019bad3014002301700330150023001001222533301100213374a900125eb804c8c8c8c94ccc040cdc7802800899ba548000cc058dd300125eb804ccc01c01c00c014dd718090019bab3012002301500330130024c103d87a80004c0103d87980003300f333009323232323232533300f3375e010002266e1cc8c010004dd5998059806998059806803a40009009240042940c054004c02cc94ccc038cdc3a4000601a00220022a660209212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016332233005002001375666012601666012601600a90002402466012601600a900118008009129998090008a400026466e0120023300300300130150013001001222533301100213374a900125eb804c8c8c8c94ccc040cdd7802800899ba548000cc0580092f5c0266600e00e00600a60240066024004602a0066026004980103d87a80004c0103d87980004bd700a4c2c6002002444a66601a00429309980498009807801199801801980800100099800800a40004444666600e66e1c00400c0388cccc014014cdc00022400460200020040044600e6ea80048c014dd5000ab9a5736ae7155ceaab9e5573eae815d0aba201", + "hash": "519f0e30b662f3e719cb7552847882705de4a13f0d8a60e492c2692c" }, { "title": "withdrawals.spend",