{
  "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": "5903560100003232323232323232323232222323232533300b3232533300d3370e9000000899251300b00213232323253330113370e9001002899191919299980a99b87480080044c8c8c8c94ccc064cdc3a400060300022646464a66603866e1d2000301b001132324a2604400260340022c66016028008603e002602e0022c66012022002601491101ff00301b001301300214a060260026601e60220189001180b8009807803099191919299980a99b87480080044c8c8c8c94ccc064cdc3a400060300022646464a66603866e1d2000301b001132324a2604400260340022c66016028008603e002602e0022c660120220026014910101ff00301b001301300214a060260026601e60220189001180b800980780311198021bac3300e30103300e301000248001200023375e6601e60226601e602200290012400000444660066eb0cc034c03ccc034c03c0092000480108cdd7998071808000a400000444646600200200644a66602a002298103d87a8000132325333014300500213374a90001980c00125eb804cc010010004c064008c05c0048cdd2a40006602466e95200233012375200297ae0330124c103d87a80004bd701805800998039804802a40002930b19299980599b87480000044c8c94ccc040c04c0084c92632533300e3370e9000000899192999809980b0010a4c2c6eb4c050004c03000854ccc038cdc3a400400226464a666026602c0042649319299980899b87480000044c8c8c8c94ccc060c06c0084c926300d00316375a60320026032004602e002601e0042c601e0022c602800260180042a66601c66e1d20040011323253330133016002132498c94ccc044cdc3a4000002264646464a66603060360042649318068018b1bad301900130190023017001300f00216300f001163014001300c00216300c001163011001300900516300900432533300a3370e900000089919191919192999809980b00109924c601000a2c6eb4c050004c050008dd698090009809001180800098040028b1804002119299980519b87480000044c8c8c8c94ccc044c05000852616375c602400260240046eb8c040004c02000858c020004cc0040052000222233330073370e0020060184666600a00a66e000112002300e001002002230053754002460066ea80055cd2ab9d5573caae7d5d02ba157441",
      "hash": "643ecd1a1abdd7fddc4e2f556a70212ecd053a24d474ea6de173b65c"
    }
  ],
  "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"
            }
          ]
        }
      ]
    }
  }
}