{
  "preamble": {
    "title": "aiken-lang/acceptance_test_071",
    "version": "0.0.0",
    "plutusVersion": "v2"
  },
  "validators": [
    {
      "title": "spend.pool_contract",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/spend~1PoolDatum"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/spend~1PoolRedeemer"
        }
      },
      "compiledCode": "593b51010000323232323232323232323232323232232232232533300d3232323232323253330143370e90000008992513012007153330143370e9001000899191919299980c19b87480080044c8c8c8c8c8c8c9289812800980d99299980f19b8748000c074004400454cc08124012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0110033023001301932533301c3370e9000180d80088008a9980f24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00f001300848901ff003020001301600214a0602c0026602460280149001180e0009809003899191919299980c19b87480080044c8c8c8c8c8c8c9289812800980d99299980f19b8748000c074004400454cc0812412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0110033023001301932533301c3370e9000180d80088008a9980f24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00f001300848901ff003020001301600214a0602c0026602460280149001180e00098090039809003119ba548000cc064cdd2a4004660326ea40052f5c06603266e9520024bd7025eb8088cc010dd6198079808998079808801240009002119baf3301030120014800000888cc00cdd6198071808198071808001240009000119baf3300f30113300f30110014800920000023001001222533301600213374a900125eb804c8c94ccc04cc00c0084cdd2a40006603200497ae01333005005001003301a003301800233009300b00348000526163300d32533300d3370e9000000899191919299980b180c80109980919299980919b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0bcc0c80084cc0accc09005c8cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a66074921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900548cc0b0c94ccc0b0cdc3a4000002264646464a66606a607000426606264a66606266e1d2000001132323232533303a303d0021330363253330363370e900000089919299981e98200010a4c2a660749201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0082a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330313253330313370e900000089919191919191919299981f182080109981d19299981d19b87480000044c8c8c8c94ccc10cc1180084cc0fcc94ccc0fccdc3a400000226464a66608c60920042930a99821a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a66607e66e1d20020011323253330463049002149854cc10d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608e002607a0082a660829212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d0033303f32533303f3370e900000089919299982318248010a4c2a66086921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303d0021533303f3370e90010008a999822181e8010a4c2a6608292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330414912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303d00149854cc101241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001304400230420013038008153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380073303a33033005232323303d3303600123232498dd698210011bae3040001498dd5981f8011bae303d0013303a32533303a3370e90000008a99981f981c0020a4c2a660789211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533303a3370e900100089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20040011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630420013038004153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303d002303b001303b0023039001302f00215330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09004c8cc0b0c94ccc0b0cdc3a400000226464646464646464a666072607800426606a64a66606a66e1d2000001132323232533303e304100213303a32533303a3370e900000089919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a66607466e1d20020011323253330413044002149854cc0f92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608400260700082a660789212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630380033303a32533303a3370e900000089919299982098220010a4c2a6607c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304200130380021533303a3370e90010008a99981f981c0010a4c2a6607892011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153303c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303800149854cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f001303f002303d001303300815330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033007330353302e00523232330383303100123232498dd6981e8011bae303b001498dd5981d0011bae3038001330353253330353370e90000008a99981d18198020a4c2a6606e9211d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260660082a66606a66e1d200400113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303300415330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033003330353253330353370e900000089919299981e181f8010a4c2a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033002153330353370e90010008a99981d18198010a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300149854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a001303a00230380013038002303600130360023034001302a002153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc0900448c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc09003c8c8c8cc0b8cc09c0048c8c926375a60660046eb8c0c400526375660600046eb8c0b8004cc0accc0900348cc0b0c94ccc0b0cdc3a400000226464a666066606c00426605e64a66605e66e1d20000011323253330363039002149854cc0cd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9001000899192999819981b00109981799299981799b87480000044c8c94ccc0d8c0e400852615330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001302d0021533302f3370e90010008991919191919299981d181e8010a4c2a6606e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb4c0e4004c0e4008dd6981b80098168010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d00149854cc0c1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163034001302a0021533302c3370e9002000899191919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f004153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178020a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00349854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c004606800260540042a66605866e1d200600113232323253330353038002149854cc0c92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a4010002264646464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a606c002606c0046eb8c0d0004c0a800854ccc0b0cdc3a40140022a66606260540042930a998172491d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e90060008a99981898150010a4c2a6605c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a001498cc0accc09002c8c8c8cc0b8c94ccc0b8cdc3a400000226464a66606a60700042930a99819249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e90010008991919191919299981c981e0010a4c2a6606c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046eb4c0e0004c0e0008dd6981b00098160018a9981824812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498dd6981800118170009981599299981599b87480000044c8c8c8c94ccc0d0c0dc0084cc0c0c94ccc0c0cdc3a4000002264646464a666072607800426606a64a66606a66e1d20000011533303a3033004149854cc0dd24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e004153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e003330303253330303370e9000000899191919299981c981e00109981a99299981a99b874800000454ccc0e8c0cc01052615330374911d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013033004153330353370e90020008a99981d18198020a4c2a6606e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300349854cc0d9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163370e9001181b1baa303a001303a0023038001302e002153303249012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e00149854cc0c5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303500130350023033001302900a153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630290093302b33024007232498dd70009981599812002919191981719299981719b87480000044c8c94ccc0d4c0e000852615330324901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606c00260580062a66605c66e1d200200113232533303530380021330313253330313370e9000000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607c00260680082a660709212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046072002605e0042a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900200089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec00852615330354901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e90010008991919191919299981e181f8010a4c2a660729201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0ec008dd6981c80098178010a99819a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c0031533302e3370e900300089919299981a981c00109981899299981899b87480000044c8c94ccc0e0c0ec0084cc0d0c94ccc0d0cdc3a400000226464a666076607c0042930a9981c2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e900100089919299981c181d80109981a19299981a19b87480000044c8c94ccc0ecc0f800852615330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013032002153330343370e90010008991919191919299981f98210010a4c2a660789201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e00098190010a9981b24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001302f002153330313370e9002000899191919299981d181e80109981b19299981b19b87480000044c8c94ccc0f4c100008526153303a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303e0013034004153330363370e90010008991919191919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608400260840046eb4c100004c100008dd6981f000981a0020a9981c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400349854cc0dd241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046072002605e0042a66606266e1d2006001132323232533303a303d002149854cc0dd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a4010002264646464a666074607a0042930a9981ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607600260760046eb8c0e4004c0bc00854ccc0c4cdc3a40140022a66606c605e0042930a99819a491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e90060008a99981b18178010a4c2a6606692011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00149854cc0c9241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163036001302c00315330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c002498c0c0008c0b8004cc0accc09000c8c8c9263030002375c605c0026605664a66605666e1d20000011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606600260520042a6605a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302900149854cc0b1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630300013030002302e001302e002302c001302c00237586054002605400460500026050004604c002604c0046eb0c090004c090008c088004c088008c080004c080008dd6180f000980f0011bac301c001301c0023758603400260200082a6602892012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010003330123253330123370e900000089919299980c980e0010a4c2a6602c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260200042a66602466e1d2002001132325333019301c0021330153253330153370e9000000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604400260300082a660389212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e004603a00260260042a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900200089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c00852615330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e80098098010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013010002153330123370e900300089919299980c980e00109980a99299980a99b87480000044c8c94ccc070c07c0084cc060c94ccc060cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e900100089919299980e180f80109980c19299980c19b87480000044c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013016002153330183370e90010008991919191919299981198130010a4c2a660409201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604800260480046eb4c088004c088008dd69810000980b0010a9980d24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301600149854cc065241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013013002153330153370e9002000899191919299980f181080109980d19299980d19b87480000044c8c94ccc084c090008526153301e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302200130180041533301a3370e90010008991919191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604c002604c0046eb4c090004c090008dd69811000980c0020a9980e24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301800349854cc06d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e004603a00260260042a66602a66e1d2006001132323232533301e3021002149854cc06d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603e002603e0046eb8c074004c04c00854ccc054cdc3a4010002264646464a66603c60420042930a9980da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb8c074004c04c00854ccc054cdc3a40140022a66603460260042930a9980ba491d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330153370e90060008a99980d18098010a4c2a6602e92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330174912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300149854cc059241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a001301000215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301000149854cc04d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300b002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b0010013300b32533300b3370e9000000899192999809180a80109980719299980719b87480000044c8c94ccc054c06000852615330124901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602c00260180042a66601c66e1d200200113232533301530180021330113253330113370e9000000899191919299980d180e80109980b19299980b19b87480000044c8c8c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604000260400046eb8c078004c05001054cc0612412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400349854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046032002601e0042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163016001300c0021533300e3370e900200089919299980a980c00109980899299980899b87480000044c8c8c8c94ccc068c0740084cc058c94ccc058cdc3a4000002264646464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604000260400046eb8c078004c05001054cc0612412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400349854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046032002601e0042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163016001300c00215330104912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00149854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630130013009002153300d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009001001330093253330093370e90000008991919191919299980a180b80109980819299980819b87480000044c8c8c8c94ccc064c07000852615330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260340046eb8c060004c03801854cc0492412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00549854cc045241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602a002602a0046eb4c04c004c04c008c044004c01c00854cc02d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630070010013001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11",
      "hash": "70dd1b8e6764aab249c15c81e54b5d7708f3414d3c4028efc39d5947"
    }
  ],
  "definitions": {
    "ByteArray": {
      "dataType": "bytes"
    },
    "Int": {
      "dataType": "integer"
    },
    "spend/CurrencySymbol": {
      "title": "CurrencySymbol",
      "anyOf": [
        {
          "title": "CurrencySymbol",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "policy_id",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "asset_name",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "spend/PoolBorrowRedeemer": {
      "title": "PoolBorrowRedeemer",
      "anyOf": [
        {
          "title": "PoolBorrowRedeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "input_cs",
              "$ref": "#/definitions/spend~1CurrencySymbol"
            },
            {
              "title": "input_amount",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "spend/PoolDatum": {
      "title": "PoolDatum",
      "anyOf": [
        {
          "title": "PoolDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "currency_symbol",
              "$ref": "#/definitions/spend~1CurrencySymbol"
            },
            {
              "title": "balance",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "lent_out",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "spend/PoolDepositRedeemer": {
      "title": "PoolDepositRedeemer",
      "anyOf": [
        {
          "title": "PoolDepositRedeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "input_cs",
              "$ref": "#/definitions/spend~1CurrencySymbol"
            },
            {
              "title": "input_amount",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "spend/PoolRedeemer": {
      "title": "PoolRedeemer",
      "anyOf": [
        {
          "title": "PoolRedeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "action",
              "$ref": "#/definitions/spend~1PoolRedeemerType"
            }
          ]
        }
      ]
    },
    "spend/PoolRedeemerType": {
      "title": "PoolRedeemerType",
      "anyOf": [
        {
          "title": "PoolWithdraw",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "PoolDeposit",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/spend~1PoolDepositRedeemer"
            }
          ]
        },
        {
          "title": "PoolBorrow",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "$ref": "#/definitions/spend~1PoolBorrowRedeemer"
            }
          ]
        }
      ]
    }
  }
}