{
  "preamble": {
    "title": "aiken-lang/acceptance_test_071",
    "version": "0.0.0",
    "plutusVersion": "v2"
  },
  "validators": [
    {
      "title": "spend.pool_contract",
      "datum": {
        "title": "PoolDatum",
        "anyOf": [
          {
            "title": "PoolDatum",
            "dataType": "constructor",
            "index": 0,
            "fields": [
              {
                "title": "currency_symbol",
                "anyOf": [
                  {
                    "title": "CurrencySymbol",
                    "dataType": "constructor",
                    "index": 0,
                    "fields": [
                      {
                        "title": "policy_id",
                        "dataType": "bytes"
                      },
                      {
                        "title": "asset_name",
                        "dataType": "bytes"
                      }
                    ]
                  }
                ]
              },
              {
                "title": "balance",
                "dataType": "integer"
              },
              {
                "title": "lent_out",
                "dataType": "integer"
              }
            ]
          }
        ]
      },
      "redeemer": {
        "title": "PoolRedeemer",
        "anyOf": [
          {
            "title": "PoolRedeemer",
            "dataType": "constructor",
            "index": 0,
            "fields": [
              {
                "title": "action",
                "anyOf": [
                  {
                    "title": "PoolWithdraw",
                    "dataType": "constructor",
                    "index": 0,
                    "fields": [
                      {
                        "dataType": "integer"
                      }
                    ]
                  },
                  {
                    "title": "PoolDeposit",
                    "dataType": "constructor",
                    "index": 1,
                    "fields": [
                      {
                        "title": "PoolDepositRedeemer",
                        "anyOf": [
                          {
                            "title": "PoolDepositRedeemer",
                            "dataType": "constructor",
                            "index": 0,
                            "fields": [
                              {
                                "title": "input_cs",
                                "anyOf": [
                                  {
                                    "title": "CurrencySymbol",
                                    "dataType": "constructor",
                                    "index": 0,
                                    "fields": [
                                      {
                                        "title": "policy_id",
                                        "dataType": "bytes"
                                      },
                                      {
                                        "title": "asset_name",
                                        "dataType": "bytes"
                                      }
                                    ]
                                  }
                                ]
                              },
                              {
                                "title": "input_amount",
                                "dataType": "integer"
                              }
                            ]
                          }
                        ]
                      }
                    ]
                  },
                  {
                    "title": "PoolBorrow",
                    "dataType": "constructor",
                    "index": 2,
                    "fields": [
                      {
                        "title": "PoolBorrowRedeemer",
                        "anyOf": [
                          {
                            "title": "PoolBorrowRedeemer",
                            "dataType": "constructor",
                            "index": 0,
                            "fields": [
                              {
                                "title": "input_cs",
                                "anyOf": [
                                  {
                                    "title": "CurrencySymbol",
                                    "dataType": "constructor",
                                    "index": 0,
                                    "fields": [
                                      {
                                        "title": "policy_id",
                                        "dataType": "bytes"
                                      },
                                      {
                                        "title": "asset_name",
                                        "dataType": "bytes"
                                      }
                                    ]
                                  }
                                ]
                              },
                              {
                                "title": "input_amount",
                                "dataType": "integer"
                              }
                            ]
                          }
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      },
      "compiledCode": "59030501000032323232323232323232322225333006323232323232323232533300f3370e002900009925130090021533300f3370e0029001099191919299980999b87001480084c8c8cccc8888c8c8c8c8c9289812000980b19299980e99b8748000c080dd500088008a9980fa492a4173736572746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330120070033022001301432533301b3370e9000180f1baa0011001153301d49012a4173736572746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300f005001300d48901ff00010001012005301b001300d00214a0602a6ea8004cc028c02c03120023017001300900213232323253330133370e0029001099191999911119191919192513024001301632533301d3370e900018101baa0011001153301f49012a4173736572746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330120070033022001301432533301b3370e9000180f1baa0011001153301d49012a4173736572746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300f005001300d48901ff00010001012005301b001300d00214a0602a6ea8004cc028c02c031200230170013009002301137540026600c600e0129000119ba548000cc04ccdd2a4004660266ea40052f5c06602666e9520024bd7025eb8088cc010dd6198031803998031803801240009002119baf3300730080014800000888cc00cdd6198029803198029803001240009000119baf3300630073300630070014800920000023001001222533301000213374a900125eb804c8c94ccc034c00c0084cdd2a40006602600497ae013330050050010033014003301200222323330010014800000c888cccc030cdc3802001009919980200219b8000348008c0540040048c02cdd50008a4c2c6002002444a666012004293099802980098058011998018019806001000ab9a5736ae7155ceaab9e5573eae815d0aba201",
      "hash": "c95b3842362b77afec21773b7c0b1f09e61bf5e4c58b685533e6d342"
    }
  ]
}