diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs index d147f28c..cc792c1c 100644 --- a/crates/aiken-lang/src/gen_uplc.rs +++ b/crates/aiken-lang/src/gen_uplc.rs @@ -4803,7 +4803,9 @@ impl<'a> CodeGenerator<'a> { let mut term = term; for (index, arg) in arguments.iter().enumerate().rev() { - if !(has_context && index == arguments.len() - 1) { + if !(has_context && index == arguments.len() - 1) + || arg.arg_name.get_variable_name().unwrap_or("_") != "_" + { let mut air_stack = AirStack::new(self.id_gen.clone()); let mut param_stack = air_stack.empty_with_scope(); diff --git a/examples/acceptance_tests/036/plutus.json b/examples/acceptance_tests/036/plutus.json index 356a8b79..56ec1327 100644 --- a/examples/acceptance_tests/036/plutus.json +++ b/examples/acceptance_tests/036/plutus.json @@ -21,8 +21,8 @@ } } ], - "compiledCode": "58e50100003232323232323232323232323222253330093232533300b3370e9000000899251300a00214a064601a6ea8004004c8c8cc004dd6198041805198041805001a40009000119baf33009300b00148000018c0040048894ccc0400084cdd2a400497ae013232533300e300300213374a90001980980125eb804ccc01401400400cc05000cc048008526163001001222533300b00214984cc020c004c034008ccc00c00cc038008004cc0040052000222233330063370e0020060184666600a00a66e000112002300e001002002230053754002ae695cdaab9d5573caae7d5d02ba157441", - "hash": "67da7558138818e07b4615b50e849829f0f5f9859a60cd817aff942e" + "compiledCode": "593504010000323232323232323232323232323232232232232533300d3232533300f3370e9000000899251300d00214a0601a0026464660026eb0cc02cc034cc02cc03400d2000480008cdd7998061807000a40000106002002444a66602a004266e9520024bd700991929998091801801099ba548000cc0600092f5c0266600a00a0020066032006602e0042930b1980699299980699b87480000044c8c8c8c94ccc058c0640084cc048c94ccc048cdc3a40000022646464646464646464646464646464646464646464646464a66605e60640042660566604802e46605864a66605866e1d2000001132323232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900548cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09004c8cc0b0c94ccc0b0cdc3a400000226464646464646464a666072607800426606a64a66606a66e1d2000001132323232533303e304100213303a32533303a3370e900000089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20020011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a660789212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303300815330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033007330353302e00523232330383303100123232498dd6981e8011bae303b001498dd5981d0011bae3038001330353253330353370e90000008a99981d18198020a4c2a6606e9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260660082a66606a66e1d200400113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303300415330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033003330353253330353370e900000089919299981e181f8010a4c2a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033002153330353370e90010008a99981d18198010a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300149854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a001303a00230380013038002303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900448c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc09003c8c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc0900348cc0b0c94ccc0b0cdc3a400000226464a666066606c00426605e64a66605e66e1d20000011323253330363039002149854cc0cd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9001000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9002000899191919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f004153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178020a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00349854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c004606800260540042a66605866e1d200600113232323253330353038002149854cc0c92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a4010002264646464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a40140022a66606260540042930a998172491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e90060008a99981898150010a4c2a6605c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09002c8c8c8cc0b8c94ccc0b8cdc3a400000226464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e90010008991919191919299981c981e0010a4c2a6606c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046eb4c0e0004c0e0008dd6981b00098160018a9981824812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498dd6981800118170009981599299981599b87480000044c8c8c8c94ccc0d0c0dc0084cc0c0c94ccc0c0cdc3a4000002264646464a666072607800426606a64a66606a66e1d20000011533303a3033004149854cc0dd24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e004153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e003330303253330303370e9000000899191919299981c981e00109981a99299981a99b874800000454ccc0e8c0cc01052615330374911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e002153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e00149854cc0c5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303500130350023033001302900a153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630290093302b33024007232498dd70009981599812002919191981719299981719b87480000044c8c94ccc0d4c0e000852615330324901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c00260580062a66605c66e1d200200113232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0042a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900200089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178010a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900300089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec0084cc0d0c94ccc0d0cdc3a400000226464a666076607c0042930a9981c2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e900100089919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e9002000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303e0013034004153330363370e90010008991919191919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608400260840046eb4c100004c100008dd6981f000981a0020a9981c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046072002605e0042a66606266e1d2006001132323232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a4010002264646464a666074607a0042930a9981ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a40140022a66606c605e0042930a99819a491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e90060008a99981b18178010a4c2a6606692011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c00315330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498c0c0008c0b8004cc0accc09000c8c8c9263030002375c605c0026605664a66605666e1d20000011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606600260520042a6605a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302900149854cc0b1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630300013030002302e001302e002302c001302c00237586054002605400460500026050004604c002604c0046eb0c090004c090008c088004c088008c080004c080008dd6180f000980f0011bac301c001301c0023758603400260200082a6602892012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010003330123253330123370e900000089919299980c980e0010a4c2a6602c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260200042a66602466e1d2002001132325333019301c0021330153253330153370e9000000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604400260300082a660389212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e004603a00260260042a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900200089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c00852615330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e80098098010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900300089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c0084cc060c94ccc060cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e900100089919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e9002000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302200130180041533301a3370e90010008991919191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604c002604c0046eb4c090004c090008dd69811000980c0020a9980e24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e004603a00260260042a66602a66e1d2006001132323232533301e3021002149854cc06d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e0046eb8c074004c04c00854ccc054cdc3a4010002264646464a66603c60420042930a9980da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb8c074004c04c00854ccc054cdc3a40140022a66603460260042930a9980ba491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330153370e90060008a99980d18098010a4c2a6602e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330174912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a001301000215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301000149854cc04d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300b002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b00100132001533300a3370e900018069baa001149858cc024c94ccc024cdc3a4000002264646464a666024602a00426601c64a66601c66e1d20000011323253330153018002149854cc0492401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602c00260180082a660209212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00349854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602600260260046022002600e0042a660169212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630070010013001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11", + "hash": "e1c765bbf9f7c12a7ae58b5070f13113238f54495d62c89553e493d9" }, { "title": "spend.spend", @@ -38,8 +38,8 @@ "$ref": "#/definitions/Data" } }, - "compiledCode": "59016101000032323232323232323232323232222533300932323233001003232323322323232323330150014a0944004c94ccc0600045288a5000133223233223253330183370e90010008801099190009bab301f001301700332301a375400200400297adef6c6033223300800200100200100100237566601c60200049001001a45050000000000003001001222533301400213374a900125eb804c8c8c8c94ccc050cdc7802800899ba548000cc064dd300125eb804ccc01c01c00c014dd7180a8019bab3015002301800330160023001001222533301100214a026464a66601e600600429444ccc01401400400cc05400cc04c008dd6198031804198031804000a400090020a4c2c6002002444a66601600429309980418009806801199801801980700100099800800a40004444666600c66e1c00400c0308cccc014014cdc000224004601c0020040044600a6ea80055cd2b9b5573aaae7955cfaba05742ae881", - "hash": "f8437a12347bff5782bd8ca695a3cce1e2375bb5e7358e3dd5163527" + "compiledCode": "59342201000032323232323232323232323232323222232533300b32323233001003232323232323330140014a09454ccc0600045288a50323253330143370e90010008a5eb7bdb1804c8c8004dd5980e0009809001180900099801000a4410500000000000037566601a601e00690011800800911299980b801099ba5480092f5c0264646464a66602c66e3c0140044cdd2a4000660386e980092f5c0266600e00e00600a6eb8c06000cdd5980c001180d801980c8011800800911299980a0010a50132325333011300300214a2266600a00a0020066030006602c0046eb0cc01cc024cc01cc024005200048010526163300b32533300b3370e9000000899191919299980a180b80109980819299980819b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0b4c0c00084cc0a4cc08805c8cc0a8c94ccc0a8cdc3a4000002264646464a666066606c00426605e64a66605e66e1d20000011323232325333038303b0021330343253330343370e900000089919299981d981f0010a4c2a660709201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607800260640082a6606c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200349854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60720026072004606e002605a0082a660629212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d0033302f32533302f3370e900000089919191919191919299981e181f80109981c19299981c19b87480000044c8c8c8c94ccc104c1100084cc0f4c94ccc0f4cdc3a400000226464a666088608e0042930a99820a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608a00260760082a66607a66e1d20020011323253330443047002149854cc1052401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608a00260760082a6607e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303b0033303d32533303d3370e900000089919299982218238010a4c2a66082921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163045001303b0021533303d3370e90010008a999821181d8010a4c2a6607e92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303b00149854cc0f9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163042001304200230400013036008153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630360073303833031005232323303b3303400123232498dd698200011bae303e001498dd5981e8011bae303b001330383253330383370e90000008a99981e981b0020a4c2a660749211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330383370e900100089919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6080002606c0082a66607066e1d200400113232533303f3042002149854cc0f12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630400013036004153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163036003330383253330383370e900000089919299981f98210010a4c2a66078921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630400013036002153330383370e90010008a99981e981b0010a4c2a6607492011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303600149854cc0e5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303d002303b001303b002303900130390023037001302d00215330314912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001303400230320013028002153302c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028001498cc0a4cc0880548cc0a8c94ccc0a8cdc3a4000002264646464a666066606c00426605e64a66605e66e1d20000011323232325333038303b0021330343253330343370e900000089919299981d981f0010a4c2a660709201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607800260640082a6606c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200349854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60720026072004606e002605a0082a660629212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d0033302f32533302f3370e900000089919191919191919299981e181f80109981c19299981c19b87480000044c8c8c8c94ccc104c1100084cc0f4c94ccc0f4cdc3a400000226464a666088608e0042930a99820a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608a00260760082a66607a66e1d20020011323253330443047002149854cc1052401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608a00260760082a6607e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303b0033303d32533303d3370e900000089919299982218238010a4c2a66082921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163045001303b0021533303d3370e90010008a999821181d8010a4c2a6607e92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303b00149854cc0f9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163042001304200230400013036008153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630360073303833031005232323303b3303400123232498dd698200011bae303e001498dd5981e8011bae303b001330383253330383370e90000008a99981e981b0020a4c2a660749211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330383370e900100089919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6080002606c0082a66607066e1d200400113232533303f3042002149854cc0f12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630400013036004153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163036003330383253330383370e900000089919299981f98210010a4c2a66078921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630400013036002153330383370e90010008a99981e981b0010a4c2a6607492011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303600149854cc0e5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303d002303b001303b002303900130390023037001302d00215330314912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001303400230320013028002153302c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028001498cc0a4cc08804c8cc0a8c94ccc0a8cdc3a400000226464646464646464a66606e607400426606664a66606666e1d2000001132323232533303c303f0021330383253330383370e900000089919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6080002606c0082a66607066e1d200200113232533303f3042002149854cc0f12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6080002606c0082a660749212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163036003330383253330383370e900000089919299981f98210010a4c2a66078921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630400013036002153330383370e90010008a99981e981b0010a4c2a6607492011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303a4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303600149854cc0e5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303d002303b001303100815330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163031007330333302c00523232330363302f00123232498dd6981d8011bae3039001498dd5981c0011bae3036001330333253330333370e90000008a99981c18188020a4c2a6606a9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330333370e900100089919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260620082a66606666e1d200400113232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303b001303100415330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163031003330333253330333370e900000089919299981d181e8010a4c2a6606e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303b0013031002153330333370e90010008a99981c18188010a4c2a6606a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303100149854cc0d1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630380013038002303600130360023034001303400230320013028002153302c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028001498cc0a4cc0880448c8c8cc0b0cc0940048c8c926375a60620046eb8c0bc005263756605c0046eb8c0b0004cc0a4cc08803c8c8c8cc0b0cc0940048c8c926375a60620046eb8c0bc005263756605c0046eb8c0b0004cc0a4cc0880348cc0a8c94ccc0a8cdc3a400000226464a666062606800426605a64a66605a66e1d20000011323253330343037002149854cc0c52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163035001302b0021533302d3370e90010008991919191919299981c181d8010a4c2a6606a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607200260720046eb4c0dc004c0dc008dd6981a80098158010a99817a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302b00149854cc0b9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303200130280021533302a3370e9001000899192999818981a00109981699299981699b87480000044c8c94ccc0d0c0dc00852615330314901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163035001302b0021533302d3370e90010008991919191919299981c181d8010a4c2a6606a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607200260720046eb4c0dc004c0dc008dd6981a80098158010a99817a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302b00149854cc0b9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303200130280021533302a3370e90020008991919192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0041533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168020a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00349854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60680026068004606400260500042a66605466e1d200600113232323253330333036002149854cc0c12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606800260680046eb8c0c8004c0a000854ccc0a8cdc3a4010002264646464a666066606c0042930a99818249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606800260680046eb8c0c8004c0a000854ccc0a8cdc3a40140022a66605e60500042930a998162491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302a3370e90060008a99981798140010a4c2a6605892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028001498cc0a4cc08802c8c8c8cc0b0c94ccc0b0cdc3a400000226464a666066606c0042930a99818249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0031533302c3370e90010008991919191919299981b981d0010a4c2a660689201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607000260700046eb4c0d8004c0d8008dd6981a00098150018a9981724812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a002498dd6981700118160009981499299981499b87480000044c8c8c8c94ccc0c8c0d40084cc0b8c94ccc0b8cdc3a4000002264646464a66606e607400426606664a66606666e1d2000001153330383031004149854cc0d524011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330333370e900100089919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303b0013031004153330333370e90020008a99981c18188020a4c2a6606a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303100349854cc0d1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181a1baa303800130380023036001302c004153303049012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c0033302e32533302e3370e9000000899191919299981b981d00109981999299981999b874800000454ccc0e0c0c401052615330354911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330333370e900100089919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303b0013031004153330333370e90020008a99981c18188020a4c2a6606a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303100349854cc0d1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181a1baa303800130380023036001302c002153303049012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c00149854cc0bd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303300130330023031001302700a153302b4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630270093302933022007232498dd70009981499811002919191981619299981619b87480000044c8c94ccc0ccc0d800852615330304901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606800260540062a66605866e1d2002001132325333033303600213302f32533302f3370e9000000899191919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607800260640082a6606c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200349854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60720026072004606e002605a0042a660629212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0031533302c3370e9002000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0031533302c3370e9003000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e40084cc0c8c94ccc0c8cdc3a400000226464a66607260780042930a9981b2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a0013030002153330323370e90010008991919191919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607c002607c0046eb4c0f0004c0f0008dd6981d00098180010a9981a24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303000149854cc0cd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e900100089919299981b181c80109981919299981919b87480000044c8c94ccc0e4c0f000852615330364901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a0013030002153330323370e90010008991919191919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607c002607c0046eb4c0f0004c0f0008dd6981d00098180010a9981a24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303000149854cc0cd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e9002000899191919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032004153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190020a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200349854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60720026072004606e002605a0042a66605e66e1d20060011323232325333038303b002149854cc0d52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607200260720046eb8c0dc004c0b400854ccc0bccdc3a4010002264646464a66607060760042930a9981aa49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607200260720046eb8c0dc004c0b400854ccc0bccdc3a40140022a666068605a0042930a99818a491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302f3370e90060008a99981a18168010a4c2a6606292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330314912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a003153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a002498c0b8008c0b0004cc0a4cc08800c8c8c926302e002375c60580026605264a66605266e1d20000011323253330303033002149854cc0b52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6062002604e0042a660569212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302700149854cc0a9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302e001302e002302c001302c002302a001302a002375860500026050004604c002604c004604800260480046eb0c088004c088008c080004c080008c078004c078008dd6180e000980e0011bac301a001301a00237586030002601c0082a6602492012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e003330103253330103370e900000089919299980b980d0010a4c2a66028921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6030002601c0042a66602066e1d2002001132325333017301a0021330133253330133370e9000000899191919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6040002602c0082a660349212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600349854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603a002603a004603600260220042a6602a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100149854cc051241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300e002153330103370e900200089919299980b980d00109980999299980999b87480000044c8c94ccc068c07400852615330174901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301b0013011002153330133370e90010008991919191919299980f18108010a4c2a660369201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb4c074004c074008dd6980d80098088010a9980aa4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100149854cc051241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300e002153330103370e900300089919299980b980d00109980999299980999b87480000044c8c94ccc068c0740084cc058c94ccc058cdc3a400000226464a66603a60400042930a9980d2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301e0013014002153330163370e90010008991919191919299981098120010a4c2a6603c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604400260440046eb4c080004c080008dd6980f000980a0010a9980c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400149854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301b0013011002153330133370e900100089919299980d180e80109980b19299980b19b87480000044c8c94ccc074c080008526153301a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301e0013014002153330163370e90010008991919191919299981098120010a4c2a6603c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604400260440046eb4c080004c080008dd6980f000980a0010a9980c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400149854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301b0013011002153330133370e9002000899191919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016004153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0020a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600349854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603a002603a004603600260220042a66602666e1d2006001132323232533301c301f002149854cc0652401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603a002603a0046eb8c06c004c04400854ccc04ccdc3a4010002264646464a666038603e0042930a9980ca49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603a002603a0046eb8c06c004c04400854ccc04ccdc3a40140022a66603060220042930a9980aa491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330133370e90060008a99980c18088010a4c2a6602a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330154912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100149854cc051241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300e00215330124912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00149854cc045241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163015001301500230130013009002153300d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630090010013001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11", + "hash": "28533dfe9a01925562f73da66b4d7c48e1d391fce0e7c6265b8f4a94" } ], "definitions": { diff --git a/examples/acceptance_tests/047/plutus.json b/examples/acceptance_tests/047/plutus.json index 3cc88a92..051b6880 100644 --- a/examples/acceptance_tests/047/plutus.json +++ b/examples/acceptance_tests/047/plutus.json @@ -19,8 +19,8 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "583b0100003232323232323222253330064a22930b180080091129998030010a4c26600a6002600e0046660060066010004002ae695cdaab9f5742ae89", - "hash": "e37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4" + "compiledCode": "58660100003232323232323232232232253330084a22930b19000a99980319b8748000c020dd50008a4c2c64002a66600866e1d2000300637540022930b180080091129998038010a4c26600a600260100046660060066012004002ae695cdaab9d5573eae855d11", + "hash": "81fc2314e93ebbe261c6bf0adf0ce9fb451ab7c9df160037c426fb91" } ], "definitions": { diff --git a/examples/acceptance_tests/071/plutus.json b/examples/acceptance_tests/071/plutus.json index 9762e8be..5a4ea4a1 100644 --- a/examples/acceptance_tests/071/plutus.json +++ b/examples/acceptance_tests/071/plutus.json @@ -19,8 +19,8 @@ "$ref": "#/definitions/spend~1PoolRedeemer" } }, - "compiledCode": "5902fe010000323232323232323232323232323232222533300a3232323232323253330113370e9000000899251300f007153330113370e9001000899191919299980a99b87480080044c8c8cccc8888c8c8c8c8c9289813000980e19299980f99b8748000c078004400454cc08524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330110070033024001301a32533301d3370e9000180e00088008a9980fa4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300e005001300c48901ff0000e001010005301d001301300214a060260026601e60220149001180c8009807803899191919299980a99b87480080044c8c8cccc8888c8c8c8c8c9289813000980e19299980f99b8748000c078004400454cc0852412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330110070033024001301a32533301d3370e9000180e00088008a9980fa4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300e005001300c48901ff0000e001010005301d001301300214a060260026601e60220149001180c80098078039807803119ba548000cc058cdd2a40046602c6ea40052f5c06602c66e9520024bd7025eb8088cc010dd6198061807198061807001240009002119baf3300d300f0014800000888cc00cdd6198059806998059806801240009000119baf3300c300e3300c300e0014800920000023001001222533301300213374a900125eb804c8c94ccc040c00c0084cdd2a40006602c00497ae013330050050010033017003301500233006300800248000526163001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11", - "hash": "885413c04fac6a01e826d2ad6cce54ba6c59b3c8408096a1acea5968" + "compiledCode": "593b51010000323232323232323232323232323232232232232533300d3232323232323253330143370e90000008992513012007153330143370e9001000899191919299980c19b87480080044c8c8c8c8c8c8c9289812800980d99299980f19b8748000c074004400454cc08124012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0110033023001301932533301c3370e9000180d80088008a9980f24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00f001300848901ff003020001301600214a0602c0026602460280149001180e0009809003899191919299980c19b87480080044c8c8c8c8c8c8c9289812800980d99299980f19b8748000c074004400454cc0812412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0110033023001301932533301c3370e9000180d80088008a9980f24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00f001300848901ff003020001301600214a0602c0026602460280149001180e00098090039809003119ba548000cc064cdd2a4004660326ea40052f5c06603266e9520024bd7025eb8088cc010dd6198079808998079808801240009002119baf3301030120014800000888cc00cdd6198071808198071808001240009000119baf3300f30113300f30110014800920000023001001222533301600213374a900125eb804c8c94ccc04cc00c0084cdd2a40006603200497ae01333005005001003301a003301800233009300b00348000526163300d32533300d3370e9000000899191919299980b180c80109980919299980919b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0bcc0c80084cc0accc09005c8cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a66074921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900548cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09004c8cc0b0c94ccc0b0cdc3a400000226464646464646464a666072607800426606a64a66606a66e1d2000001132323232533303e304100213303a32533303a3370e900000089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20020011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a660789212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303300815330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033007330353302e00523232330383303100123232498dd6981e8011bae303b001498dd5981d0011bae3038001330353253330353370e90000008a99981d18198020a4c2a6606e9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260660082a66606a66e1d200400113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303300415330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033003330353253330353370e900000089919299981e181f8010a4c2a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033002153330353370e90010008a99981d18198010a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300149854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a001303a00230380013038002303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900448c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc09003c8c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc0900348cc0b0c94ccc0b0cdc3a400000226464a666066606c00426605e64a66605e66e1d20000011323253330363039002149854cc0cd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9001000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9002000899191919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f004153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178020a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00349854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c004606800260540042a66605866e1d200600113232323253330353038002149854cc0c92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a4010002264646464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a40140022a66606260540042930a998172491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e90060008a99981898150010a4c2a6605c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09002c8c8c8cc0b8c94ccc0b8cdc3a400000226464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e90010008991919191919299981c981e0010a4c2a6606c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046eb4c0e0004c0e0008dd6981b00098160018a9981824812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498dd6981800118170009981599299981599b87480000044c8c8c8c94ccc0d0c0dc0084cc0c0c94ccc0c0cdc3a4000002264646464a666072607800426606a64a66606a66e1d20000011533303a3033004149854cc0dd24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e004153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e003330303253330303370e9000000899191919299981c981e00109981a99299981a99b874800000454ccc0e8c0cc01052615330374911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e002153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e00149854cc0c5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303500130350023033001302900a153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630290093302b33024007232498dd70009981599812002919191981719299981719b87480000044c8c94ccc0d4c0e000852615330324901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c00260580062a66605c66e1d200200113232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0042a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900200089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178010a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900300089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec0084cc0d0c94ccc0d0cdc3a400000226464a666076607c0042930a9981c2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e900100089919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e9002000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303e0013034004153330363370e90010008991919191919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608400260840046eb4c100004c100008dd6981f000981a0020a9981c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046072002605e0042a66606266e1d2006001132323232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a4010002264646464a666074607a0042930a9981ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a40140022a66606c605e0042930a99819a491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e90060008a99981b18178010a4c2a6606692011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c00315330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498c0c0008c0b8004cc0accc09000c8c8c9263030002375c605c0026605664a66605666e1d20000011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606600260520042a6605a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302900149854cc0b1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630300013030002302e001302e002302c001302c00237586054002605400460500026050004604c002604c0046eb0c090004c090008c088004c088008c080004c080008dd6180f000980f0011bac301c001301c0023758603400260200082a6602892012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010003330123253330123370e900000089919299980c980e0010a4c2a6602c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260200042a66602466e1d2002001132325333019301c0021330153253330153370e9000000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604400260300082a660389212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e004603a00260260042a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900200089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c00852615330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e80098098010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900300089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c0084cc060c94ccc060cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e900100089919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e9002000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302200130180041533301a3370e90010008991919191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604c002604c0046eb4c090004c090008dd69811000980c0020a9980e24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e004603a00260260042a66602a66e1d2006001132323232533301e3021002149854cc06d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e0046eb8c074004c04c00854ccc054cdc3a4010002264646464a66603c60420042930a9980da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb8c074004c04c00854ccc054cdc3a40140022a66603460260042930a9980ba491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330153370e90060008a99980d18098010a4c2a6602e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330174912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a001301000215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301000149854cc04d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300b002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b0010013300b32533300b3370e9000000899192999809180a80109980719299980719b87480000044c8c94ccc054c06000852615330124901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602c00260180042a66601c66e1d200200113232533301530180021330113253330113370e9000000899191919299980d180e80109980b19299980b19b87480000044c8c8c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604000260400046eb8c078004c05001054cc0612412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400349854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046032002601e0042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163016001300c0021533300e3370e900200089919299980a980c00109980899299980899b87480000044c8c8c8c94ccc068c0740084cc058c94ccc058cdc3a4000002264646464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604000260400046eb8c078004c05001054cc0612412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400349854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046032002601e0042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163016001300c00215330104912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00149854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630130013009002153300d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009001001330093253330093370e90000008991919191919299980a180b80109980819299980819b87480000044c8c8c8c94ccc064c07000852615330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260340046eb8c060004c03801854cc0492412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00549854cc045241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602a002602a0046eb4c04c004c04c008c044004c01c00854cc02d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630070010013001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11", + "hash": "70dd1b8e6764aab249c15c81e54b5d7708f3414d3c4028efc39d5947" } ], "definitions": { diff --git a/examples/acceptance_tests/076/lib/tests.ak b/examples/acceptance_tests/076/lib/tests.ak index 30ed483b..d9f77c56 100644 --- a/examples/acceptance_tests/076/lib/tests.ak +++ b/examples/acceptance_tests/076/lib/tests.ak @@ -1,11 +1,10 @@ test expect_positive() { let val = 5 - expect False = + expect True = val > 0 True } - // test expect_fail() { // let val = // 5 diff --git a/examples/acceptance_tests/077/plutus.json b/examples/acceptance_tests/077/plutus.json index 7090c395..dede0380 100644 --- a/examples/acceptance_tests/077/plutus.json +++ b/examples/acceptance_tests/077/plutus.json @@ -19,8 +19,8 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "59049f010000323232323232323232323232323232222533300a323232323232323232323232323232323232323232323375e6e98008dd300099980a1bac3301b301d3301b301d0164800120042253330213375e6603a603e00490000020998061bab3301d301f0024800800440052f5bded8c06660266eb0cc068c070cc068c070055200048000894ccc080cdd79980e180f1980e180f0012400490000018998059bab3301c301e3301c301e00248009200200110014bd6f7b6301980c980d800a40006046002604600260300026040002602c64a66603266e1d200030180011001153301b4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001632323300137586602c60306602c6030022900024000466ebccc05cc06400520000043001001222533302000213374a900125eb804c8c94ccc074c00c0084cdd2a40006604600497ae0133300500500100330240033022002301e00130143253330173370e9001180b00088008a9980ca492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633012301400d4800888c8004cccc8888cccc03001000c008004008004888c94ccc06cc94ccc0840045288a5000113374a900125eb804cdd2a4000660426e980052f5c066664444666601600800600400200400244464a66603c66e1c005200013374a900125eb804cdd2a4000660486ea00052f5c066e0000800401800c894ccc058cdc8001000899ba5480012f5c02a66602c66e3c0080044cdd2a400497ae013374a900225eb80c004004888894ccc070010400c4c8c8c8c8ccccc02402400cccccc02801c004008018014018014dd7180e8019bad301d0023020005301e0043001001222222533301b00513301c337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc068cdd79980280400099ba5480012f5c026604066ec0dd48041ba80070091533301a3371e01000226464a66603866e1d20000011323233024337606ea4030dd40008039bad3024001301a0021005301a001333006008007002133020337606ea4004dd40011999998050050018040038030029bae301c003375a6038004603e00c603a00a600200244444a6660300082006264646464666660120120066666601400e00200400c00a00c00a6eb8c06400cdd5980c801180e002980d0021800800911111299980b80289980c19bb037520086e9800d2f5bded8c0264646464a66602c66ebccc014020004cdd2a400097ae013301c337606ea4020dd30038048a99980b19b8f0080011323253330183370e9000000899191981019bb037520186e9800401cdd59810000980b0010802980b00099980300400380109980e19bb037520026e98008cccccc02802800c02001c018014dd7180c0019bab3018002301b006301900530010012222533301300310011323233004002333300600600100400330170043015003149858c0040048894ccc0340085261330093001300f002333003003301000200133001001480008888cccc01ccdc38008018071199980280299b8000448008c0400040080088c01cdd5000918029baa0015734ae6d5ce2ab9d5573caae7d5d02ba15745", - "hash": "88abe485cde26d7ab6bbbf8cfdc8b628f57621dd3c236a35920bc7d8" + "compiledCode": "593785010000323232323232323232323232323232232232232533300d323232323232323232323232323232323232323232323375e6e98008dd300099980a1bac3301e30203301e30200164800120042253330243375e66040604400490000020998061bab3302030220024800800440052f5bded8c06660266eb0cc074c07ccc074c07c055200048000894ccc08ccdd79980f98109980f98108012400490000018998059bab3301f30213301f302100248009200200110014bd6f7b6301980e180f000a4000604c002604c00260360026046002603264a66603866e1d2000301b0011001153301e4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163232330013758660326036660326036022900024000466ebccc068c07000520000043001001222533302300213374a900125eb804c8c94ccc080c00c0084cdd2a40006604c00497ae01333005005001003302700330250023021001301732533301a3370e9001180c80088008a9980e2492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633015301700d4800888c8004cccc020008004888c94ccc0794ccc08c0045288a5013374a900125eb804cdd2a4000660486e980052f5c0666600e00400244464a66604266e1c005200013374a900125eb804cdd2a40006604e6ea00052f5c066e0000800401800c894ccc064cdc8001000899ba5480012f5c02a66603266e3c0080044cdd2a400497ae013374a900225eb80c004004888894ccc07c010400c4c8c8c8c8ccccc02402400cccccc02801c004008018014018014dd718100019bad3020002302300530210043001001222222533301e00513301f337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc074cdd79980280400099ba5480012f5c026604666ec0dd48041ba80070091533301d3371e01000226464a66603e66e1d20000011323233027337606ea4030dd40008039bad3027001301d0021005301d001333006008007002133023337606ea4004dd40011999998050050018040038030029bae301f003375a603e004604400c604000a600200244444a6660360082006264646464666660120120066666601400e00200400c00a00c00a6eb8c07000cdd5980e001180f802980e8021800800911111299980d00289980d99bb037520086e9800d2f5bded8c0264646464a66603266ebccc014020004cdd2a400097ae013301f337606ea4020dd30038048a99980c99b8f00800113232533301b3370e9000000899191981199bb037520186e9800401cdd59811800980c8010802980c80099980300400380109980f99bb037520026e98008cccccc02802800c02001c018014dd7180d8019bab301b002301e006301c005300100122225333016003100113232330040023333006006001004003301a0043018003149858cc034c94ccc034cdc3a4000002264646464a66602c603200426602464a66602466e1d20000011323232323232323232323232323232323232323232323232533302f303200213302b3302401723302c32533302c3370e9000000899191919299981a981c00109981899299981899b87480000044c8c8c8c94ccc0e8c0f40084cc0d8c94ccc0d8cdc3a400000226464a66607a60800042930a9981d2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900548cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09004c8cc0b0c94ccc0b0cdc3a400000226464646464646464a666072607800426606a64a66606a66e1d2000001132323232533303e304100213303a32533303a3370e900000089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20020011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a660789212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303300815330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033007330353302e00523232330383303100123232498dd6981e8011bae303b001498dd5981d0011bae3038001330353253330353370e90000008a99981d18198020a4c2a6606e9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260660082a66606a66e1d200400113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303300415330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033003330353253330353370e900000089919299981e181f8010a4c2a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033002153330353370e90010008a99981d18198010a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300149854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a001303a00230380013038002303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900448c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc09003c8c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc0900348cc0b0c94ccc0b0cdc3a400000226464a666066606c00426605e64a66605e66e1d20000011323253330363039002149854cc0cd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9001000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9002000899191919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f004153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178020a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00349854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c004606800260540042a66605866e1d200600113232323253330353038002149854cc0c92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a4010002264646464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a40140022a66606260540042930a998172491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e90060008a99981898150010a4c2a6605c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09002c8c8c8cc0b8c94ccc0b8cdc3a400000226464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e90010008991919191919299981c981e0010a4c2a6606c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046eb4c0e0004c0e0008dd6981b00098160018a9981824812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498dd6981800118170009981599299981599b87480000044c8c8c8c94ccc0d0c0dc0084cc0c0c94ccc0c0cdc3a4000002264646464a666072607800426606a64a66606a66e1d20000011533303a3033004149854cc0dd24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e004153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e003330303253330303370e9000000899191919299981c981e00109981a99299981a99b874800000454ccc0e8c0cc01052615330374911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e002153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e00149854cc0c5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303500130350023033001302900a153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630290093302b33024007232498dd70009981599812002919191981719299981719b87480000044c8c94ccc0d4c0e000852615330324901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c00260580062a66605c66e1d200200113232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0042a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900200089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178010a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900300089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec0084cc0d0c94ccc0d0cdc3a400000226464a666076607c0042930a9981c2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e900100089919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e9002000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303e0013034004153330363370e90010008991919191919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608400260840046eb4c100004c100008dd6981f000981a0020a9981c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046072002605e0042a66606266e1d2006001132323232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a4010002264646464a666074607a0042930a9981ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a40140022a66606c605e0042930a99819a491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e90060008a99981b18178010a4c2a6606692011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c00315330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498c0c0008c0b8004cc0accc09000c8c8c9263030002375c605c0026605664a66605666e1d20000011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606600260520042a6605a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302900149854cc0b1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630300013030002302e001302e002302c001302c00237586054002605400460500026050004604c002604c0046eb0c090004c090008c088004c088008c080004c080008dd6180f000980f0011bac301c001301c0023758603400260200082a6602892012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010003330123253330123370e900000089919299980c980e0010a4c2a6602c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260200042a66602466e1d2002001132325333019301c0021330153253330153370e9000000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604400260300082a660389212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e004603a00260260042a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900200089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c00852615330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e80098098010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900300089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c0084cc060c94ccc060cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e900100089919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e9002000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302200130180041533301a3370e90010008991919191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604c002604c0046eb4c090004c090008dd69811000980c0020a9980e24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e004603a00260260042a66602a66e1d2006001132323232533301e3021002149854cc06d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e0046eb8c074004c04c00854ccc054cdc3a4010002264646464a66603c60420042930a9980da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb8c074004c04c00854ccc054cdc3a40140022a66603460260042930a9980ba491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330153370e90060008a99980d18098010a4c2a6602e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330174912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a001301000215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301000149854cc04d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300b002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b00100132001533300a3370e900018069baa001149858c80054ccc020cdc3a400060166ea8004526163001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d101", + "hash": "2eb0c337088389ac32356b13cb7c88925f5c109e76a2ab66b55fb0c3" }, { "title": "spend2.backtrace", @@ -36,8 +36,8 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "59010b01000032323232323232323232323232322225333009324a2601064a66601466e1d200032300e375400200220022a6601892012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001632323300137586601060146601060140069000240084944c0040048894ccc0440084cdd2a400497ae013232533300e300300213374a90001980a00125eb804ccc01401400400cc05400cc04c008526163001001222533300c00214984cc020c004c038008ccc00c00cc03c008004cc0040052000222233330063370e00200601a4666600a00a66e000112002300f001002002230063754002ae695cdab9c5573aaae7955cfaba05742ae89", - "hash": "ce1eb9a3b54205ca539e1b3260a1f2c3b71512621d3ab6ccf53edf85" + "compiledCode": "593409010000323232323232323232323232323232232232232533300d324a2601664a66601c66e1d2000300d001100115330104912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016323233001375866016601a66016601a0069000240084944c0040048894ccc0540084cdd2a400497ae0132325333012300300213374a90001980c00125eb804ccc01401400400cc06400cc05c008526163300d32533300d3370e9000000899191919299980b180c80109980919299980919b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0bcc0c80084cc0accc09005c8cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a66074921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900548cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09004c8cc0b0c94ccc0b0cdc3a400000226464646464646464a666072607800426606a64a66606a66e1d2000001132323232533303e304100213303a32533303a3370e900000089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20020011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a660789212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303300815330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033007330353302e00523232330383303100123232498dd6981e8011bae303b001498dd5981d0011bae3038001330353253330353370e90000008a99981d18198020a4c2a6606e9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260660082a66606a66e1d200400113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303300415330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033003330353253330353370e900000089919299981e181f8010a4c2a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033002153330353370e90010008a99981d18198010a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300149854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a001303a00230380013038002303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900448c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc09003c8c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc0900348cc0b0c94ccc0b0cdc3a400000226464a666066606c00426605e64a66605e66e1d20000011323253330363039002149854cc0cd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9001000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9002000899191919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f004153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178020a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00349854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c004606800260540042a66605866e1d200600113232323253330353038002149854cc0c92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a4010002264646464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a40140022a66606260540042930a998172491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e90060008a99981898150010a4c2a6605c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09002c8c8c8cc0b8c94ccc0b8cdc3a400000226464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e90010008991919191919299981c981e0010a4c2a6606c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046eb4c0e0004c0e0008dd6981b00098160018a9981824812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498dd6981800118170009981599299981599b87480000044c8c8c8c94ccc0d0c0dc0084cc0c0c94ccc0c0cdc3a4000002264646464a666072607800426606a64a66606a66e1d20000011533303a3033004149854cc0dd24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e004153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e003330303253330303370e9000000899191919299981c981e00109981a99299981a99b874800000454ccc0e8c0cc01052615330374911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e002153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e00149854cc0c5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303500130350023033001302900a153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630290093302b33024007232498dd70009981599812002919191981719299981719b87480000044c8c94ccc0d4c0e000852615330324901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c00260580062a66605c66e1d200200113232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0042a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900200089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178010a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900300089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec0084cc0d0c94ccc0d0cdc3a400000226464a666076607c0042930a9981c2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e900100089919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e9002000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303e0013034004153330363370e90010008991919191919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608400260840046eb4c100004c100008dd6981f000981a0020a9981c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046072002605e0042a66606266e1d2006001132323232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a4010002264646464a666074607a0042930a9981ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a40140022a66606c605e0042930a99819a491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e90060008a99981b18178010a4c2a6606692011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c00315330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498c0c0008c0b8004cc0accc09000c8c8c9263030002375c605c0026605664a66605666e1d20000011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606600260520042a6605a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302900149854cc0b1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630300013030002302e001302e002302c001302c00237586054002605400460500026050004604c002604c0046eb0c090004c090008c088004c088008c080004c080008dd6180f000980f0011bac301c001301c0023758603400260200082a6602892012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010003330123253330123370e900000089919299980c980e0010a4c2a6602c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260200042a66602466e1d2002001132325333019301c0021330153253330153370e9000000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604400260300082a660389212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e004603a00260260042a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900200089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c00852615330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e80098098010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900300089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c0084cc060c94ccc060cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e900100089919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e9002000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302200130180041533301a3370e90010008991919191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604c002604c0046eb4c090004c090008dd69811000980c0020a9980e24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e004603a00260260042a66602a66e1d2006001132323232533301e3021002149854cc06d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e0046eb8c074004c04c00854ccc054cdc3a4010002264646464a66603c60420042930a9980da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb8c074004c04c00854ccc054cdc3a40140022a66603460260042930a9980ba491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330153370e90060008a99980d18098010a4c2a6602e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330174912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a001301000215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301000149854cc04d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300b002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b00100132001533300a3370e900018069baa001149858c80054ccc020cdc3a400060166ea8004526163001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d101", + "hash": "9a7c5ebc9eea723cd88f8f4c03ec280cd588b8c0d2ad43fa0d5738b2" } ], "definitions": { diff --git a/examples/acceptance_tests/079/plutus.json b/examples/acceptance_tests/079/plutus.json index 9c0a3e46..e8ba28d5 100644 --- a/examples/acceptance_tests/079/plutus.json +++ b/examples/acceptance_tests/079/plutus.json @@ -19,8 +19,8 @@ "$ref": "#/definitions/RedeemerWrapper$Int" } }, - "compiledCode": "58a901000032323232323232323232322253330073370e90001918051baa0010011332253330093370e004902a0a4c2c6eb40080044cc88c894ccc02ccdc399b800040024815052616375a0026eb4008c030c8c02cdd5000800980080091129998050010a4c26600e6002601600466600600660180040026600200290001111199980299b8700100300a2333300500533700008900118060008010012b9a5736aae7555cf2ab9f5742ae89", - "hash": "d6fb9dd55ea4830d0cb22eab55b4c9b15520da39ea32dafa134e77d7" + "compiledCode": "58ac01000032323232323232323232322253330073370e900018049baa0011332253330093370e004902a0a4c2c640026eb40080044cc88c894ccc02ccdc399b80004002481505261632001375a002640026eb4008c030c028dd5000980080091129998050010a4c26600e6002601600466600600660180040026600200290001111199980299b8700100300a2333300500533700008900118060008010012b9a5736aae7555cf2ab9f5742ae881", + "hash": "4a8440eab49b066cfebe09e19a400e7dfe87d25ed8e8084031129702" }, { "title": "foo.mint", @@ -30,8 +30,8 @@ "$ref": "#/definitions/Int" } }, - "compiledCode": "58a901000032323232323232323232322253330073370e90001918051baa0010011332253330093370e004902a0a4c2c6eb40080044cc88c894ccc02ccdc399b800040024815052616375a0026eb4008c030c8c02cdd5000800980080091129998050010a4c26600e6002601600466600600660180040026600200290001111199980299b8700100300a2333300500533700008900118060008010012b9a5736aae7555cf2ab9f5742ae89", - "hash": "d6fb9dd55ea4830d0cb22eab55b4c9b15520da39ea32dafa134e77d7" + "compiledCode": "58ac01000032323232323232323232322253330073370e900018049baa0011332253330093370e004902a0a4c2c640026eb40080044cc88c894ccc02ccdc399b80004002481505261632001375a002640026eb4008c030c028dd5000980080091129998050010a4c26600e6002601600466600600660180040026600200290001111199980299b8700100300a2333300500533700008900118060008010012b9a5736aae7555cf2ab9f5742ae881", + "hash": "4a8440eab49b066cfebe09e19a400e7dfe87d25ed8e8084031129702" } ], "definitions": {