{
  "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": "59087d0100003232323232323232323232323232322322322533300c3232323232323253330133370e90000008992513011007153330133370e9001000899191919299980b99b87480080044c8c8c8c8c8c8c9289812000980d19299980e99b8748000c070004400454cc07d24012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0110033022001301832533301b3370e9000180d00088008a9980ea4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00f001300848901ff00301f001301500214a0602a0026602260260149001180d8009808803899191919299980b99b87480080044c8c8c8c8c8c8c9289812000980d19299980e99b8748000c070004400454cc07d2412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0110033022001301832533301b3370e9000180d00088008a9980ea4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00f001300848901ff00301f001301500214a0602a0026602260260149001180d80098088039808803119ba548000cc060cdd2a4004660306ea40052f5c06603066e9520024bd7025eb8088cc010dd6198071808198071808001240009002119baf3300f30110014800000888cc00cdd6198069807998069807801240009000119baf3300e30103300e30100014800920000023001001222533301500213374a900125eb804c8c94ccc048c00c0084cdd2a40006603000497ae013330050050010033019003301700233008300a00248000526163300b32533300b3370e9000000899192999809180a80109980719299980719b87480000044c8c94ccc054c06000852615330124901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602c00260180042a66601c66e1d200200113232533301530180021330113253330113370e9000000899191919299980d180e80109980b19299980b19b87480000044c8c8c8c94ccc07cc088008526153301c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604000260400046eb8c078004c05001054cc0612412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400349854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046032002601e0042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163016001300c0021533300e3370e900200089919299980a980c00109980899299980899b87480000044c8c8c8c94ccc068c0740084cc058c94ccc058cdc3a4000002264646464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604000260400046eb8c078004c05001054cc0612412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400349854cc05d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046032002601e0042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163016001300c00215330104912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00149854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630130013009002153300d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009001001330093253330093370e90000008991919191919299980a180b80109980819299980819b87480000044c8c8c8c94ccc064c07000852615330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260340046eb8c060004c03801854cc0492412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00549854cc045241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602a002602a0046eb4c04c004c04c008c044004c01c00854cc02d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630070010013001001222533300d00214984cc024c004c03c008ccc00c00cc040008004cc0040052000222233330073370e00200601c4666600a00a66e00011200230100010020022300737540024600a6ea80055cd2b9b5738aae7555cf2ab9f5740ae855d11",
      "hash": "b66a8c385bf85828be1b5811b535fd381ec4197b822248356e29b371"
    }
  ],
  "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"
            }
          ]
        }
      ]
    }
  }
}