{
  "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": "590722010000323232323232323232323232222323232533300b3232323232323253330123370e90000008992513010007153330123370e9001000899191919299980b19b87480080044c8c8c8c8c8c8c9289811000980c99299980e19b8748000c06c004400454cc07524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0140033020001301732533301a3370e9000180c80088008a9980da4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a012001300848901ff00301d001301400214a0602800266020602401a9001180c8009808003899191919299980b19b87480080044c8c8c8c8c8c8c9289811000980c99299980e19b8748000c06c004400454cc0752412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d0140033020001301732533301a3370e9000180c80088008a9980da4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a012001300848901ff00301d001301400214a0602800266020602401a9001180c80098080039808003119ba548000cc058cdd2a40046602c6ea40052f5c06602c98103d87a80004bd7011198021bac3300d300f3300d300f00248001200423375e6601c6020002900000111198019bac3300c300e3300c300e00248001200023375e6601a601e6601a601e0029001240000046002002444a6660260042980103d87a8000132325333011300300213374a90001980b00125eb804ccc01401400400cc05c00cc054008cc01cc0240092000149858c8018c94ccc02ccdc3a40000022646464646464a66602a60300042649318048028a99809249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602c002602c0046eb4c050004c050008c048004c02401854cc0312412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630090053200432533300a3370e9000000899192999808180980109924c64a66601a66e1d20000011323253330133016002149854cc041241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602800260160042a66601a66e1d20020011323253330133016002132498c94ccc040cdc3a4000002264646464a66603060360042649318060018a9980aa481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60320026032004602e002601c0042a660229212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00115330104901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163014001300b0021533300d3370e9002000899192999809980b00109924c64a66602066e1d20000011323232325333018301b002132498c03000c54cc055241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60320026032004602e002601c0042a660229212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00115330104901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163014001300b002153300e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b001153300d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630110013008004153300b4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163008003232533300a3370e90000008991919192999809180a8010a4c2a6601e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260260046eb8c044004c02000854cc02d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300800133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba21",
      "hash": "b0e1ce90ece6e3bbb745025cce93a6361e1c9f4c06d8cdebd65a5a8a"
    }
  ],
  "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"
            }
          ]
        }
      ]
    }
  }
}